0.00/0.00	c 2016-06-15T22:09:52+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-4089113-1466021392.opb"]
0.00/0.01	c use --random-gen="315889993 2624470205 2020014115 976452137 3756663920 410234132 636974328 3230545769 1867129086 1796532664 2377719899 3515489910 3827584982 1097045907 3496778987 2753307724 1367875273 3539269269 666420816 2039234101 2231066166 3100261220 3751340177 345310032 2976504656 367656699 2806246446 2718739092 2089094904 3812815183 1338300042 3938441086 1258201592 2449630156 3095217968 1335727571 772929761 803184152 1590383487 255515987 1740258793 2235717324 2170101480 4063248359 142719324 2949503093 3371358047 2095075526 754114943 1670563493 2000907495 3791305893 1696043941 4243221273 871569630 139357854 2443835187 4106089693 226565005 4072530793 1364907741 2591727326 1201029992 1954555031 3827496107 448961883 3616781787 2916210646 1861465996 3236430836 4213899503 1999942687 2161643381 390905908 2146093618 2684503620 3352694264 958246803 135292169 3036420457 1533926206 868435452 235798678 2238533494 3869010883 1101141050 2212013048 1209139984 84450114 3176670934 964373183 396919581 2471477778 3335038974 1261504530 3194812793 3618906734 1129233868 3844639378 1924769382 595046809 2991118538 125267490 3537828908 456001967 3421269471 1743520685 1101450283 3007575489 1768135847 1895460494 2055321403 2165549738 698601905 2068179645 2401123573 2835245155 2968662635 864620033 332848315 3442511745 320828626 3927150715 1523576197 1813452382 2735833591 4276909409 3048097579 1676855935 4194836230 2590172075 1553595087 1518147945 4141803888 504245917 1148055230 1850763062 1671286476 759559828 3394765437 2415272844 1091679134 1827679353 305538656 2495232837 139320535 2857294662 3642637018 3514955703 1083025124 641720289 3868191124 1394406645 1175248626 1761007762 3057602617 4143703575 4240649510 444917533 1969640316 2355603500 386504425 2379138582 3433697050 4033912744 179782468 3608659797 2589309236 1574018101 4084069291 468064826 452715976 2313416271 3873037719 1539286153 1452329777 718366550 1609459475 2893309608 234061660 3191578128 2536332419 1813250203 578442212 205356105 152160488 3019840764 467318723 3685464553 4047667469 3164894157 444228849 890856438 3281119157 706854707 649221823 1756157527 3744023658 3569176231 1619708155 1521798411 3242670255 24975778 467175167 2077714143 2323079137 975088190 420812746 4087739362 1370171523 1233627431 4041492644 3312760045 2379493574 3408640845 33000839 1769943287 2643870468 3323693283 4216261583 2977779154 1432804924 3756253500 3086584854 2165550770 3697519013 3265249491 694291027 2550277625 3907383358 212683722 3162695648 837032986 877633987 1802263772 3161401195 3053311541 3410674300 1913123878 657213885 3545712824 366747832 2003515068 3335703653 3298706149 2888685327 4241791838 20763297 1992179788 1474992864 4099840637 2960052506 4151126092 1387031528 1720228668 753612274 255 362436" option to reproduce the execution
0.00/0.01	c #vars 290
0.00/0.01	c #constraints 581
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      290      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      236 |      100 |      290      0 |        0 |        0
0.00/0.09	c  0.1s |       2 |      524 |      250 |      319      0 |        0 |        0
0.09/0.17	c  0.1s |       3 |      884 |      475 |      351      0 |        0 |        0
0.28/0.31	c  0.3s |       4 |     1357 |      813 |      387      2 |        0 |        0
0.49/0.52	c  0.5s |       5 |     2000 |     1320 |      426      3 |        0 |        0
0.79/0.82	c  0.8s |       6 |     2897 |     2081 |      516      6 |        0 |        0
1.09/1.12	c  1.1s |       7 |     4179 |     3223 |      568      9 |        0 |        0
1.59/1.63	c  1.6s |       8 |     6026 |     4936 |      625     14 |        0 |        0
2.30/2.34	c  2.3s |       9 |     8751 |     7506 |      688     21 |        0 |        0
3.30/3.40	c  3.4s |      10 |    12749 |    11361 |      757     30 |        0 |        0
5.09/5.12	c  5.1s |      11 |    18703 |    17144 |      833     43 |        0 |        0
7.09/7.15	c  7.1s |      11 |    25798 |    24044 |      833     57 |        0 |        0
7.59/7.68	c  7.7s |      12 |    27582 |    25819 |      917     61 |        0 |        0
9.59/9.69	c  9.7s |      12 |    34359 |    32419 |      917     73 |        0 |        0
11.59/11.69	c 11.7s |      13 |    40845 |    38832 |     1009     85 |        0 |        0
13.68/13.72	c 13.7s |      13 |    47428 |    45232 |     1009     96 |        0 |        0
15.68/15.74	c 15.7s |      13 |    53707 |    51432 |     1009    107 |        0 |        0
17.69/17.75	c 17.7s |      13 |    60397 |    58032 |     1110    119 |        0 |        0
17.78/17.85	c 17.8s |      14 |    60723 |    58352 |     1110    119 |        0 |        0
19.79/19.88	c 19.9s |      14 |    67213 |    64652 |     1110    129 |        0 |        0
21.78/21.88	c 21.9s |      14 |    73687 |    71052 |     1110    140 |        0 |        0
23.78/23.89	c 23.9s |      14 |    79906 |    77152 |     1110    149 |        0 |        0
25.88/25.90	c 25.9s |      14 |    86166 |    83352 |     1110    159 |        0 |        0
27.28/27.30	c 27.3s |      15 |    90517 |    87632 |     1221    166 |        0 |        0
29.28/29.31	c 29.3s |      15 |    97368 |    94232 |     1221    176 |        0 |        0
31.28/31.32	c 31.3s |      15 |   103978 |   100732 |     1221    185 |        0 |        0
33.28/33.34	c 33.3s |      15 |   110392 |   107032 |     1221    195 |        0 |        0
35.29/35.34	c 35.3s |      15 |   116490 |   113032 |     1221    204 |        0 |        0
37.29/37.36	c 37.3s |      15 |   122892 |   119232 |     1221    213 |        0 |        0
39.29/39.37	c 39.4s |      15 |   129316 |   125332 |     1221    222 |        0 |        0
41.29/41.37	c 41.4s |      15 |   135341 |   131232 |     1344    230 |        0 |        0
41.39/41.48	c 41.5s |      16 |   135667 |   131552 |     1344    231 |        0 |        0
43.39/43.49	c 43.5s |      16 |   141901 |   137552 |     1344    239 |        0 |        0
45.49/45.50	c 45.5s |      16 |   147706 |   143252 |     1344    246 |        0 |        0
47.49/47.52	c 47.5s |      16 |   153799 |   149252 |     1344    255 |        0 |        0
49.49/49.54	c 49.5s |      16 |   159738 |   155052 |     1344    262 |        0 |        0
51.49/51.55	c 51.5s |      16 |   165578 |   160752 |     1344    270 |        0 |        0
53.48/53.58	c 53.6s |      16 |   171581 |   166552 |     1344    278 |        0 |        0
55.48/55.58	c 55.6s |      16 |   177287 |   172152 |     1344    286 |        0 |        0
57.58/57.61	c 57.6s |      16 |   183192 |   177952 |     1344    293 |        0 |        0
59.58/59.63	c 59.6s |      16 |   189217 |   183852 |     1344    301 |        0 |        0
61.59/61.64	c 61.6s |      16 |   194918 |   189452 |     1344    309 |        0 |        0
63.58/63.64	c 63.6s |      16 |   200606 |   194952 |     1344    316 |        0 |        0
64.48/64.57	c 64.6s |      17 |   203156 |   197432 |     1479    319 |        0 |        0
66.48/66.58	c 66.6s |      17 |   209432 |   203332 |     1479    327 |        0 |        0
68.58/68.61	c 68.6s |      17 |   215485 |   209232 |     1479    334 |        0 |        0
70.58/70.62	c 70.6s |      17 |   221364 |   214932 |     1479    341 |        0 |        0
72.59/72.63	c 72.6s |      17 |   227273 |   220732 |     1479    348 |        0 |        0
74.58/74.64	c 74.6s |      17 |   233018 |   226432 |     1479    355 |        0 |        0
76.58/76.67	c 76.6s |      17 |   238781 |   232132 |     1479    362 |        0 |        0
78.58/78.69	c 78.7s |      17 |   244690 |   237932 |     1479    369 |        0 |        0
80.68/80.73	c 80.7s |      17 |   250629 |   243732 |     1479    377 |        0 |        0
82.68/82.74	c 82.7s |      17 |   256375 |   249332 |     1479    384 |        0 |        0
84.68/84.75	c 84.7s |      17 |   262109 |   254932 |     1479    390 |        0 |        0
86.67/86.76	c 86.7s |      17 |   267762 |   260432 |     1479    397 |        0 |        0
88.67/88.77	c 88.7s |      17 |   273645 |   266232 |     1479    404 |        0 |        0
90.67/90.79	c 90.8s |      17 |   279675 |   272132 |     1479    412 |        0 |        0
92.77/92.82	c 92.8s |      17 |   285690 |   278032 |     1479    419 |        0 |        0
94.77/94.85	c 94.8s |      17 |   291634 |   283832 |     1479    426 |        0 |        0
96.78/96.89	c 96.9s |      17 |   297551 |   289632 |     1479    433 |        0 |        0
98.77/98.89	c 98.9s |      17 |   303265 |   295232 |     1627    440 |        0 |        0
99.17/99.27	c 99.2s |      18 |   304289 |   296252 |     1627    441 |        0 |        0
101.18/101.28	c  101s |      18 |   310384 |   302152 |     1627    448 |        0 |        0
103.27/103.33	c  103s |      18 |   316372 |   308052 |     1627    455 |        0 |        0
105.27/105.35	c  105s |      18 |   322243 |   313852 |     1627    461 |        0 |        0
107.27/107.37	c  107s |      18 |   327846 |   319352 |     1627    467 |        0 |        0
109.27/109.37	c  109s |      18 |   333449 |   324852 |     1627    474 |        0 |        0
111.27/111.38	c  111s |      18 |   339739 |   330852 |     1627    480 |        0 |        0
113.38/113.41	c  113s |      18 |   345733 |   336752 |     1627    487 |        0 |        0
115.37/115.45	c  115s |      18 |   351558 |   342452 |     1627    494 |        0 |        0
117.37/117.49	c  117s |      18 |   357408 |   348152 |     1627    500 |        0 |        0
119.47/119.51	c  119s |      18 |   363108 |   353752 |     1627    506 |        0 |        0
121.47/121.53	c  121s |      18 |   368516 |   359052 |     1627    512 |        0 |        0
123.47/123.53	c  123s |      18 |   374572 |   364952 |     1627    519 |        0 |        0
125.47/125.54	c  125s |      18 |   380336 |   370652 |     1627    525 |        0 |        0
127.47/127.55	c  127s |      18 |   386511 |   376752 |     1627    532 |        0 |        0
129.47/129.58	c  129s |      18 |   392422 |   382552 |     1627    539 |        0 |        0
131.47/131.60	c  131s |      18 |   398161 |   388152 |     1627    545 |        0 |        0
133.56/133.62	c  133s |      18 |   403860 |   393752 |     1627    552 |        0 |        0
135.56/135.63	c  135s |      18 |   409668 |   399452 |     1627    558 |        0 |        0
137.57/137.64	c  137s |      18 |   415340 |   404952 |     1627    564 |        0 |        0
139.56/139.67	c  139s |      18 |   421023 |   410552 |     1627    571 |        0 |        0
141.56/141.69	c  141s |      18 |   426736 |   416152 |     1627    577 |        0 |        0
143.56/143.69	c  143s |      18 |   432240 |   421552 |     1627    583 |        0 |        0
145.66/145.71	c  145s |      18 |   437839 |   427052 |     1627    589 |        0 |        0
147.66/147.72	c  147s |      18 |   443140 |   432152 |     1627    595 |        0 |        0
149.67/149.72	c  149s |      18 |   448918 |   437852 |     1627    602 |        0 |        0
151.66/151.75	c  151s |      18 |   454657 |   443452 |     1790    608 |        0 |        0
152.06/152.12	c  152s |      19 |   455719 |   444482 |     1790    609 |        0 |        0
154.07/154.14	c  154s |      19 |   462049 |   450482 |     1790    615 |        0 |        0
156.06/156.14	c  156s |      19 |   467943 |   456282 |     1790    621 |        0 |        0
158.06/158.17	c  158s |      19 |   473840 |   462082 |     1790    627 |        0 |        0
160.06/160.18	c  160s |      19 |   479609 |   467782 |     1790    633 |        0 |        0
162.06/162.19	c  162s |      19 |   485238 |   473282 |     1790    639 |        0 |        0
164.17/164.20	c  164s |      19 |   491079 |   478982 |     1790    645 |        0 |        0
166.18/166.23	c  166s |      19 |   496875 |   484582 |     1790    650 |        0 |        0
168.17/168.23	c  168s |      19 |   502471 |   489982 |     1790    656 |        0 |        0
170.17/170.24	c  170s |      19 |   508217 |   495682 |     1790    662 |        0 |        0
172.17/172.26	c  172s |      19 |   513874 |   501182 |     1790    668 |        0 |        0
174.17/174.28	c  174s |      19 |   519562 |   506682 |     1790    673 |        0 |        0
176.17/176.29	c  176s |      19 |   525016 |   511982 |     1790    679 |        0 |        0
178.27/178.32	c  178s |      19 |   530588 |   517382 |     1790    684 |        0 |        0
180.27/180.34	c  180s |      19 |   536322 |   522982 |     1790    690 |        0 |        0
182.27/182.37	c  182s |      19 |   542002 |   528482 |     1790    696 |        0 |        0
184.27/184.38	c  184s |      19 |   547494 |   533882 |     1790    702 |        0 |        0
186.36/186.40	c  186s |      19 |   552911 |   539182 |     1790    707 |        0 |        0
188.36/188.45	c  188s |      19 |   558405 |   544482 |     1790    713 |        0 |        0
190.37/190.45	c  190s |      19 |   563805 |   549782 |     1790    718 |        0 |        0
192.36/192.47	c  192s |      19 |   569377 |   555182 |     1790    724 |        0 |        0
194.46/194.51	c  194s |      19 |   574781 |   560482 |     1790    729 |        0 |        0
196.46/196.52	c  196s |      19 |   580008 |   565582 |     1790    734 |        0 |        0
198.46/198.52	c  198s |      19 |   585168 |   570682 |     1790    740 |        0 |        0
200.46/200.54	c  200s |      19 |   590403 |   575782 |     1790    745 |        0 |        0
202.47/202.55	c  202s |      19 |   596037 |   581282 |     1790    751 |        0 |        0
204.46/204.55	c  204s |      19 |   601988 |   587082 |     1790    757 |        0 |        0
206.46/206.58	c  206s |      19 |   607902 |   592882 |     1790    763 |        0 |        0
208.56/208.62	c  208s |      19 |   613711 |   598482 |     1790    769 |        0 |        0
210.56/210.62	c  210s |      19 |   619241 |   603882 |     1790    774 |        0 |        0
212.56/212.64	c  212s |      19 |   624782 |   609282 |     1790    780 |        0 |        0
214.56/214.66	c  214s |      19 |   630383 |   614782 |     1790    785 |        0 |        0
216.55/216.69	c  216s |      19 |   635905 |   620182 |     1790    791 |        0 |        0
218.65/218.70	c  218s |      19 |   641590 |   625682 |     1790    797 |        0 |        0
220.65/220.74	c  220s |      19 |   647002 |   630982 |     1790    802 |        0 |        0
222.65/222.77	c  222s |      19 |   652656 |   636482 |     1790    808 |        0 |        0
224.66/224.77	c  224s |      19 |   658051 |   641682 |     1790    813 |        0 |        0
226.67/226.77	c  226s |      19 |   663491 |   646882 |     1790    819 |        0 |        0
228.77/228.81	c  228s |      19 |   669115 |   652382 |     1790    825 |        0 |        0
230.76/230.82	c  230s |      19 |   674552 |   657682 |     1790    830 |        0 |        0
232.76/232.85	c  232s |      19 |   679917 |   662882 |     1970    835 |        0 |        0
234.27/234.39	c  234s |      20 |   683938 |   666827 |     1970    839 |        0 |        0
236.26/236.39	c  236s |      20 |   689405 |   672027 |     1970    844 |        0 |        0
238.36/238.40	c  238s |      20 |   694915 |   677427 |     1970    849 |        0 |        0
240.36/240.43	c  240s |      20 |   700559 |   682927 |     1970    854 |        0 |        0
242.36/242.43	c  242s |      20 |   705964 |   688227 |     1970    859 |        0 |        0
244.36/244.46	c  244s |      20 |   711415 |   693527 |     1970    864 |        0 |        0
246.36/246.47	c  246s |      20 |   716517 |   698527 |     1970    869 |        0 |        0
248.35/248.48	c  248s |      20 |   721849 |   703727 |     1970    874 |        0 |        0
250.35/250.49	c  250s |      20 |   727103 |   708827 |     1970    879 |        0 |        0
252.45/252.52	c  252s |      20 |   732249 |   713827 |     1970    884 |        0 |        0
254.45/254.55	c  254s |      20 |   737815 |   719327 |     1970    889 |        0 |        0
256.45/256.58	c  256s |      20 |   743297 |   724727 |     1970    894 |        0 |        0
258.56/258.61	c  258s |      20 |   748736 |   730027 |     1970    899 |        0 |        0
260.55/260.63	c  260s |      20 |   754126 |   735227 |     1970    904 |        0 |        0
262.55/262.65	c  262s |      20 |   759324 |   740327 |     1970    909 |        0 |        0
264.55/264.66	c  264s |      20 |   764649 |   745527 |     1970    914 |        0 |        0
266.65/266.71	c  266s |      20 |   769892 |   750627 |     1970    919 |        0 |        0
268.65/268.74	c  268s |      20 |   774982 |   755527 |     1970    923 |        0 |        0
270.66/270.77	c  270s |      20 |   780293 |   760627 |     1970    928 |        0 |        0
272.76/272.81	c  272s |      20 |   785378 |   765527 |     1970    933 |        0 |        0
274.75/274.82	c  274s |      20 |   790998 |   771027 |     1970    938 |        0 |        0
276.75/276.82	c  276s |      20 |   796605 |   776527 |     1970    943 |        0 |        0
278.75/278.83	c  278s |      20 |   801909 |   781727 |     1970    948 |        0 |        0
280.75/280.83	c  280s |      20 |   807189 |   786927 |     1970    953 |        0 |        0
282.75/282.84	c  282s |      20 |   812602 |   792227 |     1970    958 |        0 |        0
284.75/284.87	c  284s |      20 |   817996 |   797527 |     1970    963 |        0 |        0
286.75/286.88	c  286s |      20 |   823252 |   802627 |     1970    968 |        0 |        0
288.85/288.90	c  288s |      20 |   828599 |   807727 |     1970    973 |        0 |        0
290.84/290.94	c  290s |      20 |   833972 |   812827 |     1970    977 |        0 |        0
292.84/292.94	c  292s |      20 |   839158 |   817927 |     1970    982 |        0 |        0
294.85/294.98	c  294s |      20 |   844611 |   823227 |     1970    987 |        0 |        0
296.95/297.01	c  296s |      20 |   849921 |   828427 |     1970    992 |        0 |        0
298.94/299.04	c  299s |      20 |   855200 |   833627 |     1970    997 |        0 |        0
300.94/301.05	c  301s |      20 |   860319 |   838627 |     1970   1002 |        0 |        0
302.94/303.06	c  303s |      20 |   865563 |   843727 |     1970   1007 |        0 |        0
304.94/305.06	c  305s |      20 |   870694 |   848727 |     1970   1012 |        0 |        0
306.95/307.09	c  307s |      20 |   876120 |   854027 |     1970   1017 |        0 |        0
309.05/309.11	c  309s |      20 |   881279 |   859127 |     1970   1021 |        0 |        0
311.04/311.14	c  311s |      20 |   886288 |   864027 |     1970   1026 |        0 |        0
313.04/313.15	c  313s |      20 |   891181 |   868827 |     1970   1031 |        0 |        0
315.04/315.17	c  315s |      20 |   896246 |   873827 |     1970   1035 |        0 |        0
317.04/317.18	c  317s |      20 |   901230 |   878727 |     1970   1040 |        0 |        0
319.04/319.19	c  319s |      20 |   906854 |   884227 |     1970   1045 |        0 |        0
321.14/321.21	c  321s |      20 |   912356 |   889627 |     1970   1050 |        0 |        0
323.14/323.23	c  323s |      20 |   917661 |   894827 |     1970   1055 |        0 |        0
325.14/325.23	c  325s |      20 |   923015 |   900027 |     1970   1060 |        0 |        0
327.14/327.26	c  327s |      20 |   928454 |   905327 |     1970   1065 |        0 |        0
329.14/329.29	c  329s |      20 |   933606 |   910427 |     1970   1070 |        0 |        0
331.14/331.29	c  331s |      20 |   938840 |   915527 |     1970   1075 |        0 |        0
333.14/333.29	c  333s |      20 |   943842 |   920427 |     1970   1080 |        0 |        0
335.24/335.34	c  335s |      20 |   948949 |   925327 |     1970   1084 |        0 |        0
337.23/337.37	c  337s |      20 |   954279 |   930427 |     1970   1089 |        0 |        0
339.33/339.41	c  339s |      20 |   959534 |   935427 |     1970   1094 |        0 |        0
341.33/341.44	c  341s |      20 |   964688 |   940327 |     1970   1099 |        0 |        0
343.33/343.44	c  343s |      20 |   969814 |   945327 |     1970   1103 |        0 |        0
345.35/345.48	c  345s |      20 |   975305 |   950627 |     1970   1108 |        0 |        0
347.44/347.52	c  347s |      20 |   980508 |   955727 |     1970   1113 |        0 |        0
349.44/349.53	c  349s |      20 |   985739 |   960827 |     1970   1118 |        0 |        0
351.44/351.57	c  351s |      20 |   991062 |   966027 |     1970   1123 |        0 |        0
353.44/353.59	c  353s |      20 |   996171 |   970927 |     1970   1128 |        0 |        0
355.54/355.62	c  355s |      20 |  1001286 |   975927 |     1970   1132 |        0 |        0
357.55/357.66	c  357s |      20 |  1006291 |   980827 |     1970   1137 |        0 |        0
359.54/359.68	c  359s |      20 |  1011660 |   986027 |     1970   1142 |        0 |        0
361.54/361.70	c  361s |      20 |  1016768 |   991027 |     1970   1147 |        0 |        0
363.64/363.72	c  363s |      20 |  1021804 |   995927 |     2167   1151 |        0 |        0
365.44/365.56	c  365s |      21 |  1026332 |  1000345 |     2167   1155 |        0 |        0
367.44/367.58	c  367s |      21 |  1032049 |  1005845 |     2167   1160 |        0 |        0
369.44/369.60	c  369s |      21 |  1037692 |  1011345 |     2167   1164 |        0 |        0
371.54/371.63	c  371s |      21 |  1043235 |  1016745 |     2167   1169 |        0 |        0
373.54/373.66	c  373s |      21 |  1048593 |  1021945 |     2167   1174 |        0 |        0
375.54/375.68	c  375s |      21 |  1054164 |  1027345 |     2167   1178 |        0 |        0
377.64/377.70	c  377s |      21 |  1059383 |  1032445 |     2167   1183 |        0 |        0
379.64/379.74	c  379s |      21 |  1064681 |  1037645 |     2167   1187 |        0 |        0
381.64/381.76	c  381s |      21 |  1069753 |  1042645 |     2167   1192 |        0 |        0
383.63/383.78	c  383s |      21 |  1075043 |  1047745 |     2167   1196 |        0 |        0
385.73/385.81	c  385s |      21 |  1080174 |  1052745 |     2167   1200 |        0 |        0
387.73/387.83	c  387s |      21 |  1085222 |  1057645 |     2167   1205 |        0 |        0
389.73/389.86	c  389s |      21 |  1090597 |  1062845 |     2167   1209 |        0 |        0
391.73/391.87	c  391s |      21 |  1095665 |  1067745 |     2167   1213 |        0 |        0
393.74/393.89	c  393s |      21 |  1100758 |  1072645 |     2167   1218 |        0 |        0
395.83/395.91	c  395s |      21 |  1106209 |  1077945 |     2167   1222 |        0 |        0
397.83/397.92	c  397s |      21 |  1111512 |  1083145 |     2167   1227 |        0 |        0
399.83/399.94	c  399s |      21 |  1116862 |  1088345 |     2167   1231 |        0 |        0
401.83/401.95	c  401s |      21 |  1122093 |  1093445 |     2167   1236 |        0 |        0
403.83/403.98	c  403s |      21 |  1127397 |  1098645 |     2167   1240 |        0 |        0
405.83/405.99	c  405s |      21 |  1132749 |  1103845 |     2167   1245 |        0 |        0
407.92/408.00	c  407s |      21 |  1137981 |  1108845 |     2167   1249 |        0 |        0
409.92/410.01	c  409s |      21 |  1143161 |  1113945 |     2167   1253 |        0 |        0
411.92/412.02	c  411s |      21 |  1148355 |  1118845 |     2167   1258 |        0 |        0
413.92/414.05	c  414s |      21 |  1153697 |  1124045 |     2167   1262 |        0 |        0
415.92/416.08	c  416s |      21 |  1158815 |  1129045 |     2167   1266 |        0 |        0
418.03/418.10	c  418s |      21 |  1163860 |  1133845 |     2167   1271 |        0 |        0
420.02/420.13	c  420s |      21 |  1168845 |  1138645 |     2167   1275 |        0 |        0
422.03/422.14	c  422s |      21 |  1174155 |  1143845 |     2167   1279 |        0 |        0
424.03/424.16	c  424s |      21 |  1179415 |  1148945 |     2167   1284 |        0 |        0
426.03/426.16	c  426s |      21 |  1184517 |  1153945 |     2167   1288 |        0 |        0
428.03/428.19	c  428s |      21 |  1189749 |  1159045 |     2167   1292 |        0 |        0
430.03/430.20	c  430s |      21 |  1194801 |  1163945 |     2167   1297 |        0 |        0
432.13/432.20	c  432s |      21 |  1199643 |  1168645 |     2167   1301 |        0 |        0
434.13/434.22	c  434s |      21 |  1204549 |  1173445 |     2167   1305 |        0 |        0
436.13/436.24	c  436s |      21 |  1209450 |  1178245 |     2167   1309 |        0 |        0
438.13/438.27	c  438s |      21 |  1214328 |  1183045 |     2167   1313 |        0 |        0
440.13/440.28	c  440s |      21 |  1219356 |  1187945 |     2167   1318 |        0 |        0
442.13/442.30	c  442s |      21 |  1224965 |  1193445 |     2167   1322 |        0 |        0
444.22/444.30	c  444s |      21 |  1230239 |  1198645 |     2167   1327 |        0 |        0
446.22/446.34	c  446s |      21 |  1235559 |  1203845 |     2167   1331 |        0 |        0
448.22/448.37	c  448s |      21 |  1240796 |  1208845 |     2167   1336 |        0 |        0
450.22/450.39	c  450s |      21 |  1245816 |  1213745 |     2167   1340 |        0 |        0
452.32/452.40	c  452s |      21 |  1250910 |  1218745 |     2167   1344 |        0 |        0
454.23/454.40	c  454s |      21 |  1255917 |  1223645 |     2167   1349 |        0 |        0
456.32/456.43	c  456s |      21 |  1261152 |  1228745 |     2167   1353 |        0 |        0
458.32/458.43	c  458s |      21 |  1266271 |  1233745 |     2167   1357 |        0 |        0
460.32/460.47	c  460s |      21 |  1271397 |  1238645 |     2167   1362 |        0 |        0
462.32/462.47	c  462s |      21 |  1276437 |  1243445 |     2167   1366 |        0 |        0
464.42/464.50	c  464s |      21 |  1281376 |  1248245 |     2167   1370 |        0 |        0
466.43/466.52	c  466s |      21 |  1286382 |  1253145 |     2167   1374 |        0 |        0
468.42/468.54	c  468s |      21 |  1291295 |  1257945 |     2167   1378 |        0 |        0
470.42/470.57	c  470s |      21 |  1296282 |  1262845 |     2167   1383 |        0 |        0
472.52/472.60	c  472s |      21 |  1301321 |  1267745 |     2167   1387 |        0 |        0
474.52/474.62	c  474s |      21 |  1306354 |  1272645 |     2167   1391 |        0 |        0
476.52/476.66	c  476s |      21 |  1311348 |  1277445 |     2167   1395 |        0 |        0
478.52/478.67	c  478s |      21 |  1316199 |  1282145 |     2167   1399 |        0 |        0
480.62/480.70	c  480s |      21 |  1321204 |  1287045 |     2167   1404 |        0 |        0
482.61/482.75	c  482s |      21 |  1326070 |  1291745 |     2167   1408 |        0 |        0
484.61/484.77	c  484s |      21 |  1331011 |  1296545 |     2167   1412 |        0 |        0
486.61/486.78	c  486s |      21 |  1336628 |  1302045 |     2167   1417 |        0 |        0
488.61/488.80	c  488s |      21 |  1342191 |  1307445 |     2167   1421 |        0 |        0
490.71/490.83	c  490s |      21 |  1347714 |  1312845 |     2167   1426 |        0 |        0
492.72/492.83	c  492s |      21 |  1353018 |  1318045 |     2167   1430 |        0 |        0
494.71/494.85	c  494s |      21 |  1358045 |  1322945 |     2167   1435 |        0 |        0
496.71/496.86	c  496s |      21 |  1363366 |  1328045 |     2167   1439 |        0 |        0
498.71/498.86	c  498s |      21 |  1368353 |  1332945 |     2167   1443 |        0 |        0
500.71/500.88	c  500s |      21 |  1373691 |  1338045 |     2167   1448 |        0 |        0
502.82/502.91	c  502s |      21 |  1378877 |  1343045 |     2167   1452 |        0 |        0
504.82/504.94	c  504s |      21 |  1383933 |  1347945 |     2167   1456 |        0 |        0
506.82/506.98	c  506s |      21 |  1389363 |  1353245 |     2167   1461 |        0 |        0
508.92/509.03	c  509s |      21 |  1394646 |  1358445 |     2167   1466 |        0 |        0
510.92/511.06	c  511s |      21 |  1399746 |  1363445 |     2167   1470 |        0 |        0
512.91/513.08	c  513s |      21 |  1404679 |  1368245 |     2167   1474 |        0 |        0
515.01/515.11	c  515s |      21 |  1409799 |  1373245 |     2167   1478 |        0 |        0
517.02/517.13	c  517s |      21 |  1414782 |  1378045 |     2167   1483 |        0 |        0
519.01/519.16	c  519s |      21 |  1419895 |  1382945 |     2167   1487 |        0 |        0
521.01/521.17	c  521s |      21 |  1425086 |  1387945 |     2167   1491 |        0 |        0
523.11/523.20	c  523s |      21 |  1430391 |  1393045 |     2167   1496 |        0 |        0
525.11/525.21	c  525s |      21 |  1435490 |  1397945 |     2167   1500 |        0 |        0
527.11/527.24	c  527s |      21 |  1440524 |  1402845 |     2167   1504 |        0 |        0
529.12/529.27	c  529s |      21 |  1445603 |  1407745 |     2167   1508 |        0 |        0
531.11/531.29	c  531s |      21 |  1450719 |  1412645 |     2167   1513 |        0 |        0
533.21/533.31	c  533s |      21 |  1455871 |  1417645 |     2167   1517 |        0 |        0
535.21/535.34	c  535s |      21 |  1461013 |  1422545 |     2167   1521 |        0 |        0
537.21/537.36	c  537s |      21 |  1465936 |  1427345 |     2167   1525 |        0 |        0
539.31/539.41	c  539s |      21 |  1470948 |  1432145 |     2167   1530 |        0 |        0
541.31/541.44	c  541s |      21 |  1475878 |  1436945 |     2167   1534 |        0 |        0
543.31/543.48	c  543s |      21 |  1480925 |  1441845 |     2167   1538 |        0 |        0
545.31/545.49	c  545s |      21 |  1485846 |  1446645 |     2167   1542 |        0 |        0
547.31/547.49	c  547s |      21 |  1490773 |  1451445 |     2167   1546 |        0 |        0
549.30/549.49	c  549s |      21 |  1495457 |  1456045 |     2167   1550 |        0 |        0
551.40/551.53	c  551s |      21 |  1500229 |  1460745 |     2167   1554 |        0 |        0
553.40/553.53	c  553s |      21 |  1505301 |  1465645 |     2167   1559 |        0 |        0
555.41/555.54	c  555s |      21 |  1510422 |  1470545 |     2167   1563 |        0 |        0
557.40/557.57	c  557s |      21 |  1515475 |  1475445 |     2167   1567 |        0 |        0
559.40/559.59	c  559s |      21 |  1520480 |  1480345 |     2167   1571 |        0 |        0
561.50/561.64	c  561s |      21 |  1525422 |  1485145 |     2167   1576 |        0 |        0
563.50/563.68	c  563s |      21 |  1530268 |  1489845 |     2167   1580 |        0 |        0
565.50/565.69	c  565s |      21 |  1535320 |  1494745 |     2384   1583 |        0 |        0
567.51/567.70	c  567s |      21 |  1540050 |  1499345 |     2384   1587 |        0 |        0
568.10/568.27	c  568s |      22 |  1541373 |  1500622 |     2384   1588 |        0 |        0
570.10/570.28	c  570s |      22 |  1546828 |  1505722 |     2384   1592 |        0 |        0
572.20/572.30	c  572s |      22 |  1552154 |  1510922 |     2384   1596 |        0 |        0
574.21/574.31	c  574s |      22 |  1557244 |  1515922 |     2384   1600 |        0 |        0
576.20/576.33	c  576s |      22 |  1562346 |  1520922 |     2384   1604 |        0 |        0
578.20/578.34	c  578s |      22 |  1567477 |  1525922 |     2384   1608 |        0 |        0
580.20/580.34	c  580s |      22 |  1573145 |  1531522 |     2384   1613 |        0 |        0
582.20/582.38	c  582s |      22 |  1578664 |  1536922 |     2384   1617 |        0 |        0
584.20/584.38	c  584s |      22 |  1583963 |  1542122 |     2384   1621 |        0 |        0
586.30/586.41	c  586s |      22 |  1589269 |  1547322 |     2384   1625 |        0 |        0
588.30/588.41	c  588s |      22 |  1594399 |  1552322 |     2384   1629 |        0 |        0
590.30/590.43	c  590s |      22 |  1599454 |  1557222 |     2384   1633 |        0 |        0
592.30/592.44	c  592s |      22 |  1604815 |  1562422 |     2384   1637 |        0 |        0
594.29/594.45	c  594s |      22 |  1609916 |  1567422 |     2384   1641 |        0 |        0
596.29/596.48	c  596s |      22 |  1615225 |  1572622 |     2384   1645 |        0 |        0
598.30/598.49	c  598s |      22 |  1620115 |  1577422 |     2384   1649 |        0 |        0
600.39/600.50	c  600s |      22 |  1625538 |  1582722 |     2384   1653 |        0 |        0
602.40/602.54	c  602s |      22 |  1630860 |  1587922 |     2384   1657 |        0 |        0
604.40/604.56	c  604s |      22 |  1635931 |  1592822 |     2384   1661 |        0 |        0
606.40/606.57	c  606s |      22 |  1641014 |  1597822 |     2384   1665 |        0 |        0
608.40/608.58	c  608s |      22 |  1646034 |  1602722 |     2384   1669 |        0 |        0
610.51/610.62	c  610s |      22 |  1651018 |  1607422 |     2384   1673 |        0 |        0
612.50/612.64	c  612s |      22 |  1656738 |  1612922 |     2384   1677 |        0 |        0
614.50/614.67	c  614s |      22 |  1662326 |  1618322 |     2384   1681 |        0 |        0
616.50/616.68	c  616s |      22 |  1667614 |  1623322 |     2384   1685 |        0 |        0
618.50/618.68	c  618s |      22 |  1672664 |  1628222 |     2384   1689 |        0 |        0
620.60/620.71	c  620s |      22 |  1677853 |  1633222 |     2384   1693 |        0 |        0
622.61/622.75	c  622s |      22 |  1683008 |  1638222 |     2384   1697 |        0 |        0
624.60/624.77	c  624s |      22 |  1687990 |  1643122 |     2384   1701 |        0 |        0
626.70/626.80	c  626s |      22 |  1692872 |  1647822 |     2384   1705 |        0 |        0
628.70/628.85	c  628s |      22 |  1697910 |  1652722 |     2384   1709 |        0 |        0
630.70/630.87	c  630s |      22 |  1702945 |  1657622 |     2384   1712 |        0 |        0
632.70/632.89	c  632s |      22 |  1708497 |  1663022 |     2384   1717 |        0 |        0
634.80/634.90	c  634s |      22 |  1713830 |  1668222 |     2384   1721 |        0 |        0
636.80/636.90	c  636s |      22 |  1719019 |  1673322 |     2384   1725 |        0 |        0
638.79/638.92	c  638s |      22 |  1724322 |  1678522 |     2384   1729 |        0 |        0
640.79/640.93	c  640s |      22 |  1729608 |  1683622 |     2384   1733 |        0 |        0
642.79/642.95	c  642s |      22 |  1734701 |  1688522 |     2384   1737 |        0 |        0
644.79/644.97	c  644s |      22 |  1739883 |  1693422 |     2384   1741 |        0 |        0
646.80/646.98	c  646s |      22 |  1745009 |  1698422 |     2384   1745 |        0 |        0
648.90/649.02	c  648s |      22 |  1750094 |  1703422 |     2384   1749 |        0 |        0
650.89/651.02	c  651s |      22 |  1755229 |  1708422 |     2384   1753 |        0 |        0
652.89/653.06	c  653s |      22 |  1760236 |  1713322 |     2384   1757 |        0 |        0
654.89/655.09	c  655s |      22 |  1765362 |  1718122 |     2384   1760 |        0 |        0
656.99/657.12	c  657s |      22 |  1770312 |  1722922 |     2384   1764 |        0 |        0
658.99/659.16	c  659s |      22 |  1775341 |  1727822 |     2384   1768 |        0 |        0
661.00/661.20	c  661s |      22 |  1780337 |  1732722 |     2384   1772 |        0 |        0
663.09/663.20	c  663s |      22 |  1785162 |  1737422 |     2384   1776 |        0 |        0
665.09/665.21	c  665s |      22 |  1790057 |  1742222 |     2384   1779 |        0 |        0
667.09/667.24	c  667s |      22 |  1794797 |  1746822 |     2384   1783 |        0 |        0
669.09/669.24	c  669s |      22 |  1799954 |  1751822 |     2384   1787 |        0 |        0
671.09/671.24	c  671s |      22 |  1805425 |  1757122 |     2384   1791 |        0 |        0
673.09/673.26	c  673s |      22 |  1810714 |  1762322 |     2384   1795 |        0 |        0
675.08/675.27	c  675s |      22 |  1815836 |  1767322 |     2384   1799 |        0 |        0
677.18/677.30	c  677s |      22 |  1820954 |  1772322 |     2384   1803 |        0 |        0
679.18/679.32	c  679s |      22 |  1826136 |  1777422 |     2384   1807 |        0 |        0
681.18/681.35	c  681s |      22 |  1831197 |  1782422 |     2384   1811 |        0 |        0
683.18/683.38	c  683s |      22 |  1836363 |  1787422 |     2384   1815 |        0 |        0
685.19/685.40	c  685s |      22 |  1841171 |  1792122 |     2384   1819 |        0 |        0
687.28/687.44	c  687s |      22 |  1846270 |  1797122 |     2384   1823 |        0 |        0
689.28/689.45	c  689s |      22 |  1851160 |  1801922 |     2384   1827 |        0 |        0
691.28/691.45	c  691s |      22 |  1856089 |  1806722 |     2384   1831 |        0 |        0
693.38/693.51	c  693s |      22 |  1861160 |  1811722 |     2384   1835 |        0 |        0
695.38/695.52	c  695s |      22 |  1866337 |  1816722 |     2384   1839 |        0 |        0
697.39/697.53	c  697s |      22 |  1871354 |  1821622 |     2384   1842 |        0 |        0
699.38/699.55	c  699s |      22 |  1876259 |  1826422 |     2384   1846 |        0 |        0
701.38/701.56	c  701s |      22 |  1881161 |  1831222 |     2384   1850 |        0 |        0
703.38/703.59	c  703s |      22 |  1886059 |  1836022 |     2384   1854 |        0 |        0
705.48/705.63	c  705s |      22 |  1890854 |  1840722 |     2384   1858 |        0 |        0
707.48/707.65	c  707s |      22 |  1895807 |  1845522 |     2384   1861 |        0 |        0
709.49/709.66	c  709s |      22 |  1900786 |  1850422 |     2384   1865 |        0 |        0
711.48/711.69	c  711s |      22 |  1905921 |  1855422 |     2384   1869 |        0 |        0
713.58/713.70	c  713s |      22 |  1910814 |  1860222 |     2384   1873 |        0 |        0
715.58/715.72	c  715s |      22 |  1915743 |  1865022 |     2384   1877 |        0 |        0
717.58/717.75	c  717s |      22 |  1920615 |  1869822 |     2384   1881 |        0 |        0
719.58/719.79	c  719s |      22 |  1925515 |  1874622 |     2384   1884 |        0 |        0
721.68/721.81	c  721s |      22 |  1930292 |  1879322 |     2384   1888 |        0 |        0
723.68/723.84	c  723s |      22 |  1935111 |  1884022 |     2384   1892 |        0 |        0
725.67/725.84	c  725s |      22 |  1939845 |  1888622 |     2384   1896 |        0 |        0
727.67/727.86	c  727s |      22 |  1945699 |  1894322 |     2384   1900 |        0 |        0
729.67/729.89	c  729s |      22 |  1951230 |  1899722 |     2384   1904 |        0 |        0
731.77/731.93	c  731s |      22 |  1956790 |  1905022 |     2384   1909 |        0 |        0
733.78/733.94	c  733s |      22 |  1962236 |  1910222 |     2384   1913 |        0 |        0
735.79/735.94	c  735s |      22 |  1967465 |  1915322 |     2384   1917 |        0 |        0
737.78/737.98	c  737s |      22 |  1972809 |  1920522 |     2384   1921 |        0 |        0
739.78/739.98	c  739s |      22 |  1977930 |  1925522 |     2384   1925 |        0 |        0
741.88/742.01	c  741s |      22 |  1983477 |  1930822 |     2384   1929 |        0 |        0
743.88/744.05	c  744s |      22 |  1988619 |  1935822 |     2384   1933 |        0 |        0
745.88/746.09	c  746s |      22 |  1993803 |  1940822 |     2384   1937 |        0 |        0
747.98/748.11	c  748s |      22 |  1999048 |  1945922 |     2384   1941 |        0 |        0
749.98/750.15	c  750s |      22 |  2004242 |  1951022 |     2384   1945 |        0 |        0
751.97/752.16	c  752s |      22 |  2009174 |  1955822 |     2384   1949 |        0 |        0
753.97/754.18	c  754s |      22 |  2014240 |  1960822 |     2384   1953 |        0 |        0
756.07/756.20	c  756s |      22 |  2019458 |  1965922 |     2384   1957 |        0 |        0
758.07/758.23	c  758s |      22 |  2024526 |  1970822 |     2384   1961 |        0 |        0
760.08/760.26	c  760s |      22 |  2029533 |  1975722 |     2384   1965 |        0 |        0
762.07/762.30	c  762s |      22 |  2034575 |  1980622 |     2384   1968 |        0 |        0
764.17/764.33	c  764s |      22 |  2039502 |  1985422 |     2384   1972 |        0 |        0
766.17/766.34	c  766s |      22 |  2044344 |  1990122 |     2384   1976 |        0 |        0
768.17/768.36	c  768s |      22 |  2049635 |  1995322 |     2384   1980 |        0 |        0
770.17/770.37	c  770s |      22 |  2054583 |  2000222 |     2384   1984 |        0 |        0
772.17/772.39	c  772s |      22 |  2059588 |  2005122 |     2384   1988 |        0 |        0
774.17/774.40	c  774s |      22 |  2064546 |  2009922 |     2384   1992 |        0 |        0
776.27/776.43	c  776s |      22 |  2069385 |  2014622 |     2384   1995 |        0 |        0
778.26/778.44	c  778s |      22 |  2074197 |  2019322 |     2384   1999 |        0 |        0
780.26/780.47	c  780s |      22 |  2079383 |  2024322 |     2384   2003 |        0 |        0
782.26/782.48	c  782s |      22 |  2084803 |  2029522 |     2384   2007 |        0 |        0
784.36/784.50	c  784s |      22 |  2090033 |  2034622 |     2384   2011 |        0 |        0
786.37/786.53	c  786s |      22 |  2095241 |  2039622 |     2384   2015 |        0 |        0
788.36/788.57	c  788s |      22 |  2100370 |  2044622 |     2384   2019 |        0 |        0
790.46/790.61	c  790s |      22 |  2105426 |  2049522 |     2384   2023 |        0 |        0
792.46/792.65	c  792s |      22 |  2110719 |  2054522 |     2384   2027 |        0 |        0
794.47/794.66	c  794s |      22 |  2115645 |  2059322 |     2384   2031 |        0 |        0
796.47/796.67	c  796s |      22 |  2120594 |  2064122 |     2384   2035 |        0 |        0
798.47/798.70	c  798s |      22 |  2125620 |  2069022 |     2384   2039 |        0 |        0
800.57/800.74	c  800s |      22 |  2130587 |  2073822 |     2384   2042 |        0 |        0
802.56/802.76	c  802s |      22 |  2135412 |  2078422 |     2384   2046 |        0 |        0
804.66/804.80	c  804s |      22 |  2140682 |  2083422 |     2384   2050 |        0 |        0
806.66/806.81	c  806s |      22 |  2145621 |  2088122 |     2384   2054 |        0 |        0
808.66/808.82	c  808s |      22 |  2150309 |  2092722 |     2384   2057 |        0 |        0
810.67/810.83	c  810s |      22 |  2155018 |  2097322 |     2384   2061 |        0 |        0
812.66/812.84	c  812s |      22 |  2159870 |  2102022 |     2384   2065 |        0 |        0
814.66/814.84	c  814s |      22 |  2164993 |  2107022 |     2384   2069 |        0 |        0
816.66/816.87	c  816s |      22 |  2170150 |  2112022 |     2384   2073 |        0 |        0
818.66/818.87	c  818s |      22 |  2175295 |  2117022 |     2384   2077 |        0 |        0
820.66/820.89	c  820s |      22 |  2180348 |  2121922 |     2384   2080 |        0 |        0
822.76/822.91	c  822s |      22 |  2185264 |  2126722 |     2384   2084 |        0 |        0
824.75/824.95	c  824s |      22 |  2190136 |  2131422 |     2384   2088 |        0 |        0
826.75/826.97	c  826s |      22 |  2195030 |  2136222 |     2384   2092 |        0 |        0
828.75/828.98	c  828s |      22 |  2199867 |  2140922 |     2384   2096 |        0 |        0
830.75/830.99	c  830s |      22 |  2204764 |  2145722 |     2384   2099 |        0 |        0
832.85/833.03	c  833s |      22 |  2209527 |  2150322 |     2384   2103 |        0 |        0
834.86/835.04	c  835s |      22 |  2214495 |  2155122 |     2384   2107 |        0 |        0
836.85/837.06	c  837s |      22 |  2219555 |  2160022 |     2384   2111 |        0 |        0
838.85/839.09	c  839s |      22 |  2224345 |  2164722 |     2384   2114 |        0 |        0
840.95/841.12	c  841s |      22 |  2229143 |  2169422 |     2384   2118 |        0 |        0
842.95/843.14	c  843s |      22 |  2234053 |  2174222 |     2384   2122 |        0 |        0
844.94/845.19	c  845s |      22 |  2238876 |  2178922 |     2384   2126 |        0 |        0
846.95/847.19	c  847s |      22 |  2243594 |  2183522 |     2384   2129 |        0 |        0
849.05/849.21	c  849s |      22 |  2248325 |  2188122 |     2384   2133 |        0 |        0
851.04/851.23	c  851s |      22 |  2252841 |  2192522 |     2384   2136 |        0 |        0
853.04/853.24	c  853s |      22 |  2258665 |  2198222 |     2384   2141 |        0 |        0
855.04/855.26	c  855s |      22 |  2264339 |  2203722 |     2384   2145 |        0 |        0
857.04/857.29	c  857s |      22 |  2269945 |  2209122 |     2384   2150 |        0 |        0
859.04/859.30	c  859s |      22 |  2275613 |  2214522 |     2384   2154 |        0 |        0
861.04/861.30	c  861s |      22 |  2281180 |  2219922 |     2384   2158 |        0 |        0
863.13/863.31	c  863s |      22 |  2286772 |  2225322 |     2384   2162 |        0 |        0
865.13/865.33	c  865s |      22 |  2292123 |  2230522 |     2384   2167 |        0 |        0
867.13/867.37	c  867s |      22 |  2297800 |  2236122 |     2623   2171 |        0 |        0
869.23/869.40	c  869s |      22 |  2303210 |  2241322 |     2623   2174 |        0 |        0
871.23/871.41	c  871s |      22 |  2308457 |  2246422 |     2623   2178 |        0 |        0
873.04/873.22	c  873s |      23 |  2313152 |  2251038 |     2623   2182 |        0 |        0
875.04/875.23	c  875s |      23 |  2319073 |  2256638 |     2623   2186 |        0 |        0
877.04/877.26	c  877s |      23 |  2324739 |  2262138 |     2623   2190 |        0 |        0
879.14/879.31	c  879s |      23 |  2330341 |  2267638 |     2623   2194 |        0 |        0
881.14/881.34	c  881s |      23 |  2335906 |  2273038 |     2623   2197 |        0 |        0
883.14/883.34	c  883s |      23 |  2341860 |  2278738 |     2623   2202 |        0 |        0
885.14/885.36	c  885s |      23 |  2347817 |  2284438 |     2623   2206 |        0 |        0
887.14/887.39	c  887s |      23 |  2353515 |  2289938 |     2623   2210 |        0 |        0
889.23/889.42	c  889s |      23 |  2359077 |  2295338 |     2623   2214 |        0 |        0
891.23/891.45	c  891s |      23 |  2364646 |  2300738 |     2623   2217 |        0 |        0
893.33/893.50	c  893s |      23 |  2369966 |  2305938 |     2623   2221 |        0 |        0
895.34/895.53	c  895s |      23 |  2375545 |  2311338 |     2623   2225 |        0 |        0
897.33/897.55	c  897s |      23 |  2380739 |  2316438 |     2623   2229 |        0 |        0
899.33/899.58	c  899s |      23 |  2386687 |  2322238 |     2623   2233 |        0 |        0
901.43/901.60	c  901s |      23 |  2392444 |  2327838 |     2623   2237 |        0 |        0
903.42/903.63	c  903s |      23 |  2398221 |  2333438 |     2623   2241 |        0 |        0
905.42/905.64	c  905s |      23 |  2403993 |  2339038 |     2623   2245 |        0 |        0
907.43/907.66	c  907s |      23 |  2409551 |  2344438 |     2623   2249 |        0 |        0
909.42/909.70	c  909s |      23 |  2415048 |  2349738 |     2623   2253 |        0 |        0
911.52/911.70	c  911s |      23 |  2420713 |  2355238 |     2623   2257 |        0 |        0
913.52/913.71	c  913s |      23 |  2426546 |  2360838 |     2623   2261 |        0 |        0
915.52/915.71	c  915s |      23 |  2431955 |  2366138 |     2623   2265 |        0 |        0
917.52/917.73	c  917s |      23 |  2437562 |  2371538 |     2623   2269 |        0 |        0
919.52/919.75	c  919s |      23 |  2443078 |  2376838 |     2623   2273 |        0 |        0
921.52/921.76	c  921s |      23 |  2448352 |  2381938 |     2623   2276 |        0 |        0
923.51/923.78	c  923s |      23 |  2454377 |  2387738 |     2623   2280 |        0 |        0
925.61/925.80	c  925s |      23 |  2459977 |  2393238 |     2623   2284 |        0 |        0
927.61/927.80	c  927s |      23 |  2465860 |  2398838 |     2623   2288 |        0 |        0
929.61/929.86	c  929s |      23 |  2471642 |  2404438 |     2623   2293 |        0 |        0
931.62/931.89	c  931s |      23 |  2477286 |  2409938 |     2623   2297 |        0 |        0
933.60/933.89	c  933s |      23 |  2482971 |  2415438 |     2623   2300 |        0 |        0
935.70/935.92	c  935s |      23 |  2488463 |  2420738 |     2623   2304 |        0 |        0
937.70/937.95	c  937s |      23 |  2493840 |  2426038 |     2623   2308 |        0 |        0
939.70/939.97	c  939s |      23 |  2499527 |  2431538 |     2623   2312 |        0 |        0
941.70/941.98	c  941s |      23 |  2504987 |  2436838 |     2623   2316 |        0 |        0
943.80/944.01	c  943s |      23 |  2510611 |  2442138 |     2623   2320 |        0 |        0
945.81/946.02	c  946s |      23 |  2516061 |  2447338 |     2623   2324 |        0 |        0
947.80/948.05	c  948s |      23 |  2521502 |  2452638 |     2623   2327 |        0 |        0
949.80/950.07	c  950s |      23 |  2526681 |  2457638 |     2623   2331 |        0 |        0
951.90/952.10	c  952s |      23 |  2532098 |  2462938 |     2623   2335 |        0 |        0
953.90/954.10	c  954s |      23 |  2537496 |  2468138 |     2623   2339 |        0 |        0
955.90/956.13	c  956s |      23 |  2542867 |  2473338 |     2623   2342 |        0 |        0
957.91/958.13	c  958s |      23 |  2548084 |  2478438 |     2623   2346 |        0 |        0
959.90/960.16	c  960s |      23 |  2553354 |  2483538 |     2623   2350 |        0 |        0
961.90/962.18	c  962s |      23 |  2558571 |  2488538 |     2623   2353 |        0 |        0
964.00/964.21	c  964s |      23 |  2564843 |  2494538 |     2623   2358 |        0 |        0
966.00/966.22	c  966s |      23 |  2570976 |  2500438 |     2623   2362 |        0 |        0
968.00/968.22	c  968s |      23 |  2576880 |  2506138 |     2623   2366 |        0 |        0
970.00/970.26	c  970s |      23 |  2582540 |  2511638 |     2623   2370 |        0 |        0
971.99/972.29	c  972s |      23 |  2588074 |  2517038 |     2623   2374 |        0 |        0
973.99/974.29	c  974s |      23 |  2593474 |  2522238 |     2623   2378 |        0 |        0
976.09/976.30	c  976s |      23 |  2599253 |  2527738 |     2623   2382 |        0 |        0
978.09/978.31	c  978s |      23 |  2604950 |  2533138 |     2623   2386 |        0 |        0
980.09/980.34	c  980s |      23 |  2610511 |  2538538 |     2623   2390 |        0 |        0
982.09/982.36	c  982s |      23 |  2615920 |  2543738 |     2623   2393 |        0 |        0
984.08/984.39	c  984s |      23 |  2621685 |  2549238 |     2623   2397 |        0 |        0
986.18/986.40	c  986s |      23 |  2627122 |  2554538 |     2623   2401 |        0 |        0
988.18/988.42	c  988s |      23 |  2632502 |  2559738 |     2623   2405 |        0 |        0
990.18/990.44	c  990s |      23 |  2638019 |  2565038 |     2623   2409 |        0 |        0
992.18/992.48	c  992s |      23 |  2643656 |  2570538 |     2623   2413 |        0 |        0
994.18/994.48	c  994s |      23 |  2649003 |  2575738 |     2623   2417 |        0 |        0
996.28/996.52	c  996s |      23 |  2654585 |  2580938 |     2623   2420 |        0 |        0
998.28/998.54	c  998s |      23 |  2660061 |  2586138 |     2623   2424 |        0 |        0
1000.28/1000.58	c 1000s |      23 |  2665232 |  2591138 |     2623   2428 |        0 |        0
1002.37/1002.61	c 1002s |      23 |  2670919 |  2596638 |     2623   2432 |        0 |        0
1004.37/1004.62	c 1004s |      23 |  2676366 |  2601938 |     2623   2436 |        0 |        0
1006.38/1006.62	c 1006s |      23 |  2681791 |  2607238 |     2623   2439 |        0 |        0
1008.37/1008.65	c 1008s |      23 |  2687110 |  2612438 |     2623   2443 |        0 |        0
1010.37/1010.66	c 1010s |      23 |  2692374 |  2617538 |     2623   2447 |        0 |        0
1012.37/1012.66	c 1012s |      23 |  2697844 |  2622838 |     2623   2451 |        0 |        0
1014.37/1014.68	c 1014s |      23 |  2703145 |  2628038 |     2623   2454 |        0 |        0
1016.37/1016.69	c 1016s |      23 |  2708382 |  2633138 |     2623   2458 |        0 |        0
1018.37/1018.70	c 1018s |      23 |  2713896 |  2638438 |     2623   2462 |        0 |        0
1020.47/1020.70	c 1020s |      23 |  2719555 |  2643838 |     2623   2466 |        0 |        0
1022.46/1022.70	c 1022s |      23 |  2725045 |  2649038 |     2623   2470 |        0 |        0
1024.46/1024.73	c 1024s |      23 |  2730548 |  2654338 |     2623   2473 |        0 |        0
1026.46/1026.75	c 1026s |      23 |  2735722 |  2659338 |     2623   2477 |        0 |        0
1028.46/1028.77	c 1028s |      23 |  2740896 |  2664338 |     2623   2481 |        0 |        0
1030.48/1030.77	c 1030s |      23 |  2746589 |  2669738 |     2623   2485 |        0 |        0
1032.47/1032.79	c 1032s |      23 |  2752157 |  2675138 |     2623   2489 |        0 |        0
1034.57/1034.83	c 1034s |      23 |  2757799 |  2680638 |     2623   2493 |        0 |        0
1036.57/1036.84	c 1036s |      23 |  2763283 |  2685938 |     2623   2496 |        0 |        0
1038.57/1038.87	c 1038s |      23 |  2768545 |  2691038 |     2623   2500 |        0 |        0
1040.66/1040.90	c 1040s |      23 |  2773848 |  2696238 |     2623   2504 |        0 |        0
1042.67/1042.91	c 1042s |      23 |  2779388 |  2701538 |     2623   2508 |        0 |        0
1044.66/1044.93	c 1044s |      23 |  2784946 |  2706938 |     2623   2512 |        0 |        0
1046.66/1046.96	c 1046s |      23 |  2790396 |  2712238 |     2623   2515 |        0 |        0
1048.66/1048.99	c 1048s |      23 |  2795661 |  2717338 |     2623   2519 |        0 |        0
1050.76/1051.02	c 1051s |      23 |  2801008 |  2722438 |     2623   2523 |        0 |        0
1052.76/1053.03	c 1053s |      23 |  2806601 |  2727738 |     2623   2527 |        0 |        0
1054.76/1055.04	c 1055s |      23 |  2812115 |  2732938 |     2623   2530 |        0 |        0
1056.76/1057.07	c 1057s |      23 |  2817417 |  2738038 |     2623   2534 |        0 |        0
1058.76/1059.09	c 1059s |      23 |  2822881 |  2743238 |     2623   2538 |        0 |        0
1060.86/1061.10	c 1061s |      23 |  2828033 |  2748238 |     2623   2541 |        0 |        0
1062.85/1063.14	c 1063s |      23 |  2833227 |  2753238 |     2623   2545 |        0 |        0
1064.85/1065.14	c 1065s |      23 |  2839066 |  2758638 |     2623   2549 |        0 |        0
1066.86/1067.15	c 1067s |      23 |  2844403 |  2763738 |     2623   2553 |        0 |        0
1068.85/1069.16	c 1069s |      23 |  2849548 |  2768638 |     2623   2556 |        0 |        0
1070.85/1071.19	c 1071s |      23 |  2854625 |  2773538 |     2623   2560 |        0 |        0
1072.95/1073.21	c 1073s |      23 |  2859769 |  2778438 |     2623   2563 |        0 |        0
1074.95/1075.22	c 1075s |      23 |  2865798 |  2784238 |     2623   2568 |        0 |        0
1076.95/1077.23	c 1077s |      23 |  2871818 |  2790038 |     2623   2572 |        0 |        0
1078.95/1079.26	c 1079s |      23 |  2877545 |  2795638 |     2623   2576 |        0 |        0
1080.94/1081.27	c 1081s |      23 |  2883394 |  2801138 |     2623   2580 |        0 |        0
1082.94/1083.29	c 1083s |      23 |  2889157 |  2806638 |     2623   2584 |        0 |        0
1085.04/1085.30	c 1085s |      23 |  2894869 |  2812138 |     2623   2588 |        0 |        0
1087.04/1087.31	c 1087s |      23 |  2900712 |  2817838 |     2623   2592 |        0 |        0
1089.04/1089.34	c 1089s |      23 |  2906441 |  2823438 |     2623   2596 |        0 |        0
1091.05/1091.37	c 1091s |      23 |  2912101 |  2828938 |     2623   2600 |        0 |        0
1093.04/1093.40	c 1093s |      23 |  2917613 |  2834238 |     2623   2604 |        0 |        0
1095.14/1095.42	c 1095s |      23 |  2923172 |  2839538 |     2623   2608 |        0 |        0
1097.14/1097.45	c 1097s |      23 |  2928540 |  2844738 |     2623   2611 |        0 |        0
1099.13/1099.48	c 1099s |      23 |  2934094 |  2850038 |     2623   2615 |        0 |        0
1101.13/1101.49	c 1101s |      23 |  2939699 |  2855338 |     2623   2619 |        0 |        0
1103.23/1103.52	c 1103s |      23 |  2945093 |  2860538 |     2623   2623 |        0 |        0
1105.24/1105.55	c 1105s |      23 |  2950352 |  2865638 |     2623   2626 |        0 |        0
1107.23/1107.55	c 1107s |      23 |  2955789 |  2870838 |     2623   2630 |        0 |        0
1109.23/1109.58	c 1109s |      23 |  2961013 |  2875938 |     2623   2634 |        0 |        0
1111.24/1111.59	c 1111s |      23 |  2966352 |  2881138 |     2623   2638 |        0 |        0
1113.34/1113.63	c 1113s |      23 |  2972082 |  2886638 |     2623   2642 |        0 |        0
1115.34/1115.68	c 1115s |      23 |  2977654 |  2892038 |     2623   2646 |        0 |        0
1117.34/1117.68	c 1117s |      23 |  2982929 |  2897238 |     2623   2649 |        0 |        0
1119.43/1119.71	c 1119s |      23 |  2988234 |  2902438 |     2623   2653 |        0 |        0
1121.43/1121.71	c 1121s |      23 |  2993286 |  2907338 |     2623   2657 |        0 |        0
1123.43/1123.72	c 1123s |      23 |  2998595 |  2912538 |     2623   2660 |        0 |        0
1125.43/1125.73	c 1125s |      23 |  3004386 |  2918038 |     2623   2664 |        0 |        0
1127.43/1127.76	c 1127s |      23 |  3009971 |  2923438 |     2623   2668 |        0 |        0
1129.44/1129.77	c 1129s |      23 |  3015354 |  2928638 |     2623   2672 |        0 |        0
1131.43/1131.77	c 1131s |      23 |  3020568 |  2933738 |     2623   2676 |        0 |        0
1133.53/1133.83	c 1133s |      23 |  3026089 |  2939038 |     2623   2680 |        0 |        0
1135.53/1135.85	c 1135s |      23 |  3031273 |  2944038 |     2623   2683 |        0 |        0
1137.53/1137.86	c 1137s |      23 |  3036506 |  2949038 |     2623   2687 |        0 |        0
1139.53/1139.89	c 1139s |      23 |  3041731 |  2954038 |     2623   2690 |        0 |        0
1141.63/1141.91	c 1141s |      23 |  3047712 |  2959638 |     2623   2694 |        0 |        0
1143.62/1143.93	c 1143s |      23 |  3053299 |  2964938 |     2623   2698 |        0 |        0
1145.62/1145.94	c 1145s |      23 |  3058778 |  2970138 |     2623   2702 |        0 |        0
1147.62/1147.97	c 1147s |      23 |  3064274 |  2975338 |     2623   2706 |        0 |        0
1149.62/1149.98	c 1149s |      23 |  3070016 |  2980738 |     2623   2710 |        0 |        0
1151.72/1152.01	c 1151s |      23 |  3075379 |  2985938 |     2623   2714 |        0 |        0
1153.72/1154.03	c 1154s |      23 |  3080830 |  2991238 |     2623   2717 |        0 |        0
1155.71/1156.06	c 1156s |      23 |  3086125 |  2996338 |     2623   2721 |        0 |        0
1157.71/1158.06	c 1158s |      23 |  3091449 |  3001538 |     2623   2725 |        0 |        0
1159.71/1160.08	c 1160s |      23 |  3097086 |  3006838 |     2623   2729 |        0 |        0
1161.81/1162.11	c 1162s |      23 |  3102324 |  3011938 |     2623   2732 |        0 |        0
1163.81/1164.12	c 1164s |      23 |  3107592 |  3017038 |     2623   2736 |        0 |        0
1165.82/1166.15	c 1166s |      23 |  3112988 |  3022238 |     2623   2740 |        0 |        0
1167.81/1168.14	c 1168s |      23 |  3118124 |  3027238 |     2623   2743 |        0 |        0
1169.81/1170.16	c 1170s |      23 |  3123294 |  3032238 |     2623   2747 |        0 |        0
1171.90/1172.21	c 1172s |      23 |  3128324 |  3037038 |     2623   2751 |        0 |        0
1173.90/1174.23	c 1174s |      23 |  3133808 |  3042238 |     2623   2754 |        0 |        0
1175.90/1176.23	c 1176s |      23 |  3139512 |  3047738 |     2623   2758 |        0 |        0
1177.91/1178.26	c 1178s |      23 |  3145204 |  3053138 |     2623   2762 |        0 |        0
1179.90/1180.28	c 1180s |      23 |  3150798 |  3058538 |     2623   2766 |        0 |        0
1182.01/1182.30	c 1182s |      23 |  3156439 |  3063838 |     2623   2770 |        0 |        0
1184.01/1184.30	c 1184s |      23 |  3162015 |  3069238 |     2623   2774 |        0 |        0
1186.01/1186.34	c 1186s |      23 |  3167696 |  3074538 |     2623   2778 |        0 |        0
1188.01/1188.36	c 1188s |      23 |  3173249 |  3079838 |     2623   2782 |        0 |        0
1190.11/1190.40	c 1190s |      23 |  3178933 |  3085138 |     2623   2785 |        0 |        0
1192.00/1192.40	c 1192s |      23 |  3184166 |  3090138 |     2623   2789 |        0 |        0
1194.10/1194.42	c 1194s |      23 |  3189676 |  3095338 |     2623   2793 |        0 |        0
1196.10/1196.47	c 1196s |      23 |  3195112 |  3100438 |     2623   2797 |        0 |        0
1198.20/1198.51	c 1198s |      23 |  3200825 |  3105938 |     2623   2800 |        0 |        0
1200.20/1200.53	c 1200s |      23 |  3205942 |  3110938 |     2623   2804 |        0 |        0
1202.20/1202.54	c 1202s |      23 |  3211269 |  3116138 |     2623   2808 |        0 |        0
1204.20/1204.54	c 1204s |      23 |  3216742 |  3121438 |     2623   2812 |        0 |        0
1206.20/1206.54	c 1206s |      23 |  3222263 |  3126738 |     2623   2816 |        0 |        0
1208.20/1208.56	c 1208s |      23 |  3227617 |  3131938 |     2623   2819 |        0 |        0
1210.20/1210.57	c 1210s |      23 |  3233005 |  3137138 |     2623   2823 |        0 |        0
1212.19/1212.58	c 1212s |      23 |  3238258 |  3142138 |     2623   2827 |        0 |        0
1214.29/1214.62	c 1214s |      23 |  3243457 |  3147238 |     2623   2830 |        0 |        0
1216.30/1216.65	c 1216s |      23 |  3248621 |  3152238 |     2623   2834 |        0 |        0
1218.29/1218.67	c 1218s |      23 |  3253956 |  3157338 |     2623   2838 |        0 |        0
1220.29/1220.68	c 1220s |      23 |  3259137 |  3162238 |     2623   2841 |        0 |        0
1222.29/1222.68	c 1222s |      23 |  3264308 |  3167238 |     2623   2845 |        0 |        0
1224.38/1224.70	c 1224s |      23 |  3269715 |  3172438 |     2623   2849 |        0 |        0
1226.38/1226.71	c 1226s |      23 |  3274996 |  3177538 |     2623   2852 |        0 |        0
1228.39/1228.75	c 1228s |      23 |  3280135 |  3182538 |     2623   2856 |        0 |        0
1230.38/1230.78	c 1230s |      23 |  3285269 |  3187538 |     2623   2860 |        0 |        0
1232.38/1232.78	c 1232s |      23 |  3290242 |  3192338 |     2623   2863 |        0 |        0
1234.38/1234.79	c 1234s |      23 |  3295159 |  3197138 |     2623   2867 |        0 |        0
1236.48/1236.83	c 1236s |      23 |  3300707 |  3202538 |     2623   2871 |        0 |        0
1238.48/1238.86	c 1238s |      23 |  3306833 |  3208438 |     2623   2875 |        0 |        0
1240.48/1240.87	c 1240s |      23 |  3312818 |  3214138 |     2623   2879 |        0 |        0
1242.47/1242.88	c 1242s |      23 |  3318385 |  3219538 |     2623   2883 |        0 |        0
1244.57/1244.90	c 1244s |      23 |  3324215 |  3225238 |     2623   2887 |        0 |        0
1246.58/1246.90	c 1246s |      23 |  3329865 |  3230738 |     2623   2891 |        0 |        0
1248.58/1248.93	c 1248s |      23 |  3335592 |  3236238 |     2623   2895 |        0 |        0
1250.58/1250.93	c 1250s |      23 |  3341037 |  3241438 |     2623   2899 |        0 |        0
1252.58/1252.96	c 1252s |      23 |  3346650 |  3246838 |     2623   2903 |        0 |        0
1254.58/1254.96	c 1254s |      23 |  3352226 |  3252138 |     2623   2906 |        0 |        0
1256.58/1256.99	c 1256s |      23 |  3357943 |  3257538 |     2623   2910 |        0 |        0
1258.67/1259.01	c 1258s |      23 |  3363619 |  3263038 |     2623   2914 |        0 |        0
1260.67/1261.03	c 1261s |      23 |  3369410 |  3268538 |     2623   2918 |        0 |        0
1262.67/1263.07	c 1263s |      23 |  3374847 |  3273738 |     2623   2922 |        0 |        0
1264.68/1265.08	c 1265s |      23 |  3379975 |  3278638 |     2623   2926 |        0 |        0
1266.67/1267.09	c 1267s |      23 |  3385753 |  3284238 |     2623   2930 |        0 |        0
1268.77/1269.12	c 1269s |      23 |  3391359 |  3289638 |     2623   2934 |        0 |        0
1270.77/1271.12	c 1271s |      23 |  3396919 |  3295038 |     2623   2937 |        0 |        0
1272.77/1273.15	c 1273s |      23 |  3402487 |  3300438 |     2623   2941 |        0 |        0
1274.77/1275.15	c 1275s |      23 |  3408077 |  3305838 |     2623   2945 |        0 |        0
1276.77/1277.16	c 1277s |      23 |  3413620 |  3311238 |     2623   2949 |        0 |        0
1278.76/1279.20	c 1279s |      23 |  3419419 |  3316838 |     2623   2953 |        0 |        0
1280.86/1281.22	c 1281s |      23 |  3424863 |  3322138 |     2623   2957 |        0 |        0
1282.86/1283.24	c 1283s |      23 |  3430259 |  3327438 |     2623   2961 |        0 |        0
1284.86/1285.24	c 1285s |      23 |  3435687 |  3332738 |     2623   2965 |        0 |        0
1286.86/1287.30	c 1287s |      23 |  3440990 |  3337938 |     2623   2969 |        0 |        0
1288.97/1289.31	c 1289s |      23 |  3446127 |  3342938 |     2623   2972 |        0 |        0
1290.96/1291.34	c 1291s |      23 |  3451900 |  3348538 |     2623   2976 |        0 |        0
1292.96/1293.36	c 1293s |      23 |  3457566 |  3354038 |     2886   2980 |        0 |        0
1295.06/1295.40	c 1295s |      23 |  3463121 |  3359438 |     2886   2984 |        0 |        0
1297.06/1297.40	c 1297s |      23 |  3468668 |  3364838 |     2886   2987 |        0 |        0
1299.06/1299.42	c 1299s |      23 |  3474216 |  3370238 |     2886   2991 |        0 |        0
1301.06/1301.44	c 1301s |      23 |  3479552 |  3375438 |     2886   2994 |        0 |        0
1301.56/1301.94	c 1301s |      24 |  3480802 |  3376662 |     2886   2995 |        0 |        0
1303.55/1303.96	c 1303s |      24 |  3486330 |  3381862 |     2886   2998 |        0 |        0
1305.65/1306.00	c 1305s |      24 |  3491770 |  3387162 |     2886   3002 |        0 |        0
1307.66/1308.01	c 1307s |      24 |  3497160 |  3392362 |     2886   3005 |        0 |        0
1309.65/1310.05	c 1310s |      24 |  3502629 |  3397662 |     2886   3009 |        0 |        0
1311.65/1312.06	c 1312s |      24 |  3508058 |  3402862 |     2886   3012 |        0 |        0
1313.74/1314.10	c 1314s |      24 |  3513227 |  3407862 |     2886   3016 |        0 |        0
1315.74/1316.10	c 1316s |      24 |  3518673 |  3412962 |     2886   3019 |        0 |        0
1317.74/1318.14	c 1318s |      24 |  3523761 |  3417862 |     2886   3022 |        0 |        0
1319.75/1320.16	c 1320s |      24 |  3530263 |  3423862 |     2886   3026 |        0 |        0
1321.74/1322.16	c 1322s |      24 |  3536300 |  3429562 |     2886   3030 |        0 |        0
1323.74/1324.19	c 1324s |      24 |  3542164 |  3435062 |     2886   3034 |        0 |        0
1325.84/1326.20	c 1326s |      24 |  3548047 |  3440662 |     2886   3037 |        0 |        0
1327.84/1328.20	c 1328s |      24 |  3553828 |  3446162 |     2886   3041 |        0 |        0
1329.84/1330.23	c 1330s |      24 |  3559588 |  3451462 |     2886   3044 |        0 |        0
1331.84/1332.27	c 1332s |      24 |  3565455 |  3456862 |     2886   3048 |        0 |        0
1333.83/1334.28	c 1334s |      24 |  3570919 |  3461862 |     2886   3051 |        0 |        0
1335.93/1336.31	c 1336s |      24 |  3576807 |  3467362 |     2886   3055 |        0 |        0
1337.93/1338.34	c 1338s |      24 |  3582465 |  3472662 |     2886   3058 |        0 |        0
1339.93/1340.36	c 1340s |      24 |  3587709 |  3477762 |     2886   3062 |        0 |        0
1341.93/1342.38	c 1342s |      24 |  3593173 |  3482962 |     2886   3065 |        0 |        0
1344.03/1344.40	c 1344s |      24 |  3598521 |  3488162 |     2886   3069 |        0 |        0
1345.93/1346.40	c 1346s |      24 |  3603648 |  3493162 |     2886   3072 |        0 |        0
1348.03/1348.41	c 1348s |      24 |  3608643 |  3497962 |     2886   3075 |        0 |        0
1350.03/1350.41	c 1350s |      24 |  3613856 |  3502962 |     2886   3078 |        0 |        0
1352.02/1352.44	c 1352s |      24 |  3619284 |  3508062 |     2886   3082 |        0 |        0
1354.02/1354.47	c 1354s |      24 |  3624634 |  3513062 |     2886   3085 |        0 |        0
1356.03/1356.48	c 1356s |      24 |  3629765 |  3517962 |     2886   3088 |        0 |        0
1358.13/1358.50	c 1358s |      24 |  3634814 |  3522862 |     2886   3092 |        0 |        0
1360.12/1360.52	c 1360s |      24 |  3640345 |  3528162 |     2886   3095 |        0 |        0
1362.13/1362.54	c 1362s |      24 |  3645712 |  3533362 |     2886   3099 |        0 |        0
1364.13/1364.56	c 1364s |      24 |  3651049 |  3538462 |     2886   3102 |        0 |        0
1366.13/1366.57	c 1366s |      24 |  3656435 |  3543562 |     2886   3105 |        0 |        0
1368.13/1368.58	c 1368s |      24 |  3661524 |  3548462 |     2886   3109 |        0 |        0
1370.23/1370.60	c 1370s |      24 |  3667107 |  3553762 |     2886   3112 |        0 |        0
1372.22/1372.63	c 1372s |      24 |  3672258 |  3558762 |     2886   3115 |        0 |        0
1374.22/1374.66	c 1374s |      24 |  3677533 |  3563762 |     2886   3119 |        0 |        0
1376.22/1376.69	c 1376s |      24 |  3682662 |  3568662 |     2886   3122 |        0 |        0
1378.32/1378.70	c 1378s |      24 |  3688606 |  3574362 |     2886   3126 |        0 |        0
1380.32/1380.70	c 1380s |      24 |  3694439 |  3579962 |     2886   3129 |        0 |        0
1382.33/1382.70	c 1382s |      24 |  3700020 |  3585362 |     2886   3133 |        0 |        0
1384.32/1384.76	c 1384s |      24 |  3705727 |  3590862 |     2886   3137 |        0 |        0
1386.32/1386.79	c 1386s |      24 |  3711362 |  3596262 |     2886   3140 |        0 |        0
1388.42/1388.84	c 1388s |      24 |  3716923 |  3601562 |     2886   3144 |        0 |        0
1390.42/1390.84	c 1390s |      24 |  3722535 |  3606962 |     2886   3147 |        0 |        0
1392.42/1392.86	c 1392s |      24 |  3727708 |  3611962 |     2886   3151 |        0 |        0
1394.42/1394.89	c 1394s |      24 |  3733063 |  3617062 |     2886   3154 |        0 |        0
1396.51/1396.91	c 1396s |      24 |  3738503 |  3622262 |     2886   3157 |        0 |        0
1398.51/1398.93	c 1398s |      24 |  3744165 |  3627762 |     2886   3161 |        0 |        0
1400.51/1400.94	c 1400s |      24 |  3749603 |  3632962 |     2886   3164 |        0 |        0
1402.51/1402.98	c 1402s |      24 |  3755036 |  3638162 |     2886   3168 |        0 |        0
1404.61/1405.01	c 1404s |      24 |  3760402 |  3643362 |     2886   3171 |        0 |        0
1406.61/1407.04	c 1407s |      24 |  3765526 |  3648262 |     2886   3175 |        0 |        0
1408.60/1409.06	c 1409s |      24 |  3771575 |  3653862 |     2886   3178 |        0 |        0
1410.60/1411.06	c 1411s |      24 |  3777147 |  3659162 |     2886   3182 |        0 |        0
1412.60/1413.08	c 1413s |      24 |  3782599 |  3664262 |     2886   3185 |        0 |        0
1414.70/1415.11	c 1415s |      24 |  3787873 |  3669362 |     2886   3188 |        0 |        0
1416.70/1417.12	c 1417s |      24 |  3793172 |  3674362 |     2886   3192 |        0 |        0
1418.71/1419.13	c 1419s |      24 |  3798420 |  3679362 |     2886   3195 |        0 |        0
1420.70/1421.16	c 1421s |      24 |  3804124 |  3684862 |     2886   3199 |        0 |        0
1422.70/1423.18	c 1423s |      24 |  3809686 |  3690162 |     2886   3202 |        0 |        0
1424.80/1425.20	c 1425s |      24 |  3814991 |  3695262 |     2886   3206 |        0 |        0
1426.80/1427.21	c 1427s |      24 |  3820256 |  3700262 |     2886   3209 |        0 |        0
1428.80/1429.24	c 1429s |      24 |  3825732 |  3705562 |     2886   3212 |        0 |        0
1430.81/1431.25	c 1431s |      24 |  3830970 |  3710562 |     2886   3216 |        0 |        0
1432.80/1433.27	c 1433s |      24 |  3836467 |  3715662 |     2886   3219 |        0 |        0
1434.80/1435.29	c 1435s |      24 |  3841677 |  3720562 |     2886   3222 |        0 |        0
1436.91/1437.36	c 1437s |      24 |  3846846 |  3725462 |     2886   3226 |        0 |        0
1438.91/1439.36	c 1439s |      24 |  3852349 |  3730662 |     2886   3229 |        0 |        0
1440.91/1441.38	c 1441s |      24 |  3857977 |  3735962 |     2886   3232 |        0 |        0
1442.91/1443.39	c 1443s |      24 |  3863640 |  3741362 |     2886   3236 |        0 |        0
1445.01/1445.41	c 1445s |      24 |  3869303 |  3746762 |     2886   3240 |        0 |        0
1447.01/1447.44	c 1447s |      24 |  3874990 |  3752062 |     2886   3243 |        0 |        0
1449.00/1449.47	c 1449s |      24 |  3880240 |  3757162 |     2886   3246 |        0 |        0
1451.00/1451.49	c 1451s |      24 |  3885789 |  3762362 |     2886   3250 |        0 |        0
1453.10/1453.52	c 1453s |      24 |  3891330 |  3767562 |     2886   3253 |        0 |        0
1455.10/1455.54	c 1455s |      24 |  3896546 |  3772462 |     2886   3257 |        0 |        0
1457.11/1457.57	c 1457s |      24 |  3901894 |  3777662 |     2886   3260 |        0 |        0
1459.10/1459.59	c 1459s |      24 |  3907323 |  3782862 |     2886   3264 |        0 |        0
1461.20/1461.62	c 1461s |      24 |  3912627 |  3787862 |     2886   3267 |        0 |        0
1463.20/1463.64	c 1463s |      24 |  3918123 |  3792962 |     2886   3270 |        0 |        0
1465.20/1465.66	c 1465s |      24 |  3923188 |  3797762 |     2886   3273 |        0 |        0
1467.30/1467.70	c 1467s |      24 |  3928297 |  3802562 |     2886   3277 |        0 |        0
1469.31/1469.71	c 1469s |      24 |  3933299 |  3807262 |     2886   3280 |        0 |        0
1471.30/1471.72	c 1471s |      24 |  3938519 |  3812062 |     2886   3283 |        0 |        0
1473.30/1473.75	c 1473s |      24 |  3943562 |  3816862 |     2886   3286 |        0 |        0
1475.30/1475.78	c 1475s |      24 |  3949173 |  3821862 |     2886   3289 |        0 |        0
1477.30/1477.79	c 1477s |      24 |  3954475 |  3826762 |     2886   3293 |        0 |        0
1479.40/1479.81	c 1479s |      24 |  3960426 |  3832362 |     2886   3296 |        0 |        0
1481.40/1481.81	c 1481s |      24 |  3965673 |  3837462 |     2886   3300 |        0 |        0
1483.40/1483.83	c 1483s |      24 |  3971194 |  3842662 |     2886   3303 |        0 |        0
1485.40/1485.84	c 1485s |      24 |  3976518 |  3847762 |     2886   3306 |        0 |        0
1487.40/1487.87	c 1487s |      24 |  3981978 |  3852862 |     2886   3310 |        0 |        0
1489.50/1489.90	c 1489s |      24 |  3987180 |  3857862 |     2886   3313 |        0 |        0
1491.50/1491.93	c 1491s |      24 |  3992819 |  3863262 |     2886   3317 |        0 |        0
1493.50/1493.96	c 1493s |      24 |  3998208 |  3868362 |     2886   3320 |        0 |        0
1495.49/1495.96	c 1495s |      24 |  4003258 |  3873162 |     2886   3323 |        0 |        0
1497.49/1497.96	c 1497s |      24 |  4008320 |  3878062 |     2886   3326 |        0 |        0
1499.49/1499.99	c 1499s |      24 |  4013854 |  3883262 |     2886   3330 |        0 |        0
1501.59/1502.02	c 1502s |      24 |  4019199 |  3888462 |     2886   3333 |        0 |        0
1503.59/1504.05	c 1504s |      24 |  4024270 |  3893362 |     2886   3337 |        0 |        0
1505.60/1506.05	c 1506s |      24 |  4029392 |  3898262 |     2886   3340 |        0 |        0
1507.59/1508.09	c 1508s |      24 |  4034555 |  3903262 |     2886   3343 |        0 |        0
1509.69/1510.12	c 1510s |      24 |  4039663 |  3908162 |     2886   3346 |        0 |        0
1511.69/1512.15	c 1512s |      24 |  4044665 |  3912962 |     2886   3350 |        0 |        0
1513.69/1514.18	c 1514s |      24 |  4049892 |  3918062 |     2886   3353 |        0 |        0
1515.79/1516.20	c 1516s |      24 |  4055201 |  3923162 |     2886   3356 |        0 |        0
1517.79/1518.22	c 1518s |      24 |  4060260 |  3928062 |     2886   3360 |        0 |        0
1519.80/1520.24	c 1520s |      24 |  4065316 |  3932962 |     2886   3363 |        0 |        0
1521.79/1522.26	c 1522s |      24 |  4070428 |  3937762 |     2886   3366 |        0 |        0
1523.79/1524.26	c 1524s |      24 |  4075338 |  3942462 |     2886   3369 |        0 |        0
1525.79/1526.27	c 1526s |      24 |  4080533 |  3947262 |     2886   3372 |        0 |        0
1527.79/1528.27	c 1528s |      24 |  4085616 |  3951962 |     2886   3375 |        0 |        0
1529.89/1530.30	c 1530s |      24 |  4090466 |  3956562 |     2886   3378 |        0 |        0
1531.89/1532.33	c 1532s |      24 |  4096574 |  3962062 |     2886   3382 |        0 |        0
1533.88/1534.34	c 1534s |      24 |  4102241 |  3967462 |     2886   3386 |        0 |        0
1535.88/1536.36	c 1536s |      24 |  4107612 |  3972562 |     2886   3389 |        0 |        0
1537.88/1538.37	c 1538s |      24 |  4112790 |  3977562 |     2886   3392 |        0 |        0
1539.88/1540.39	c 1540s |      24 |  4117976 |  3982562 |     2886   3396 |        0 |        0
1541.98/1542.41	c 1542s |      24 |  4123096 |  3987562 |     2886   3399 |        0 |        0
1543.99/1544.44	c 1544s |      24 |  4128292 |  3992662 |     2886   3402 |        0 |        0
1545.98/1546.49	c 1546s |      24 |  4133588 |  3997762 |     2886   3406 |        0 |        0
1548.08/1548.50	c 1548s |      24 |  4139159 |  4003062 |     2886   3409 |        0 |        0
1550.08/1550.53	c 1550s |      24 |  4144304 |  4007962 |     2886   3412 |        0 |        0
1552.08/1552.53	c 1552s |      24 |  4149467 |  4012862 |     2886   3416 |        0 |        0
1554.08/1554.54	c 1554s |      24 |  4154713 |  4017862 |     2886   3419 |        0 |        0
1556.09/1556.57	c 1556s |      24 |  4159820 |  4022662 |     2886   3422 |        0 |        0
1558.08/1558.57	c 1558s |      24 |  4164805 |  4027462 |     2886   3425 |        0 |        0
1560.18/1560.61	c 1560s |      24 |  4170253 |  4032762 |     2886   3429 |        0 |        0
1562.18/1562.63	c 1562s |      24 |  4175510 |  4037862 |     2886   3432 |        0 |        0
1564.18/1564.69	c 1564s |      24 |  4180853 |  4043062 |     2886   3436 |        0 |        0
1566.18/1566.69	c 1566s |      24 |  4185908 |  4047962 |     2886   3439 |        0 |        0
1568.29/1568.71	c 1568s |      24 |  4191144 |  4053062 |     2886   3442 |        0 |        0
1570.29/1570.74	c 1570s |      24 |  4196229 |  4057962 |     2886   3445 |        0 |        0
1572.29/1572.74	c 1572s |      24 |  4201221 |  4062662 |     2886   3448 |        0 |        0
1574.29/1574.75	c 1574s |      24 |  4206268 |  4067562 |     2886   3452 |        0 |        0
1576.29/1576.78	c 1576s |      24 |  4211221 |  4072362 |     2886   3455 |        0 |        0
1578.29/1578.79	c 1578s |      24 |  4215994 |  4076962 |     2886   3458 |        0 |        0
1580.39/1580.82	c 1580s |      24 |  4221243 |  4082062 |     2886   3461 |        0 |        0
1582.38/1582.84	c 1582s |      24 |  4226391 |  4087062 |     2886   3465 |        0 |        0
1584.38/1584.86	c 1584s |      24 |  4231638 |  4091962 |     2886   3468 |        0 |        0
1586.38/1586.88	c 1586s |      24 |  4236706 |  4096862 |     2886   3471 |        0 |        0
1588.48/1588.90	c 1588s |      24 |  4241776 |  4101762 |     2886   3474 |        0 |        0
1590.48/1590.91	c 1590s |      24 |  4246704 |  4106562 |     2886   3478 |        0 |        0
1592.49/1592.92	c 1592s |      24 |  4251888 |  4111362 |     2886   3481 |        0 |        0
1594.48/1594.94	c 1594s |      24 |  4256842 |  4116162 |     2886   3484 |        0 |        0
1596.48/1596.95	c 1596s |      24 |  4261807 |  4120962 |     2886   3487 |        0 |        0
1598.48/1598.97	c 1598s |      24 |  4266747 |  4125662 |     2886   3490 |        0 |        0
1600.48/1600.98	c 1600s |      24 |  4271932 |  4130662 |     2886   3493 |        0 |        0
1602.48/1602.98	c 1602s |      24 |  4277048 |  4135562 |     2886   3497 |        0 |        0
1604.48/1604.98	c 1604s |      24 |  4282126 |  4140362 |     2886   3500 |        0 |        0
1606.58/1607.01	c 1606s |      24 |  4287475 |  4145362 |     2886   3503 |        0 |        0
1608.58/1609.02	c 1608s |      24 |  4292329 |  4150062 |     2886   3506 |        0 |        0
1610.58/1611.04	c 1611s |      24 |  4297352 |  4154862 |     2886   3509 |        0 |        0
1612.57/1613.05	c 1613s |      24 |  4302154 |  4159462 |     2886   3513 |        0 |        0
1614.57/1615.06	c 1615s |      24 |  4306858 |  4163962 |     2886   3516 |        0 |        0
1616.58/1617.07	c 1617s |      24 |  4311630 |  4168562 |     2886   3519 |        0 |        0
1618.67/1619.10	c 1619s |      24 |  4316620 |  4173362 |     2886   3522 |        0 |        0
1620.67/1621.13	c 1621s |      24 |  4321786 |  4178362 |     2886   3525 |        0 |        0
1622.67/1623.16	c 1623s |      24 |  4327240 |  4183662 |     2886   3529 |        0 |        0
1624.77/1625.20	c 1625s |      24 |  4332804 |  4188962 |     2886   3532 |        0 |        0
1626.77/1627.21	c 1627s |      24 |  4338588 |  4193962 |     2886   3535 |        0 |        0
1628.78/1629.24	c 1629s |      24 |  4343612 |  4198862 |     2886   3539 |        0 |        0
1630.77/1631.26	c 1631s |      24 |  4348704 |  4203862 |     2886   3542 |        0 |        0
1632.87/1633.30	c 1633s |      24 |  4353950 |  4208962 |     2886   3545 |        0 |        0
1634.87/1635.36	c 1635s |      24 |  4358982 |  4213862 |     2886   3549 |        0 |        0
1636.87/1637.38	c 1637s |      24 |  4364107 |  4218762 |     2886   3552 |        0 |        0
1638.97/1639.41	c 1639s |      24 |  4369086 |  4223462 |     2886   3555 |        0 |        0
1640.97/1641.41	c 1641s |      24 |  4374077 |  4228162 |     2886   3558 |        0 |        0
1642.98/1643.41	c 1643s |      24 |  4379581 |  4233162 |     2886   3561 |        0 |        0
1644.98/1645.46	c 1645s |      24 |  4384675 |  4238062 |     2886   3565 |        0 |        0
1646.98/1647.48	c 1647s |      24 |  4389940 |  4243162 |     2886   3568 |        0 |        0
1648.98/1649.49	c 1649s |      24 |  4394943 |  4247962 |     2886   3571 |        0 |        0
1651.08/1651.52	c 1651s |      24 |  4399972 |  4252762 |     2886   3574 |        0 |        0
1653.07/1653.54	c 1653s |      24 |  4404831 |  4257362 |     2886   3577 |        0 |        0
1655.08/1655.56	c 1655s |      24 |  4409914 |  4262262 |     2886   3581 |        0 |        0
1657.07/1657.59	c 1657s |      24 |  4414782 |  4266862 |     2886   3584 |        0 |        0
1659.17/1659.62	c 1659s |      24 |  4419678 |  4271362 |     2886   3587 |        0 |        0
1661.17/1661.62	c 1661s |      24 |  4424795 |  4276362 |     2886   3590 |        0 |        0
1663.17/1663.63	c 1663s |      24 |  4429868 |  4281362 |     2886   3593 |        0 |        0
1665.17/1665.65	c 1665s |      24 |  4434966 |  4286262 |     2886   3596 |        0 |        0
1667.18/1667.68	c 1667s |      24 |  4439949 |  4291062 |     2886   3600 |        0 |        0
1669.17/1669.68	c 1669s |      24 |  4444868 |  4295762 |     2886   3603 |        0 |        0
1671.27/1671.70	c 1671s |      24 |  4449835 |  4300562 |     2886   3606 |        0 |        0
1673.27/1673.71	c 1673s |      24 |  4454658 |  4305262 |     2886   3609 |        0 |        0
1675.27/1675.73	c 1675s |      24 |  4459327 |  4309862 |     2886   3612 |        0 |        0
1677.27/1677.77	c 1677s |      24 |  4464430 |  4314862 |     2886   3615 |        0 |        0
1679.27/1679.79	c 1679s |      24 |  4469331 |  4319662 |     2886   3618 |        0 |        0
1681.37/1681.80	c 1681s |      24 |  4474262 |  4324462 |     2886   3622 |        0 |        0
1683.37/1683.83	c 1683s |      24 |  4479284 |  4329362 |     2886   3625 |        0 |        0
1685.37/1685.85	c 1685s |      24 |  4484130 |  4334062 |     2886   3628 |        0 |        0
1687.37/1687.86	c 1687s |      24 |  4488944 |  4338762 |     2886   3631 |        0 |        0
1689.37/1689.89	c 1689s |      24 |  4493811 |  4343462 |     2886   3634 |        0 |        0
1691.37/1691.89	c 1691s |      24 |  4498715 |  4348162 |     2886   3637 |        0 |        0
1693.47/1693.90	c 1693s |      24 |  4503433 |  4352762 |     2886   3640 |        0 |        0
1695.46/1695.93	c 1695s |      24 |  4508233 |  4357462 |     2886   3643 |        0 |        0
1697.46/1697.96	c 1697s |      24 |  4512945 |  4362062 |     2886   3647 |        0 |        0
1699.46/1699.99	c 1699s |      24 |  4517720 |  4366662 |     2886   3650 |        0 |        0
1701.46/1701.99	c 1701s |      24 |  4522844 |  4371662 |     2886   3653 |        0 |        0
1703.57/1704.01	c 1703s |      24 |  4528439 |  4377062 |     2886   3656 |        0 |        0
1705.56/1706.02	c 1705s |      24 |  4533557 |  4382062 |     2886   3660 |        0 |        0
1707.56/1708.03	c 1708s |      24 |  4538770 |  4387162 |     2886   3663 |        0 |        0
1709.56/1710.08	c 1710s |      24 |  4544082 |  4392362 |     2886   3667 |        0 |        0
1711.56/1712.09	c 1712s |      24 |  4549374 |  4397562 |     2886   3670 |        0 |        0
1713.66/1714.13	c 1714s |      24 |  4554772 |  4402762 |     2886   3673 |        0 |        0
1715.67/1716.14	c 1716s |      24 |  4559683 |  4407562 |     2886   3677 |        0 |        0
1717.66/1718.16	c 1718s |      24 |  4564746 |  4412462 |     2886   3680 |        0 |        0
1719.66/1720.18	c 1720s |      24 |  4569798 |  4417362 |     2886   3683 |        0 |        0
1721.66/1722.19	c 1722s |      24 |  4575028 |  4422362 |     2886   3686 |        0 |        0
1723.76/1724.25	c 1724s |      24 |  4579987 |  4427162 |     2886   3690 |        0 |        0
1725.76/1726.28	c 1726s |      24 |  4584881 |  4431862 |     2886   3693 |        0 |        0
1727.86/1728.31	c 1728s |      24 |  4589630 |  4436462 |     2886   3696 |        0 |        0
1729.87/1730.35	c 1730s |      24 |  4594766 |  4441462 |     2886   3699 |        0 |        0
1731.86/1732.37	c 1732s |      24 |  4599764 |  4446262 |     2886   3702 |        0 |        0
1733.86/1734.39	c 1734s |      24 |  4604526 |  4450862 |     2886   3705 |        0 |        0
1735.96/1736.42	c 1736s |      24 |  4609452 |  4455662 |     2886   3708 |        0 |        0
1737.95/1738.42	c 1738s |      24 |  4614452 |  4460562 |     2886   3712 |        0 |        0
1739.95/1740.46	c 1740s |      24 |  4619375 |  4465362 |     2886   3715 |        0 |        0
1741.96/1742.48	c 1742s |      24 |  4624105 |  4469862 |     2886   3718 |        0 |        0
1744.05/1744.51	c 1744s |      24 |  4629007 |  4474562 |     2886   3721 |        0 |        0
1746.05/1746.54	c 1746s |      24 |  4633819 |  4479262 |     2886   3724 |        0 |        0
1748.06/1748.56	c 1748s |      24 |  4638480 |  4483762 |     2886   3727 |        0 |        0
1750.06/1750.59	c 1750s |      24 |  4643598 |  4488662 |     2886   3730 |        0 |        0
1752.16/1752.60	c 1752s |      24 |  4648599 |  4493462 |     2886   3733 |        0 |        0
1754.17/1754.63	c 1754s |      24 |  4653428 |  4498162 |     2886   3736 |        0 |        0
1756.16/1756.67	c 1756s |      24 |  4658238 |  4502862 |     2886   3740 |        0 |        0
1758.16/1758.69	c 1758s |      24 |  4662995 |  4507462 |     2886   3743 |        0 |        0
1760.16/1760.69	c 1760s |      24 |  4667551 |  4511862 |     2886   3746 |        0 |        0
1762.26/1762.73	c 1762s |      24 |  4672280 |  4516462 |     2886   3749 |        0 |        0
1764.26/1764.75	c 1764s |      24 |  4676864 |  4520862 |     2886   3752 |        0 |        0
1766.26/1766.78	c 1766s |      24 |  4681964 |  4525862 |     2886   3755 |        0 |        0
1768.36/1768.81	c 1768s |      24 |  4686897 |  4530662 |     2886   3758 |        0 |        0
1770.36/1770.85	c 1770s |      24 |  4691704 |  4535362 |     2886   3761 |        0 |        0
1772.36/1772.88	c 1772s |      24 |  4696539 |  4540062 |     2886   3764 |        0 |        0
1774.46/1774.90	c 1774s |      24 |  4701538 |  4544862 |     2886   3767 |        0 |        0
1776.46/1776.93	c 1776s |      24 |  4706156 |  4549362 |     2886   3770 |        0 |        0
1778.46/1778.93	c 1778s |      24 |  4710766 |  4553862 |     2886   3773 |        0 |        0
1780.46/1780.94	c 1780s |      24 |  4715295 |  4558262 |     2886   3776 |        0 |        0
1782.45/1782.94	c 1782s |      24 |  4719931 |  4562762 |     2886   3779 |        0 |        0
1784.45/1784.96	c 1784s |      24 |  4724535 |  4567262 |     2886   3782 |        0 |        0
1786.45/1786.98	c 1786s |      24 |  4729674 |  4572262 |     2886   3785 |        0 |        0
1788.55/1789.01	c 1788s |      24 |  4735182 |  4577662 |     2886   3789 |        0 |        0
1790.55/1791.04	c 1791s |      24 |  4740623 |  4582962 |     2886   3793 |        0 |        0
1792.56/1793.05	c 1793s |      24 |  4745937 |  4588162 |     2886   3796 |        0 |        0
1794.55/1795.06	c 1795s |      24 |  4751380 |  4593462 |     2886   3799 |        0 |        0
1796.65/1797.10	c 1797s |      24 |  4756611 |  4598562 |     2886   3803 |        0 |        0
1798.65/1799.11	c 1799s |      24 |  4761767 |  4603562 |     2886   3806 |        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-4089113-1466021392/watcher-4089113-1466021392 -o /tmp/evaluation-result-4089113-1466021392/solver-4089113-1466021392 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9689 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089113-1466021392.opb 

pid=10030
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.43 2.29 2.13 3/181 10033
/proc/meminfo: memFree=29329492/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=753084 CPUtime=0 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 2811 0 0 0 0 0 0 0 20 0 4 0 4185626 771158016 3173 33554432000 4194304 16246674 140734307985680 140734307985104 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 188783 3183 441 2943 0 185677 0
[pid=10033/tid=10034] ppid=10030 vsize=770492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 788983808 3243 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=774588 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 793178112 3259 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=778684 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4185626 797372416 3276 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100121 s]
/proc/loadavg: 2.43 2.29 2.13 3/181 10033
/proc/meminfo: memFree=29329492/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 30222 0 0 0 5 4 0 0 20 0 4 0 4185626 1247350784 30572 33554432000 4194304 16246674 140734307985680 140734307985104 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 304529 30580 704 2943 0 301423 0
[pid=10033/tid=10034] ppid=10030 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1247350784 30585 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1247350784 30590 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4185626 1247350784 30594 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200484 s]
/proc/loadavg: 2.43 2.29 2.13 3/181 10033
/proc/meminfo: memFree=29329492/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 60238 0 0 0 12 7 0 0 20 0 4 0 4185626 1247350784 60589 33554432000 4194304 16246674 140734307985680 140734307985104 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 304529 60605 711 2943 0 301423 0
[pid=10033/tid=10034] ppid=10030 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1247350784 60617 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1247350784 60627 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4185626 1247350784 60635 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300447 s]
/proc/loadavg: 2.43 2.29 2.13 3/181 10033
/proc/meminfo: memFree=29329492/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 89635 0 0 0 18 10 0 0 20 0 4 0 4185626 1247350784 89986 33554432000 4194304 16246674 140734307985680 140734307985104 5589685 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 304529 90006 711 2943 0 301423 0
[pid=10033/tid=10034] ppid=10030 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1247350784 90018 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1247350784 90029 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4185626 1247350784 90040 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700409 s]
/proc/loadavg: 2.43 2.29 2.13 3/181 10033
/proc/meminfo: memFree=29329492/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 208155 0 0 0 43 26 0 0 20 0 4 0 4185626 1247350784 208506 33554432000 4194304 16246674 140734307985680 140734307967552 5721708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 304529 208524 711 2943 0 301423 0
[pid=10033/tid=10034] ppid=10030 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1247350784 208535 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1247350784 208544 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4185626 1247350784 208555 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 2.43 2.29 2.13 3/185 10037
/proc/meminfo: memFree=28345208/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1303108 CPUtime=1.49 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 266587 0 0 0 114 35 0 0 20 0 4 0 4185626 1334382592 266917 33554432000 4194304 16246674 140734307985680 140734307967552 12874920 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 325777 266917 788 2943 0 322671 0
[pid=10033/tid=10034] ppid=10030 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1334382592 266917 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1334382592 266917 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185626 1334382592 266917 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1303108

[startup+3.10043 s]
/proc/loadavg: 2.39 2.28 2.13 3/185 10037
/proc/meminfo: memFree=28258276/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 267807 0 0 0 274 35 0 0 20 0 4 0 4185626 1338576896 268137 33554432000 4194304 16246674 140734307985680 140734307968680 6012176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 326801 268137 788 2943 0 323695 0
[pid=10033/tid=10034] ppid=10030 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1338576896 268137 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1338576896 268137 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185626 1338576896 268137 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.39 2.28 2.13 3/185 10037
/proc/meminfo: memFree=28256932/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 267826 0 0 0 594 35 0 0 20 0 4 0 4185626 1338576896 268156 33554432000 4194304 16246674 140734307985680 140734307967552 5546219 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 326801 268156 789 2943 0 323695 0
[pid=10033/tid=10034] ppid=10030 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1338576896 268156 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1338576896 268156 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185626 1338576896 268156 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.36 2.28 2.13 3/186 10040
/proc/meminfo: memFree=28256084/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 267826 0 0 0 1234 35 0 0 20 0 4 0 4185626 1338576896 268156 33554432000 4194304 16246674 140734307985680 140734307968680 13191445 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 326801 268156 789 2943 0 323695 0
[pid=10033/tid=10034] ppid=10030 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1338576896 268156 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1338576896 268156 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185626 1338576896 268156 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.29 2.26 2.12 3/186 10138
/proc/meminfo: memFree=28253888/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1308228 CPUtime=25.48 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 267913 0 0 0 2513 35 0 0 20 0 4 0 4185626 1339625472 268243 33554432000 4194304 16246674 140734307985680 140734307967552 5523032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 327057 268243 791 2943 0 323951 0
[pid=10033/tid=10034] ppid=10030 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1339625472 268243 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1339625472 268243 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185626 1339625472 268243 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.26 2.26 2.12 3/186 10138
/proc/meminfo: memFree=28253524/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1308228 CPUtime=51.09 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 268058 0 0 0 5073 36 0 0 20 0 4 0 4185626 1339625472 268388 33554432000 4194304 16246674 140734307985680 140734307968680 5721725 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 327057 268388 791 2943 0 323951 0
[pid=10033/tid=10034] ppid=10030 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1339625472 268388 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1339625472 268388 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185626 1339625472 268388 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.29 2.27 2.13 3/185 10139
/proc/meminfo: memFree=28252036/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1309252 CPUtime=102.28 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 268302 0 0 0 10192 36 0 0 20 0 4 0 4185626 1340674048 268632 33554432000 4194304 16246674 140734307985680 140734307968680 12483183 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 327313 268632 792 2943 0 324207 0
[pid=10033/tid=10034] ppid=10030 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1340674048 268632 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1340674048 268632 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185626 1340674048 268632 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1319492

[startup+1362.3 s]
/proc/loadavg: 2.27 2.25 2.22 3/185 10171
/proc/meminfo: memFree=28224296/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1319492 CPUtime=1361.93 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 271257 0 0 0 136142 51 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140734307967552 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 329873 271488 793 2943 0 326767 0
[pid=10033/tid=10034] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1319492

[startup+1422.3 s]
/proc/loadavg: 2.33 2.27 2.22 3/185 10172
/proc/meminfo: memFree=28223904/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1319492 CPUtime=1421.91 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 271285 0 0 0 142140 51 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140734307967552 13191984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 329873 271488 793 2943 0 326767 0
[pid=10033/tid=10034] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1319492

[startup+1482.3 s]
/proc/loadavg: 2.12 2.22 2.20 4/185 10173
/proc/meminfo: memFree=28223652/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1319492 CPUtime=1481.9 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 271285 0 0 0 148138 52 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140734307967552 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 329873 271488 793 2943 0 326767 0
[pid=10033/tid=10034] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1319492

[startup+1542.31 s]
/proc/loadavg: 2.29 2.25 2.21 3/185 10175
/proc/meminfo: memFree=28223880/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1319492 CPUtime=1541.89 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 271285 0 0 0 154137 52 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140734307984776 13950188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 329873 271488 793 2943 0 326767 0
[pid=10033/tid=10034] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1319492

[startup+1602.3 s]
/proc/loadavg: 2.40 2.28 2.22 3/185 10176
/proc/meminfo: memFree=28224292/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1319492 CPUtime=1601.88 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 271285 0 0 0 160135 53 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140734307967552 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 329873 271488 793 2943 0 326767 0
[pid=10033/tid=10034] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1319492

[startup+1662.3 s]
/proc/loadavg: 2.37 2.29 2.23 4/185 10177
/proc/meminfo: memFree=28220460/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1319492 CPUtime=1661.87 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 271285 0 0 0 166133 54 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140734307967552 12483198 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 329873 271488 793 2943 0 326767 0
[pid=10033/tid=10034] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1319492

[startup+1722.3 s]
/proc/loadavg: 2.57 2.34 2.25 3/185 10178
/proc/meminfo: memFree=28220464/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1319492 CPUtime=1721.86 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 271285 0 0 0 172132 54 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140734307967552 12483286 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 329873 271488 793 2943 0 326767 0
[pid=10033/tid=10034] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1319492

[startup+1782.3 s]
/proc/loadavg: 2.51 2.37 2.26 3/185 10179
/proc/meminfo: memFree=28220172/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1319492 CPUtime=1781.86 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 271285 0 0 0 178131 55 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140734307984776 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 329873 271488 793 2943 0 326767 0
[pid=10033/tid=10034] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1319492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.52 2.38 2.27 4/185 10179
/proc/meminfo: memFree=28220020/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1319492 CPUtime=1800.05 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 271285 0 0 0 179950 55 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140734307967552 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 329873 271488 793 2943 0 326767 0
[pid=10033/tid=10034] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1319492

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

[startup+1800.5 s]
/proc/loadavg: 2.52 2.38 2.27 4/185 10179
/proc/meminfo: memFree=28220020/32872528 swapFree=1481856/1661728
[pid=10033] ppid=10030 vsize=1319492 CPUtime=1800.05 cores=1,3,5,7
/proc/10033/stat : 10033 (toysat) R 10030 10033 6232 0 -1 4202496 271285 0 0 0 179950 55 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140734307967552 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10033/statm: 329873 271488 793 2943 0 326767 0
[pid=10033/tid=10034] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10034/stat : 10034 (toysat) S 10030 10033 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252772543728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10033/tid=10035] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10035/stat : 10035 (toysat) S 10030 10033 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252693900528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10033/tid=10036] ppid=10030 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10033/task/10036/stat : 10036 (toysat) S 10030 10033 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4185626 1351159808 271488 33554432000 4194304 16246674 140734307985680 140252683426992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1319492

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.51
CPU system time (s): 0.551916
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.551916
maximum resident set size= 1085952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271285
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= 396
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.03423 second user time and 7.00094 second system time

The end

Begin job on node134 at 2016-06-15 22:09:52
IDJOB=4089113
IDBENCH=107360
IDSOLVER=2542
FILE ID=node134/4089113-1466021392
RUNJOBID= node134-1466019588-9689
PBS_JOBID= 19902814
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 597e2c73e8c5e2b9033dad67cfaa9042
RANDOM SEED=1561707558

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29330144 kB
Buffers:           15036 kB
Cached:            76940 kB
SwapCached:        17304 kB
Active:          1135480 kB
Inactive:          44908 kB
Active(anon):    1072716 kB
Inactive(anon):    17948 kB
Active(file):      62764 kB
Inactive(file):    26960 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083696 kB
Dirty:             32848 kB
Writeback:             0 kB
AnonPages:       2814468 kB
Mapped:            10480 kB
Shmem:                 0 kB
Slab:             567092 kB
SReclaimable:      10892 kB
SUnreclaim:       556200 kB
KernelStack:        1536 kB
PageTables:         9300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2878244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    264192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node134 at 2016-06-15 22:39:53