0.00/0.00	c 2016-06-16T02:03:28+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-4089911-1466035408.opb"]
0.00/0.01	c use --random-gen="3746992200 3776847061 3299485703 2523001952 2116489914 531922389 725015466 2597199211 1067401927 1941052467 1943914624 467385485 3488118742 272445881 2498790998 3904670843 2334657469 2502714601 893143625 1875287755 630476156 1436408965 1182856083 3957711263 3374857557 2559124944 3375813466 1965941823 480255022 1135362485 693671947 1154392686 1338684491 411496536 257355362 3542258822 275093354 3280537243 4000044744 595493495 2149774179 2869804843 3952803161 764102258 1664373374 997972072 3178189469 536742176 3785840868 1882164428 2694251834 1844406770 867562389 3270441546 3067693690 1889561120 2259143876 1516689668 2285879832 4109220723 4189938568 1250166068 3975360404 773117907 3245546907 1263672435 1622460775 1513560404 259798606 2360880535 1466879387 1175105663 2718127125 1611333092 316316735 2543201444 4185507558 3725036026 1036493086 2744668383 1249226595 65416748 2271448578 477035109 4064854630 1675066235 3284193079 2846412358 2348750700 4141557325 3532201803 290543639 2552083485 2147414897 3150127689 2674538999 3476952918 1270937663 1286603189 2080190169 12473259 2545437067 2573470229 3167622568 1230098828 1859186657 2497385955 3997255242 2199814985 3379154194 2333631839 4123382219 3698334325 2207582950 1919511878 1934167967 4729727 3929451385 522845759 2152494717 3181628044 2669209326 2441250472 3907618240 1111503817 4013638140 1711566737 1841811448 198141799 732987652 1123570431 1412903327 4256166710 67804080 1670506620 3744656420 3095120002 2006870640 1606469021 1226459912 2731497861 2125624079 3010472450 1567153594 3288723032 3925205627 3830650374 3693096089 1127032999 1254661214 3392368156 4066217305 1547366876 1945406885 1325917429 2194807307 2863803306 3736644747 3813052227 4172951432 2767581422 1751164908 2820179768 3935588995 3665043723 1676716582 1866381866 2633215708 1273741202 3175674135 959050491 4255092991 3794359872 2388563037 1889741165 1953522417 474211613 1272304150 1866194034 1118996032 1166896297 3397478200 2888436988 596158409 2254835379 3881458544 1302878528 1070081828 1365524352 2237195719 3080837105 1977415720 3261002877 5048816 1464462279 2308389953 3628614579 2798752203 1987167476 4111652676 1943476167 4248988886 3186657419 1795939595 338887054 4275462514 724322923 2902269412 3612300632 1228865570 1276601197 1264213224 1462198755 4035379349 2728428635 2054216990 3726029278 3530306404 3442684804 1647552636 3945487746 3239035912 35197234 2789321796 128320686 3510309342 758711634 1427163276 3060840791 574169285 2783411740 2802834363 3828576566 2986712525 1343822578 758008943 1851431036 3164187951 799069898 2097069167 686528836 2670681333 2520602441 790702225 291004512 1796137239 2928392935 2480415394 674445120 1802912173 3767261284 375737220 1052987042 3269198395 4048688677 3326075858 255 362436" option to reproduce the execution
0.00/0.01	c #vars 243
0.00/0.01	c #constraints 81
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      135      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      145 |      100 |      135      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      402 |      250 |      149      0 |        0 |        0
0.09/0.10	c  0.1s |       3 |      774 |      475 |      164      2 |        0 |        0
0.09/0.18	c  0.2s |       4 |     1247 |      813 |      181      4 |        0 |        0
0.29/0.30	c  0.3s |       5 |     1896 |     1320 |      200      7 |        0 |        0
0.39/0.47	c  0.5s |       6 |     2842 |     2081 |      244     11 |        0 |        0
0.69/0.75	c  0.7s |       7 |     4205 |     3223 |      269     16 |        0 |        0
1.10/1.11	c  1.1s |       8 |     6310 |     4936 |      296     24 |        0 |        0
1.58/1.64	c  1.6s |       9 |     9565 |     7506 |      326     36 |        0 |        0
2.38/2.43	c  2.4s |      10 |    13818 |    11361 |      359     52 |        0 |        0
3.49/3.58	c  3.6s |      11 |    20292 |    17144 |      395     74 |        0 |        0
5.28/5.32	c  5.3s |      12 |    30056 |    25819 |      435    107 |        0 |        0
7.28/7.33	c  7.3s |      12 |    41079 |    35219 |      435    140 |        0 |        0
8.08/8.15	c  8.1s |      13 |    45070 |    38832 |      479    152 |        0 |        0
10.09/10.16	c 10.1s |      13 |    55482 |    47832 |      479    182 |        0 |        0
12.08/12.16	c 12.1s |      13 |    65754 |    57032 |      479    213 |        0 |        0
12.38/12.45	c 12.4s |      14 |    67233 |    58352 |      527    217 |        0 |        0
14.39/14.45	c 14.4s |      14 |    76990 |    67152 |      527    243 |        0 |        0
16.38/16.47	c 16.5s |      14 |    86016 |    75452 |      527    267 |        0 |        0
18.38/18.47	c 18.5s |      14 |    94751 |    83552 |      527    291 |        0 |        0
19.38/19.47	c 19.5s |      15 |    99167 |    87632 |      580    303 |        0 |        0
21.38/21.49	c 21.5s |      15 |   109334 |    96832 |      580    328 |        0 |        0
23.48/23.50	c 23.5s |      15 |   118652 |   105432 |      580    351 |        0 |        0
25.49/25.51	c 25.5s |      15 |   127311 |   113332 |      580    373 |        0 |        0
27.48/27.52	c 27.5s |      15 |   135998 |   121332 |      580    395 |        0 |        0
29.48/29.52	c 29.5s |      15 |   145094 |   129632 |      580    418 |        0 |        0
29.88/29.98	c 30.0s |      16 |   147206 |   131552 |      638    423 |        0 |        0
31.98/32.01	c 32.0s |      16 |   156900 |   139852 |      638    445 |        0 |        0
33.97/34.01	c 34.0s |      16 |   166492 |   148252 |      638    466 |        0 |        0
35.98/36.01	c 36.0s |      16 |   175382 |   156152 |      638    486 |        0 |        0
37.98/38.02	c 38.0s |      16 |   183555 |   163552 |      638    505 |        0 |        0
39.98/40.04	c 40.0s |      16 |   191878 |   171052 |      638    525 |        0 |        0
41.99/42.05	c 42.0s |      16 |   199937 |   178252 |      638    543 |        0 |        0
43.98/44.07	c 44.1s |      16 |   207516 |   185052 |      638    561 |        0 |        0
45.98/46.09	c 46.1s |      16 |   216341 |   192652 |      638    580 |        0 |        0
47.38/47.42	c 47.4s |      17 |   221844 |   197432 |      702    592 |        0 |        0
49.37/49.43	c 49.4s |      17 |   230641 |   205232 |      702    610 |        0 |        0
51.37/51.45	c 51.4s |      17 |   239196 |   212932 |      702    628 |        0 |        0
53.37/53.46	c 53.4s |      17 |   248013 |   220832 |      702    647 |        0 |        0
55.37/55.47	c 55.5s |      17 |   256697 |   228732 |      702    665 |        0 |        0
57.38/57.48	c 57.5s |      17 |   265209 |   236332 |      702    683 |        0 |        0
59.37/59.49	c 59.5s |      17 |   274244 |   244332 |      702    702 |        0 |        0
61.37/61.49	c 61.5s |      17 |   282593 |   251932 |      702    720 |        0 |        0
63.47/63.50	c 63.5s |      17 |   291285 |   259732 |      702    739 |        0 |        0
65.47/65.51	c 65.5s |      17 |   300660 |   267732 |      702    758 |        0 |        0
67.47/67.51	c 67.5s |      17 |   309486 |   275432 |      702    776 |        0 |        0
69.47/69.53	c 69.5s |      17 |   318648 |   283232 |      702    794 |        0 |        0
71.47/71.55	c 71.5s |      17 |   327951 |   291432 |      702    814 |        0 |        0
72.67/72.76	c 72.7s |      18 |   333265 |   296252 |      773    825 |        0 |        0
74.66/74.76	c 74.7s |      18 |   342198 |   304252 |      773    842 |        0 |        0
76.66/76.78	c 76.8s |      18 |   351123 |   312252 |      773    860 |        0 |        0
78.66/78.78	c 78.8s |      18 |   358954 |   319552 |      773    876 |        0 |        0
80.76/80.80	c 80.8s |      18 |   367134 |   327052 |      773    892 |        0 |        0
82.76/82.82	c 82.8s |      18 |   375258 |   334452 |      773    908 |        0 |        0
84.76/84.84	c 84.8s |      18 |   382487 |   341152 |      773    923 |        0 |        0
86.76/86.87	c 86.9s |      18 |   390383 |   348352 |      773    938 |        0 |        0
88.76/88.89	c 88.9s |      18 |   397881 |   355252 |      773    954 |        0 |        0
90.75/90.90	c 90.9s |      18 |   404694 |   361552 |      773    967 |        0 |        0
92.85/92.91	c 92.9s |      18 |   412532 |   368752 |      773    983 |        0 |        0
94.85/94.92	c 94.9s |      18 |   419854 |   375452 |      773    997 |        0 |        0
96.86/96.94	c 96.9s |      18 |   426341 |   381252 |      773   1010 |        0 |        0
98.85/98.95	c 98.9s |      18 |   434345 |   388552 |      773   1026 |        0 |        0
100.85/100.98	c  100s |      18 |   441640 |   395252 |      773   1041 |        0 |        0
102.95/103.00	c  102s |      18 |   449167 |   402052 |      773   1055 |        0 |        0
104.94/105.02	c  105s |      18 |   457565 |   409552 |      773   1072 |        0 |        0
106.95/107.02	c  107s |      18 |   465137 |   416452 |      773   1087 |        0 |        0
108.96/109.03	c  109s |      18 |   472981 |   423652 |      773   1102 |        0 |        0
110.95/111.03	c  111s |      18 |   481186 |   431052 |      773   1119 |        0 |        0
112.95/113.04	c  113s |      18 |   488833 |   437952 |      773   1134 |        0 |        0
114.75/114.85	c  114s |      19 |   496018 |   444482 |      851   1148 |        0 |        0
116.75/116.85	c  116s |      19 |   505079 |   452382 |      851   1164 |        0 |        0
118.75/118.88	c  118s |      19 |   513492 |   459982 |      851   1180 |        0 |        0
120.74/120.89	c  120s |      19 |   522397 |   467782 |      851   1196 |        0 |        0
122.84/122.90	c  122s |      19 |   531203 |   475682 |      851   1212 |        0 |        0
124.84/124.90	c  124s |      19 |   539906 |   483382 |      851   1228 |        0 |        0
126.84/126.91	c  126s |      19 |   548806 |   491082 |      851   1244 |        0 |        0
128.84/128.91	c  128s |      19 |   557277 |   498682 |      851   1260 |        0 |        0
130.84/130.92	c  130s |      19 |   564899 |   505482 |      851   1274 |        0 |        0
132.84/132.94	c  132s |      19 |   573134 |   512782 |      851   1289 |        0 |        0
134.83/134.94	c  134s |      19 |   582055 |   520582 |      851   1305 |        0 |        0
136.83/136.95	c  136s |      19 |   590440 |   528082 |      851   1320 |        0 |        0
138.83/138.97	c  138s |      19 |   598414 |   535382 |      851   1335 |        0 |        0
140.83/140.99	c  140s |      19 |   606573 |   542782 |      851   1351 |        0 |        0
142.93/143.02	c  143s |      19 |   615245 |   550482 |      851   1367 |        0 |        0
144.93/145.02	c  145s |      19 |   624164 |   558482 |      851   1383 |        0 |        0
146.92/147.03	c  147s |      19 |   632444 |   565982 |      851   1398 |        0 |        0
148.92/149.04	c  149s |      19 |   640566 |   573382 |      851   1413 |        0 |        0
150.92/151.04	c  151s |      19 |   647891 |   580182 |      851   1427 |        0 |        0
152.93/153.07	c  153s |      19 |   656378 |   587682 |      851   1443 |        0 |        0
154.92/155.08	c  155s |      19 |   664669 |   595182 |      851   1458 |        0 |        0
157.02/157.11	c  157s |      19 |   672646 |   602482 |      851   1473 |        0 |        0
159.02/159.12	c  159s |      19 |   680546 |   609782 |      851   1488 |        0 |        0
161.02/161.13	c  161s |      19 |   688368 |   616982 |      851   1503 |        0 |        0
163.02/163.16	c  163s |      19 |   695503 |   623482 |      851   1517 |        0 |        0
165.02/165.18	c  165s |      19 |   702878 |   630282 |      851   1531 |        0 |        0
167.01/167.19	c  167s |      19 |   711613 |   637882 |      851   1546 |        0 |        0
169.12/169.20	c  169s |      19 |   719193 |   644782 |      851   1561 |        0 |        0
171.12/171.21	c  171s |      19 |   727101 |   651782 |      851   1575 |        0 |        0
173.12/173.22	c  173s |      19 |   734504 |   658482 |      851   1589 |        0 |        0
175.12/175.22	c  175s |      19 |   741932 |   665182 |      937   1602 |        0 |        0
175.62/175.76	c  175s |      20 |   743756 |   666827 |      937   1605 |        0 |        0
177.62/177.76	c  177s |      20 |   752283 |   674327 |      937   1619 |        0 |        0
179.62/179.78	c  179s |      20 |   760811 |   681927 |      937   1633 |        0 |        0
181.62/181.79	c  181s |      20 |   769204 |   689527 |      937   1647 |        0 |        0
183.72/183.82	c  183s |      20 |   777490 |   697027 |      937   1661 |        0 |        0
185.71/185.83	c  185s |      20 |   785549 |   704427 |      937   1675 |        0 |        0
187.71/187.84	c  187s |      20 |   794099 |   712127 |      937   1689 |        0 |        0
189.71/189.87	c  189s |      20 |   802674 |   719827 |      937   1704 |        0 |        0
191.71/191.87	c  191s |      20 |   810729 |   727127 |      937   1718 |        0 |        0
193.72/193.88	c  193s |      20 |   818990 |   734427 |      937   1731 |        0 |        0
195.71/195.89	c  195s |      20 |   827234 |   741927 |      937   1745 |        0 |        0
197.71/197.89	c  197s |      20 |   835857 |   749627 |      937   1760 |        0 |        0
199.80/199.90	c  199s |      20 |   844150 |   757027 |      937   1773 |        0 |        0
201.80/201.92	c  201s |      20 |   852336 |   764527 |      937   1787 |        0 |        0
203.80/203.94	c  203s |      20 |   860867 |   772227 |      937   1802 |        0 |        0
205.81/205.97	c  205s |      20 |   869625 |   780127 |      937   1816 |        0 |        0
207.80/207.98	c  207s |      20 |   877629 |   787327 |      937   1830 |        0 |        0
209.90/210.01	c  209s |      20 |   885936 |   794727 |      937   1844 |        0 |        0
211.90/212.01	c  212s |      20 |   894023 |   802027 |      937   1857 |        0 |        0
213.90/214.04	c  214s |      20 |   902378 |   809427 |      937   1871 |        0 |        0
215.90/216.05	c  216s |      20 |   910135 |   816427 |      937   1884 |        0 |        0
217.90/218.06	c  218s |      20 |   916802 |   822527 |      937   1896 |        0 |        0
219.90/220.07	c  220s |      20 |   924164 |   829027 |      937   1908 |        0 |        0
221.90/222.10	c  222s |      20 |   931759 |   835827 |      937   1920 |        0 |        0
223.99/224.10	c  224s |      20 |   939123 |   842427 |      937   1933 |        0 |        0
225.99/226.13	c  226s |      20 |   946965 |   849327 |      937   1946 |        0 |        0
227.99/228.14	c  228s |      20 |   954669 |   856227 |      937   1958 |        0 |        0
230.01/230.15	c  230s |      20 |   962790 |   863427 |      937   1972 |        0 |        0
232.00/232.17	c  232s |      20 |   970705 |   870527 |      937   1985 |        0 |        0
234.10/234.20	c  234s |      20 |   979224 |   878127 |      937   1999 |        0 |        0
236.09/236.20	c  236s |      20 |   987476 |   885527 |      937   2013 |        0 |        0
238.09/238.22	c  238s |      20 |   996342 |   893427 |      937   2028 |        0 |        0
240.09/240.23	c  240s |      20 |  1004081 |   900527 |      937   2041 |        0 |        0
242.10/242.24	c  242s |      20 |  1012035 |   907727 |      937   2055 |        0 |        0
244.09/244.25	c  244s |      20 |  1019882 |   914827 |      937   2068 |        0 |        0
246.09/246.27	c  246s |      20 |  1027296 |   921527 |      937   2081 |        0 |        0
248.09/248.28	c  248s |      20 |  1034430 |   928027 |      937   2093 |        0 |        0
250.19/250.31	c  250s |      20 |  1041725 |   934727 |      937   2105 |        0 |        0
252.19/252.31	c  252s |      20 |  1049213 |   941427 |      937   2118 |        0 |        0
254.19/254.32	c  254s |      20 |  1057235 |   948627 |      937   2131 |        0 |        0
256.18/256.35	c  256s |      20 |  1065580 |   956127 |      937   2145 |        0 |        0
258.18/258.38	c  258s |      20 |  1073475 |   963227 |      937   2158 |        0 |        0
260.18/260.39	c  260s |      20 |  1081140 |   970227 |      937   2172 |        0 |        0
262.28/262.41	c  262s |      20 |  1089249 |   977427 |      937   2185 |        0 |        0
264.28/264.45	c  264s |      20 |  1096639 |   984127 |      937   2198 |        0 |        0
266.28/266.48	c  266s |      20 |  1104295 |   991027 |      937   2211 |        0 |        0
268.38/268.53	c  268s |      20 |  1111187 |   997327 |     1031   2222 |        0 |        0
269.28/269.43	c  269s |      21 |  1114601 |  1000345 |     1031   2227 |        0 |        0
271.27/271.45	c  271s |      21 |  1123089 |  1007645 |     1031   2239 |        0 |        0
273.27/273.47	c  273s |      21 |  1130613 |  1014345 |     1031   2251 |        0 |        0
275.37/275.50	c  275s |      21 |  1138318 |  1021145 |     1031   2262 |        0 |        0
277.37/277.50	c  277s |      21 |  1146309 |  1028145 |     1031   2274 |        0 |        0
279.38/279.52	c  279s |      21 |  1154244 |  1035245 |     1031   2286 |        0 |        0
281.37/281.53	c  281s |      21 |  1162280 |  1042445 |     1031   2299 |        0 |        0
283.38/283.54	c  283s |      21 |  1170544 |  1049745 |     1031   2311 |        0 |        0
285.37/285.56	c  285s |      21 |  1178844 |  1056945 |     1031   2323 |        0 |        0
287.37/287.57	c  287s |      21 |  1186520 |  1063745 |     1031   2335 |        0 |        0
289.38/289.58	c  289s |      21 |  1194977 |  1070845 |     1031   2347 |        0 |        0
291.37/291.59	c  291s |      21 |  1203615 |  1078145 |     1031   2360 |        0 |        0
293.47/293.62	c  293s |      21 |  1212363 |  1085445 |     1031   2372 |        0 |        0
295.47/295.62	c  295s |      21 |  1220811 |  1092845 |     1031   2385 |        0 |        0
297.46/297.64	c  297s |      21 |  1229150 |  1099945 |     1031   2398 |        0 |        0
299.46/299.67	c  299s |      21 |  1238038 |  1107145 |     1031   2410 |        0 |        0
301.47/301.68	c  301s |      21 |  1245597 |  1113645 |     1031   2421 |        0 |        0
303.46/303.69	c  303s |      21 |  1254320 |  1120845 |     1031   2434 |        0 |        0
305.55/305.70	c  305s |      21 |  1262304 |  1127745 |     1031   2446 |        0 |        0
307.55/307.70	c  307s |      21 |  1270841 |  1135045 |     1031   2458 |        0 |        0
309.55/309.70	c  309s |      21 |  1278683 |  1141945 |     1031   2470 |        0 |        0
311.55/311.72	c  311s |      21 |  1286389 |  1148745 |     1031   2482 |        0 |        0
313.56/313.73	c  313s |      21 |  1294056 |  1155645 |     1031   2493 |        0 |        0
315.55/315.73	c  315s |      21 |  1301779 |  1162445 |     1031   2505 |        0 |        0
317.55/317.74	c  317s |      21 |  1310075 |  1169745 |     1031   2518 |        0 |        0
319.55/319.75	c  319s |      21 |  1318184 |  1176845 |     1031   2530 |        0 |        0
321.55/321.75	c  321s |      21 |  1326799 |  1184245 |     1031   2543 |        0 |        0
323.55/323.77	c  323s |      21 |  1335475 |  1191645 |     1031   2555 |        0 |        0
325.56/325.79	c  325s |      21 |  1343387 |  1198645 |     1031   2567 |        0 |        0
327.65/327.81	c  327s |      21 |  1351601 |  1205645 |     1031   2579 |        0 |        0
329.65/329.83	c  329s |      21 |  1359283 |  1212445 |     1031   2591 |        0 |        0
331.65/331.84	c  331s |      21 |  1366202 |  1218745 |     1031   2602 |        0 |        0
333.65/333.87	c  333s |      21 |  1373511 |  1225145 |     1031   2613 |        0 |        0
335.64/335.88	c  335s |      21 |  1380918 |  1231745 |     1031   2624 |        0 |        0
337.65/337.89	c  337s |      21 |  1388515 |  1238645 |     1031   2636 |        0 |        0
339.74/339.90	c  339s |      21 |  1396023 |  1245445 |     1031   2648 |        0 |        0
341.74/341.91	c  341s |      21 |  1403952 |  1252445 |     1031   2660 |        0 |        0
343.74/343.91	c  343s |      21 |  1411689 |  1259245 |     1031   2672 |        0 |        0
345.74/345.93	c  345s |      21 |  1420200 |  1266445 |     1031   2684 |        0 |        0
347.74/347.96	c  347s |      21 |  1429260 |  1274045 |     1031   2698 |        0 |        0
349.75/349.97	c  349s |      21 |  1438322 |  1281745 |     1031   2711 |        0 |        0
351.74/351.98	c  351s |      21 |  1447037 |  1289245 |     1031   2724 |        0 |        0
353.74/353.99	c  353s |      21 |  1456473 |  1297045 |     1031   2738 |        0 |        0
355.83/356.01	c  356s |      21 |  1464717 |  1304345 |     1031   2750 |        0 |        0
357.83/358.03	c  358s |      21 |  1472787 |  1311545 |     1031   2762 |        0 |        0
359.83/360.04	c  360s |      21 |  1480221 |  1318245 |     1031   2774 |        0 |        0
361.84/362.04	c  362s |      21 |  1487495 |  1324745 |     1031   2785 |        0 |        0
363.83/364.07	c  364s |      21 |  1494600 |  1331045 |     1031   2796 |        0 |        0
365.83/366.10	c  366s |      21 |  1502182 |  1337845 |     1031   2808 |        0 |        0
367.93/368.12	c  368s |      21 |  1509567 |  1344445 |     1031   2819 |        0 |        0
369.93/370.14	c  370s |      21 |  1517384 |  1351345 |     1031   2831 |        0 |        0
371.93/372.16	c  372s |      21 |  1524303 |  1357645 |     1031   2842 |        0 |        0
373.94/374.18	c  374s |      21 |  1531481 |  1364145 |     1031   2853 |        0 |        0
376.02/376.20	c  376s |      21 |  1538721 |  1370545 |     1031   2864 |        0 |        0
378.02/378.23	c  378s |      21 |  1545794 |  1376845 |     1031   2875 |        0 |        0
380.02/380.25	c  380s |      21 |  1552982 |  1383245 |     1031   2886 |        0 |        0
382.02/382.26	c  382s |      21 |  1560050 |  1389445 |     1031   2897 |        0 |        0
384.02/384.28	c  384s |      21 |  1567427 |  1396145 |     1031   2908 |        0 |        0
386.02/386.30	c  386s |      21 |  1574347 |  1402445 |     1031   2919 |        0 |        0
388.12/388.33	c  388s |      21 |  1581241 |  1408745 |     1031   2930 |        0 |        0
390.12/390.34	c  390s |      21 |  1589223 |  1415645 |     1031   2942 |        0 |        0
392.12/392.36	c  392s |      21 |  1597550 |  1423045 |     1031   2955 |        0 |        0
394.12/394.38	c  394s |      21 |  1605669 |  1430245 |     1031   2968 |        0 |        0
396.21/396.40	c  396s |      21 |  1613921 |  1437445 |     1031   2980 |        0 |        0
398.22/398.43	c  398s |      21 |  1622131 |  1444645 |     1031   2993 |        0 |        0
400.21/400.45	c  400s |      21 |  1630219 |  1451845 |     1031   3005 |        0 |        0
402.21/402.47	c  402s |      21 |  1638246 |  1458745 |     1031   3017 |        0 |        0
404.31/404.50	c  404s |      21 |  1645323 |  1465245 |     1031   3028 |        0 |        0
406.31/406.52	c  406s |      21 |  1653450 |  1472345 |     1031   3040 |        0 |        0
408.31/408.54	c  408s |      21 |  1661873 |  1479545 |     1031   3053 |        0 |        0
410.31/410.56	c  410s |      21 |  1669261 |  1486045 |     1031   3064 |        0 |        0
412.30/412.56	c  412s |      21 |  1677006 |  1492945 |     1135   3076 |        0 |        0
414.31/414.58	c  414s |      21 |  1685063 |  1499845 |     1135   3087 |        0 |        0
414.62/414.82	c  414s |      22 |  1685935 |  1500622 |     1135   3088 |        0 |        0
416.61/416.84	c  416s |      22 |  1694421 |  1507822 |     1135   3099 |        0 |        0
418.61/418.86	c  418s |      22 |  1702416 |  1514722 |     1135   3110 |        0 |        0
420.61/420.88	c  420s |      22 |  1710390 |  1521722 |     1135   3121 |        0 |        0
422.61/422.88	c  422s |      22 |  1718406 |  1528722 |     1135   3133 |        0 |        0
424.61/424.90	c  424s |      22 |  1726394 |  1535622 |     1135   3144 |        0 |        0
426.71/426.91	c  426s |      22 |  1734273 |  1542522 |     1135   3154 |        0 |        0
428.70/428.92	c  428s |      22 |  1742101 |  1549522 |     1135   3166 |        0 |        0
430.70/430.93	c  430s |      22 |  1750219 |  1556622 |     1135   3177 |        0 |        0
432.70/432.94	c  432s |      22 |  1757999 |  1563422 |     1135   3188 |        0 |        0
434.70/434.94	c  434s |      22 |  1766325 |  1570722 |     1135   3199 |        0 |        0
436.70/436.95	c  436s |      22 |  1774612 |  1577922 |     1135   3211 |        0 |        0
438.70/438.97	c  438s |      22 |  1782940 |  1585322 |     1135   3223 |        0 |        0
440.70/440.97	c  440s |      22 |  1791068 |  1592422 |     1135   3234 |        0 |        0
442.69/442.99	c  442s |      22 |  1799507 |  1599722 |     1135   3246 |        0 |        0
444.79/445.01	c  444s |      22 |  1807547 |  1606822 |     1135   3257 |        0 |        0
446.79/447.02	c  447s |      22 |  1816166 |  1614222 |     1135   3269 |        0 |        0
448.80/449.05	c  449s |      22 |  1824392 |  1621322 |     1135   3280 |        0 |        0
450.79/451.06	c  451s |      22 |  1832175 |  1628322 |     1135   3291 |        0 |        0
452.79/453.06	c  453s |      22 |  1839657 |  1635022 |     1135   3302 |        0 |        0
454.79/455.07	c  455s |      22 |  1847159 |  1641822 |     1135   3312 |        0 |        0
456.79/457.09	c  457s |      22 |  1854486 |  1648422 |     1135   3323 |        0 |        0
458.89/459.10	c  459s |      22 |  1861505 |  1654722 |     1135   3333 |        0 |        0
460.90/461.13	c  461s |      22 |  1869540 |  1661722 |     1135   3344 |        0 |        0
462.89/463.15	c  463s |      22 |  1877401 |  1668822 |     1135   3355 |        0 |        0
464.88/465.17	c  465s |      22 |  1885217 |  1675822 |     1135   3366 |        0 |        0
466.88/467.18	c  467s |      22 |  1893176 |  1682922 |     1135   3378 |        0 |        0
468.88/469.18	c  469s |      22 |  1900942 |  1689822 |     1135   3389 |        0 |        0
470.88/471.20	c  471s |      22 |  1908867 |  1696822 |     1135   3400 |        0 |        0
472.99/473.22	c  473s |      22 |  1916724 |  1703722 |     1135   3411 |        0 |        0
474.97/475.23	c  475s |      22 |  1924702 |  1710822 |     1135   3422 |        0 |        0
476.97/477.24	c  477s |      22 |  1932172 |  1717522 |     1135   3433 |        0 |        0
478.97/479.24	c  479s |      22 |  1939578 |  1724122 |     1135   3443 |        0 |        0
480.97/481.25	c  481s |      22 |  1946682 |  1730522 |     1135   3453 |        0 |        0
482.97/483.25	c  483s |      22 |  1953757 |  1736922 |     1135   3463 |        0 |        0
484.97/485.28	c  485s |      22 |  1961047 |  1743522 |     1135   3474 |        0 |        0
486.97/487.28	c  487s |      22 |  1968280 |  1749822 |     1135   3484 |        0 |        0
489.07/489.32	c  489s |      22 |  1976095 |  1756722 |     1135   3495 |        0 |        0
491.06/491.33	c  491s |      22 |  1983605 |  1763322 |     1135   3505 |        0 |        0
493.06/493.35	c  493s |      22 |  1991372 |  1770122 |     1135   3516 |        0 |        0
495.06/495.36	c  495s |      22 |  1999003 |  1776922 |     1135   3526 |        0 |        0
497.07/497.36	c  497s |      22 |  2006893 |  1783822 |     1135   3537 |        0 |        0
499.06/499.38	c  499s |      22 |  2014447 |  1790622 |     1135   3548 |        0 |        0
501.17/501.40	c  501s |      22 |  2022089 |  1797522 |     1135   3559 |        0 |        0
503.17/503.41	c  503s |      22 |  2029661 |  1804222 |     1135   3570 |        0 |        0
505.17/505.44	c  505s |      22 |  2037321 |  1811022 |     1135   3581 |        0 |        0
507.16/507.44	c  507s |      22 |  2044424 |  1817522 |     1135   3591 |        0 |        0
509.17/509.44	c  509s |      22 |  2051550 |  1823922 |     1135   3601 |        0 |        0
511.16/511.47	c  511s |      22 |  2059047 |  1830622 |     1135   3612 |        0 |        0
513.16/513.49	c  513s |      22 |  2066687 |  1837522 |     1135   3623 |        0 |        0
515.26/515.50	c  515s |      22 |  2074034 |  1844022 |     1135   3633 |        0 |        0
517.26/517.51	c  517s |      22 |  2081696 |  1850722 |     1135   3643 |        0 |        0
519.26/519.51	c  519s |      22 |  2088648 |  1857022 |     1135   3653 |        0 |        0
521.26/521.52	c  521s |      22 |  2096178 |  1863622 |     1135   3664 |        0 |        0
523.26/523.54	c  523s |      22 |  2103205 |  1869822 |     1135   3673 |        0 |        0
525.25/525.54	c  525s |      22 |  2109895 |  1875722 |     1135   3683 |        0 |        0
527.25/527.57	c  527s |      22 |  2116873 |  1881922 |     1135   3692 |        0 |        0
529.35/529.61	c  529s |      22 |  2123302 |  1887722 |     1135   3702 |        0 |        0
531.35/531.61	c  531s |      22 |  2129882 |  1893722 |     1135   3711 |        0 |        0
533.36/533.61	c  533s |      22 |  2138118 |  1900922 |     1135   3722 |        0 |        0
535.35/535.62	c  535s |      22 |  2145405 |  1907422 |     1135   3733 |        0 |        0
537.35/537.62	c  537s |      22 |  2152649 |  1913622 |     1135   3743 |        0 |        0
539.35/539.66	c  539s |      22 |  2159800 |  1920022 |     1135   3753 |        0 |        0
541.35/541.66	c  541s |      22 |  2166471 |  1926022 |     1135   3762 |        0 |        0
543.35/543.69	c  543s |      22 |  2173177 |  1932022 |     1135   3772 |        0 |        0
545.45/545.71	c  545s |      22 |  2179677 |  1937922 |     1135   3781 |        0 |        0
547.44/547.75	c  547s |      22 |  2186362 |  1944022 |     1135   3791 |        0 |        0
549.44/549.77	c  549s |      22 |  2193012 |  1950022 |     1135   3800 |        0 |        0
551.44/551.78	c  551s |      22 |  2199699 |  1956022 |     1135   3810 |        0 |        0
553.54/553.81	c  553s |      22 |  2206026 |  1961722 |     1135   3819 |        0 |        0
555.54/555.84	c  555s |      22 |  2212232 |  1967222 |     1135   3827 |        0 |        0
557.55/557.85	c  557s |      22 |  2217793 |  1972322 |     1135   3835 |        0 |        0
559.54/559.88	c  559s |      22 |  2225281 |  1978822 |     1135   3846 |        0 |        0
561.54/561.89	c  561s |      22 |  2231861 |  1984622 |     1135   3855 |        0 |        0
563.64/563.91	c  563s |      22 |  2237733 |  1990022 |     1135   3863 |        0 |        0
565.64/565.94	c  565s |      22 |  2244916 |  1996322 |     1135   3873 |        0 |        0
567.63/567.97	c  567s |      22 |  2252269 |  2002822 |     1135   3883 |        0 |        0
569.64/569.98	c  569s |      22 |  2259362 |  2009122 |     1135   3893 |        0 |        0
571.63/572.00	c  571s |      22 |  2266178 |  2015122 |     1135   3903 |        0 |        0
573.73/574.03	c  574s |      22 |  2272739 |  2021022 |     1135   3912 |        0 |        0
575.73/576.05	c  576s |      22 |  2279502 |  2027022 |     1135   3921 |        0 |        0
577.73/578.07	c  578s |      22 |  2286267 |  2033122 |     1135   3931 |        0 |        0
579.73/580.07	c  580s |      22 |  2293117 |  2039122 |     1135   3941 |        0 |        0
581.73/582.10	c  582s |      22 |  2299714 |  2045022 |     1135   3950 |        0 |        0
583.83/584.13	c  584s |      22 |  2305681 |  2050522 |     1135   3959 |        0 |        0
585.82/586.15	c  586s |      22 |  2312723 |  2056622 |     1135   3968 |        0 |        0
587.82/588.18	c  588s |      22 |  2319319 |  2062522 |     1135   3978 |        0 |        0
589.82/590.19	c  590s |      22 |  2325472 |  2068022 |     1135   3986 |        0 |        0
591.92/592.21	c  592s |      22 |  2331981 |  2073722 |     1135   3995 |        0 |        0
593.93/594.23	c  594s |      22 |  2338436 |  2079322 |     1135   4004 |        0 |        0
595.92/596.25	c  596s |      22 |  2345821 |  2085722 |     1135   4014 |        0 |        0
597.92/598.26	c  598s |      22 |  2352650 |  2091822 |     1135   4024 |        0 |        0
599.92/600.26	c  600s |      22 |  2359277 |  2097722 |     1135   4033 |        0 |        0
601.92/602.28	c  602s |      22 |  2365759 |  2103522 |     1135   4042 |        0 |        0
603.93/604.28	c  604s |      22 |  2371793 |  2108922 |     1135   4051 |        0 |        0
606.03/606.31	c  606s |      22 |  2378131 |  2114522 |     1135   4060 |        0 |        0
608.02/608.34	c  608s |      22 |  2384455 |  2120222 |     1135   4069 |        0 |        0
610.02/610.37	c  610s |      22 |  2390541 |  2125722 |     1135   4077 |        0 |        0
612.02/612.37	c  612s |      22 |  2396934 |  2131422 |     1135   4086 |        0 |        0
614.02/614.39	c  614s |      22 |  2403534 |  2137422 |     1135   4096 |        0 |        0
616.02/616.39	c  616s |      22 |  2409423 |  2142722 |     1135   4104 |        0 |        0
618.12/618.42	c  618s |      22 |  2415445 |  2148022 |     1135   4112 |        0 |        0
620.11/620.43	c  620s |      22 |  2422984 |  2154722 |     1135   4123 |        0 |        0
622.11/622.44	c  622s |      22 |  2431033 |  2161922 |     1135   4134 |        0 |        0
624.11/624.45	c  624s |      22 |  2438565 |  2168522 |     1135   4145 |        0 |        0
626.11/626.47	c  626s |      22 |  2445655 |  2174822 |     1135   4155 |        0 |        0
628.11/628.47	c  628s |      22 |  2452640 |  2181022 |     1135   4165 |        0 |        0
630.12/630.49	c  630s |      22 |  2460068 |  2187422 |     1135   4176 |        0 |        0
632.11/632.49	c  632s |      22 |  2466552 |  2193422 |     1135   4185 |        0 |        0
634.21/634.50	c  634s |      22 |  2473329 |  2199622 |     1135   4195 |        0 |        0
636.21/636.51	c  636s |      22 |  2480402 |  2206022 |     1135   4205 |        0 |        0
638.21/638.54	c  638s |      22 |  2487683 |  2212522 |     1135   4216 |        0 |        0
640.21/640.57	c  640s |      22 |  2494290 |  2218522 |     1135   4225 |        0 |        0
642.21/642.59	c  642s |      22 |  2500691 |  2224322 |     1135   4234 |        0 |        0
644.31/644.61	c  644s |      22 |  2507438 |  2230522 |     1135   4244 |        0 |        0
646.30/646.63	c  646s |      22 |  2513672 |  2236222 |     1249   4253 |        0 |        0
648.30/648.64	c  648s |      22 |  2519955 |  2242022 |     1249   4261 |        0 |        0
650.30/650.64	c  650s |      22 |  2526575 |  2248022 |     1249   4270 |        0 |        0
651.30/651.65	c  651s |      23 |  2529944 |  2251038 |     1249   4275 |        0 |        0
653.31/653.66	c  653s |      23 |  2537824 |  2257938 |     1249   4285 |        0 |        0
655.30/655.69	c  655s |      23 |  2545494 |  2264738 |     1249   4294 |        0 |        0
657.39/657.70	c  657s |      23 |  2552984 |  2271438 |     1249   4304 |        0 |        0
659.39/659.71	c  659s |      23 |  2561080 |  2278338 |     1249   4314 |        0 |        0
661.39/661.72	c  661s |      23 |  2568763 |  2285238 |     1249   4324 |        0 |        0
663.39/663.75	c  663s |      23 |  2576490 |  2292138 |     1249   4334 |        0 |        0
665.39/665.76	c  665s |      23 |  2584224 |  2298938 |     1249   4344 |        0 |        0
667.38/667.78	c  667s |      23 |  2591989 |  2305838 |     1249   4354 |        0 |        0
669.38/669.78	c  669s |      23 |  2599747 |  2312538 |     1249   4364 |        0 |        0
671.48/671.80	c  671s |      23 |  2606885 |  2318838 |     1249   4373 |        0 |        0
673.48/673.81	c  673s |      23 |  2614113 |  2325338 |     1249   4382 |        0 |        0
675.48/675.84	c  675s |      23 |  2621688 |  2331938 |     1249   4392 |        0 |        0
677.49/677.85	c  677s |      23 |  2628852 |  2338238 |     1249   4401 |        0 |        0
679.49/679.87	c  679s |      23 |  2635436 |  2344138 |     1249   4410 |        0 |        0
681.49/681.88	c  681s |      23 |  2642779 |  2350538 |     1249   4419 |        0 |        0
683.49/683.89	c  683s |      23 |  2650001 |  2356938 |     1249   4428 |        0 |        0
685.59/685.90	c  685s |      23 |  2657172 |  2363338 |     1249   4438 |        0 |        0
687.59/687.90	c  687s |      23 |  2664654 |  2369938 |     1249   4447 |        0 |        0
689.60/689.92	c  689s |      23 |  2672959 |  2377038 |     1249   4458 |        0 |        0
691.59/691.94	c  691s |      23 |  2680693 |  2383938 |     1249   4468 |        0 |        0
693.59/693.96	c  693s |      23 |  2687670 |  2390138 |     1249   4477 |        0 |        0
695.59/695.96	c  695s |      23 |  2694148 |  2395938 |     1249   4485 |        0 |        0
697.58/697.98	c  697s |      23 |  2701914 |  2402838 |     1249   4495 |        0 |        0
699.68/700.00	c  699s |      23 |  2709402 |  2409638 |     1249   4505 |        0 |        0
701.69/702.01	c  701s |      23 |  2716376 |  2415938 |     1249   4514 |        0 |        0
703.68/704.03	c  704s |      23 |  2723733 |  2422538 |     1249   4524 |        0 |        0
705.68/706.06	c  706s |      23 |  2731008 |  2429038 |     1249   4533 |        0 |        0
707.68/708.06	c  708s |      23 |  2738866 |  2435938 |     1249   4543 |        0 |        0
709.68/710.08	c  710s |      23 |  2746665 |  2442838 |     1249   4553 |        0 |        0
711.68/712.09	c  712s |      23 |  2754324 |  2449538 |     1249   4563 |        0 |        0
713.69/714.09	c  714s |      23 |  2761233 |  2455638 |     1249   4572 |        0 |        0
715.78/716.12	c  716s |      23 |  2768225 |  2461838 |     1249   4581 |        0 |        0
717.78/718.14	c  718s |      23 |  2774514 |  2467538 |     1249   4589 |        0 |        0
719.78/720.15	c  720s |      23 |  2781145 |  2473438 |     1249   4598 |        0 |        0
721.78/722.15	c  722s |      23 |  2787805 |  2479338 |     1249   4606 |        0 |        0
723.78/724.19	c  724s |      23 |  2795082 |  2485638 |     1249   4616 |        0 |        0
725.88/726.21	c  726s |      23 |  2802011 |  2491838 |     1249   4625 |        0 |        0
727.87/728.22	c  728s |      23 |  2809480 |  2498538 |     1249   4634 |        0 |        0
729.87/730.25	c  730s |      23 |  2816530 |  2504938 |     1249   4644 |        0 |        0
731.87/732.26	c  732s |      23 |  2824191 |  2511738 |     1249   4653 |        0 |        0
733.87/734.27	c  734s |      23 |  2830479 |  2517638 |     1249   4662 |        0 |        0
735.87/736.28	c  736s |      23 |  2837327 |  2523738 |     1249   4671 |        0 |        0
737.98/738.31	c  738s |      23 |  2843802 |  2529638 |     1249   4679 |        0 |        0
739.97/740.32	c  740s |      23 |  2850106 |  2535438 |     1249   4688 |        0 |        0
741.97/742.35	c  742s |      23 |  2857470 |  2541938 |     1249   4697 |        0 |        0
743.97/744.35	c  744s |      23 |  2864354 |  2548238 |     1249   4706 |        0 |        0
745.97/746.37	c  746s |      23 |  2871133 |  2554338 |     1249   4715 |        0 |        0
747.97/748.38	c  748s |      23 |  2878170 |  2560738 |     1249   4724 |        0 |        0
749.98/750.38	c  750s |      23 |  2885304 |  2567138 |     1249   4734 |        0 |        0
752.07/752.41	c  752s |      23 |  2892603 |  2573738 |     1249   4743 |        0 |        0
754.07/754.42	c  754s |      23 |  2900355 |  2580638 |     1249   4753 |        0 |        0
756.07/756.43	c  756s |      23 |  2907832 |  2587238 |     1249   4763 |        0 |        0
758.06/758.44	c  758s |      23 |  2914884 |  2593538 |     1249   4772 |        0 |        0
760.06/760.47	c  760s |      23 |  2921800 |  2599738 |     1249   4781 |        0 |        0
762.08/762.48	c  762s |      23 |  2929225 |  2606338 |     1249   4791 |        0 |        0
764.17/764.50	c  764s |      23 |  2936167 |  2612638 |     1249   4800 |        0 |        0
766.17/766.52	c  766s |      23 |  2942977 |  2618738 |     1249   4809 |        0 |        0
768.17/768.55	c  768s |      23 |  2950008 |  2625038 |     1249   4818 |        0 |        0
770.17/770.55	c  770s |      23 |  2957423 |  2631638 |     1249   4827 |        0 |        0
772.17/772.57	c  772s |      23 |  2964314 |  2637938 |     1249   4836 |        0 |        0
774.18/774.58	c  774s |      23 |  2971880 |  2644638 |     1249   4846 |        0 |        0
776.27/776.62	c  776s |      23 |  2978788 |  2650938 |     1249   4855 |        0 |        0
778.27/778.64	c  778s |      23 |  2985986 |  2657438 |     1249   4865 |        0 |        0
780.27/780.65	c  780s |      23 |  2993058 |  2663938 |     1249   4874 |        0 |        0
782.27/782.66	c  782s |      23 |  3000452 |  2670638 |     1249   4884 |        0 |        0
784.27/784.67	c  784s |      23 |  3008105 |  2677538 |     1249   4894 |        0 |        0
786.28/786.69	c  786s |      23 |  3015519 |  2683938 |     1249   4903 |        0 |        0
788.37/788.70	c  788s |      23 |  3022642 |  2690238 |     1249   4912 |        0 |        0
790.37/790.71	c  790s |      23 |  3029758 |  2696538 |     1249   4921 |        0 |        0
792.37/792.71	c  792s |      23 |  3037153 |  2703138 |     1249   4931 |        0 |        0
794.37/794.73	c  794s |      23 |  3044534 |  2709638 |     1249   4940 |        0 |        0
796.37/796.75	c  796s |      23 |  3052196 |  2716238 |     1249   4950 |        0 |        0
798.37/798.77	c  798s |      23 |  3059347 |  2722638 |     1249   4959 |        0 |        0
800.46/800.80	c  800s |      23 |  3066057 |  2728838 |     1249   4968 |        0 |        0
802.46/802.82	c  802s |      23 |  3072788 |  2735038 |     1249   4977 |        0 |        0
804.46/804.84	c  804s |      23 |  3079820 |  2741438 |     1249   4986 |        0 |        0
806.46/806.85	c  806s |      23 |  3087816 |  2748438 |     1249   4997 |        0 |        0
808.46/808.87	c  808s |      23 |  3095284 |  2754938 |     1249   5006 |        0 |        0
810.47/810.88	c  810s |      23 |  3102477 |  2761338 |     1249   5015 |        0 |        0
812.46/812.89	c  812s |      23 |  3109418 |  2767438 |     1249   5024 |        0 |        0
814.56/814.93	c  814s |      23 |  3117053 |  2773838 |     1249   5034 |        0 |        0
816.56/816.95	c  816s |      23 |  3124754 |  2780538 |     1249   5043 |        0 |        0
818.56/818.97	c  818s |      23 |  3132119 |  2787438 |     1249   5053 |        0 |        0
820.66/821.00	c  820s |      23 |  3139679 |  2794038 |     1249   5063 |        0 |        0
822.67/823.01	c  822s |      23 |  3146801 |  2800438 |     1249   5072 |        0 |        0
824.66/825.03	c  825s |      23 |  3153871 |  2806738 |     1249   5081 |        0 |        0
826.66/827.03	c  827s |      23 |  3160652 |  2812838 |     1249   5090 |        0 |        0
828.66/829.06	c  829s |      23 |  3167638 |  2819138 |     1249   5099 |        0 |        0
830.66/831.07	c  831s |      23 |  3174087 |  2825138 |     1249   5108 |        0 |        0
832.66/833.09	c  833s |      23 |  3180735 |  2831238 |     1249   5117 |        0 |        0
834.66/835.10	c  835s |      23 |  3187344 |  2837238 |     1249   5125 |        0 |        0
836.75/837.13	c  837s |      23 |  3194527 |  2843738 |     1249   5135 |        0 |        0
838.75/839.14	c  839s |      23 |  3201137 |  2849738 |     1249   5144 |        0 |        0
840.75/841.17	c  841s |      23 |  3208385 |  2856238 |     1249   5153 |        0 |        0
842.75/843.18	c  843s |      23 |  3215350 |  2862338 |     1249   5162 |        0 |        0
844.85/845.20	c  845s |      23 |  3222254 |  2868538 |     1249   5171 |        0 |        0
846.86/847.24	c  847s |      23 |  3229499 |  2874838 |     1249   5180 |        0 |        0
848.85/849.28	c  849s |      23 |  3235821 |  2880538 |     1249   5188 |        0 |        0
850.85/851.29	c  851s |      23 |  3241826 |  2886038 |     1249   5196 |        0 |        0
852.95/853.31	c  853s |      23 |  3248211 |  2891538 |     1249   5204 |        0 |        0
854.95/855.31	c  855s |      23 |  3254923 |  2897538 |     1249   5213 |        0 |        0
856.96/857.34	c  857s |      23 |  3261730 |  2903638 |     1249   5222 |        0 |        0
858.97/859.35	c  859s |      23 |  3268029 |  2909438 |     1249   5230 |        0 |        0
860.96/861.37	c  861s |      23 |  3274292 |  2915138 |     1249   5238 |        0 |        0
862.96/863.38	c  863s |      23 |  3280213 |  2920638 |     1249   5246 |        0 |        0
864.96/865.39	c  865s |      23 |  3286436 |  2926238 |     1249   5254 |        0 |        0
867.06/867.41	c  867s |      23 |  3294415 |  2933238 |     1249   5264 |        0 |        0
869.05/869.43	c  869s |      23 |  3301794 |  2939938 |     1249   5274 |        0 |        0
871.06/871.44	c  871s |      23 |  3308988 |  2946538 |     1249   5283 |        0 |        0
873.05/873.47	c  873s |      23 |  3317247 |  2953538 |     1249   5294 |        0 |        0
875.05/875.48	c  875s |      23 |  3325554 |  2960538 |     1249   5304 |        0 |        0
877.05/877.49	c  877s |      23 |  3332415 |  2966738 |     1249   5313 |        0 |        0
879.15/879.51	c  879s |      23 |  3340093 |  2973638 |     1249   5322 |        0 |        0
881.15/881.52	c  881s |      23 |  3347571 |  2980238 |     1249   5332 |        0 |        0
883.16/883.52	c  883s |      23 |  3354614 |  2986638 |     1249   5341 |        0 |        0
885.15/885.55	c  885s |      23 |  3361883 |  2993138 |     1249   5351 |        0 |        0
887.15/887.56	c  887s |      23 |  3369124 |  2999538 |     1249   5360 |        0 |        0
889.15/889.57	c  889s |      23 |  3376528 |  3006038 |     1249   5370 |        0 |        0
891.25/891.60	c  891s |      23 |  3383678 |  3012538 |     1249   5379 |        0 |        0
893.25/893.63	c  893s |      23 |  3391174 |  3019238 |     1249   5389 |        0 |        0
895.26/895.65	c  895s |      23 |  3399050 |  3026138 |     1249   5399 |        0 |        0
897.25/897.67	c  897s |      23 |  3406906 |  3033038 |     1249   5409 |        0 |        0
899.25/899.68	c  899s |      23 |  3413984 |  3039338 |     1249   5418 |        0 |        0
901.35/901.70	c  901s |      23 |  3421992 |  3046338 |     1249   5428 |        0 |        0
903.35/903.72	c  903s |      23 |  3429546 |  3053038 |     1249   5438 |        0 |        0
905.35/905.75	c  905s |      23 |  3436492 |  3059438 |     1249   5447 |        0 |        0
907.36/907.76	c  907s |      23 |  3443474 |  3065738 |     1249   5456 |        0 |        0
909.35/909.77	c  909s |      23 |  3450351 |  3071938 |     1249   5465 |        0 |        0
911.35/911.79	c  911s |      23 |  3457190 |  3078138 |     1249   5474 |        0 |        0
913.45/913.80	c  913s |      23 |  3463902 |  3084338 |     1249   5483 |        0 |        0
915.45/915.83	c  915s |      23 |  3470363 |  3090438 |     1249   5491 |        0 |        0
917.44/917.84	c  917s |      23 |  3476646 |  3096238 |     1249   5500 |        0 |        0
919.45/919.86	c  919s |      23 |  3483611 |  3102438 |     1249   5509 |        0 |        0
921.44/921.89	c  921s |      23 |  3490494 |  3108738 |     1249   5518 |        0 |        0
923.54/923.90	c  923s |      23 |  3497207 |  3114938 |     1249   5527 |        0 |        0
925.54/925.91	c  925s |      23 |  3504326 |  3121438 |     1249   5536 |        0 |        0
927.54/927.93	c  927s |      23 |  3511788 |  3128138 |     1249   5546 |        0 |        0
929.54/929.95	c  929s |      23 |  3519116 |  3134738 |     1249   5556 |        0 |        0
931.55/931.96	c  931s |      23 |  3526014 |  3140938 |     1249   5565 |        0 |        0
933.54/933.97	c  933s |      23 |  3533318 |  3147338 |     1249   5574 |        0 |        0
935.64/936.00	c  935s |      23 |  3540097 |  3153538 |     1249   5583 |        0 |        0
937.64/938.04	c  938s |      23 |  3546624 |  3159638 |     1249   5592 |        0 |        0
939.64/940.05	c  940s |      23 |  3554009 |  3166238 |     1249   5601 |        0 |        0
941.64/942.08	c  942s |      23 |  3561103 |  3172638 |     1249   5610 |        0 |        0
943.74/944.11	c  944s |      23 |  3567997 |  3178938 |     1249   5619 |        0 |        0
945.75/946.12	c  946s |      23 |  3574297 |  3184838 |     1249   5628 |        0 |        0
947.74/948.13	c  948s |      23 |  3580147 |  3190338 |     1249   5636 |        0 |        0
949.74/950.15	c  950s |      23 |  3586218 |  3196038 |     1249   5644 |        0 |        0
951.74/952.16	c  952s |      23 |  3592504 |  3201538 |     1249   5652 |        0 |        0
953.84/954.20	c  954s |      23 |  3598205 |  3206938 |     1249   5660 |        0 |        0
955.84/956.20	c  956s |      23 |  3603894 |  3212238 |     1249   5667 |        0 |        0
957.85/958.22	c  958s |      23 |  3610741 |  3218338 |     1249   5676 |        0 |        0
959.84/960.24	c  960s |      23 |  3617967 |  3224838 |     1249   5686 |        0 |        0
961.84/962.24	c  962s |      23 |  3624806 |  3231038 |     1249   5695 |        0 |        0
963.84/964.26	c  964s |      23 |  3632271 |  3237638 |     1249   5704 |        0 |        0
965.84/966.28	c  966s |      23 |  3639796 |  3244338 |     1249   5714 |        0 |        0
967.94/968.30	c  968s |      23 |  3647354 |  3251038 |     1249   5724 |        0 |        0
969.94/970.32	c  970s |      23 |  3654691 |  3257638 |     1249   5733 |        0 |        0
971.94/972.32	c  972s |      23 |  3662094 |  3264238 |     1249   5743 |        0 |        0
973.94/974.35	c  974s |      23 |  3669636 |  3270838 |     1249   5753 |        0 |        0
975.94/976.36	c  976s |      23 |  3676454 |  3276838 |     1249   5761 |        0 |        0
977.94/978.36	c  978s |      23 |  3683607 |  3283138 |     1249   5770 |        0 |        0
979.94/980.38	c  980s |      23 |  3690846 |  3289638 |     1249   5780 |        0 |        0
981.93/982.40	c  982s |      23 |  3697560 |  3295638 |     1249   5789 |        0 |        0
984.03/984.40	c  984s |      23 |  3704042 |  3301538 |     1249   5797 |        0 |        0
986.03/986.41	c  986s |      23 |  3711080 |  3307838 |     1249   5806 |        0 |        0
988.03/988.43	c  988s |      23 |  3718049 |  3314238 |     1249   5816 |        0 |        0
990.03/990.45	c  990s |      23 |  3725414 |  3320838 |     1249   5825 |        0 |        0
992.04/992.48	c  992s |      23 |  3732204 |  3327138 |     1249   5834 |        0 |        0
994.14/994.51	c  994s |      23 |  3739384 |  3333638 |     1249   5844 |        0 |        0
996.13/996.53	c  996s |      23 |  3745793 |  3339538 |     1249   5852 |        0 |        0
998.13/998.54	c  998s |      23 |  3752532 |  3345838 |     1249   5861 |        0 |        0
1000.13/1000.55	c 1000s |      23 |  3759673 |  3352438 |     1249   5871 |        0 |        0
1002.13/1002.55	c 1002s |      23 |  3766671 |  3358838 |     1374   5879 |        0 |        0
1004.13/1004.57	c 1004s |      23 |  3773298 |  3364738 |     1374   5887 |        0 |        0
1006.13/1006.59	c 1006s |      23 |  3780332 |  3371138 |     1374   5895 |        0 |        0
1007.93/1008.36	c 1008s |      24 |  3786546 |  3376662 |     1374   5902 |        0 |        0
1009.93/1010.37	c 1010s |      24 |  3794038 |  3383262 |     1374   5911 |        0 |        0
1011.93/1012.39	c 1012s |      24 |  3800901 |  3389462 |     1374   5919 |        0 |        0
1014.04/1014.41	c 1014s |      24 |  3807426 |  3395462 |     1374   5927 |        0 |        0
1016.03/1016.41	c 1016s |      24 |  3813830 |  3401362 |     1374   5935 |        0 |        0
1018.03/1018.42	c 1018s |      24 |  3820335 |  3407262 |     1374   5943 |        0 |        0
1020.03/1020.44	c 1020s |      24 |  3827215 |  3413462 |     1374   5951 |        0 |        0
1022.03/1022.46	c 1022s |      24 |  3833997 |  3419562 |     1374   5959 |        0 |        0
1024.03/1024.48	c 1024s |      24 |  3840355 |  3425362 |     1374   5966 |        0 |        0
1026.04/1026.49	c 1026s |      24 |  3846976 |  3431262 |     1374   5974 |        0 |        0
1028.13/1028.51	c 1028s |      24 |  3853894 |  3437562 |     1374   5982 |        0 |        0
1030.13/1030.52	c 1030s |      24 |  3860300 |  3443362 |     1374   5990 |        0 |        0
1032.13/1032.53	c 1032s |      24 |  3866373 |  3448962 |     1374   5997 |        0 |        0
1034.13/1034.55	c 1034s |      24 |  3872438 |  3454562 |     1374   6005 |        0 |        0
1036.13/1036.58	c 1036s |      24 |  3878356 |  3460062 |     1374   6012 |        0 |        0
1038.24/1038.60	c 1038s |      24 |  3884847 |  3466062 |     1374   6020 |        0 |        0
1040.23/1040.61	c 1040s |      24 |  3891131 |  3471762 |     1374   6027 |        0 |        0
1042.23/1042.61	c 1042s |      24 |  3897366 |  3477462 |     1374   6035 |        0 |        0
1044.23/1044.61	c 1044s |      24 |  3904310 |  3483562 |     1374   6043 |        0 |        0
1046.23/1046.64	c 1046s |      24 |  3910804 |  3489462 |     1374   6050 |        0 |        0
1048.23/1048.66	c 1048s |      24 |  3917029 |  3495162 |     1374   6058 |        0 |        0
1050.23/1050.67	c 1050s |      24 |  3923373 |  3500862 |     1374   6065 |        0 |        0
1052.23/1052.68	c 1052s |      24 |  3930374 |  3507162 |     1374   6074 |        0 |        0
1054.33/1054.70	c 1054s |      24 |  3937222 |  3513462 |     1374   6082 |        0 |        0
1056.33/1056.71	c 1056s |      24 |  3944315 |  3519862 |     1374   6090 |        0 |        0
1058.33/1058.74	c 1058s |      24 |  3951094 |  3526062 |     1374   6099 |        0 |        0
1060.32/1060.74	c 1060s |      24 |  3957991 |  3532262 |     1374   6107 |        0 |        0
1062.33/1062.76	c 1062s |      24 |  3964723 |  3538362 |     1374   6115 |        0 |        0
1064.42/1064.80	c 1064s |      24 |  3971011 |  3544162 |     1374   6123 |        0 |        0
1066.42/1066.81	c 1066s |      24 |  3977740 |  3550062 |     1374   6130 |        0 |        0
1068.42/1068.84	c 1068s |      24 |  3984234 |  3555962 |     1374   6138 |        0 |        0
1070.42/1070.84	c 1070s |      24 |  3991211 |  3562162 |     1374   6146 |        0 |        0
1072.42/1072.87	c 1072s |      24 |  3998153 |  3568362 |     1374   6155 |        0 |        0
1074.43/1074.90	c 1074s |      24 |  4004579 |  3574162 |     1374   6162 |        0 |        0
1076.52/1076.92	c 1076s |      24 |  4011130 |  3580062 |     1374   6170 |        0 |        0
1078.52/1078.93	c 1078s |      24 |  4018210 |  3586362 |     1374   6178 |        0 |        0
1080.52/1080.96	c 1080s |      24 |  4024969 |  3592462 |     1374   6186 |        0 |        0
1082.52/1082.98	c 1082s |      24 |  4031488 |  3598362 |     1374   6194 |        0 |        0
1084.52/1084.98	c 1084s |      24 |  4038133 |  3604362 |     1374   6202 |        0 |        0
1086.52/1086.99	c 1086s |      24 |  4044465 |  3610162 |     1374   6210 |        0 |        0
1088.61/1089.02	c 1089s |      24 |  4051080 |  3616162 |     1374   6218 |        0 |        0
1090.61/1091.04	c 1091s |      24 |  4057567 |  3622062 |     1374   6226 |        0 |        0
1092.61/1093.05	c 1093s |      24 |  4064168 |  3627862 |     1374   6233 |        0 |        0
1094.61/1095.05	c 1095s |      24 |  4070528 |  3633662 |     1374   6241 |        0 |        0
1096.62/1097.08	c 1097s |      24 |  4076950 |  3639362 |     1374   6248 |        0 |        0
1098.63/1099.10	c 1099s |      24 |  4082868 |  3644762 |     1374   6256 |        0 |        0
1100.72/1101.10	c 1101s |      24 |  4088814 |  3650062 |     1374   6263 |        0 |        0
1102.72/1103.12	c 1103s |      24 |  4094667 |  3655462 |     1374   6270 |        0 |        0
1104.72/1105.13	c 1105s |      24 |  4100458 |  3660762 |     1374   6277 |        0 |        0
1106.72/1107.13	c 1107s |      24 |  4105884 |  3665762 |     1374   6283 |        0 |        0
1108.72/1109.17	c 1109s |      24 |  4111848 |  3671262 |     1374   6291 |        0 |        0
1110.83/1111.22	c 1111s |      24 |  4117550 |  3676462 |     1374   6297 |        0 |        0
1112.82/1113.25	c 1113s |      24 |  4124146 |  3682462 |     1374   6305 |        0 |        0
1114.82/1115.29	c 1115s |      24 |  4130121 |  3687962 |     1374   6313 |        0 |        0
1116.92/1117.32	c 1117s |      24 |  4135726 |  3693062 |     1374   6319 |        0 |        0
1118.92/1119.32	c 1119s |      24 |  4142731 |  3699362 |     1374   6328 |        0 |        0
1120.92/1121.34	c 1121s |      24 |  4150372 |  3706062 |     1374   6336 |        0 |        0
1122.92/1123.36	c 1123s |      24 |  4157280 |  3712262 |     1374   6345 |        0 |        0
1124.92/1125.39	c 1125s |      24 |  4164146 |  3718562 |     1374   6353 |        0 |        0
1127.02/1127.42	c 1127s |      24 |  4170838 |  3724662 |     1374   6361 |        0 |        0
1129.02/1129.44	c 1129s |      24 |  4177452 |  3730762 |     1374   6369 |        0 |        0
1131.02/1131.47	c 1131s |      24 |  4183979 |  3736762 |     1374   6377 |        0 |        0
1133.01/1133.48	c 1133s |      24 |  4190332 |  3742562 |     1374   6385 |        0 |        0
1135.11/1135.50	c 1135s |      24 |  4196599 |  3748262 |     1374   6392 |        0 |        0
1137.12/1137.53	c 1137s |      24 |  4202466 |  3753662 |     1374   6399 |        0 |        0
1139.11/1139.54	c 1139s |      24 |  4208465 |  3759162 |     1374   6407 |        0 |        0
1141.11/1141.58	c 1141s |      24 |  4214590 |  3764762 |     1374   6414 |        0 |        0
1143.21/1143.61	c 1143s |      24 |  4221598 |  3771062 |     1374   6422 |        0 |        0
1145.21/1145.63	c 1145s |      24 |  4229397 |  3777862 |     1374   6431 |        0 |        0
1147.21/1147.65	c 1147s |      24 |  4236646 |  3784362 |     1374   6440 |        0 |        0
1149.22/1149.66	c 1149s |      24 |  4244132 |  3791162 |     1374   6449 |        0 |        0
1151.21/1151.68	c 1151s |      24 |  4251950 |  3798162 |     1374   6458 |        0 |        0
1153.21/1153.68	c 1153s |      24 |  4259115 |  3804762 |     1374   6467 |        0 |        0
1155.21/1155.68	c 1155s |      24 |  4266516 |  3811362 |     1374   6476 |        0 |        0
1157.31/1157.70	c 1157s |      24 |  4274021 |  3818062 |     1374   6485 |        0 |        0
1159.31/1159.73	c 1159s |      24 |  4280956 |  3824362 |     1374   6493 |        0 |        0
1161.31/1161.74	c 1161s |      24 |  4287841 |  3830662 |     1374   6501 |        0 |        0
1163.31/1163.74	c 1163s |      24 |  4295015 |  3837062 |     1374   6510 |        0 |        0
1165.30/1165.75	c 1165s |      24 |  4302326 |  3843462 |     1374   6518 |        0 |        0
1167.30/1167.79	c 1167s |      24 |  4310177 |  3850162 |     1374   6528 |        0 |        0
1169.40/1169.80	c 1169s |      24 |  4317881 |  3856762 |     1374   6536 |        0 |        0
1171.40/1171.81	c 1171s |      24 |  4325004 |  3863062 |     1374   6545 |        0 |        0
1173.41/1173.82	c 1173s |      24 |  4332260 |  3869562 |     1374   6554 |        0 |        0
1175.40/1175.82	c 1175s |      24 |  4339510 |  3875962 |     1374   6562 |        0 |        0
1177.40/1177.83	c 1177s |      24 |  4347056 |  3882662 |     1374   6571 |        0 |        0
1179.40/1179.86	c 1179s |      24 |  4354732 |  3889462 |     1374   6580 |        0 |        0
1181.40/1181.88	c 1181s |      24 |  4361707 |  3895762 |     1374   6589 |        0 |        0
1183.50/1183.91	c 1183s |      24 |  4368589 |  3901962 |     1374   6597 |        0 |        0
1185.50/1185.92	c 1185s |      24 |  4375178 |  3907862 |     1374   6605 |        0 |        0
1187.50/1187.93	c 1187s |      24 |  4381616 |  3913562 |     1374   6613 |        0 |        0
1189.50/1189.94	c 1189s |      24 |  4388587 |  3919762 |     1374   6621 |        0 |        0
1191.50/1191.96	c 1191s |      24 |  4396435 |  3926562 |     1374   6630 |        0 |        0
1193.50/1193.97	c 1193s |      24 |  4403195 |  3932562 |     1374   6638 |        0 |        0
1195.61/1196.00	c 1195s |      24 |  4410468 |  3938962 |     1374   6646 |        0 |        0
1197.61/1198.02	c 1198s |      24 |  4416817 |  3944562 |     1374   6654 |        0 |        0
1199.60/1200.02	c 1200s |      24 |  4423589 |  3950562 |     1374   6662 |        0 |        0
1201.60/1202.05	c 1202s |      24 |  4430636 |  3956562 |     1374   6670 |        0 |        0
1203.60/1204.07	c 1204s |      24 |  4437506 |  3962562 |     1374   6678 |        0 |        0
1205.60/1206.08	c 1206s |      24 |  4444304 |  3968562 |     1374   6686 |        0 |        0
1207.61/1208.09	c 1208s |      24 |  4451337 |  3974862 |     1374   6694 |        0 |        0
1209.71/1210.10	c 1210s |      24 |  4458638 |  3981262 |     1374   6703 |        0 |        0
1211.70/1212.13	c 1212s |      24 |  4465912 |  3987862 |     1374   6712 |        0 |        0
1213.70/1214.15	c 1214s |      24 |  4472904 |  3994262 |     1374   6720 |        0 |        0
1215.70/1216.16	c 1216s |      24 |  4480129 |  4000762 |     1374   6729 |        0 |        0
1217.70/1218.16	c 1218s |      24 |  4487137 |  4007062 |     1374   6737 |        0 |        0
1219.71/1220.18	c 1220s |      24 |  4493785 |  4013162 |     1374   6745 |        0 |        0
1221.70/1222.20	c 1222s |      24 |  4500911 |  4019562 |     1374   6754 |        0 |        0
1223.80/1224.21	c 1224s |      24 |  4508202 |  4026162 |     1374   6763 |        0 |        0
1225.80/1226.24	c 1226s |      24 |  4515565 |  4032762 |     1374   6771 |        0 |        0
1227.80/1228.27	c 1228s |      24 |  4522768 |  4039262 |     1374   6780 |        0 |        0
1229.80/1230.28	c 1230s |      24 |  4529443 |  4045262 |     1374   6788 |        0 |        0
1231.80/1232.30	c 1232s |      24 |  4536580 |  4051662 |     1374   6797 |        0 |        0
1233.90/1234.32	c 1234s |      24 |  4543519 |  4057862 |     1374   6805 |        0 |        0
1235.90/1236.34	c 1236s |      24 |  4550365 |  4064062 |     1374   6813 |        0 |        0
1237.90/1238.35	c 1238s |      24 |  4557390 |  4070362 |     1374   6822 |        0 |        0
1239.90/1240.36	c 1240s |      24 |  4564226 |  4076762 |     1374   6830 |        0 |        0
1241.90/1242.38	c 1242s |      24 |  4571326 |  4083162 |     1374   6839 |        0 |        0
1243.99/1244.40	c 1244s |      24 |  4578137 |  4089362 |     1374   6847 |        0 |        0
1246.00/1246.43	c 1246s |      24 |  4585111 |  4095562 |     1374   6855 |        0 |        0
1247.99/1248.45	c 1248s |      24 |  4592123 |  4101862 |     1374   6864 |        0 |        0
1249.99/1250.46	c 1250s |      24 |  4599364 |  4108362 |     1374   6872 |        0 |        0
1251.99/1252.48	c 1252s |      24 |  4606389 |  4114662 |     1374   6881 |        0 |        0
1253.99/1254.48	c 1254s |      24 |  4613946 |  4121462 |     1374   6890 |        0 |        0
1256.09/1256.51	c 1256s |      24 |  4621539 |  4128262 |     1374   6899 |        0 |        0
1258.10/1258.54	c 1258s |      24 |  4629108 |  4134962 |     1374   6908 |        0 |        0
1260.09/1260.56	c 1260s |      24 |  4636142 |  4141362 |     1374   6917 |        0 |        0
1262.09/1262.59	c 1262s |      24 |  4643299 |  4147762 |     1374   6925 |        0 |        0
1264.19/1264.60	c 1264s |      24 |  4650506 |  4154162 |     1374   6934 |        0 |        0
1266.19/1266.61	c 1266s |      24 |  4658532 |  4161062 |     1374   6943 |        0 |        0
1268.19/1268.62	c 1268s |      24 |  4666224 |  4167862 |     1374   6952 |        0 |        0
1270.19/1270.64	c 1270s |      24 |  4673541 |  4174562 |     1374   6961 |        0 |        0
1272.19/1272.68	c 1272s |      24 |  4680600 |  4180862 |     1374   6970 |        0 |        0
1274.29/1274.71	c 1274s |      24 |  4687934 |  4187562 |     1374   6979 |        0 |        0
1276.29/1276.74	c 1276s |      24 |  4695154 |  4194162 |     1374   6987 |        0 |        0
1278.28/1278.75	c 1278s |      24 |  4701965 |  4200362 |     1374   6996 |        0 |        0
1280.28/1280.77	c 1280s |      24 |  4709009 |  4206862 |     1374   7004 |        0 |        0
1282.29/1282.77	c 1282s |      24 |  4716537 |  4213862 |     1374   7014 |        0 |        0
1284.38/1284.80	c 1284s |      24 |  4723430 |  4220262 |     1374   7022 |        0 |        0
1286.38/1286.81	c 1286s |      24 |  4730289 |  4226562 |     1374   7031 |        0 |        0
1288.38/1288.81	c 1288s |      24 |  4737095 |  4232762 |     1374   7039 |        0 |        0
1290.38/1290.84	c 1290s |      24 |  4743701 |  4238862 |     1374   7048 |        0 |        0
1292.38/1292.86	c 1292s |      24 |  4749796 |  4244562 |     1374   7055 |        0 |        0
1294.39/1294.87	c 1294s |      24 |  4756140 |  4250462 |     1374   7063 |        0 |        0
1296.38/1296.89	c 1296s |      24 |  4762615 |  4256362 |     1374   7071 |        0 |        0
1298.48/1298.91	c 1298s |      24 |  4769229 |  4262462 |     1374   7079 |        0 |        0
1300.48/1300.93	c 1300s |      24 |  4776228 |  4268862 |     1374   7088 |        0 |        0
1302.48/1302.93	c 1302s |      24 |  4782904 |  4275062 |     1374   7096 |        0 |        0
1304.48/1304.94	c 1304s |      24 |  4789485 |  4281162 |     1374   7104 |        0 |        0
1306.49/1306.97	c 1306s |      24 |  4796494 |  4287662 |     1374   7113 |        0 |        0
1308.48/1308.97	c 1308s |      24 |  4803030 |  4293762 |     1374   7121 |        0 |        0
1310.58/1311.00	c 1310s |      24 |  4810129 |  4300362 |     1374   7129 |        0 |        0
1312.58/1313.01	c 1313s |      24 |  4816852 |  4306662 |     1374   7138 |        0 |        0
1314.58/1315.05	c 1315s |      24 |  4823685 |  4312962 |     1374   7146 |        0 |        0
1316.58/1317.06	c 1317s |      24 |  4830204 |  4319062 |     1374   7154 |        0 |        0
1318.59/1319.08	c 1319s |      24 |  4836656 |  4325062 |     1374   7162 |        0 |        0
1320.58/1321.09	c 1321s |      24 |  4844291 |  4331962 |     1374   7171 |        0 |        0
1322.58/1323.10	c 1323s |      24 |  4851712 |  4338562 |     1374   7180 |        0 |        0
1324.68/1325.10	c 1325s |      24 |  4859049 |  4345162 |     1374   7189 |        0 |        0
1326.68/1327.12	c 1327s |      24 |  4866351 |  4351762 |     1374   7198 |        0 |        0
1328.68/1329.15	c 1329s |      24 |  4873438 |  4358062 |     1374   7206 |        0 |        0
1330.69/1331.16	c 1331s |      24 |  4880618 |  4364362 |     1374   7215 |        0 |        0
1332.68/1333.16	c 1333s |      24 |  4888307 |  4371162 |     1374   7224 |        0 |        0
1334.68/1335.18	c 1335s |      24 |  4895573 |  4377562 |     1374   7233 |        0 |        0
1336.77/1337.21	c 1337s |      24 |  4903022 |  4384162 |     1374   7242 |        0 |        0
1338.77/1339.24	c 1339s |      24 |  4910583 |  4390762 |     1374   7250 |        0 |        0
1340.77/1341.25	c 1341s |      24 |  4917618 |  4396962 |     1374   7259 |        0 |        0
1342.78/1343.29	c 1343s |      24 |  4923809 |  4402662 |     1374   7266 |        0 |        0
1344.77/1345.30	c 1345s |      24 |  4930726 |  4408962 |     1374   7275 |        0 |        0
1346.87/1347.32	c 1347s |      24 |  4937929 |  4415462 |     1374   7284 |        0 |        0
1348.87/1349.33	c 1349s |      24 |  4944772 |  4421662 |     1374   7292 |        0 |        0
1350.87/1351.35	c 1351s |      24 |  4951520 |  4427862 |     1374   7300 |        0 |        0
1352.87/1353.35	c 1353s |      24 |  4958062 |  4433862 |     1374   7308 |        0 |        0
1354.88/1355.37	c 1355s |      24 |  4964691 |  4439862 |     1374   7316 |        0 |        0
1356.87/1357.38	c 1357s |      24 |  4971199 |  4445762 |     1374   7324 |        0 |        0
1358.97/1359.40	c 1359s |      24 |  4978348 |  4452062 |     1374   7333 |        0 |        0
1360.97/1361.45	c 1361s |      24 |  4985051 |  4457962 |     1374   7341 |        0 |        0
1362.97/1363.46	c 1363s |      24 |  4991485 |  4463762 |     1374   7348 |        0 |        0
1364.97/1365.47	c 1365s |      24 |  4998370 |  4469762 |     1374   7356 |        0 |        0
1366.97/1367.49	c 1367s |      24 |  5005847 |  4476362 |     1374   7365 |        0 |        0
1368.97/1369.50	c 1369s |      24 |  5013389 |  4483062 |     1374   7374 |        0 |        0
1371.06/1371.51	c 1371s |      24 |  5021146 |  4489962 |     1374   7384 |        0 |        0
1373.06/1373.53	c 1373s |      24 |  5028527 |  4496762 |     1374   7393 |        0 |        0
1375.06/1375.53	c 1375s |      24 |  5036436 |  4503962 |     1374   7403 |        0 |        0
1377.06/1377.56	c 1377s |      24 |  5044327 |  4510962 |     1374   7412 |        0 |        0
1379.07/1379.57	c 1379s |      24 |  5051680 |  4517562 |     1374   7421 |        0 |        0
1381.06/1381.60	c 1381s |      24 |  5058925 |  4524162 |     1374   7430 |        0 |        0
1383.16/1383.63	c 1383s |      24 |  5066584 |  4530962 |     1374   7440 |        0 |        0
1385.16/1385.65	c 1385s |      24 |  5073862 |  4537662 |     1374   7449 |        0 |        0
1387.16/1387.67	c 1387s |      24 |  5081152 |  4544362 |     1374   7458 |        0 |        0
1389.16/1389.67	c 1389s |      24 |  5088556 |  4550962 |     1374   7467 |        0 |        0
1391.27/1391.71	c 1391s |      24 |  5095500 |  4557262 |     1374   7476 |        0 |        0
1393.26/1393.72	c 1393s |      24 |  5102487 |  4563662 |     1374   7484 |        0 |        0
1395.26/1395.73	c 1395s |      24 |  5109054 |  4569762 |     1374   7493 |        0 |        0
1397.26/1397.76	c 1397s |      24 |  5116046 |  4576162 |     1374   7501 |        0 |        0
1399.26/1399.79	c 1399s |      24 |  5123039 |  4582662 |     1374   7510 |        0 |        0
1401.36/1401.81	c 1401s |      24 |  5130272 |  4589262 |     1374   7519 |        0 |        0
1403.36/1403.82	c 1403s |      24 |  5137274 |  4595762 |     1374   7528 |        0 |        0
1405.36/1405.83	c 1405s |      24 |  5144488 |  4602462 |     1374   7537 |        0 |        0
1407.36/1407.83	c 1407s |      24 |  5151412 |  4608862 |     1374   7546 |        0 |        0
1409.36/1409.85	c 1409s |      24 |  5158043 |  4615062 |     1374   7554 |        0 |        0
1411.36/1411.88	c 1411s |      24 |  5164870 |  4621462 |     1374   7563 |        0 |        0
1413.46/1413.91	c 1413s |      24 |  5171301 |  4627462 |     1374   7571 |        0 |        0
1415.47/1415.92	c 1415s |      24 |  5178406 |  4633862 |     1374   7580 |        0 |        0
1417.46/1417.93	c 1417s |      24 |  5185586 |  4640262 |     1374   7589 |        0 |        0
1419.46/1419.95	c 1419s |      24 |  5192368 |  4646462 |     1374   7597 |        0 |        0
1421.46/1421.98	c 1421s |      24 |  5198904 |  4652562 |     1374   7606 |        0 |        0
1423.56/1424.01	c 1423s |      24 |  5205313 |  4658462 |     1374   7614 |        0 |        0
1425.56/1426.04	c 1426s |      24 |  5211557 |  4664262 |     1374   7622 |        0 |        0
1427.57/1428.06	c 1428s |      24 |  5217855 |  4670062 |     1374   7630 |        0 |        0
1429.56/1430.07	c 1430s |      24 |  5225245 |  4676462 |     1374   7638 |        0 |        0
1431.56/1432.09	c 1432s |      24 |  5232793 |  4683162 |     1374   7647 |        0 |        0
1433.66/1434.11	c 1434s |      24 |  5239769 |  4689462 |     1374   7655 |        0 |        0
1435.66/1436.11	c 1436s |      24 |  5246483 |  4695562 |     1374   7664 |        0 |        0
1437.66/1438.13	c 1438s |      24 |  5253592 |  4701962 |     1374   7672 |        0 |        0
1439.66/1440.15	c 1440s |      24 |  5260748 |  4708362 |     1374   7681 |        0 |        0
1441.65/1442.17	c 1442s |      24 |  5267814 |  4714662 |     1374   7689 |        0 |        0
1443.65/1444.18	c 1444s |      24 |  5274630 |  4720762 |     1374   7697 |        0 |        0
1445.65/1446.19	c 1446s |      24 |  5281116 |  4726562 |     1374   7705 |        0 |        0
1447.75/1448.20	c 1448s |      24 |  5287540 |  4732362 |     1374   7713 |        0 |        0
1449.75/1450.23	c 1450s |      24 |  5293796 |  4738062 |     1374   7720 |        0 |        0
1451.76/1452.25	c 1452s |      24 |  5300431 |  4744062 |     1374   7728 |        0 |        0
1453.75/1454.28	c 1454s |      24 |  5306922 |  4749962 |     1374   7736 |        0 |        0
1455.85/1456.30	c 1456s |      24 |  5313746 |  4756062 |     1374   7744 |        0 |        0
1457.85/1458.31	c 1458s |      24 |  5320093 |  4761862 |     1374   7752 |        0 |        0
1459.85/1460.33	c 1460s |      24 |  5326870 |  4767862 |     1374   7760 |        0 |        0
1461.85/1462.35	c 1462s |      24 |  5332988 |  4773462 |     1374   7767 |        0 |        0
1463.86/1464.36	c 1464s |      24 |  5339367 |  4779262 |     1374   7775 |        0 |        0
1465.85/1466.37	c 1466s |      24 |  5345809 |  4785062 |     1374   7783 |        0 |        0
1467.95/1468.40	c 1468s |      24 |  5352782 |  4791362 |     1374   7791 |        0 |        0
1469.95/1470.42	c 1470s |      24 |  5359220 |  4797362 |     1374   7799 |        0 |        0
1471.95/1472.44	c 1472s |      24 |  5365968 |  4803462 |     1374   7808 |        0 |        0
1473.95/1474.47	c 1474s |      24 |  5372691 |  4809562 |     1374   7816 |        0 |        0
1475.95/1476.48	c 1476s |      24 |  5379357 |  4815562 |     1374   7824 |        0 |        0
1477.95/1478.48	c 1478s |      24 |  5385934 |  4821362 |     1374   7831 |        0 |        0
1480.05/1480.51	c 1480s |      24 |  5392650 |  4827462 |     1374   7840 |        0 |        0
1482.05/1482.53	c 1482s |      24 |  5399893 |  4833762 |     1374   7848 |        0 |        0
1484.05/1484.55	c 1484s |      24 |  5406788 |  4839862 |     1374   7856 |        0 |        0
1486.05/1486.57	c 1486s |      24 |  5413936 |  4846362 |     1374   7865 |        0 |        0
1488.05/1488.58	c 1488s |      24 |  5420677 |  4852562 |     1374   7873 |        0 |        0
1490.05/1490.59	c 1490s |      24 |  5427663 |  4858962 |     1374   7882 |        0 |        0
1492.15/1492.60	c 1492s |      24 |  5434755 |  4865362 |     1374   7890 |        0 |        0
1494.14/1494.61	c 1494s |      24 |  5441839 |  4871762 |     1374   7899 |        0 |        0
1496.14/1496.61	c 1496s |      24 |  5448834 |  4878162 |     1374   7907 |        0 |        0
1498.15/1498.64	c 1498s |      24 |  5455779 |  4884462 |     1374   7916 |        0 |        0
1500.16/1500.65	c 1500s |      24 |  5462580 |  4890662 |     1374   7924 |        0 |        0
1502.15/1502.67	c 1502s |      24 |  5469359 |  4896762 |     1374   7932 |        0 |        0
1504.15/1504.68	c 1504s |      24 |  5476065 |  4902862 |     1374   7940 |        0 |        0
1506.25/1506.71	c 1506s |      24 |  5482755 |  4909062 |     1374   7949 |        0 |        0
1508.25/1508.71	c 1508s |      24 |  5489423 |  4915162 |     1374   7957 |        0 |        0
1510.25/1510.71	c 1510s |      24 |  5495764 |  4920962 |     1374   7964 |        0 |        0
1512.26/1512.74	c 1512s |      24 |  5502421 |  4927062 |     1374   7973 |        0 |        0
1514.25/1514.74	c 1514s |      24 |  5508879 |  4932962 |     1374   7980 |        0 |        0
1516.25/1516.77	c 1516s |      24 |  5515099 |  4938762 |     1374   7988 |        0 |        0
1518.25/1518.78	c 1518s |      24 |  5521548 |  4944662 |     1374   7996 |        0 |        0
1520.24/1520.78	c 1520s |      24 |  5527465 |  4950162 |     1374   8003 |        0 |        0
1522.34/1522.80	c 1522s |      24 |  5534576 |  4956362 |     1374   8012 |        0 |        0
1524.35/1524.81	c 1524s |      24 |  5541238 |  4962462 |     1374   8020 |        0 |        0
1526.34/1526.83	c 1526s |      24 |  5548048 |  4968662 |     1374   8028 |        0 |        0
1528.34/1528.83	c 1528s |      24 |  5554565 |  4974662 |     1374   8036 |        0 |        0
1530.34/1530.87	c 1530s |      24 |  5561217 |  4980762 |     1374   8044 |        0 |        0
1532.34/1532.87	c 1532s |      24 |  5567730 |  4986662 |     1374   8052 |        0 |        0
1534.34/1534.89	c 1534s |      24 |  5574297 |  4992562 |     1374   8060 |        0 |        0
1536.45/1536.92	c 1536s |      24 |  5580799 |  4998562 |     1374   8068 |        0 |        0
1538.44/1538.95	c 1538s |      24 |  5587617 |  5004762 |     1374   8077 |        0 |        0
1540.44/1540.96	c 1540s |      24 |  5594007 |  5010662 |     1374   8085 |        0 |        0
1542.44/1542.98	c 1542s |      24 |  5600991 |  5017162 |     1374   8093 |        0 |        0
1544.54/1545.01	c 1544s |      24 |  5607522 |  5023362 |     1374   8101 |        0 |        0
1546.54/1547.01	c 1547s |      24 |  5614284 |  5029562 |     1512   8109 |        0 |        0
1548.55/1549.04	c 1549s |      24 |  5620709 |  5035562 |     1512   8117 |        0 |        0
1550.54/1551.05	c 1551s |      24 |  5626689 |  5041162 |     1512   8123 |        0 |        0
1552.54/1553.07	c 1553s |      24 |  5632675 |  5046862 |     1512   8130 |        0 |        0
1554.54/1555.09	c 1555s |      24 |  5639487 |  5053062 |     1512   8138 |        0 |        0
1556.54/1557.10	c 1557s |      24 |  5646439 |  5059262 |     1512   8145 |        0 |        0
1558.54/1559.07	c 1559s |      25 |  5652785 |  5065098 |     1512   8152 |        0 |        0
1560.64/1561.10	c 1561s |      25 |  5660230 |  5071898 |     1512   8161 |        0 |        0
1562.64/1563.12	c 1563s |      25 |  5667347 |  5078498 |     1512   8168 |        0 |        0
1564.64/1565.14	c 1565s |      25 |  5674799 |  5085298 |     1512   8177 |        0 |        0
1566.63/1567.16	c 1567s |      25 |  5682187 |  5092098 |     1512   8185 |        0 |        0
1568.63/1569.16	c 1569s |      25 |  5689257 |  5098698 |     1512   8193 |        0 |        0
1570.63/1571.17	c 1571s |      25 |  5696905 |  5105698 |     1512   8201 |        0 |        0
1572.64/1573.19	c 1573s |      25 |  5704011 |  5112198 |     1512   8209 |        0 |        0
1574.73/1575.21	c 1575s |      25 |  5710775 |  5118498 |     1512   8216 |        0 |        0
1576.73/1577.24	c 1577s |      25 |  5717426 |  5124698 |     1512   8224 |        0 |        0
1578.73/1579.24	c 1579s |      25 |  5724657 |  5131398 |     1512   8232 |        0 |        0
1580.73/1581.24	c 1581s |      25 |  5731781 |  5137898 |     1512   8240 |        0 |        0
1582.73/1583.26	c 1583s |      25 |  5738578 |  5144198 |     1512   8247 |        0 |        0
1584.74/1585.28	c 1585s |      25 |  5745346 |  5150498 |     1512   8255 |        0 |        0
1586.83/1587.30	c 1587s |      25 |  5752045 |  5156798 |     1512   8262 |        0 |        0
1588.83/1589.31	c 1589s |      25 |  5759038 |  5163198 |     1512   8270 |        0 |        0
1590.83/1591.33	c 1591s |      25 |  5765994 |  5169598 |     1512   8278 |        0 |        0
1592.83/1593.36	c 1593s |      25 |  5772997 |  5175998 |     1512   8285 |        0 |        0
1594.83/1595.37	c 1595s |      25 |  5779850 |  5182298 |     1512   8293 |        0 |        0
1596.83/1597.40	c 1597s |      25 |  5786755 |  5188698 |     1512   8301 |        0 |        0
1598.93/1599.40	c 1599s |      25 |  5793778 |  5195198 |     1512   8308 |        0 |        0
1600.92/1601.41	c 1601s |      25 |  5801266 |  5201898 |     1512   8316 |        0 |        0
1602.92/1603.43	c 1603s |      25 |  5808831 |  5208698 |     1512   8324 |        0 |        0
1604.92/1605.44	c 1605s |      25 |  5815866 |  5215098 |     1512   8332 |        0 |        0
1606.92/1607.45	c 1607s |      25 |  5822726 |  5221398 |     1512   8340 |        0 |        0
1608.93/1609.46	c 1609s |      25 |  5830206 |  5227898 |     1512   8348 |        0 |        0
1610.92/1611.50	c 1611s |      25 |  5837490 |  5234498 |     1512   8356 |        0 |        0
1613.02/1613.50	c 1613s |      25 |  5844903 |  5241198 |     1512   8364 |        0 |        0
1615.02/1615.51	c 1615s |      25 |  5851694 |  5247398 |     1512   8371 |        0 |        0
1617.02/1617.51	c 1617s |      25 |  5858422 |  5253598 |     1512   8378 |        0 |        0
1619.03/1619.53	c 1619s |      25 |  5865355 |  5259898 |     1512   8386 |        0 |        0
1621.04/1621.55	c 1621s |      25 |  5872009 |  5265998 |     1512   8393 |        0 |        0
1623.03/1623.57	c 1623s |      25 |  5878570 |  5271998 |     1512   8400 |        0 |        0
1625.03/1625.59	c 1625s |      25 |  5885023 |  5277898 |     1512   8407 |        0 |        0
1627.13/1627.61	c 1627s |      25 |  5891584 |  5283998 |     1512   8415 |        0 |        0
1629.13/1629.63	c 1629s |      25 |  5898244 |  5290198 |     1512   8422 |        0 |        0
1631.13/1631.63	c 1631s |      25 |  5904881 |  5296298 |     1512   8430 |        0 |        0
1633.13/1633.64	c 1633s |      25 |  5911309 |  5302298 |     1512   8437 |        0 |        0
1635.12/1635.67	c 1635s |      25 |  5918018 |  5308498 |     1512   8444 |        0 |        0
1637.12/1637.67	c 1637s |      25 |  5924472 |  5314598 |     1512   8451 |        0 |        0
1639.22/1639.71	c 1639s |      25 |  5930949 |  5320598 |     1512   8459 |        0 |        0
1641.22/1641.74	c 1641s |      25 |  5937235 |  5326498 |     1512   8466 |        0 |        0
1643.22/1643.78	c 1643s |      25 |  5943627 |  5332398 |     1512   8473 |        0 |        0
1645.23/1645.80	c 1645s |      25 |  5949937 |  5338298 |     1512   8480 |        0 |        0
1647.32/1647.83	c 1647s |      25 |  5956628 |  5344198 |     1512   8487 |        0 |        0
1649.32/1649.85	c 1649s |      25 |  5962845 |  5349898 |     1512   8494 |        0 |        0
1651.32/1651.86	c 1651s |      25 |  5969291 |  5355798 |     1512   8501 |        0 |        0
1653.32/1653.88	c 1653s |      25 |  5975775 |  5361698 |     1512   8508 |        0 |        0
1655.32/1655.89	c 1655s |      25 |  5982173 |  5367598 |     1512   8515 |        0 |        0
1657.43/1657.92	c 1657s |      25 |  5988568 |  5373498 |     1512   8522 |        0 |        0
1659.42/1659.92	c 1659s |      25 |  5994390 |  5378898 |     1512   8528 |        0 |        0
1661.42/1661.95	c 1661s |      25 |  6000995 |  5384998 |     1512   8536 |        0 |        0
1663.42/1663.98	c 1663s |      25 |  6007103 |  5390598 |     1512   8542 |        0 |        0
1665.51/1666.00	c 1665s |      25 |  6013118 |  5396098 |     1512   8549 |        0 |        0
1667.51/1668.00	c 1667s |      25 |  6019073 |  5401598 |     1512   8556 |        0 |        0
1669.52/1670.01	c 1669s |      25 |  6024519 |  5406698 |     1512   8562 |        0 |        0
1671.51/1672.03	c 1672s |      25 |  6030309 |  5411998 |     1512   8568 |        0 |        0
1673.51/1674.04	c 1674s |      25 |  6035868 |  5417198 |     1512   8574 |        0 |        0
1675.51/1676.08	c 1676s |      25 |  6041488 |  5422398 |     1512   8581 |        0 |        0
1677.61/1678.10	c 1678s |      25 |  6046461 |  5427098 |     1512   8586 |        0 |        0
1679.61/1680.13	c 1680s |      25 |  6051544 |  5431898 |     1512   8592 |        0 |        0
1681.62/1682.15	c 1682s |      25 |  6057745 |  5437598 |     1512   8599 |        0 |        0
1683.61/1684.17	c 1684s |      25 |  6064272 |  5443498 |     1512   8606 |        0 |        0
1685.61/1686.19	c 1686s |      25 |  6070794 |  5449398 |     1512   8613 |        0 |        0
1687.61/1688.19	c 1688s |      25 |  6076620 |  5454798 |     1512   8620 |        0 |        0
1689.71/1690.20	c 1690s |      25 |  6083141 |  5460698 |     1512   8627 |        0 |        0
1691.71/1692.22	c 1692s |      25 |  6089112 |  5466198 |     1512   8633 |        0 |        0
1693.72/1694.23	c 1694s |      25 |  6095164 |  5471698 |     1512   8640 |        0 |        0
1695.71/1696.25	c 1696s |      25 |  6100744 |  5476898 |     1512   8646 |        0 |        0
1697.71/1698.27	c 1698s |      25 |  6106441 |  5482198 |     1512   8653 |        0 |        0
1699.71/1700.29	c 1700s |      25 |  6112200 |  5487498 |     1512   8659 |        0 |        0
1701.81/1702.33	c 1702s |      25 |  6118005 |  5492798 |     1512   8665 |        0 |        0
1703.81/1704.36	c 1704s |      25 |  6124329 |  5498598 |     1512   8672 |        0 |        0
1705.81/1706.38	c 1706s |      25 |  6131173 |  5504898 |     1512   8680 |        0 |        0
1707.81/1708.40	c 1708s |      25 |  6138043 |  5511198 |     1512   8687 |        0 |        0
1709.91/1710.41	c 1710s |      25 |  6144289 |  5516998 |     1512   8694 |        0 |        0
1711.91/1712.44	c 1712s |      25 |  6150482 |  5522598 |     1512   8701 |        0 |        0
1713.90/1714.48	c 1714s |      25 |  6156320 |  5527998 |     1512   8708 |        0 |        0
1716.00/1716.52	c 1716s |      25 |  6162477 |  5533698 |     1512   8714 |        0 |        0
1718.00/1718.56	c 1718s |      25 |  6168599 |  5539398 |     1512   8721 |        0 |        0
1720.01/1720.59	c 1720s |      25 |  6175159 |  5545398 |     1512   8728 |        0 |        0
1722.10/1722.61	c 1722s |      25 |  6181560 |  5551298 |     1512   8736 |        0 |        0
1724.10/1724.65	c 1724s |      25 |  6187783 |  5556998 |     1512   8742 |        0 |        0
1726.10/1726.66	c 1726s |      25 |  6194162 |  5562898 |     1512   8750 |        0 |        0
1728.10/1728.66	c 1728s |      25 |  6200646 |  5568798 |     1512   8757 |        0 |        0
1730.10/1730.67	c 1730s |      25 |  6206616 |  5574298 |     1512   8763 |        0 |        0
1732.11/1732.67	c 1732s |      25 |  6212637 |  5579898 |     1512   8770 |        0 |        0
1734.11/1734.68	c 1734s |      25 |  6219224 |  5585998 |     1512   8777 |        0 |        0
1736.21/1736.70	c 1736s |      25 |  6225428 |  5591798 |     1512   8784 |        0 |        0
1738.21/1738.73	c 1738s |      25 |  6231698 |  5597598 |     1512   8791 |        0 |        0
1740.21/1740.75	c 1740s |      25 |  6238227 |  5603698 |     1512   8799 |        0 |        0
1742.21/1742.76	c 1742s |      25 |  6244446 |  5609498 |     1512   8806 |        0 |        0
1744.21/1744.78	c 1744s |      25 |  6250296 |  5614998 |     1512   8812 |        0 |        0
1746.30/1746.81	c 1746s |      25 |  6256699 |  5620898 |     1512   8819 |        0 |        0
1748.30/1748.84	c 1748s |      25 |  6262782 |  5626498 |     1512   8826 |        0 |        0
1750.30/1750.88	c 1750s |      25 |  6268743 |  5631998 |     1512   8833 |        0 |        0
1752.40/1752.90	c 1752s |      25 |  6274736 |  5637398 |     1512   8839 |        0 |        0
1754.40/1754.92	c 1754s |      25 |  6280718 |  5642698 |     1512   8845 |        0 |        0
1756.41/1756.93	c 1756s |      25 |  6287086 |  5648498 |     1512   8852 |        0 |        0
1758.40/1758.97	c 1758s |      25 |  6293133 |  5654098 |     1512   8859 |        0 |        0
1760.40/1760.97	c 1760s |      25 |  6299001 |  5659498 |     1512   8866 |        0 |        0
1762.40/1762.97	c 1762s |      25 |  6304453 |  5664498 |     1512   8872 |        0 |        0
1764.40/1764.99	c 1764s |      25 |  6310000 |  5669598 |     1512   8878 |        0 |        0
1766.50/1767.00	c 1766s |      25 |  6315557 |  5674798 |     1512   8884 |        0 |        0
1768.50/1769.04	c 1769s |      25 |  6320489 |  5679398 |     1512   8889 |        0 |        0
1770.50/1771.07	c 1771s |      25 |  6326279 |  5684798 |     1512   8896 |        0 |        0
1772.50/1773.08	c 1773s |      25 |  6331729 |  5689898 |     1512   8902 |        0 |        0
1774.59/1775.11	c 1775s |      25 |  6337993 |  5695598 |     1512   8909 |        0 |        0
1776.59/1777.13	c 1777s |      25 |  6344165 |  5701298 |     1512   8916 |        0 |        0
1778.59/1779.14	c 1779s |      25 |  6350326 |  5706998 |     1512   8922 |        0 |        0
1780.60/1781.18	c 1781s |      25 |  6356368 |  5712598 |     1512   8929 |        0 |        0
1782.59/1783.19	c 1783s |      25 |  6362194 |  5718098 |     1512   8936 |        0 |        0
1784.69/1785.21	c 1785s |      25 |  6368552 |  5723998 |     1512   8943 |        0 |        0
1786.69/1787.23	c 1787s |      25 |  6375243 |  5729898 |     1512   8950 |        0 |        0
1788.69/1789.25	c 1789s |      25 |  6381834 |  5735698 |     1512   8957 |        0 |        0
1790.69/1791.25	c 1791s |      25 |  6387611 |  5740898 |     1512   8963 |        0 |        0
1792.70/1793.27	c 1793s |      25 |  6393130 |  5745998 |     1512   8969 |        0 |        0
1794.69/1795.27	c 1795s |      25 |  6398641 |  5751098 |     1512   8975 |        0 |        0
1796.79/1797.31	c 1797s |      25 |  6403608 |  5755698 |     1512   8981 |        0 |        0
1798.79/1799.33	c 1799s |      25 |  6409460 |  5761098 |     1512   8987 |        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-4089911-1466035408/watcher-4089911-1466035408 -o /tmp/evaluation-result-4089911-1466035408/solver-4089911-1466035408 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466033607-11971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089911-1466035408.opb 

pid=12166
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.33 2.28 2.18 4/179 12169
/proc/meminfo: memFree=29338360/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=802236 CPUtime=0 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 3008 0 0 0 0 0 0 0 20 0 4 0 5586552 821489664 2858 33554432000 4194304 16246674 140734512050768 140734512050192 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12169/statm: 201071 2868 441 2943 0 197965 0
[pid=12169/tid=12170] ppid=12166 vsize=819644 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 839315456 2928 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=824764 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 844558336 2947 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=828860 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5586552 848752640 2964 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.33 2.28 2.18 4/179 12169
/proc/meminfo: memFree=29338360/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 28865 0 0 0 4 5 0 0 20 0 4 0 5586552 1247350784 28705 33554432000 4194304 16246674 140734512050768 140734512050192 5516309 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12169/statm: 304529 28715 716 2943 0 301423 0
[pid=12169/tid=12170] ppid=12166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1247350784 28721 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1247350784 28727 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5586552 1247350784 28732 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200537 s]
/proc/loadavg: 2.33 2.28 2.18 4/179 12169
/proc/meminfo: memFree=29338360/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 57516 0 0 0 10 9 0 0 20 0 4 0 5586552 1247350784 57356 33554432000 4194304 16246674 140734512050768 140734512032640 5707858 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12169/statm: 304529 57379 716 2943 0 301423 0
[pid=12169/tid=12170] ppid=12166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1247350784 57386 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1247350784 57393 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5586552 1247350784 57398 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300497 s]
/proc/loadavg: 2.33 2.28 2.18 4/179 12169
/proc/meminfo: memFree=29338360/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 86138 0 0 0 16 13 0 0 20 0 4 0 5586552 1247350784 85978 33554432000 4194304 16246674 140734512050768 140734512032640 12874965 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12169/statm: 304529 85989 716 2943 0 301423 0
[pid=12169/tid=12170] ppid=12166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1247350784 85997 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1247350784 86007 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5586552 1247350784 86016 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70042 s]
/proc/loadavg: 2.33 2.28 2.18 4/179 12169
/proc/meminfo: memFree=29338360/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 204254 0 0 0 40 29 0 0 20 0 4 0 5586552 1247350784 204093 33554432000 4194304 16246674 140734512050768 140734512032640 12479207 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12169/statm: 304529 204111 716 2943 0 301423 0
[pid=12169/tid=12170] ppid=12166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1247350784 204121 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1247350784 204131 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5586552 1247350784 204139 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.39 2.29 2.19 4/183 12173
/proc/meminfo: memFree=28357356/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1305156 CPUtime=1.48 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 267286 0 0 0 111 37 0 0 20 0 4 0 5586552 1336479744 267105 33554432000 4194304 16246674 140734512050768 140734512032640 5523660 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12169/statm: 326289 267105 791 2943 0 323183 0
[pid=12169/tid=12170] ppid=12166 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1336479744 267105 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1336479744 267105 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5586552 1336479744 267105 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1305156

[startup+3.10038 s]
/proc/loadavg: 2.39 2.29 2.19 4/183 12173
/proc/meminfo: memFree=28269440/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 267444 0 0 0 271 38 0 0 20 0 4 0 5586552 1337528320 267263 33554432000 4194304 16246674 140734512050768 140734512032640 13950218 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12169/statm: 326545 267263 791 2943 0 323439 0
[pid=12169/tid=12170] ppid=12166 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1337528320 267263 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1337528320 267263 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5586552 1337528320 267263 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.39 2.29 2.19 4/174 12258
/proc/meminfo: memFree=29338568/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 267489 0 0 0 590 38 0 0 20 0 4 0 5586552 1337528320 267308 33554432000 4194304 16246674 140734512050768 140734512032640 6844064 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12169/statm: 326545 267308 792 2943 0 323439 0
[pid=12169/tid=12170] ppid=12166 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1337528320 267308 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1337528320 267308 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5586552 1337528320 267308 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.40 2.30 2.19 3/183 12271
/proc/meminfo: memFree=28268024/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 267490 0 0 0 1230 38 0 0 20 0 4 0 5586552 1337528320 267309 33554432000 4194304 16246674 140734512050768 140734512032640 5677712 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12169/statm: 326545 267309 792 2943 0 323439 0
[pid=12169/tid=12170] ppid=12166 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1337528320 267309 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1337528320 267309 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5586552 1337528320 267309 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5075 s]
/proc/loadavg: 2.34 2.29 2.19 3/183 12271
/proc/meminfo: memFree=28267240/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 267494 0 0 0 2511 38 0 0 20 0 4 0 5586552 1337528320 267567 33554432000 4194304 16246674 140734512050768 140734512032640 5672188 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12169/statm: 326545 267567 792 2943 0 323439 0
[pid=12169/tid=12170] ppid=12166 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1337528320 267567 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1337528320 267567 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5586552 1337528320 267567 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.28 2.28 2.18 3/183 12271
/proc/meminfo: memFree=28267944/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1306180 CPUtime=51.07 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 267542 0 0 0 5068 39 0 0 20 0 4 0 5586552 1337528320 267607 33554432000 4194304 16246674 140734512050768 140734512032640 5822428 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12169/statm: 326545 267607 792 2943 0 323439 0
[pid=12169/tid=12170] ppid=12166 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1337528320 267607 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1337528320 267607 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5586552 1337528320 267607 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.38 2.29 2.19 3/183 12272
/proc/meminfo: memFree=28267612/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1306180 CPUtime=102.25 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 267583 0 0 0 10186 39 0 0 20 0 4 0 5586552 1337528320 267623 33554432000 4194304 16246674 140734512050768 140734512032640 12467721 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12169/statm: 326545 267623 794 2943 0 323439 0
[pid=12169/tid=12170] ppid=12166 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1337528320 267623 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1337528320 267623 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5586552 1337528320 267623 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1306180


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

/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5586552 1338576896 267850 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.19 2.22 2.22 3/183 12351
/proc/meminfo: memFree=28262876/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1307204 CPUtime=1361.87 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 268175 0 0 0 136132 55 0 0 20 0 4 0 5586552 1338576896 267850 33554432000 4194304 16246674 140734512050768 140734512032640 5827966 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12169/statm: 326801 267850 796 2943 0 323695 0
[pid=12169/tid=12170] ppid=12166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1338576896 267850 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1338576896 267850 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5586552 1338576896 267850 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.31 2.24 2.22 3/183 12352
/proc/meminfo: memFree=28262872/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1307204 CPUtime=1421.86 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 268176 0 0 0 142130 56 0 0 20 0 4 0 5586552 1338576896 267851 33554432000 4194304 16246674 140734512050768 140734512032640 13927401 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12169/statm: 326801 267851 796 2943 0 323695 0
[pid=12169/tid=12170] ppid=12166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1338576896 267851 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1338576896 267851 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5586552 1338576896 267851 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.20 2.23 2.21 3/183 12353
/proc/meminfo: memFree=28262628/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1307204 CPUtime=1481.85 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 268195 0 0 0 148129 56 0 0 20 0 4 0 5586552 1338576896 267870 33554432000 4194304 16246674 140734512050768 140734512032640 13963975 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12169/statm: 326801 267870 796 2943 0 323695 0
[pid=12169/tid=12170] ppid=12166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1338576896 267870 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1338576896 267870 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5586552 1338576896 267870 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1307204

[startup+1542.3 s]
/proc/loadavg: 2.24 2.23 2.21 3/183 12355
/proc/meminfo: memFree=28263120/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1307204 CPUtime=1541.85 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 268195 0 0 0 154128 57 0 0 20 0 4 0 5586552 1338576896 267870 33554432000 4194304 16246674 140734512050768 140734512032640 5677802 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12169/statm: 326801 267870 796 2943 0 323695 0
[pid=12169/tid=12170] ppid=12166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1338576896 267870 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1338576896 267870 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5586552 1338576896 267870 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.14 2.20 2.20 3/184 12359
/proc/meminfo: memFree=28262480/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1307204 CPUtime=1601.82 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 268215 0 0 0 160125 57 0 0 20 0 4 0 5586552 1338576896 267890 33554432000 4194304 16246674 140734512050768 140734512032640 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12169/statm: 326801 267890 796 2943 0 323695 0
[pid=12169/tid=12170] ppid=12166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1338576896 267890 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1338576896 267890 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5586552 1338576896 267890 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1307204

[startup+1662.31 s]
/proc/loadavg: 2.10 2.18 2.19 3/183 12360
/proc/meminfo: memFree=28262988/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1307204 CPUtime=1661.82 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 268215 0 0 0 166124 58 0 0 20 0 4 0 5586552 1338576896 267890 33554432000 4194304 16246674 140734512050768 140734512032640 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12169/statm: 326801 267890 796 2943 0 323695 0
[pid=12169/tid=12170] ppid=12166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1338576896 267890 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1338576896 267890 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5586552 1338576896 267890 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.19 2.19 2.19 3/183 12361
/proc/meminfo: memFree=28263160/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1308228 CPUtime=1721.8 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 268251 0 0 0 172122 58 0 0 20 0 4 0 5586552 1339625472 267926 33554432000 4194304 16246674 140734512050768 140734512032640 5523460 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12169/statm: 327057 267926 796 2943 0 323951 0
[pid=12169/tid=12170] ppid=12166 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1339625472 267926 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1339625472 267926 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5586552 1339625472 267926 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.28 2.21 2.19 3/183 12362
/proc/meminfo: memFree=28262916/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1308228 CPUtime=1781.79 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 268251 0 0 0 178120 59 0 0 20 0 4 0 5586552 1339625472 267926 33554432000 4194304 16246674 140734512050768 140734512032640 13809255 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12169/statm: 327057 267926 796 2943 0 323951 0
[pid=12169/tid=12170] ppid=12166 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1339625472 267926 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1339625472 267926 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5586552 1339625472 267926 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.22 2.20 2.19 3/183 12363
/proc/meminfo: memFree=28263168/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1308228 CPUtime=1800.09 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 268251 0 0 0 179950 59 0 0 20 0 4 0 5586552 1339625472 267926 33554432000 4194304 16246674 140734512050768 140734512032640 13192016 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12169/statm: 327057 267926 796 2943 0 323951 0
[pid=12169/tid=12170] ppid=12166 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1339625472 267926 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1339625472 267926 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5586552 1339625472 267926 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1308228

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

[startup+1800.6 s]
/proc/loadavg: 2.22 2.20 2.19 3/183 12363
/proc/meminfo: memFree=28263168/32872528 swapFree=1401752/1579580
[pid=12169] ppid=12166 vsize=1308228 CPUtime=1800.09 cores=1,3,5,7
/proc/12169/stat : 12169 (toysat) R 12166 12169 5813 0 -1 4202496 268251 0 0 0 179950 59 0 0 20 0 4 0 5586552 1339625472 267926 33554432000 4194304 16246674 140734512050768 140734512032640 13192016 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12169/statm: 327057 267926 796 2943 0 323951 0
[pid=12169/tid=12170] ppid=12166 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12170/stat : 12170 (toysat) S 12166 12169 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5586552 1339625472 267926 33554432000 4194304 16246674 140734512050768 139944631708912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12169/tid=12171] ppid=12166 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12171/stat : 12171 (toysat) S 12166 12169 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5586552 1339625472 267926 33554432000 4194304 16246674 140734512050768 139944621219056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12169/tid=12172] ppid=12166 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12169/task/12172/stat : 12172 (toysat) S 12166 12169 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5586552 1339625472 267926 33554432000 4194304 16246674 140734512050768 139944610745520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1308228

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.51
CPU system time (s): 0.597909
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.597909
maximum resident set size= 1071704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268251
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= 416
involuntary context switches= 3359

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69129 second user time and 6.96494 second system time

The end

Begin job on node139 at 2016-06-16 02:03:28
IDJOB=4089911
IDBENCH=107474
IDSOLVER=2542
FILE ID=node139/4089911-1466035408
RUNJOBID= node139-1466033607-11971
PBS_JOBID= 19902810
Free space on /tmp= 71612 MiB

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

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

MD5SUM BENCH= 94376ea1dd48759fe6e4de659e600113
RANDOM SEED=1129555816

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29338012 kB
Buffers:           23208 kB
Cached:           150156 kB
SwapCached:         8924 kB
Active:          1143272 kB
Inactive:         108672 kB
Active(anon):    1072324 kB
Inactive(anon):     8356 kB
Active(file):      70948 kB
Inactive(file):   100316 kB
Unevictable:     1579580 kB
Mlocked:         1401752 kB
SwapTotal:      67108856 kB
SwapFree:       67093328 kB
Dirty:             16352 kB
Writeback:             0 kB
AnonPages:       2728336 kB
Mapped:            10936 kB
Shmem:                 0 kB
Slab:             567936 kB
SReclaimable:      12340 kB
SUnreclaim:       555596 kB
KernelStack:        1520 kB
PageTables:         9264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2795380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1183744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71596 MiB
End job on node139 at 2016-06-16 02:33:29