0.00/0.00	c 2016-06-18T21:49:59+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-4106859-1466279399.opb"]
0.00/0.01	c use --random-gen="2599771302 3262292574 2652387416 3188640071 2433934838 3056184971 2457300660 2561305564 2753485838 2344230437 2356101718 1260534091 1569907329 739162095 2266324147 3937654318 2933486169 240475482 3060334157 2359803318 3615085255 1088391828 2238036687 335448056 925257617 4016170337 4010391171 2011691488 4088892519 2192924638 3896085519 3634455772 688498918 2342295478 1430072341 1354340830 1239355935 1838518517 589143312 314400832 1631485619 1190968328 1738083426 401207566 1128056703 3101808576 1544927090 917999649 2305290092 3160087955 42047294 2197510166 2960205504 708141123 3726790832 902335586 1524286292 3709932830 2682583631 1870219456 254903556 3249369688 1221653571 2659770826 973649392 2673388991 346298388 660621255 2776469784 2556386996 1312619290 1188467731 1988615482 3841930326 2571854241 624849152 3316823904 1181335642 3855751817 671704974 3605110849 3211706575 309747100 1680668077 334568993 243366602 1023242403 2240309596 2828135549 1050370122 3644180903 2240608039 3302480266 369654604 3550332815 1411003084 621394013 1173951416 3968597109 1011172653 743901231 1786951947 428428286 403199189 3839841842 1031052653 219628641 1786281942 1517028444 2650397840 2163435607 653315451 1465472788 1873668359 3507087022 1462223329 3430931703 2068244023 1390639887 926054760 3369319221 1433883327 1770633677 2534950612 818115494 1721676614 4217968235 1764198178 3451047895 3275960503 2228856732 3255855949 1782422230 1319250509 285505886 2951922619 438428887 944899726 2229229858 22546934 1511968610 128399879 2389169890 2389781854 130224148 3803535328 3093761718 505603058 2242101388 1178845888 3294023186 1591119817 1298746138 3676814510 1716961660 3383324940 594669354 1947146338 2600760110 1722658064 2712675143 1977051342 2773060923 140464459 506887485 918984763 1561907208 1143921826 1716136590 2602533115 1222481595 3364059015 1364302299 1592151719 3109055211 1044577562 230221563 3808303977 2023216817 882054554 3749309977 1855285560 3333503120 2667836045 2469589704 1539243035 843942277 3473544292 3407173505 195673111 2439551658 433832478 150323543 952505343 3111226250 415499572 3430742703 881194868 3470493096 561376921 2159538870 4206706891 3388787100 4234119370 3135824052 2256334298 278975088 2708776416 3307233801 2650326660 3011594445 2778325633 195275642 2882132442 824281397 1128561506 2065186000 3645888167 3615982818 160668160 793978623 2729014282 1008866040 1105513037 1547368984 2196632400 1620438084 1819463330 281766567 3410113043 103886821 2945301215 373747975 1747989655 2671080751 4133472777 787976849 2102793310 1814584099 1569503646 1263511224 354567922 3278710371 1050784506 4206440422 2110814652 2364484259 3596119070 3355287865 2654417496 2619356653 291432353 3574462586 3862241453 259536388 3795145962 255 362436" option to reproduce the execution
0.00/0.03	c #vars 200
0.00/0.03	c #constraints 302
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.10	c  0.0s |       0 |        0 |        0 |     2193      0 |        0 |        0
0.09/0.14	c  0.0s |       1 |      221 |      100 |     2193      0 |        0 |        0
0.09/0.19	c  0.1s |       2 |     4086 |      250 |     2413      0 |        0 |        0
0.19/0.27	c  0.2s |       3 |     4720 |      475 |     2655      0 |        0 |        0
0.39/0.41	c  0.3s |       4 |     5270 |      813 |     2921      0 |        0 |        0
0.59/0.64	c  0.5s |       5 |     6090 |     1320 |     3214      0 |        0 |        0
0.88/0.95	c  0.9s |       6 |     7442 |     2081 |     3890      0 |        0 |        0
1.39/1.40	c  1.3s |       7 |     8974 |     3223 |     4279      0 |        0 |        0
1.99/2.07	c  2.0s |       8 |    11116 |     4936 |     4707      1 |        0 |        0
2.99/3.07	c  3.0s |       9 |    14547 |     7506 |     5178      2 |        0 |        0
4.39/4.43	c  4.3s |      10 |    19444 |    11361 |     5696      3 |        0 |        0
6.39/6.45	c  6.4s |      10 |    26224 |    16861 |     5696      5 |        0 |        0
6.49/6.54	c  6.4s |      11 |    26597 |    17144 |     6266      5 |        0 |        0
8.48/8.54	c  8.4s |      11 |    33579 |    22944 |     6266      7 |        0 |        0
9.48/9.51	c  9.4s |      12 |    37085 |    25819 |     6893      7 |        0 |        0
11.48/11.51	c 11.4s |      12 |    44641 |    31519 |     6893      9 |        0 |        0
13.49/13.52	c 13.4s |      12 |    53502 |    38119 |     6893     11 |        0 |        0
13.68/13.72	c 13.6s |      13 |    54463 |    38832 |     7583     11 |        0 |        0
15.69/15.75	c 15.6s |      13 |    60726 |    43932 |     7583     12 |        0 |        0
17.68/17.76	c 17.7s |      13 |    67617 |    49332 |     7583     14 |        0 |        0
19.68/19.76	c 19.7s |      13 |    76428 |    55732 |     7583     15 |        0 |        0
20.59/20.65	c 20.5s |      14 |    79745 |    58352 |     8342     16 |        0 |        0
22.59/22.65	c 22.6s |      14 |    86102 |    63052 |     8342     17 |        0 |        0
24.69/24.79	c 24.7s |      14 |    94404 |    69352 |     8342     18 |        0 |        0
26.78/26.82	c 26.7s |      14 |   102041 |    75052 |     8342     20 |        0 |        0
28.79/28.84	c 28.7s |      14 |   110994 |    81552 |     8342     21 |        0 |        0
30.78/30.86	c 30.8s |      14 |   118427 |    86852 |     8342     23 |        0 |        0
30.99/31.07	c 31.0s |      15 |   119584 |    87632 |     9177     23 |        0 |        0
32.98/33.07	c 33.0s |      15 |   125744 |    92732 |     9177     24 |        0 |        0
34.98/35.09	c 35.0s |      15 |   132226 |    98132 |     9177     25 |        0 |        0
37.08/37.12	c 37.0s |      15 |   139280 |   103832 |     9177     26 |        0 |        0
39.08/39.16	c 39.1s |      15 |   145051 |   108632 |     9177     27 |        0 |        0
41.09/41.17	c 41.1s |      15 |   150948 |   113632 |     9177     28 |        0 |        0
43.19/43.23	c 43.1s |      15 |   157877 |   118632 |     9177     29 |        0 |        0
45.18/45.25	c 45.2s |      15 |   165014 |   123932 |     9177     30 |        0 |        0
47.18/47.27	c 47.2s |      15 |   172111 |   129532 |     9177     32 |        0 |        0
47.78/47.87	c 47.8s |      16 |   174758 |   131552 |    10095     32 |        0 |        0
49.79/49.87	c 49.8s |      16 |   182824 |   136752 |    10095     33 |        0 |        0
51.89/51.91	c 51.8s |      16 |   190406 |   142452 |    10095     34 |        0 |        0
53.88/53.93	c 53.8s |      16 |   198251 |   148552 |    10095     35 |        0 |        0
55.88/55.94	c 55.8s |      16 |   204405 |   153152 |    10095     36 |        0 |        0
57.88/57.97	c 57.9s |      16 |   210651 |   158352 |    10095     37 |        0 |        0
59.88/59.98	c 59.9s |      16 |   218157 |   164052 |    10095     38 |        0 |        0
61.89/61.99	c 61.9s |      16 |   224854 |   169152 |    10095     39 |        0 |        0
63.99/64.03	c 63.9s |      16 |   231809 |   174552 |    10095     40 |        0 |        0
65.98/66.04	c 65.9s |      16 |   238684 |   179752 |    10095     41 |        0 |        0
67.98/68.05	c 68.0s |      16 |   244899 |   184052 |    10095     42 |        0 |        0
69.98/70.07	c 70.0s |      16 |   251504 |   189652 |    10095     43 |        0 |        0
71.97/72.09	c 72.0s |      16 |   258897 |   194652 |    10095     44 |        0 |        0
72.97/73.06	c 73.0s |      17 |   263067 |   197432 |    11105     45 |        0 |        0
74.98/75.07	c 75.0s |      17 |   269375 |   201532 |    11105     45 |        0 |        0
76.97/77.09	c 77.0s |      17 |   274975 |   206132 |    11105     46 |        0 |        0
78.97/79.09	c 79.0s |      17 |   279609 |   210232 |    11105     47 |        0 |        0
81.77/81.89	c 81.8s |      17 |   284302 |   214332 |    11105     48 |        0 |        0
83.88/83.91	c 83.8s |      17 |   289804 |   218932 |    11105     49 |        0 |        0
85.98/86.07	c 86.0s |      17 |   295398 |   223232 |    11105     49 |        0 |        0
87.97/88.09	c 88.0s |      17 |   301241 |   228032 |    11105     50 |        0 |        0
89.97/90.09	c 90.0s |      17 |   306925 |   232732 |    11105     51 |        0 |        0
92.07/92.11	c 92.0s |      17 |   313907 |   238232 |    11105     52 |        0 |        0
94.07/94.11	c 94.0s |      17 |   317881 |   241232 |    11105     53 |        0 |        0
96.08/96.13	c 96.0s |      17 |   324016 |   246332 |    11105     53 |        0 |        0
98.18/98.25	c 98.2s |      17 |   330281 |   251432 |    11105     54 |        0 |        0
100.18/100.25	c  100s |      17 |   335546 |   255732 |    11105     55 |        0 |        0
102.28/102.31	c  102s |      17 |   341866 |   260832 |    11105     56 |        0 |        0
104.78/104.89	c  104s |      17 |   347787 |   264832 |    11105     57 |        0 |        0
106.77/106.90	c  106s |      17 |   354539 |   270132 |    11105     58 |        0 |        0
108.87/108.91	c  108s |      17 |   360926 |   275332 |    11105     59 |        0 |        0
110.87/110.96	c  110s |      17 |   367182 |   279432 |    11105     59 |        0 |        0
112.87/112.98	c  112s |      17 |   374115 |   284732 |    11105     60 |        0 |        0
114.87/114.98	c  114s |      17 |   379011 |   287832 |    11105     61 |        0 |        0
116.88/116.99	c  116s |      17 |   388140 |   294232 |    12216     62 |        0 |        0
117.88/117.91	c  117s |      18 |   391386 |   296252 |    12216     62 |        0 |        0
119.87/119.91	c  119s |      18 |   396526 |   300352 |    12216     63 |        0 |        0
121.87/121.92	c  121s |      18 |   401744 |   304652 |    12216     64 |        0 |        0
123.87/123.97	c  123s |      18 |   407434 |   308552 |    12216     64 |        0 |        0
125.87/126.00	c  125s |      18 |   412893 |   312952 |    12216     65 |        0 |        0
128.07/128.14	c  128s |      18 |   418901 |   317652 |    12216     66 |        0 |        0
130.08/130.15	c  130s |      18 |   425153 |   322452 |    12216     66 |        0 |        0
132.07/132.17	c  132s |      18 |   431134 |   326052 |    12216     67 |        0 |        0
134.17/134.20	c  134s |      18 |   439030 |   331152 |    12216     68 |        0 |        0
136.17/136.26	c  136s |      18 |   445099 |   335552 |    12216     69 |        0 |        0
138.17/138.27	c  138s |      18 |   451769 |   340552 |    12216     69 |        0 |        0
140.16/140.29	c  140s |      18 |   458573 |   344752 |    12216     70 |        0 |        0
142.26/142.30	c  142s |      18 |   464920 |   349452 |    12216     71 |        0 |        0
144.27/144.35	c  144s |      18 |   470088 |   353652 |    12216     72 |        0 |        0
146.26/146.38	c  146s |      18 |   476239 |   358552 |    12216     72 |        0 |        0
148.36/148.40	c  148s |      18 |   482259 |   363252 |    12216     73 |        0 |        0
150.36/150.41	c  150s |      18 |   488735 |   368252 |    12216     74 |        0 |        0
152.37/152.43	c  152s |      18 |   491867 |   370652 |    12216     74 |        0 |        0
154.37/154.44	c  154s |      18 |   497989 |   374852 |    12216     75 |        0 |        0
156.37/156.44	c  156s |      18 |   504019 |   379752 |    12216     76 |        0 |        0
159.06/159.19	c  159s |      18 |   511463 |   384952 |    12216     77 |        0 |        0
161.16/161.21	c  161s |      18 |   517530 |   390052 |    12216     77 |        0 |        0
163.16/163.24	c  163s |      18 |   523464 |   394252 |    12216     78 |        0 |        0
165.17/165.24	c  165s |      18 |   529205 |   399052 |    12216     79 |        0 |        0
167.16/167.25	c  167s |      18 |   536238 |   403852 |    12216     80 |        0 |        0
169.16/169.26	c  169s |      18 |   542932 |   408952 |    12216     81 |        0 |        0
171.16/171.27	c  171s |      18 |   548788 |   412652 |    12216     81 |        0 |        0
173.26/173.30	c  173s |      18 |   555367 |   417752 |    12216     82 |        0 |        0
175.26/175.33	c  175s |      18 |   561927 |   422852 |    12216     83 |        0 |        0
177.27/177.36	c  177s |      18 |   569067 |   428152 |    12216     84 |        0 |        0
179.26/179.37	c  179s |      18 |   575287 |   431552 |    12216     84 |        0 |        0
181.36/181.41	c  181s |      18 |   581632 |   436352 |    12216     85 |        0 |        0
183.36/183.42	c  183s |      18 |   588114 |   441252 |    12216     86 |        0 |        0
184.76/184.88	c  184s |      19 |   592267 |   444482 |    13438     86 |        0 |        0
186.86/186.92	c  186s |      19 |   598726 |   448782 |    13438     87 |        0 |        0
188.86/188.93	c  188s |      19 |   603927 |   452782 |    13438     87 |        0 |        0
190.86/190.95	c  190s |      19 |   609481 |   457082 |    13438     88 |        0 |        0
192.85/192.98	c  192s |      19 |   615201 |   460782 |    13438     89 |        0 |        0
194.96/195.01	c  194s |      19 |   621084 |   465082 |    13438     89 |        0 |        0
196.95/197.04	c  196s |      19 |   626001 |   468782 |    13438     90 |        0 |        0
198.95/199.05	c  198s |      19 |   632297 |   473582 |    13438     90 |        0 |        0
200.95/201.08	c  200s |      19 |   639242 |   478182 |    13438     91 |        0 |        0
202.96/203.09	c  202s |      19 |   644073 |   481882 |    13438     92 |        0 |        0
205.06/205.13	c  205s |      19 |   650452 |   486682 |    13438     92 |        0 |        0
207.07/207.16	c  207s |      19 |   657113 |   491782 |    13438     93 |        0 |        0
209.06/209.18	c  209s |      19 |   663312 |   496682 |    13438     94 |        0 |        0
211.26/211.39	c  211s |      19 |   669562 |   501082 |    13438     94 |        0 |        0
213.36/213.41	c  213s |      19 |   675191 |   505582 |    13438     95 |        0 |        0
215.36/215.42	c  215s |      19 |   681330 |   510382 |    13438     96 |        0 |        0
217.36/217.44	c  217s |      19 |   686781 |   514082 |    13438     96 |        0 |        0
219.36/219.47	c  219s |      19 |   693175 |   518882 |    13438     97 |        0 |        0
221.36/221.47	c  221s |      19 |   699446 |   522482 |    13438     98 |        0 |        0
223.46/223.51	c  223s |      19 |   706022 |   527382 |    13438     98 |        0 |        0
225.45/225.51	c  225s |      19 |   712450 |   532182 |    13438     99 |        0 |        0
227.45/227.54	c  227s |      19 |   718027 |   536482 |    13438    100 |        0 |        0
229.45/229.54	c  229s |      19 |   724385 |   541082 |    13438    100 |        0 |        0
231.45/231.57	c  231s |      19 |   731155 |   545982 |    13438    101 |        0 |        0
233.46/233.58	c  233s |      19 |   737847 |   551182 |    13438    102 |        0 |        0
235.45/235.59	c  235s |      19 |   744650 |   555982 |    13438    103 |        0 |        0
237.45/237.59	c  237s |      19 |   751531 |   560382 |    13438    103 |        0 |        0
239.55/239.60	c  239s |      19 |   758842 |   565282 |    13438    104 |        0 |        0
241.55/241.62	c  241s |      19 |   764530 |   569282 |    13438    105 |        0 |        0
243.55/243.64	c  243s |      19 |   771076 |   574382 |    13438    105 |        0 |        0
245.55/245.67	c  245s |      19 |   777352 |   579082 |    13438    106 |        0 |        0
247.55/247.68	c  247s |      19 |   782613 |   583282 |    13438    107 |        0 |        0
249.65/249.71	c  249s |      19 |   788717 |   587982 |    13438    107 |        0 |        0
251.65/251.72	c  251s |      19 |   794655 |   591882 |    13438    108 |        0 |        0
253.65/253.76	c  253s |      19 |   800711 |   596282 |    13438    109 |        0 |        0
255.65/255.76	c  255s |      19 |   807074 |   601082 |    13438    109 |        0 |        0
257.75/257.80	c  257s |      19 |   813949 |   605882 |    13438    110 |        0 |        0
259.76/259.84	c  259s |      19 |   820063 |   609582 |    13438    111 |        0 |        0
261.75/261.88	c  261s |      19 |   826110 |   614282 |    13438    111 |        0 |        0
263.85/263.96	c  263s |      19 |   831717 |   618582 |    13438    112 |        0 |        0
265.95/266.09	c  265s |      19 |   837496 |   623082 |    13438    113 |        0 |        0
268.05/268.11	c  268s |      19 |   841704 |   625982 |    13438    113 |        0 |        0
270.05/270.11	c  270s |      19 |   847350 |   630482 |    13438    114 |        0 |        0
272.05/272.12	c  272s |      19 |   852388 |   633982 |    13438    114 |        0 |        0
274.06/274.12	c  274s |      19 |   857979 |   638382 |    13438    115 |        0 |        0
276.05/276.13	c  276s |      19 |   864323 |   643282 |    13438    116 |        0 |        0
278.05/278.17	c  278s |      19 |   870184 |   647182 |    13438    116 |        0 |        0
280.05/280.17	c  280s |      19 |   876279 |   651782 |    13438    117 |        0 |        0
282.25/282.30	c  282s |      19 |   883935 |   657082 |    13438    118 |        0 |        0
284.25/284.33	c  284s |      19 |   890583 |   661282 |    13438    118 |        0 |        0
286.25/286.37	c  286s |      19 |   896158 |   665682 |    14782    119 |        0 |        0
286.75/286.82	c  286s |      20 |   897498 |   666827 |    14782    119 |        0 |        0
288.75/288.83	c  288s |      20 |   903175 |   670527 |    14782    119 |        0 |        0
290.75/290.85	c  290s |      20 |   908602 |   674427 |    14782    120 |        0 |        0
292.75/292.88	c  292s |      20 |   914072 |   678727 |    14782    120 |        0 |        0
295.54/295.67	c  295s |      20 |   918938 |   682327 |    14782    121 |        0 |        0
297.54/297.68	c  297s |      20 |   924026 |   686527 |    14782    121 |        0 |        0
299.54/299.69	c  299s |      20 |   928792 |   690527 |    14782    122 |        0 |        0
301.65/301.75	c  301s |      20 |   934380 |   694927 |    14782    123 |        0 |        0
303.85/303.97	c  303s |      20 |   936674 |   696527 |    14782    123 |        0 |        0
305.95/306.04	c  305s |      20 |   941570 |   700627 |    14782    123 |        0 |        0
307.94/308.07	c  307s |      20 |   946150 |   704527 |    14782    124 |        0 |        0
309.94/310.09	c  309s |      20 |   951903 |   709327 |    14782    124 |        0 |        0
312.55/312.67	c  312s |      20 |   956450 |   713027 |    14782    125 |        0 |        0
314.55/314.69	c  314s |      20 |   960496 |   716627 |    14782    125 |        0 |        0
316.64/316.70	c  316s |      20 |   965283 |   720627 |    14782    126 |        0 |        0
318.64/318.75	c  318s |      20 |   970222 |   724627 |    14782    127 |        0 |        0
320.74/320.80	c  320s |      20 |   975560 |   729127 |    14782    127 |        0 |        0
322.74/322.82	c  322s |      20 |   980238 |   733127 |    14782    128 |        0 |        0
325.44/325.50	c  325s |      20 |   983650 |   735727 |    14782    128 |        0 |        0
327.44/327.53	c  327s |      20 |   988968 |   740027 |    14782    129 |        0 |        0
329.44/329.54	c  329s |      20 |   995156 |   744927 |    14782    129 |        0 |        0
331.54/331.63	c  331s |      20 |   999904 |   748827 |    14782    130 |        0 |        0
333.54/333.64	c  333s |      20 |  1004948 |   752827 |    14782    130 |        0 |        0
335.54/335.65	c  335s |      20 |  1011729 |   757927 |    14782    131 |        0 |        0
337.54/337.66	c  337s |      20 |  1016375 |   761127 |    14782    131 |        0 |        0
339.73/339.82	c  339s |      20 |  1018930 |   763227 |    14782    132 |        0 |        0
341.73/341.83	c  341s |      20 |  1027011 |   768027 |    14782    132 |        0 |        0
343.73/343.84	c  343s |      20 |  1031469 |   771627 |    14782    133 |        0 |        0
345.73/345.87	c  345s |      20 |  1038214 |   776827 |    14782    133 |        0 |        0
347.75/347.89	c  347s |      20 |  1040848 |   778327 |    14782    134 |        0 |        0
349.84/349.91	c  349s |      20 |  1046407 |   782627 |    14782    134 |        0 |        0
351.84/351.96	c  351s |      20 |  1051982 |   786627 |    14782    135 |        0 |        0
353.84/353.99	c  353s |      20 |  1057665 |   790827 |    14782    135 |        0 |        0
355.94/356.03	c  355s |      20 |  1063822 |   795327 |    14782    136 |        0 |        0
357.94/358.03	c  357s |      20 |  1067969 |   798127 |    14782    136 |        0 |        0
359.94/360.07	c  359s |      20 |  1073910 |   802627 |    14782    137 |        0 |        0
361.94/362.08	c  361s |      20 |  1079997 |   807027 |    14782    138 |        0 |        0
364.04/364.10	c  363s |      20 |  1086442 |   811927 |    14782    138 |        0 |        0
366.33/366.43	c  366s |      20 |  1091264 |   814927 |    14782    139 |        0 |        0
368.33/368.47	c  368s |      20 |  1095625 |   817827 |    14782    139 |        0 |        0
370.43/370.51	c  370s |      20 |  1100321 |   821727 |    14782    140 |        0 |        0
372.43/372.55	c  372s |      20 |  1106428 |   826127 |    14782    140 |        0 |        0
374.43/374.59	c  374s |      20 |  1111078 |   829627 |    14782    141 |        0 |        0
376.53/376.60	c  376s |      20 |  1117360 |   834527 |    14782    141 |        0 |        0
378.54/378.63	c  378s |      20 |  1124588 |   839627 |    14782    142 |        0 |        0
380.53/380.67	c  380s |      20 |  1129311 |   843227 |    14782    142 |        0 |        0
382.53/382.67	c  382s |      20 |  1135013 |   847227 |    14782    143 |        0 |        0
384.63/384.76	c  384s |      20 |  1141557 |   851627 |    14782    144 |        0 |        0
386.63/386.76	c  386s |      20 |  1147251 |   855927 |    14782    144 |        0 |        0
388.72/388.80	c  388s |      20 |  1152316 |   860027 |    14782    145 |        0 |        0
390.74/390.81	c  390s |      20 |  1158708 |   864827 |    14782    145 |        0 |        0
392.73/392.82	c  392s |      20 |  1164437 |   869127 |    14782    146 |        0 |        0
394.73/394.87	c  394s |      20 |  1170124 |   873527 |    14782    146 |        0 |        0
396.83/396.90	c  396s |      20 |  1175958 |   878027 |    14782    147 |        0 |        0
399.23/399.34	c  399s |      20 |  1180444 |   881427 |    14782    148 |        0 |        0
401.23/401.35	c  401s |      20 |  1187640 |   886127 |    14782    148 |        0 |        0
403.53/403.67	c  403s |      20 |  1194309 |   891027 |    14782    149 |        0 |        0
405.53/405.68	c  405s |      20 |  1201990 |   895827 |    14782    149 |        0 |        0
407.53/407.69	c  407s |      20 |  1207738 |   900127 |    14782    150 |        0 |        0
409.63/409.72	c  409s |      20 |  1213816 |   904727 |    14782    151 |        0 |        0
411.63/411.73	c  411s |      20 |  1219316 |   908827 |    14782    151 |        0 |        0
413.63/413.75	c  413s |      20 |  1224112 |   912727 |    14782    152 |        0 |        0
415.63/415.76	c  415s |      20 |  1229259 |   916827 |    14782    152 |        0 |        0
417.63/417.77	c  417s |      20 |  1234112 |   920227 |    14782    153 |        0 |        0
419.63/419.79	c  419s |      20 |  1240246 |   924927 |    14782    153 |        0 |        0
421.62/421.79	c  421s |      20 |  1245021 |   928727 |    14782    154 |        0 |        0
423.82/423.93	c  423s |      20 |  1250671 |   933227 |    14782    155 |        0 |        0
425.93/426.09	c  425s |      20 |  1256923 |   937827 |    14782    155 |        0 |        0
427.92/428.09	c  427s |      20 |  1261670 |   941027 |    14782    156 |        0 |        0
430.02/430.12	c  430s |      20 |  1267286 |   945227 |    14782    156 |        0 |        0
432.02/432.16	c  432s |      20 |  1272734 |   949227 |    14782    157 |        0 |        0
434.02/434.19	c  434s |      20 |  1278775 |   953727 |    14782    157 |        0 |        0
436.52/436.62	c  436s |      20 |  1284344 |   957527 |    14782    158 |        0 |        0
438.52/438.63	c  438s |      20 |  1289240 |   961527 |    14782    158 |        0 |        0
440.52/440.66	c  440s |      20 |  1295156 |   966027 |    14782    159 |        0 |        0
443.02/443.16	c  443s |      20 |  1301332 |   970427 |    14782    160 |        0 |        0
445.02/445.16	c  445s |      20 |  1307599 |   975027 |    14782    160 |        0 |        0
447.02/447.20	c  447s |      20 |  1310414 |   977027 |    14782    160 |        0 |        0
449.12/449.27	c  449s |      20 |  1316073 |   981327 |    14782    161 |        0 |        0
451.22/451.34	c  451s |      20 |  1320675 |   985227 |    14782    162 |        0 |        0
453.32/453.41	c  453s |      20 |  1327296 |   990127 |    14782    162 |        0 |        0
455.53/455.62	c  455s |      20 |  1331132 |   993227 |    16261    163 |        0 |        0
457.52/457.67	c  457s |      20 |  1336155 |   997227 |    16261    163 |        0 |        0
459.22/459.35	c  459s |      21 |  1339832 |  1000345 |    16261    163 |        0 |        0
461.52/461.68	c  461s |      21 |  1344599 |  1003945 |    16261    164 |        0 |        0
463.62/463.73	c  463s |      21 |  1349576 |  1008045 |    16261    164 |        0 |        0
465.62/465.73	c  465s |      21 |  1353770 |  1011145 |    16261    165 |        0 |        0
467.63/467.79	c  467s |      21 |  1359608 |  1015745 |    16261    165 |        0 |        0
469.72/469.82	c  469s |      21 |  1363868 |  1019545 |    16261    166 |        0 |        0
471.72/471.84	c  471s |      21 |  1366729 |  1022145 |    16261    166 |        0 |        0
473.72/473.85	c  473s |      21 |  1371700 |  1026045 |    16261    166 |        0 |        0
475.72/475.86	c  475s |      21 |  1377263 |  1030045 |    16261    167 |        0 |        0
477.72/477.89	c  477s |      21 |  1382130 |  1034045 |    16261    167 |        0 |        0
479.73/479.90	c  479s |      21 |  1386724 |  1037445 |    16261    168 |        0 |        0
481.82/481.95	c  481s |      21 |  1392905 |  1042145 |    16261    168 |        0 |        0
484.12/484.26	c  484s |      21 |  1396323 |  1044545 |    16261    169 |        0 |        0
486.12/486.30	c  486s |      21 |  1399968 |  1047245 |    16261    169 |        0 |        0
488.22/488.30	c  488s |      21 |  1405102 |  1051545 |    16261    170 |        0 |        0
490.22/490.32	c  490s |      21 |  1409369 |  1055145 |    16261    170 |        0 |        0
492.22/492.33	c  492s |      21 |  1413693 |  1058845 |    16261    171 |        0 |        0
494.21/494.35	c  494s |      21 |  1417017 |  1061545 |    16261    171 |        0 |        0
496.22/496.38	c  496s |      21 |  1421714 |  1065645 |    16261    171 |        0 |        0
498.31/498.41	c  498s |      21 |  1426952 |  1069845 |    16261    172 |        0 |        0
500.31/500.46	c  500s |      21 |  1433374 |  1074745 |    16261    172 |        0 |        0
502.31/502.48	c  502s |      21 |  1435912 |  1076245 |    16261    173 |        0 |        0
504.41/504.50	c  504s |      21 |  1441455 |  1080645 |    16261    173 |        0 |        0
506.41/506.52	c  506s |      21 |  1447262 |  1085145 |    16261    174 |        0 |        0
508.42/508.57	c  508s |      21 |  1453892 |  1089945 |    16261    174 |        0 |        0
510.41/510.58	c  510s |      21 |  1458673 |  1093745 |    16261    175 |        0 |        0
512.41/512.60	c  512s |      21 |  1461962 |  1096345 |    16261    175 |        0 |        0
514.51/514.62	c  514s |      21 |  1468900 |  1101245 |    16261    176 |        0 |        0
516.51/516.65	c  516s |      21 |  1475127 |  1106245 |    16261    176 |        0 |        0
518.51/518.67	c  518s |      21 |  1479012 |  1109145 |    16261    177 |        0 |        0
520.60/520.73	c  520s |      21 |  1483616 |  1113045 |    16261    177 |        0 |        0
522.61/522.75	c  522s |      21 |  1489004 |  1116745 |    16261    178 |        0 |        0
524.60/524.78	c  524s |      21 |  1496078 |  1121745 |    16261    178 |        0 |        0
526.71/526.81	c  526s |      21 |  1501858 |  1125645 |    16261    179 |        0 |        0
528.71/528.85	c  528s |      21 |  1507938 |  1129845 |    16261    179 |        0 |        0
530.71/530.86	c  530s |      21 |  1513814 |  1134745 |    16261    180 |        0 |        0
532.71/532.88	c  532s |      21 |  1520099 |  1139545 |    16261    180 |        0 |        0
534.71/534.89	c  534s |      21 |  1523510 |  1142145 |    16261    181 |        0 |        0
536.81/536.90	c  536s |      21 |  1530495 |  1147445 |    16261    181 |        0 |        0
538.81/538.99	c  538s |      21 |  1535347 |  1151145 |    16261    182 |        0 |        0
540.90/541.03	c  540s |      21 |  1542944 |  1155845 |    16261    182 |        0 |        0
542.90/543.07	c  542s |      21 |  1550503 |  1160745 |    16261    183 |        0 |        0
545.00/545.10	c  545s |      21 |  1557373 |  1166045 |    16261    184 |        0 |        0
547.00/547.11	c  547s |      21 |  1561468 |  1168545 |    16261    184 |        0 |        0
549.01/549.15	c  549s |      21 |  1567240 |  1173245 |    16261    184 |        0 |        0
551.00/551.19	c  551s |      21 |  1572482 |  1177645 |    16261    185 |        0 |        0
553.10/553.28	c  553s |      21 |  1579816 |  1181645 |    16261    186 |        0 |        0
555.10/555.29	c  555s |      21 |  1585598 |  1186145 |    16261    186 |        0 |        0
557.20/557.33	c  557s |      21 |  1591097 |  1190345 |    16261    187 |        0 |        0
559.20/559.35	c  559s |      21 |  1597257 |  1194645 |    16261    187 |        0 |        0
561.21/561.36	c  561s |      21 |  1601880 |  1198045 |    16261    188 |        0 |        0
563.21/563.37	c  563s |      21 |  1607808 |  1202545 |    16261    188 |        0 |        0
565.21/565.40	c  565s |      21 |  1613647 |  1206945 |    16261    189 |        0 |        0
567.31/567.42	c  567s |      21 |  1619376 |  1211145 |    16261    189 |        0 |        0
569.31/569.45	c  569s |      21 |  1624445 |  1213445 |    16261    189 |        0 |        0
571.31/571.46	c  571s |      21 |  1630561 |  1217845 |    16261    190 |        0 |        0
573.41/573.51	c  573s |      21 |  1636622 |  1222545 |    16261    191 |        0 |        0
575.41/575.54	c  575s |      21 |  1641949 |  1226945 |    16261    191 |        0 |        0
577.51/577.68	c  577s |      21 |  1646419 |  1230545 |    16261    192 |        0 |        0
579.50/579.69	c  579s |      21 |  1650525 |  1233345 |    16261    192 |        0 |        0
581.60/581.72	c  581s |      21 |  1657872 |  1238445 |    16261    192 |        0 |        0
583.60/583.73	c  583s |      21 |  1663774 |  1242745 |    16261    193 |        0 |        0
585.60/585.73	c  585s |      21 |  1669906 |  1247245 |    16261    194 |        0 |        0
587.61/587.75	c  587s |      21 |  1674392 |  1249445 |    16261    194 |        0 |        0
589.60/589.78	c  589s |      21 |  1681063 |  1254445 |    16261    194 |        0 |        0
591.60/591.79	c  591s |      21 |  1686354 |  1257845 |    16261    195 |        0 |        0
593.60/593.80	c  593s |      21 |  1693786 |  1262945 |    16261    195 |        0 |        0
595.70/595.86	c  595s |      21 |  1699480 |  1267145 |    16261    196 |        0 |        0
597.70/597.88	c  597s |      21 |  1705113 |  1270545 |    16261    196 |        0 |        0
599.70/599.88	c  599s |      21 |  1710159 |  1274445 |    16261    197 |        0 |        0
601.70/601.89	c  601s |      21 |  1715828 |  1278845 |    16261    197 |        0 |        0
603.79/603.92	c  603s |      21 |  1720558 |  1282645 |    16261    198 |        0 |        0
605.80/605.99	c  605s |      21 |  1726987 |  1287645 |    16261    198 |        0 |        0
607.80/607.99	c  607s |      21 |  1731085 |  1290945 |    16261    199 |        0 |        0
609.90/610.02	c  609s |      21 |  1736840 |  1295545 |    16261    199 |        0 |        0
611.90/612.05	c  611s |      21 |  1741973 |  1298945 |    16261    200 |        0 |        0
613.91/614.06	c  613s |      21 |  1748957 |  1303945 |    16261    200 |        0 |        0
617.20/617.39	c  617s |      21 |  1755467 |  1308645 |    16261    201 |        0 |        0
619.30/619.41	c  619s |      21 |  1761941 |  1312745 |    16261    202 |        0 |        0
621.30/621.43	c  621s |      21 |  1768206 |  1316945 |    16261    202 |        0 |        0
623.30/623.47	c  623s |      21 |  1773420 |  1321045 |    16261    203 |        0 |        0
625.39/625.52	c  625s |      21 |  1780164 |  1325645 |    16261    203 |        0 |        0
627.39/627.52	c  627s |      21 |  1786149 |  1329845 |    16261    204 |        0 |        0
629.40/629.56	c  629s |      21 |  1790563 |  1333045 |    16261    204 |        0 |        0
631.39/631.56	c  631s |      21 |  1796282 |  1337645 |    16261    205 |        0 |        0
633.39/633.57	c  633s |      21 |  1804947 |  1342845 |    16261    205 |        0 |        0
635.39/635.59	c  635s |      21 |  1810456 |  1346645 |    16261    206 |        0 |        0
637.39/637.59	c  637s |      21 |  1816128 |  1350645 |    16261    206 |        0 |        0
639.49/639.63	c  639s |      21 |  1821050 |  1354545 |    16261    207 |        0 |        0
641.50/641.66	c  641s |      21 |  1827055 |  1359145 |    16261    207 |        0 |        0
643.49/643.68	c  643s |      21 |  1832663 |  1363445 |    16261    208 |        0 |        0
645.49/645.69	c  645s |      21 |  1838773 |  1368145 |    16261    208 |        0 |        0
647.79/647.95	c  647s |      21 |  1843788 |  1371845 |    16261    209 |        0 |        0
649.79/649.98	c  649s |      21 |  1849717 |  1376645 |    16261    209 |        0 |        0
651.79/651.99	c  651s |      21 |  1857261 |  1381845 |    16261    210 |        0 |        0
655.09/655.23	c  655s |      21 |  1864629 |  1387045 |    16261    211 |        0 |        0
657.09/657.27	c  657s |      21 |  1871694 |  1392345 |    16261    211 |        0 |        0
659.18/659.30	c  659s |      21 |  1875996 |  1395345 |    16261    212 |        0 |        0
661.19/661.31	c  661s |      21 |  1883814 |  1400745 |    16261    212 |        0 |        0
663.18/663.33	c  663s |      21 |  1890913 |  1405745 |    16261    213 |        0 |        0
665.18/665.34	c  665s |      21 |  1897910 |  1410345 |    16261    213 |        0 |        0
667.18/667.35	c  667s |      21 |  1904069 |  1414245 |    16261    214 |        0 |        0
669.18/669.36	c  669s |      21 |  1910056 |  1417845 |    16261    214 |        0 |        0
671.28/671.41	c  671s |      21 |  1915112 |  1421745 |    16261    215 |        0 |        0
673.29/673.42	c  673s |      21 |  1920815 |  1426245 |    16261    215 |        0 |        0
675.28/675.45	c  675s |      21 |  1926074 |  1429845 |    16261    216 |        0 |        0
677.28/677.48	c  677s |      21 |  1932245 |  1434645 |    16261    216 |        0 |        0
679.38/679.54	c  679s |      21 |  1937213 |  1437945 |    16261    217 |        0 |        0
681.58/681.71	c  681s |      21 |  1944560 |  1443245 |    16261    218 |        0 |        0
683.58/683.74	c  683s |      21 |  1950241 |  1447545 |    16261    218 |        0 |        0
685.59/685.80	c  685s |      21 |  1954043 |  1450445 |    16261    218 |        0 |        0
687.69/687.84	c  687s |      21 |  1960547 |  1455045 |    16261    219 |        0 |        0
689.79/689.97	c  689s |      21 |  1966617 |  1459645 |    16261    220 |        0 |        0
691.88/692.00	c  691s |      21 |  1973164 |  1464545 |    16261    220 |        0 |        0
693.88/694.06	c  693s |      21 |  1978382 |  1468145 |    16261    221 |        0 |        0
695.88/696.07	c  695s |      21 |  1984972 |  1473045 |    16261    221 |        0 |        0
697.98/698.10	c  698s |      21 |  1990250 |  1476645 |    16261    222 |        0 |        0
699.98/700.13	c  700s |      21 |  1996358 |  1481145 |    16261    222 |        0 |        0
701.99/702.13	c  702s |      21 |  2003788 |  1485745 |    16261    223 |        0 |        0
703.98/704.14	c  704s |      21 |  2006371 |  1487045 |    16261    223 |        0 |        0
705.97/706.18	c  706s |      21 |  2008585 |  1488845 |    16261    223 |        0 |        0
707.97/708.18	c  708s |      21 |  2013731 |  1492845 |    17888    223 |        0 |        0
709.97/710.19	c  710s |      21 |  2018140 |  1496345 |    17888    224 |        0 |        0
711.87/712.08	c  711s |      22 |  2024394 |  1500622 |    17888    224 |        0 |        0
713.87/714.10	c  714s |      22 |  2031291 |  1504622 |    17888    225 |        0 |        0
715.97/716.12	c  716s |      22 |  2039116 |  1509722 |    17888    225 |        0 |        0
717.96/718.12	c  718s |      22 |  2046357 |  1514422 |    17888    226 |        0 |        0
719.96/720.17	c  720s |      22 |  2054626 |  1518722 |    17888    226 |        0 |        0
721.96/722.18	c  722s |      22 |  2063298 |  1522722 |    17888    227 |        0 |        0
724.06/724.22	c  724s |      22 |  2069779 |  1527022 |    17888    227 |        0 |        0
726.07/726.26	c  726s |      22 |  2077299 |  1530622 |    17888    228 |        0 |        0
728.26/728.45	c  728s |      22 |  2081672 |  1533622 |    17888    228 |        0 |        0
730.25/730.48	c  730s |      22 |  2086940 |  1537322 |    17888    228 |        0 |        0
732.96/733.13	c  733s |      22 |  2090906 |  1539822 |    17888    229 |        0 |        0
734.96/735.15	c  735s |      22 |  2097829 |  1544322 |    17888    229 |        0 |        0
736.96/737.15	c  737s |      22 |  2103172 |  1548122 |    17888    229 |        0 |        0
738.96/739.17	c  739s |      22 |  2110078 |  1552622 |    17888    230 |        0 |        0
740.96/741.18	c  741s |      22 |  2118601 |  1557222 |    17888    231 |        0 |        0
742.96/743.19	c  743s |      22 |  2126628 |  1561922 |    17888    231 |        0 |        0
745.05/745.25	c  745s |      22 |  2133030 |  1565922 |    17888    231 |        0 |        0
747.06/747.26	c  747s |      22 |  2139335 |  1569522 |    17888    232 |        0 |        0
749.05/749.29	c  749s |      22 |  2146377 |  1573822 |    17888    232 |        0 |        0
751.15/751.30	c  751s |      22 |  2152663 |  1577622 |    17888    233 |        0 |        0
753.15/753.33	c  753s |      22 |  2158742 |  1581322 |    17888    233 |        0 |        0
755.15/755.34	c  755s |      22 |  2164101 |  1584822 |    17888    234 |        0 |        0
757.14/757.39	c  757s |      22 |  2172261 |  1589722 |    17888    234 |        0 |        0
759.34/759.56	c  759s |      22 |  2178000 |  1593122 |    17888    235 |        0 |        0
761.35/761.56	c  761s |      22 |  2184112 |  1597022 |    17888    235 |        0 |        0
763.34/763.57	c  763s |      22 |  2190968 |  1601522 |    17888    235 |        0 |        0
765.34/765.59	c  765s |      22 |  2197640 |  1605922 |    17888    236 |        0 |        0
767.44/767.60	c  767s |      22 |  2204443 |  1610422 |    17888    236 |        0 |        0
769.44/769.63	c  769s |      22 |  2210878 |  1615322 |    17888    237 |        0 |        0
771.44/771.66	c  771s |      22 |  2218153 |  1619722 |    17888    237 |        0 |        0
773.54/773.73	c  773s |      22 |  2224904 |  1624122 |    17888    238 |        0 |        0
775.54/775.79	c  775s |      22 |  2231958 |  1628622 |    17888    238 |        0 |        0
777.64/777.82	c  777s |      22 |  2238111 |  1632522 |    17888    239 |        0 |        0
779.64/779.83	c  779s |      22 |  2245316 |  1637222 |    17888    239 |        0 |        0
781.64/781.87	c  781s |      22 |  2250310 |  1640522 |    17888    240 |        0 |        0
783.64/783.88	c  783s |      22 |  2257343 |  1644522 |    17888    240 |        0 |        0
785.84/786.02	c  785s |      22 |  2262453 |  1647622 |    17888    241 |        0 |        0
787.84/788.06	c  787s |      22 |  2268342 |  1651722 |    17888    241 |        0 |        0
789.84/790.08	c  789s |      22 |  2274957 |  1655322 |    17888    241 |        0 |        0
791.93/792.13	c  792s |      22 |  2281707 |  1659522 |    17888    242 |        0 |        0
793.93/794.14	c  794s |      22 |  2287572 |  1663722 |    17888    242 |        0 |        0
795.93/796.18	c  796s |      22 |  2294026 |  1667622 |    17888    243 |        0 |        0
798.03/798.23	c  798s |      22 |  2300513 |  1671722 |    17888    243 |        0 |        0
800.43/800.64	c  800s |      22 |  2305208 |  1674322 |    17888    244 |        0 |        0
802.43/802.67	c  802s |      22 |  2313040 |  1678622 |    17888    244 |        0 |        0
804.53/804.74	c  804s |      22 |  2319865 |  1682422 |    17888    244 |        0 |        0
806.53/806.79	c  806s |      22 |  2327128 |  1686822 |    17888    245 |        0 |        0
808.63/808.83	c  808s |      22 |  2333855 |  1690622 |    17888    245 |        0 |        0
810.73/810.91	c  810s |      22 |  2337387 |  1692722 |    17888    246 |        0 |        0
812.72/812.96	c  812s |      22 |  2343812 |  1696622 |    17888    246 |        0 |        0
814.72/814.96	c  814s |      22 |  2350003 |  1700322 |    17888    246 |        0 |        0
816.72/816.97	c  816s |      22 |  2356163 |  1703822 |    17888    247 |        0 |        0
818.72/818.97	c  818s |      22 |  2362073 |  1707122 |    17888    247 |        0 |        0
820.82/821.01	c  820s |      22 |  2368033 |  1710422 |    17888    248 |        0 |        0
822.82/823.01	c  822s |      22 |  2374398 |  1714522 |    17888    248 |        0 |        0
824.82/825.06	c  824s |      22 |  2379639 |  1718122 |    17888    248 |        0 |        0
826.91/827.11	c  827s |      22 |  2383916 |  1720522 |    17888    249 |        0 |        0
828.91/829.14	c  829s |      22 |  2390877 |  1725322 |    17888    249 |        0 |        0
830.91/831.14	c  831s |      22 |  2396301 |  1729622 |    17888    250 |        0 |        0
832.91/833.16	c  833s |      22 |  2401659 |  1734622 |    17888    250 |        0 |        0
834.92/835.18	c  835s |      22 |  2406368 |  1738922 |    17888    251 |        0 |        0
837.01/837.20	c  837s |      22 |  2412081 |  1743722 |    17888    251 |        0 |        0
839.01/839.22	c  839s |      22 |  2415778 |  1746822 |    17888    252 |        0 |        0
841.01/841.26	c  841s |      22 |  2422369 |  1751422 |    17888    252 |        0 |        0
843.11/843.37	c  843s |      22 |  2427098 |  1755022 |    17888    253 |        0 |        0
845.21/845.40	c  845s |      22 |  2433016 |  1758422 |    17888    253 |        0 |        0
847.20/847.44	c  847s |      22 |  2440680 |  1762622 |    17888    253 |        0 |        0
849.21/849.46	c  849s |      22 |  2446697 |  1766122 |    17888    254 |        0 |        0
851.30/851.52	c  851s |      22 |  2454510 |  1770822 |    17888    254 |        0 |        0
853.30/853.53	c  853s |      22 |  2459357 |  1773422 |    17888    255 |        0 |        0
855.30/855.56	c  855s |      22 |  2465760 |  1777522 |    17888    255 |        0 |        0
857.30/857.57	c  857s |      22 |  2471496 |  1781422 |    17888    255 |        0 |        0
859.40/859.61	c  859s |      22 |  2477895 |  1785422 |    17888    256 |        0 |        0
861.40/861.66	c  861s |      22 |  2483673 |  1789222 |    17888    256 |        0 |        0
863.40/863.69	c  863s |      22 |  2489436 |  1792622 |    17888    257 |        0 |        0
865.50/865.74	c  865s |      22 |  2494216 |  1795922 |    17888    257 |        0 |        0
867.50/867.74	c  867s |      22 |  2500405 |  1800022 |    17888    258 |        0 |        0
869.50/869.77	c  869s |      22 |  2507661 |  1804522 |    17888    258 |        0 |        0
871.50/871.78	c  871s |      22 |  2514450 |  1807522 |    17888    258 |        0 |        0
873.70/873.91	c  873s |      22 |  2519269 |  1810222 |    17888    259 |        0 |        0
875.70/875.96	c  875s |      22 |  2525903 |  1814022 |    17888    259 |        0 |        0
877.69/877.99	c  877s |      22 |  2531289 |  1817522 |    17888    259 |        0 |        0
879.79/880.01	c  879s |      22 |  2536331 |  1821022 |    17888    260 |        0 |        0
881.79/882.04	c  881s |      22 |  2540779 |  1823922 |    17888    260 |        0 |        0
883.89/884.18	c  884s |      22 |  2545632 |  1827122 |    17888    261 |        0 |        0
885.89/886.18	c  886s |      22 |  2551854 |  1830722 |    17888    261 |        0 |        0
887.99/888.20	c  888s |      22 |  2557460 |  1834222 |    17888    261 |        0 |        0
890.00/890.21	c  890s |      22 |  2563418 |  1837722 |    17888    262 |        0 |        0
891.99/892.22	c  892s |      22 |  2569243 |  1840722 |    17888    262 |        0 |        0
893.99/894.23	c  894s |      22 |  2575202 |  1844322 |    17888    262 |        0 |        0
895.99/896.27	c  896s |      22 |  2578301 |  1846222 |    17888    263 |        0 |        0
897.98/898.30	c  898s |      22 |  2584265 |  1849622 |    17888    263 |        0 |        0
900.08/900.33	c  900s |      22 |  2589563 |  1853022 |    17888    263 |        0 |        0
902.09/902.34	c  902s |      22 |  2595365 |  1857322 |    17888    264 |        0 |        0
904.08/904.37	c  904s |      22 |  2601061 |  1861722 |    17888    264 |        0 |        0
906.18/906.41	c  906s |      22 |  2606536 |  1865522 |    17888    265 |        0 |        0
908.17/908.42	c  908s |      22 |  2613661 |  1870122 |    17888    265 |        0 |        0
910.17/910.45	c  910s |      22 |  2620563 |  1873922 |    17888    266 |        0 |        0
912.17/912.47	c  912s |      22 |  2627351 |  1878222 |    17888    266 |        0 |        0
914.18/914.49	c  914s |      22 |  2632600 |  1881822 |    17888    267 |        0 |        0
916.17/916.49	c  916s |      22 |  2639464 |  1885722 |    17888    267 |        0 |        0
918.16/918.49	c  918s |      22 |  2645157 |  1889522 |    17888    267 |        0 |        0
920.26/920.53	c  920s |      22 |  2651486 |  1893522 |    17888    268 |        0 |        0
922.36/922.60	c  922s |      22 |  2657135 |  1897022 |    17888    268 |        0 |        0
924.36/924.63	c  924s |      22 |  2663063 |  1900222 |    17888    269 |        0 |        0
926.37/926.66	c  926s |      22 |  2668097 |  1903422 |    17888    269 |        0 |        0
928.47/928.72	c  928s |      22 |  2673909 |  1907322 |    17888    269 |        0 |        0
930.47/930.73	c  930s |      22 |  2680545 |  1911422 |    17888    270 |        0 |        0
932.47/932.77	c  932s |      22 |  2685819 |  1914722 |    17888    270 |        0 |        0
934.57/934.82	c  934s |      22 |  2691225 |  1918322 |    17888    271 |        0 |        0
936.57/936.83	c  936s |      22 |  2698120 |  1922322 |    17888    271 |        0 |        0
938.56/938.84	c  938s |      22 |  2704250 |  1925722 |    17888    271 |        0 |        0
940.57/940.85	c  940s |      22 |  2710972 |  1929722 |    17888    272 |        0 |        0
942.56/942.87	c  942s |      22 |  2716968 |  1933522 |    17888    272 |        0 |        0
944.97/945.24	c  945s |      22 |  2722532 |  1936922 |    17888    273 |        0 |        0
946.96/947.26	c  947s |      22 |  2729094 |  1941022 |    17888    273 |        0 |        0
948.95/949.28	c  949s |      22 |  2735038 |  1944522 |    17888    274 |        0 |        0
951.05/951.30	c  951s |      22 |  2741455 |  1948822 |    17888    274 |        0 |        0
953.05/953.36	c  953s |      22 |  2746541 |  1952722 |    17888    274 |        0 |        0
955.05/955.38	c  955s |      22 |  2751982 |  1956122 |    17888    275 |        0 |        0
957.05/957.39	c  957s |      22 |  2758149 |  1960222 |    17888    275 |        0 |        0
959.05/959.40	c  959s |      22 |  2763703 |  1963622 |    17888    276 |        0 |        0
961.15/961.42	c  961s |      22 |  2770827 |  1967822 |    17888    276 |        0 |        0
963.25/963.58	c  963s |      22 |  2775542 |  1971122 |    17888    277 |        0 |        0
965.35/965.60	c  965s |      22 |  2780314 |  1974522 |    17888    277 |        0 |        0
967.34/967.62	c  967s |      22 |  2786301 |  1978722 |    17888    277 |        0 |        0
969.44/969.74	c  969s |      22 |  2790652 |  1981422 |    17888    278 |        0 |        0
971.44/971.77	c  971s |      22 |  2798005 |  1985722 |    17888    278 |        0 |        0
973.84/974.18	c  974s |      22 |  2803279 |  1989122 |    17888    279 |        0 |        0
975.94/976.22	c  976s |      22 |  2808882 |  1992522 |    17888    279 |        0 |        0
977.94/978.23	c  978s |      22 |  2814288 |  1996022 |    17888    279 |        0 |        0
979.93/980.27	c  980s |      22 |  2819955 |  1999322 |    17888    280 |        0 |        0
981.93/982.29	c  982s |      22 |  2825290 |  2003022 |    17888    280 |        0 |        0
984.33/984.67	c  984s |      22 |  2831393 |  2006422 |    17888    280 |        0 |        0
986.43/986.70	c  986s |      22 |  2837436 |  2010222 |    17888    281 |        0 |        0
988.42/988.74	c  988s |      22 |  2843349 |  2014122 |    17888    281 |        0 |        0
990.43/990.75	c  990s |      22 |  2847565 |  2016822 |    17888    282 |        0 |        0
992.43/992.79	c  992s |      22 |  2854303 |  2021522 |    17888    282 |        0 |        0
994.53/994.81	c  994s |      22 |  2861868 |  2026622 |    17888    283 |        0 |        0
996.54/996.85	c  996s |      22 |  2868999 |  2031722 |    17888    283 |        0 |        0
998.53/998.89	c  998s |      22 |  2875466 |  2036222 |    17888    284 |        0 |        0
1000.63/1000.93	c 1000s |      22 |  2881502 |  2040222 |    17888    284 |        0 |        0
1002.63/1002.98	c 1002s |      22 |  2886291 |  2044022 |    17888    285 |        0 |        0
1004.63/1004.98	c 1004s |      22 |  2892118 |  2048122 |    17888    285 |        0 |        0
1006.82/1007.13	c 1007s |      22 |  2897886 |  2052122 |    17888    286 |        0 |        0
1008.82/1009.14	c 1009s |      22 |  2903445 |  2055922 |    17888    286 |        0 |        0
1010.83/1011.15	c 1011s |      22 |  2908762 |  2059622 |    17888    286 |        0 |        0
1012.82/1013.15	c 1013s |      22 |  2914006 |  2063122 |    17888    287 |        0 |        0
1014.82/1015.18	c 1015s |      22 |  2919578 |  2066822 |    17888    287 |        0 |        0
1016.82/1017.19	c 1017s |      22 |  2925099 |  2070322 |    17888    288 |        0 |        0
1018.92/1019.20	c 1019s |      22 |  2931678 |  2074422 |    17888    288 |        0 |        0
1020.91/1021.22	c 1021s |      22 |  2937218 |  2078222 |    17888    288 |        0 |        0
1022.92/1023.25	c 1023s |      22 |  2943674 |  2082022 |    17888    289 |        0 |        0
1024.91/1025.29	c 1025s |      22 |  2949407 |  2085922 |    17888    289 |        0 |        0
1027.01/1027.36	c 1027s |      22 |  2953471 |  2088422 |    17888    290 |        0 |        0
1029.01/1029.38	c 1029s |      22 |  2960212 |  2092822 |    17888    290 |        0 |        0
1031.11/1031.42	c 1031s |      22 |  2965791 |  2096422 |    17888    290 |        0 |        0
1033.11/1033.47	c 1033s |      22 |  2971091 |  2099822 |    17888    291 |        0 |        0
1035.12/1035.49	c 1035s |      22 |  2975628 |  2102722 |    17888    291 |        0 |        0
1037.21/1037.57	c 1037s |      22 |  2980231 |  2106222 |    17888    292 |        0 |        0
1039.20/1039.58	c 1039s |      22 |  2986296 |  2110422 |    17888    292 |        0 |        0
1041.30/1041.61	c 1041s |      22 |  2992219 |  2115122 |    17888    292 |        0 |        0
1043.30/1043.62	c 1043s |      22 |  2997867 |  2119422 |    17888    293 |        0 |        0
1045.30/1045.64	c 1045s |      22 |  3004520 |  2123222 |    17888    293 |        0 |        0
1047.30/1047.66	c 1047s |      22 |  3010474 |  2127022 |    17888    294 |        0 |        0
1049.31/1049.68	c 1049s |      22 |  3016927 |  2131022 |    17888    294 |        0 |        0
1051.40/1051.70	c 1051s |      22 |  3022032 |  2133722 |    17888    295 |        0 |        0
1053.40/1053.72	c 1053s |      22 |  3029189 |  2138122 |    17888    295 |        0 |        0
1055.40/1055.74	c 1055s |      22 |  3034514 |  2141822 |    17888    295 |        0 |        0
1057.40/1057.76	c 1057s |      22 |  3040032 |  2145122 |    17888    296 |        0 |        0
1059.40/1059.79	c 1059s |      22 |  3045936 |  2148722 |    17888    296 |        0 |        0
1061.50/1061.81	c 1061s |      22 |  3053121 |  2153122 |    17888    297 |        0 |        0
1063.50/1063.83	c 1063s |      22 |  3059207 |  2156822 |    17888    297 |        0 |        0
1065.50/1065.86	c 1065s |      22 |  3064924 |  2160222 |    17888    298 |        0 |        0
1067.49/1067.87	c 1067s |      22 |  3071409 |  2164322 |    17888    298 |        0 |        0
1069.59/1069.91	c 1069s |      22 |  3077433 |  2168122 |    17888    298 |        0 |        0
1071.59/1071.92	c 1071s |      22 |  3082416 |  2171522 |    17888    299 |        0 |        0
1073.60/1073.94	c 1073s |      22 |  3088701 |  2175222 |    17888    299 |        0 |        0
1075.70/1076.09	c 1075s |      22 |  3094039 |  2178322 |    17888    300 |        0 |        0
1077.79/1078.12	c 1078s |      22 |  3099914 |  2181822 |    17888    300 |        0 |        0
1079.78/1080.13	c 1080s |      22 |  3106289 |  2185522 |    17888    300 |        0 |        0
1081.78/1082.18	c 1082s |      22 |  3111758 |  2188822 |    17888    301 |        0 |        0
1083.78/1084.18	c 1084s |      22 |  3117285 |  2192122 |    17888    301 |        0 |        0
1085.88/1086.22	c 1086s |      22 |  3122660 |  2195822 |    17888    301 |        0 |        0
1087.89/1088.23	c 1088s |      22 |  3128495 |  2199622 |    17888    302 |        0 |        0
1089.88/1090.27	c 1090s |      22 |  3134269 |  2203222 |    17888    302 |        0 |        0
1091.98/1092.31	c 1092s |      22 |  3139577 |  2206722 |    17888    303 |        0 |        0
1093.98/1094.32	c 1094s |      22 |  3145356 |  2210222 |    17888    303 |        0 |        0
1095.98/1096.34	c 1096s |      22 |  3151226 |  2213822 |    17888    303 |        0 |        0
1097.98/1098.34	c 1098s |      22 |  3155300 |  2216222 |    17888    304 |        0 |        0
1099.99/1100.36	c 1100s |      22 |  3161560 |  2220322 |    17888    304 |        0 |        0
1102.09/1102.41	c 1102s |      22 |  3166750 |  2223322 |    17888    305 |        0 |        0
1104.08/1104.43	c 1104s |      22 |  3171497 |  2226522 |    17888    305 |        0 |        0
1106.08/1106.47	c 1106s |      22 |  3177118 |  2230022 |    17888    305 |        0 |        0
1108.07/1108.48	c 1108s |      22 |  3183564 |  2234022 |    17888    306 |        0 |        0
1110.27/1110.65	c 1110s |      22 |  3188962 |  2237222 |    19677    306 |        0 |        0
1112.27/1112.69	c 1112s |      22 |  3194293 |  2240822 |    19677    306 |        0 |        0
1114.37/1114.72	c 1114s |      22 |  3200311 |  2244122 |    19677    307 |        0 |        0
1116.38/1116.77	c 1116s |      22 |  3205675 |  2247522 |    19677    307 |        0 |        0
1118.36/1118.78	c 1118s |      22 |  3210829 |  2250922 |    19677    307 |        0 |        0
1118.46/1118.85	c 1118s |      23 |  3210959 |  2251038 |    19677    307 |        0 |        0
1120.56/1120.95	c 1120s |      23 |  3217125 |  2252738 |    19677    307 |        0 |        0
1122.56/1122.97	c 1122s |      23 |  3224078 |  2255438 |    19677    308 |        0 |        0
1124.56/1124.99	c 1124s |      23 |  3228354 |  2258138 |    19677    308 |        0 |        0
1126.66/1127.02	c 1126s |      23 |  3231989 |  2260438 |    19677    308 |        0 |        0
1128.66/1129.06	c 1128s |      23 |  3236368 |  2262938 |    19677    309 |        0 |        0
1130.66/1131.06	c 1130s |      23 |  3240376 |  2265238 |    19677    309 |        0 |        0
1133.35/1133.79	c 1133s |      23 |  3243614 |  2267238 |    19677    309 |        0 |        0
1135.45/1135.80	c 1135s |      23 |  3248543 |  2270538 |    19677    309 |        0 |        0
1137.55/1137.93	c 1137s |      23 |  3252096 |  2272838 |    19677    310 |        0 |        0
1139.55/1139.96	c 1139s |      23 |  3256649 |  2275838 |    19677    310 |        0 |        0
1141.55/1141.97	c 1141s |      23 |  3262014 |  2279338 |    19677    310 |        0 |        0
1143.55/1143.98	c 1143s |      23 |  3266420 |  2282238 |    19677    310 |        0 |        0
1145.65/1146.08	c 1145s |      23 |  3271128 |  2285338 |    19677    311 |        0 |        0
1147.74/1148.13	c 1148s |      23 |  3275463 |  2288038 |    19677    311 |        0 |        0
1149.84/1150.20	c 1150s |      23 |  3279269 |  2290538 |    19677    311 |        0 |        0
1151.84/1152.22	c 1152s |      23 |  3283199 |  2292738 |    19677    312 |        0 |        0
1153.85/1154.30	c 1154s |      23 |  3288173 |  2295438 |    19677    312 |        0 |        0
1155.95/1156.30	c 1156s |      23 |  3291292 |  2297638 |    19677    312 |        0 |        0
1157.94/1158.32	c 1158s |      23 |  3293580 |  2299438 |    19677    312 |        0 |        0
1159.94/1160.39	c 1160s |      23 |  3295578 |  2300938 |    19677    312 |        0 |        0
1162.14/1162.58	c 1162s |      23 |  3298169 |  2302938 |    19677    313 |        0 |        0
1164.24/1164.62	c 1164s |      23 |  3302385 |  2305538 |    19677    313 |        0 |        0
1166.23/1166.68	c 1166s |      23 |  3305524 |  2307738 |    19677    313 |        0 |        0
1168.33/1168.77	c 1168s |      23 |  3308820 |  2309938 |    19677    313 |        0 |        0
1170.43/1170.81	c 1170s |      23 |  3311710 |  2311838 |    19677    313 |        0 |        0
1172.44/1172.84	c 1172s |      23 |  3313831 |  2313438 |    19677    314 |        0 |        0
1174.43/1174.89	c 1174s |      23 |  3317081 |  2315638 |    19677    314 |        0 |        0
1176.53/1176.97	c 1176s |      23 |  3320968 |  2318238 |    19677    314 |        0 |        0
1178.62/1179.02	c 1178s |      23 |  3324029 |  2320538 |    19677    314 |        0 |        0
1180.62/1181.04	c 1180s |      23 |  3328194 |  2322638 |    19677    315 |        0 |        0
1182.62/1183.04	c 1182s |      23 |  3331539 |  2324938 |    19677    315 |        0 |        0
1184.72/1185.10	c 1185s |      23 |  3335727 |  2327538 |    19677    315 |        0 |        0
1186.82/1187.23	c 1187s |      23 |  3338620 |  2329838 |    19677    315 |        0 |        0
1188.92/1189.30	c 1189s |      23 |  3341379 |  2331738 |    19677    315 |        0 |        0
1190.92/1191.32	c 1191s |      23 |  3344283 |  2333638 |    19677    316 |        0 |        0
1192.92/1193.39	c 1193s |      23 |  3348417 |  2336138 |    19677    316 |        0 |        0
1195.02/1195.45	c 1195s |      23 |  3352142 |  2338738 |    19677    316 |        0 |        0
1197.12/1197.51	c 1197s |      23 |  3356262 |  2341338 |    19677    316 |        0 |        0
1199.12/1199.52	c 1199s |      23 |  3360370 |  2343838 |    19677    317 |        0 |        0
1201.12/1201.56	c 1201s |      23 |  3365295 |  2347038 |    19677    317 |        0 |        0
1203.22/1203.62	c 1203s |      23 |  3369107 |  2349538 |    19677    317 |        0 |        0
1205.22/1205.69	c 1205s |      23 |  3372734 |  2351738 |    19677    317 |        0 |        0
1207.31/1207.71	c 1207s |      23 |  3376168 |  2353938 |    19677    318 |        0 |        0
1209.31/1209.77	c 1209s |      23 |  3380235 |  2356638 |    19677    318 |        0 |        0
1211.41/1211.80	c 1211s |      23 |  3383070 |  2358638 |    19677    318 |        0 |        0
1213.41/1213.87	c 1213s |      23 |  3386004 |  2360938 |    19677    318 |        0 |        0
1215.51/1215.91	c 1215s |      23 |  3388330 |  2362638 |    19677    319 |        0 |        0
1217.51/1217.94	c 1217s |      23 |  3391941 |  2364938 |    19677    319 |        0 |        0
1219.61/1220.02	c 1219s |      23 |  3395470 |  2367338 |    19677    319 |        0 |        0
1221.61/1222.02	c 1221s |      23 |  3398687 |  2369538 |    19677    319 |        0 |        0
1223.61/1224.08	c 1223s |      23 |  3400709 |  2371138 |    19677    319 |        0 |        0
1225.71/1226.19	c 1226s |      23 |  3402950 |  2372438 |    19677    320 |        0 |        0
1227.80/1228.24	c 1228s |      23 |  3406851 |  2374938 |    19677    320 |        0 |        0
1229.90/1230.30	c 1230s |      23 |  3411546 |  2377838 |    19677    320 |        0 |        0
1231.91/1232.33	c 1232s |      23 |  3415891 |  2380638 |    19677    320 |        0 |        0
1233.90/1234.33	c 1234s |      23 |  3418683 |  2382438 |    19677    321 |        0 |        0
1235.90/1236.39	c 1236s |      23 |  3423138 |  2385238 |    19677    321 |        0 |        0
1238.00/1238.43	c 1238s |      23 |  3427163 |  2387938 |    19677    321 |        0 |        0
1240.00/1240.47	c 1240s |      23 |  3430250 |  2390238 |    19677    321 |        0 |        0
1242.20/1242.62	c 1242s |      23 |  3433029 |  2392238 |    19677    322 |        0 |        0
1244.29/1244.70	c 1244s |      23 |  3436459 |  2394538 |    19677    322 |        0 |        0
1246.29/1246.72	c 1246s |      23 |  3440178 |  2397238 |    19677    322 |        0 |        0
1248.30/1248.76	c 1248s |      23 |  3443580 |  2399538 |    19677    322 |        0 |        0
1250.39/1250.83	c 1250s |      23 |  3447031 |  2401538 |    19677    322 |        0 |        0
1252.39/1252.84	c 1252s |      23 |  3450217 |  2403338 |    19677    323 |        0 |        0
1254.49/1254.94	c 1254s |      23 |  3455221 |  2406138 |    19677    323 |        0 |        0
1256.49/1256.97	c 1256s |      23 |  3458731 |  2408638 |    19677    323 |        0 |        0
1258.58/1259.05	c 1258s |      23 |  3462789 |  2410938 |    19677    323 |        0 |        0
1260.68/1261.11	c 1261s |      23 |  3467327 |  2413638 |    19677    324 |        0 |        0
1262.69/1263.13	c 1263s |      23 |  3471907 |  2416438 |    19677    324 |        0 |        0
1264.68/1265.14	c 1265s |      23 |  3476120 |  2419038 |    19677    324 |        0 |        0
1266.67/1267.19	c 1267s |      23 |  3480238 |  2421738 |    19677    324 |        0 |        0
1268.77/1269.20	c 1269s |      23 |  3485475 |  2424438 |    19677    325 |        0 |        0
1270.77/1271.28	c 1271s |      23 |  3490226 |  2427438 |    19677    325 |        0 |        0
1272.77/1273.29	c 1273s |      23 |  3494283 |  2429938 |    19677    325 |        0 |        0
1274.97/1275.44	c 1275s |      23 |  3500141 |  2433238 |    19677    326 |        0 |        0
1277.07/1277.52	c 1277s |      23 |  3504941 |  2436138 |    19677    326 |        0 |        0
1279.07/1279.52	c 1279s |      23 |  3509353 |  2438538 |    19677    326 |        0 |        0
1281.06/1281.57	c 1281s |      23 |  3514362 |  2441338 |    19677    326 |        0 |        0
1283.16/1283.60	c 1283s |      23 |  3518037 |  2443938 |    19677    327 |        0 |        0
1285.16/1285.66	c 1285s |      23 |  3523138 |  2446938 |    19677    327 |        0 |        0
1287.26/1287.71	c 1287s |      23 |  3527158 |  2449538 |    19677    327 |        0 |        0
1289.36/1289.89	c 1289s |      23 |  3530702 |  2451838 |    19677    328 |        0 |        0
1291.46/1291.93	c 1291s |      23 |  3536226 |  2454738 |    19677    328 |        0 |        0
1293.46/1293.93	c 1293s |      23 |  3540580 |  2457538 |    19677    328 |        0 |        0
1295.46/1295.97	c 1295s |      23 |  3544955 |  2460938 |    19677    328 |        0 |        0
1297.56/1298.02	c 1297s |      23 |  3549714 |  2463838 |    19677    329 |        0 |        0
1299.56/1300.05	c 1299s |      23 |  3554056 |  2466638 |    19677    329 |        0 |        0
1301.66/1302.11	c 1302s |      23 |  3558286 |  2469138 |    19677    329 |        0 |        0
1303.76/1304.21	c 1304s |      23 |  3561652 |  2471238 |    19677    329 |        0 |        0
1305.76/1306.30	c 1306s |      23 |  3566276 |  2473538 |    19677    330 |        0 |        0
1307.86/1308.35	c 1308s |      23 |  3569436 |  2475838 |    19677    330 |        0 |        0
1309.96/1310.42	c 1310s |      23 |  3573403 |  2478238 |    19677    330 |        0 |        0
1311.95/1312.45	c 1312s |      23 |  3576793 |  2480338 |    19677    330 |        0 |        0
1313.95/1314.48	c 1314s |      23 |  3579424 |  2481938 |    19677    331 |        0 |        0
1316.05/1316.51	c 1316s |      23 |  3583422 |  2484538 |    19677    331 |        0 |        0
1318.05/1318.56	c 1318s |      23 |  3587262 |  2487338 |    19677    331 |        0 |        0
1320.05/1320.59	c 1320s |      23 |  3590656 |  2489638 |    19677    331 |        0 |        0
1322.15/1322.63	c 1322s |      23 |  3594436 |  2491838 |    19677    332 |        0 |        0
1324.16/1324.64	c 1324s |      23 |  3600598 |  2495038 |    19677    332 |        0 |        0
1326.25/1326.70	c 1326s |      23 |  3606194 |  2497938 |    19677    332 |        0 |        0
1328.25/1328.72	c 1328s |      23 |  3610204 |  2500438 |    19677    332 |        0 |        0
1330.35/1330.86	c 1330s |      23 |  3614678 |  2502638 |    19677    333 |        0 |        0
1332.35/1332.90	c 1332s |      23 |  3619317 |  2505238 |    19677    333 |        0 |        0
1334.45/1334.94	c 1334s |      23 |  3623001 |  2507638 |    19677    333 |        0 |        0
1336.55/1337.08	c 1336s |      23 |  3627065 |  2510338 |    19677    333 |        0 |        0
1338.65/1339.14	c 1339s |      23 |  3631259 |  2512638 |    19677    334 |        0 |        0
1340.66/1341.20	c 1341s |      23 |  3635688 |  2515638 |    19677    334 |        0 |        0
1342.75/1343.22	c 1343s |      23 |  3640099 |  2518238 |    19677    334 |        0 |        0
1344.75/1345.23	c 1345s |      23 |  3645248 |  2520938 |    19677    334 |        0 |        0
1346.75/1347.24	c 1347s |      23 |  3651125 |  2523538 |    19677    335 |        0 |        0
1348.75/1349.29	c 1349s |      23 |  3656859 |  2526538 |    19677    335 |        0 |        0
1350.85/1351.30	c 1351s |      23 |  3662750 |  2529238 |    19677    335 |        0 |        0
1352.95/1353.44	c 1353s |      23 |  3666972 |  2531238 |    19677    336 |        0 |        0
1354.96/1355.45	c 1355s |      23 |  3672679 |  2533838 |    19677    336 |        0 |        0
1356.95/1357.48	c 1357s |      23 |  3679030 |  2536738 |    19677    336 |        0 |        0
1359.05/1359.50	c 1359s |      23 |  3684670 |  2539138 |    19677    336 |        0 |        0
1361.15/1361.61	c 1361s |      23 |  3688515 |  2541238 |    19677    337 |        0 |        0
1363.15/1363.62	c 1363s |      23 |  3691653 |  2543538 |    19677    337 |        0 |        0
1365.15/1365.68	c 1365s |      23 |  3694448 |  2545738 |    19677    337 |        0 |        0
1367.25/1367.77	c 1367s |      23 |  3697600 |  2547838 |    19677    337 |        0 |        0
1369.35/1369.82	c 1369s |      23 |  3700463 |  2549838 |    19677    337 |        0 |        0
1371.35/1371.83	c 1371s |      23 |  3703162 |  2551138 |    19677    338 |        0 |        0
1373.45/1373.93	c 1373s |      23 |  3706911 |  2553438 |    19677    338 |        0 |        0
1375.44/1375.93	c 1375s |      23 |  3709832 |  2555338 |    19677    338 |        0 |        0
1377.44/1377.98	c 1377s |      23 |  3713041 |  2557438 |    19677    338 |        0 |        0
1379.54/1380.04	c 1379s |      23 |  3716101 |  2559138 |    19677    338 |        0 |        0
1381.64/1382.13	c 1382s |      23 |  3719026 |  2560838 |    19677    338 |        0 |        0
1383.65/1384.16	c 1384s |      23 |  3721616 |  2562538 |    19677    339 |        0 |        0
1385.75/1386.23	c 1386s |      23 |  3724822 |  2564638 |    19677    339 |        0 |        0
1387.74/1388.28	c 1388s |      23 |  3728001 |  2566838 |    19677    339 |        0 |        0
1389.84/1390.31	c 1390s |      23 |  3730943 |  2568738 |    19677    339 |        0 |        0
1391.84/1392.34	c 1392s |      23 |  3733850 |  2570738 |    19677    339 |        0 |        0
1393.84/1394.35	c 1394s |      23 |  3736939 |  2572638 |    19677    340 |        0 |        0
1395.94/1396.40	c 1396s |      23 |  3741656 |  2575438 |    19677    340 |        0 |        0
1397.95/1398.46	c 1398s |      23 |  3745826 |  2577938 |    19677    340 |        0 |        0
1400.05/1400.51	c 1400s |      23 |  3748763 |  2579838 |    19677    340 |        0 |        0
1402.04/1402.56	c 1402s |      23 |  3751816 |  2581438 |    19677    341 |        0 |        0
1404.04/1404.56	c 1404s |      23 |  3755521 |  2583638 |    19677    341 |        0 |        0
1406.14/1406.65	c 1406s |      23 |  3759599 |  2586138 |    19677    341 |        0 |        0
1408.24/1408.74	c 1408s |      23 |  3762527 |  2588038 |    19677    341 |        0 |        0
1410.34/1410.82	c 1410s |      23 |  3765710 |  2590238 |    19677    341 |        0 |        0
1412.34/1412.84	c 1412s |      23 |  3769015 |  2592338 |    19677    342 |        0 |        0
1414.34/1414.85	c 1414s |      23 |  3772207 |  2594738 |    19677    342 |        0 |        0
1416.34/1416.86	c 1416s |      23 |  3776354 |  2596938 |    19677    342 |        0 |        0
1418.44/1418.94	c 1418s |      23 |  3779775 |  2599038 |    19677    342 |        0 |        0
1420.44/1420.95	c 1420s |      23 |  3782470 |  2600838 |    19677    343 |        0 |        0
1422.44/1422.98	c 1422s |      23 |  3786400 |  2603338 |    19677    343 |        0 |        0
1424.54/1425.02	c 1424s |      23 |  3790963 |  2606338 |    19677    343 |        0 |        0
1426.54/1427.06	c 1426s |      23 |  3794578 |  2608538 |    19677    343 |        0 |        0
1428.83/1429.30	c 1429s |      23 |  3798382 |  2610838 |    19677    344 |        0 |        0
1430.84/1431.37	c 1431s |      23 |  3802598 |  2613838 |    19677    344 |        0 |        0
1432.93/1433.46	c 1433s |      23 |  3806814 |  2616738 |    19677    344 |        0 |        0
1435.03/1435.51	c 1435s |      23 |  3811314 |  2619438 |    19677    344 |        0 |        0
1437.03/1437.52	c 1437s |      23 |  3814799 |  2621438 |    19677    345 |        0 |        0
1439.03/1439.55	c 1439s |      23 |  3818080 |  2623738 |    19677    345 |        0 |        0
1441.13/1441.62	c 1441s |      23 |  3821712 |  2626038 |    19677    345 |        0 |        0
1443.13/1443.63	c 1443s |      23 |  3824660 |  2627938 |    19677    345 |        0 |        0
1445.24/1445.72	c 1445s |      23 |  3827809 |  2629938 |    19677    345 |        0 |        0
1447.23/1447.75	c 1447s |      23 |  3830129 |  2631438 |    19677    346 |        0 |        0
1449.33/1449.80	c 1449s |      23 |  3834856 |  2633838 |    19677    346 |        0 |        0
1451.33/1451.84	c 1451s |      23 |  3838207 |  2635938 |    19677    346 |        0 |        0
1453.33/1453.89	c 1453s |      23 |  3842656 |  2638738 |    19677    346 |        0 |        0
1455.43/1455.93	c 1455s |      23 |  3846801 |  2641038 |    19677    347 |        0 |        0
1457.43/1457.96	c 1457s |      23 |  3851760 |  2644138 |    19677    347 |        0 |        0
1459.44/1459.99	c 1459s |      23 |  3855739 |  2646438 |    19677    347 |        0 |        0
1461.53/1462.05	c 1461s |      23 |  3860338 |  2649338 |    19677    347 |        0 |        0
1463.63/1464.11	c 1464s |      23 |  3864680 |  2651938 |    19677    348 |        0 |        0
1465.63/1466.16	c 1466s |      23 |  3870018 |  2655238 |    19677    348 |        0 |        0
1467.73/1468.22	c 1468s |      23 |  3874013 |  2658138 |    19677    348 |        0 |        0
1469.83/1470.32	c 1470s |      23 |  3877592 |  2660538 |    19677    349 |        0 |        0
1471.83/1472.37	c 1472s |      23 |  3882171 |  2663538 |    19677    349 |        0 |        0
1473.93/1474.45	c 1474s |      23 |  3886474 |  2666438 |    19677    349 |        0 |        0
1475.93/1476.45	c 1476s |      23 |  3890814 |  2669038 |    19677    349 |        0 |        0
1478.03/1478.50	c 1478s |      23 |  3894679 |  2671238 |    19677    350 |        0 |        0
1480.03/1480.53	c 1480s |      23 |  3899239 |  2674038 |    19677    350 |        0 |        0
1482.03/1482.55	c 1482s |      23 |  3904099 |  2676838 |    19677    350 |        0 |        0
1484.03/1484.55	c 1484s |      23 |  3908972 |  2679538 |    19677    350 |        0 |        0
1486.03/1486.56	c 1486s |      23 |  3912421 |  2681838 |    19677    351 |        0 |        0
1488.03/1488.56	c 1488s |      23 |  3917236 |  2684938 |    19677    351 |        0 |        0
1490.12/1490.61	c 1490s |      23 |  3922012 |  2687738 |    19677    351 |        0 |        0
1492.43/1492.92	c 1492s |      23 |  3926367 |  2690438 |    19677    352 |        0 |        0
1494.42/1494.94	c 1494s |      23 |  3930692 |  2692938 |    19677    352 |        0 |        0
1496.42/1496.94	c 1496s |      23 |  3935371 |  2695638 |    19677    352 |        0 |        0
1498.42/1498.98	c 1498s |      23 |  3939960 |  2698238 |    19677    352 |        0 |        0
1500.72/1501.23	c 1501s |      23 |  3944395 |  2700438 |    19677    353 |        0 |        0
1502.72/1503.27	c 1503s |      23 |  3950292 |  2703238 |    19677    353 |        0 |        0
1504.82/1505.33	c 1505s |      23 |  3954288 |  2706038 |    19677    353 |        0 |        0
1506.83/1507.39	c 1507s |      23 |  3958507 |  2709138 |    19677    353 |        0 |        0
1508.93/1509.45	c 1509s |      23 |  3962285 |  2711838 |    19677    354 |        0 |        0
1511.02/1511.51	c 1511s |      23 |  3966738 |  2714738 |    19677    354 |        0 |        0
1513.02/1513.59	c 1513s |      23 |  3970182 |  2716938 |    19677    354 |        0 |        0
1515.12/1515.67	c 1515s |      23 |  3973378 |  2719338 |    19677    354 |        0 |        0
1517.22/1517.72	c 1517s |      23 |  3976675 |  2721438 |    19677    355 |        0 |        0
1519.22/1519.73	c 1519s |      23 |  3979923 |  2723838 |    19677    355 |        0 |        0
1521.22/1521.78	c 1521s |      23 |  3983377 |  2726638 |    19677    355 |        0 |        0
1523.32/1523.83	c 1523s |      23 |  3987021 |  2729938 |    19677    355 |        0 |        0
1525.32/1525.85	c 1525s |      23 |  3990392 |  2732738 |    19677    356 |        0 |        0
1527.42/1527.90	c 1527s |      23 |  3993181 |  2735038 |    19677    356 |        0 |        0
1529.42/1529.94	c 1529s |      23 |  3996472 |  2737438 |    19677    356 |        0 |        0
1531.52/1532.02	c 1531s |      23 |  3999651 |  2739738 |    19677    356 |        0 |        0
1533.51/1534.06	c 1533s |      23 |  4002529 |  2741438 |    19677    357 |        0 |        0
1535.51/1536.06	c 1535s |      23 |  4006640 |  2744138 |    19677    357 |        0 |        0
1537.52/1538.07	c 1537s |      23 |  4010118 |  2746338 |    19677    357 |        0 |        0
1539.51/1540.09	c 1539s |      23 |  4013270 |  2748538 |    19677    357 |        0 |        0
1541.61/1542.16	c 1542s |      23 |  4015979 |  2750338 |    19677    358 |        0 |        0
1543.71/1544.23	c 1544s |      23 |  4018700 |  2752138 |    19677    358 |        0 |        0
1545.71/1546.26	c 1546s |      23 |  4022562 |  2754738 |    19677    358 |        0 |        0
1548.31/1548.81	c 1548s |      23 |  4026586 |  2757038 |    19677    358 |        0 |        0
1550.31/1550.81	c 1550s |      23 |  4035467 |  2760338 |    19677    359 |        0 |        0
1552.31/1552.83	c 1552s |      23 |  4041648 |  2763738 |    19677    359 |        0 |        0
1554.31/1554.84	c 1554s |      23 |  4047953 |  2768538 |    19677    359 |        0 |        0
1556.32/1556.85	c 1556s |      23 |  4053780 |  2772638 |    19677    360 |        0 |        0
1558.32/1558.85	c 1558s |      23 |  4058368 |  2776438 |    19677    360 |        0 |        0
1560.32/1560.87	c 1560s |      23 |  4063172 |  2779838 |    19677    361 |        0 |        0
1562.32/1562.89	c 1562s |      23 |  4068745 |  2784338 |    19677    361 |        0 |        0
1564.42/1564.91	c 1564s |      23 |  4075068 |  2789038 |    19677    361 |        0 |        0
1568.82/1569.35	c 1569s |      23 |  4080250 |  2792738 |    19677    362 |        0 |        0
1570.82/1571.37	c 1571s |      23 |  4086228 |  2796738 |    19677    362 |        0 |        0
1572.91/1573.41	c 1573s |      23 |  4091502 |  2800538 |    19677    363 |        0 |        0
1576.21/1576.75	c 1576s |      23 |  4096364 |  2804138 |    19677    363 |        0 |        0
1578.22/1578.77	c 1578s |      23 |  4101153 |  2807938 |    19677    363 |        0 |        0
1580.31/1580.81	c 1580s |      23 |  4105127 |  2810838 |    19677    364 |        0 |        0
1582.31/1582.82	c 1582s |      23 |  4110946 |  2815238 |    19677    364 |        0 |        0
1584.31/1584.83	c 1584s |      23 |  4116395 |  2818938 |    19677    364 |        0 |        0
1586.81/1587.34	c 1587s |      23 |  4120972 |  2822238 |    19677    365 |        0 |        0
1588.81/1589.36	c 1589s |      23 |  4124097 |  2824338 |    19677    365 |        0 |        0
1590.81/1591.38	c 1591s |      23 |  4129248 |  2828338 |    19677    365 |        0 |        0
1592.81/1593.39	c 1593s |      23 |  4134644 |  2831838 |    19677    366 |        0 |        0
1594.91/1595.40	c 1595s |      23 |  4141495 |  2836438 |    19677    366 |        0 |        0
1597.11/1597.61	c 1597s |      23 |  4145807 |  2839338 |    19677    367 |        0 |        0
1599.41/1599.99	c 1599s |      23 |  4150227 |  2841938 |    19677    367 |        0 |        0
1601.51/1602.04	c 1601s |      23 |  4156586 |  2846238 |    19677    367 |        0 |        0
1603.52/1604.05	c 1603s |      23 |  4161480 |  2849938 |    19677    368 |        0 |        0
1605.51/1606.08	c 1605s |      23 |  4168512 |  2853938 |    19677    368 |        0 |        0
1607.61/1608.11	c 1608s |      23 |  4173859 |  2857438 |    19677    368 |        0 |        0
1609.61/1610.15	c 1610s |      23 |  4176873 |  2859738 |    19677    369 |        0 |        0
1612.11/1612.60	c 1612s |      23 |  4181912 |  2863438 |    19677    369 |        0 |        0
1614.11/1614.65	c 1614s |      23 |  4187905 |  2867538 |    19677    369 |        0 |        0
1616.21/1616.78	c 1616s |      23 |  4192591 |  2870938 |    19677    370 |        0 |        0
1618.31/1618.80	c 1618s |      23 |  4197935 |  2875338 |    19677    370 |        0 |        0
1620.30/1620.82	c 1620s |      23 |  4203283 |  2878838 |    19677    371 |        0 |        0
1622.31/1622.85	c 1622s |      23 |  4208524 |  2882638 |    19677    371 |        0 |        0
1624.30/1624.87	c 1624s |      23 |  4213727 |  2886438 |    19677    371 |        0 |        0
1626.30/1626.89	c 1626s |      23 |  4217243 |  2889338 |    19677    372 |        0 |        0
1628.40/1628.93	c 1628s |      23 |  4221083 |  2892438 |    19677    372 |        0 |        0
1630.40/1630.95	c 1630s |      23 |  4225921 |  2896138 |    19677    372 |        0 |        0
1632.40/1632.97	c 1632s |      23 |  4230076 |  2899338 |    19677    373 |        0 |        0
1634.41/1634.98	c 1634s |      23 |  4233807 |  2901438 |    19677    373 |        0 |        0
1636.51/1637.03	c 1636s |      23 |  4239261 |  2905738 |    19677    373 |        0 |        0
1638.50/1639.05	c 1638s |      23 |  4244438 |  2908638 |    19677    374 |        0 |        0
1640.50/1641.08	c 1640s |      23 |  4250422 |  2912938 |    19677    374 |        0 |        0
1642.60/1643.13	c 1643s |      23 |  4255097 |  2916538 |    19677    374 |        0 |        0
1644.60/1645.13	c 1645s |      23 |  4260524 |  2920138 |    19677    375 |        0 |        0
1646.60/1647.16	c 1647s |      23 |  4266135 |  2923738 |    19677    375 |        0 |        0
1648.70/1649.22	c 1649s |      23 |  4271085 |  2927238 |    19677    375 |        0 |        0
1650.70/1651.26	c 1651s |      23 |  4274990 |  2930238 |    19677    376 |        0 |        0
1652.80/1653.31	c 1653s |      23 |  4279824 |  2933938 |    19677    376 |        0 |        0
1654.80/1655.33	c 1655s |      23 |  4283873 |  2937138 |    19677    376 |        0 |        0
1656.80/1657.37	c 1657s |      23 |  4287708 |  2940338 |    19677    377 |        0 |        0
1658.80/1659.39	c 1659s |      23 |  4291672 |  2942638 |    19677    377 |        0 |        0
1660.90/1661.40	c 1661s |      23 |  4297298 |  2947038 |    19677    377 |        0 |        0
1662.91/1663.42	c 1663s |      23 |  4302321 |  2951238 |    19677    378 |        0 |        0
1664.90/1665.44	c 1665s |      23 |  4307221 |  2955338 |    19677    378 |        0 |        0
1667.20/1667.79	c 1667s |      23 |  4310893 |  2957738 |    19677    379 |        0 |        0
1669.30/1669.84	c 1669s |      23 |  4315888 |  2960738 |    19677    379 |        0 |        0
1671.30/1671.85	c 1671s |      23 |  4322005 |  2965038 |    19677    379 |        0 |        0
1673.50/1674.00	c 1673s |      23 |  4326433 |  2967738 |    19677    380 |        0 |        0
1675.50/1676.05	c 1675s |      23 |  4332200 |  2971638 |    19677    380 |        0 |        0
1677.50/1678.07	c 1677s |      23 |  4337201 |  2975138 |    19677    380 |        0 |        0
1679.50/1680.09	c 1679s |      23 |  4341496 |  2977838 |    19677    381 |        0 |        0
1681.60/1682.12	c 1682s |      23 |  4347156 |  2981838 |    19677    381 |        0 |        0
1683.60/1684.12	c 1684s |      23 |  4351993 |  2985338 |    19677    381 |        0 |        0
1685.59/1686.17	c 1686s |      23 |  4355808 |  2988038 |    19677    382 |        0 |        0
1687.59/1688.19	c 1688s |      23 |  4360963 |  2991738 |    19677    382 |        0 |        0
1689.69/1690.23	c 1690s |      23 |  4365692 |  2995538 |    19677    382 |        0 |        0
1691.69/1692.27	c 1692s |      23 |  4370174 |  2998838 |    19677    383 |        0 |        0
1693.70/1694.30	c 1694s |      23 |  4373946 |  3001438 |    19677    383 |        0 |        0
1695.79/1696.31	c 1696s |      23 |  4378847 |  3004838 |    19677    383 |        0 |        0
1697.89/1698.40	c 1698s |      23 |  4382354 |  3007438 |    19677    384 |        0 |        0
1699.90/1700.41	c 1700s |      23 |  4386052 |  3010238 |    19677    384 |        0 |        0
1701.90/1702.47	c 1702s |      23 |  4391107 |  3013938 |    19677    384 |        0 |        0
1704.10/1704.62	c 1704s |      23 |  4394895 |  3016938 |    19677    385 |        0 |        0
1706.10/1706.64	c 1706s |      23 |  4399285 |  3020438 |    19677    385 |        0 |        0
1708.20/1708.71	c 1708s |      23 |  4403786 |  3024138 |    19677    385 |        0 |        0
1710.20/1710.76	c 1710s |      23 |  4407515 |  3027238 |    19677    386 |        0 |        0
1712.19/1712.79	c 1712s |      23 |  4411704 |  3030638 |    19677    386 |        0 |        0
1714.29/1714.85	c 1714s |      23 |  4416268 |  3033438 |    19677    386 |        0 |        0
1716.29/1716.86	c 1716s |      23 |  4420381 |  3036838 |    19677    387 |        0 |        0
1718.39/1718.90	c 1718s |      23 |  4425317 |  3041138 |    19677    387 |        0 |        0
1720.39/1720.95	c 1720s |      23 |  4429509 |  3044738 |    19677    387 |        0 |        0
1722.89/1723.42	c 1723s |      23 |  4434223 |  3048438 |    19677    388 |        0 |        0
1724.89/1725.42	c 1725s |      23 |  4437450 |  3050738 |    19677    388 |        0 |        0
1726.89/1727.42	c 1727s |      23 |  4443139 |  3055438 |    19677    388 |        0 |        0
1728.90/1729.45	c 1729s |      23 |  4447121 |  3058438 |    19677    389 |        0 |        0
1730.89/1731.48	c 1731s |      23 |  4452618 |  3062738 |    19677    389 |        0 |        0
1732.99/1733.51	c 1733s |      23 |  4457608 |  3066438 |    19677    390 |        0 |        0
1734.99/1735.55	c 1735s |      23 |  4461940 |  3070038 |    19677    390 |        0 |        0
1736.99/1737.58	c 1737s |      23 |  4467167 |  3074038 |    19677    390 |        0 |        0
1739.09/1739.61	c 1739s |      23 |  4471729 |  3077238 |    19677    391 |        0 |        0
1741.09/1741.61	c 1741s |      23 |  4477981 |  3081638 |    19677    391 |        0 |        0
1743.09/1743.62	c 1743s |      23 |  4483153 |  3085538 |    19677    391 |        0 |        0
1745.99/1746.54	c 1746s |      23 |  4486974 |  3088038 |    19677    392 |        0 |        0
1747.99/1748.55	c 1748s |      23 |  4493924 |  3092838 |    19677    392 |        0 |        0
1749.99/1750.56	c 1750s |      23 |  4499282 |  3096738 |    19677    393 |        0 |        0
1751.99/1752.56	c 1752s |      23 |  4501594 |  3098238 |    19677    393 |        0 |        0
1753.98/1754.57	c 1754s |      23 |  4507241 |  3102938 |    19677    393 |        0 |        0
1756.08/1756.63	c 1756s |      23 |  4511584 |  3105938 |    19677    394 |        0 |        0
1758.48/1759.01	c 1758s |      23 |  4515701 |  3108438 |    19677    394 |        0 |        0
1760.48/1761.01	c 1760s |      23 |  4521997 |  3112738 |    19677    394 |        0 |        0
1762.48/1763.05	c 1762s |      23 |  4526133 |  3115838 |    19677    395 |        0 |        0
1764.48/1765.06	c 1764s |      23 |  4530610 |  3118638 |    19677    395 |        0 |        0
1766.49/1767.07	c 1766s |      23 |  4536813 |  3122838 |    19677    395 |        0 |        0
1768.49/1769.09	c 1768s |      23 |  4541541 |  3126238 |    19677    396 |        0 |        0
1770.58/1771.11	c 1771s |      23 |  4546232 |  3129338 |    19677    396 |        0 |        0
1772.58/1773.12	c 1773s |      23 |  4553380 |  3134138 |    19677    396 |        0 |        0
1774.68/1775.21	c 1775s |      23 |  4558921 |  3137638 |    19677    397 |        0 |        0
1776.68/1777.23	c 1777s |      23 |  4566092 |  3142238 |    19677    397 |        0 |        0
1778.78/1779.30	c 1779s |      23 |  4570733 |  3145538 |    19677    398 |        0 |        0
1780.78/1781.31	c 1781s |      23 |  4575703 |  3148838 |    19677    398 |        0 |        0
1782.79/1783.32	c 1783s |      23 |  4581261 |  3152438 |    19677    398 |        0 |        0
1784.78/1785.34	c 1785s |      23 |  4585395 |  3155638 |    19677    399 |        0 |        0
1786.78/1787.35	c 1787s |      23 |  4593182 |  3160638 |    19677    399 |        0 |        0
1788.78/1789.35	c 1789s |      23 |  4599590 |  3164838 |    19677    399 |        0 |        0
1790.78/1791.39	c 1791s |      23 |  4604792 |  3168438 |    19677    400 |        0 |        0
1792.88/1793.42	c 1793s |      23 |  4610554 |  3172138 |    19677    400 |        0 |        0
1794.89/1795.44	c 1795s |      23 |  4616033 |  3175638 |    19677    401 |        0 |        0
1796.88/1797.47	c 1797s |      23 |  4619952 |  3178238 |    19677    401 |        0 |        0
1798.88/1799.48	c 1799s |      23 |  4625902 |  3182938 |    19677    401 |        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-4106859-1466279399/watcher-4106859-1466279399 -o /tmp/evaluation-result-4106859-1466279399/solver-4106859-1466279399 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24926 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106859-1466279399.opb 

pid=27356
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.32 2.25 2.21 4/179 27359
/proc/meminfo: memFree=28893676/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 2701 0 0 0 0 0 0 0 20 0 4 0 29985614 740749312 2551 33554432000 4194304 16246674 140735445738880 140735445738304 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 181615 2561 441 2943 0 178509 0
[pid=27359/tid=27360] ppid=27356 vsize=741820 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 759623680 2620 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 763817984 2640 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=751036 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29985615 769060864 2657 33554432000 4194304 16246674 140735445738880 140450487848112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.32 2.25 2.21 4/179 27359
/proc/meminfo: memFree=28893676/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1222212 CPUtime=0.09 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 21751 0 0 0 6 3 0 0 20 0 4 0 29985614 1251545088 21548 33554432000 4194304 16246674 140735445738880 140735445738192 13780588 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 305553 21548 837 2943 0 302447 0
[pid=27359/tid=27360] ppid=27356 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1251545088 21548 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1251545088 21548 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1251545088 21548 33554432000 4194304 16246674 140735445738880 140450487848112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1222212

[startup+0.200511 s]
/proc/loadavg: 2.32 2.25 2.21 4/179 27359
/proc/meminfo: memFree=28893676/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1222212 CPUtime=0.19 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 40915 0 0 0 13 6 0 0 20 0 4 0 29985614 1251545088 40713 33554432000 4194304 16246674 140735445738880 140735445738192 5532301 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 305553 40730 875 2943 0 302447 0
[pid=27359/tid=27360] ppid=27356 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1251545088 40740 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1251545088 40750 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1251545088 40761 33554432000 4194304 16246674 140735445738880 140450487848112 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) 1222212

[startup+0.300469 s]
/proc/loadavg: 2.32 2.25 2.21 4/179 27359
/proc/meminfo: memFree=28893676/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1222212 CPUtime=0.29 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 65584 0 0 0 20 9 0 0 20 0 4 0 29985614 1251545088 65382 33554432000 4194304 16246674 140735445738880 140735445738192 12468433 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 305553 65397 875 2943 0 302447 0
[pid=27359/tid=27360] ppid=27356 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1251545088 65406 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1251545088 65416 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1251545088 65425 33554432000 4194304 16246674 140735445738880 140450487848112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1222212

[startup+0.700409 s]
/proc/loadavg: 2.32 2.25 2.21 4/179 27359
/proc/meminfo: memFree=28893676/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1222212 CPUtime=0.69 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 160426 0 0 0 47 22 0 0 20 0 4 0 29985614 1251545088 160223 33554432000 4194304 16246674 140735445738880 140735445720768 5707789 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 305553 160235 875 2943 0 302447 0
[pid=27359/tid=27360] ppid=27356 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1251545088 160241 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1251545088 160248 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1251545088 160254 33554432000 4194304 16246674 140735445738880 140450487848112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.50041 s]
/proc/loadavg: 2.32 2.25 2.21 4/183 27363
/proc/meminfo: memFree=27904232/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1300036 CPUtime=1.49 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 266077 0 0 0 113 36 0 0 20 0 4 0 29985614 1331236864 265874 33554432000 4194304 16246674 140735445738880 140735445720768 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 325009 265874 878 2943 0 321903 0
[pid=27359/tid=27360] ppid=27356 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1331236864 265874 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1331236864 265874 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1331236864 265874 33554432000 4194304 16246674 140735445738880 140450487848112 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) 1300036

[startup+3.10042 s]
/proc/loadavg: 2.32 2.25 2.21 3/184 27364
/proc/meminfo: memFree=27823020/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1312324 CPUtime=3.09 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 269045 0 0 0 273 36 0 0 20 0 4 0 29985614 1343819776 268842 33554432000 4194304 16246674 140735445738880 140735445720768 13950199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 328081 268842 888 2943 0 324975 0
[pid=27359/tid=27360] ppid=27356 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1343819776 268842 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1343819776 268842 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1343819776 268842 33554432000 4194304 16246674 140735445738880 140450487848112 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) 1312324

[startup+6.30042 s]
/proc/loadavg: 2.29 2.25 2.21 4/184 27366
/proc/meminfo: memFree=27814464/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1315396 CPUtime=6.29 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 270021 0 0 0 593 36 0 0 20 0 4 0 29985614 1346965504 269818 33554432000 4194304 16246674 140735445738880 140735445720768 13943668 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 328849 269818 889 2943 0 325743 0
[pid=27359/tid=27360] ppid=27356 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1346965504 269818 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1346965504 269818 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1346965504 269818 33554432000 4194304 16246674 140735445738880 140450487848112 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) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.27 2.24 2.21 3/184 27366
/proc/meminfo: memFree=27813388/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1316420 CPUtime=12.68 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 270277 0 0 0 1232 36 0 0 20 0 4 0 29985614 1348014080 270074 33554432000 4194304 16246674 140735445738880 140735445721880 6012147 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 329105 270074 889 2943 0 325999 0
[pid=27359/tid=27360] ppid=27356 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1348014080 270074 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1348014080 270074 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1348014080 270074 33554432000 4194304 16246674 140735445738880 140450487848112 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) 1316420

[startup+25.5004 s]
/proc/loadavg: 2.21 2.23 2.20 3/184 27366
/proc/meminfo: memFree=27803648/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1326660 CPUtime=25.49 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 272837 0 0 0 2512 37 0 0 20 0 4 0 29985614 1358499840 272634 33554432000 4194304 16246674 140735445738880 140735445720768 12483348 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 331665 272634 889 2943 0 328559 0
[pid=27359/tid=27360] ppid=27356 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1358499840 272634 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1358499840 272634 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1358499840 272634 33554432000 4194304 16246674 140735445738880 140450487848112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1326660

[startup+51.1004 s]
/proc/loadavg: 2.28 2.24 2.21 4/184 27366
/proc/meminfo: memFree=27799564/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1330756 CPUtime=51.08 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 273861 0 0 0 5070 38 0 0 20 0 4 0 29985614 1362694144 273658 33554432000 4194304 16246674 140735445738880 140735445720768 5545993 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 332689 273658 889 2943 0 329583 0
[pid=27359/tid=27360] ppid=27356 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1362694144 273658 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1362694144 273658 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1362694144 273658 33554432000 4194304 16246674 140735445738880 140450487848112 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) 1330756

[startup+102.3 s]
/proc/loadavg: 2.18 2.22 2.20 3/183 27368
/proc/meminfo: memFree=27791108/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1338948 CPUtime=102.28 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 275909 0 0 0 10189 39 0 0 20 0 4 0 29985614 1371082752 275706 33554432000 4194304 16246674 140735445738880 140735445720768 4220871 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 334737 275706 889 2943 0 331631 0
[pid=27359/tid=27360] ppid=27356 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1371082752 275706 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1371082752 275706 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1371082752 275706 33554432000 4194304 16246674 140735445738880 140450487848112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1338948


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

/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280570 33554432000 4194304 16246674 140735445738880 140450487848112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1357380

[startup+1302.3 s]
/proc/loadavg: 2.20 2.21 2.18 4/183 27470
/proc/meminfo: memFree=27754496/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1357380 CPUtime=1301.86 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 280933 0 0 0 130129 57 0 0 20 0 4 0 29985614 1389957120 280570 33554432000 4194304 16246674 140735445738880 140735445720768 5522977 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 339345 280570 889 2943 0 336239 0
[pid=27359/tid=27360] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280570 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280570 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280570 33554432000 4194304 16246674 140735445738880 140450487848112 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) 1357380

[startup+1362.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/183 27471
/proc/meminfo: memFree=27748192/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1357380 CPUtime=1361.85 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 280948 0 0 0 136127 58 0 0 20 0 4 0 29985614 1389957120 280571 33554432000 4194304 16246674 140735445738880 140735445720768 6012036 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 339345 280571 890 2943 0 336239 0
[pid=27359/tid=27360] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450487848112 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) 1357380

[startup+1422.3 s]
/proc/loadavg: 2.26 2.22 2.18 3/183 27472
/proc/meminfo: memFree=27749140/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1357380 CPUtime=1421.84 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 280950 0 0 0 142126 58 0 0 20 0 4 0 29985614 1389957120 280571 33554432000 4194304 16246674 140735445738880 140735445720768 5721701 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 339345 280571 890 2943 0 336239 0
[pid=27359/tid=27360] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450487848112 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) 1357380

[startup+1482.3 s]
/proc/loadavg: 2.32 2.25 2.19 4/183 27473
/proc/meminfo: memFree=27748568/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1357380 CPUtime=1481.83 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 280950 0 0 0 148125 58 0 0 20 0 4 0 29985614 1389957120 280571 33554432000 4194304 16246674 140735445738880 140735445720768 5545796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 339345 280571 890 2943 0 336239 0
[pid=27359/tid=27360] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450487848112 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) 1357380

[startup+1542.3 s]
/proc/loadavg: 2.29 2.25 2.19 3/183 27474
/proc/meminfo: memFree=27748684/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1357380 CPUtime=1541.81 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 280950 0 0 0 154123 58 0 0 20 0 4 0 29985614 1389957120 280571 33554432000 4194304 16246674 140735445738880 140735445720768 5545872 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 339345 280571 890 2943 0 336239 0
[pid=27359/tid=27360] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450487848112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.28 2.25 2.19 3/183 27476
/proc/meminfo: memFree=27748456/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1357380 CPUtime=1601.81 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 280950 0 0 0 160121 60 0 0 20 0 4 0 29985614 1389957120 280571 33554432000 4194304 16246674 140735445738880 140735445720768 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 339345 280571 890 2943 0 336239 0
[pid=27359/tid=27360] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450487848112 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) 1357380

[startup+1662.3 s]
/proc/loadavg: 2.25 2.25 2.19 3/183 27477
/proc/meminfo: memFree=27748476/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1357380 CPUtime=1661.81 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 280950 0 0 0 166120 61 0 0 20 0 4 0 29985614 1389957120 280571 33554432000 4194304 16246674 140735445738880 140735445720768 5808141 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 339345 280571 890 2943 0 336239 0
[pid=27359/tid=27360] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450487848112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1357380

[startup+1722.3 s]
/proc/loadavg: 2.33 2.27 2.20 3/183 27478
/proc/meminfo: memFree=27748236/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1357380 CPUtime=1721.79 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 280950 0 0 0 172117 62 0 0 20 0 4 0 29985614 1389957120 280571 33554432000 4194304 16246674 140735445738880 140735445720768 5754792 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 339345 280571 890 2943 0 336239 0
[pid=27359/tid=27360] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1389957120 280571 33554432000 4194304 16246674 140735445738880 140450487848112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1357380

[startup+1782.31 s]
/proc/loadavg: 2.33 2.28 2.20 3/183 27479
/proc/meminfo: memFree=27733612/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1371716 CPUtime=1781.79 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 284534 0 0 0 178115 64 0 0 20 0 4 0 29985614 1404637184 284155 33554432000 4194304 16246674 140735445738880 140735445720768 6011992 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 342929 284155 890 2943 0 339823 0
[pid=27359/tid=27360] ppid=27356 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1404637184 284155 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1404637184 284155 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1404637184 284155 33554432000 4194304 16246674 140735445738880 140450487848112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1371716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.40 2.29 2.21 4/183 27479
/proc/meminfo: memFree=27734312/32872528 swapFree=1499884/1696108
[pid=27359] ppid=27356 vsize=1371716 CPUtime=1800.08 cores=0,2,4,6
/proc/27359/stat : 27359 (toysat) R 27356 27359 24910 0 -1 4202496 284534 0 0 0 179944 64 0 0 20 0 4 0 29985614 1404637184 284155 33554432000 4194304 16246674 140735445738880 140735445720768 5589718 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27359/statm: 342929 284155 890 2943 0 339823 0
[pid=27359/tid=27360] ppid=27356 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27360/stat : 27360 (toysat) S 27356 27359 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29985615 1404637184 284155 33554432000 4194304 16246674 140735445738880 140450508811504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=27359/tid=27361] ppid=27356 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27361/stat : 27361 (toysat) S 27356 27359 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29985615 1404637184 284155 33554432000 4194304 16246674 140735445738880 140450498321648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=27359/tid=27362] ppid=27356 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/27359/task/27362/stat : 27362 (toysat) S 27356 27359 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29985615 1404637184 284155 33554432000 4194304 16246674 140735445738880 140450487848112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1371716

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.45
CPU system time (s): 0.645901
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 1371716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.645901
maximum resident set size= 1136620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284534
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= 448
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0352 second user time and 12.5411 second system time

The end

Begin job on node137 at 2016-06-18 21:49:59
IDJOB=4106859
IDBENCH=48294
IDSOLVER=2542
FILE ID=node137/4106859-1466279399
RUNJOBID= node137-1466264772-24926
PBS_JOBID= 19918225
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_1_40.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106859-1466279399/watcher-4106859-1466279399 -o /tmp/evaluation-result-4106859-1466279399/solver-4106859-1466279399 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24926 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106859-1466279399.opb

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

MD5SUM BENCH= be9efb792831413817cc7562bdc6c002
RANDOM SEED=2094236726

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28893312 kB
Buffers:          160052 kB
Cached:           260100 kB
SwapCached:         1268 kB
Active:          1277020 kB
Inactive:         263428 kB
Active(anon):    1121596 kB
Inactive(anon):     1028 kB
Active(file):     155424 kB
Inactive(file):   262400 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100008 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       2903868 kB
Mapped:            10744 kB
Shmem:                 0 kB
Slab:             607860 kB
SReclaimable:      52060 kB
SUnreclaim:       555800 kB
KernelStack:        1520 kB
PageTables:         9200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2958704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1398784 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= 71672 MiB
End job on node137 at 2016-06-18 22:20:00