0.00/0.00	c 2016-06-16T01:47:00+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-4089827-1466034420.opb"]
0.00/0.01	c use --random-gen="3584926828 2916275654 3096483627 403820960 2640162935 2477615150 3143332348 3742911997 146295138 934982874 2076137294 2272375444 4075848284 3806067458 233625166 3821728921 3546831777 619117425 26865989 2730364766 3710415898 387144778 3403067660 3147991125 3353375325 3432358814 1258269555 909863705 1579640501 3255586299 2403078707 1684199712 3331999262 1238879539 3610750449 1121358923 1724088420 3584061828 769845964 922750621 466540696 2307634583 4072609237 737306575 1576775455 4167323647 1526375800 313289820 2629715065 3365296735 3951309626 2582118656 3709319089 3212397808 606391172 3425365504 3588474943 1856917228 1888340099 1141757994 1314038574 1937870815 1874710398 4293483982 2282828084 3557139446 2158741389 1142597362 1032889698 682028211 1382532268 2883184265 427979516 366010419 2658358136 753662741 778770143 4073825805 2216719007 3468233566 3649689932 3290229906 879887334 1722322539 2521563316 3087513500 212045207 699305070 3564721413 618229459 935168670 1289929332 1647020333 1983829110 2716194595 178005286 37178293 528408995 2228262512 1682513531 3997246728 1660081231 3660379320 2568353683 1020666545 2764143800 44797940 292303269 3716867513 1996436951 3456108677 3765036299 3692495200 4081712553 1665647808 807459262 2260797674 2474282492 3410487514 3840619968 542525259 1311110201 974387258 2127498843 1146912964 1562961874 3202613477 1118745191 798850439 107108176 2106802863 1314990761 2752551505 3570926524 2732666339 3963681729 2111059569 625028055 413773281 766962928 74294499 4291544649 3030005790 3188857909 1533734831 3119960564 2898665694 1480066106 2136345794 405285290 3451291111 4148482700 1423211655 2036976679 249862832 1853277089 2182238856 1267678872 102281950 2613011596 2082753955 3848794639 2744139826 195800725 4203010997 24312781 2549910818 2116537589 238317184 3167104696 861527072 2206023764 2670806067 2269997523 2920973016 3140556790 478259437 481103362 3930854793 763682639 4251730595 2162990802 3561762301 3953799768 2479999075 3047451559 1169594459 3340346389 3942417059 2450534888 3829684019 1602466609 1901141538 2502174282 908909139 1469184943 1392118076 3505663132 2681373387 2261293486 2203241684 1196946347 4189633393 2057059093 1270635294 2482739228 1620792790 2046125761 1074121037 321626766 350476433 2806487063 2513307683 3145802988 3355504419 2657265892 1116166414 737607194 4106006969 151508064 3198588648 3633957527 2945965066 1257762955 2250665817 3852536554 442501545 1996574490 2246535613 265270241 2578785578 3195794951 1342493468 85520979 497621590 3632937451 1261136705 3542646469 2330278996 1978329492 1343355932 3165856623 2479830003 3555201710 3840045752 143738093 2757869540 1447323262 603954276 4178662657 2065267351 3305372013 867221715 2273771262 912420375 3888526312 255 362436" option to reproduce the execution
0.00/0.01	c #vars 243
0.00/0.01	c #constraints 81
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      135      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      205 |      100 |      135      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      484 |      250 |      149      0 |        0 |        0
0.00/0.08	c  0.1s |       3 |      810 |      475 |      164      1 |        0 |        0
0.08/0.14	c  0.1s |       4 |     1314 |      813 |      181      4 |        0 |        0
0.19/0.21	c  0.2s |       5 |     1997 |     1320 |      200      7 |        0 |        0
0.29/0.37	c  0.4s |       6 |     2946 |     2081 |      244     11 |        0 |        0
0.49/0.57	c  0.6s |       7 |     4374 |     3223 |      269     16 |        0 |        0
0.88/0.90	c  0.9s |       8 |     6382 |     4936 |      296     24 |        0 |        0
1.19/1.29	c  1.3s |       9 |     9309 |     7506 |      326     35 |        0 |        0
1.78/1.84	c  1.8s |      10 |    13873 |    11361 |      359     50 |        0 |        0
2.69/2.71	c  2.7s |      11 |    20635 |    17144 |      395     73 |        0 |        0
3.89/3.97	c  4.0s |      12 |    30737 |    25819 |      435    103 |        0 |        0
5.89/5.99	c  6.0s |      12 |    45401 |    38819 |      479    146 |        0 |        0
5.89/5.99	c  6.0s |      13 |    45411 |    38832 |      479    146 |        0 |        0
7.89/7.99	c  8.0s |      13 |    60191 |    51932 |      479    186 |        0 |        0
8.99/9.06	c  9.0s |      14 |    67252 |    58352 |      527    206 |        0 |        0
11.00/11.07	c 11.1s |      14 |    81270 |    70052 |      527    242 |        0 |        0
12.99/13.08	c 13.1s |      14 |    95075 |    80652 |      527    276 |        0 |        0
14.30/14.40	c 14.4s |      15 |   104144 |    87632 |      580    298 |        0 |        0
16.39/16.40	c 16.4s |      15 |   117538 |    98632 |      580    330 |        0 |        0
18.39/18.40	c 18.4s |      15 |   130627 |   109532 |      580    362 |        0 |        0
20.39/20.42	c 20.4s |      15 |   143132 |   119832 |      580    392 |        0 |        0
22.39/22.43	c 22.4s |      15 |   157151 |   130632 |      580    423 |        0 |        0
22.59/22.60	c 22.6s |      16 |   158492 |   131552 |      638    425 |        0 |        0
24.59/24.61	c 24.6s |      16 |   171334 |   142052 |      638    454 |        0 |        0
26.59/26.63	c 26.6s |      16 |   184112 |   152552 |      638    482 |        0 |        0
28.59/28.63	c 28.6s |      16 |   196498 |   162852 |      638    511 |        0 |        0
30.58/30.64	c 30.6s |      16 |   208347 |   172952 |      638    538 |        0 |        0
32.58/32.65	c 32.6s |      16 |   221286 |   183452 |      638    567 |        0 |        0
34.58/34.65	c 34.6s |      16 |   233748 |   193952 |      638    595 |        0 |        0
35.19/35.30	c 35.3s |      17 |   237847 |   197432 |      702    604 |        0 |        0
37.28/37.31	c 37.3s |      17 |   250057 |   207832 |      702    629 |        0 |        0
39.28/39.32	c 39.3s |      17 |   261190 |   217732 |      702    654 |        0 |        0
41.28/41.33	c 41.3s |      17 |   272236 |   227532 |      702    678 |        0 |        0
43.28/43.34	c 43.3s |      17 |   283017 |   237232 |      702    702 |        0 |        0
45.28/45.34	c 45.3s |      17 |   293671 |   246832 |      702    726 |        0 |        0
47.29/47.35	c 47.3s |      17 |   306223 |   257632 |      702    752 |        0 |        0
49.28/49.36	c 49.3s |      17 |   319239 |   268532 |      702    779 |        0 |        0
51.28/51.36	c 51.3s |      17 |   332509 |   279632 |      702    806 |        0 |        0
53.28/53.37	c 53.4s |      17 |   345327 |   290432 |      702    833 |        0 |        0
54.48/54.56	c 54.5s |      18 |   351998 |   296252 |      773    847 |        0 |        0
56.48/56.56	c 56.5s |      18 |   366158 |   308852 |      773    874 |        0 |        0
58.48/58.56	c 58.5s |      18 |   379637 |   320952 |      773    900 |        0 |        0
60.49/60.57	c 60.6s |      18 |   393163 |   332452 |      773    926 |        0 |        0
62.48/62.57	c 62.6s |      18 |   404522 |   342352 |      773    948 |        0 |        0
64.48/64.58	c 64.6s |      18 |   415976 |   352252 |      773    970 |        0 |        0
66.58/66.60	c 66.6s |      18 |   427133 |   361952 |      773    992 |        0 |        0
68.58/68.62	c 68.6s |      18 |   438787 |   372052 |      773   1015 |        0 |        0
70.58/70.63	c 70.6s |      18 |   449827 |   381752 |      773   1036 |        0 |        0
72.59/72.64	c 72.6s |      18 |   460130 |   390952 |      773   1057 |        0 |        0
74.58/74.65	c 74.6s |      18 |   471109 |   400552 |      773   1078 |        0 |        0
76.58/76.67	c 76.7s |      18 |   482586 |   410452 |      773   1100 |        0 |        0
78.58/78.68	c 78.7s |      18 |   493193 |   419552 |      773   1121 |        0 |        0
80.67/80.70	c 80.7s |      18 |   504084 |   428952 |      773   1142 |        0 |        0
82.67/82.71	c 82.7s |      18 |   514442 |   438152 |      773   1163 |        0 |        0
84.07/84.14	c 84.1s |      19 |   521784 |   444482 |      851   1177 |        0 |        0
86.07/86.14	c 86.1s |      19 |   536329 |   456382 |      851   1201 |        0 |        0
88.08/88.15	c 88.1s |      19 |   548111 |   466782 |      851   1223 |        0 |        0
90.07/90.17	c 90.2s |      19 |   560335 |   477482 |      851   1245 |        0 |        0
92.07/92.18	c 92.2s |      19 |   572771 |   487982 |      851   1266 |        0 |        0
94.08/94.19	c 94.2s |      19 |   585046 |   498482 |      851   1288 |        0 |        0
96.08/96.19	c 96.2s |      19 |   598102 |   509582 |      851   1311 |        0 |        0
98.18/98.21	c 98.2s |      19 |   611443 |   520782 |      851   1334 |        0 |        0
100.18/100.21	c  100s |      19 |   624373 |   531782 |      851   1357 |        0 |        0
102.18/102.22	c  102s |      19 |   635975 |   542082 |      851   1378 |        0 |        0
104.18/104.22	c  104s |      19 |   647426 |   552282 |      851   1399 |        0 |        0
106.18/106.23	c  106s |      19 |   660161 |   563082 |      851   1421 |        0 |        0
108.18/108.24	c  108s |      19 |   672765 |   573782 |      851   1443 |        0 |        0
110.17/110.25	c  110s |      19 |   686681 |   585082 |      851   1467 |        0 |        0
112.18/112.26	c  112s |      19 |   700203 |   596282 |      851   1490 |        0 |        0
114.17/114.27	c  114s |      19 |   713453 |   607382 |      851   1513 |        0 |        0
116.17/116.29	c  116s |      19 |   726458 |   618282 |      851   1535 |        0 |        0
118.27/118.30	c  118s |      19 |   738494 |   628782 |      851   1557 |        0 |        0
120.27/120.30	c  120s |      19 |   751340 |   639482 |      851   1579 |        0 |        0
122.27/122.31	c  122s |      19 |   764542 |   650482 |      851   1602 |        0 |        0
124.28/124.32	c  124s |      19 |   777302 |   661282 |      851   1624 |        0 |        0
125.27/125.39	c  125s |      20 |   784004 |   666827 |      937   1635 |        0 |        0
127.37/127.40	c  127s |      20 |   797919 |   679027 |      937   1657 |        0 |        0
129.37/129.40	c  129s |      20 |   810496 |   690127 |      937   1677 |        0 |        0
131.37/131.41	c  131s |      20 |   823184 |   701227 |      937   1698 |        0 |        0
133.37/133.42	c  133s |      20 |   835459 |   711927 |      937   1717 |        0 |        0
135.37/135.43	c  135s |      20 |   847428 |   722527 |      937   1737 |        0 |        0
137.37/137.43	c  137s |      20 |   859860 |   733427 |      937   1757 |        0 |        0
139.36/139.44	c  139s |      20 |   871976 |   744127 |      937   1777 |        0 |        0
141.36/141.44	c  141s |      20 |   883991 |   754627 |      937   1796 |        0 |        0
143.36/143.46	c  143s |      20 |   896501 |   765327 |      937   1815 |        0 |        0
145.36/145.46	c  145s |      20 |   907157 |   774727 |      937   1833 |        0 |        0
147.37/147.46	c  147s |      20 |   918597 |   784227 |      937   1850 |        0 |        0
149.36/149.47	c  149s |      20 |   929051 |   793227 |      937   1867 |        0 |        0
151.36/151.47	c  151s |      20 |   940593 |   803227 |      937   1885 |        0 |        0
153.36/153.49	c  153s |      20 |   951781 |   812927 |      937   1903 |        0 |        0
155.46/155.50	c  155s |      20 |   963281 |   822727 |      937   1922 |        0 |        0
157.46/157.53	c  157s |      20 |   973511 |   831527 |      937   1938 |        0 |        0
159.47/159.53	c  159s |      20 |   983650 |   840127 |      937   1955 |        0 |        0
161.46/161.54	c  161s |      20 |   993698 |   848727 |      937   1971 |        0 |        0
163.46/163.54	c  163s |      20 |  1004526 |   857827 |      937   1988 |        0 |        0
165.46/165.55	c  165s |      20 |  1014446 |   866327 |      937   2004 |        0 |        0
167.46/167.56	c  167s |      20 |  1024429 |   874827 |      937   2021 |        0 |        0
169.47/169.59	c  169s |      20 |  1034151 |   883127 |      937   2036 |        0 |        0
171.46/171.59	c  171s |      20 |  1044212 |   891527 |      937   2053 |        0 |        0
173.56/173.60	c  173s |      20 |  1054903 |   900127 |      937   2069 |        0 |        0
175.56/175.60	c  175s |      20 |  1064942 |   908427 |      937   2085 |        0 |        0
177.56/177.62	c  177s |      20 |  1075255 |   916927 |      937   2101 |        0 |        0
179.56/179.62	c  179s |      20 |  1085854 |   925427 |      937   2118 |        0 |        0
181.56/181.64	c  181s |      20 |  1096252 |   934027 |      937   2134 |        0 |        0
183.57/183.65	c  183s |      20 |  1107195 |   942727 |      937   2151 |        0 |        0
185.56/185.66	c  185s |      20 |  1118420 |   951527 |      937   2168 |        0 |        0
187.56/187.68	c  187s |      20 |  1128938 |   960227 |      937   2185 |        0 |        0
189.56/189.69	c  189s |      20 |  1138533 |   968427 |      937   2200 |        0 |        0
191.66/191.70	c  191s |      20 |  1148765 |   976927 |      937   2217 |        0 |        0
193.67/193.71	c  193s |      20 |  1159219 |   985627 |      937   2233 |        0 |        0
195.66/195.71	c  195s |      20 |  1169146 |   994027 |     1031   2249 |        0 |        0
197.16/197.26	c  197s |      21 |  1176679 |  1000345 |     1031   2260 |        0 |        0
199.17/199.27	c  199s |      21 |  1187358 |  1009545 |     1031   2276 |        0 |        0
201.16/201.29	c  201s |      21 |  1196918 |  1018145 |     1031   2291 |        0 |        0
203.16/203.29	c  203s |      21 |  1207203 |  1026745 |     1031   2306 |        0 |        0
205.26/205.30	c  205s |      21 |  1217442 |  1035345 |     1031   2321 |        0 |        0
207.26/207.32	c  207s |      21 |  1227388 |  1043845 |     1031   2336 |        0 |        0
209.26/209.32	c  209s |      21 |  1237141 |  1052345 |     1031   2351 |        0 |        0
211.26/211.33	c  211s |      21 |  1247478 |  1061045 |     1031   2367 |        0 |        0
213.26/213.35	c  213s |      21 |  1257927 |  1069845 |     1031   2382 |        0 |        0
215.26/215.38	c  215s |      21 |  1267902 |  1078445 |     1031   2398 |        0 |        0
217.26/217.38	c  217s |      21 |  1278647 |  1087345 |     1031   2413 |        0 |        0
219.25/219.39	c  219s |      21 |  1289434 |  1096345 |     1031   2429 |        0 |        0
221.25/221.39	c  221s |      21 |  1300135 |  1105445 |     1031   2445 |        0 |        0
223.26/223.40	c  223s |      21 |  1310956 |  1114545 |     1031   2461 |        0 |        0
225.35/225.42	c  225s |      21 |  1322151 |  1123645 |     1031   2477 |        0 |        0
227.35/227.42	c  227s |      21 |  1332645 |  1132345 |     1031   2492 |        0 |        0
229.35/229.42	c  229s |      21 |  1342830 |  1140945 |     1031   2508 |        0 |        0
231.35/231.43	c  231s |      21 |  1352779 |  1149445 |     1031   2523 |        0 |        0
233.35/233.43	c  233s |      21 |  1363139 |  1158245 |     1031   2538 |        0 |        0
235.36/235.44	c  235s |      21 |  1373919 |  1167145 |     1031   2554 |        0 |        0
237.34/237.45	c  237s |      21 |  1383885 |  1175645 |     1031   2569 |        0 |        0
239.34/239.47	c  239s |      21 |  1394453 |  1184345 |     1031   2585 |        0 |        0
241.34/241.47	c  241s |      21 |  1405290 |  1193045 |     1031   2600 |        0 |        0
243.34/243.49	c  243s |      21 |  1415792 |  1201545 |     1031   2615 |        0 |        0
245.35/245.49	c  245s |      21 |  1426550 |  1210245 |     1031   2631 |        0 |        0
247.45/247.51	c  247s |      21 |  1437201 |  1218945 |     1031   2646 |        0 |        0
249.44/249.52	c  249s |      21 |  1448055 |  1227645 |     1031   2662 |        0 |        0
251.44/251.54	c  251s |      21 |  1459183 |  1236445 |     1031   2677 |        0 |        0
253.44/253.55	c  253s |      21 |  1469967 |  1244945 |     1031   2692 |        0 |        0
255.44/255.55	c  255s |      21 |  1480134 |  1253445 |     1031   2707 |        0 |        0
257.44/257.56	c  257s |      21 |  1490305 |  1261845 |     1031   2722 |        0 |        0
259.44/259.56	c  259s |      21 |  1500034 |  1270045 |     1031   2737 |        0 |        0
261.44/261.57	c  261s |      21 |  1510856 |  1278645 |     1031   2752 |        0 |        0
263.44/263.58	c  263s |      21 |  1521776 |  1287245 |     1031   2767 |        0 |        0
265.54/265.60	c  265s |      21 |  1531930 |  1295645 |     1031   2782 |        0 |        0
267.53/267.61	c  267s |      21 |  1541892 |  1303845 |     1031   2797 |        0 |        0
269.54/269.62	c  269s |      21 |  1551913 |  1312045 |     1031   2812 |        0 |        0
271.53/271.65	c  271s |      21 |  1561901 |  1320445 |     1031   2827 |        0 |        0
273.54/273.65	c  273s |      21 |  1571921 |  1328745 |     1031   2841 |        0 |        0
275.54/275.68	c  275s |      21 |  1581833 |  1336945 |     1031   2856 |        0 |        0
277.53/277.68	c  277s |      21 |  1591753 |  1345145 |     1031   2870 |        0 |        0
279.63/279.70	c  279s |      21 |  1601456 |  1353345 |     1031   2885 |        0 |        0
281.64/281.71	c  281s |      21 |  1610843 |  1361445 |     1031   2899 |        0 |        0
283.63/283.73	c  283s |      21 |  1620639 |  1369545 |     1031   2914 |        0 |        0
285.63/285.75	c  285s |      21 |  1630858 |  1378045 |     1031   2929 |        0 |        0
287.63/287.76	c  287s |      21 |  1640932 |  1386345 |     1031   2943 |        0 |        0
289.63/289.78	c  289s |      21 |  1651141 |  1394645 |     1031   2958 |        0 |        0
291.63/291.79	c  291s |      21 |  1661846 |  1403145 |     1031   2973 |        0 |        0
293.63/293.80	c  293s |      21 |  1671551 |  1411245 |     1031   2987 |        0 |        0
295.73/295.81	c  295s |      21 |  1681478 |  1419445 |     1031   3002 |        0 |        0
297.72/297.84	c  297s |      21 |  1690871 |  1427645 |     1031   3017 |        0 |        0
299.72/299.85	c  299s |      21 |  1700608 |  1435845 |     1031   3031 |        0 |        0
301.72/301.86	c  301s |      21 |  1710022 |  1443845 |     1031   3045 |        0 |        0
303.72/303.87	c  303s |      21 |  1719226 |  1451745 |     1031   3059 |        0 |        0
305.73/305.88	c  305s |      21 |  1728589 |  1459745 |     1031   3074 |        0 |        0
307.82/307.90	c  307s |      21 |  1737833 |  1467745 |     1031   3088 |        0 |        0
309.82/309.92	c  309s |      21 |  1747040 |  1475645 |     1031   3102 |        0 |        0
311.82/311.93	c  311s |      21 |  1755628 |  1483245 |     1031   3115 |        0 |        0
313.82/313.94	c  313s |      21 |  1765974 |  1491845 |     1135   3130 |        0 |        0
315.81/315.96	c  315s |      21 |  1775226 |  1499745 |     1135   3143 |        0 |        0
316.01/316.19	c  316s |      22 |  1776251 |  1500622 |     1135   3144 |        0 |        0
318.11/318.20	c  318s |      22 |  1786987 |  1509622 |     1135   3159 |        0 |        0
320.12/320.21	c  320s |      22 |  1796952 |  1517922 |     1135   3172 |        0 |        0
322.11/322.22	c  322s |      22 |  1807731 |  1526322 |     1135   3186 |        0 |        0
324.11/324.23	c  324s |      22 |  1818064 |  1534522 |     1135   3199 |        0 |        0
326.11/326.24	c  326s |      22 |  1827801 |  1542622 |     1135   3212 |        0 |        0
328.11/328.26	c  328s |      22 |  1838198 |  1551122 |     1135   3226 |        0 |        0
330.11/330.27	c  330s |      22 |  1848231 |  1559322 |     1135   3239 |        0 |        0
332.11/332.28	c  332s |      22 |  1859694 |  1568122 |     1135   3254 |        0 |        0
334.11/334.29	c  334s |      22 |  1870042 |  1576722 |     1135   3267 |        0 |        0
336.10/336.29	c  336s |      22 |  1880452 |  1585122 |     1135   3281 |        0 |        0
338.20/338.30	c  338s |      22 |  1891519 |  1593822 |     1135   3295 |        0 |        0
340.20/340.32	c  340s |      22 |  1902473 |  1602422 |     1135   3309 |        0 |        0
342.20/342.32	c  342s |      22 |  1912807 |  1611022 |     1135   3323 |        0 |        0
344.21/344.34	c  344s |      22 |  1922736 |  1619422 |     1135   3337 |        0 |        0
346.20/346.35	c  346s |      22 |  1933024 |  1627822 |     1135   3350 |        0 |        0
348.20/348.36	c  348s |      22 |  1943763 |  1636422 |     1135   3364 |        0 |        0
350.20/350.38	c  350s |      22 |  1954154 |  1644822 |     1135   3378 |        0 |        0
352.20/352.39	c  352s |      22 |  1964542 |  1653322 |     1135   3391 |        0 |        0
354.30/354.40	c  354s |      22 |  1973470 |  1661222 |     1135   3404 |        0 |        0
356.30/356.42	c  356s |      22 |  1983308 |  1669422 |     1135   3417 |        0 |        0
358.29/358.43	c  358s |      22 |  1993919 |  1677722 |     1135   3431 |        0 |        0
360.29/360.45	c  360s |      22 |  2003917 |  1685822 |     1135   3444 |        0 |        0
362.30/362.45	c  362s |      22 |  2014513 |  1694222 |     1135   3457 |        0 |        0
364.30/364.46	c  364s |      22 |  2024846 |  1702522 |     1135   3471 |        0 |        0
366.30/366.46	c  366s |      22 |  2034428 |  1710722 |     1135   3484 |        0 |        0
368.29/368.49	c  368s |      22 |  2043964 |  1719122 |     1135   3498 |        0 |        0
370.39/370.50	c  370s |      22 |  2053659 |  1727422 |     1135   3511 |        0 |        0
372.39/372.52	c  372s |      22 |  2062766 |  1735322 |     1135   3524 |        0 |        0
374.39/374.53	c  374s |      22 |  2073382 |  1743822 |     1135   3537 |        0 |        0
376.38/376.54	c  376s |      22 |  2083704 |  1752022 |     1135   3551 |        0 |        0
378.39/378.56	c  378s |      22 |  2093409 |  1760222 |     1135   3564 |        0 |        0
380.38/380.57	c  380s |      22 |  2105295 |  1769522 |     1135   3579 |        0 |        0
382.38/382.58	c  382s |      22 |  2116112 |  1778622 |     1135   3594 |        0 |        0
384.48/384.61	c  384s |      22 |  2126409 |  1787322 |     1135   3608 |        0 |        0
386.48/386.61	c  386s |      22 |  2136428 |  1795822 |     1135   3622 |        0 |        0
388.48/388.61	c  388s |      22 |  2146235 |  1804322 |     1135   3636 |        0 |        0
390.49/390.62	c  390s |      22 |  2156814 |  1813522 |     1135   3652 |        0 |        0
392.48/392.64	c  392s |      22 |  2166755 |  1822022 |     1135   3666 |        0 |        0
394.48/394.66	c  394s |      22 |  2176492 |  1830522 |     1135   3680 |        0 |        0
396.47/396.68	c  396s |      22 |  2186177 |  1838922 |     1135   3694 |        0 |        0
398.47/398.68	c  398s |      22 |  2195444 |  1847122 |     1135   3707 |        0 |        0
400.57/400.70	c  400s |      22 |  2205367 |  1855322 |     1135   3721 |        0 |        0
402.58/402.70	c  402s |      22 |  2216232 |  1864322 |     1135   3736 |        0 |        0
404.57/404.71	c  404s |      22 |  2226335 |  1873122 |     1135   3750 |        0 |        0
406.57/406.72	c  406s |      22 |  2236868 |  1882022 |     1135   3765 |        0 |        0
408.56/408.73	c  408s |      22 |  2247079 |  1890922 |     1135   3779 |        0 |        0
410.56/410.73	c  410s |      22 |  2256983 |  1899622 |     1135   3794 |        0 |        0
412.57/412.75	c  412s |      22 |  2267536 |  1908622 |     1135   3809 |        0 |        0
414.58/414.76	c  414s |      22 |  2277752 |  1917422 |     1135   3823 |        0 |        0
416.57/416.78	c  416s |      22 |  2287790 |  1926122 |     1135   3838 |        0 |        0
418.57/418.79	c  418s |      22 |  2297660 |  1934722 |     1135   3852 |        0 |        0
420.67/420.80	c  420s |      22 |  2308642 |  1943822 |     1135   3867 |        0 |        0
422.66/422.82	c  422s |      22 |  2319069 |  1952822 |     1135   3882 |        0 |        0
424.66/424.83	c  424s |      22 |  2328974 |  1961422 |     1135   3896 |        0 |        0
426.67/426.84	c  426s |      22 |  2339056 |  1970122 |     1135   3910 |        0 |        0
428.66/428.86	c  428s |      22 |  2348713 |  1978122 |     1135   3923 |        0 |        0
430.66/430.86	c  430s |      22 |  2358099 |  1986222 |     1135   3936 |        0 |        0
432.66/432.88	c  432s |      22 |  2367039 |  1994022 |     1135   3948 |        0 |        0
434.66/434.89	c  434s |      22 |  2375737 |  2001722 |     1135   3961 |        0 |        0
436.76/436.91	c  436s |      22 |  2385077 |  2009922 |     1135   3974 |        0 |        0
438.76/438.93	c  438s |      22 |  2394399 |  2018122 |     1135   3987 |        0 |        0
440.76/440.94	c  440s |      22 |  2403747 |  2026322 |     1135   4000 |        0 |        0
442.76/442.94	c  442s |      22 |  2413155 |  2034622 |     1135   4013 |        0 |        0
444.75/444.95	c  444s |      22 |  2422913 |  2043122 |     1135   4027 |        0 |        0
446.75/446.95	c  446s |      22 |  2432056 |  2051222 |     1135   4040 |        0 |        0
448.76/448.98	c  448s |      22 |  2441616 |  2059522 |     1135   4054 |        0 |        0
450.75/451.00	c  450s |      22 |  2450927 |  2067822 |     1135   4067 |        0 |        0
452.85/453.00	c  452s |      22 |  2459741 |  2075722 |     1135   4080 |        0 |        0
454.84/455.01	c  454s |      22 |  2469536 |  2084122 |     1135   4093 |        0 |        0
456.84/457.02	c  457s |      22 |  2478467 |  2091822 |     1135   4106 |        0 |        0
458.84/459.03	c  459s |      22 |  2488495 |  2100422 |     1135   4119 |        0 |        0
460.85/461.05	c  461s |      22 |  2497891 |  2108722 |     1135   4133 |        0 |        0
462.84/463.06	c  463s |      22 |  2508243 |  2117322 |     1135   4146 |        0 |        0
464.84/465.08	c  465s |      22 |  2518456 |  2125922 |     1135   4160 |        0 |        0
466.83/467.08	c  467s |      22 |  2528414 |  2134322 |     1135   4174 |        0 |        0
468.83/469.09	c  469s |      22 |  2537961 |  2142522 |     1135   4187 |        0 |        0
470.93/471.11	c  471s |      22 |  2547520 |  2151022 |     1135   4200 |        0 |        0
472.94/473.12	c  473s |      22 |  2557127 |  2159422 |     1135   4214 |        0 |        0
474.93/475.13	c  475s |      22 |  2566687 |  2167822 |     1135   4227 |        0 |        0
476.93/477.14	c  477s |      22 |  2576481 |  2176322 |     1135   4241 |        0 |        0
478.93/479.15	c  479s |      22 |  2585863 |  2184622 |     1135   4254 |        0 |        0
480.93/481.15	c  481s |      22 |  2595281 |  2192922 |     1135   4268 |        0 |        0
482.93/483.15	c  483s |      22 |  2605581 |  2201522 |     1135   4282 |        0 |        0
484.93/485.16	c  485s |      22 |  2615568 |  2209822 |     1135   4295 |        0 |        0
486.92/487.17	c  487s |      22 |  2626282 |  2218422 |     1135   4309 |        0 |        0
488.92/489.18	c  489s |      22 |  2636569 |  2226722 |     1135   4322 |        0 |        0
491.02/491.20	c  491s |      22 |  2646258 |  2234922 |     1135   4336 |        0 |        0
493.02/493.21	c  493s |      22 |  2655457 |  2242822 |     1249   4347 |        0 |        0
495.03/495.22	c  495s |      22 |  2664730 |  2250722 |     1249   4359 |        0 |        0
495.03/495.29	c  495s |      23 |  2665121 |  2251038 |     1249   4359 |        0 |        0
497.13/497.31	c  497s |      23 |  2676836 |  2260738 |     1249   4373 |        0 |        0
499.12/499.32	c  499s |      23 |  2686638 |  2269338 |     1249   4386 |        0 |        0
501.12/501.34	c  501s |      23 |  2695779 |  2277538 |     1249   4398 |        0 |        0
503.12/503.36	c  503s |      23 |  2705179 |  2285738 |     1249   4410 |        0 |        0
505.12/505.37	c  505s |      23 |  2714883 |  2294238 |     1249   4423 |        0 |        0
507.12/507.39	c  507s |      23 |  2724888 |  2302838 |     1249   4435 |        0 |        0
509.12/509.39	c  509s |      23 |  2735018 |  2311438 |     1249   4448 |        0 |        0
511.22/511.40	c  511s |      23 |  2744862 |  2319938 |     1249   4460 |        0 |        0
513.22/513.41	c  513s |      23 |  2754704 |  2328338 |     1249   4473 |        0 |        0
515.21/515.42	c  515s |      23 |  2764966 |  2336938 |     1249   4486 |        0 |        0
517.21/517.43	c  517s |      23 |  2774991 |  2345638 |     1249   4498 |        0 |        0
519.21/519.44	c  519s |      23 |  2785925 |  2354538 |     1249   4512 |        0 |        0
521.22/521.45	c  521s |      23 |  2796380 |  2363538 |     1249   4525 |        0 |        0
523.21/523.45	c  523s |      23 |  2806612 |  2372138 |     1249   4538 |        0 |        0
525.21/525.45	c  525s |      23 |  2816518 |  2380538 |     1249   4551 |        0 |        0
527.20/527.48	c  527s |      23 |  2825963 |  2388838 |     1249   4563 |        0 |        0
529.20/529.48	c  529s |      23 |  2835305 |  2396938 |     1249   4575 |        0 |        0
531.21/531.49	c  531s |      23 |  2843965 |  2404638 |     1249   4587 |        0 |        0
533.31/533.50	c  533s |      23 |  2852977 |  2412638 |     1249   4599 |        0 |        0
535.30/535.52	c  535s |      23 |  2862443 |  2420838 |     1249   4611 |        0 |        0
537.30/537.52	c  537s |      23 |  2872210 |  2429238 |     1249   4623 |        0 |        0
539.30/539.54	c  539s |      23 |  2882035 |  2437638 |     1249   4636 |        0 |        0
541.30/541.55	c  541s |      23 |  2891314 |  2445638 |     1249   4648 |        0 |        0
543.30/543.57	c  543s |      23 |  2901552 |  2454538 |     1249   4661 |        0 |        0
545.29/545.57	c  545s |      23 |  2911145 |  2462738 |     1249   4673 |        0 |        0
547.29/547.58	c  547s |      23 |  2920347 |  2470638 |     1249   4685 |        0 |        0
549.39/549.60	c  549s |      23 |  2929126 |  2478438 |     1249   4697 |        0 |        0
551.39/551.61	c  551s |      23 |  2938619 |  2486538 |     1249   4709 |        0 |        0
553.39/553.61	c  553s |      23 |  2948159 |  2494638 |     1249   4721 |        0 |        0
555.39/555.61	c  555s |      23 |  2957462 |  2502538 |     1249   4733 |        0 |        0
557.38/557.62	c  557s |      23 |  2966491 |  2510438 |     1249   4745 |        0 |        0
559.38/559.65	c  559s |      23 |  2975245 |  2518238 |     1249   4757 |        0 |        0
561.38/561.65	c  561s |      23 |  2983811 |  2525838 |     1249   4768 |        0 |        0
563.38/563.68	c  563s |      23 |  2992539 |  2533538 |     1249   4780 |        0 |        0
565.48/565.71	c  565s |      23 |  3001232 |  2541338 |     1249   4791 |        0 |        0
567.48/567.72	c  567s |      23 |  3010129 |  2549138 |     1249   4803 |        0 |        0
569.48/569.73	c  569s |      23 |  3018951 |  2556838 |     1249   4814 |        0 |        0
571.48/571.73	c  571s |      23 |  3027615 |  2564438 |     1249   4826 |        0 |        0
573.48/573.75	c  573s |      23 |  3036729 |  2572338 |     1249   4838 |        0 |        0
575.48/575.76	c  575s |      23 |  3045972 |  2580238 |     1249   4850 |        0 |        0
577.48/577.78	c  577s |      23 |  3054783 |  2588038 |     1249   4861 |        0 |        0
579.48/579.79	c  579s |      23 |  3063481 |  2595738 |     1249   4873 |        0 |        0
581.58/581.80	c  581s |      23 |  3071917 |  2603238 |     1249   4884 |        0 |        0
583.58/583.82	c  583s |      23 |  3080828 |  2611038 |     1249   4896 |        0 |        0
585.58/585.84	c  585s |      23 |  3089509 |  2618638 |     1249   4907 |        0 |        0
587.57/587.85	c  587s |      23 |  3098902 |  2626738 |     1249   4919 |        0 |        0
589.57/589.87	c  589s |      23 |  3108705 |  2635238 |     1249   4932 |        0 |        0
591.58/591.89	c  591s |      23 |  3118381 |  2643638 |     1249   4945 |        0 |        0
593.67/593.90	c  593s |      23 |  3127769 |  2651738 |     1249   4957 |        0 |        0
595.67/595.92	c  595s |      23 |  3137688 |  2660038 |     1249   4970 |        0 |        0
597.67/597.93	c  597s |      23 |  3147389 |  2668338 |     1249   4982 |        0 |        0
599.67/599.95	c  599s |      23 |  3156766 |  2676438 |     1249   4994 |        0 |        0
601.67/601.96	c  601s |      23 |  3165584 |  2684138 |     1249   5006 |        0 |        0
603.67/603.97	c  603s |      23 |  3175018 |  2692238 |     1249   5018 |        0 |        0
605.66/605.99	c  605s |      23 |  3184459 |  2700538 |     1249   5030 |        0 |        0
607.76/608.01	c  607s |      23 |  3193571 |  2708538 |     1249   5043 |        0 |        0
609.76/610.02	c  610s |      23 |  3202699 |  2716438 |     1249   5054 |        0 |        0
611.76/612.02	c  612s |      23 |  3211694 |  2724338 |     1249   5066 |        0 |        0
613.76/614.05	c  614s |      23 |  3220914 |  2732438 |     1249   5079 |        0 |        0
615.76/616.06	c  616s |      23 |  3229769 |  2740238 |     1249   5090 |        0 |        0
617.75/618.07	c  618s |      23 |  3238217 |  2747738 |     1249   5102 |        0 |        0
619.75/620.09	c  620s |      23 |  3247328 |  2755738 |     1249   5114 |        0 |        0
621.75/622.09	c  622s |      23 |  3256409 |  2763638 |     1249   5126 |        0 |        0
623.85/624.11	c  624s |      23 |  3265430 |  2771538 |     1249   5138 |        0 |        0
625.85/626.14	c  626s |      23 |  3274556 |  2779338 |     1249   5149 |        0 |        0
627.85/628.16	c  628s |      23 |  3283323 |  2787038 |     1249   5161 |        0 |        0
629.84/630.17	c  630s |      23 |  3292728 |  2794938 |     1249   5173 |        0 |        0
631.84/632.19	c  632s |      23 |  3301996 |  2802938 |     1249   5185 |        0 |        0
633.94/634.21	c  634s |      23 |  3312128 |  2811238 |     1249   5197 |        0 |        0
635.94/636.23	c  636s |      23 |  3322811 |  2819838 |     1249   5210 |        0 |        0
637.94/638.23	c  638s |      23 |  3333293 |  2828438 |     1249   5223 |        0 |        0
639.95/640.25	c  640s |      23 |  3342856 |  2836538 |     1249   5235 |        0 |        0
641.94/642.27	c  642s |      23 |  3352121 |  2844638 |     1249   5248 |        0 |        0
643.94/644.28	c  644s |      23 |  3362157 |  2853138 |     1249   5260 |        0 |        0
646.04/646.30	c  646s |      23 |  3371218 |  2861038 |     1249   5272 |        0 |        0
648.04/648.32	c  648s |      23 |  3380126 |  2868838 |     1249   5284 |        0 |        0
650.04/650.34	c  650s |      23 |  3389300 |  2876738 |     1249   5296 |        0 |        0
652.05/652.36	c  652s |      23 |  3398211 |  2884538 |     1249   5308 |        0 |        0
654.04/654.37	c  654s |      23 |  3406927 |  2892238 |     1249   5319 |        0 |        0
656.03/656.37	c  656s |      23 |  3416738 |  2900738 |     1249   5332 |        0 |        0
658.03/658.39	c  658s |      23 |  3426900 |  2909138 |     1249   5345 |        0 |        0
660.13/660.41	c  660s |      23 |  3436419 |  2917138 |     1249   5357 |        0 |        0
662.13/662.43	c  662s |      23 |  3446153 |  2925338 |     1249   5369 |        0 |        0
664.14/664.44	c  664s |      23 |  3455636 |  2933438 |     1249   5381 |        0 |        0
666.12/666.45	c  666s |      23 |  3465488 |  2941738 |     1249   5394 |        0 |        0
668.12/668.46	c  668s |      23 |  3474589 |  2949738 |     1249   5406 |        0 |        0
670.12/670.46	c  670s |      23 |  3483551 |  2957538 |     1249   5418 |        0 |        0
672.12/672.48	c  672s |      23 |  3492343 |  2965238 |     1249   5429 |        0 |        0
674.13/674.49	c  674s |      23 |  3500642 |  2972538 |     1249   5440 |        0 |        0
676.23/676.51	c  676s |      23 |  3508983 |  2979938 |     1249   5451 |        0 |        0
678.22/678.53	c  678s |      23 |  3517225 |  2987438 |     1249   5463 |        0 |        0
680.22/680.54	c  680s |      23 |  3525856 |  2995038 |     1249   5474 |        0 |        0
682.22/682.55	c  682s |      23 |  3534707 |  3002738 |     1249   5486 |        0 |        0
684.22/684.57	c  684s |      23 |  3543716 |  3010338 |     1249   5497 |        0 |        0
686.22/686.58	c  686s |      23 |  3552768 |  3018238 |     1249   5509 |        0 |        0
688.21/688.60	c  688s |      23 |  3562495 |  3026538 |     1249   5521 |        0 |        0
690.31/690.60	c  690s |      23 |  3572658 |  3035138 |     1249   5534 |        0 |        0
692.31/692.61	c  692s |      23 |  3582561 |  3043638 |     1249   5547 |        0 |        0
694.31/694.63	c  694s |      23 |  3593405 |  3052538 |     1249   5560 |        0 |        0
696.31/696.64	c  696s |      23 |  3603025 |  3060738 |     1249   5573 |        0 |        0
698.31/698.65	c  698s |      23 |  3613287 |  3069238 |     1249   5585 |        0 |        0
700.30/700.66	c  700s |      23 |  3622936 |  3077438 |     1249   5598 |        0 |        0
702.30/702.67	c  702s |      23 |  3633188 |  3086038 |     1249   5611 |        0 |        0
704.30/704.68	c  704s |      23 |  3643217 |  3094438 |     1249   5623 |        0 |        0
706.40/706.70	c  706s |      23 |  3653224 |  3102738 |     1249   5636 |        0 |        0
708.40/708.73	c  708s |      23 |  3663378 |  3111238 |     1249   5648 |        0 |        0
710.40/710.73	c  710s |      23 |  3673540 |  3119738 |     1249   5661 |        0 |        0
712.39/712.73	c  712s |      23 |  3682890 |  3127838 |     1249   5673 |        0 |        0
714.39/714.76	c  714s |      23 |  3692595 |  3136138 |     1249   5686 |        0 |        0
716.39/716.77	c  716s |      23 |  3702338 |  3144338 |     1249   5698 |        0 |        0
718.40/718.79	c  718s |      23 |  3711482 |  3152238 |     1249   5710 |        0 |        0
720.50/720.81	c  720s |      23 |  3720201 |  3160038 |     1249   5721 |        0 |        0
722.51/722.82	c  722s |      23 |  3730376 |  3168638 |     1249   5734 |        0 |        0
724.50/724.83	c  724s |      23 |  3740274 |  3177038 |     1249   5747 |        0 |        0
726.49/726.83	c  726s |      23 |  3749732 |  3185138 |     1249   5759 |        0 |        0
728.49/728.85	c  728s |      23 |  3759059 |  3193238 |     1249   5771 |        0 |        0
730.49/730.85	c  730s |      23 |  3768567 |  3201338 |     1249   5783 |        0 |        0
732.49/732.87	c  732s |      23 |  3777948 |  3209138 |     1249   5795 |        0 |        0
734.50/734.90	c  734s |      23 |  3787990 |  3217438 |     1249   5808 |        0 |        0
736.59/736.91	c  736s |      23 |  3797285 |  3225338 |     1249   5819 |        0 |        0
738.59/738.93	c  738s |      23 |  3806295 |  3233138 |     1249   5831 |        0 |        0
740.59/740.95	c  740s |      23 |  3815651 |  3241138 |     1249   5843 |        0 |        0
742.59/742.97	c  742s |      23 |  3824977 |  3249038 |     1249   5855 |        0 |        0
744.59/744.98	c  744s |      23 |  3834605 |  3257238 |     1249   5867 |        0 |        0
746.59/747.00	c  746s |      23 |  3844329 |  3265538 |     1249   5880 |        0 |        0
748.68/749.01	c  749s |      23 |  3853316 |  3273238 |     1249   5891 |        0 |        0
750.68/751.02	c  751s |      23 |  3862289 |  3281038 |     1249   5903 |        0 |        0
752.68/753.04	c  753s |      23 |  3871601 |  3289138 |     1249   5915 |        0 |        0
754.68/755.05	c  755s |      23 |  3880537 |  3296938 |     1249   5927 |        0 |        0
756.67/757.07	c  757s |      23 |  3890407 |  3305338 |     1249   5939 |        0 |        0
758.68/759.09	c  759s |      23 |  3900309 |  3313638 |     1249   5952 |        0 |        0
760.77/761.11	c  761s |      23 |  3909868 |  3321938 |     1249   5964 |        0 |        0
762.77/763.12	c  763s |      23 |  3919502 |  3330038 |     1249   5976 |        0 |        0
764.77/765.14	c  765s |      23 |  3928672 |  3338038 |     1249   5988 |        0 |        0
766.77/767.15	c  767s |      23 |  3937283 |  3345638 |     1249   6000 |        0 |        0
768.77/769.15	c  769s |      23 |  3945810 |  3353038 |     1374   6011 |        0 |        0
770.77/771.17	c  771s |      23 |  3954577 |  3360638 |     1374   6021 |        0 |        0
772.77/773.18	c  773s |      23 |  3963674 |  3368438 |     1374   6032 |        0 |        0
774.76/775.18	c  775s |      23 |  3972928 |  3376438 |     1374   6043 |        0 |        0
774.86/775.25	c  775s |      24 |  3973176 |  3376662 |     1374   6043 |        0 |        0
776.87/777.26	c  777s |      24 |  3983160 |  3385162 |     1374   6055 |        0 |        0
778.87/779.27	c  779s |      24 |  3992143 |  3393062 |     1374   6065 |        0 |        0
780.87/781.28	c  781s |      24 |  4000640 |  3400662 |     1374   6075 |        0 |        0
782.97/783.31	c  783s |      24 |  4009194 |  3408462 |     1374   6086 |        0 |        0
784.97/785.33	c  785s |      24 |  4017938 |  3416262 |     1374   6096 |        0 |        0
786.96/787.35	c  787s |      24 |  4026866 |  3424262 |     1374   6106 |        0 |        0
788.96/789.35	c  789s |      24 |  4035732 |  3432162 |     1374   6117 |        0 |        0
790.96/791.36	c  791s |      24 |  4043806 |  3439462 |     1374   6127 |        0 |        0
792.96/793.37	c  793s |      24 |  4052382 |  3447062 |     1374   6137 |        0 |        0
794.97/795.40	c  795s |      24 |  4061313 |  3454862 |     1374   6147 |        0 |        0
797.05/797.42	c  797s |      24 |  4069506 |  3462062 |     1374   6157 |        0 |        0
799.05/799.43	c  799s |      24 |  4077095 |  3468962 |     1374   6166 |        0 |        0
801.05/801.44	c  801s |      24 |  4084944 |  3476062 |     1374   6175 |        0 |        0
803.05/803.48	c  803s |      24 |  4093588 |  3483762 |     1374   6186 |        0 |        0
805.05/805.48	c  805s |      24 |  4102723 |  3491462 |     1374   6196 |        0 |        0
807.15/807.51	c  807s |      24 |  4111421 |  3498962 |     1374   6206 |        0 |        0
809.15/809.52	c  809s |      24 |  4119817 |  3506262 |     1374   6216 |        0 |        0
811.14/811.54	c  811s |      24 |  4128102 |  3513462 |     1374   6225 |        0 |        0
813.14/813.56	c  813s |      24 |  4138998 |  3522662 |     1374   6238 |        0 |        0
815.14/815.57	c  815s |      24 |  4148957 |  3530962 |     1374   6249 |        0 |        0
817.14/817.58	c  817s |      24 |  4158571 |  3538962 |     1374   6260 |        0 |        0
819.15/819.58	c  819s |      24 |  4168660 |  3547062 |     1374   6270 |        0 |        0
821.24/821.61	c  821s |      24 |  4178063 |  3555062 |     1374   6281 |        0 |        0
823.23/823.61	c  823s |      24 |  4187971 |  3563062 |     1374   6292 |        0 |        0
825.23/825.62	c  825s |      24 |  4198927 |  3571662 |     1374   6304 |        0 |        0
827.23/827.63	c  827s |      24 |  4208651 |  3579662 |     1374   6315 |        0 |        0
829.23/829.66	c  829s |      24 |  4219361 |  3588062 |     1374   6326 |        0 |        0
831.24/831.68	c  831s |      24 |  4229770 |  3596462 |     1374   6337 |        0 |        0
833.23/833.69	c  833s |      24 |  4239826 |  3604562 |     1374   6349 |        0 |        0
835.23/835.69	c  835s |      24 |  4249850 |  3612562 |     1374   6359 |        0 |        0
837.33/837.70	c  837s |      24 |  4259865 |  3620662 |     1374   6370 |        0 |        0
839.33/839.70	c  839s |      24 |  4268903 |  3628262 |     1374   6381 |        0 |        0
841.33/841.72	c  841s |      24 |  4279300 |  3636562 |     1374   6392 |        0 |        0
843.33/843.72	c  843s |      24 |  4288808 |  3644362 |     1374   6403 |        0 |        0
845.33/845.73	c  845s |      24 |  4298096 |  3652062 |     1374   6413 |        0 |        0
847.32/847.76	c  847s |      24 |  4307305 |  3659762 |     1374   6424 |        0 |        0
849.32/849.78	c  849s |      24 |  4316557 |  3667462 |     1374   6434 |        0 |        0
851.33/851.79	c  851s |      24 |  4325739 |  3675262 |     1374   6445 |        0 |        0
853.43/853.81	c  853s |      24 |  4335680 |  3683262 |     1374   6456 |        0 |        0
855.44/855.82	c  855s |      24 |  4344064 |  3690562 |     1374   6466 |        0 |        0
857.43/857.84	c  857s |      24 |  4353349 |  3698162 |     1374   6476 |        0 |        0
859.43/859.85	c  859s |      24 |  4361888 |  3705662 |     1374   6486 |        0 |        0
861.43/861.87	c  861s |      24 |  4370025 |  3712862 |     1374   6496 |        0 |        0
863.42/863.89	c  863s |      24 |  4378577 |  3720362 |     1374   6506 |        0 |        0
865.53/865.90	c  865s |      24 |  4387429 |  3727962 |     1374   6516 |        0 |        0
867.53/867.90	c  867s |      24 |  4396875 |  3735862 |     1374   6527 |        0 |        0
869.52/869.92	c  869s |      24 |  4406451 |  3743762 |     1374   6537 |        0 |        0
871.52/871.93	c  871s |      24 |  4414524 |  3750962 |     1374   6547 |        0 |        0
873.52/873.93	c  873s |      24 |  4424032 |  3758962 |     1374   6558 |        0 |        0
875.52/875.94	c  875s |      24 |  4432761 |  3766562 |     1374   6568 |        0 |        0
877.52/877.95	c  877s |      24 |  4441954 |  3774362 |     1374   6579 |        0 |        0
879.52/879.96	c  879s |      24 |  4451455 |  3782262 |     1374   6590 |        0 |        0
881.52/881.96	c  881s |      24 |  4461229 |  3790262 |     1374   6601 |        0 |        0
883.52/883.98	c  883s |      24 |  4470569 |  3798162 |     1374   6611 |        0 |        0
885.52/885.98	c  885s |      24 |  4479782 |  3805862 |     1374   6622 |        0 |        0
887.52/887.99	c  887s |      24 |  4489203 |  3813762 |     1374   6633 |        0 |        0
889.52/890.00	c  889s |      24 |  4498825 |  3822062 |     1374   6644 |        0 |        0
891.61/892.00	c  891s |      24 |  4509229 |  3830262 |     1374   6655 |        0 |        0
893.61/894.01	c  893s |      24 |  4519407 |  3838462 |     1374   6666 |        0 |        0
895.61/896.03	c  896s |      24 |  4529146 |  3846562 |     1374   6677 |        0 |        0
897.61/898.04	c  898s |      24 |  4539874 |  3855062 |     1374   6689 |        0 |        0
899.61/900.05	c  900s |      24 |  4550373 |  3863362 |     1374   6700 |        0 |        0
901.62/902.06	c  902s |      24 |  4560590 |  3871462 |     1374   6711 |        0 |        0
903.61/904.09	c  904s |      24 |  4570762 |  3879462 |     1374   6722 |        0 |        0
905.71/906.11	c  906s |      24 |  4580296 |  3887262 |     1374   6733 |        0 |        0
907.71/908.11	c  908s |      24 |  4589643 |  3895062 |     1374   6744 |        0 |        0
909.71/910.12	c  910s |      24 |  4600426 |  3903562 |     1374   6756 |        0 |        0
911.71/912.13	c  912s |      24 |  4610997 |  3911962 |     1374   6767 |        0 |        0
913.72/914.15	c  914s |      24 |  4621731 |  3920462 |     1374   6779 |        0 |        0
915.71/916.17	c  916s |      24 |  4632048 |  3928762 |     1374   6790 |        0 |        0
917.71/918.18	c  918s |      24 |  4641394 |  3936462 |     1374   6800 |        0 |        0
919.71/920.18	c  920s |      24 |  4651066 |  3944162 |     1374   6811 |        0 |        0
921.71/922.18	c  922s |      24 |  4661000 |  3952162 |     1374   6822 |        0 |        0
923.71/924.19	c  924s |      24 |  4670913 |  3959962 |     1374   6833 |        0 |        0
925.81/926.21	c  926s |      24 |  4680688 |  3967962 |     1374   6844 |        0 |        0
927.81/928.21	c  928s |      24 |  4689662 |  3975462 |     1374   6854 |        0 |        0
929.81/930.23	c  930s |      24 |  4700158 |  3983762 |     1374   6865 |        0 |        0
931.81/932.24	c  932s |      24 |  4710232 |  3991862 |     1374   6876 |        0 |        0
933.80/934.26	c  934s |      24 |  4720080 |  3999862 |     1374   6887 |        0 |        0
935.81/936.28	c  936s |      24 |  4729586 |  4007562 |     1374   6898 |        0 |        0
937.80/938.28	c  938s |      24 |  4740005 |  4015662 |     1374   6909 |        0 |        0
939.80/940.28	c  940s |      24 |  4749493 |  4023362 |     1374   6919 |        0 |        0
941.80/942.29	c  942s |      24 |  4759182 |  4030962 |     1374   6930 |        0 |        0
943.90/944.31	c  944s |      24 |  4769306 |  4038862 |     1374   6941 |        0 |        0
945.90/946.33	c  946s |      24 |  4779869 |  4047162 |     1374   6952 |        0 |        0
947.91/948.33	c  948s |      24 |  4790516 |  4055662 |     1374   6963 |        0 |        0
949.90/950.35	c  950s |      24 |  4801504 |  4064362 |     1374   6975 |        0 |        0
951.90/952.36	c  952s |      24 |  4812372 |  4072862 |     1374   6987 |        0 |        0
953.90/954.37	c  954s |      24 |  4823232 |  4081262 |     1374   6998 |        0 |        0
955.90/956.39	c  956s |      24 |  4834547 |  4089862 |     1374   7010 |        0 |        0
957.90/958.39	c  958s |      24 |  4845415 |  4098362 |     1374   7022 |        0 |        0
960.01/960.40	c  960s |      24 |  4855524 |  4106462 |     1374   7033 |        0 |        0
962.00/962.42	c  962s |      24 |  4866166 |  4114762 |     1374   7044 |        0 |        0
964.00/964.44	c  964s |      24 |  4876299 |  4123062 |     1374   7055 |        0 |        0
966.00/966.45	c  966s |      24 |  4886092 |  4131062 |     1374   7066 |        0 |        0
968.00/968.47	c  968s |      24 |  4895405 |  4138862 |     1374   7077 |        0 |        0
970.00/970.47	c  970s |      24 |  4905846 |  4147162 |     1374   7088 |        0 |        0
972.00/972.50	c  972s |      24 |  4916302 |  4155462 |     1374   7099 |        0 |        0
974.10/974.51	c  974s |      24 |  4926432 |  4163362 |     1374   7110 |        0 |        0
976.10/976.51	c  976s |      24 |  4937785 |  4171762 |     1374   7121 |        0 |        0
978.10/978.52	c  978s |      24 |  4948854 |  4180362 |     1374   7133 |        0 |        0
980.10/980.53	c  980s |      24 |  4959392 |  4188662 |     1374   7145 |        0 |        0
982.10/982.55	c  982s |      24 |  4970016 |  4197062 |     1374   7156 |        0 |        0
984.11/984.56	c  984s |      24 |  4980481 |  4205362 |     1374   7167 |        0 |        0
986.10/986.58	c  986s |      24 |  4991248 |  4213662 |     1374   7179 |        0 |        0
988.20/988.60	c  988s |      24 |  5000849 |  4221762 |     1374   7190 |        0 |        0
990.20/990.62	c  990s |      24 |  5010953 |  4230062 |     1374   7201 |        0 |        0
992.20/992.64	c  992s |      24 |  5020999 |  4238262 |     1374   7212 |        0 |        0
994.20/994.64	c  994s |      24 |  5031336 |  4246462 |     1374   7223 |        0 |        0
996.20/996.65	c  996s |      24 |  5041269 |  4254662 |     1374   7234 |        0 |        0
998.20/998.65	c  998s |      24 |  5050625 |  4262562 |     1374   7245 |        0 |        0
1000.20/1000.65	c 1000s |      24 |  5060338 |  4270562 |     1374   7256 |        0 |        0
1002.20/1002.67	c 1002s |      24 |  5069900 |  4278462 |     1374   7267 |        0 |        0
1004.20/1004.69	c 1004s |      24 |  5079461 |  4286262 |     1374   7277 |        0 |        0
1006.29/1006.70	c 1006s |      24 |  5088704 |  4293862 |     1374   7288 |        0 |        0
1008.30/1008.72	c 1008s |      24 |  5099482 |  4302262 |     1374   7299 |        0 |        0
1010.29/1010.73	c 1010s |      24 |  5109845 |  4310462 |     1374   7310 |        0 |        0
1012.29/1012.73	c 1012s |      24 |  5119802 |  4318562 |     1374   7321 |        0 |        0
1014.29/1014.76	c 1014s |      24 |  5131115 |  4327162 |     1374   7333 |        0 |        0
1016.29/1016.77	c 1016s |      24 |  5142214 |  4335662 |     1374   7345 |        0 |        0
1018.30/1018.78	c 1018s |      24 |  5152082 |  4343462 |     1374   7355 |        0 |        0
1020.29/1020.78	c 1020s |      24 |  5161752 |  4351462 |     1374   7366 |        0 |        0
1022.29/1022.79	c 1022s |      24 |  5171215 |  4358962 |     1374   7376 |        0 |        0
1024.29/1024.79	c 1024s |      24 |  5180655 |  4366562 |     1374   7387 |        0 |        0
1026.40/1026.82	c 1026s |      24 |  5191561 |  4374762 |     1374   7398 |        0 |        0
1028.39/1028.82	c 1028s |      24 |  5201708 |  4382562 |     1374   7408 |        0 |        0
1030.40/1030.84	c 1030s |      24 |  5212107 |  4390662 |     1374   7419 |        0 |        0
1032.39/1032.86	c 1032s |      24 |  5222787 |  4398962 |     1374   7431 |        0 |        0
1034.39/1034.88	c 1034s |      24 |  5232888 |  4407062 |     1374   7442 |        0 |        0
1036.39/1036.89	c 1036s |      24 |  5243060 |  4415162 |     1374   7453 |        0 |        0
1038.49/1038.90	c 1038s |      24 |  5252602 |  4423062 |     1374   7464 |        0 |        0
1040.49/1040.91	c 1040s |      24 |  5261855 |  4430662 |     1374   7474 |        0 |        0
1042.50/1042.93	c 1042s |      24 |  5271349 |  4438562 |     1374   7485 |        0 |        0
1044.49/1044.95	c 1044s |      24 |  5280936 |  4446462 |     1374   7496 |        0 |        0
1046.49/1046.97	c 1046s |      24 |  5290719 |  4454562 |     1374   7507 |        0 |        0
1048.49/1048.97	c 1048s |      24 |  5300622 |  4462562 |     1374   7518 |        0 |        0
1050.49/1050.98	c 1050s |      24 |  5310763 |  4470762 |     1374   7529 |        0 |        0
1052.59/1053.00	c 1052s |      24 |  5319930 |  4478462 |     1374   7539 |        0 |        0
1054.60/1055.02	c 1055s |      24 |  5329054 |  4486062 |     1374   7550 |        0 |        0
1056.59/1057.02	c 1057s |      24 |  5338989 |  4494162 |     1374   7561 |        0 |        0
1058.59/1059.03	c 1059s |      24 |  5348482 |  4501962 |     1374   7571 |        0 |        0
1060.59/1061.04	c 1061s |      24 |  5358130 |  4509762 |     1374   7582 |        0 |        0
1062.59/1063.05	c 1063s |      24 |  5367788 |  4517562 |     1374   7593 |        0 |        0
1064.59/1065.08	c 1065s |      24 |  5377895 |  4525662 |     1374   7604 |        0 |        0
1066.59/1067.09	c 1067s |      24 |  5389129 |  4534262 |     1374   7615 |        0 |        0
1068.68/1069.10	c 1069s |      24 |  5399698 |  4542562 |     1374   7627 |        0 |        0
1070.68/1071.11	c 1071s |      24 |  5409875 |  4550562 |     1374   7638 |        0 |        0
1072.68/1073.11	c 1073s |      24 |  5420585 |  4558862 |     1374   7649 |        0 |        0
1074.68/1075.13	c 1075s |      24 |  5431629 |  4567362 |     1374   7661 |        0 |        0
1076.68/1077.15	c 1077s |      24 |  5442034 |  4575562 |     1374   7672 |        0 |        0
1078.69/1079.17	c 1079s |      24 |  5452363 |  4583862 |     1374   7683 |        0 |        0
1080.69/1081.18	c 1081s |      24 |  5462629 |  4592062 |     1374   7694 |        0 |        0
1082.69/1083.18	c 1083s |      24 |  5471671 |  4599562 |     1374   7704 |        0 |        0
1084.79/1085.20	c 1085s |      24 |  5481176 |  4607262 |     1374   7715 |        0 |        0
1086.78/1087.22	c 1087s |      24 |  5491104 |  4615262 |     1374   7726 |        0 |        0
1088.78/1089.23	c 1089s |      24 |  5500632 |  4622962 |     1374   7736 |        0 |        0
1090.79/1091.25	c 1091s |      24 |  5511225 |  4631162 |     1374   7747 |        0 |        0
1092.78/1093.27	c 1093s |      24 |  5521527 |  4639262 |     1374   7759 |        0 |        0
1094.78/1095.27	c 1095s |      24 |  5531860 |  4647362 |     1374   7770 |        0 |        0
1096.78/1097.28	c 1097s |      24 |  5542878 |  4655762 |     1374   7781 |        0 |        0
1098.78/1099.29	c 1099s |      24 |  5554304 |  4664262 |     1374   7793 |        0 |        0
1100.88/1101.32	c 1101s |      24 |  5564916 |  4672762 |     1374   7804 |        0 |        0
1102.89/1103.32	c 1103s |      24 |  5575100 |  4680862 |     1374   7815 |        0 |        0
1104.88/1105.33	c 1105s |      24 |  5585111 |  4688962 |     1374   7826 |        0 |        0
1106.88/1107.34	c 1107s |      24 |  5595077 |  4697062 |     1374   7837 |        0 |        0
1108.88/1109.35	c 1109s |      24 |  5605835 |  4705562 |     1374   7849 |        0 |        0
1110.88/1111.36	c 1111s |      24 |  5616214 |  4713762 |     1374   7860 |        0 |        0
1112.89/1113.38	c 1113s |      24 |  5626362 |  4721862 |     1374   7871 |        0 |        0
1114.88/1115.38	c 1115s |      24 |  5636519 |  4729862 |     1374   7882 |        0 |        0
1116.98/1117.40	c 1117s |      24 |  5646711 |  4737762 |     1374   7893 |        0 |        0
1118.98/1119.42	c 1119s |      24 |  5656992 |  4745762 |     1374   7904 |        0 |        0
1120.98/1121.44	c 1121s |      24 |  5667101 |  4753662 |     1374   7915 |        0 |        0
1122.98/1123.44	c 1123s |      24 |  5676345 |  4761162 |     1374   7925 |        0 |        0
1124.98/1125.47	c 1125s |      24 |  5687043 |  4769362 |     1374   7936 |        0 |        0
1126.98/1127.48	c 1127s |      24 |  5695739 |  4776862 |     1374   7946 |        0 |        0
1128.98/1129.50	c 1129s |      24 |  5705197 |  4784762 |     1374   7957 |        0 |        0
1131.08/1131.50	c 1131s |      24 |  5715495 |  4792962 |     1374   7968 |        0 |        0
1133.07/1133.52	c 1133s |      24 |  5725399 |  4800962 |     1374   7979 |        0 |        0
1135.07/1135.53	c 1135s |      24 |  5735824 |  4809262 |     1374   7990 |        0 |        0
1137.08/1137.54	c 1137s |      24 |  5744984 |  4817062 |     1374   8001 |        0 |        0
1139.07/1139.55	c 1139s |      24 |  5754743 |  4824962 |     1374   8012 |        0 |        0
1141.07/1141.57	c 1141s |      24 |  5764804 |  4832962 |     1374   8023 |        0 |        0
1143.07/1143.58	c 1143s |      24 |  5775431 |  4841162 |     1374   8034 |        0 |        0
1145.07/1145.59	c 1145s |      24 |  5785021 |  4848862 |     1374   8044 |        0 |        0
1147.17/1147.60	c 1147s |      24 |  5794988 |  4856862 |     1374   8055 |        0 |        0
1149.18/1149.60	c 1149s |      24 |  5804889 |  4864862 |     1374   8066 |        0 |        0
1151.17/1151.62	c 1151s |      24 |  5815292 |  4873062 |     1374   8078 |        0 |        0
1153.17/1153.63	c 1153s |      24 |  5824815 |  4880962 |     1374   8088 |        0 |        0
1155.17/1155.66	c 1155s |      24 |  5834870 |  4889162 |     1374   8100 |        0 |        0
1157.17/1157.69	c 1157s |      24 |  5845147 |  4897562 |     1374   8111 |        0 |        0
1159.17/1159.69	c 1159s |      24 |  5855292 |  4905562 |     1374   8122 |        0 |        0
1161.18/1161.69	c 1161s |      24 |  5864980 |  4913462 |     1374   8133 |        0 |        0
1163.27/1163.70	c 1163s |      24 |  5874975 |  4921562 |     1374   8144 |        0 |        0
1165.27/1165.71	c 1165s |      24 |  5884576 |  4929562 |     1374   8155 |        0 |        0
1167.27/1167.72	c 1167s |      24 |  5894140 |  4937362 |     1374   8165 |        0 |        0
1169.27/1169.73	c 1169s |      24 |  5904104 |  4945362 |     1374   8176 |        0 |        0
1171.27/1171.75	c 1171s |      24 |  5913571 |  4952962 |     1374   8187 |        0 |        0
1173.27/1173.75	c 1173s |      24 |  5923299 |  4960762 |     1374   8197 |        0 |        0
1175.27/1175.77	c 1175s |      24 |  5933206 |  4968762 |     1374   8208 |        0 |        0
1177.27/1177.77	c 1177s |      24 |  5943238 |  4976762 |     1374   8219 |        0 |        0
1179.26/1179.78	c 1179s |      24 |  5953488 |  4985062 |     1374   8230 |        0 |        0
1181.26/1181.79	c 1181s |      24 |  5964497 |  4993562 |     1374   8242 |        0 |        0
1183.27/1183.79	c 1183s |      24 |  5974433 |  5001562 |     1374   8253 |        0 |        0
1185.37/1185.81	c 1185s |      24 |  5985216 |  5009762 |     1374   8264 |        0 |        0
1187.36/1187.82	c 1187s |      24 |  5995591 |  5017862 |     1374   8275 |        0 |        0
1189.37/1189.84	c 1189s |      24 |  6006061 |  5026162 |     1374   8287 |        0 |        0
1191.37/1191.85	c 1191s |      24 |  6016865 |  5034362 |     1512   8297 |        0 |        0
1193.37/1193.85	c 1193s |      24 |  6026944 |  5042262 |     1512   8307 |        0 |        0
1195.38/1195.86	c 1195s |      24 |  6038005 |  5050762 |     1512   8317 |        0 |        0
1197.37/1197.87	c 1197s |      24 |  6047969 |  5058662 |     1512   8327 |        0 |        0
1199.07/1199.56	c 1199s |      25 |  6056213 |  5065098 |     1512   8335 |        0 |        0
1201.07/1201.57	c 1201s |      25 |  6065664 |  5072998 |     1512   8345 |        0 |        0
1203.08/1203.59	c 1203s |      25 |  6074048 |  5080298 |     1512   8354 |        0 |        0
1205.07/1205.59	c 1205s |      25 |  6082773 |  5087898 |     1512   8364 |        0 |        0
1207.17/1207.61	c 1207s |      25 |  6090959 |  5095098 |     1512   8373 |        0 |        0
1209.17/1209.62	c 1209s |      25 |  6099379 |  5102498 |     1512   8382 |        0 |        0
1211.17/1211.64	c 1211s |      25 |  6107725 |  5109898 |     1512   8391 |        0 |        0
1213.16/1213.67	c 1213s |      25 |  6116021 |  5117198 |     1512   8400 |        0 |        0
1215.17/1215.68	c 1215s |      25 |  6123626 |  5124098 |     1512   8409 |        0 |        0
1217.16/1217.68	c 1217s |      25 |  6131856 |  5131498 |     1512   8418 |        0 |        0
1219.16/1219.69	c 1219s |      25 |  6140001 |  5138698 |     1512   8427 |        0 |        0
1221.26/1221.72	c 1221s |      25 |  6148851 |  5146398 |     1512   8436 |        0 |        0
1223.26/1223.74	c 1223s |      25 |  6157285 |  5153898 |     1512   8446 |        0 |        0
1225.26/1225.75	c 1225s |      25 |  6165616 |  5161298 |     1512   8455 |        0 |        0
1227.27/1227.76	c 1227s |      25 |  6173860 |  5168698 |     1512   8464 |        0 |        0
1229.26/1229.76	c 1229s |      25 |  6181627 |  5175698 |     1512   8473 |        0 |        0
1231.26/1231.76	c 1231s |      25 |  6189357 |  5182598 |     1512   8481 |        0 |        0
1233.26/1233.78	c 1233s |      25 |  6198949 |  5190398 |     1512   8491 |        0 |        0
1235.26/1235.79	c 1235s |      25 |  6208086 |  5198298 |     1512   8501 |        0 |        0
1237.26/1237.79	c 1237s |      25 |  6216622 |  5205698 |     1512   8510 |        0 |        0
1239.37/1239.81	c 1239s |      25 |  6225550 |  5213298 |     1512   8519 |        0 |        0
1241.36/1241.84	c 1241s |      25 |  6234239 |  5220798 |     1512   8529 |        0 |        0
1243.36/1243.85	c 1243s |      25 |  6243128 |  5228398 |     1512   8538 |        0 |        0
1245.36/1245.87	c 1245s |      25 |  6251725 |  5235798 |     1512   8547 |        0 |        0
1247.36/1247.88	c 1247s |      25 |  6260351 |  5243098 |     1512   8556 |        0 |        0
1249.36/1249.89	c 1249s |      25 |  6268837 |  5250398 |     1512   8565 |        0 |        0
1251.36/1251.89	c 1251s |      25 |  6278596 |  5258398 |     1512   8575 |        0 |        0
1253.46/1253.90	c 1253s |      25 |  6288307 |  5266498 |     1512   8585 |        0 |        0
1255.45/1255.91	c 1255s |      25 |  6298041 |  5274598 |     1512   8595 |        0 |        0
1257.45/1257.92	c 1257s |      25 |  6307076 |  5282198 |     1512   8605 |        0 |        0
1259.45/1259.93	c 1259s |      25 |  6316216 |  5289998 |     1512   8614 |        0 |        0
1261.45/1261.94	c 1261s |      25 |  6327436 |  5298398 |     1512   8625 |        0 |        0
1263.46/1263.94	c 1263s |      25 |  6338117 |  5306598 |     1512   8635 |        0 |        0
1265.45/1265.95	c 1265s |      25 |  6348619 |  5314998 |     1512   8645 |        0 |        0
1267.45/1267.96	c 1267s |      25 |  6359432 |  5323798 |     1512   8656 |        0 |        0
1269.45/1269.97	c 1269s |      25 |  6370289 |  5332098 |     1512   8666 |        0 |        0
1271.45/1271.98	c 1271s |      25 |  6381588 |  5340798 |     1512   8677 |        0 |        0
1273.46/1273.99	c 1273s |      25 |  6391757 |  5349098 |     1512   8687 |        0 |        0
1275.56/1276.00	c 1275s |      25 |  6402325 |  5357698 |     1512   8698 |        0 |        0
1277.55/1278.01	c 1277s |      25 |  6415535 |  5366898 |     1512   8710 |        0 |        0
1279.56/1280.01	c 1279s |      25 |  6426326 |  5375298 |     1512   8720 |        0 |        0
1281.56/1282.01	c 1281s |      25 |  6437672 |  5383598 |     1512   8730 |        0 |        0
1283.56/1284.01	c 1283s |      25 |  6447253 |  5391198 |     1512   8740 |        0 |        0
1285.56/1286.03	c 1286s |      25 |  6457373 |  5399198 |     1512   8750 |        0 |        0
1287.55/1288.05	c 1288s |      25 |  6467748 |  5407498 |     1512   8760 |        0 |        0
1289.55/1290.07	c 1290s |      25 |  6478532 |  5415698 |     1512   8770 |        0 |        0
1291.55/1292.08	c 1292s |      25 |  6489388 |  5424098 |     1512   8781 |        0 |        0
1293.55/1294.09	c 1294s |      25 |  6500683 |  5432498 |     1512   8791 |        0 |        0
1295.55/1296.09	c 1296s |      25 |  6512365 |  5441098 |     1512   8802 |        0 |        0
1297.56/1298.10	c 1298s |      25 |  6522394 |  5449298 |     1512   8812 |        0 |        0
1299.65/1300.11	c 1300s |      25 |  6533292 |  5457798 |     1512   8822 |        0 |        0
1301.65/1302.12	c 1302s |      25 |  6543846 |  5466098 |     1512   8833 |        0 |        0
1303.65/1304.13	c 1304s |      25 |  6555178 |  5474598 |     1512   8843 |        0 |        0
1305.65/1306.13	c 1306s |      25 |  6567205 |  5483498 |     1512   8854 |        0 |        0
1307.65/1308.14	c 1308s |      25 |  6578204 |  5492098 |     1512   8865 |        0 |        0
1309.65/1310.16	c 1310s |      25 |  6588240 |  5500198 |     1512   8875 |        0 |        0
1311.65/1312.17	c 1312s |      25 |  6598817 |  5508498 |     1512   8886 |        0 |        0
1313.65/1314.19	c 1314s |      25 |  6608983 |  5516798 |     1512   8896 |        0 |        0
1315.75/1316.20	c 1316s |      25 |  6618168 |  5524598 |     1512   8906 |        0 |        0
1317.75/1318.21	c 1318s |      25 |  6627993 |  5532298 |     1512   8915 |        0 |        0
1319.75/1320.23	c 1320s |      25 |  6638221 |  5540298 |     1512   8925 |        0 |        0
1321.75/1322.23	c 1322s |      25 |  6648561 |  5548098 |     1512   8935 |        0 |        0
1323.74/1324.24	c 1324s |      25 |  6659396 |  5556298 |     1512   8945 |        0 |        0
1325.74/1326.25	c 1326s |      25 |  6670605 |  5564698 |     1512   8955 |        0 |        0
1327.74/1328.26	c 1328s |      25 |  6680949 |  5572498 |     1512   8965 |        0 |        0
1329.74/1330.29	c 1330s |      25 |  6690934 |  5580198 |     1512   8975 |        0 |        0
1331.84/1332.31	c 1332s |      25 |  6700616 |  5587798 |     1512   8984 |        0 |        0
1333.85/1334.31	c 1334s |      25 |  6709768 |  5595098 |     1512   8993 |        0 |        0
1335.84/1336.31	c 1336s |      25 |  6719295 |  5602698 |     1512   9002 |        0 |        0
1337.84/1338.31	c 1338s |      25 |  6729115 |  5610698 |     1512   9012 |        0 |        0
1339.84/1340.34	c 1340s |      25 |  6739429 |  5618998 |     1512   9023 |        0 |        0
1341.84/1342.36	c 1342s |      25 |  6749849 |  5627398 |     1512   9033 |        0 |        0
1343.85/1344.36	c 1344s |      25 |  6759427 |  5635498 |     1512   9043 |        0 |        0
1345.84/1346.36	c 1346s |      25 |  6770069 |  5643498 |     1512   9053 |        0 |        0
1347.84/1348.38	c 1348s |      25 |  6781304 |  5652098 |     1512   9064 |        0 |        0
1349.94/1350.40	c 1350s |      25 |  6793194 |  5660798 |     1512   9075 |        0 |        0
1351.94/1352.42	c 1352s |      25 |  6804685 |  5669398 |     1512   9085 |        0 |        0
1353.94/1354.42	c 1354s |      25 |  6815522 |  5677798 |     1512   9096 |        0 |        0
1355.94/1356.44	c 1356s |      25 |  6826422 |  5686098 |     1512   9106 |        0 |        0
1357.94/1358.44	c 1358s |      25 |  6837396 |  5694498 |     1512   9117 |        0 |        0
1359.94/1360.45	c 1360s |      25 |  6847419 |  5702398 |     1512   9126 |        0 |        0
1361.94/1362.46	c 1362s |      25 |  6857614 |  5710398 |     1512   9136 |        0 |        0
1363.93/1364.46	c 1364s |      25 |  6869278 |  5718998 |     1512   9147 |        0 |        0
1365.94/1366.46	c 1366s |      25 |  6880699 |  5727498 |     1512   9158 |        0 |        0
1367.95/1368.47	c 1368s |      25 |  6893572 |  5736798 |     1512   9169 |        0 |        0
1369.94/1370.48	c 1370s |      25 |  6905348 |  5745498 |     1512   9180 |        0 |        0
1372.04/1372.50	c 1372s |      25 |  6916645 |  5753998 |     1512   9191 |        0 |        0
1374.04/1374.53	c 1374s |      25 |  6928460 |  5762598 |     1512   9201 |        0 |        0
1376.04/1376.55	c 1376s |      25 |  6940357 |  5771198 |     1512   9212 |        0 |        0
1378.04/1378.57	c 1378s |      25 |  6951513 |  5779498 |     1512   9223 |        0 |        0
1380.05/1380.58	c 1380s |      25 |  6963408 |  5787998 |     1512   9233 |        0 |        0
1382.14/1382.60	c 1382s |      25 |  6975364 |  5796698 |     1512   9244 |        0 |        0
1384.14/1384.62	c 1384s |      25 |  6986533 |  5805098 |     1512   9255 |        0 |        0
1386.14/1386.64	c 1386s |      25 |  6997379 |  5813198 |     1512   9265 |        0 |        0
1388.14/1388.66	c 1388s |      25 |  7009643 |  5821798 |     1512   9275 |        0 |        0
1390.14/1390.68	c 1390s |      25 |  7021483 |  5830298 |     1512   9286 |        0 |        0
1392.14/1392.69	c 1392s |      25 |  7032469 |  5838498 |     1512   9296 |        0 |        0
1394.24/1394.71	c 1394s |      25 |  7043785 |  5847098 |     1512   9307 |        0 |        0
1396.24/1396.71	c 1396s |      25 |  7054596 |  5855298 |     1512   9317 |        0 |        0
1398.24/1398.71	c 1398s |      25 |  7064698 |  5863098 |     1512   9327 |        0 |        0
1400.24/1400.74	c 1400s |      25 |  7073744 |  5870598 |     1512   9336 |        0 |        0
1402.23/1402.77	c 1402s |      25 |  7082907 |  5878198 |     1512   9346 |        0 |        0
1404.24/1404.77	c 1404s |      25 |  7093384 |  5886298 |     1512   9356 |        0 |        0
1406.23/1406.78	c 1406s |      25 |  7105551 |  5894998 |     1512   9366 |        0 |        0
1408.23/1408.79	c 1408s |      25 |  7116364 |  5903098 |     1512   9376 |        0 |        0
1410.33/1410.81	c 1410s |      25 |  7125769 |  5910998 |     1512   9386 |        0 |        0
1412.33/1412.82	c 1412s |      25 |  7135804 |  5919098 |     1512   9396 |        0 |        0
1414.33/1414.82	c 1414s |      25 |  7145756 |  5927198 |     1512   9406 |        0 |        0
1416.34/1416.84	c 1416s |      25 |  7156406 |  5935498 |     1512   9417 |        0 |        0
1418.33/1418.84	c 1418s |      25 |  7167103 |  5943598 |     1512   9427 |        0 |        0
1420.33/1420.85	c 1420s |      25 |  7178063 |  5952098 |     1512   9437 |        0 |        0
1422.33/1422.86	c 1422s |      25 |  7187891 |  5959898 |     1512   9447 |        0 |        0
1424.33/1424.87	c 1424s |      25 |  7197373 |  5967598 |     1512   9457 |        0 |        0
1426.33/1426.88	c 1426s |      25 |  7207857 |  5975298 |     1512   9466 |        0 |        0
1428.33/1428.89	c 1428s |      25 |  7218256 |  5983098 |     1512   9476 |        0 |        0
1430.33/1430.89	c 1430s |      25 |  7229746 |  5991298 |     1512   9486 |        0 |        0
1432.43/1432.92	c 1432s |      25 |  7241528 |  5999898 |     1512   9497 |        0 |        0
1434.43/1434.93	c 1434s |      25 |  7253035 |  6008598 |     1512   9508 |        0 |        0
1436.43/1436.94	c 1436s |      25 |  7263813 |  6016698 |     1512   9518 |        0 |        0
1438.43/1438.95	c 1438s |      25 |  7273984 |  6024598 |     1512   9528 |        0 |        0
1440.42/1440.96	c 1440s |      25 |  7285052 |  6032898 |     1512   9538 |        0 |        0
1442.42/1442.97	c 1442s |      25 |  7295356 |  6040998 |     1512   9548 |        0 |        0
1444.42/1444.98	c 1444s |      25 |  7306568 |  6049398 |     1512   9558 |        0 |        0
1446.52/1447.01	c 1446s |      25 |  7317309 |  6057598 |     1512   9569 |        0 |        0
1448.52/1449.01	c 1448s |      25 |  7328015 |  6065798 |     1512   9579 |        0 |        0
1450.53/1451.02	c 1451s |      25 |  7338317 |  6073698 |     1512   9589 |        0 |        0
1452.52/1453.04	c 1453s |      25 |  7350109 |  6082298 |     1512   9599 |        0 |        0
1454.52/1455.06	c 1455s |      25 |  7360811 |  6090498 |     1512   9609 |        0 |        0
1456.52/1457.08	c 1457s |      25 |  7371184 |  6098398 |     1512   9619 |        0 |        0
1458.52/1459.09	c 1459s |      25 |  7381420 |  6106398 |     1512   9629 |        0 |        0
1460.62/1461.11	c 1461s |      25 |  7391365 |  6114198 |     1512   9639 |        0 |        0
1462.63/1463.12	c 1463s |      25 |  7400927 |  6121998 |     1512   9648 |        0 |        0
1464.62/1465.12	c 1465s |      25 |  7410761 |  6129698 |     1512   9658 |        0 |        0
1466.62/1467.15	c 1467s |      25 |  7419345 |  6136798 |     1512   9667 |        0 |        0
1468.63/1469.16	c 1469s |      25 |  7428321 |  6143998 |     1512   9676 |        0 |        0
1470.63/1471.19	c 1471s |      25 |  7438122 |  6151698 |     1512   9685 |        0 |        0
1472.63/1473.20	c 1473s |      25 |  7447510 |  6159298 |     1512   9695 |        0 |        0
1474.73/1475.21	c 1475s |      25 |  7456939 |  6166898 |     1512   9704 |        0 |        0
1476.73/1477.24	c 1477s |      25 |  7465804 |  6174298 |     1512   9713 |        0 |        0
1478.73/1479.25	c 1479s |      25 |  7474191 |  6181398 |     1512   9722 |        0 |        0
1480.73/1481.26	c 1481s |      25 |  7483088 |  6188798 |     1512   9731 |        0 |        0
1482.73/1483.29	c 1483s |      25 |  7491134 |  6195698 |     1512   9740 |        0 |        0
1484.83/1485.30	c 1485s |      25 |  7499455 |  6202698 |     1512   9748 |        0 |        0
1486.83/1487.31	c 1487s |      25 |  7508275 |  6209798 |     1512   9757 |        0 |        0
1488.82/1489.35	c 1489s |      25 |  7516913 |  6216898 |     1512   9766 |        0 |        0
1490.82/1491.35	c 1491s |      25 |  7525986 |  6224198 |     1512   9775 |        0 |        0
1492.82/1493.37	c 1493s |      25 |  7535504 |  6231698 |     1512   9784 |        0 |        0
1494.82/1495.38	c 1495s |      25 |  7544101 |  6238798 |     1512   9793 |        0 |        0
1496.82/1497.39	c 1497s |      25 |  7553812 |  6246398 |     1512   9803 |        0 |        0
1498.93/1499.40	c 1499s |      25 |  7564059 |  6254198 |     1512   9812 |        0 |        0
1500.92/1501.42	c 1501s |      25 |  7572375 |  6261098 |     1512   9821 |        0 |        0
1502.92/1503.43	c 1503s |      25 |  7581292 |  6268198 |     1512   9830 |        0 |        0
1504.92/1505.44	c 1505s |      25 |  7591199 |  6275798 |     1512   9839 |        0 |        0
1506.92/1507.46	c 1507s |      25 |  7600787 |  6283498 |     1512   9849 |        0 |        0
1508.92/1509.47	c 1509s |      25 |  7609874 |  6290698 |     1512   9858 |        0 |        0
1510.93/1511.49	c 1511s |      25 |  7619267 |  6298098 |     1512   9867 |        0 |        0
1513.02/1513.51	c 1513s |      25 |  7628303 |  6305398 |     1512   9876 |        0 |        0
1515.02/1515.52	c 1515s |      25 |  7637888 |  6312798 |     1512   9885 |        0 |        0
1517.02/1517.54	c 1517s |      25 |  7646931 |  6319898 |     1512   9894 |        0 |        0
1519.02/1519.54	c 1519s |      25 |  7655884 |  6327498 |     1512   9903 |        0 |        0
1521.02/1521.55	c 1521s |      25 |  7664729 |  6334898 |     1512   9912 |        0 |        0
1523.02/1523.55	c 1523s |      25 |  7673702 |  6342198 |     1512   9921 |        0 |        0
1525.02/1525.57	c 1525s |      25 |  7682989 |  6349598 |     1512   9931 |        0 |        0
1527.01/1527.60	c 1527s |      25 |  7691930 |  6356798 |     1512   9940 |        0 |        0
1529.11/1529.60	c 1529s |      25 |  7699498 |  6363598 |     1512   9948 |        0 |        0
1531.11/1531.61	c 1531s |      25 |  7708400 |  6370898 |     1512   9957 |        0 |        0
1533.11/1533.61	c 1533s |      25 |  7717267 |  6377998 |     1512   9966 |        0 |        0
1535.12/1535.63	c 1535s |      25 |  7725751 |  6385098 |     1512   9974 |        0 |        0
1537.11/1537.63	c 1537s |      25 |  7734492 |  6392298 |     1512   9983 |        0 |        0
1539.11/1539.65	c 1539s |      25 |  7743690 |  6399898 |     1512   9993 |        0 |        0
1541.11/1541.69	c 1541s |      25 |  7753454 |  6407698 |     1512  10002 |        0 |        0
1543.21/1543.70	c 1543s |      25 |  7762964 |  6415298 |     1512  10012 |        0 |        0
1545.21/1545.73	c 1545s |      25 |  7771802 |  6422598 |     1512  10021 |        0 |        0
1547.22/1547.74	c 1547s |      25 |  7781091 |  6429898 |     1512  10030 |        0 |        0
1549.21/1549.75	c 1549s |      25 |  7790559 |  6437398 |     1512  10039 |        0 |        0
1551.21/1551.77	c 1551s |      25 |  7799810 |  6444898 |     1512  10048 |        0 |        0
1553.21/1553.79	c 1553s |      25 |  7808862 |  6452298 |     1512  10057 |        0 |        0
1555.31/1555.81	c 1555s |      25 |  7817846 |  6459498 |     1512  10066 |        0 |        0
1557.31/1557.85	c 1557s |      25 |  7827062 |  6466898 |     1512  10076 |        0 |        0
1559.32/1559.87	c 1559s |      25 |  7836088 |  6474198 |     1512  10085 |        0 |        0
1561.31/1561.89	c 1561s |      25 |  7844864 |  6481398 |     1512  10094 |        0 |        0
1563.41/1563.90	c 1563s |      25 |  7854375 |  6488898 |     1512  10103 |        0 |        0
1565.41/1565.92	c 1565s |      25 |  7863632 |  6496298 |     1512  10112 |        0 |        0
1567.41/1567.94	c 1567s |      25 |  7873186 |  6503798 |     1512  10121 |        0 |        0
1569.41/1569.97	c 1569s |      25 |  7882228 |  6510998 |     1512  10130 |        0 |        0
1571.41/1571.97	c 1571s |      25 |  7891143 |  6518198 |     1512  10139 |        0 |        0
1573.50/1574.00	c 1573s |      25 |  7899739 |  6525298 |     1512  10148 |        0 |        0
1575.51/1576.02	c 1576s |      25 |  7908953 |  6532698 |     1512  10157 |        0 |        0
1577.51/1578.02	c 1578s |      25 |  7916896 |  6539598 |     1512  10165 |        0 |        0
1579.51/1580.05	c 1580s |      25 |  7925955 |  6547098 |     1512  10175 |        0 |        0
1581.51/1582.07	c 1582s |      25 |  7935076 |  6554498 |     1512  10184 |        0 |        0
1583.52/1584.09	c 1584s |      25 |  7944315 |  6562098 |     1512  10193 |        0 |        0
1585.51/1586.10	c 1586s |      25 |  7952746 |  6569098 |     1512  10202 |        0 |        0
1587.61/1588.10	c 1588s |      25 |  7962291 |  6576598 |     1512  10211 |        0 |        0
1589.61/1590.11	c 1590s |      25 |  7971798 |  6584298 |     1512  10221 |        0 |        0
1591.61/1592.13	c 1592s |      25 |  7980537 |  6591698 |     1512  10230 |        0 |        0
1593.61/1594.15	c 1594s |      25 |  7990340 |  6599398 |     1512  10240 |        0 |        0
1595.61/1596.17	c 1596s |      25 |  8000149 |  6606998 |     1512  10249 |        0 |        0
1597.60/1598.20	c 1598s |      25 |  8010010 |  6614898 |     1512  10259 |        0 |        0
1599.70/1600.20	c 1600s |      25 |  8019204 |  6622498 |     1512  10268 |        0 |        0
1601.70/1602.23	c 1602s |      25 |  8027993 |  6629898 |     1512  10278 |        0 |        0
1603.70/1604.24	c 1604s |      25 |  8036929 |  6637298 |     1512  10287 |        0 |        0
1605.70/1606.25	c 1606s |      25 |  8045090 |  6644198 |     1512  10295 |        0 |        0
1607.71/1608.27	c 1608s |      25 |  8054019 |  6651298 |     1512  10304 |        0 |        0
1609.70/1610.28	c 1610s |      25 |  8063081 |  6658498 |     1512  10313 |        0 |        0
1611.70/1612.29	c 1612s |      25 |  8072798 |  6665898 |     1512  10322 |        0 |        0
1613.80/1614.30	c 1614s |      25 |  8082368 |  6673298 |     1512  10331 |        0 |        0
1615.80/1616.31	c 1616s |      25 |  8092411 |  6680998 |     1512  10341 |        0 |        0
1617.80/1618.33	c 1618s |      25 |  8103128 |  6688898 |     1512  10351 |        0 |        0
1619.80/1620.33	c 1620s |      25 |  8112638 |  6696498 |     1512  10360 |        0 |        0
1621.80/1622.34	c 1622s |      25 |  8121652 |  6703998 |     1512  10369 |        0 |        0
1623.80/1624.36	c 1624s |      25 |  8131253 |  6711698 |     1512  10379 |        0 |        0
1625.80/1626.39	c 1626s |      25 |  8141205 |  6719598 |     1512  10389 |        0 |        0
1627.80/1628.39	c 1628s |      25 |  8151477 |  6727298 |     1512  10398 |        0 |        0
1629.90/1630.41	c 1630s |      25 |  8161376 |  6734898 |     1512  10408 |        0 |        0
1631.91/1632.42	c 1632s |      25 |  8171295 |  6742498 |     1512  10417 |        0 |        0
1633.90/1634.44	c 1634s |      25 |  8182178 |  6750498 |     1512  10427 |        0 |        0
1635.90/1636.45	c 1636s |      25 |  8192448 |  6758298 |     1512  10437 |        0 |        0
1637.90/1638.46	c 1638s |      25 |  8202894 |  6766498 |     1512  10447 |        0 |        0
1639.90/1640.47	c 1640s |      25 |  8212683 |  6774098 |     1512  10456 |        0 |        0
1642.00/1642.50	c 1642s |      25 |  8222182 |  6781898 |     1512  10466 |        0 |        0
1644.01/1644.52	c 1644s |      25 |  8232077 |  6789598 |     1512  10476 |        0 |        0
1646.00/1646.54	c 1646s |      25 |  8242681 |  6797598 |     1512  10486 |        0 |        0
1648.00/1648.56	c 1648s |      25 |  8253162 |  6805498 |     1512  10495 |        0 |        0
1650.00/1650.58	c 1650s |      25 |  8262649 |  6813098 |     1512  10505 |        0 |        0
1652.00/1652.60	c 1652s |      25 |  8272632 |  6820698 |     1512  10514 |        0 |        0
1654.10/1654.62	c 1654s |      25 |  8282315 |  6828098 |     1512  10523 |        0 |        0
1656.10/1656.63	c 1656s |      25 |  8292780 |  6836198 |     1512  10533 |        0 |        0
1658.10/1658.64	c 1658s |      25 |  8301929 |  6843698 |     1512  10543 |        0 |        0
1660.09/1660.65	c 1660s |      25 |  8311612 |  6851298 |     1512  10552 |        0 |        0
1662.09/1662.65	c 1662s |      25 |  8320576 |  6858598 |     1512  10561 |        0 |        0
1664.09/1664.66	c 1664s |      25 |  8330222 |  6866398 |     1512  10571 |        0 |        0
1666.10/1666.69	c 1666s |      25 |  8339995 |  6874298 |     1512  10581 |        0 |        0
1668.09/1668.69	c 1668s |      25 |  8349556 |  6881898 |     1512  10590 |        0 |        0
1670.19/1670.71	c 1670s |      25 |  8358410 |  6889298 |     1512  10599 |        0 |        0
1672.19/1672.71	c 1672s |      25 |  8367637 |  6896798 |     1512  10609 |        0 |        0
1674.19/1674.73	c 1674s |      25 |  8376504 |  6904198 |     1512  10618 |        0 |        0
1676.19/1676.74	c 1676s |      25 |  8386665 |  6912198 |     1512  10628 |        0 |        0
1678.20/1678.75	c 1678s |      25 |  8396110 |  6919798 |     1512  10637 |        0 |        0
1680.19/1680.76	c 1680s |      25 |  8404471 |  6926798 |     1512  10646 |        0 |        0
1682.19/1682.76	c 1682s |      25 |  8411799 |  6933398 |     1512  10654 |        0 |        0
1684.19/1684.79	c 1684s |      25 |  8420972 |  6940798 |     1512  10663 |        0 |        0
1686.29/1686.80	c 1686s |      25 |  8430626 |  6948498 |     1512  10673 |        0 |        0
1688.29/1688.82	c 1688s |      25 |  8439356 |  6955698 |     1512  10682 |        0 |        0
1690.29/1690.83	c 1690s |      25 |  8448265 |  6962998 |     1512  10691 |        0 |        0
1692.29/1692.84	c 1692s |      25 |  8457427 |  6970598 |     1512  10700 |        0 |        0
1694.29/1694.85	c 1694s |      25 |  8466654 |  6977998 |     1512  10709 |        0 |        0
1696.29/1696.88	c 1696s |      25 |  8476093 |  6985498 |     1512  10719 |        0 |        0
1698.29/1698.89	c 1698s |      25 |  8483330 |  6992098 |     1512  10727 |        0 |        0
1700.39/1700.91	c 1700s |      25 |  8492343 |  6999498 |     1512  10736 |        0 |        0
1702.39/1702.92	c 1702s |      25 |  8502079 |  7007398 |     1512  10746 |        0 |        0
1704.38/1704.94	c 1704s |      25 |  8512698 |  7015698 |     1512  10756 |        0 |        0
1706.38/1706.96	c 1706s |      25 |  8523577 |  7024098 |     1512  10767 |        0 |        0
1708.38/1708.98	c 1708s |      25 |  8533767 |  7032098 |     1512  10776 |        0 |        0
1710.39/1710.99	c 1710s |      25 |  8544252 |  7040098 |     1512  10786 |        0 |        0
1712.49/1713.01	c 1712s |      25 |  8553349 |  7047698 |     1512  10796 |        0 |        0
1714.50/1715.02	c 1715s |      25 |  8562833 |  7055198 |     1512  10805 |        0 |        0
1716.49/1717.03	c 1717s |      25 |  8572709 |  7062998 |     1512  10815 |        0 |        0
1718.49/1719.05	c 1719s |      25 |  8583068 |  7070998 |     1512  10825 |        0 |        0
1720.49/1721.05	c 1721s |      25 |  8593505 |  7079198 |     1512  10835 |        0 |        0
1722.49/1723.06	c 1723s |      25 |  8602937 |  7086598 |     1512  10844 |        0 |        0
1724.49/1725.07	c 1725s |      25 |  8612537 |  7094098 |     1512  10853 |        0 |        0
1726.49/1727.08	c 1727s |      25 |  8621550 |  7101498 |     1512  10863 |        0 |        0
1728.59/1729.10	c 1729s |      25 |  8631159 |  7109098 |     1512  10872 |        0 |        0
1730.58/1731.13	c 1731s |      25 |  8640182 |  7116698 |     1512  10882 |        0 |        0
1732.58/1733.14	c 1733s |      25 |  8648863 |  7124098 |     1512  10891 |        0 |        0
1734.58/1735.16	c 1735s |      25 |  8658710 |  7131898 |     1512  10900 |        0 |        0
1736.59/1737.17	c 1737s |      25 |  8668783 |  7139498 |     1512  10910 |        0 |        0
1738.59/1739.18	c 1739s |      25 |  8677677 |  7146698 |     1512  10919 |        0 |        0
1740.68/1741.21	c 1741s |      25 |  8687527 |  7154298 |     1512  10928 |        0 |        0
1742.68/1743.21	c 1743s |      25 |  8696875 |  7161698 |     1512  10937 |        0 |        0
1744.68/1745.22	c 1745s |      25 |  8704928 |  7168398 |     1512  10946 |        0 |        0
1746.68/1747.24	c 1747s |      25 |  8713833 |  7175498 |     1512  10955 |        0 |        0
1748.68/1749.26	c 1749s |      25 |  8722638 |  7182598 |     1512  10963 |        0 |        0
1750.69/1751.29	c 1751s |      25 |  8731631 |  7189998 |     1512  10973 |        0 |        0
1752.68/1753.29	c 1753s |      25 |  8740809 |  7197298 |     1512  10982 |        0 |        0
1754.78/1755.30	c 1755s |      25 |  8751625 |  7204898 |     1512  10991 |        0 |        0
1756.78/1757.30	c 1757s |      25 |  8760580 |  7211898 |     1512  11000 |        0 |        0
1758.78/1759.32	c 1759s |      25 |  8771218 |  7219398 |     1512  11009 |        0 |        0
1760.78/1761.34	c 1761s |      25 |  8780298 |  7226498 |     1512  11018 |        0 |        0
1762.78/1763.35	c 1763s |      25 |  8790632 |  7234198 |     1512  11028 |        0 |        0
1764.78/1765.38	c 1765s |      25 |  8800219 |  7241798 |     1512  11037 |        0 |        0
1766.77/1767.38	c 1767s |      25 |  8810511 |  7249498 |     1512  11047 |        0 |        0
1768.87/1769.41	c 1769s |      25 |  8820956 |  7257398 |     1512  11056 |        0 |        0
1770.87/1771.42	c 1771s |      25 |  8831302 |  7265298 |     1512  11066 |        0 |        0
1772.87/1773.42	c 1773s |      25 |  8841289 |  7273098 |     1512  11076 |        0 |        0
1774.88/1775.45	c 1775s |      25 |  8851082 |  7281098 |     1512  11086 |        0 |        0
1776.87/1777.47	c 1777s |      25 |  8860363 |  7288698 |     1512  11095 |        0 |        0
1778.87/1779.47	c 1779s |      25 |  8869842 |  7296098 |     1512  11104 |        0 |        0
1780.97/1781.50	c 1781s |      25 |  8879914 |  7303598 |     1512  11114 |        0 |        0
1782.97/1783.50	c 1783s |      25 |  8890622 |  7311598 |     1512  11124 |        0 |        0
1784.97/1785.52	c 1785s |      25 |  8900218 |  7319298 |     1512  11133 |        0 |        0
1786.98/1787.52	c 1787s |      25 |  8909291 |  7326598 |     1512  11143 |        0 |        0
1788.97/1789.54	c 1789s |      25 |  8918781 |  7334198 |     1512  11152 |        0 |        0
1790.97/1791.54	c 1791s |      25 |  8928561 |  7341798 |     1512  11161 |        0 |        0
1792.97/1793.55	c 1793s |      25 |  8938575 |  7349698 |     1512  11171 |        0 |        0
1794.97/1795.57	c 1795s |      25 |  8949109 |  7357798 |     1512  11181 |        0 |        0
1796.98/1797.57	c 1797s |      25 |  8958347 |  7364998 |     1512  11190 |        0 |        0
1798.97/1799.59	c 1799s |      25 |  8968405 |  7372798 |     1512  11200 |        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-4089827-1466034420/watcher-4089827-1466034420 -o /tmp/evaluation-result-4089827-1466034420/solver-4089827-1466034420 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5838 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089827-1466034420.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.37 2.31 2.27 3/179 8752
/proc/meminfo: memFree=29447776/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=666044 CPUtime=0 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 2474 0 0 0 0 0 0 0 20 0 4 0 5488506 682029056 3345 33554432000 4194304 16246674 140734008868384 140734008867808 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 167279 3353 441 2943 0 164173 0
[pid=8752/tid=8753] ppid=8749 vsize=683452 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 699854848 3412 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=687548 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 704049152 3429 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=691644 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5488506 708243456 3445 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100119 s]
/proc/loadavg: 2.37 2.31 2.27 3/179 8752
/proc/meminfo: memFree=29447776/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 26895 0 0 0 6 2 0 0 20 0 4 0 5488506 1247350784 27756 33554432000 4194304 16246674 140734008868384 140734008867808 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 304529 27767 711 2943 0 301423 0
[pid=8752/tid=8753] ppid=8749 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1247350784 27773 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1247350784 27779 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5488506 1247350784 27785 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200555 s]
/proc/loadavg: 2.37 2.31 2.27 3/179 8752
/proc/meminfo: memFree=29447776/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 51803 0 0 0 13 6 0 0 20 0 4 0 5488506 1247350784 52663 33554432000 4194304 16246674 140734008868384 140734008867808 6021133 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 304529 52677 711 2943 0 301423 0
[pid=8752/tid=8753] ppid=8749 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1247350784 52683 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1247350784 52688 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5488506 1247350784 52697 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300453 s]
/proc/loadavg: 2.37 2.31 2.27 3/179 8752
/proc/meminfo: memFree=29447776/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 76990 0 0 0 19 10 0 0 20 0 4 0 5488506 1247350784 77850 33554432000 4194304 16246674 140734008868384 140734008867808 5523709 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 304529 77862 711 2943 0 301423 0
[pid=8752/tid=8753] ppid=8749 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1247350784 77874 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1247350784 77884 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5488506 1247350784 77893 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700398 s]
/proc/loadavg: 2.37 2.31 2.27 3/179 8752
/proc/meminfo: memFree=29447776/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 178707 0 0 0 46 23 0 0 20 0 4 0 5488506 1247350784 179567 33554432000 4194304 16246674 140734008868384 140734008850304 5831697 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 304529 179574 711 2943 0 301423 0
[pid=8752/tid=8753] ppid=8749 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1247350784 179580 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1247350784 179588 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5488506 1247350784 179596 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.34 2.31 2.27 3/183 8756
/proc/meminfo: memFree=28462824/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1219140 CPUtime=1.48 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 245673 0 0 0 118 30 0 0 20 0 4 0 5488506 1248399360 246513 33554432000 4194304 16246674 140734008868384 140734008867696 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 304785 246513 786 2943 0 301679 0
[pid=8752/tid=8753] ppid=8749 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1248399360 246513 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1248399360 246513 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5488506 1248399360 246513 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10041 s]
/proc/loadavg: 2.34 2.31 2.27 3/183 8756
/proc/meminfo: memFree=28376024/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 267432 0 0 0 275 34 0 0 20 0 4 0 5488506 1337528320 268272 33554432000 4194304 16246674 140734008868384 140734008850304 13191666 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 326545 268272 786 2943 0 323439 0
[pid=8752/tid=8753] ppid=8749 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1337528320 268272 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1337528320 268272 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5488506 1337528320 268272 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.34 2.31 2.27 3/183 8756
/proc/meminfo: memFree=28375108/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 267434 0 0 0 595 34 0 0 20 0 4 0 5488506 1337528320 268274 33554432000 4194304 16246674 140734008868384 140734008850304 5717488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 326545 268274 787 2943 0 323439 0
[pid=8752/tid=8753] ppid=8749 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1337528320 268274 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1337528320 268274 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5488506 1337528320 268274 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.36 2.31 2.27 3/183 8756
/proc/meminfo: memFree=28374516/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 267555 0 0 0 1235 34 0 0 20 0 4 0 5488506 1337528320 268395 33554432000 4194304 16246674 140734008868384 140734008851384 6835944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 326545 268395 787 2943 0 323439 0
[pid=8752/tid=8753] ppid=8749 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1337528320 268395 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1337528320 268395 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5488506 1337528320 268395 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5006 s]
/proc/loadavg: 2.38 2.32 2.27 3/183 8757
/proc/meminfo: memFree=28375360/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 267567 0 0 0 2515 34 0 0 20 0 4 0 5488506 1337528320 268407 33554432000 4194304 16246674 140734008868384 140734008850304 6020857 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 326545 268407 790 2943 0 323439 0
[pid=8752/tid=8753] ppid=8749 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1337528320 268407 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1337528320 268407 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5488506 1337528320 268407 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.32 2.31 2.27 3/183 8757
/proc/meminfo: memFree=28375000/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 267625 0 0 0 5074 34 0 0 20 0 4 0 5488506 1338576896 268465 33554432000 4194304 16246674 140734008868384 140734008851384 5823246 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 326801 268465 790 2943 0 323695 0
[pid=8752/tid=8753] ppid=8749 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1338576896 268465 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1338576896 268465 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5488506 1338576896 268465 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.41 2.33 2.28 3/183 8758
/proc/meminfo: memFree=28374920/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 267626 0 0 0 10192 36 0 0 20 0 4 0 5488506 1338576896 268466 33554432000 4194304 16246674 140734008868384 140734008850304 5669356 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 326801 268466 790 2943 0 323695 0
[pid=8752/tid=8753] ppid=8749 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1338576896 268466 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1338576896 268466 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5488506 1338576896 268466 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1309252

[startup+1302.3 s]
/proc/loadavg: 2.31 2.28 2.27 4/183 8860
/proc/meminfo: memFree=28365560/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1309252 CPUtime=1301.85 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 268741 0 0 0 130134 51 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140734008850304 12477787 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 327313 269132 791 2943 0 324207 0
[pid=8752/tid=8753] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1309252

[startup+1362.3 s]
/proc/loadavg: 2.31 2.29 2.27 3/183 8861
/proc/meminfo: memFree=28365608/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1309252 CPUtime=1361.84 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 268741 0 0 0 136133 51 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140734008850304 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 327313 269132 791 2943 0 324207 0
[pid=8752/tid=8753] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1309252

[startup+1422.3 s]
/proc/loadavg: 2.40 2.31 2.28 4/184 8865
/proc/meminfo: memFree=28365252/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1309252 CPUtime=1421.83 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 268741 0 0 0 142131 52 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140734008850304 5822271 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 327313 269132 791 2943 0 324207 0
[pid=8752/tid=8753] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1309252

[startup+1482.3 s]
/proc/loadavg: 2.27 2.30 2.27 4/183 8866
/proc/meminfo: memFree=28365004/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1309252 CPUtime=1481.83 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 268741 0 0 0 148130 53 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140734008850304 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 327313 269132 791 2943 0 324207 0
[pid=8752/tid=8753] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1309252

[startup+1542.31 s]
/proc/loadavg: 2.27 2.28 2.27 3/183 8867
/proc/meminfo: memFree=28364924/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1309252 CPUtime=1541.82 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 268741 0 0 0 154129 53 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140734008850304 12474881 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 327313 269132 791 2943 0 324207 0
[pid=8752/tid=8753] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1309252

[startup+1602.3 s]
/proc/loadavg: 2.25 2.28 2.27 3/183 8869
/proc/meminfo: memFree=28365596/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1309252 CPUtime=1601.8 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 268741 0 0 0 160126 54 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140734008867560 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 327313 269132 791 2943 0 324207 0
[pid=8752/tid=8753] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1309252

[startup+1662.3 s]
/proc/loadavg: 2.16 2.25 2.26 4/183 8870
/proc/meminfo: memFree=28365984/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1309252 CPUtime=1661.8 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 268741 0 0 0 166125 55 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140734008850304 12478351 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 327313 269132 791 2943 0 324207 0
[pid=8752/tid=8753] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1309252

[startup+1722.3 s]
/proc/loadavg: 2.21 2.26 2.26 3/183 8871
/proc/meminfo: memFree=28365616/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1309252 CPUtime=1721.79 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 268741 0 0 0 172123 56 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140734008851384 13966199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 327313 269132 791 2943 0 324207 0
[pid=8752/tid=8753] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269132 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1309252

[startup+1782.3 s]
/proc/loadavg: 2.19 2.25 2.26 3/183 8872
/proc/meminfo: memFree=28365384/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1309252 CPUtime=1781.77 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 268747 0 0 0 178121 56 0 0 20 0 4 0 5488506 1340674048 269138 33554432000 4194304 16246674 140734008868384 140734008850304 5667672 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 327313 269138 791 2943 0 324207 0
[pid=8752/tid=8753] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269138 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269138 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269138 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1309252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.15 2.24 2.26 4/183 8872
/proc/meminfo: memFree=28365392/32872528 swapFree=1369816/1516984
[pid=8752] ppid=8749 vsize=1309252 CPUtime=1800.07 cores=0,2,4,6
/proc/8752/stat : 8752 (toysat) R 8749 8752 5822 0 -1 4202496 268747 0 0 0 179951 56 0 0 20 0 4 0 5488506 1340674048 269138 33554432000 4194304 16246674 140734008868384 140734008850304 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8752/statm: 327313 269138 791 2943 0 324207 0
[pid=8752/tid=8753] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8753/stat : 8753 (toysat) S 8749 8752 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269138 33554432000 4194304 16246674 140734008868384 140510740065520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8752/tid=8754] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8754/stat : 8754 (toysat) S 8749 8752 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269138 33554432000 4194304 16246674 140734008868384 140510660373744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8752/tid=8755] ppid=8749 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8752/task/8755/stat : 8755 (toysat) S 8749 8752 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5488506 1340674048 269138 33554432000 4194304 16246674 140734008868384 140510649900208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1309252

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.52
CPU system time (s): 0.569913
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.569913
maximum resident set size= 1076552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268747
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= 467
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3061 second user time and 17.1444 second system time

The end

Begin job on node129 at 2016-06-16 01:47:00
IDJOB=4089827
IDBENCH=107462
IDSOLVER=2542
FILE ID=node129/4089827-1466034420
RUNJOBID= node129-1466013843-5838
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 81a826667ee52016133e00717cdeea19
RANDOM SEED=1098216832

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29448320 kB
Buffers:           35912 kB
Cached:            79632 kB
SwapCached:        20164 kB
Active:          1133460 kB
Inactive:          72188 kB
Active(anon):    1072216 kB
Inactive(anon):    20108 kB
Active(file):      61244 kB
Inactive(file):    52080 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081544 kB
Dirty:             16352 kB
Writeback:             0 kB
AnonPages:       2588284 kB
Mapped:            10304 kB
Shmem:                 0 kB
Slab:             567176 kB
SReclaimable:      11324 kB
SUnreclaim:       555852 kB
KernelStack:        1472 kB
PageTables:         9120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2732964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node129 at 2016-06-16 02:17:01