0.00/0.00	c 2016-06-16T20:30:14+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-4096078-1466101813.opb"]
0.00/0.01	c use --random-gen="150438744 739182609 585104829 4181999248 1001656973 2862191248 2157091500 2473730912 3860485308 1387669613 104970413 809174562 1958518790 2664219759 657499481 1781947274 3541359293 3238043274 3525985251 836060241 3255971896 1739065912 3286501326 3647506013 1728442336 2618838275 2554852301 1088751154 1056281564 978151076 966840603 3690200949 964904676 262471423 2621655437 650887235 4081708533 1562191257 569754243 1718329120 1224132041 4057473134 4013950268 4006887015 2833383192 3640584267 3947796019 1250885657 4146875990 2581314907 3152530054 588849980 4241365380 1807381526 2994962062 191415838 3713922454 840031442 3653639141 3655044076 237351013 4050897540 200322654 2091707941 786222615 644091422 4232046093 3800721728 598135415 690973870 419565729 3553375298 4097211333 806506527 1397007388 3824183837 66728196 3567625685 1316784467 3910104715 2259915833 2435725027 2142902973 1765301385 1701944790 3240136724 185775411 783882496 1550530817 3904436599 1363188630 3445829920 998282314 811202631 620555215 157134314 1237949831 3815968438 3706743980 487622588 2158291248 2759740778 1282922186 1822908124 1459229774 696434689 1197172839 3217213992 1864097134 3760020475 428018112 2916758176 710567964 1963364399 2399627092 3328439670 3934349516 3608746186 2080883056 2703539630 3240491710 686559065 52294289 857275220 3689894511 1842588310 2962449839 3409186868 660775659 1275248550 1943314970 1313825334 1811170757 3498044112 4146613589 1713460938 2066806187 2699632918 606340264 1905441551 2282869503 2795010638 324247369 613226307 196381127 512308992 4141360817 2476423243 1502432798 489896193 1778791126 799417158 746758019 3295127894 1725407569 4117025252 3877614109 2350774342 1315461546 3417924728 193774487 3619695423 440509432 2764285441 3409785189 1442850201 412653606 3581260351 3045081949 4200944866 309775783 1770133821 2384582713 3610137144 385534387 3672824370 1946413415 1483851320 4201463594 79803129 3094173638 2682099101 3230815069 1148485861 2819260561 1714877574 4163087979 1816667097 3374918355 3128158116 3006343725 2537155653 3599122618 1518652299 719807129 2404748904 950533322 3407260334 1220653362 1484874706 1043301850 3569210729 2426304775 427754144 56146707 984131046 271437340 1106360067 1294932967 261105582 1161594866 2846488786 1980295858 1599311655 2335097520 2275167371 2731447488 1037961032 4251369299 168005541 4007982256 660044436 3430196438 2065205218 4194107353 2683902666 2389138708 3122007782 729327958 366974708 3528771504 2042734579 3380717569 830993151 2053134939 1209827612 2086890238 2151693282 542182104 682102199 1314610311 3087180492 1719590814 2363493002 3422161048 1686414917 1444128480 1566827878 645881592 2407533335 1374879629 3641529703 4185794471 1620777632 711713900 1432375296 255 362436" option to reproduce the execution
0.00/0.01	c #vars 261
0.00/0.01	c #constraints 130
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      173      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      207 |      100 |      173      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      440 |      250 |      191      0 |        0 |        0
0.00/0.10	c  0.1s |       3 |      762 |      475 |      211      1 |        0 |        0
0.08/0.17	c  0.2s |       4 |     1281 |      813 |      233      3 |        0 |        0
0.19/0.50	c  0.3s |       5 |     1951 |     1320 |      257      6 |        0 |        0
0.19/0.50	c  0.4s |       6 |     3064 |     2081 |      312      9 |        0 |        0
0.59/0.69	c  0.7s |       7 |     4597 |     3223 |      344     14 |        0 |        0
0.99/1.08	c  1.1s |       8 |     6780 |     4936 |      379     21 |        0 |        0
1.39/1.47	c  1.5s |       9 |    10487 |     7506 |      417     32 |        0 |        0
2.09/2.16	c  2.1s |      10 |    15448 |    11361 |      459     46 |        0 |        0
3.19/3.22	c  3.2s |      11 |    23088 |    17144 |      505     67 |        0 |        0
4.69/4.79	c  4.8s |      12 |    33989 |    25819 |      556     95 |        0 |        0
6.69/6.79	c  6.8s |      12 |    50277 |    38319 |      556    132 |        0 |        0
6.79/6.89	c  6.9s |      13 |    50924 |    38832 |      612    133 |        0 |        0
8.88/8.90	c  8.9s |      13 |    68013 |    51332 |      612    168 |        0 |        0
9.98/10.10	c 10.1s |      14 |    76737 |    58352 |      674    187 |        0 |        0
12.08/12.10	c 12.1s |      14 |    91904 |    69652 |      674    217 |        0 |        0
14.08/14.11	c 14.1s |      14 |   106783 |    80652 |      674    247 |        0 |        0
15.38/15.41	c 15.4s |      15 |   115523 |    87632 |      742    265 |        0 |        0
17.38/17.42	c 17.4s |      15 |   127686 |    98132 |      742    290 |        0 |        0
19.38/19.42	c 19.4s |      15 |   139366 |   108532 |      742    314 |        0 |        0
21.38/21.42	c 21.4s |      15 |   151912 |   119332 |      742    341 |        0 |        0
23.39/23.44	c 23.4s |      15 |   163587 |   129632 |      742    365 |        0 |        0
23.78/23.80	c 23.8s |      16 |   165871 |   131552 |      817    369 |        0 |        0
25.78/25.80	c 25.8s |      16 |   177729 |   141252 |      817    390 |        0 |        0
27.79/27.81	c 27.8s |      16 |   190460 |   151352 |      817    413 |        0 |        0
29.78/29.82	c 29.8s |      16 |   202750 |   161452 |      817    435 |        0 |        0
31.79/31.84	c 31.8s |      16 |   215007 |   171452 |      817    456 |        0 |        0
33.78/33.86	c 33.8s |      16 |   227084 |   181352 |      817    478 |        0 |        0
35.78/35.86	c 35.8s |      16 |   238510 |   191152 |      817    499 |        0 |        0
37.18/37.20	c 37.2s |      17 |   245523 |   197432 |      899    512 |        0 |        0
39.18/39.21	c 39.2s |      17 |   258738 |   206932 |      899    531 |        0 |        0
41.18/41.21	c 41.2s |      17 |   273622 |   216632 |      899    551 |        0 |        0
43.19/43.21	c 43.2s |      17 |   290146 |   227332 |      899    572 |        0 |        0
45.18/45.22	c 45.2s |      17 |   308093 |   238332 |      899    594 |        0 |        0
47.18/47.22	c 47.2s |      17 |   326063 |   249232 |      899    616 |        0 |        0
49.18/49.23	c 49.2s |      17 |   342137 |   259532 |      899    637 |        0 |        0
51.18/51.23	c 51.2s |      17 |   357369 |   269932 |      899    658 |        0 |        0
53.19/53.23	c 53.2s |      17 |   373433 |   280932 |      899    680 |        0 |        0
55.18/55.23	c 55.2s |      17 |   388427 |   291532 |      899    701 |        0 |        0
56.08/56.14	c 56.1s |      18 |   395694 |   296252 |      989    710 |        0 |        0
58.08/58.15	c 58.1s |      18 |   409716 |   306152 |      989    729 |        0 |        0
60.08/60.15	c 60.1s |      18 |   422371 |   315952 |      989    746 |        0 |        0
62.08/62.16	c 62.1s |      18 |   435026 |   325752 |      989    764 |        0 |        0
64.08/64.17	c 64.1s |      18 |   447900 |   335852 |      989    783 |        0 |        0
66.08/66.18	c 66.2s |      18 |   461134 |   346152 |      989    802 |        0 |        0
68.07/68.19	c 68.2s |      18 |   477159 |   357152 |      989    822 |        0 |        0
70.07/70.19	c 70.2s |      18 |   490643 |   367352 |      989    841 |        0 |        0
72.17/72.20	c 72.2s |      18 |   503842 |   377152 |      989    859 |        0 |        0
74.17/74.22	c 74.2s |      18 |   516961 |   387652 |      989    878 |        0 |        0
76.18/76.23	c 76.2s |      18 |   529873 |   397652 |      989    896 |        0 |        0
78.17/78.24	c 78.2s |      18 |   542798 |   407852 |      989    915 |        0 |        0
80.17/80.25	c 80.2s |      18 |   559556 |   418952 |      989    935 |        0 |        0
82.17/82.25	c 82.2s |      18 |   573119 |   429252 |      989    954 |        0 |        0
84.17/84.27	c 84.2s |      18 |   587766 |   439652 |      989    973 |        0 |        0
85.08/85.18	c 85.2s |      19 |   594757 |   444482 |     1088    982 |        0 |        0
87.07/87.18	c 87.2s |      19 |   607289 |   454582 |     1088    999 |        0 |        0
89.07/89.18	c 89.2s |      19 |   619188 |   464282 |     1088   1015 |        0 |        0
91.07/91.19	c 91.2s |      19 |   629847 |   473282 |     1088   1030 |        0 |        0
93.07/93.19	c 93.2s |      19 |   640754 |   482482 |     1088   1046 |        0 |        0
95.18/95.21	c 95.2s |      19 |   653094 |   492382 |     1088   1062 |        0 |        0
97.18/97.22	c 97.2s |      19 |   666200 |   502282 |     1088   1079 |        0 |        0
99.17/99.23	c 99.2s |      19 |   680775 |   512582 |     1088   1097 |        0 |        0
101.17/101.23	c  101s |      19 |   693262 |   522682 |     1088   1114 |        0 |        0
103.17/103.25	c  103s |      19 |   705590 |   532682 |     1088   1131 |        0 |        0
105.17/105.25	c  105s |      19 |   717931 |   542582 |     1088   1148 |        0 |        0
107.17/107.26	c  107s |      19 |   731096 |   552782 |     1088   1165 |        0 |        0
109.18/109.26	c  109s |      19 |   743225 |   562382 |     1088   1182 |        0 |        0
111.17/111.27	c  111s |      19 |   755417 |   571782 |     1088   1197 |        0 |        0
113.17/113.29	c  113s |      19 |   766049 |   580682 |     1088   1213 |        0 |        0
115.17/115.29	c  115s |      19 |   777193 |   590182 |     1088   1229 |        0 |        0
117.27/117.32	c  117s |      19 |   788615 |   599482 |     1088   1245 |        0 |        0
119.27/119.32	c  119s |      19 |   800520 |   608882 |     1088   1260 |        0 |        0
121.28/121.33	c  121s |      19 |   812823 |   618282 |     1088   1276 |        0 |        0
123.27/123.34	c  123s |      19 |   824345 |   627582 |     1088   1292 |        0 |        0
125.27/125.36	c  125s |      19 |   835334 |   636682 |     1088   1307 |        0 |        0
127.27/127.38	c  127s |      19 |   847574 |   646582 |     1088   1325 |        0 |        0
129.37/129.40	c  129s |      19 |   860265 |   656882 |     1088   1342 |        0 |        0
131.37/131.41	c  131s |      19 |   871291 |   666082 |     1197   1357 |        0 |        0
131.47/131.57	c  131s |      20 |   872181 |   666827 |     1197   1358 |        0 |        0
133.47/133.57	c  133s |      20 |   884455 |   676427 |     1197   1373 |        0 |        0
135.47/135.58	c  135s |      20 |   896695 |   685927 |     1197   1388 |        0 |        0
137.47/137.59	c  137s |      20 |   911071 |   695827 |     1197   1403 |        0 |        0
139.56/139.60	c  139s |      20 |   923320 |   705127 |     1197   1417 |        0 |        0
141.56/141.60	c  141s |      20 |   935028 |   714427 |     1197   1432 |        0 |        0
143.56/143.61	c  143s |      20 |   948827 |   724427 |     1197   1447 |        0 |        0
145.57/145.63	c  145s |      20 |   960914 |   733827 |     1197   1461 |        0 |        0
147.56/147.65	c  147s |      20 |   972426 |   743227 |     1197   1476 |        0 |        0
149.56/149.65	c  149s |      20 |   983559 |   752127 |     1197   1490 |        0 |        0
151.56/151.66	c  151s |      20 |   995261 |   761027 |     1197   1503 |        0 |        0
153.56/153.68	c  153s |      20 |  1006583 |   770127 |     1197   1517 |        0 |        0
155.56/155.68	c  155s |      20 |  1016785 |   778627 |     1197   1530 |        0 |        0
157.57/157.68	c  157s |      20 |  1027868 |   787327 |     1197   1544 |        0 |        0
159.66/159.70	c  159s |      20 |  1038930 |   796327 |     1197   1558 |        0 |        0
161.66/161.70	c  161s |      20 |  1050415 |   805427 |     1197   1572 |        0 |        0
163.66/163.71	c  163s |      20 |  1061994 |   814127 |     1197   1585 |        0 |        0
165.66/165.72	c  165s |      20 |  1073562 |   822927 |     1197   1599 |        0 |        0
167.66/167.74	c  167s |      20 |  1083990 |   831527 |     1197   1612 |        0 |        0
169.67/169.76	c  169s |      20 |  1095671 |   840527 |     1197   1626 |        0 |        0
171.66/171.77	c  171s |      20 |  1106135 |   849227 |     1197   1639 |        0 |        0
173.66/173.77	c  173s |      20 |  1116112 |   857427 |     1197   1652 |        0 |        0
175.66/175.79	c  175s |      20 |  1126564 |   865727 |     1197   1665 |        0 |        0
177.76/177.80	c  177s |      20 |  1138336 |   874927 |     1197   1679 |        0 |        0
179.76/179.81	c  179s |      20 |  1152497 |   884927 |     1197   1694 |        0 |        0
181.76/181.82	c  181s |      20 |  1167499 |   895027 |     1197   1710 |        0 |        0
183.76/183.83	c  183s |      20 |  1180748 |   904527 |     1197   1724 |        0 |        0
185.76/185.84	c  185s |      20 |  1194489 |   914427 |     1197   1739 |        0 |        0
187.76/187.84	c  187s |      20 |  1206988 |   924227 |     1197   1754 |        0 |        0
189.76/189.85	c  189s |      20 |  1220222 |   934627 |     1197   1770 |        0 |        0
191.76/191.86	c  191s |      20 |  1233135 |   944527 |     1197   1786 |        0 |        0
193.75/193.87	c  193s |      20 |  1244696 |   953927 |     1197   1800 |        0 |        0
195.75/195.88	c  195s |      20 |  1256391 |   963227 |     1197   1814 |        0 |        0
197.75/197.88	c  197s |      20 |  1268031 |   972627 |     1197   1829 |        0 |        0
199.75/199.89	c  199s |      20 |  1280352 |   982627 |     1197   1844 |        0 |        0
201.85/201.90	c  201s |      20 |  1292593 |   992327 |     1197   1859 |        0 |        0
203.65/203.80	c  203s |      21 |  1302766 |  1000345 |     1317   1870 |        0 |        0
205.75/205.82	c  205s |      21 |  1314560 |  1009745 |     1317   1883 |        0 |        0
207.76/207.83	c  207s |      21 |  1327445 |  1019545 |     1317   1897 |        0 |        0
209.76/209.84	c  209s |      21 |  1340264 |  1029045 |     1317   1911 |        0 |        0
211.76/211.86	c  211s |      21 |  1354831 |  1039045 |     1317   1926 |        0 |        0
213.77/213.87	c  213s |      21 |  1366141 |  1048245 |     1317   1939 |        0 |        0
215.76/215.87	c  215s |      21 |  1378352 |  1057845 |     1317   1952 |        0 |        0
217.76/217.87	c  217s |      21 |  1390632 |  1067045 |     1317   1966 |        0 |        0
219.76/219.89	c  219s |      21 |  1402237 |  1076345 |     1317   1979 |        0 |        0
221.76/221.89	c  221s |      21 |  1415061 |  1086045 |     1317   1993 |        0 |        0
223.86/223.90	c  223s |      21 |  1427786 |  1095645 |     1317   2007 |        0 |        0
225.86/225.92	c  225s |      21 |  1439618 |  1104945 |     1317   2020 |        0 |        0
227.85/227.93	c  227s |      21 |  1450896 |  1114145 |     1317   2033 |        0 |        0
229.85/229.94	c  229s |      21 |  1461830 |  1123145 |     1317   2046 |        0 |        0
231.85/231.96	c  231s |      21 |  1471812 |  1131445 |     1317   2058 |        0 |        0
233.85/233.97	c  233s |      21 |  1483655 |  1140645 |     1317   2072 |        0 |        0
235.85/235.99	c  235s |      21 |  1495083 |  1149845 |     1317   2085 |        0 |        0
237.96/238.01	c  237s |      21 |  1506795 |  1159045 |     1317   2098 |        0 |        0
239.95/240.02	c  240s |      21 |  1518748 |  1168245 |     1317   2111 |        0 |        0
241.95/242.04	c  242s |      21 |  1529275 |  1176945 |     1317   2124 |        0 |        0
243.95/244.07	c  244s |      21 |  1539376 |  1185445 |     1317   2136 |        0 |        0
245.95/246.07	c  246s |      21 |  1548435 |  1193345 |     1317   2147 |        0 |        0
247.95/248.08	c  248s |      21 |  1559171 |  1202245 |     1317   2160 |        0 |        0
249.96/250.09	c  250s |      21 |  1569530 |  1210945 |     1317   2173 |        0 |        0
251.95/252.09	c  252s |      21 |  1580306 |  1219745 |     1317   2185 |        0 |        0
254.05/254.11	c  254s |      21 |  1591062 |  1228745 |     1317   2198 |        0 |        0
256.05/256.12	c  256s |      21 |  1601454 |  1237345 |     1317   2211 |        0 |        0
258.05/258.13	c  258s |      21 |  1613718 |  1246945 |     1317   2224 |        0 |        0
260.05/260.13	c  260s |      21 |  1626705 |  1256445 |     1317   2238 |        0 |        0
262.05/262.14	c  262s |      21 |  1638729 |  1265645 |     1317   2252 |        0 |        0
264.05/264.15	c  264s |      21 |  1651413 |  1275145 |     1317   2265 |        0 |        0
266.05/266.17	c  266s |      21 |  1664066 |  1284545 |     1317   2279 |        0 |        0
268.05/268.19	c  268s |      21 |  1675515 |  1293545 |     1317   2292 |        0 |        0
270.05/270.19	c  270s |      21 |  1685342 |  1301845 |     1317   2303 |        0 |        0
272.15/272.21	c  272s |      21 |  1697398 |  1311645 |     1317   2318 |        0 |        0
274.15/274.24	c  274s |      21 |  1709416 |  1321145 |     1317   2331 |        0 |        0
276.15/276.24	c  276s |      21 |  1719364 |  1329545 |     1317   2343 |        0 |        0
278.14/278.24	c  278s |      21 |  1728229 |  1337145 |     1317   2354 |        0 |        0
280.14/280.25	c  280s |      21 |  1736547 |  1344445 |     1317   2365 |        0 |        0
282.14/282.25	c  282s |      21 |  1746145 |  1352445 |     1317   2376 |        0 |        0
284.15/284.25	c  284s |      21 |  1756416 |  1360945 |     1317   2388 |        0 |        0
286.14/286.26	c  286s |      21 |  1766985 |  1369545 |     1317   2400 |        0 |        0
288.14/288.27	c  288s |      21 |  1777669 |  1378245 |     1317   2412 |        0 |        0
290.14/290.29	c  290s |      21 |  1789938 |  1387345 |     1317   2425 |        0 |        0
292.14/292.29	c  292s |      21 |  1800762 |  1395845 |     1317   2438 |        0 |        0
294.14/294.29	c  294s |      21 |  1811486 |  1404445 |     1317   2450 |        0 |        0
296.25/296.31	c  296s |      21 |  1822265 |  1413045 |     1317   2462 |        0 |        0
298.24/298.31	c  298s |      21 |  1832777 |  1421345 |     1317   2474 |        0 |        0
300.24/300.33	c  300s |      21 |  1843936 |  1429645 |     1317   2486 |        0 |        0
302.24/302.35	c  302s |      21 |  1855895 |  1438445 |     1317   2498 |        0 |        0
304.24/304.37	c  304s |      21 |  1865567 |  1446245 |     1317   2509 |        0 |        0
306.24/306.38	c  306s |      21 |  1874744 |  1453945 |     1317   2520 |        0 |        0
308.25/308.39	c  308s |      21 |  1885694 |  1462845 |     1317   2533 |        0 |        0
310.34/310.41	c  310s |      21 |  1896954 |  1471745 |     1317   2545 |        0 |        0
312.34/312.42	c  312s |      21 |  1910331 |  1481345 |     1317   2559 |        0 |        0
314.34/314.44	c  314s |      21 |  1922409 |  1490345 |     1449   2572 |        0 |        0
316.34/316.46	c  316s |      21 |  1932194 |  1498545 |     1449   2582 |        0 |        0
316.84/316.98	c  316s |      22 |  1934604 |  1500622 |     1449   2585 |        0 |        0
318.94/319.00	c  318s |      22 |  1950556 |  1511922 |     1449   2600 |        0 |        0
320.94/321.01	c  320s |      22 |  1966359 |  1523122 |     1449   2615 |        0 |        0
322.94/323.02	c  322s |      22 |  1978803 |  1533222 |     1449   2628 |        0 |        0
324.94/325.02	c  325s |      22 |  1991845 |  1543522 |     1449   2642 |        0 |        0
326.94/327.04	c  327s |      22 |  2004873 |  1554222 |     1449   2656 |        0 |        0
328.94/329.04	c  329s |      22 |  2018184 |  1564822 |     1449   2670 |        0 |        0
330.94/331.05	c  331s |      22 |  2032160 |  1575922 |     1449   2685 |        0 |        0
332.94/333.05	c  333s |      22 |  2044315 |  1586222 |     1449   2698 |        0 |        0
334.94/335.05	c  335s |      22 |  2056139 |  1596322 |     1449   2712 |        0 |        0
336.94/337.06	c  337s |      22 |  2068566 |  1606722 |     1449   2726 |        0 |        0
338.93/339.08	c  339s |      22 |  2080228 |  1616422 |     1449   2738 |        0 |        0
340.93/341.09	c  341s |      22 |  2093009 |  1627022 |     1449   2752 |        0 |        0
343.03/343.11	c  343s |      22 |  2106477 |  1637822 |     1449   2767 |        0 |        0
345.03/345.12	c  345s |      22 |  2119325 |  1648422 |     1449   2781 |        0 |        0
347.03/347.13	c  347s |      22 |  2132156 |  1659022 |     1449   2795 |        0 |        0
349.04/349.14	c  349s |      22 |  2144307 |  1669422 |     1449   2808 |        0 |        0
351.03/351.16	c  351s |      22 |  2156977 |  1680022 |     1449   2822 |        0 |        0
353.03/353.16	c  353s |      22 |  2168768 |  1689922 |     1449   2835 |        0 |        0
355.03/355.18	c  355s |      22 |  2181371 |  1700122 |     1449   2849 |        0 |        0
357.03/357.18	c  357s |      22 |  2193723 |  1710222 |     1449   2862 |        0 |        0
359.03/359.19	c  359s |      22 |  2205899 |  1720322 |     1449   2876 |        0 |        0
361.04/361.19	c  361s |      22 |  2218126 |  1730422 |     1449   2889 |        0 |        0
363.14/363.21	c  363s |      22 |  2230586 |  1740822 |     1449   2903 |        0 |        0
365.14/365.21	c  365s |      22 |  2243500 |  1751522 |     1449   2917 |        0 |        0
367.14/367.22	c  367s |      22 |  2255665 |  1761722 |     1449   2930 |        0 |        0
369.13/369.23	c  369s |      22 |  2267445 |  1771722 |     1449   2944 |        0 |        0
371.13/371.24	c  371s |      22 |  2278433 |  1781422 |     1449   2956 |        0 |        0
373.14/373.24	c  373s |      22 |  2290246 |  1791322 |     1449   2969 |        0 |        0
375.13/375.25	c  375s |      22 |  2301103 |  1801022 |     1449   2982 |        0 |        0
377.13/377.27	c  377s |      22 |  2313419 |  1811322 |     1449   2996 |        0 |        0
379.13/379.28	c  379s |      22 |  2325038 |  1821322 |     1449   3009 |        0 |        0
381.13/381.29	c  381s |      22 |  2336878 |  1831422 |     1449   3022 |        0 |        0
383.23/383.30	c  383s |      22 |  2347753 |  1841122 |     1449   3035 |        0 |        0
385.24/385.31	c  385s |      22 |  2361344 |  1852222 |     1449   3050 |        0 |        0
387.23/387.32	c  387s |      22 |  2374004 |  1862722 |     1449   3064 |        0 |        0
389.23/389.33	c  389s |      22 |  2387270 |  1873522 |     1449   3078 |        0 |        0
391.23/391.34	c  391s |      22 |  2399981 |  1883822 |     1449   3092 |        0 |        0
393.23/393.36	c  393s |      22 |  2411705 |  1893822 |     1449   3105 |        0 |        0
395.24/395.37	c  395s |      22 |  2422867 |  1903222 |     1449   3117 |        0 |        0
397.23/397.37	c  397s |      22 |  2435190 |  1913322 |     1449   3131 |        0 |        0
399.23/399.38	c  399s |      22 |  2446439 |  1922922 |     1449   3143 |        0 |        0
401.23/401.38	c  401s |      22 |  2457459 |  1932322 |     1449   3156 |        0 |        0
403.23/403.38	c  403s |      22 |  2469245 |  1942022 |     1449   3169 |        0 |        0
405.23/405.39	c  405s |      22 |  2481180 |  1951722 |     1449   3182 |        0 |        0
407.33/407.40	c  407s |      22 |  2493704 |  1961922 |     1449   3195 |        0 |        0
409.33/409.41	c  409s |      22 |  2505855 |  1971922 |     1449   3208 |        0 |        0
411.33/411.42	c  411s |      22 |  2519304 |  1982522 |     1449   3222 |        0 |        0
413.33/413.43	c  413s |      22 |  2531843 |  1992922 |     1449   3236 |        0 |        0
415.32/415.44	c  415s |      22 |  2545422 |  2003622 |     1449   3250 |        0 |        0
417.32/417.46	c  417s |      22 |  2557180 |  2013522 |     1449   3263 |        0 |        0
419.33/419.47	c  419s |      22 |  2569096 |  2023522 |     1449   3277 |        0 |        0
421.32/421.48	c  421s |      22 |  2582456 |  2034122 |     1449   3291 |        0 |        0
423.32/423.48	c  423s |      22 |  2595779 |  2044822 |     1449   3305 |        0 |        0
425.42/425.50	c  425s |      22 |  2609146 |  2055522 |     1449   3319 |        0 |        0
427.42/427.52	c  427s |      22 |  2622498 |  2066422 |     1449   3333 |        0 |        0
429.42/429.52	c  429s |      22 |  2635635 |  2077022 |     1449   3347 |        0 |        0
431.43/431.52	c  431s |      22 |  2649007 |  2087922 |     1449   3362 |        0 |        0
433.42/433.53	c  433s |      22 |  2661257 |  2098322 |     1449   3376 |        0 |        0
435.42/435.55	c  435s |      22 |  2673616 |  2108622 |     1449   3389 |        0 |        0
437.42/437.55	c  437s |      22 |  2685723 |  2119022 |     1449   3403 |        0 |        0
439.42/439.56	c  439s |      22 |  2697585 |  2129122 |     1449   3416 |        0 |        0
441.43/441.56	c  441s |      22 |  2710141 |  2139422 |     1449   3430 |        0 |        0
443.42/443.57	c  443s |      22 |  2722890 |  2149722 |     1449   3444 |        0 |        0
445.42/445.59	c  445s |      22 |  2734499 |  2159722 |     1449   3457 |        0 |        0
447.52/447.60	c  447s |      22 |  2745484 |  2169222 |     1449   3469 |        0 |        0
449.52/449.61	c  449s |      22 |  2756627 |  2178822 |     1449   3482 |        0 |        0
451.51/451.61	c  451s |      22 |  2767697 |  2188422 |     1449   3495 |        0 |        0
453.52/453.63	c  453s |      22 |  2778522 |  2197922 |     1449   3508 |        0 |        0
455.51/455.64	c  455s |      22 |  2790600 |  2208322 |     1449   3521 |        0 |        0
457.51/457.66	c  457s |      22 |  2802824 |  2218522 |     1449   3535 |        0 |        0
459.51/459.67	c  459s |      22 |  2813834 |  2228122 |     1449   3547 |        0 |        0
461.51/461.68	c  461s |      22 |  2826371 |  2238222 |     1594   3560 |        0 |        0
463.51/463.69	c  463s |      22 |  2838125 |  2248122 |     1594   3572 |        0 |        0
464.11/464.27	c  464s |      23 |  2841647 |  2251038 |     1594   3576 |        0 |        0
466.11/466.27	c  466s |      23 |  2855787 |  2260738 |     1594   3587 |        0 |        0
468.11/468.29	c  468s |      23 |  2868653 |  2270338 |     1594   3599 |        0 |        0
470.21/470.30	c  470s |      23 |  2880966 |  2279738 |     1594   3610 |        0 |        0
472.22/472.31	c  472s |      23 |  2894271 |  2289438 |     1594   3621 |        0 |        0
474.21/474.33	c  474s |      23 |  2906083 |  2298838 |     1594   3632 |        0 |        0
476.21/476.35	c  476s |      23 |  2917420 |  2307738 |     1594   3643 |        0 |        0
478.21/478.36	c  478s |      23 |  2930224 |  2317338 |     1594   3654 |        0 |        0
480.21/480.37	c  480s |      23 |  2942043 |  2327038 |     1594   3666 |        0 |        0
482.21/482.38	c  482s |      23 |  2955192 |  2337038 |     1594   3678 |        0 |        0
484.22/484.39	c  484s |      23 |  2967532 |  2346738 |     1594   3689 |        0 |        0
486.31/486.40	c  486s |      23 |  2981715 |  2356738 |     1594   3701 |        0 |        0
488.31/488.41	c  488s |      23 |  2992989 |  2365438 |     1594   3712 |        0 |        0
490.31/490.42	c  490s |      23 |  3005348 |  2374838 |     1594   3723 |        0 |        0
492.31/492.43	c  492s |      23 |  3016927 |  2384438 |     1594   3734 |        0 |        0
494.31/494.44	c  494s |      23 |  3029921 |  2393838 |     1594   3745 |        0 |        0
496.31/496.46	c  496s |      23 |  3042345 |  2403438 |     1594   3757 |        0 |        0
498.31/498.46	c  498s |      23 |  3053235 |  2412338 |     1594   3767 |        0 |        0
500.31/500.48	c  500s |      23 |  3064279 |  2421338 |     1594   3778 |        0 |        0
502.31/502.48	c  502s |      23 |  3076039 |  2430338 |     1594   3789 |        0 |        0
504.41/504.50	c  504s |      23 |  3087836 |  2439438 |     1594   3800 |        0 |        0
506.41/506.52	c  506s |      23 |  3098871 |  2448438 |     1594   3810 |        0 |        0
508.42/508.54	c  508s |      23 |  3110152 |  2457638 |     1594   3821 |        0 |        0
510.41/510.54	c  510s |      23 |  3121999 |  2466938 |     1594   3832 |        0 |        0
512.41/512.56	c  512s |      23 |  3135708 |  2476938 |     1594   3844 |        0 |        0
514.41/514.57	c  514s |      23 |  3148558 |  2486638 |     1594   3856 |        0 |        0
516.41/516.59	c  516s |      23 |  3161937 |  2496838 |     1594   3868 |        0 |        0
518.42/518.59	c  518s |      23 |  3173936 |  2506038 |     1594   3879 |        0 |        0
520.41/520.60	c  520s |      23 |  3185925 |  2515038 |     1594   3889 |        0 |        0
522.51/522.61	c  522s |      23 |  3198895 |  2524238 |     1594   3900 |        0 |        0
524.51/524.62	c  524s |      23 |  3210895 |  2533738 |     1594   3912 |        0 |        0
526.51/526.62	c  526s |      23 |  3221627 |  2542638 |     1594   3922 |        0 |        0
528.51/528.63	c  528s |      23 |  3234761 |  2552038 |     1594   3934 |        0 |        0
530.52/530.64	c  530s |      23 |  3246416 |  2561038 |     1594   3944 |        0 |        0
532.51/532.65	c  532s |      23 |  3256723 |  2569538 |     1594   3954 |        0 |        0
534.51/534.67	c  534s |      23 |  3266668 |  2577938 |     1594   3964 |        0 |        0
536.51/536.68	c  536s |      23 |  3275632 |  2585838 |     1594   3974 |        0 |        0
538.51/538.69	c  538s |      23 |  3286206 |  2594438 |     1594   3984 |        0 |        0
540.60/540.70	c  540s |      23 |  3297871 |  2603438 |     1594   3995 |        0 |        0
542.61/542.71	c  542s |      23 |  3308425 |  2611738 |     1594   4005 |        0 |        0
544.60/544.72	c  544s |      23 |  3320146 |  2621138 |     1594   4016 |        0 |        0
546.60/546.74	c  546s |      23 |  3331114 |  2630238 |     1594   4027 |        0 |        0
548.60/548.74	c  548s |      23 |  3341610 |  2638938 |     1594   4037 |        0 |        0
550.60/550.76	c  550s |      23 |  3352249 |  2647638 |     1594   4047 |        0 |        0
552.60/552.76	c  552s |      23 |  3362237 |  2656038 |     1594   4057 |        0 |        0
554.61/554.77	c  554s |      23 |  3373884 |  2665138 |     1594   4068 |        0 |        0
556.60/556.78	c  556s |      23 |  3384194 |  2673538 |     1594   4078 |        0 |        0
558.70/558.80	c  558s |      23 |  3394421 |  2681838 |     1594   4088 |        0 |        0
560.70/560.81	c  560s |      23 |  3403631 |  2689538 |     1594   4097 |        0 |        0
562.70/562.81	c  562s |      23 |  3411600 |  2696538 |     1594   4105 |        0 |        0
564.70/564.82	c  564s |      23 |  3419752 |  2703738 |     1594   4114 |        0 |        0
566.70/566.83	c  566s |      23 |  3430069 |  2712238 |     1594   4124 |        0 |        0
568.70/568.83	c  568s |      23 |  3442031 |  2721138 |     1594   4134 |        0 |        0
570.70/570.83	c  570s |      23 |  3453889 |  2730138 |     1594   4145 |        0 |        0
572.70/572.85	c  572s |      23 |  3464917 |  2738638 |     1594   4155 |        0 |        0
574.69/574.87	c  574s |      23 |  3476184 |  2747738 |     1594   4166 |        0 |        0
576.70/576.89	c  576s |      23 |  3487268 |  2756538 |     1594   4176 |        0 |        0
578.80/578.91	c  578s |      23 |  3497459 |  2764738 |     1594   4186 |        0 |        0
580.79/580.92	c  580s |      23 |  3508370 |  2773438 |     1594   4196 |        0 |        0
582.79/582.93	c  582s |      23 |  3521532 |  2783138 |     1594   4208 |        0 |        0
584.79/584.96	c  584s |      23 |  3532572 |  2792238 |     1594   4218 |        0 |        0
586.79/586.97	c  586s |      23 |  3544982 |  2801338 |     1594   4229 |        0 |        0
588.80/588.97	c  588s |      23 |  3555908 |  2809938 |     1594   4239 |        0 |        0
590.79/590.98	c  590s |      23 |  3567903 |  2819538 |     1594   4251 |        0 |        0
592.79/592.99	c  592s |      23 |  3579273 |  2828838 |     1594   4262 |        0 |        0
594.90/595.00	c  594s |      23 |  3591954 |  2838538 |     1594   4273 |        0 |        0
596.90/597.01	c  596s |      23 |  3604784 |  2848138 |     1594   4285 |        0 |        0
598.90/599.01	c  598s |      23 |  3616662 |  2857538 |     1594   4296 |        0 |        0
600.90/601.02	c  601s |      23 |  3627083 |  2866338 |     1594   4307 |        0 |        0
602.89/603.04	c  603s |      23 |  3637544 |  2874938 |     1594   4317 |        0 |        0
604.89/605.04	c  605s |      23 |  3648265 |  2883638 |     1594   4327 |        0 |        0
606.89/607.05	c  607s |      23 |  3660637 |  2893038 |     1594   4338 |        0 |        0
608.89/609.07	c  609s |      23 |  3672433 |  2902038 |     1594   4349 |        0 |        0
610.89/611.09	c  611s |      23 |  3682486 |  2910438 |     1594   4359 |        0 |        0
612.99/613.11	c  613s |      23 |  3693867 |  2919538 |     1594   4370 |        0 |        0
614.99/615.13	c  615s |      23 |  3705534 |  2928838 |     1594   4381 |        0 |        0
616.99/617.14	c  617s |      23 |  3716543 |  2937638 |     1594   4392 |        0 |        0
618.98/619.16	c  619s |      23 |  3727771 |  2946638 |     1594   4403 |        0 |        0
620.98/621.16	c  621s |      23 |  3738694 |  2955538 |     1594   4413 |        0 |        0
622.98/623.17	c  623s |      23 |  3750970 |  2964738 |     1594   4424 |        0 |        0
624.99/625.19	c  625s |      23 |  3761836 |  2973538 |     1594   4435 |        0 |        0
627.08/627.21	c  627s |      23 |  3774091 |  2982938 |     1594   4446 |        0 |        0
629.08/629.23	c  629s |      23 |  3785346 |  2992138 |     1594   4457 |        0 |        0
631.08/631.23	c  631s |      23 |  3797796 |  3001638 |     1594   4468 |        0 |        0
633.08/633.23	c  633s |      23 |  3810610 |  3011138 |     1594   4479 |        0 |        0
635.08/635.24	c  635s |      23 |  3823493 |  3020938 |     1594   4491 |        0 |        0
637.08/637.26	c  637s |      23 |  3835822 |  3030338 |     1594   4502 |        0 |        0
639.08/639.27	c  639s |      23 |  3847909 |  3039638 |     1594   4514 |        0 |        0
641.08/641.28	c  641s |      23 |  3860028 |  3048738 |     1594   4524 |        0 |        0
643.07/643.29	c  643s |      23 |  3870727 |  3057538 |     1594   4535 |        0 |        0
645.07/645.29	c  645s |      23 |  3881582 |  3066238 |     1594   4545 |        0 |        0
647.17/647.32	c  647s |      23 |  3892774 |  3075038 |     1594   4556 |        0 |        0
649.18/649.33	c  649s |      23 |  3904967 |  3084238 |     1594   4566 |        0 |        0
651.17/651.35	c  651s |      23 |  3918042 |  3093838 |     1594   4578 |        0 |        0
653.16/653.36	c  653s |      23 |  3931215 |  3103138 |     1594   4589 |        0 |        0
655.16/655.36	c  655s |      23 |  3940984 |  3111438 |     1594   4599 |        0 |        0
657.16/657.38	c  657s |      23 |  3953586 |  3121138 |     1594   4610 |        0 |        0
659.17/659.40	c  659s |      23 |  3965968 |  3130638 |     1594   4622 |        0 |        0
661.16/661.40	c  661s |      23 |  3978056 |  3139938 |     1594   4633 |        0 |        0
663.26/663.41	c  663s |      23 |  3989632 |  3149038 |     1594   4644 |        0 |        0
665.26/665.41	c  665s |      23 |  4001610 |  3158038 |     1594   4654 |        0 |        0
667.26/667.43	c  667s |      23 |  4013490 |  3167438 |     1594   4666 |        0 |        0
669.26/669.43	c  669s |      23 |  4025086 |  3176838 |     1594   4677 |        0 |        0
671.26/671.46	c  671s |      23 |  4036680 |  3185938 |     1594   4688 |        0 |        0
673.25/673.46	c  673s |      23 |  4047338 |  3194538 |     1594   4698 |        0 |        0
675.25/675.47	c  675s |      23 |  4059549 |  3203838 |     1594   4709 |        0 |        0
677.25/677.47	c  677s |      23 |  4071301 |  3213138 |     1594   4720 |        0 |        0
679.35/679.50	c  679s |      23 |  4082868 |  3222638 |     1594   4731 |        0 |        0
681.35/681.51	c  681s |      23 |  4095222 |  3232238 |     1594   4743 |        0 |        0
683.35/683.52	c  683s |      23 |  4108690 |  3242038 |     1594   4755 |        0 |        0
685.35/685.54	c  685s |      23 |  4119623 |  3250738 |     1594   4765 |        0 |        0
687.35/687.55	c  687s |      23 |  4129951 |  3259738 |     1594   4775 |        0 |        0
689.35/689.57	c  689s |      23 |  4139715 |  3268338 |     1594   4786 |        0 |        0
691.35/691.57	c  691s |      23 |  4149721 |  3276838 |     1594   4796 |        0 |        0
693.35/693.59	c  693s |      23 |  4159808 |  3285438 |     1594   4806 |        0 |        0
695.36/695.60	c  695s |      23 |  4170790 |  3294038 |     1594   4816 |        0 |        0
697.45/697.62	c  697s |      23 |  4180834 |  3302438 |     1594   4826 |        0 |        0
699.45/699.63	c  699s |      23 |  4193174 |  3311638 |     1594   4837 |        0 |        0
701.45/701.65	c  701s |      23 |  4204494 |  3320338 |     1594   4848 |        0 |        0
703.45/703.67	c  703s |      23 |  4217222 |  3329438 |     1594   4858 |        0 |        0
705.45/705.68	c  705s |      23 |  4231803 |  3339038 |     1594   4870 |        0 |        0
707.45/707.70	c  707s |      23 |  4243687 |  3348138 |     1594   4881 |        0 |        0
709.55/709.70	c  709s |      23 |  4254552 |  3357038 |     1754   4891 |        0 |        0
711.54/711.73	c  711s |      23 |  4266043 |  3365938 |     1754   4901 |        0 |        0
713.54/713.74	c  713s |      23 |  4276908 |  3374438 |     1754   4910 |        0 |        0
714.05/714.24	c  714s |      24 |  4279726 |  3376662 |     1754   4912 |        0 |        0
716.04/716.25	c  716s |      24 |  4293524 |  3387162 |     1754   4924 |        0 |        0
718.04/718.26	c  718s |      24 |  4306935 |  3397662 |     1754   4935 |        0 |        0
720.04/720.27	c  720s |      24 |  4317975 |  3406562 |     1754   4945 |        0 |        0
722.04/722.27	c  722s |      24 |  4329981 |  3416262 |     1754   4955 |        0 |        0
724.14/724.30	c  724s |      24 |  4342275 |  3425862 |     1754   4966 |        0 |        0
726.14/726.31	c  726s |      24 |  4355215 |  3435362 |     1754   4976 |        0 |        0
728.14/728.32	c  728s |      24 |  4366497 |  3444562 |     1754   4986 |        0 |        0
730.14/730.34	c  730s |      24 |  4380825 |  3454962 |     1754   4997 |        0 |        0
732.13/732.34	c  732s |      24 |  4394563 |  3465062 |     1754   5008 |        0 |        0
734.13/734.37	c  734s |      24 |  4406702 |  3474662 |     1754   5019 |        0 |        0
736.14/736.37	c  736s |      24 |  4419408 |  3484562 |     1754   5029 |        0 |        0
738.13/738.39	c  738s |      24 |  4430260 |  3493562 |     1754   5039 |        0 |        0
740.23/740.40	c  740s |      24 |  4442575 |  3503162 |     1754   5050 |        0 |        0
742.23/742.42	c  742s |      24 |  4453792 |  3512162 |     1754   5059 |        0 |        0
744.22/744.43	c  744s |      24 |  4465735 |  3521462 |     1754   5069 |        0 |        0
746.22/746.45	c  746s |      24 |  4477495 |  3530862 |     1754   5080 |        0 |        0
748.23/748.46	c  748s |      24 |  4488825 |  3539862 |     1754   5089 |        0 |        0
750.22/750.49	c  750s |      24 |  4500688 |  3548962 |     1754   5099 |        0 |        0
752.32/752.51	c  752s |      24 |  4510738 |  3557462 |     1754   5109 |        0 |        0
754.32/754.52	c  754s |      24 |  4521817 |  3566362 |     1754   5118 |        0 |        0
756.32/756.55	c  756s |      24 |  4533063 |  3575262 |     1754   5128 |        0 |        0
758.31/758.56	c  758s |      24 |  4544477 |  3584162 |     1754   5138 |        0 |        0
760.32/760.57	c  760s |      24 |  4556483 |  3593562 |     1754   5148 |        0 |        0
762.31/762.58	c  762s |      24 |  4568763 |  3602662 |     1754   5158 |        0 |        0
764.31/764.59	c  764s |      24 |  4580177 |  3611762 |     1754   5167 |        0 |        0
766.31/766.59	c  766s |      24 |  4591572 |  3621162 |     1754   5178 |        0 |        0
768.31/768.59	c  768s |      24 |  4603825 |  3630662 |     1754   5188 |        0 |        0
770.41/770.62	c  770s |      24 |  4617141 |  3640362 |     1754   5199 |        0 |        0
772.42/772.63	c  772s |      24 |  4628699 |  3650062 |     1754   5209 |        0 |        0
774.41/774.65	c  774s |      24 |  4640867 |  3660062 |     1754   5220 |        0 |        0
776.41/776.66	c  776s |      24 |  4651942 |  3669362 |     1754   5230 |        0 |        0
778.40/778.67	c  778s |      24 |  4665339 |  3678862 |     1754   5240 |        0 |        0
780.40/780.68	c  780s |      24 |  4677194 |  3687762 |     1754   5250 |        0 |        0
782.50/782.70	c  782s |      24 |  4687749 |  3696362 |     1754   5259 |        0 |        0
784.52/784.71	c  784s |      24 |  4697806 |  3704762 |     1754   5268 |        0 |        0
786.51/786.72	c  786s |      24 |  4708797 |  3713462 |     1754   5278 |        0 |        0
788.51/788.73	c  788s |      24 |  4720686 |  3722562 |     1754   5288 |        0 |        0
790.51/790.74	c  790s |      24 |  4731719 |  3731862 |     1754   5298 |        0 |        0
792.51/792.76	c  792s |      24 |  4745580 |  3742362 |     1754   5310 |        0 |        0
794.50/794.76	c  794s |      24 |  4758447 |  3752162 |     1754   5320 |        0 |        0
796.51/796.77	c  796s |      24 |  4771883 |  3762562 |     1754   5331 |        0 |        0
798.50/798.79	c  798s |      24 |  4784969 |  3772362 |     1754   5342 |        0 |        0
800.60/800.80	c  800s |      24 |  4797404 |  3782262 |     1754   5353 |        0 |        0
802.60/802.83	c  802s |      24 |  4810107 |  3792262 |     1754   5364 |        0 |        0
804.60/804.83	c  804s |      24 |  4824112 |  3802662 |     1754   5375 |        0 |        0
806.60/806.84	c  806s |      24 |  4835717 |  3812162 |     1754   5385 |        0 |        0
808.60/808.85	c  808s |      24 |  4847088 |  3821262 |     1754   5395 |        0 |        0
810.60/810.85	c  810s |      24 |  4858943 |  3830562 |     1754   5405 |        0 |        0
812.60/812.86	c  812s |      24 |  4869572 |  3839362 |     1754   5415 |        0 |        0
814.59/814.88	c  814s |      24 |  4880922 |  3848462 |     1754   5425 |        0 |        0
816.59/816.88	c  816s |      24 |  4894129 |  3858062 |     1754   5435 |        0 |        0
818.60/818.89	c  818s |      24 |  4905352 |  3867262 |     1754   5445 |        0 |        0
820.59/820.89	c  820s |      24 |  4917146 |  3877062 |     1754   5456 |        0 |        0
822.59/822.89	c  822s |      24 |  4928528 |  3886262 |     1754   5466 |        0 |        0
824.68/824.90	c  824s |      24 |  4940501 |  3895862 |     1754   5476 |        0 |        0
826.68/826.92	c  826s |      24 |  4951488 |  3904862 |     1754   5486 |        0 |        0
828.68/828.93	c  828s |      24 |  4963165 |  3913562 |     1754   5495 |        0 |        0
830.69/830.95	c  830s |      24 |  4975196 |  3922862 |     1754   5506 |        0 |        0
832.68/832.97	c  832s |      24 |  4988378 |  3932562 |     1754   5516 |        0 |        0
834.69/834.98	c  834s |      24 |  4999092 |  3941162 |     1754   5526 |        0 |        0
836.69/836.98	c  836s |      24 |  5011478 |  3950662 |     1754   5536 |        0 |        0
838.79/839.00	c  838s |      24 |  5023328 |  3960162 |     1754   5546 |        0 |        0
840.79/841.01	c  840s |      24 |  5037371 |  3970162 |     1754   5557 |        0 |        0
842.79/843.02	c  843s |      24 |  5050414 |  3979862 |     1754   5568 |        0 |        0
844.78/845.03	c  845s |      24 |  5062806 |  3989362 |     1754   5578 |        0 |        0
846.78/847.03	c  847s |      24 |  5074132 |  3998462 |     1754   5588 |        0 |        0
848.78/849.04	c  849s |      24 |  5086254 |  4007562 |     1754   5598 |        0 |        0
850.78/851.06	c  851s |      24 |  5100049 |  4017262 |     1754   5609 |        0 |        0
852.78/853.07	c  853s |      24 |  5114824 |  4027562 |     1754   5620 |        0 |        0
854.79/855.07	c  855s |      24 |  5128611 |  4037562 |     1754   5631 |        0 |        0
856.78/857.09	c  857s |      24 |  5142654 |  4047062 |     1754   5641 |        0 |        0
858.88/859.10	c  859s |      24 |  5156170 |  4056662 |     1754   5651 |        0 |        0
860.88/861.12	c  861s |      24 |  5169092 |  4065862 |     1754   5661 |        0 |        0
862.88/863.14	c  863s |      24 |  5182023 |  4075762 |     1754   5672 |        0 |        0
864.87/865.16	c  865s |      24 |  5196844 |  4086062 |     1754   5683 |        0 |        0
866.88/867.17	c  867s |      24 |  5210650 |  4096262 |     1754   5694 |        0 |        0
868.87/869.17	c  869s |      24 |  5223785 |  4106062 |     1754   5705 |        0 |        0
870.87/871.17	c  871s |      24 |  5237166 |  4115562 |     1754   5715 |        0 |        0
872.87/873.18	c  873s |      24 |  5251897 |  4125562 |     1754   5726 |        0 |        0
874.86/875.19	c  875s |      24 |  5264984 |  4135262 |     1754   5737 |        0 |        0
876.87/877.20	c  877s |      24 |  5279202 |  4145662 |     1754   5748 |        0 |        0
878.97/879.21	c  879s |      24 |  5292874 |  4155962 |     1754   5759 |        0 |        0
880.96/881.22	c  881s |      24 |  5306853 |  4165862 |     1754   5770 |        0 |        0
882.96/883.23	c  883s |      24 |  5319486 |  4175062 |     1754   5780 |        0 |        0
884.96/885.23	c  885s |      24 |  5330731 |  4183762 |     1754   5789 |        0 |        0
886.96/887.24	c  887s |      24 |  5342472 |  4192562 |     1754   5799 |        0 |        0
888.96/889.26	c  889s |      24 |  5354142 |  4201162 |     1754   5808 |        0 |        0
890.95/891.27	c  891s |      24 |  5365522 |  4209662 |     1754   5817 |        0 |        0
892.95/893.27	c  893s |      24 |  5379820 |  4219262 |     1754   5828 |        0 |        0
894.95/895.28	c  895s |      24 |  5392829 |  4228362 |     1754   5838 |        0 |        0
896.95/897.28	c  897s |      24 |  5403428 |  4236362 |     1754   5846 |        0 |        0
898.95/899.29	c  899s |      24 |  5418367 |  4246262 |     1754   5857 |        0 |        0
901.06/901.31	c  901s |      24 |  5431951 |  4255962 |     1754   5868 |        0 |        0
903.04/903.32	c  903s |      24 |  5446312 |  4265362 |     1754   5878 |        0 |        0
905.04/905.33	c  905s |      24 |  5460043 |  4274862 |     1754   5888 |        0 |        0
907.04/907.35	c  907s |      24 |  5471397 |  4283862 |     1754   5898 |        0 |        0
909.04/909.35	c  909s |      24 |  5486169 |  4294262 |     1754   5910 |        0 |        0
911.04/911.35	c  911s |      24 |  5499268 |  4304462 |     1754   5921 |        0 |        0
913.04/913.37	c  913s |      24 |  5510076 |  4313662 |     1754   5931 |        0 |        0
915.04/915.37	c  915s |      24 |  5520254 |  4321962 |     1754   5940 |        0 |        0
917.04/917.39	c  917s |      24 |  5532786 |  4331262 |     1754   5951 |        0 |        0
919.14/919.40	c  919s |      24 |  5546067 |  4341162 |     1754   5961 |        0 |        0
921.14/921.41	c  921s |      24 |  5558899 |  4351262 |     1754   5972 |        0 |        0
923.13/923.42	c  923s |      24 |  5574508 |  4362162 |     1754   5984 |        0 |        0
925.14/925.43	c  925s |      24 |  5587988 |  4372762 |     1754   5996 |        0 |        0
927.14/927.43	c  927s |      24 |  5602129 |  4383762 |     1754   6008 |        0 |        0
929.14/929.45	c  929s |      24 |  5615812 |  4393962 |     1754   6019 |        0 |        0
931.14/931.47	c  931s |      24 |  5628225 |  4403662 |     1754   6029 |        0 |        0
933.13/933.48	c  933s |      24 |  5640081 |  4413062 |     1754   6040 |        0 |        0
935.14/935.49	c  935s |      24 |  5654896 |  4423462 |     1754   6051 |        0 |        0
937.24/937.51	c  937s |      24 |  5669616 |  4433862 |     1754   6063 |        0 |        0
939.23/939.51	c  939s |      24 |  5684487 |  4443662 |     1754   6073 |        0 |        0
941.23/941.53	c  941s |      24 |  5695937 |  4453062 |     1754   6084 |        0 |        0
943.23/943.53	c  943s |      24 |  5708769 |  4463362 |     1754   6095 |        0 |        0
945.23/945.53	c  945s |      24 |  5721137 |  4473762 |     1754   6106 |        0 |        0
947.23/947.55	c  947s |      24 |  5734677 |  4484362 |     1754   6118 |        0 |        0
949.23/949.55	c  949s |      24 |  5747302 |  4494762 |     1754   6129 |        0 |        0
951.23/951.56	c  951s |      24 |  5760871 |  4505462 |     1754   6140 |        0 |        0
953.22/953.58	c  953s |      24 |  5773954 |  4515962 |     1754   6152 |        0 |        0
955.22/955.58	c  955s |      24 |  5786670 |  4526362 |     1754   6163 |        0 |        0
957.22/957.58	c  957s |      24 |  5799424 |  4537362 |     1754   6175 |        0 |        0
959.23/959.59	c  959s |      24 |  5811213 |  4547262 |     1754   6185 |        0 |        0
961.32/961.60	c  961s |      24 |  5823357 |  4557362 |     1754   6196 |        0 |        0
963.31/963.60	c  963s |      24 |  5835818 |  4567762 |     1754   6208 |        0 |        0
965.31/965.61	c  965s |      24 |  5847620 |  4577762 |     1754   6218 |        0 |        0
967.31/967.63	c  967s |      24 |  5858106 |  4586762 |     1754   6228 |        0 |        0
969.31/969.65	c  969s |      24 |  5868457 |  4595662 |     1754   6238 |        0 |        0
971.32/971.66	c  971s |      24 |  5879842 |  4605162 |     1754   6248 |        0 |        0
973.31/973.68	c  973s |      24 |  5892420 |  4615162 |     1754   6259 |        0 |        0
975.31/975.69	c  975s |      24 |  5905246 |  4625462 |     1754   6270 |        0 |        0
977.31/977.69	c  977s |      24 |  5918300 |  4635362 |     1754   6281 |        0 |        0
979.31/979.70	c  979s |      24 |  5929774 |  4644562 |     1754   6291 |        0 |        0
981.41/981.70	c  981s |      24 |  5940301 |  4653262 |     1754   6301 |        0 |        0
983.41/983.72	c  983s |      24 |  5951717 |  4662762 |     1754   6311 |        0 |        0
985.40/985.74	c  985s |      24 |  5962907 |  4672462 |     1754   6322 |        0 |        0
987.40/987.77	c  987s |      24 |  5975232 |  4682662 |     1754   6333 |        0 |        0
989.40/989.77	c  989s |      24 |  5987712 |  4693062 |     1754   6344 |        0 |        0
991.40/991.78	c  991s |      24 |  6000269 |  4703962 |     1754   6356 |        0 |        0
993.40/993.78	c  993s |      24 |  6012736 |  4714762 |     1754   6367 |        0 |        0
995.50/995.80	c  995s |      24 |  6025727 |  4725362 |     1754   6379 |        0 |        0
997.50/997.82	c  997s |      24 |  6038574 |  4735862 |     1754   6390 |        0 |        0
999.50/999.83	c  999s |      24 |  6051383 |  4746462 |     1754   6401 |        0 |        0
1001.50/1001.84	c 1001s |      24 |  6063769 |  4756962 |     1754   6412 |        0 |        0
1003.50/1003.86	c 1003s |      24 |  6076498 |  4767262 |     1754   6423 |        0 |        0
1005.51/1005.87	c 1005s |      24 |  6089521 |  4777262 |     1754   6435 |        0 |        0
1007.50/1007.88	c 1007s |      24 |  6099942 |  4786062 |     1754   6444 |        0 |        0
1009.60/1009.90	c 1009s |      24 |  6112437 |  4795562 |     1754   6455 |        0 |        0
1011.60/1011.90	c 1011s |      24 |  6125073 |  4805462 |     1754   6466 |        0 |        0
1013.59/1013.91	c 1013s |      24 |  6139225 |  4815762 |     1754   6477 |        0 |        0
1015.59/1015.92	c 1015s |      24 |  6153781 |  4826762 |     1754   6489 |        0 |        0
1017.60/1017.92	c 1017s |      24 |  6167069 |  4837462 |     1754   6501 |        0 |        0
1019.59/1019.94	c 1019s |      24 |  6179060 |  4847862 |     1754   6512 |        0 |        0
1021.59/1021.96	c 1021s |      24 |  6190511 |  4857762 |     1754   6523 |        0 |        0
1023.59/1023.97	c 1023s |      24 |  6203529 |  4868262 |     1754   6534 |        0 |        0
1025.59/1025.97	c 1025s |      24 |  6214320 |  4877662 |     1754   6545 |        0 |        0
1027.59/1027.98	c 1027s |      24 |  6225934 |  4887362 |     1754   6555 |        0 |        0
1029.59/1029.98	c 1029s |      24 |  6237328 |  4896962 |     1754   6566 |        0 |        0
1031.59/1031.99	c 1031s |      24 |  6248916 |  4907062 |     1754   6577 |        0 |        0
1033.58/1033.99	c 1033s |      24 |  6261177 |  4917262 |     1754   6588 |        0 |        0
1035.68/1036.01	c 1035s |      24 |  6273261 |  4927462 |     1754   6600 |        0 |        0
1037.68/1038.02	c 1037s |      24 |  6284478 |  4937062 |     1754   6610 |        0 |        0
1039.68/1040.03	c 1040s |      24 |  6297514 |  4947762 |     1754   6621 |        0 |        0
1041.68/1042.06	c 1042s |      24 |  6310069 |  4958262 |     1754   6632 |        0 |        0
1043.67/1044.06	c 1044s |      24 |  6322396 |  4968662 |     1754   6644 |        0 |        0
1045.67/1046.08	c 1046s |      24 |  6335000 |  4979062 |     1754   6655 |        0 |        0
1047.67/1048.09	c 1048s |      24 |  6345819 |  4988462 |     1754   6665 |        0 |        0
1049.77/1050.11	c 1050s |      24 |  6358019 |  4998562 |     1754   6676 |        0 |        0
1051.77/1052.11	c 1052s |      24 |  6369735 |  5008262 |     1754   6686 |        0 |        0
1053.77/1054.14	c 1054s |      24 |  6380224 |  5017562 |     1754   6696 |        0 |        0
1055.76/1056.15	c 1056s |      24 |  6391191 |  5026862 |     1754   6706 |        0 |        0
1057.76/1058.15	c 1058s |      24 |  6401062 |  5035362 |     1930   6715 |        0 |        0
1059.76/1060.17	c 1060s |      24 |  6411917 |  5044462 |     1930   6724 |        0 |        0
1061.76/1062.17	c 1062s |      24 |  6422427 |  5053662 |     1930   6733 |        0 |        0
1063.77/1064.17	c 1064s |      24 |  6433772 |  5063362 |     1930   6742 |        0 |        0
1064.17/1064.53	c 1064s |      25 |  6436041 |  5065098 |     1930   6744 |        0 |        0
1066.17/1066.55	c 1066s |      25 |  6447479 |  5073498 |     1930   6752 |        0 |        0
1068.17/1068.55	c 1068s |      25 |  6459166 |  5082098 |     1930   6761 |        0 |        0
1070.17/1070.56	c 1070s |      25 |  6471496 |  5090898 |     1930   6770 |        0 |        0
1072.17/1072.58	c 1072s |      25 |  6482779 |  5099398 |     1930   6778 |        0 |        0
1074.16/1074.60	c 1074s |      25 |  6493880 |  5107698 |     1930   6787 |        0 |        0
1076.26/1076.62	c 1076s |      25 |  6506612 |  5116398 |     1930   6795 |        0 |        0
1078.26/1078.62	c 1078s |      25 |  6518982 |  5124998 |     1930   6804 |        0 |        0
1080.27/1080.62	c 1080s |      25 |  6529612 |  5133098 |     1930   6812 |        0 |        0
1082.26/1082.65	c 1082s |      25 |  6540553 |  5141698 |     1930   6821 |        0 |        0
1084.26/1084.66	c 1084s |      25 |  6550849 |  5150198 |     1930   6829 |        0 |        0
1086.25/1086.67	c 1086s |      25 |  6560518 |  5158398 |     1930   6837 |        0 |        0
1088.25/1088.69	c 1088s |      25 |  6571325 |  5167098 |     1930   6846 |        0 |        0
1090.25/1090.69	c 1090s |      25 |  6581339 |  5175598 |     1930   6854 |        0 |        0
1092.26/1092.70	c 1092s |      25 |  6590908 |  5183898 |     1930   6863 |        0 |        0
1094.35/1094.72	c 1094s |      25 |  6600850 |  5192298 |     1930   6871 |        0 |        0
1096.35/1096.74	c 1096s |      25 |  6610066 |  5200198 |     1930   6879 |        0 |        0
1098.35/1098.75	c 1098s |      25 |  6621155 |  5208298 |     1930   6887 |        0 |        0
1100.35/1100.77	c 1100s |      25 |  6631637 |  5216598 |     1930   6895 |        0 |        0
1102.35/1102.78	c 1102s |      25 |  6643651 |  5224998 |     1930   6904 |        0 |        0
1104.35/1104.79	c 1104s |      25 |  6653964 |  5233198 |     1930   6912 |        0 |        0
1106.34/1106.79	c 1106s |      25 |  6662867 |  5240998 |     1930   6920 |        0 |        0
1108.44/1108.81	c 1108s |      25 |  6672218 |  5248898 |     1930   6927 |        0 |        0
1110.44/1110.84	c 1110s |      25 |  6681738 |  5256798 |     1930   6935 |        0 |        0
1112.44/1112.86	c 1112s |      25 |  6691793 |  5264798 |     1930   6943 |        0 |        0
1114.44/1114.86	c 1114s |      25 |  6702028 |  5272898 |     1930   6951 |        0 |        0
1116.44/1116.87	c 1116s |      25 |  6713196 |  5281598 |     1930   6960 |        0 |        0
1118.44/1118.87	c 1118s |      25 |  6725776 |  5290398 |     1930   6969 |        0 |        0
1120.44/1120.88	c 1120s |      25 |  6738774 |  5299498 |     1930   6978 |        0 |        0
1122.44/1122.88	c 1122s |      25 |  6750258 |  5307698 |     1930   6986 |        0 |        0
1124.43/1124.89	c 1124s |      25 |  6760579 |  5315698 |     1930   6994 |        0 |        0
1126.44/1126.89	c 1126s |      25 |  6770788 |  5323898 |     1930   7002 |        0 |        0
1128.54/1128.91	c 1128s |      25 |  6781556 |  5332398 |     1930   7011 |        0 |        0
1130.53/1130.92	c 1130s |      25 |  6790662 |  5340198 |     1930   7019 |        0 |        0
1132.53/1132.95	c 1132s |      25 |  6800595 |  5348598 |     1930   7027 |        0 |        0
1134.53/1134.97	c 1134s |      25 |  6810558 |  5356898 |     1930   7035 |        0 |        0
1136.53/1136.98	c 1136s |      25 |  6822133 |  5365298 |     1930   7044 |        0 |        0
1138.62/1139.00	c 1138s |      25 |  6832626 |  5373598 |     1930   7052 |        0 |        0
1140.63/1141.02	c 1141s |      25 |  6844405 |  5382098 |     1930   7061 |        0 |        0
1142.62/1143.02	c 1143s |      25 |  6855827 |  5391198 |     1930   7070 |        0 |        0
1144.62/1145.03	c 1145s |      25 |  6866788 |  5399798 |     1930   7078 |        0 |        0
1146.62/1147.05	c 1147s |      25 |  6877235 |  5408098 |     1930   7086 |        0 |        0
1148.62/1149.06	c 1149s |      25 |  6887228 |  5416398 |     1930   7095 |        0 |        0
1150.63/1151.07	c 1151s |      25 |  6898409 |  5425198 |     1930   7104 |        0 |        0
1152.62/1153.08	c 1153s |      25 |  6907652 |  5433098 |     1930   7112 |        0 |        0
1154.61/1155.09	c 1155s |      25 |  6917232 |  5441298 |     1930   7120 |        0 |        0
1156.71/1157.10	c 1157s |      25 |  6926729 |  5449498 |     1930   7128 |        0 |        0
1158.71/1159.12	c 1159s |      25 |  6936727 |  5457598 |     1930   7136 |        0 |        0
1160.71/1161.13	c 1161s |      25 |  6945748 |  5465398 |     1930   7144 |        0 |        0
1162.72/1163.15	c 1163s |      25 |  6956600 |  5473698 |     1930   7152 |        0 |        0
1164.71/1165.16	c 1165s |      25 |  6966577 |  5481898 |     1930   7160 |        0 |        0
1166.71/1167.17	c 1167s |      25 |  6977702 |  5490398 |     1930   7169 |        0 |        0
1168.71/1169.18	c 1169s |      25 |  6988481 |  5498798 |     1930   7177 |        0 |        0
1170.71/1171.18	c 1171s |      25 |  6998285 |  5506798 |     1930   7185 |        0 |        0
1172.71/1173.19	c 1173s |      25 |  7007834 |  5514498 |     1930   7193 |        0 |        0
1174.81/1175.21	c 1175s |      25 |  7016726 |  5521798 |     1930   7200 |        0 |        0
1176.80/1177.23	c 1177s |      25 |  7025234 |  5529098 |     1930   7207 |        0 |        0
1178.80/1179.25	c 1179s |      25 |  7033918 |  5536398 |     1930   7214 |        0 |        0
1180.80/1181.26	c 1181s |      25 |  7044128 |  5544198 |     1930   7222 |        0 |        0
1182.80/1183.28	c 1183s |      25 |  7053371 |  5551298 |     1930   7229 |        0 |        0
1184.79/1185.29	c 1185s |      25 |  7062412 |  5558898 |     1930   7237 |        0 |        0
1186.90/1187.30	c 1187s |      25 |  7072323 |  5566898 |     1930   7245 |        0 |        0
1188.89/1189.32	c 1189s |      25 |  7082116 |  5574898 |     1930   7253 |        0 |        0
1190.89/1191.33	c 1191s |      25 |  7090624 |  5582398 |     1930   7260 |        0 |        0
1192.89/1193.36	c 1193s |      25 |  7100818 |  5590398 |     1930   7269 |        0 |        0
1194.90/1195.37	c 1195s |      25 |  7112675 |  5598898 |     1930   7277 |        0 |        0
1196.90/1197.37	c 1197s |      25 |  7123336 |  5607198 |     1930   7285 |        0 |        0
1198.90/1199.38	c 1199s |      25 |  7133604 |  5615298 |     1930   7293 |        0 |        0
1200.89/1201.39	c 1201s |      25 |  7143413 |  5622898 |     1930   7301 |        0 |        0
1202.89/1203.39	c 1203s |      25 |  7153522 |  5630998 |     1930   7309 |        0 |        0
1204.89/1205.39	c 1205s |      25 |  7164890 |  5639198 |     1930   7317 |        0 |        0
1206.99/1207.41	c 1207s |      25 |  7178170 |  5647698 |     1930   7326 |        0 |        0
1208.99/1209.42	c 1209s |      25 |  7188458 |  5655998 |     1930   7334 |        0 |        0
1210.99/1211.45	c 1211s |      25 |  7198216 |  5663598 |     1930   7342 |        0 |        0
1212.98/1213.47	c 1213s |      25 |  7207935 |  5671298 |     1930   7349 |        0 |        0
1215.08/1215.50	c 1215s |      25 |  7219467 |  5679298 |     1930   7357 |        0 |        0
1217.08/1217.52	c 1217s |      25 |  7231887 |  5687398 |     1930   7365 |        0 |        0
1219.08/1219.52	c 1219s |      25 |  7243000 |  5696298 |     1930   7374 |        0 |        0
1221.08/1221.55	c 1221s |      25 |  7253260 |  5704798 |     1930   7383 |        0 |        0
1223.08/1223.55	c 1223s |      25 |  7264287 |  5713298 |     1930   7391 |        0 |        0
1225.08/1225.55	c 1225s |      25 |  7273956 |  5721498 |     1930   7399 |        0 |        0
1227.08/1227.56	c 1227s |      25 |  7284636 |  5729898 |     1930   7408 |        0 |        0
1229.08/1229.56	c 1229s |      25 |  7295642 |  5738398 |     1930   7416 |        0 |        0
1231.07/1231.57	c 1231s |      25 |  7305749 |  5746598 |     1930   7424 |        0 |        0
1233.08/1233.57	c 1233s |      25 |  7316270 |  5754798 |     1930   7433 |        0 |        0
1235.07/1235.58	c 1235s |      25 |  7328494 |  5763698 |     1930   7441 |        0 |        0
1237.07/1237.58	c 1237s |      25 |  7338722 |  5771998 |     1930   7450 |        0 |        0
1239.17/1239.60	c 1239s |      25 |  7348804 |  5780298 |     1930   7458 |        0 |        0
1241.17/1241.61	c 1241s |      25 |  7359583 |  5788998 |     1930   7467 |        0 |        0
1243.17/1243.63	c 1243s |      25 |  7369247 |  5797198 |     1930   7475 |        0 |        0
1245.17/1245.65	c 1245s |      25 |  7378908 |  5805398 |     1930   7483 |        0 |        0
1247.17/1247.66	c 1247s |      25 |  7388776 |  5813998 |     1930   7492 |        0 |        0
1249.17/1249.66	c 1249s |      25 |  7398348 |  5822198 |     1930   7500 |        0 |        0
1251.17/1251.66	c 1251s |      25 |  7407846 |  5830098 |     1930   7508 |        0 |        0
1253.17/1253.67	c 1253s |      25 |  7416758 |  5837598 |     1930   7515 |        0 |        0
1255.17/1255.67	c 1255s |      25 |  7425867 |  5845498 |     1930   7523 |        0 |        0
1257.17/1257.70	c 1257s |      25 |  7434741 |  5853298 |     1930   7531 |        0 |        0
1259.27/1259.71	c 1259s |      25 |  7444244 |  5861398 |     1930   7538 |        0 |        0
1261.27/1261.73	c 1261s |      25 |  7453679 |  5869598 |     1930   7547 |        0 |        0
1263.27/1263.75	c 1263s |      25 |  7462848 |  5877598 |     1930   7555 |        0 |        0
1265.26/1265.76	c 1265s |      25 |  7471248 |  5885198 |     1930   7562 |        0 |        0
1267.26/1267.77	c 1267s |      25 |  7480420 |  5893198 |     1930   7570 |        0 |        0
1269.27/1269.79	c 1269s |      25 |  7489673 |  5901198 |     1930   7578 |        0 |        0
1271.26/1271.79	c 1271s |      25 |  7498308 |  5908798 |     1930   7586 |        0 |        0
1273.36/1273.82	c 1273s |      25 |  7507519 |  5916798 |     1930   7594 |        0 |        0
1275.36/1275.85	c 1275s |      25 |  7516794 |  5924798 |     1930   7602 |        0 |        0
1277.36/1277.86	c 1277s |      25 |  7526169 |  5932698 |     1930   7609 |        0 |        0
1279.36/1279.86	c 1279s |      25 |  7535683 |  5940698 |     1930   7617 |        0 |        0
1281.37/1281.88	c 1281s |      25 |  7545107 |  5948498 |     1930   7625 |        0 |        0
1283.46/1283.90	c 1283s |      25 |  7554585 |  5956698 |     1930   7633 |        0 |        0
1285.46/1285.92	c 1285s |      25 |  7564612 |  5964898 |     1930   7642 |        0 |        0
1287.46/1287.94	c 1287s |      25 |  7574212 |  5972698 |     1930   7649 |        0 |        0
1289.46/1289.96	c 1289s |      25 |  7584545 |  5980498 |     1930   7657 |        0 |        0
1291.46/1291.97	c 1291s |      25 |  7595209 |  5989098 |     1930   7666 |        0 |        0
1293.47/1293.98	c 1293s |      25 |  7605348 |  5997798 |     1930   7674 |        0 |        0
1295.56/1296.01	c 1295s |      25 |  7616394 |  6006398 |     1930   7683 |        0 |        0
1297.56/1298.02	c 1298s |      25 |  7626611 |  6014898 |     1930   7692 |        0 |        0
1299.56/1300.03	c 1300s |      25 |  7636060 |  6022998 |     1930   7700 |        0 |        0
1301.56/1302.03	c 1302s |      25 |  7646980 |  6031698 |     1930   7708 |        0 |        0
1303.56/1304.06	c 1304s |      25 |  7658215 |  6040498 |     1930   7717 |        0 |        0
1305.56/1306.06	c 1306s |      25 |  7668373 |  6048798 |     1930   7725 |        0 |        0
1307.56/1308.07	c 1308s |      25 |  7678845 |  6057498 |     1930   7734 |        0 |        0
1309.55/1310.09	c 1310s |      25 |  7689673 |  6066398 |     1930   7743 |        0 |        0
1311.65/1312.10	c 1312s |      25 |  7700014 |  6074998 |     1930   7751 |        0 |        0
1313.65/1314.13	c 1314s |      25 |  7709775 |  6083298 |     1930   7760 |        0 |        0
1315.65/1316.13	c 1316s |      25 |  7720122 |  6091798 |     1930   7768 |        0 |        0
1317.66/1318.13	c 1318s |      25 |  7730722 |  6100298 |     1930   7776 |        0 |        0
1319.65/1320.14	c 1320s |      25 |  7742964 |  6108898 |     1930   7785 |        0 |        0
1321.65/1322.15	c 1322s |      25 |  7752461 |  6116598 |     1930   7793 |        0 |        0
1323.65/1324.16	c 1324s |      25 |  7762686 |  6124398 |     1930   7801 |        0 |        0
1325.65/1326.18	c 1326s |      25 |  7772484 |  6132198 |     1930   7808 |        0 |        0
1327.75/1328.20	c 1328s |      25 |  7782041 |  6139898 |     1930   7816 |        0 |        0
1329.77/1330.22	c 1330s |      25 |  7791330 |  6147498 |     1930   7824 |        0 |        0
1331.76/1332.24	c 1332s |      25 |  7802760 |  6155498 |     1930   7832 |        0 |        0
1333.76/1334.25	c 1334s |      25 |  7813344 |  6163598 |     1930   7840 |        0 |        0
1335.76/1336.27	c 1336s |      25 |  7822906 |  6171698 |     1930   7848 |        0 |        0
1337.76/1338.29	c 1338s |      25 |  7832369 |  6179498 |     1930   7855 |        0 |        0
1339.86/1340.31	c 1340s |      25 |  7841493 |  6187198 |     1930   7863 |        0 |        0
1341.86/1342.31	c 1342s |      25 |  7851397 |  6195098 |     1930   7871 |        0 |        0
1343.86/1344.31	c 1344s |      25 |  7861293 |  6202998 |     1930   7879 |        0 |        0
1345.86/1346.33	c 1346s |      25 |  7870290 |  6210798 |     1930   7887 |        0 |        0
1347.85/1348.35	c 1348s |      25 |  7879277 |  6218698 |     1930   7895 |        0 |        0
1349.85/1350.38	c 1350s |      25 |  7889570 |  6227098 |     1930   7903 |        0 |        0
1351.86/1352.39	c 1352s |      25 |  7899514 |  6235198 |     1930   7911 |        0 |        0
1353.85/1354.39	c 1354s |      25 |  7909538 |  6243498 |     1930   7919 |        0 |        0
1355.95/1356.40	c 1356s |      25 |  7919949 |  6252198 |     1930   7928 |        0 |        0
1357.95/1358.42	c 1358s |      25 |  7931209 |  6261498 |     1930   7937 |        0 |        0
1359.95/1360.43	c 1360s |      25 |  7941665 |  6270398 |     1930   7946 |        0 |        0
1361.95/1362.43	c 1362s |      25 |  7951979 |  6278898 |     1930   7954 |        0 |        0
1363.95/1364.45	c 1364s |      25 |  7961810 |  6287298 |     1930   7963 |        0 |        0
1365.95/1366.46	c 1366s |      25 |  7972162 |  6295898 |     1930   7971 |        0 |        0
1367.95/1368.48	c 1368s |      25 |  7981919 |  6304198 |     1930   7979 |        0 |        0
1370.04/1370.50	c 1370s |      25 |  7991829 |  6312498 |     1930   7988 |        0 |        0
1372.04/1372.51	c 1372s |      25 |  8001664 |  6320598 |     1930   7996 |        0 |        0
1374.04/1374.53	c 1374s |      25 |  8010751 |  6328198 |     1930   8003 |        0 |        0
1376.05/1376.54	c 1376s |      25 |  8019413 |  6335798 |     1930   8011 |        0 |        0
1378.05/1378.54	c 1378s |      25 |  8028172 |  6343398 |     1930   8019 |        0 |        0
1380.05/1380.55	c 1380s |      25 |  8037609 |  6351098 |     1930   8026 |        0 |        0
1382.05/1382.56	c 1382s |      25 |  8047168 |  6359498 |     1930   8035 |        0 |        0
1384.05/1384.56	c 1384s |      25 |  8057320 |  6367898 |     1930   8043 |        0 |        0
1386.05/1386.57	c 1386s |      25 |  8066979 |  6375998 |     1930   8051 |        0 |        0
1388.06/1388.59	c 1388s |      25 |  8077314 |  6384198 |     1930   8059 |        0 |        0
1390.15/1390.61	c 1390s |      25 |  8086141 |  6391798 |     1930   8067 |        0 |        0
1392.15/1392.63	c 1392s |      25 |  8095887 |  6399798 |     1930   8075 |        0 |        0
1394.15/1394.63	c 1394s |      25 |  8106106 |  6408098 |     1930   8083 |        0 |        0
1396.15/1396.64	c 1396s |      25 |  8115829 |  6416098 |     1930   8091 |        0 |        0
1398.15/1398.65	c 1398s |      25 |  8125564 |  6423798 |     1930   8099 |        0 |        0
1400.16/1400.67	c 1400s |      25 |  8134719 |  6431498 |     1930   8106 |        0 |        0
1402.15/1402.68	c 1402s |      25 |  8144945 |  6439898 |     1930   8115 |        0 |        0
1404.15/1404.70	c 1404s |      25 |  8154842 |  6448398 |     1930   8123 |        0 |        0
1406.25/1406.70	c 1406s |      25 |  8164739 |  6456698 |     1930   8131 |        0 |        0
1408.25/1408.71	c 1408s |      25 |  8174716 |  6464998 |     1930   8140 |        0 |        0
1410.25/1410.72	c 1410s |      25 |  8185890 |  6473798 |     1930   8148 |        0 |        0
1412.25/1412.72	c 1412s |      25 |  8195132 |  6481798 |     1930   8156 |        0 |        0
1414.25/1414.73	c 1414s |      25 |  8204231 |  6489798 |     1930   8164 |        0 |        0
1416.25/1416.75	c 1416s |      25 |  8213820 |  6497898 |     1930   8172 |        0 |        0
1418.24/1418.76	c 1418s |      25 |  8223029 |  6505798 |     1930   8180 |        0 |        0
1420.24/1420.77	c 1420s |      25 |  8232363 |  6513698 |     1930   8188 |        0 |        0
1422.25/1422.78	c 1422s |      25 |  8241279 |  6521198 |     1930   8196 |        0 |        0
1424.24/1424.80	c 1424s |      25 |  8250645 |  6528998 |     1930   8203 |        0 |        0
1426.34/1426.80	c 1426s |      25 |  8260853 |  6536998 |     1930   8211 |        0 |        0
1428.34/1428.81	c 1428s |      25 |  8271162 |  6545098 |     1930   8219 |        0 |        0
1430.34/1430.83	c 1430s |      25 |  8281156 |  6553098 |     1930   8227 |        0 |        0
1432.34/1432.84	c 1432s |      25 |  8289798 |  6560498 |     1930   8235 |        0 |        0
1434.35/1434.85	c 1434s |      25 |  8298105 |  6567598 |     1930   8242 |        0 |        0
1436.34/1436.87	c 1436s |      25 |  8306159 |  6574698 |     1930   8249 |        0 |        0
1438.34/1438.88	c 1438s |      25 |  8313785 |  6581598 |     1930   8256 |        0 |        0
1440.34/1440.88	c 1440s |      25 |  8322841 |  6589298 |     1930   8263 |        0 |        0
1442.34/1442.89	c 1442s |      25 |  8332172 |  6597098 |     1930   8271 |        0 |        0
1444.44/1444.90	c 1444s |      25 |  8341634 |  6604798 |     1930   8279 |        0 |        0
1446.45/1446.91	c 1446s |      25 |  8351564 |  6612498 |     1930   8287 |        0 |        0
1448.44/1448.93	c 1448s |      25 |  8361687 |  6620598 |     1930   8295 |        0 |        0
1450.44/1450.95	c 1450s |      25 |  8372318 |  6629198 |     1930   8303 |        0 |        0
1452.44/1452.98	c 1452s |      25 |  8381861 |  6637098 |     1930   8311 |        0 |        0
1454.44/1454.99	c 1454s |      25 |  8391305 |  6645198 |     1930   8319 |        0 |        0
1456.44/1456.99	c 1456s |      25 |  8401603 |  6653198 |     1930   8327 |        0 |        0
1458.54/1459.01	c 1458s |      25 |  8411526 |  6661298 |     1930   8335 |        0 |        0
1460.54/1461.02	c 1460s |      25 |  8420622 |  6668998 |     1930   8343 |        0 |        0
1462.53/1463.02	c 1463s |      25 |  8429109 |  6676398 |     1930   8350 |        0 |        0
1464.53/1465.04	c 1465s |      25 |  8437082 |  6683498 |     1930   8357 |        0 |        0
1466.53/1467.05	c 1467s |      25 |  8446118 |  6690998 |     1930   8365 |        0 |        0
1468.53/1469.07	c 1469s |      25 |  8457392 |  6699498 |     1930   8373 |        0 |        0
1470.54/1471.08	c 1471s |      25 |  8466958 |  6707298 |     1930   8381 |        0 |        0
1472.63/1473.10	c 1473s |      25 |  8476001 |  6714898 |     1930   8389 |        0 |        0
1474.63/1475.13	c 1475s |      25 |  8485889 |  6722798 |     1930   8397 |        0 |        0
1476.63/1477.15	c 1477s |      25 |  8496524 |  6730898 |     1930   8405 |        0 |        0
1478.63/1479.15	c 1479s |      25 |  8506540 |  6738598 |     1930   8412 |        0 |        0
1480.63/1481.17	c 1481s |      25 |  8516249 |  6746498 |     1930   8420 |        0 |        0
1482.64/1483.18	c 1483s |      25 |  8525768 |  6754598 |     1930   8428 |        0 |        0
1484.63/1485.19	c 1485s |      25 |  8535004 |  6762498 |     1930   8436 |        0 |        0
1486.73/1487.20	c 1487s |      25 |  8545018 |  6770698 |     1930   8444 |        0 |        0
1488.73/1489.21	c 1489s |      25 |  8553838 |  6778198 |     1930   8452 |        0 |        0
1490.73/1491.22	c 1491s |      25 |  8563316 |  6786198 |     1930   8460 |        0 |        0
1492.73/1493.22	c 1493s |      25 |  8574084 |  6794598 |     1930   8468 |        0 |        0
1494.73/1495.23	c 1495s |      25 |  8582987 |  6802198 |     1930   8476 |        0 |        0
1496.73/1497.25	c 1497s |      25 |  8594043 |  6810498 |     1930   8484 |        0 |        0
1498.73/1499.26	c 1499s |      25 |  8603798 |  6818598 |     1930   8492 |        0 |        0
1500.73/1501.26	c 1501s |      25 |  8613500 |  6826298 |     1930   8500 |        0 |        0
1502.73/1503.28	c 1503s |      25 |  8621796 |  6833698 |     1930   8507 |        0 |        0
1504.73/1505.29	c 1505s |      25 |  8631157 |  6841398 |     1930   8515 |        0 |        0
1506.73/1507.29	c 1507s |      25 |  8639896 |  6848698 |     1930   8522 |        0 |        0
1508.82/1509.31	c 1509s |      25 |  8648285 |  6855998 |     1930   8529 |        0 |        0
1510.82/1511.32	c 1511s |      25 |  8657051 |  6863398 |     1930   8536 |        0 |        0
1512.82/1513.33	c 1513s |      25 |  8665300 |  6870498 |     1930   8543 |        0 |        0
1514.82/1515.35	c 1515s |      25 |  8673012 |  6877398 |     1930   8550 |        0 |        0
1516.83/1517.37	c 1517s |      25 |  8682001 |  6885298 |     1930   8558 |        0 |        0
1518.82/1519.39	c 1519s |      25 |  8692252 |  6893698 |     1930   8566 |        0 |        0
1520.92/1521.40	c 1521s |      25 |  8701411 |  6901598 |     1930   8574 |        0 |        0
1522.92/1523.41	c 1523s |      25 |  8711219 |  6909398 |     1930   8582 |        0 |        0
1524.92/1525.43	c 1525s |      25 |  8720067 |  6916798 |     1930   8590 |        0 |        0
1526.92/1527.45	c 1527s |      25 |  8729368 |  6924398 |     1930   8597 |        0 |        0
1528.93/1529.45	c 1529s |      25 |  8738046 |  6931798 |     1930   8604 |        0 |        0
1530.92/1531.47	c 1531s |      25 |  8747132 |  6939298 |     1930   8612 |        0 |        0
1532.92/1533.49	c 1533s |      25 |  8755700 |  6946698 |     1930   8619 |        0 |        0
1534.92/1535.49	c 1535s |      25 |  8763989 |  6953998 |     1930   8627 |        0 |        0
1537.02/1537.51	c 1537s |      25 |  8772633 |  6961298 |     1930   8634 |        0 |        0
1539.02/1539.51	c 1539s |      25 |  8781516 |  6968998 |     1930   8642 |        0 |        0
1541.03/1541.53	c 1541s |      25 |  8789703 |  6976198 |     1930   8649 |        0 |        0
1543.02/1543.54	c 1543s |      25 |  8798684 |  6983598 |     1930   8656 |        0 |        0
1545.02/1545.55	c 1545s |      25 |  8806418 |  6990498 |     1930   8663 |        0 |        0
1547.02/1547.56	c 1547s |      25 |  8815011 |  6997798 |     1930   8670 |        0 |        0
1549.02/1549.56	c 1549s |      25 |  8822963 |  7004898 |     1930   8677 |        0 |        0
1551.02/1551.57	c 1551s |      25 |  8831339 |  7012198 |     1930   8685 |        0 |        0
1553.03/1553.58	c 1553s |      25 |  8840166 |  7019898 |     1930   8692 |        0 |        0
1555.12/1555.61	c 1555s |      25 |  8849444 |  7027598 |     1930   8700 |        0 |        0
1557.12/1557.61	c 1557s |      25 |  8858509 |  7035198 |     1930   8708 |        0 |        0
1559.12/1559.63	c 1559s |      25 |  8867830 |  7043098 |     1930   8716 |        0 |        0
1561.12/1561.64	c 1561s |      25 |  8877410 |  7050798 |     1930   8723 |        0 |        0
1563.12/1563.64	c 1563s |      25 |  8885713 |  7057998 |     1930   8730 |        0 |        0
1565.13/1565.64	c 1565s |      25 |  8895293 |  7066198 |     1930   8738 |        0 |        0
1567.12/1567.65	c 1567s |      25 |  8905443 |  7074298 |     1930   8747 |        0 |        0
1569.12/1569.67	c 1569s |      25 |  8914923 |  7082098 |     1930   8754 |        0 |        0
1571.12/1571.67	c 1571s |      25 |  8924490 |  7090098 |     1930   8762 |        0 |        0
1573.12/1573.68	c 1573s |      25 |  8933736 |  7097898 |     1930   8770 |        0 |        0
1575.22/1575.70	c 1575s |      25 |  8941730 |  7104798 |     1930   8777 |        0 |        0
1577.23/1577.71	c 1577s |      25 |  8950592 |  7112498 |     1930   8784 |        0 |        0
1579.22/1579.73	c 1579s |      25 |  8959426 |  7120198 |     1930   8792 |        0 |        0
1581.22/1581.76	c 1581s |      25 |  8967664 |  7127598 |     1930   8800 |        0 |        0
1583.22/1583.78	c 1583s |      25 |  8976769 |  7135498 |     1930   8807 |        0 |        0
1585.32/1585.82	c 1585s |      25 |  8986525 |  7143498 |     1930   8815 |        0 |        0
1587.32/1587.83	c 1587s |      25 |  8995600 |  7151098 |     1930   8823 |        0 |        0
1589.33/1589.83	c 1589s |      25 |  9004487 |  7158698 |     1930   8830 |        0 |        0
1591.32/1591.85	c 1591s |      25 |  9012471 |  7165798 |     1930   8838 |        0 |        0
1593.32/1593.86	c 1593s |      25 |  9020704 |  7173098 |     1930   8845 |        0 |        0
1595.32/1595.88	c 1595s |      25 |  9031139 |  7181798 |     1930   8854 |        0 |        0
1597.32/1597.88	c 1597s |      25 |  9041901 |  7190198 |     1930   8862 |        0 |        0
1599.32/1599.89	c 1599s |      25 |  9052738 |  7198598 |     1930   8870 |        0 |        0
1601.42/1601.92	c 1601s |      25 |  9062489 |  7206598 |     1930   8878 |        0 |        0
1603.41/1603.93	c 1603s |      25 |  9071643 |  7214298 |     1930   8886 |        0 |        0
1605.41/1605.95	c 1605s |      25 |  9081925 |  7222598 |     1930   8894 |        0 |        0
1607.41/1607.98	c 1607s |      25 |  9092355 |  7230998 |     1930   8903 |        0 |        0
1609.51/1610.00	c 1609s |      25 |  9102218 |  7239098 |     1930   8911 |        0 |        0
1611.51/1612.02	c 1612s |      25 |  9112443 |  7247098 |     1930   8919 |        0 |        0
1613.52/1614.04	c 1614s |      25 |  9122027 |  7254998 |     1930   8926 |        0 |        0
1615.51/1616.05	c 1616s |      25 |  9132374 |  7263198 |     1930   8935 |        0 |        0
1617.51/1618.07	c 1618s |      25 |  9143726 |  7271898 |     1930   8943 |        0 |        0
1619.51/1620.08	c 1620s |      25 |  9153897 |  7280298 |     1930   8952 |        0 |        0
1621.51/1622.09	c 1622s |      25 |  9164168 |  7288798 |     1930   8960 |        0 |        0
1623.61/1624.10	c 1624s |      25 |  9173714 |  7296898 |     1930   8968 |        0 |        0
1625.61/1626.12	c 1626s |      25 |  9182743 |  7304798 |     1930   8976 |        0 |        0
1627.61/1628.13	c 1628s |      25 |  9191957 |  7312898 |     1930   8984 |        0 |        0
1629.61/1630.14	c 1630s |      25 |  9200926 |  7320798 |     1930   8992 |        0 |        0
1631.61/1632.14	c 1632s |      25 |  9209500 |  7328298 |     1930   9000 |        0 |        0
1633.61/1634.15	c 1634s |      25 |  9218688 |  7335998 |     1930   9007 |        0 |        0
1635.61/1636.16	c 1636s |      25 |  9227797 |  7343698 |     1930   9015 |        0 |        0
1637.61/1638.18	c 1638s |      25 |  9236969 |  7351498 |     1930   9023 |        0 |        0
1639.60/1640.19	c 1640s |      25 |  9245260 |  7358798 |     1930   9030 |        0 |        0
1641.70/1642.20	c 1642s |      25 |  9254568 |  7366598 |     1930   9038 |        0 |        0
1643.70/1644.21	c 1644s |      25 |  9264614 |  7374898 |     1930   9046 |        0 |        0
1645.70/1646.22	c 1646s |      25 |  9273720 |  7382598 |     1930   9054 |        0 |        0
1647.71/1648.23	c 1648s |      25 |  9282209 |  7389798 |     1930   9061 |        0 |        0
1649.70/1650.26	c 1650s |      25 |  9290262 |  7396898 |     1930   9068 |        0 |        0
1651.70/1652.26	c 1652s |      25 |  9298211 |  7403998 |     1930   9075 |        0 |        0
1653.70/1654.26	c 1654s |      25 |  9307845 |  7411498 |     1930   9082 |        0 |        0
1655.70/1656.29	c 1656s |      25 |  9317508 |  7419198 |     1930   9090 |        0 |        0
1657.80/1658.30	c 1658s |      25 |  9325950 |  7426398 |     1930   9097 |        0 |        0
1659.81/1660.32	c 1660s |      25 |  9335481 |  7434198 |     1930   9105 |        0 |        0
1661.80/1662.34	c 1662s |      25 |  9344850 |  7441698 |     1930   9113 |        0 |        0
1663.80/1664.34	c 1664s |      25 |  9353407 |  7448898 |     1930   9120 |        0 |        0
1665.80/1666.36	c 1666s |      25 |  9361096 |  7455698 |     1930   9127 |        0 |        0
1667.81/1668.37	c 1668s |      25 |  9369302 |  7462598 |     1930   9134 |        0 |        0
1669.81/1670.40	c 1670s |      25 |  9378543 |  7470098 |     1930   9141 |        0 |        0
1671.91/1672.42	c 1672s |      25 |  9387272 |  7477498 |     1930   9149 |        0 |        0
1673.91/1674.42	c 1674s |      25 |  9395739 |  7484798 |     1930   9156 |        0 |        0
1675.91/1676.43	c 1676s |      25 |  9404926 |  7492198 |     1930   9163 |        0 |        0
1677.91/1678.44	c 1678s |      25 |  9415140 |  7499998 |     1930   9171 |        0 |        0
1679.91/1680.46	c 1680s |      25 |  9424368 |  7507498 |     1930   9179 |        0 |        0
1681.91/1682.49	c 1682s |      25 |  9435480 |  7515898 |     1930   9187 |        0 |        0
1683.91/1684.50	c 1684s |      25 |  9445872 |  7523998 |     1930   9195 |        0 |        0
1686.00/1686.52	c 1686s |      25 |  9456713 |  7532898 |     1930   9204 |        0 |        0
1688.00/1688.53	c 1688s |      25 |  9467210 |  7541098 |     1930   9212 |        0 |        0
1690.00/1690.55	c 1690s |      25 |  9476592 |  7548598 |     2123   9219 |        0 |        0
1692.00/1692.56	c 1692s |      25 |  9485449 |  7556098 |     2123   9226 |        0 |        0
1694.00/1694.58	c 1694s |      25 |  9494396 |  7563198 |     2123   9232 |        0 |        0
1696.01/1696.59	c 1696s |      25 |  9504757 |  7571498 |     2123   9240 |        0 |        0
1698.00/1698.59	c 1698s |      25 |  9512948 |  7578898 |     2123   9246 |        0 |        0
1700.10/1700.60	c 1700s |      25 |  9523470 |  7587098 |     2123   9254 |        0 |        0
1702.10/1702.60	c 1702s |      25 |  9533317 |  7594998 |     2123   9261 |        0 |        0
1702.71/1703.26	c 1703s |      26 |  9536564 |  7597752 |     2123   9263 |        0 |        0
1704.70/1705.27	c 1705s |      26 |  9547911 |  7605952 |     2123   9271 |        0 |        0
1706.70/1707.28	c 1707s |      26 |  9561091 |  7614352 |     2123   9278 |        0 |        0
1708.70/1709.30	c 1709s |      26 |  9573121 |  7622752 |     2123   9286 |        0 |        0
1710.80/1711.30	c 1711s |      26 |  9584052 |  7630552 |     2123   9293 |        0 |        0
1712.80/1713.31	c 1713s |      26 |  9595217 |  7639052 |     2123   9301 |        0 |        0
1714.80/1715.32	c 1715s |      26 |  9607300 |  7647652 |     2123   9308 |        0 |        0
1716.80/1717.35	c 1717s |      26 |  9620095 |  7656452 |     2123   9316 |        0 |        0
1718.80/1719.36	c 1719s |      26 |  9631499 |  7664952 |     2123   9324 |        0 |        0
1720.80/1721.38	c 1721s |      26 |  9644156 |  7673952 |     2123   9332 |        0 |        0
1722.90/1723.40	c 1723s |      26 |  9658363 |  7683352 |     2123   9341 |        0 |        0
1724.89/1725.41	c 1725s |      26 |  9673277 |  7692952 |     2123   9349 |        0 |        0
1726.90/1727.43	c 1727s |      26 |  9688395 |  7702852 |     2123   9358 |        0 |        0
1728.89/1729.45	c 1729s |      26 |  9702576 |  7712852 |     2123   9367 |        0 |        0
1730.89/1731.46	c 1731s |      26 |  9717057 |  7722752 |     2123   9376 |        0 |        0
1732.89/1733.46	c 1733s |      26 |  9729602 |  7731452 |     2123   9384 |        0 |        0
1734.89/1735.48	c 1735s |      26 |  9742758 |  7740252 |     2123   9392 |        0 |        0
1736.99/1737.50	c 1737s |      26 |  9756293 |  7749252 |     2123   9400 |        0 |        0
1739.00/1739.52	c 1739s |      26 |  9770204 |  7758452 |     2123   9409 |        0 |        0
1740.99/1741.54	c 1741s |      26 |  9783443 |  7767652 |     2123   9417 |        0 |        0
1742.99/1743.54	c 1743s |      26 |  9797293 |  7776852 |     2123   9425 |        0 |        0
1744.99/1745.54	c 1745s |      26 |  9810273 |  7785752 |     2123   9434 |        0 |        0
1746.99/1747.55	c 1747s |      26 |  9823773 |  7794352 |     2123   9441 |        0 |        0
1748.99/1749.57	c 1749s |      26 |  9838786 |  7803852 |     2123   9450 |        0 |        0
1751.00/1751.58	c 1751s |      26 |  9851777 |  7812652 |     2123   9458 |        0 |        0
1752.99/1753.59	c 1753s |      26 |  9865171 |  7821452 |     2123   9466 |        0 |        0
1754.99/1755.60	c 1755s |      26 |  9875589 |  7829852 |     2123   9473 |        0 |        0
1757.09/1757.60	c 1757s |      26 |  9887306 |  7838252 |     2123   9481 |        0 |        0
1759.09/1759.60	c 1759s |      26 |  9900783 |  7847352 |     2123   9489 |        0 |        0
1761.09/1761.62	c 1761s |      26 |  9914266 |  7856152 |     2123   9497 |        0 |        0
1763.09/1763.63	c 1763s |      26 |  9926290 |  7864552 |     2123   9505 |        0 |        0
1765.09/1765.63	c 1765s |      26 |  9938974 |  7873052 |     2123   9513 |        0 |        0
1767.09/1767.64	c 1767s |      26 |  9951764 |  7881552 |     2123   9520 |        0 |        0
1769.09/1769.64	c 1769s |      26 |  9962663 |  7889952 |     2123   9528 |        0 |        0
1771.08/1771.66	c 1771s |      26 |  9975072 |  7898852 |     2123   9536 |        0 |        0
1773.10/1773.67	c 1773s |      26 |  9985493 |  7906952 |     2123   9543 |        0 |        0
1775.09/1775.67	c 1775s |      26 |  9996603 |  7915352 |     2123   9551 |        0 |        0
1777.09/1777.68	c 1777s |      26 | 10007011 |  7923452 |     2123   9558 |        0 |        0
1779.19/1779.70	c 1779s |      26 | 10018354 |  7931352 |     2123   9566 |        0 |        0
1781.19/1781.71	c 1781s |      26 | 10029408 |  7940152 |     2123   9574 |        0 |        0
1783.19/1783.72	c 1783s |      26 | 10039436 |  7948352 |     2123   9581 |        0 |        0
1785.20/1785.75	c 1785s |      26 | 10049640 |  7956452 |     2123   9588 |        0 |        0
1787.19/1787.76	c 1787s |      26 | 10061211 |  7964952 |     2123   9596 |        0 |        0
1789.19/1789.76	c 1789s |      26 | 10073012 |  7974052 |     2123   9604 |        0 |        0
1791.19/1791.78	c 1791s |      26 | 10084629 |  7983052 |     2123   9613 |        0 |        0
1793.19/1793.78	c 1793s |      26 | 10095543 |  7991652 |     2123   9620 |        0 |        0
1795.19/1795.79	c 1795s |      26 | 10105304 |  7999552 |     2123   9628 |        0 |        0
1797.29/1797.81	c 1797s |      26 | 10115763 |  8007952 |     2123   9635 |        0 |        0
1799.29/1799.83	c 1799s |      26 | 10126405 |  8016252 |     2123   9643 |        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-4096078-1466101813/watcher-4096078-1466101813 -o /tmp/evaluation-result-4096078-1466101813/solver-4096078-1466101813 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466098211-20848 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096078-1466101813.opb 

pid=21163
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.25 2.23 2.24 2/175 21169
/proc/meminfo: memFree=30327204/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=515516 CPUtime=0 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 1886 0 0 0 0 0 0 0 20 0 4 0 12227766 527888384 2757 33554432000 4194304 16246674 140737115018112 140737115017536 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21169/statm: 128879 2757 441 2943 0 125773 0
[pid=21169/tid=21170] ppid=21163 vsize=523708 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 536276992 2789 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=525756 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 538374144 2799 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=529852 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 542568448 2814 33554432000 4194304 16246674 140737115018112 140702725958832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.25 2.23 2.24 2/175 21169
/proc/meminfo: memFree=30327204/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 22009 0 0 0 5 3 0 0 20 0 4 0 12227766 1247350784 22869 33554432000 4194304 16246674 140737115018112 140737115001104 5587389 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21169/statm: 304529 22878 713 2943 0 301423 0
[pid=21169/tid=21170] ppid=21163 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1247350784 22884 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1247350784 22890 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1247350784 22895 33554432000 4194304 16246674 140737115018112 140702725958832 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.200454 s]
/proc/loadavg: 2.25 2.23 2.24 2/175 21169
/proc/meminfo: memFree=30327204/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 43742 0 0 0 12 7 0 0 20 0 4 0 12227766 1247350784 44602 33554432000 4194304 16246674 140737115018112 140737115001104 12875570 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21169/statm: 304529 44613 713 2943 0 301423 0
[pid=21169/tid=21170] ppid=21163 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1247350784 44618 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1247350784 44624 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1247350784 44629 33554432000 4194304 16246674 140737115018112 140702725958832 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.607498 s]
/proc/loadavg: 2.25 2.23 2.24 2/175 21169
/proc/meminfo: memFree=30327204/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1218116 CPUtime=0.59 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 136995 0 0 0 40 19 0 0 20 0 4 0 12227766 1247350784 137855 33554432000 4194304 16246674 140737115018112 140737115000000 5523634 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21169/statm: 304529 137862 713 2943 0 301423 0
[pid=21169/tid=21170] ppid=21163 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1247350784 137867 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1247350784 137874 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1247350784 137883 33554432000 4194304 16246674 140737115018112 140702725958832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 1218116

[startup+0.700422 s]
/proc/loadavg: 2.25 2.23 2.24 2/175 21169
/proc/meminfo: memFree=30327204/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 158236 0 0 0 46 22 0 0 20 0 4 0 12227766 1247350784 159096 33554432000 4194304 16246674 140737115018112 140737115000000 13965592 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21169/statm: 304529 159104 713 2943 0 301423 0
[pid=21169/tid=21170] ppid=21163 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1247350784 159107 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1247350784 159112 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1247350784 159116 33554432000 4194304 16246674 140737115018112 140702725958832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50772 s]
/proc/loadavg: 2.25 2.23 2.24 3/186 21193
/proc/meminfo: memFree=28358892/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 245615 0 0 0 115 34 0 0 20 0 4 0 12227766 1248399360 246455 33554432000 4194304 16246674 140737115018112 140737115000880 13963975 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21169/statm: 304785 246455 788 2943 0 301679 0
[pid=21169/tid=21170] ppid=21163 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1248399360 246455 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1248399360 246455 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1248399360 246455 33554432000 4194304 16246674 140737115018112 140702725958832 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) 1219140

[startup+3.10042 s]
/proc/loadavg: 2.23 2.22 2.23 3/186 21193
/proc/meminfo: memFree=28184920/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 267378 0 0 0 271 38 0 0 20 0 4 0 12227766 1337528320 268218 33554432000 4194304 16246674 140737115018112 140737115000000 6012032 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21169/statm: 326545 268218 788 2943 0 323439 0
[pid=21169/tid=21170] ppid=21163 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1337528320 268218 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1337528320 268218 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1337528320 268218 33554432000 4194304 16246674 140737115018112 140702725958832 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.3004 s]
/proc/loadavg: 2.23 2.22 2.23 3/186 21193
/proc/meminfo: memFree=28183148/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 267503 0 0 0 591 38 0 0 20 0 4 0 12227766 1337528320 268343 33554432000 4194304 16246674 140737115018112 140737115000000 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21169/statm: 326545 268343 790 2943 0 323439 0
[pid=21169/tid=21170] ppid=21163 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1337528320 268343 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1337528320 268343 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1337528320 268343 33554432000 4194304 16246674 140737115018112 140702725958832 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.20 2.21 2.23 3/186 21193
/proc/meminfo: memFree=28182868/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 267514 0 0 0 1230 38 0 0 20 0 4 0 12227766 1337528320 268354 33554432000 4194304 16246674 140737115018112 140737115000000 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21169/statm: 326545 268354 790 2943 0 323439 0
[pid=21169/tid=21170] ppid=21163 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1337528320 268354 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1337528320 268354 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1337528320 268354 33554432000 4194304 16246674 140737115018112 140702725958832 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.5004 s]
/proc/loadavg: 2.17 2.21 2.23 3/186 21193
/proc/meminfo: memFree=28183416/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 267562 0 0 0 2510 38 0 0 20 0 4 0 12227766 1337528320 268402 33554432000 4194304 16246674 140737115018112 140737115000000 12466718 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21169/statm: 326545 268402 791 2943 0 323439 0
[pid=21169/tid=21170] ppid=21163 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1337528320 268402 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1337528320 268402 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1337528320 268402 33554432000 4194304 16246674 140737115018112 140702725958832 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.1004 s]
/proc/loadavg: 2.26 2.22 2.23 3/185 21193
/proc/meminfo: memFree=28182820/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 267600 0 0 0 5069 39 0 0 20 0 4 0 12227766 1338576896 268440 33554432000 4194304 16246674 140737115018112 140737115000000 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21169/statm: 326801 268440 791 2943 0 323695 0
[pid=21169/tid=21170] ppid=21163 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1338576896 268440 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1338576896 268440 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1338576896 268440 33554432000 4194304 16246674 140737115018112 140702725958832 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) 1307204

[startup+102.3 s]
/proc/loadavg: 2.17 2.20 2.22 3/185 21195
/proc/meminfo: memFree=28181628/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1307204 CPUtime=102.27 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 267759 0 0 0 10187 40 0 0 20 0 4 0 12227766 1338576896 268599 33554432000 4194304 16246674 140737115018112 140737115000000 12875026 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21169/statm: 326801 268599 791 2943 0 323695 0
[pid=21169/tid=21170] ppid=21163 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1338576896 268599 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1338576896 268599 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1338576896 268599 33554432000 4194304 16246674 140737115018112 140702725958832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1340674048 269186 33554432000 4194304 16246674 140737115018112 140702725958832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1309252

[startup+1362.3 s]
/proc/loadavg: 2.41 2.32 2.23 3/185 21226
/proc/meminfo: memFree=28171708/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1309252 CPUtime=1361.85 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 268791 0 0 0 136132 53 0 0 20 0 4 0 12227766 1340674048 269186 33554432000 4194304 16246674 140737115018112 140737115001112 6012004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21169/statm: 327313 269186 793 2943 0 324207 0
[pid=21169/tid=21170] ppid=21163 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1340674048 269186 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1340674048 269186 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1340674048 269186 33554432000 4194304 16246674 140737115018112 140702725958832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1309252

[startup+1422.3 s]
/proc/loadavg: 2.53 2.37 2.25 3/185 21227
/proc/meminfo: memFree=28171536/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1309252 CPUtime=1421.84 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 268791 0 0 0 142130 54 0 0 20 0 4 0 12227766 1340674048 269186 33554432000 4194304 16246674 140737115018112 140737115000000 5717450 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21169/statm: 327313 269186 793 2943 0 324207 0
[pid=21169/tid=21170] ppid=21163 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1340674048 269186 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1340674048 269186 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1340674048 269186 33554432000 4194304 16246674 140737115018112 140702725958832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1309252

[startup+1482.3 s]
/proc/loadavg: 2.34 2.35 2.25 3/185 21228
/proc/meminfo: memFree=28171900/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1309252 CPUtime=1481.83 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 268791 0 0 0 148129 54 0 0 20 0 4 0 12227766 1340674048 269186 33554432000 4194304 16246674 140737115018112 140737115000000 5672374 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21169/statm: 327313 269186 793 2943 0 324207 0
[pid=21169/tid=21170] ppid=21163 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1340674048 269186 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1340674048 269186 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1340674048 269186 33554432000 4194304 16246674 140737115018112 140702725958832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1309252

[startup+1542.3 s]
/proc/loadavg: 2.38 2.36 2.26 3/185 21229
/proc/meminfo: memFree=28170428/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1311300 CPUtime=1541.82 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 269125 0 0 0 154128 54 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140737115000000 5676361 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21169/statm: 327825 269520 793 2943 0 324719 0
[pid=21169/tid=21170] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702725958832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1311300

[startup+1602.3 s]
/proc/loadavg: 2.22 2.32 2.25 4/185 21231
/proc/meminfo: memFree=28170504/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1311300 CPUtime=1601.81 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 269125 0 0 0 160126 55 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140737115000000 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21169/statm: 327825 269520 793 2943 0 324719 0
[pid=21169/tid=21170] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702725958832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1311300

[startup+1662.3 s]
/proc/loadavg: 2.24 2.30 2.25 3/185 21232
/proc/meminfo: memFree=28170264/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1311300 CPUtime=1661.8 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 269125 0 0 0 166125 55 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140737115000000 5589756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21169/statm: 327825 269520 793 2943 0 324719 0
[pid=21169/tid=21170] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702725958832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1311300

[startup+1722.3 s]
/proc/loadavg: 2.19 2.28 2.24 3/185 21233
/proc/meminfo: memFree=28170100/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1311300 CPUtime=1721.8 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 269125 0 0 0 172124 56 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140737115000000 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21169/statm: 327825 269520 793 2943 0 324719 0
[pid=21169/tid=21170] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702725958832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1311300

[startup+1782.3 s]
/proc/loadavg: 2.24 2.28 2.25 3/185 21234
/proc/meminfo: memFree=28169440/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1311300 CPUtime=1781.8 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 269125 0 0 0 178123 57 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140737115000000 6012071 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21169/statm: 327825 269520 793 2943 0 324719 0
[pid=21169/tid=21170] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702725958832 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) 1311300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.33 2.30 2.25 3/186 21237
/proc/meminfo: memFree=28169040/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1311300 CPUtime=1800.09 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 269125 0 0 0 179952 57 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140737115000000 6022252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21169/statm: 327825 269520 793 2943 0 324719 0
[pid=21169/tid=21170] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702725958832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1311300

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

[startup+1800.6 s]
/proc/loadavg: 2.33 2.30 2.25 3/186 21237
/proc/meminfo: memFree=28169040/32872528 swapFree=1481856/1661728
[pid=21169] ppid=21163 vsize=1311300 CPUtime=1800.09 cores=0,2,4,6
/proc/21169/stat : 21169 (toysat) R 21163 21169 20832 0 -1 4202496 269125 0 0 0 179952 57 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140737115000000 6022252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21169/statm: 327825 269520 793 2943 0 324719 0
[pid=21169/tid=21170] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21170/stat : 21170 (toysat) S 21163 21169 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702816120048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21169/tid=21171] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21171/stat : 21171 (toysat) S 21163 21169 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702805630192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21169/tid=21172] ppid=21163 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21169/task/21172/stat : 21172 (toysat) S 21163 21169 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227766 1342771200 269520 33554432000 4194304 16246674 140737115018112 140702725958832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1311300

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.53
CPU system time (s): 0.572912
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 1311300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.572912
maximum resident set size= 1078080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269125
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= 462
involuntary context switches= 1925

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.27435 second user time and 7.30489 second system time

The end

Begin job on node134 at 2016-06-16 20:30:13
IDJOB=4096078
IDBENCH=107563
IDSOLVER=2542
FILE ID=node134/4096078-1466101813
RUNJOBID= node134-1466098211-20848
PBS_JOBID= 19904059
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-eq-random4regular-65.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096078-1466101813/watcher-4096078-1466101813 -o /tmp/evaluation-result-4096078-1466101813/solver-4096078-1466101813 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466098211-20848 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096078-1466101813.opb

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

MD5SUM BENCH= e695ebd0bf0eb40be729ca1768b46fd9
RANDOM SEED=1746134395

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30327848 kB
Buffers:           39628 kB
Cached:           129776 kB
SwapCached:         8908 kB
Active:           104372 kB
Inactive:          75724 kB
Active(anon):       4736 kB
Inactive(anon):     8200 kB
Active(file):      99636 kB
Inactive(file):    67524 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67092044 kB
Dirty:             16368 kB
Writeback:             0 kB
AnonPages:       1811588 kB
Mapped:             7168 kB
Shmem:                 0 kB
Slab:             569232 kB
SReclaimable:      13312 kB
SUnreclaim:       555920 kB
KernelStack:        1544 kB
PageTables:         7440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1758528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    327680 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= 71688 MiB
End job on node134 at 2016-06-16 21:00:14