0.00/0.00	c 2016-06-16T02:23:12+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-4090009-1466036592.opb"]
0.00/0.01	c use --random-gen="626248077 585976789 38646565 2225551071 526515891 1386142059 3709760069 367960147 1093073232 2786592713 1321742574 1641625052 687635259 3072933070 606707318 1037885129 3189692224 1079235720 3475022208 2685250620 517772679 1699868339 1217943362 3530369243 2890748210 4046995875 2630713281 3688481848 1679230055 4021822029 179725415 2522078381 1393809904 956016985 2676328879 2270295969 206790510 873749123 1908356708 3400992407 104576206 2663393536 2360929364 1859072567 4096169473 984351077 1269078340 2045510393 1371107271 4019884637 640026658 4003045471 98604627 168586075 2161947196 827601205 3359723558 3643246824 2217207864 1535656740 1699886446 1870900244 3969717932 3421221572 2242619578 3252635289 3825262108 522879610 4013352653 4102846724 3821727105 3350466773 3599392579 1390596639 2954867599 3011636629 1327456598 782955962 3716562132 595404952 428208415 2114041173 2655847551 725329457 3899620358 2974255779 1003832672 1534495548 1257754746 2399613040 3280757379 2675139348 1170359140 3320572796 644942572 871635143 3654842100 3339308107 2358638529 3243320213 1495592208 852160732 179424057 1038208901 3649344538 1482778322 3733955501 2051351743 3200072968 2440927543 1527207568 1816453742 2652027478 254724577 3239129504 3529943349 1430953040 3540022654 2474233774 3666162407 128074898 2063027492 4114945586 3754410452 2410139476 3377997185 1534627363 3937936025 2186116171 408116294 1372972656 4095060506 2281628878 559640071 1390158812 1172881730 2522266916 579098340 2796537992 3085402058 4273890831 515672178 2797812049 143606623 1404720053 146857844 2333839981 4053515213 3356824862 402382224 647387445 2370477222 1978033184 344720404 197984238 770580222 2788523259 703802676 4167386052 1036891266 3643052066 91682447 78457312 1073100631 506147692 3630200903 3041074353 1274810817 1730680984 3440451111 3089776609 3890394339 2419422136 2268941701 1683406937 1045516829 2663481522 3135006513 1554419640 2922701769 2007150476 1532367346 387270950 3189188550 3638906958 968867451 1045843332 3881739464 2892319716 2493015798 391297453 3640182048 2187732189 719959631 2196456198 2041782170 2817519155 2276489238 3440508141 718620605 2167444129 1399017059 1295862951 108911451 1201494446 511656350 1661445082 3193417228 3885818860 2050310653 2320028059 2590533201 1942035051 1777954096 605291605 740877475 1487119051 2167291238 4101033977 1351942061 597656868 2711126420 3922305806 1371281565 20955696 927221749 3154719764 574469567 1755832124 1025838577 2156428388 4259785678 1341307051 2099011745 1183130477 2095099064 3498297266 2372528319 3574208814 2538856332 2607186958 2653703988 3031111050 1112413599 1318316027 2187970449 3878213021 2266518131 2807122350 646606971 460322289 3900262429 1963449816 1284738735 531968199 1974109205 255 362436" option to reproduce the execution
0.00/0.01	c #vars 273
0.00/0.01	c #constraints 91
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 |      151      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      128 |      100 |      151      0 |        0 |        0
0.00/0.07	c  0.1s |       2 |      411 |      250 |      167      0 |        0 |        0
0.08/0.12	c  0.1s |       3 |      762 |      475 |      184      1 |        0 |        0
0.18/0.21	c  0.2s |       4 |     1253 |      813 |      203      3 |        0 |        0
0.29/0.35	c  0.3s |       5 |     1925 |     1320 |      224      5 |        0 |        0
0.49/0.56	c  0.5s |       6 |     2875 |     2081 |      272      9 |        0 |        0
0.78/0.87	c  0.9s |       7 |     4249 |     3223 |      300     14 |        0 |        0
1.20/1.21	c  1.2s |       8 |     6231 |     4936 |      330     21 |        0 |        0
1.68/1.79	c  1.8s |       9 |     9117 |     7506 |      364     31 |        0 |        0
2.48/2.55	c  2.5s |      10 |    13347 |    11361 |      401     44 |        0 |        0
3.78/3.84	c  3.8s |      11 |    19711 |    17144 |      442     64 |        0 |        0
5.78/5.86	c  5.8s |      11 |    29239 |    25444 |      442     91 |        0 |        0
5.88/5.96	c  5.9s |      12 |    29665 |    25819 |      487     92 |        0 |        0
7.88/7.97	c  8.0s |      12 |    38472 |    33619 |      487    116 |        0 |        0
9.28/9.39	c  9.4s |      13 |    44165 |    38832 |      536    132 |        0 |        0
11.39/11.40	c 11.4s |      13 |    52615 |    46432 |      536    153 |        0 |        0
13.39/13.41	c 13.4s |      13 |    60667 |    53832 |      536    174 |        0 |        0
14.49/14.59	c 14.6s |      14 |    65688 |    58352 |      590    186 |        0 |        0
16.60/16.61	c 16.6s |      14 |    74329 |    66052 |      590    207 |        0 |        0
18.59/18.64	c 18.6s |      14 |    82455 |    73452 |      590    226 |        0 |        0
20.59/20.64	c 20.6s |      14 |    90674 |    80852 |      590    246 |        0 |        0
22.49/22.51	c 22.5s |      15 |    98102 |    87632 |      649    264 |        0 |        0
24.49/24.52	c 24.5s |      15 |   107684 |    95932 |      649    284 |        0 |        0
26.49/26.52	c 26.5s |      15 |   116042 |   103432 |      649    302 |        0 |        0
28.49/28.55	c 28.5s |      15 |   124254 |   110832 |      649    321 |        0 |        0
30.49/30.58	c 30.6s |      15 |   132217 |   118032 |      649    338 |        0 |        0
32.49/32.59	c 32.6s |      15 |   140592 |   125632 |      649    357 |        0 |        0
34.19/34.23	c 34.2s |      16 |   147217 |   131552 |      714    371 |        0 |        0
36.18/36.25	c 36.2s |      16 |   156835 |   139452 |      714    389 |        0 |        0
38.18/38.26	c 38.2s |      16 |   165142 |   146952 |      714    406 |        0 |        0
40.18/40.29	c 40.3s |      16 |   172367 |   153552 |      714    421 |        0 |        0
42.28/42.30	c 42.3s |      16 |   179405 |   159952 |      714    435 |        0 |        0
44.28/44.32	c 44.3s |      16 |   187992 |   167252 |      714    453 |        0 |        0
46.29/46.34	c 46.3s |      16 |   196108 |   174252 |      714    469 |        0 |        0
48.28/48.36	c 48.3s |      16 |   203445 |   180752 |      714    484 |        0 |        0
50.28/50.37	c 50.4s |      16 |   211833 |   188052 |      714    501 |        0 |        0
52.28/52.37	c 52.4s |      16 |   220311 |   195252 |      714    517 |        0 |        0
52.89/52.94	c 52.9s |      17 |   222793 |   197432 |      786    522 |        0 |        0
54.88/54.96	c 55.0s |      17 |   233185 |   205432 |      786    539 |        0 |        0
56.89/56.98	c 57.0s |      17 |   242018 |   212832 |      786    555 |        0 |        0
58.88/58.99	c 59.0s |      17 |   250771 |   220132 |      786    571 |        0 |        0
60.88/60.99	c 61.0s |      17 |   259322 |   227432 |      786    586 |        0 |        0
62.98/63.01	c 63.0s |      17 |   267434 |   234532 |      786    602 |        0 |        0
64.99/65.03	c 65.0s |      17 |   275392 |   241432 |      786    616 |        0 |        0
66.98/67.06	c 67.0s |      17 |   283178 |   248032 |      786    630 |        0 |        0
68.98/69.07	c 69.1s |      17 |   291390 |   254932 |      786    645 |        0 |        0
70.98/71.07	c 71.1s |      17 |   299378 |   261732 |      786    660 |        0 |        0
72.98/73.08	c 73.1s |      17 |   307651 |   268732 |      786    675 |        0 |        0
74.98/75.08	c 75.1s |      17 |   315896 |   275832 |      786    690 |        0 |        0
76.99/77.10	c 77.1s |      17 |   324175 |   282732 |      786    705 |        0 |        0
79.08/79.13	c 79.1s |      17 |   331736 |   289132 |      786    719 |        0 |        0
81.08/81.13	c 81.1s |      17 |   340104 |   296032 |      865    733 |        0 |        0
81.18/81.21	c 81.2s |      18 |   340338 |   296252 |      865    734 |        0 |        0
83.18/83.23	c 83.2s |      18 |   348408 |   303252 |      865    748 |        0 |        0
85.18/85.25	c 85.2s |      18 |   355711 |   309752 |      865    761 |        0 |        0
87.18/87.28	c 87.3s |      18 |   363013 |   316252 |      865    773 |        0 |        0
89.18/89.29	c 89.3s |      18 |   370128 |   322552 |      865    786 |        0 |        0
91.28/91.31	c 91.3s |      18 |   377056 |   328752 |      865    798 |        0 |        0
93.27/93.34	c 93.3s |      18 |   384560 |   335352 |      865    811 |        0 |        0
95.27/95.35	c 95.3s |      18 |   391249 |   341352 |      865    823 |        0 |        0
97.27/97.36	c 97.3s |      18 |   398176 |   347552 |      865    835 |        0 |        0
99.27/99.37	c 99.4s |      18 |   404764 |   353352 |      865    847 |        0 |        0
101.28/101.37	c  101s |      18 |   411340 |   359152 |      865    858 |        0 |        0
103.27/103.39	c  103s |      18 |   418563 |   365452 |      865    871 |        0 |        0
105.37/105.41	c  105s |      18 |   426194 |   372152 |      865    884 |        0 |        0
107.37/107.43	c  107s |      18 |   433389 |   378552 |      865    897 |        0 |        0
109.37/109.44	c  109s |      18 |   440448 |   384752 |      865    909 |        0 |        0
111.37/111.49	c  111s |      18 |   446712 |   390352 |      865    921 |        0 |        0
113.47/113.52	c  113s |      18 |   452981 |   395952 |      865    932 |        0 |        0
115.48/115.53	c  115s |      18 |   460238 |   402352 |      865    944 |        0 |        0
117.47/117.56	c  117s |      18 |   467287 |   408652 |      865    957 |        0 |        0
119.47/119.57	c  119s |      18 |   474068 |   414752 |      865    969 |        0 |        0
121.47/121.59	c  121s |      18 |   480702 |   420752 |      865    981 |        0 |        0
123.57/123.63	c  123s |      18 |   487487 |   426852 |      865    993 |        0 |        0
125.57/125.66	c  125s |      18 |   494018 |   432652 |      865   1004 |        0 |        0
127.57/127.69	c  127s |      18 |   501040 |   438852 |      865   1016 |        0 |        0
129.57/129.60	c  129s |      19 |   507211 |   444482 |      952   1027 |        0 |        0
131.57/131.61	c  131s |      19 |   516279 |   451982 |      952   1041 |        0 |        0
133.56/133.62	c  133s |      19 |   524778 |   459082 |      952   1054 |        0 |        0
135.56/135.64	c  135s |      19 |   532886 |   466082 |      952   1067 |        0 |        0
137.57/137.66	c  137s |      19 |   540703 |   472782 |      952   1079 |        0 |        0
139.56/139.68	c  139s |      19 |   548767 |   479482 |      952   1091 |        0 |        0
141.66/141.70	c  141s |      19 |   556636 |   486182 |      952   1104 |        0 |        0
143.66/143.70	c  143s |      19 |   564581 |   492782 |      952   1116 |        0 |        0
145.66/145.72	c  145s |      19 |   573182 |   499882 |      952   1129 |        0 |        0
147.67/147.73	c  147s |      19 |   581474 |   506782 |      952   1141 |        0 |        0
149.68/149.76	c  149s |      19 |   590137 |   513982 |      952   1155 |        0 |        0
151.67/151.78	c  151s |      19 |   598598 |   520882 |      952   1167 |        0 |        0
153.67/153.79	c  153s |      19 |   606490 |   527582 |      952   1180 |        0 |        0
155.77/155.80	c  155s |      19 |   614081 |   534682 |      952   1192 |        0 |        0
157.77/157.82	c  157s |      19 |   621766 |   541782 |      952   1205 |        0 |        0
159.77/159.83	c  159s |      19 |   629593 |   548582 |      952   1217 |        0 |        0
161.77/161.84	c  161s |      19 |   637884 |   555682 |      952   1230 |        0 |        0
163.76/163.86	c  163s |      19 |   646649 |   563082 |      952   1243 |        0 |        0
165.76/165.89	c  165s |      19 |   654272 |   569782 |      952   1256 |        0 |        0
167.86/167.92	c  167s |      19 |   662110 |   576582 |      952   1268 |        0 |        0
169.86/169.93	c  169s |      19 |   669914 |   583282 |      952   1280 |        0 |        0
171.86/171.93	c  171s |      19 |   677208 |   589782 |      952   1291 |        0 |        0
173.87/173.95	c  173s |      19 |   684916 |   596382 |      952   1303 |        0 |        0
175.86/175.97	c  175s |      19 |   692596 |   603082 |      952   1316 |        0 |        0
177.86/177.97	c  177s |      19 |   699970 |   609382 |      952   1327 |        0 |        0
179.86/179.98	c  179s |      19 |   707233 |   615782 |      952   1339 |        0 |        0
181.86/181.99	c  181s |      19 |   713698 |   621682 |      952   1350 |        0 |        0
183.86/183.99	c  183s |      19 |   721016 |   628182 |      952   1362 |        0 |        0
185.96/186.02	c  186s |      19 |   727910 |   634282 |      952   1373 |        0 |        0
187.96/188.04	c  188s |      19 |   734403 |   640082 |      952   1383 |        0 |        0
189.96/190.07	c  190s |      19 |   740031 |   645282 |      952   1392 |        0 |        0
191.96/192.10	c  192s |      19 |   747169 |   651282 |      952   1403 |        0 |        0
194.06/194.11	c  194s |      19 |   754177 |   657182 |      952   1414 |        0 |        0
196.06/196.13	c  196s |      19 |   760866 |   662982 |     1048   1424 |        0 |        0
197.46/197.57	c  197s |      20 |   765255 |   666827 |     1048   1431 |        0 |        0
199.46/199.59	c  199s |      20 |   773599 |   673827 |     1048   1442 |        0 |        0
201.56/201.62	c  201s |      20 |   780415 |   680127 |     1048   1453 |        0 |        0
203.57/203.63	c  203s |      20 |   786953 |   686127 |     1048   1463 |        0 |        0
205.56/205.66	c  205s |      20 |   793503 |   692227 |     1048   1473 |        0 |        0
207.56/207.66	c  207s |      20 |   799977 |   698227 |     1048   1482 |        0 |        0
209.56/209.67	c  209s |      20 |   806626 |   704327 |     1048   1492 |        0 |        0
211.56/211.69	c  211s |      20 |   814591 |   710727 |     1048   1503 |        0 |        0
213.66/213.70	c  213s |      20 |   821873 |   717327 |     1048   1515 |        0 |        0
215.67/215.72	c  215s |      20 |   828672 |   723327 |     1048   1525 |        0 |        0
217.66/217.73	c  217s |      20 |   836184 |   729927 |     1048   1537 |        0 |        0
219.66/219.74	c  219s |      20 |   843231 |   736427 |     1048   1548 |        0 |        0
221.66/221.75	c  221s |      20 |   850105 |   742827 |     1048   1559 |        0 |        0
223.66/223.77	c  223s |      20 |   857020 |   749227 |     1048   1570 |        0 |        0
225.76/225.80	c  225s |      20 |   864099 |   755727 |     1048   1582 |        0 |        0
227.76/227.82	c  227s |      20 |   871052 |   762227 |     1048   1593 |        0 |        0
229.75/229.83	c  229s |      20 |   877911 |   768527 |     1048   1604 |        0 |        0
231.75/231.83	c  231s |      20 |   884960 |   774927 |     1048   1615 |        0 |        0
233.75/233.84	c  233s |      20 |   891669 |   781127 |     1048   1626 |        0 |        0
235.75/235.85	c  235s |      20 |   898343 |   787027 |     1048   1636 |        0 |        0
237.76/237.88	c  237s |      20 |   905083 |   792927 |     1048   1646 |        0 |        0
239.76/239.90	c  239s |      20 |   911461 |   798827 |     1048   1656 |        0 |        0
241.86/241.92	c  241s |      20 |   918509 |   805127 |     1048   1666 |        0 |        0
243.85/243.93	c  243s |      20 |   925264 |   811327 |     1048   1677 |        0 |        0
245.85/245.96	c  245s |      20 |   932253 |   817627 |     1048   1688 |        0 |        0
247.85/247.97	c  247s |      20 |   938922 |   823627 |     1048   1698 |        0 |        0
249.95/250.01	c  249s |      20 |   945825 |   829927 |     1048   1709 |        0 |        0
251.96/252.02	c  252s |      20 |   952538 |   836027 |     1048   1719 |        0 |        0
253.95/254.03	c  254s |      20 |   959317 |   842127 |     1048   1729 |        0 |        0
255.95/256.05	c  256s |      20 |   965706 |   847927 |     1048   1739 |        0 |        0
257.95/258.07	c  258s |      20 |   972377 |   853927 |     1048   1749 |        0 |        0
259.95/260.09	c  260s |      20 |   979880 |   860027 |     1048   1759 |        0 |        0
262.05/262.12	c  262s |      20 |   986860 |   866327 |     1048   1770 |        0 |        0
264.06/264.12	c  264s |      20 |   993337 |   872227 |     1048   1781 |        0 |        0
266.05/266.14	c  266s |      20 |   999585 |   878027 |     1048   1791 |        0 |        0
268.05/268.16	c  268s |      20 |  1005936 |   883927 |     1048   1801 |        0 |        0
270.05/270.16	c  270s |      20 |  1012769 |   889327 |     1048   1811 |        0 |        0
272.05/272.18	c  272s |      20 |  1018094 |   894227 |     1048   1819 |        0 |        0
274.05/274.19	c  274s |      20 |  1023432 |   899027 |     1048   1828 |        0 |        0
276.15/276.24	c  276s |      20 |  1028535 |   903727 |     1048   1836 |        0 |        0
278.15/278.26	c  278s |      20 |  1034423 |   909027 |     1048   1845 |        0 |        0
280.15/280.28	c  280s |      20 |  1039786 |   913927 |     1048   1854 |        0 |        0
282.25/282.32	c  282s |      20 |  1045144 |   918827 |     1048   1862 |        0 |        0
284.25/284.33	c  284s |      20 |  1052987 |   925327 |     1048   1873 |        0 |        0
286.25/286.37	c  286s |      20 |  1061375 |   932427 |     1048   1885 |        0 |        0
288.25/288.37	c  288s |      20 |  1069675 |   939427 |     1048   1897 |        0 |        0
290.24/290.38	c  290s |      20 |  1077815 |   946327 |     1048   1909 |        0 |        0
292.34/292.40	c  292s |      20 |  1085996 |   953127 |     1048   1920 |        0 |        0
294.34/294.41	c  294s |      20 |  1093210 |   959327 |     1048   1931 |        0 |        0
296.34/296.43	c  296s |      20 |  1100168 |   965227 |     1048   1941 |        0 |        0
298.34/298.45	c  298s |      20 |  1107735 |   971827 |     1048   1952 |        0 |        0
300.35/300.49	c  300s |      20 |  1115393 |   978527 |     1048   1963 |        0 |        0
302.34/302.50	c  302s |      20 |  1122180 |   984527 |     1048   1973 |        0 |        0
304.44/304.52	c  304s |      20 |  1129259 |   990727 |     1048   1983 |        0 |        0
306.44/306.54	c  306s |      20 |  1136753 |   997127 |     1153   1994 |        0 |        0
307.44/307.55	c  307s |      21 |  1140478 |  1000345 |     1153   1999 |        0 |        0
309.44/309.56	c  309s |      21 |  1149356 |  1007545 |     1153   2010 |        0 |        0
311.45/311.57	c  311s |      21 |  1157375 |  1014445 |     1153   2021 |        0 |        0
313.45/313.58	c  313s |      21 |  1164554 |  1020745 |     1153   2031 |        0 |        0
315.55/315.60	c  315s |      21 |  1171617 |  1027045 |     1153   2041 |        0 |        0
317.54/317.62	c  317s |      21 |  1178676 |  1033445 |     1153   2051 |        0 |        0
319.54/319.63	c  319s |      21 |  1186851 |  1040545 |     1153   2062 |        0 |        0
321.54/321.65	c  321s |      21 |  1194450 |  1047345 |     1153   2072 |        0 |        0
323.54/323.66	c  323s |      21 |  1201551 |  1053945 |     1153   2083 |        0 |        0
325.55/325.69	c  325s |      21 |  1209521 |  1060745 |     1153   2094 |        0 |        0
327.64/327.71	c  327s |      21 |  1216242 |  1066645 |     1153   2103 |        0 |        0
329.64/329.72	c  329s |      21 |  1222621 |  1072245 |     1153   2111 |        0 |        0
331.64/331.75	c  331s |      21 |  1229777 |  1078345 |     1153   2121 |        0 |        0
333.64/333.77	c  333s |      21 |  1237385 |  1084845 |     1153   2131 |        0 |        0
335.64/335.78	c  335s |      21 |  1245304 |  1091645 |     1153   2142 |        0 |        0
337.64/337.80	c  337s |      21 |  1252635 |  1098045 |     1153   2152 |        0 |        0
339.74/339.80	c  339s |      21 |  1260143 |  1104445 |     1153   2162 |        0 |        0
341.74/341.82	c  341s |      21 |  1267257 |  1110745 |     1153   2172 |        0 |        0
343.74/343.83	c  343s |      21 |  1274537 |  1117045 |     1153   2182 |        0 |        0
345.74/345.84	c  345s |      21 |  1281696 |  1123345 |     1153   2191 |        0 |        0
347.74/347.84	c  347s |      21 |  1288774 |  1129445 |     1153   2201 |        0 |        0
349.74/349.85	c  349s |      21 |  1296174 |  1135745 |     1153   2211 |        0 |        0
351.73/351.89	c  351s |      21 |  1303254 |  1141945 |     1153   2221 |        0 |        0
353.84/353.90	c  353s |      21 |  1310795 |  1148345 |     1153   2231 |        0 |        0
355.83/355.92	c  355s |      21 |  1317817 |  1154445 |     1153   2240 |        0 |        0
357.83/357.93	c  357s |      21 |  1325029 |  1160545 |     1153   2250 |        0 |        0
359.83/359.94	c  359s |      21 |  1331607 |  1166545 |     1153   2259 |        0 |        0
361.84/361.95	c  361s |      21 |  1338354 |  1172545 |     1153   2268 |        0 |        0
363.83/363.97	c  363s |      21 |  1345388 |  1178745 |     1153   2278 |        0 |        0
365.83/365.99	c  365s |      21 |  1352332 |  1184945 |     1153   2287 |        0 |        0
367.83/367.99	c  367s |      21 |  1359597 |  1191545 |     1153   2298 |        0 |        0
369.93/370.02	c  370s |      21 |  1367367 |  1198145 |     1153   2308 |        0 |        0
371.93/372.03	c  372s |      21 |  1374528 |  1204345 |     1153   2317 |        0 |        0
373.94/374.06	c  374s |      21 |  1381167 |  1210345 |     1153   2327 |        0 |        0
375.93/376.08	c  376s |      21 |  1388300 |  1216645 |     1153   2336 |        0 |        0
378.03/378.10	c  378s |      21 |  1395308 |  1222945 |     1153   2346 |        0 |        0
380.03/380.13	c  380s |      21 |  1402354 |  1229145 |     1153   2356 |        0 |        0
382.03/382.17	c  382s |      21 |  1409232 |  1235345 |     1153   2366 |        0 |        0
384.03/384.17	c  384s |      21 |  1416569 |  1241645 |     1153   2375 |        0 |        0
386.03/386.19	c  386s |      21 |  1423938 |  1248145 |     1153   2386 |        0 |        0
388.14/388.23	c  388s |      21 |  1431394 |  1254545 |     1153   2396 |        0 |        0
390.13/390.26	c  390s |      21 |  1437929 |  1260345 |     1153   2405 |        0 |        0
392.13/392.29	c  392s |      21 |  1444478 |  1266145 |     1153   2414 |        0 |        0
394.23/394.30	c  394s |      21 |  1451145 |  1271945 |     1153   2423 |        0 |        0
396.23/396.34	c  396s |      21 |  1458466 |  1278345 |     1153   2432 |        0 |        0
398.24/398.36	c  398s |      21 |  1465108 |  1284045 |     1153   2441 |        0 |        0
400.23/400.39	c  400s |      21 |  1471573 |  1289745 |     1153   2450 |        0 |        0
402.33/402.41	c  402s |      21 |  1477229 |  1294845 |     1153   2458 |        0 |        0
404.33/404.43	c  404s |      21 |  1483141 |  1300145 |     1153   2466 |        0 |        0
406.33/406.45	c  406s |      21 |  1489037 |  1305345 |     1153   2474 |        0 |        0
408.33/408.47	c  408s |      21 |  1495661 |  1311045 |     1153   2483 |        0 |        0
410.33/410.49	c  410s |      21 |  1502919 |  1317045 |     1153   2492 |        0 |        0
412.43/412.52	c  412s |      21 |  1509561 |  1322945 |     1153   2501 |        0 |        0
414.43/414.53	c  414s |      21 |  1515991 |  1328745 |     1153   2511 |        0 |        0
416.43/416.55	c  416s |      21 |  1522856 |  1334645 |     1153   2520 |        0 |        0
418.42/418.57	c  418s |      21 |  1530431 |  1341045 |     1153   2530 |        0 |        0
420.52/420.60	c  420s |      21 |  1537710 |  1347345 |     1153   2539 |        0 |        0
422.52/422.63	c  422s |      21 |  1544802 |  1353245 |     1153   2549 |        0 |        0
424.53/424.64	c  424s |      21 |  1551632 |  1359045 |     1153   2557 |        0 |        0
426.52/426.64	c  426s |      21 |  1558506 |  1364945 |     1153   2567 |        0 |        0
428.52/428.67	c  428s |      21 |  1566054 |  1371145 |     1153   2576 |        0 |        0
430.52/430.67	c  430s |      21 |  1572951 |  1376945 |     1153   2585 |        0 |        0
432.52/432.68	c  432s |      21 |  1579710 |  1382645 |     1153   2594 |        0 |        0
434.62/434.71	c  434s |      21 |  1586814 |  1388545 |     1153   2603 |        0 |        0
436.63/436.71	c  436s |      21 |  1593249 |  1394145 |     1153   2612 |        0 |        0
438.62/438.74	c  438s |      21 |  1599931 |  1400045 |     1153   2621 |        0 |        0
440.63/440.75	c  440s |      21 |  1606190 |  1405545 |     1153   2630 |        0 |        0
442.63/442.76	c  442s |      21 |  1612814 |  1411345 |     1153   2639 |        0 |        0
444.63/444.78	c  444s |      21 |  1619619 |  1417245 |     1153   2648 |        0 |        0
446.73/446.81	c  446s |      21 |  1626489 |  1423245 |     1153   2657 |        0 |        0
448.73/448.82	c  448s |      21 |  1633384 |  1429245 |     1153   2667 |        0 |        0
450.72/450.83	c  450s |      21 |  1639931 |  1434945 |     1153   2676 |        0 |        0
452.72/452.84	c  452s |      21 |  1646679 |  1440745 |     1153   2685 |        0 |        0
454.72/454.85	c  454s |      21 |  1652849 |  1446345 |     1153   2694 |        0 |        0
456.72/456.85	c  456s |      21 |  1660175 |  1452645 |     1153   2703 |        0 |        0
458.73/458.88	c  458s |      21 |  1667267 |  1458745 |     1153   2713 |        0 |        0
460.72/460.90	c  460s |      21 |  1674734 |  1465145 |     1153   2723 |        0 |        0
462.82/462.91	c  462s |      21 |  1681863 |  1471445 |     1153   2733 |        0 |        0
464.82/464.93	c  464s |      21 |  1688337 |  1477345 |     1153   2742 |        0 |        0
466.82/466.95	c  466s |      21 |  1694508 |  1483045 |     1153   2751 |        0 |        0
468.82/468.95	c  468s |      21 |  1700858 |  1488945 |     1153   2761 |        0 |        0
470.83/470.98	c  470s |      21 |  1707896 |  1494945 |     1269   2769 |        0 |        0
472.72/472.83	c  472s |      22 |  1714429 |  1500622 |     1269   2777 |        0 |        0
474.72/474.86	c  474s |      22 |  1723037 |  1508522 |     1269   2788 |        0 |        0
476.72/476.86	c  476s |      22 |  1730520 |  1515522 |     1269   2798 |        0 |        0
478.72/478.88	c  478s |      22 |  1737928 |  1522422 |     1269   2807 |        0 |        0
480.73/480.89	c  480s |      22 |  1745258 |  1529322 |     1269   2817 |        0 |        0
482.82/482.91	c  482s |      22 |  1752295 |  1535922 |     1269   2826 |        0 |        0
484.82/484.93	c  484s |      22 |  1759162 |  1542322 |     1269   2835 |        0 |        0
486.82/486.94	c  486s |      22 |  1766452 |  1549122 |     1269   2844 |        0 |        0
488.82/488.96	c  488s |      22 |  1774311 |  1556322 |     1269   2854 |        0 |        0
490.82/490.98	c  490s |      22 |  1782464 |  1563722 |     1269   2864 |        0 |        0
492.82/492.99	c  492s |      22 |  1790170 |  1570922 |     1269   2874 |        0 |        0
494.82/495.00	c  494s |      22 |  1797939 |  1578022 |     1269   2884 |        0 |        0
496.92/497.03	c  497s |      22 |  1805604 |  1584822 |     1269   2893 |        0 |        0
498.92/499.04	c  499s |      22 |  1813030 |  1591622 |     1269   2903 |        0 |        0
500.91/501.06	c  501s |      22 |  1819491 |  1597722 |     1269   2911 |        0 |        0
502.91/503.07	c  503s |      22 |  1826592 |  1604122 |     1269   2920 |        0 |        0
504.92/505.07	c  505s |      22 |  1834709 |  1611622 |     1269   2930 |        0 |        0
506.91/507.09	c  507s |      22 |  1842324 |  1618622 |     1269   2940 |        0 |        0
509.01/509.10	c  509s |      22 |  1849399 |  1625222 |     1269   2949 |        0 |        0
511.01/511.10	c  511s |      22 |  1856476 |  1631822 |     1269   2958 |        0 |        0
513.01/513.13	c  513s |      22 |  1863609 |  1638422 |     1269   2968 |        0 |        0
515.01/515.15	c  515s |      22 |  1870336 |  1644722 |     1269   2976 |        0 |        0
517.02/517.19	c  517s |      22 |  1877510 |  1651422 |     1269   2986 |        0 |        0
519.12/519.22	c  519s |      22 |  1884165 |  1657722 |     1269   2994 |        0 |        0
521.11/521.23	c  521s |      22 |  1890745 |  1663822 |     1269   3003 |        0 |        0
523.11/523.24	c  523s |      22 |  1897913 |  1670522 |     1269   3012 |        0 |        0
525.11/525.24	c  525s |      22 |  1904967 |  1677122 |     1269   3021 |        0 |        0
527.11/527.28	c  527s |      22 |  1912075 |  1683722 |     1269   3030 |        0 |        0
529.12/529.28	c  529s |      22 |  1919374 |  1690422 |     1269   3040 |        0 |        0
531.11/531.29	c  531s |      22 |  1926381 |  1696822 |     1269   3048 |        0 |        0
533.21/533.30	c  533s |      22 |  1932676 |  1702622 |     1269   3056 |        0 |        0
535.21/535.32	c  535s |      22 |  1938697 |  1708222 |     1269   3064 |        0 |        0
537.21/537.35	c  537s |      22 |  1944285 |  1713422 |     1269   3071 |        0 |        0
539.21/539.39	c  539s |      22 |  1950017 |  1718722 |     1269   3079 |        0 |        0
541.31/541.40	c  541s |      22 |  1955514 |  1723822 |     1269   3086 |        0 |        0
543.31/543.41	c  543s |      22 |  1960485 |  1728522 |     1269   3092 |        0 |        0
545.31/545.44	c  545s |      22 |  1966880 |  1734422 |     1269   3100 |        0 |        0
547.31/547.44	c  547s |      22 |  1972868 |  1740022 |     1269   3108 |        0 |        0
549.31/549.46	c  549s |      22 |  1978529 |  1745322 |     1269   3116 |        0 |        0
551.31/551.49	c  551s |      22 |  1983887 |  1750422 |     1269   3123 |        0 |        0
553.40/553.51	c  553s |      22 |  1990266 |  1756422 |     1269   3131 |        0 |        0
555.41/555.54	c  555s |      22 |  1996925 |  1762722 |     1269   3139 |        0 |        0
557.40/557.56	c  557s |      22 |  2002809 |  1768322 |     1269   3147 |        0 |        0
559.40/559.59	c  559s |      22 |  2009172 |  1774322 |     1269   3156 |        0 |        0
561.50/561.60	c  561s |      22 |  2015391 |  1780222 |     1269   3164 |        0 |        0
563.50/563.62	c  563s |      22 |  2021700 |  1786122 |     1269   3172 |        0 |        0
565.50/565.65	c  565s |      22 |  2027699 |  1791722 |     1269   3179 |        0 |        0
567.51/567.66	c  567s |      22 |  2033605 |  1797222 |     1269   3187 |        0 |        0
569.50/569.67	c  569s |      22 |  2040607 |  1803822 |     1269   3196 |        0 |        0
571.50/571.69	c  571s |      22 |  2046978 |  1809822 |     1269   3204 |        0 |        0
573.60/573.70	c  573s |      22 |  2053289 |  1815722 |     1269   3213 |        0 |        0
575.60/575.72	c  575s |      22 |  2059745 |  1821822 |     1269   3221 |        0 |        0
577.60/577.75	c  577s |      22 |  2065984 |  1827622 |     1269   3229 |        0 |        0
579.60/579.78	c  579s |      22 |  2072769 |  1833922 |     1269   3238 |        0 |        0
581.60/581.78	c  581s |      22 |  2079558 |  1840122 |     1269   3246 |        0 |        0
583.60/583.79	c  583s |      22 |  2086063 |  1846122 |     1269   3254 |        0 |        0
585.71/585.82	c  585s |      22 |  2092281 |  1851822 |     1269   3262 |        0 |        0
587.70/587.83	c  587s |      22 |  2098275 |  1857422 |     1269   3270 |        0 |        0
589.70/589.84	c  589s |      22 |  2104289 |  1863122 |     1269   3278 |        0 |        0
591.71/591.85	c  591s |      22 |  2110392 |  1868822 |     1269   3286 |        0 |        0
593.70/593.86	c  593s |      22 |  2116251 |  1874322 |     1269   3293 |        0 |        0
595.70/595.88	c  595s |      22 |  2121742 |  1879522 |     1269   3301 |        0 |        0
597.80/597.90	c  597s |      22 |  2127366 |  1884822 |     1269   3308 |        0 |        0
599.80/599.94	c  599s |      22 |  2133077 |  1890222 |     1269   3315 |        0 |        0
601.80/601.94	c  601s |      22 |  2139132 |  1895922 |     1269   3323 |        0 |        0
603.81/603.95	c  603s |      22 |  2145210 |  1901622 |     1269   3331 |        0 |        0
605.80/605.98	c  605s |      22 |  2150982 |  1907022 |     1269   3339 |        0 |        0
607.80/608.00	c  607s |      22 |  2157178 |  1912822 |     1269   3347 |        0 |        0
609.90/610.00	c  609s |      22 |  2163691 |  1918822 |     1269   3355 |        0 |        0
611.90/612.03	c  612s |      22 |  2170451 |  1925222 |     1269   3364 |        0 |        0
613.90/614.05	c  614s |      22 |  2176945 |  1931322 |     1269   3372 |        0 |        0
615.91/616.07	c  616s |      22 |  2182931 |  1936922 |     1269   3380 |        0 |        0
617.90/618.09	c  618s |      22 |  2189389 |  1942922 |     1269   3388 |        0 |        0
620.00/620.10	c  620s |      22 |  2196060 |  1949122 |     1269   3397 |        0 |        0
622.00/622.11	c  622s |      22 |  2202422 |  1955122 |     1269   3405 |        0 |        0
624.00/624.11	c  624s |      22 |  2208792 |  1961022 |     1269   3413 |        0 |        0
626.00/626.14	c  626s |      22 |  2214957 |  1966722 |     1269   3421 |        0 |        0
628.00/628.14	c  628s |      22 |  2221121 |  1972422 |     1269   3429 |        0 |        0
630.00/630.17	c  630s |      22 |  2227519 |  1978422 |     1269   3438 |        0 |        0
631.99/632.18	c  632s |      22 |  2233492 |  1983922 |     1269   3445 |        0 |        0
634.09/634.20	c  634s |      22 |  2239518 |  1989422 |     1269   3453 |        0 |        0
636.09/636.21	c  636s |      22 |  2245749 |  1995122 |     1269   3461 |        0 |        0
638.09/638.21	c  638s |      22 |  2251603 |  2000522 |     1269   3468 |        0 |        0
640.10/640.24	c  640s |      22 |  2257337 |  2005822 |     1269   3476 |        0 |        0
642.09/642.25	c  642s |      22 |  2263409 |  2011522 |     1269   3484 |        0 |        0
644.09/644.27	c  644s |      22 |  2269876 |  2017522 |     1269   3492 |        0 |        0
646.09/646.29	c  646s |      22 |  2276121 |  2023322 |     1269   3500 |        0 |        0
648.19/648.33	c  648s |      22 |  2281498 |  2028322 |     1269   3507 |        0 |        0
650.19/650.36	c  650s |      22 |  2286659 |  2033222 |     1269   3514 |        0 |        0
652.20/652.38	c  652s |      22 |  2292196 |  2038422 |     1269   3521 |        0 |        0
654.19/654.39	c  654s |      22 |  2297157 |  2043122 |     1269   3528 |        0 |        0
656.29/656.43	c  656s |      22 |  2302063 |  2047822 |     1269   3534 |        0 |        0
658.29/658.44	c  658s |      22 |  2307994 |  2053322 |     1269   3542 |        0 |        0
660.29/660.47	c  660s |      22 |  2313423 |  2058422 |     1269   3549 |        0 |        0
662.39/662.51	c  662s |      22 |  2318515 |  2063222 |     1269   3556 |        0 |        0
664.40/664.54	c  664s |      22 |  2324323 |  2068622 |     1269   3563 |        0 |        0
666.39/666.55	c  666s |      22 |  2329472 |  2073422 |     1269   3570 |        0 |        0
668.39/668.59	c  668s |      22 |  2335279 |  2078722 |     1269   3577 |        0 |        0
670.49/670.62	c  670s |      22 |  2340822 |  2083822 |     1269   3584 |        0 |        0
672.49/672.65	c  672s |      22 |  2347060 |  2089522 |     1269   3592 |        0 |        0
674.49/674.66	c  674s |      22 |  2352908 |  2094822 |     1269   3599 |        0 |        0
676.49/676.67	c  676s |      22 |  2358108 |  2099722 |     1269   3606 |        0 |        0
678.59/678.71	c  678s |      22 |  2363559 |  2104822 |     1269   3613 |        0 |        0
680.59/680.74	c  680s |      22 |  2368534 |  2109422 |     1269   3620 |        0 |        0
682.59/682.74	c  682s |      22 |  2373199 |  2113822 |     1269   3626 |        0 |        0
684.58/684.77	c  684s |      22 |  2378429 |  2118722 |     1269   3633 |        0 |        0
686.58/686.79	c  686s |      22 |  2384545 |  2124322 |     1269   3640 |        0 |        0
688.68/688.80	c  688s |      22 |  2389864 |  2129222 |     1269   3647 |        0 |        0
690.69/690.84	c  690s |      22 |  2395649 |  2134622 |     1269   3655 |        0 |        0
692.68/692.86	c  692s |      22 |  2400761 |  2139422 |     1269   3661 |        0 |        0
694.78/694.90	c  694s |      22 |  2405955 |  2144222 |     1269   3668 |        0 |        0
696.78/696.92	c  696s |      22 |  2410828 |  2148822 |     1269   3674 |        0 |        0
698.78/698.95	c  698s |      22 |  2416303 |  2153922 |     1269   3681 |        0 |        0
700.78/700.95	c  700s |      22 |  2422671 |  2159822 |     1269   3689 |        0 |        0
702.79/702.98	c  702s |      22 |  2428987 |  2165722 |     1269   3698 |        0 |        0
704.78/704.99	c  704s |      22 |  2434857 |  2171222 |     1269   3705 |        0 |        0
706.88/707.02	c  707s |      22 |  2440390 |  2176322 |     1269   3712 |        0 |        0
708.88/709.05	c  709s |      22 |  2446135 |  2181622 |     1269   3720 |        0 |        0
710.87/711.08	c  711s |      22 |  2451330 |  2186522 |     1269   3727 |        0 |        0
712.97/713.13	c  713s |      22 |  2456538 |  2191422 |     1269   3733 |        0 |        0
714.98/715.14	c  715s |      22 |  2461211 |  2195822 |     1269   3740 |        0 |        0
716.97/717.19	c  717s |      22 |  2466644 |  2200922 |     1269   3747 |        0 |        0
719.07/719.21	c  719s |      22 |  2471526 |  2205522 |     1269   3753 |        0 |        0
721.07/721.25	c  721s |      22 |  2477003 |  2210622 |     1269   3760 |        0 |        0
723.07/723.26	c  723s |      22 |  2482086 |  2215422 |     1269   3767 |        0 |        0
725.07/725.28	c  725s |      22 |  2487830 |  2220822 |     1269   3774 |        0 |        0
727.08/727.29	c  727s |      22 |  2493253 |  2225922 |     1269   3781 |        0 |        0
729.07/729.30	c  729s |      22 |  2498451 |  2230822 |     1269   3788 |        0 |        0
731.17/731.31	c  731s |      22 |  2504170 |  2236222 |     1396   3795 |        0 |        0
733.17/733.35	c  733s |      22 |  2510245 |  2241922 |     1396   3803 |        0 |        0
735.17/735.39	c  735s |      22 |  2515998 |  2247322 |     1396   3809 |        0 |        0
736.67/736.81	c  736s |      23 |  2519977 |  2251038 |     1396   3814 |        0 |        0
738.66/738.83	c  738s |      23 |  2527915 |  2258238 |     1396   3823 |        0 |        0
740.66/740.84	c  740s |      23 |  2535234 |  2264938 |     1396   3831 |        0 |        0
742.66/742.85	c  742s |      23 |  2542350 |  2271438 |     1396   3840 |        0 |        0
744.66/744.89	c  744s |      23 |  2549305 |  2277638 |     1396   3847 |        0 |        0
746.76/746.91	c  746s |      23 |  2555652 |  2283438 |     1396   3855 |        0 |        0
748.75/748.93	c  748s |      23 |  2561930 |  2289138 |     1396   3862 |        0 |        0
750.75/750.93	c  750s |      23 |  2568258 |  2294938 |     1396   3869 |        0 |        0
752.75/752.95	c  752s |      23 |  2574089 |  2300338 |     1396   3876 |        0 |        0
754.75/754.97	c  754s |      23 |  2579834 |  2305638 |     1396   3882 |        0 |        0
756.76/756.98	c  756s |      23 |  2585672 |  2311038 |     1396   3889 |        0 |        0
758.85/759.01	c  758s |      23 |  2591730 |  2316638 |     1396   3896 |        0 |        0
760.84/761.03	c  761s |      23 |  2597619 |  2322038 |     1396   3903 |        0 |        0
762.84/763.07	c  763s |      23 |  2603091 |  2327138 |     1396   3909 |        0 |        0
764.84/765.08	c  765s |      23 |  2608662 |  2332238 |     1396   3916 |        0 |        0
766.84/767.09	c  767s |      23 |  2614557 |  2337638 |     1396   3923 |        0 |        0
768.94/769.11	c  769s |      23 |  2620214 |  2342838 |     1396   3929 |        0 |        0
770.94/771.13	c  771s |      23 |  2625775 |  2348038 |     1396   3936 |        0 |        0
772.94/773.16	c  773s |      23 |  2632477 |  2354138 |     1396   3943 |        0 |        0
774.94/775.17	c  775s |      23 |  2638729 |  2359838 |     1396   3950 |        0 |        0
777.03/777.21	c  777s |      23 |  2644782 |  2365438 |     1396   3957 |        0 |        0
779.03/779.21	c  779s |      23 |  2651002 |  2371038 |     1396   3964 |        0 |        0
781.03/781.22	c  781s |      23 |  2656791 |  2376338 |     1396   3971 |        0 |        0
783.05/783.23	c  783s |      23 |  2662096 |  2381238 |     1396   3977 |        0 |        0
785.04/785.25	c  785s |      23 |  2667651 |  2386338 |     1396   3984 |        0 |        0
787.03/787.27	c  787s |      23 |  2673317 |  2391638 |     1396   3990 |        0 |        0
789.03/789.27	c  789s |      23 |  2679364 |  2397238 |     1396   3997 |        0 |        0
791.03/791.28	c  791s |      23 |  2685848 |  2403238 |     1396   4005 |        0 |        0
793.13/793.31	c  793s |      23 |  2692490 |  2409338 |     1396   4013 |        0 |        0
795.14/795.31	c  795s |      23 |  2698677 |  2415038 |     1396   4020 |        0 |        0
797.12/797.33	c  797s |      23 |  2704568 |  2420538 |     1396   4027 |        0 |        0
799.12/799.36	c  799s |      23 |  2710734 |  2426238 |     1396   4034 |        0 |        0
801.12/801.39	c  801s |      23 |  2716953 |  2432038 |     1396   4041 |        0 |        0
803.22/803.43	c  803s |      23 |  2723090 |  2437738 |     1396   4048 |        0 |        0
805.22/805.47	c  805s |      23 |  2728837 |  2443038 |     1396   4055 |        0 |        0
807.22/807.47	c  807s |      23 |  2733962 |  2447838 |     1396   4061 |        0 |        0
809.22/809.47	c  809s |      23 |  2739689 |  2453138 |     1396   4067 |        0 |        0
811.31/811.50	c  811s |      23 |  2746279 |  2459038 |     1396   4075 |        0 |        0
813.31/813.50	c  813s |      23 |  2752502 |  2464638 |     1396   4082 |        0 |        0
815.31/815.51	c  815s |      23 |  2758793 |  2470338 |     1396   4089 |        0 |        0
817.31/817.55	c  817s |      23 |  2765154 |  2476138 |     1396   4096 |        0 |        0
819.31/819.58	c  819s |      23 |  2771090 |  2481638 |     1396   4103 |        0 |        0
821.40/821.61	c  821s |      23 |  2776904 |  2487038 |     1396   4110 |        0 |        0
823.40/823.63	c  823s |      23 |  2782448 |  2492138 |     1396   4116 |        0 |        0
825.40/825.65	c  825s |      23 |  2788495 |  2497738 |     1396   4123 |        0 |        0
827.40/827.67	c  827s |      23 |  2794079 |  2502938 |     1396   4130 |        0 |        0
829.40/829.68	c  829s |      23 |  2799936 |  2508338 |     1396   4137 |        0 |        0
831.41/831.70	c  831s |      23 |  2805768 |  2513738 |     1396   4143 |        0 |        0
833.51/833.72	c  833s |      23 |  2811679 |  2519238 |     1396   4150 |        0 |        0
835.51/835.75	c  835s |      23 |  2817477 |  2524638 |     1396   4157 |        0 |        0
837.50/837.77	c  837s |      23 |  2823090 |  2529838 |     1396   4164 |        0 |        0
839.50/839.79	c  839s |      23 |  2828349 |  2534738 |     1396   4170 |        0 |        0
841.60/841.81	c  841s |      23 |  2834289 |  2540138 |     1396   4176 |        0 |        0
843.61/843.84	c  843s |      23 |  2839565 |  2545038 |     1396   4183 |        0 |        0
845.60/845.85	c  845s |      23 |  2844750 |  2549838 |     1396   4189 |        0 |        0
847.60/847.86	c  847s |      23 |  2850999 |  2555438 |     1396   4196 |        0 |        0
849.60/849.86	c  849s |      23 |  2856546 |  2560538 |     1396   4202 |        0 |        0
851.60/851.87	c  851s |      23 |  2861984 |  2565538 |     1396   4208 |        0 |        0
853.70/853.90	c  853s |      23 |  2867193 |  2570338 |     1396   4214 |        0 |        0
855.70/855.93	c  855s |      23 |  2872049 |  2574838 |     1396   4220 |        0 |        0
857.69/857.94	c  857s |      23 |  2876821 |  2579338 |     1396   4226 |        0 |        0
859.69/859.98	c  859s |      23 |  2881508 |  2583738 |     1396   4231 |        0 |        0
861.79/862.01	c  862s |      23 |  2887951 |  2589638 |     1396   4239 |        0 |        0
863.79/864.02	c  864s |      23 |  2893747 |  2594938 |     1396   4245 |        0 |        0
865.79/866.06	c  866s |      23 |  2899635 |  2600338 |     1396   4252 |        0 |        0
867.79/868.08	c  868s |      23 |  2905333 |  2605638 |     1396   4259 |        0 |        0
869.78/870.09	c  870s |      23 |  2911316 |  2611138 |     1396   4266 |        0 |        0
871.78/872.09	c  872s |      23 |  2916907 |  2616338 |     1396   4272 |        0 |        0
873.88/874.10	c  874s |      23 |  2922183 |  2621238 |     1396   4278 |        0 |        0
875.88/876.11	c  876s |      23 |  2927319 |  2626038 |     1396   4284 |        0 |        0
877.87/878.12	c  878s |      23 |  2932161 |  2630538 |     1396   4290 |        0 |        0
879.88/880.12	c  880s |      23 |  2937180 |  2635138 |     1396   4296 |        0 |        0
881.87/882.16	c  882s |      23 |  2942275 |  2639838 |     1396   4302 |        0 |        0
883.87/884.19	c  884s |      23 |  2947289 |  2644438 |     1396   4308 |        0 |        0
885.97/886.21	c  886s |      23 |  2952387 |  2649138 |     1396   4313 |        0 |        0
887.97/888.24	c  888s |      23 |  2957450 |  2653738 |     1396   4319 |        0 |        0
889.97/890.26	c  890s |      23 |  2962387 |  2658238 |     1396   4325 |        0 |        0
892.07/892.30	c  892s |      23 |  2967563 |  2663038 |     1396   4331 |        0 |        0
894.08/894.31	c  894s |      23 |  2973279 |  2668238 |     1396   4337 |        0 |        0
896.07/896.33	c  896s |      23 |  2979521 |  2674038 |     1396   4345 |        0 |        0
898.06/898.36	c  898s |      23 |  2985437 |  2679538 |     1396   4351 |        0 |        0
900.06/900.39	c  900s |      23 |  2991137 |  2684838 |     1396   4358 |        0 |        0
902.16/902.43	c  902s |      23 |  2996710 |  2690038 |     1396   4365 |        0 |        0
904.16/904.46	c  904s |      23 |  3002398 |  2695338 |     1396   4371 |        0 |        0
906.17/906.48	c  906s |      23 |  3008633 |  2700938 |     1396   4378 |        0 |        0
908.25/908.52	c  908s |      23 |  3015941 |  2707338 |     1396   4386 |        0 |        0
910.25/910.54	c  910s |      23 |  3022329 |  2713038 |     1396   4393 |        0 |        0
912.25/912.56	c  912s |      23 |  3029107 |  2719038 |     1396   4401 |        0 |        0
914.25/914.57	c  914s |      23 |  3036233 |  2725138 |     1396   4409 |        0 |        0
916.25/916.60	c  916s |      23 |  3042524 |  2730738 |     1396   4416 |        0 |        0
918.36/918.60	c  918s |      23 |  3048706 |  2736238 |     1396   4422 |        0 |        0
920.35/920.61	c  920s |      23 |  3054618 |  2741538 |     1396   4429 |        0 |        0
922.35/922.65	c  922s |      23 |  3060130 |  2746538 |     1396   4435 |        0 |        0
924.35/924.67	c  924s |      23 |  3065574 |  2751438 |     1396   4442 |        0 |        0
926.35/926.69	c  926s |      23 |  3071126 |  2756338 |     1396   4448 |        0 |        0
928.34/928.69	c  928s |      23 |  3076671 |  2761238 |     1396   4454 |        0 |        0
930.35/930.70	c  930s |      23 |  3082565 |  2766638 |     1396   4461 |        0 |        0
932.44/932.71	c  932s |      23 |  3087967 |  2771538 |     1396   4467 |        0 |        0
934.44/934.74	c  934s |      23 |  3093369 |  2776438 |     1396   4473 |        0 |        0
936.44/936.76	c  936s |      23 |  3099095 |  2781738 |     1396   4480 |        0 |        0
938.43/938.77	c  938s |      23 |  3104574 |  2786838 |     1396   4486 |        0 |        0
940.53/940.81	c  940s |      23 |  3109573 |  2791438 |     1396   4492 |        0 |        0
942.54/942.81	c  942s |      23 |  3114352 |  2795938 |     1396   4498 |        0 |        0
944.54/944.85	c  944s |      23 |  3120294 |  2801438 |     1396   4504 |        0 |        0
946.54/946.85	c  946s |      23 |  3125481 |  2806338 |     1396   4511 |        0 |        0
948.53/948.89	c  948s |      23 |  3130606 |  2811138 |     1396   4517 |        0 |        0
950.63/950.90	c  950s |      23 |  3135287 |  2815538 |     1396   4522 |        0 |        0
952.63/952.91	c  952s |      23 |  3140926 |  2820738 |     1396   4529 |        0 |        0
954.64/954.95	c  954s |      23 |  3145855 |  2825338 |     1396   4535 |        0 |        0
956.63/956.97	c  956s |      23 |  3150623 |  2829738 |     1396   4540 |        0 |        0
958.63/958.98	c  958s |      23 |  3155658 |  2834338 |     1396   4546 |        0 |        0
960.63/960.99	c  960s |      23 |  3161156 |  2839338 |     1396   4552 |        0 |        0
962.73/963.01	c  962s |      23 |  3166050 |  2843838 |     1396   4558 |        0 |        0
964.72/965.04	c  965s |      23 |  3170410 |  2847938 |     1396   4563 |        0 |        0
966.73/967.05	c  967s |      23 |  3175645 |  2852838 |     1396   4569 |        0 |        0
968.72/969.06	c  969s |      23 |  3182015 |  2858738 |     1396   4576 |        0 |        0
970.72/971.07	c  971s |      23 |  3188229 |  2864438 |     1396   4584 |        0 |        0
972.72/973.09	c  973s |      23 |  3194066 |  2869838 |     1396   4590 |        0 |        0
974.82/975.11	c  975s |      23 |  3199809 |  2875138 |     1396   4597 |        0 |        0
976.82/977.13	c  977s |      23 |  3205763 |  2880638 |     1396   4604 |        0 |        0
978.82/979.14	c  979s |      23 |  3211573 |  2885938 |     1396   4611 |        0 |        0
980.81/981.17	c  981s |      23 |  3217056 |  2891038 |     1396   4617 |        0 |        0
982.81/983.19	c  983s |      23 |  3223065 |  2896538 |     1396   4624 |        0 |        0
984.91/985.21	c  985s |      23 |  3228797 |  2901738 |     1396   4630 |        0 |        0
986.91/987.23	c  987s |      23 |  3234597 |  2907038 |     1396   4637 |        0 |        0
988.91/989.27	c  989s |      23 |  3239736 |  2911838 |     1396   4643 |        0 |        0
990.91/991.28	c  991s |      23 |  3245349 |  2917038 |     1396   4650 |        0 |        0
993.01/993.31	c  993s |      23 |  3251559 |  2922838 |     1396   4657 |        0 |        0
995.00/995.32	c  995s |      23 |  3257593 |  2928438 |     1396   4664 |        0 |        0
997.00/997.35	c  997s |      23 |  3263865 |  2934338 |     1396   4671 |        0 |        0
999.00/999.35	c  999s |      23 |  3269743 |  2939838 |     1396   4678 |        0 |        0
1001.00/1001.36	c 1001s |      23 |  3275792 |  2945438 |     1396   4685 |        0 |        0
1003.00/1003.36	c 1003s |      23 |  3281108 |  2950438 |     1396   4692 |        0 |        0
1005.00/1005.37	c 1005s |      23 |  3286686 |  2955538 |     1396   4698 |        0 |        0
1006.99/1007.38	c 1007s |      23 |  3293122 |  2961438 |     1396   4706 |        0 |        0
1009.09/1009.41	c 1009s |      23 |  3299233 |  2967138 |     1396   4713 |        0 |        0
1011.09/1011.43	c 1011s |      23 |  3304964 |  2972538 |     1396   4719 |        0 |        0
1013.09/1013.46	c 1013s |      23 |  3310916 |  2978038 |     1396   4726 |        0 |        0
1015.09/1015.46	c 1015s |      23 |  3316552 |  2983138 |     1396   4733 |        0 |        0
1017.08/1017.47	c 1017s |      23 |  3321850 |  2988038 |     1396   4739 |        0 |        0
1019.08/1019.49	c 1019s |      23 |  3326824 |  2992638 |     1396   4745 |        0 |        0
1021.18/1021.52	c 1021s |      23 |  3332531 |  2997938 |     1396   4751 |        0 |        0
1023.18/1023.55	c 1023s |      23 |  3338051 |  3003138 |     1396   4758 |        0 |        0
1025.18/1025.59	c 1025s |      23 |  3343302 |  3008038 |     1396   4764 |        0 |        0
1027.27/1027.60	c 1027s |      23 |  3348604 |  3012938 |     1396   4770 |        0 |        0
1029.28/1029.61	c 1029s |      23 |  3353709 |  3017638 |     1396   4776 |        0 |        0
1031.27/1031.63	c 1031s |      23 |  3358618 |  3022238 |     1396   4782 |        0 |        0
1033.27/1033.64	c 1033s |      23 |  3363740 |  3026938 |     1396   4788 |        0 |        0
1035.27/1035.68	c 1035s |      23 |  3369793 |  3032438 |     1396   4795 |        0 |        0
1037.37/1037.72	c 1037s |      23 |  3375558 |  3037638 |     1396   4801 |        0 |        0
1039.37/1039.75	c 1039s |      23 |  3380780 |  3042438 |     1396   4807 |        0 |        0
1041.37/1041.79	c 1041s |      23 |  3386207 |  3047238 |     1396   4813 |        0 |        0
1043.47/1043.80	c 1043s |      23 |  3391139 |  3051638 |     1396   4819 |        0 |        0
1045.47/1045.83	c 1045s |      23 |  3396110 |  3056138 |     1396   4824 |        0 |        0
1047.46/1047.85	c 1047s |      23 |  3400629 |  3060238 |     1396   4830 |        0 |        0
1049.46/1049.85	c 1049s |      23 |  3405518 |  3064738 |     1396   4835 |        0 |        0
1051.46/1051.86	c 1051s |      23 |  3410189 |  3069038 |     1396   4841 |        0 |        0
1053.48/1053.87	c 1053s |      23 |  3416953 |  3075138 |     1396   4848 |        0 |        0
1055.47/1055.88	c 1055s |      23 |  3423415 |  3081038 |     1396   4856 |        0 |        0
1057.47/1057.89	c 1057s |      23 |  3429459 |  3086538 |     1396   4863 |        0 |        0
1059.47/1059.89	c 1059s |      23 |  3435354 |  3091938 |     1396   4869 |        0 |        0
1061.56/1061.91	c 1061s |      23 |  3441692 |  3097438 |     1396   4876 |        0 |        0
1063.56/1063.93	c 1063s |      23 |  3448343 |  3103438 |     1396   4884 |        0 |        0
1065.57/1065.93	c 1065s |      23 |  3454307 |  3108938 |     1396   4891 |        0 |        0
1067.56/1067.95	c 1067s |      23 |  3460603 |  3114638 |     1396   4898 |        0 |        0
1069.56/1069.99	c 1069s |      23 |  3467028 |  3120438 |     1396   4905 |        0 |        0
1071.56/1071.99	c 1071s |      23 |  3472888 |  3125738 |     1396   4912 |        0 |        0
1073.66/1074.03	c 1074s |      23 |  3478875 |  3131138 |     1396   4919 |        0 |        0
1075.66/1076.05	c 1076s |      23 |  3484496 |  3136238 |     1396   4925 |        0 |        0
1077.66/1078.06	c 1078s |      23 |  3490145 |  3141438 |     1396   4932 |        0 |        0
1079.65/1080.07	c 1080s |      23 |  3495785 |  3146638 |     1396   4938 |        0 |        0
1081.75/1082.10	c 1082s |      23 |  3501964 |  3152338 |     1396   4946 |        0 |        0
1083.75/1084.11	c 1084s |      23 |  3508141 |  3158038 |     1396   4953 |        0 |        0
1085.75/1086.11	c 1086s |      23 |  3514263 |  3163538 |     1396   4960 |        0 |        0
1087.74/1088.11	c 1088s |      23 |  3520227 |  3168938 |     1396   4967 |        0 |        0
1089.75/1090.13	c 1090s |      23 |  3526038 |  3174138 |     1396   4973 |        0 |        0
1091.74/1092.14	c 1092s |      23 |  3531842 |  3179338 |     1396   4980 |        0 |        0
1093.74/1094.18	c 1094s |      23 |  3537030 |  3184138 |     1396   4986 |        0 |        0
1095.84/1096.21	c 1096s |      23 |  3542711 |  3189338 |     1396   4992 |        0 |        0
1097.84/1098.22	c 1098s |      23 |  3549380 |  3195438 |     1396   5000 |        0 |        0
1099.84/1100.26	c 1100s |      23 |  3555878 |  3201438 |     1396   5008 |        0 |        0
1101.84/1102.28	c 1102s |      23 |  3562255 |  3207238 |     1396   5015 |        0 |        0
1103.94/1104.30	c 1104s |      23 |  3568128 |  3212638 |     1396   5022 |        0 |        0
1105.93/1106.33	c 1106s |      23 |  3574079 |  3218038 |     1396   5029 |        0 |        0
1107.93/1108.34	c 1108s |      23 |  3580101 |  3223538 |     1396   5036 |        0 |        0
1109.93/1110.35	c 1110s |      23 |  3586032 |  3228938 |     1396   5042 |        0 |        0
1111.93/1112.36	c 1112s |      23 |  3592639 |  3234738 |     1396   5050 |        0 |        0
1113.93/1114.37	c 1114s |      23 |  3598651 |  3240238 |     1396   5057 |        0 |        0
1115.93/1116.37	c 1116s |      23 |  3604992 |  3245838 |     1396   5064 |        0 |        0
1117.93/1118.38	c 1118s |      23 |  3611198 |  3251438 |     1396   5071 |        0 |        0
1119.92/1120.38	c 1120s |      23 |  3617434 |  3257038 |     1396   5078 |        0 |        0
1122.02/1122.41	c 1122s |      23 |  3623235 |  3262238 |     1396   5085 |        0 |        0
1124.02/1124.43	c 1124s |      23 |  3628916 |  3267238 |     1396   5091 |        0 |        0
1126.03/1126.46	c 1126s |      23 |  3634810 |  3272538 |     1396   5098 |        0 |        0
1128.02/1128.49	c 1128s |      23 |  3640427 |  3277638 |     1396   5104 |        0 |        0
1130.02/1130.50	c 1130s |      23 |  3645820 |  3282538 |     1396   5110 |        0 |        0
1132.12/1132.50	c 1132s |      23 |  3651456 |  3287638 |     1396   5117 |        0 |        0
1134.12/1134.51	c 1134s |      23 |  3656743 |  3292438 |     1396   5123 |        0 |        0
1136.12/1136.54	c 1136s |      23 |  3662502 |  3297538 |     1396   5129 |        0 |        0
1138.12/1138.54	c 1138s |      23 |  3668793 |  3302938 |     1396   5136 |        0 |        0
1140.11/1140.57	c 1140s |      23 |  3674469 |  3307938 |     1396   5142 |        0 |        0
1142.21/1142.61	c 1142s |      23 |  3680045 |  3312838 |     1396   5148 |        0 |        0
1144.21/1144.63	c 1144s |      23 |  3685640 |  3317838 |     1396   5155 |        0 |        0
1146.21/1146.67	c 1146s |      23 |  3691074 |  3322738 |     1396   5161 |        0 |        0
1148.20/1148.67	c 1148s |      23 |  3696266 |  3327438 |     1396   5167 |        0 |        0
1150.31/1150.70	c 1150s |      23 |  3702430 |  3333038 |     1396   5174 |        0 |        0
1152.30/1152.71	c 1152s |      23 |  3708538 |  3338438 |     1396   5181 |        0 |        0
1154.30/1154.74	c 1154s |      23 |  3714652 |  3343838 |     1396   5187 |        0 |        0
1156.30/1156.77	c 1156s |      23 |  3719940 |  3348638 |     1396   5194 |        0 |        0
1158.30/1158.78	c 1158s |      23 |  3725231 |  3353538 |     1536   5199 |        0 |        0
1160.30/1160.79	c 1160s |      23 |  3730510 |  3358238 |     1536   5205 |        0 |        0
1162.40/1162.83	c 1162s |      23 |  3735237 |  3362538 |     1536   5210 |        0 |        0
1164.40/1164.86	c 1164s |      23 |  3741010 |  3367738 |     1536   5216 |        0 |        0
1166.49/1166.91	c 1166s |      23 |  3745920 |  3372138 |     1536   5221 |        0 |        0
1168.49/1168.93	c 1168s |      23 |  3750692 |  3376438 |     1536   5226 |        0 |        0
1168.59/1169.04	c 1169s |      24 |  3750935 |  3376662 |     1536   5226 |        0 |        0
1170.59/1171.04	c 1171s |      24 |  3757487 |  3382362 |     1536   5233 |        0 |        0
1172.59/1173.05	c 1173s |      24 |  3763472 |  3387762 |     1536   5239 |        0 |        0
1174.59/1175.07	c 1175s |      24 |  3769386 |  3393062 |     1536   5246 |        0 |        0
1176.60/1177.09	c 1177s |      24 |  3775011 |  3398162 |     1536   5252 |        0 |        0
1178.59/1179.09	c 1179s |      24 |  3780701 |  3403262 |     1536   5258 |        0 |        0
1180.69/1181.14	c 1181s |      24 |  3786196 |  3408262 |     1536   5264 |        0 |        0
1182.69/1183.15	c 1183s |      24 |  3791969 |  3413362 |     1536   5270 |        0 |        0
1184.69/1185.19	c 1185s |      24 |  3797780 |  3418562 |     1536   5276 |        0 |        0
1186.69/1187.19	c 1187s |      24 |  3803189 |  3423562 |     1536   5282 |        0 |        0
1188.79/1189.21	c 1189s |      24 |  3808295 |  3428262 |     1536   5287 |        0 |        0
1190.79/1191.22	c 1191s |      24 |  3813141 |  3432762 |     1536   5293 |        0 |        0
1192.78/1193.25	c 1193s |      24 |  3817956 |  3437262 |     1536   5298 |        0 |        0
1194.79/1195.28	c 1195s |      24 |  3823879 |  3442762 |     1536   5304 |        0 |        0
1196.88/1197.31	c 1197s |      24 |  3829444 |  3447962 |     1536   5310 |        0 |        0
1198.88/1199.32	c 1199s |      24 |  3834587 |  3452762 |     1536   5316 |        0 |        0
1200.89/1201.32	c 1201s |      24 |  3839833 |  3457662 |     1536   5322 |        0 |        0
1202.88/1203.34	c 1203s |      24 |  3845169 |  3462662 |     1536   5328 |        0 |        0
1204.88/1205.38	c 1205s |      24 |  3850414 |  3467562 |     1536   5334 |        0 |        0
1206.97/1207.41	c 1207s |      24 |  3855683 |  3472562 |     1536   5339 |        0 |        0
1208.97/1209.41	c 1209s |      24 |  3860277 |  3476862 |     1536   5345 |        0 |        0
1210.97/1211.42	c 1211s |      24 |  3864843 |  3481162 |     1536   5350 |        0 |        0
1212.98/1213.45	c 1213s |      24 |  3870782 |  3486662 |     1536   5356 |        0 |        0
1214.97/1215.45	c 1215s |      24 |  3876153 |  3491662 |     1536   5362 |        0 |        0
1216.96/1217.46	c 1217s |      24 |  3881609 |  3496662 |     1536   5368 |        0 |        0
1219.06/1219.51	c 1219s |      24 |  3886826 |  3501462 |     1536   5374 |        0 |        0
1221.06/1221.52	c 1221s |      24 |  3892048 |  3506362 |     1536   5379 |        0 |        0
1223.06/1223.57	c 1223s |      24 |  3897681 |  3511462 |     1536   5385 |        0 |        0
1225.07/1225.57	c 1225s |      24 |  3902887 |  3516162 |     1536   5391 |        0 |        0
1227.06/1227.60	c 1227s |      24 |  3907797 |  3520762 |     1536   5396 |        0 |        0
1229.16/1229.61	c 1229s |      24 |  3912505 |  3525162 |     1536   5401 |        0 |        0
1231.15/1231.63	c 1231s |      24 |  3917340 |  3529662 |     1536   5407 |        0 |        0
1233.16/1233.64	c 1233s |      24 |  3923139 |  3534962 |     1536   5413 |        0 |        0
1235.15/1235.67	c 1235s |      24 |  3928764 |  3540162 |     1536   5419 |        0 |        0
1237.25/1237.70	c 1237s |      24 |  3934019 |  3545062 |     1536   5425 |        0 |        0
1239.26/1239.71	c 1239s |      24 |  3939152 |  3549862 |     1536   5431 |        0 |        0
1241.25/1241.72	c 1241s |      24 |  3944429 |  3554762 |     1536   5436 |        0 |        0
1243.25/1243.73	c 1243s |      24 |  3949114 |  3559162 |     1536   5442 |        0 |        0
1245.25/1245.77	c 1245s |      24 |  3954107 |  3563762 |     1536   5447 |        0 |        0
1247.34/1247.81	c 1247s |      24 |  3959197 |  3568462 |     1536   5452 |        0 |        0
1249.34/1249.84	c 1249s |      24 |  3963926 |  3572862 |     1536   5458 |        0 |        0
1251.35/1251.88	c 1251s |      24 |  3968407 |  3577062 |     1536   5463 |        0 |        0
1253.44/1253.92	c 1253s |      24 |  3973069 |  3581462 |     1536   5468 |        0 |        0
1255.44/1255.94	c 1255s |      24 |  3977431 |  3585562 |     1536   5473 |        0 |        0
1257.43/1257.99	c 1257s |      24 |  3981960 |  3589762 |     1536   5478 |        0 |        0
1259.53/1260.00	c 1259s |      24 |  3987580 |  3594862 |     1536   5484 |        0 |        0
1261.53/1262.02	c 1262s |      24 |  3993497 |  3600162 |     1536   5490 |        0 |        0
1263.54/1264.06	c 1264s |      24 |  3998704 |  3604962 |     1536   5496 |        0 |        0
1265.53/1266.09	c 1266s |      24 |  4003809 |  3609662 |     1536   5501 |        0 |        0
1267.63/1268.11	c 1268s |      24 |  4009059 |  3614462 |     1536   5507 |        0 |        0
1269.63/1270.13	c 1270s |      24 |  4014064 |  3619062 |     1536   5512 |        0 |        0
1271.64/1272.14	c 1272s |      24 |  4019069 |  3623662 |     1536   5518 |        0 |        0
1273.64/1274.16	c 1274s |      24 |  4023622 |  3627962 |     1536   5523 |        0 |        0
1275.74/1276.20	c 1276s |      24 |  4028667 |  3632662 |     1536   5528 |        0 |        0
1277.74/1278.21	c 1278s |      24 |  4033689 |  3637362 |     1536   5534 |        0 |        0
1279.73/1280.25	c 1280s |      24 |  4038965 |  3642262 |     1536   5540 |        0 |        0
1281.73/1282.27	c 1282s |      24 |  4044387 |  3647362 |     1536   5545 |        0 |        0
1283.83/1284.32	c 1284s |      24 |  4049557 |  3652162 |     1536   5551 |        0 |        0
1285.83/1286.33	c 1286s |      24 |  4054424 |  3656762 |     1536   5557 |        0 |        0
1287.82/1288.35	c 1288s |      24 |  4059087 |  3661162 |     1536   5562 |        0 |        0
1289.83/1290.35	c 1290s |      24 |  4064145 |  3665862 |     1536   5567 |        0 |        0
1291.92/1292.40	c 1292s |      24 |  4069003 |  3670362 |     1536   5573 |        0 |        0
1293.92/1294.43	c 1294s |      24 |  4073695 |  3674762 |     1536   5578 |        0 |        0
1295.92/1296.46	c 1296s |      24 |  4078845 |  3679562 |     1536   5583 |        0 |        0
1297.92/1298.49	c 1298s |      24 |  4083942 |  3684262 |     1536   5589 |        0 |        0
1300.02/1300.52	c 1300s |      24 |  4089001 |  3688962 |     1536   5594 |        0 |        0
1302.02/1302.53	c 1302s |      24 |  4094156 |  3693762 |     1536   5600 |        0 |        0
1304.02/1304.54	c 1304s |      24 |  4099269 |  3698462 |     1536   5605 |        0 |        0
1306.02/1306.58	c 1306s |      24 |  4104085 |  3702962 |     1536   5611 |        0 |        0
1308.11/1308.63	c 1308s |      24 |  4108695 |  3707262 |     1536   5616 |        0 |        0
1310.11/1310.67	c 1310s |      24 |  4113266 |  3711462 |     1536   5620 |        0 |        0
1312.11/1312.69	c 1312s |      24 |  4118026 |  3715762 |     1536   5625 |        0 |        0
1314.21/1314.70	c 1314s |      24 |  4122662 |  3720062 |     1536   5631 |        0 |        0
1316.21/1316.75	c 1316s |      24 |  4127426 |  3724462 |     1536   5636 |        0 |        0
1318.20/1318.78	c 1318s |      24 |  4132576 |  3729162 |     1536   5641 |        0 |        0
1320.20/1320.79	c 1320s |      24 |  4137098 |  3733362 |     1536   5646 |        0 |        0
1322.30/1322.84	c 1322s |      24 |  4141879 |  3737762 |     1536   5651 |        0 |        0
1324.30/1324.86	c 1324s |      24 |  4146883 |  3742162 |     1536   5656 |        0 |        0
1326.30/1326.88	c 1326s |      24 |  4150942 |  3745962 |     1536   5661 |        0 |        0
1328.31/1328.89	c 1328s |      24 |  4155482 |  3750162 |     1536   5666 |        0 |        0
1330.40/1330.90	c 1330s |      24 |  4160656 |  3754962 |     1536   5671 |        0 |        0
1332.40/1332.94	c 1332s |      24 |  4165915 |  3759762 |     1536   5677 |        0 |        0
1334.40/1334.98	c 1334s |      24 |  4170936 |  3764362 |     1536   5682 |        0 |        0
1336.50/1337.00	c 1336s |      24 |  4175591 |  3768662 |     1536   5687 |        0 |        0
1338.49/1339.02	c 1339s |      24 |  4180308 |  3772962 |     1536   5692 |        0 |        0
1340.50/1341.04	c 1341s |      24 |  4184907 |  3777062 |     1536   5697 |        0 |        0
1342.49/1343.05	c 1343s |      24 |  4189813 |  3781562 |     1536   5702 |        0 |        0
1344.49/1345.06	c 1345s |      24 |  4194423 |  3785862 |     1536   5707 |        0 |        0
1346.49/1347.08	c 1347s |      24 |  4199096 |  3790162 |     1536   5712 |        0 |        0
1348.59/1349.11	c 1349s |      24 |  4203737 |  3794462 |     1536   5717 |        0 |        0
1350.59/1351.12	c 1351s |      24 |  4208250 |  3798662 |     1536   5722 |        0 |        0
1352.59/1353.12	c 1353s |      24 |  4212763 |  3802862 |     1536   5727 |        0 |        0
1354.59/1355.13	c 1355s |      24 |  4217131 |  3806962 |     1536   5732 |        0 |        0
1356.59/1357.17	c 1357s |      24 |  4221373 |  3810962 |     1536   5736 |        0 |        0
1358.59/1359.18	c 1359s |      24 |  4225709 |  3815062 |     1536   5741 |        0 |        0
1360.69/1361.21	c 1361s |      24 |  4230206 |  3819262 |     1536   5746 |        0 |        0
1362.69/1363.21	c 1363s |      24 |  4234376 |  3823162 |     1536   5751 |        0 |        0
1364.69/1365.27	c 1365s |      24 |  4238922 |  3827462 |     1536   5756 |        0 |        0
1366.69/1367.27	c 1367s |      24 |  4243553 |  3831762 |     1536   5761 |        0 |        0
1368.69/1369.28	c 1369s |      24 |  4247809 |  3835762 |     1536   5765 |        0 |        0
1370.68/1371.29	c 1371s |      24 |  4252219 |  3839862 |     1536   5770 |        0 |        0
1372.68/1373.29	c 1373s |      24 |  4256891 |  3844262 |     1536   5775 |        0 |        0
1374.78/1375.33	c 1375s |      24 |  4261374 |  3848462 |     1536   5780 |        0 |        0
1376.80/1377.36	c 1377s |      24 |  4265661 |  3852462 |     1536   5785 |        0 |        0
1378.79/1379.37	c 1379s |      24 |  4269830 |  3856362 |     1536   5789 |        0 |        0
1380.89/1381.42	c 1381s |      24 |  4273909 |  3860162 |     1536   5794 |        0 |        0
1382.89/1383.43	c 1383s |      24 |  4278044 |  3864062 |     1536   5798 |        0 |        0
1384.89/1385.46	c 1385s |      24 |  4281945 |  3867762 |     1536   5802 |        0 |        0
1386.89/1387.46	c 1387s |      24 |  4285818 |  3871362 |     1536   5807 |        0 |        0
1388.89/1389.48	c 1389s |      24 |  4289641 |  3874962 |     1536   5811 |        0 |        0
1390.89/1391.49	c 1391s |      24 |  4293475 |  3878562 |     1536   5815 |        0 |        0
1392.99/1393.53	c 1393s |      24 |  4297516 |  3882362 |     1536   5819 |        0 |        0
1394.99/1395.57	c 1395s |      24 |  4301635 |  3886162 |     1536   5824 |        0 |        0
1396.99/1397.59	c 1397s |      24 |  4306190 |  3890362 |     1536   5829 |        0 |        0
1399.09/1399.63	c 1399s |      24 |  4310710 |  3894562 |     1536   5834 |        0 |        0
1401.09/1401.63	c 1401s |      24 |  4314557 |  3898162 |     1536   5838 |        0 |        0
1403.09/1403.67	c 1403s |      24 |  4318545 |  3901862 |     1536   5842 |        0 |        0
1405.18/1405.71	c 1405s |      24 |  4322437 |  3905462 |     1536   5846 |        0 |        0
1407.18/1407.73	c 1407s |      24 |  4326356 |  3909062 |     1536   5851 |        0 |        0
1409.18/1409.73	c 1409s |      24 |  4330556 |  3912962 |     1536   5855 |        0 |        0
1411.18/1411.79	c 1411s |      24 |  4334277 |  3916462 |     1536   5859 |        0 |        0
1413.28/1413.85	c 1413s |      24 |  4337911 |  3919862 |     1536   5863 |        0 |        0
1415.29/1415.89	c 1415s |      24 |  4341776 |  3923462 |     1536   5867 |        0 |        0
1417.39/1417.91	c 1417s |      24 |  4345580 |  3927062 |     1536   5871 |        0 |        0
1419.38/1419.93	c 1419s |      24 |  4349152 |  3930462 |     1536   5875 |        0 |        0
1421.38/1421.95	c 1421s |      24 |  4352501 |  3933662 |     1536   5879 |        0 |        0
1423.38/1423.96	c 1423s |      24 |  4356279 |  3937262 |     1536   5883 |        0 |        0
1425.48/1426.00	c 1425s |      24 |  4359743 |  3940562 |     1536   5887 |        0 |        0
1427.48/1428.01	c 1427s |      24 |  4363531 |  3944062 |     1536   5891 |        0 |        0
1429.49/1430.07	c 1430s |      24 |  4367030 |  3947362 |     1536   5895 |        0 |        0
1431.48/1432.08	c 1432s |      24 |  4371772 |  3951762 |     1536   5900 |        0 |        0
1433.58/1434.10	c 1434s |      24 |  4376478 |  3956162 |     1536   5905 |        0 |        0
1435.58/1436.10	c 1436s |      24 |  4381048 |  3960362 |     1536   5910 |        0 |        0
1437.58/1438.11	c 1438s |      24 |  4385406 |  3964462 |     1536   5915 |        0 |        0
1439.58/1440.12	c 1440s |      24 |  4389392 |  3968162 |     1536   5919 |        0 |        0
1441.58/1442.16	c 1442s |      24 |  4393637 |  3972062 |     1536   5924 |        0 |        0
1443.58/1444.17	c 1444s |      24 |  4397435 |  3975562 |     1536   5928 |        0 |        0
1445.58/1446.19	c 1446s |      24 |  4401699 |  3979462 |     1536   5932 |        0 |        0
1447.58/1448.20	c 1448s |      24 |  4406116 |  3983462 |     1536   5937 |        0 |        0
1449.68/1450.24	c 1450s |      24 |  4409712 |  3986862 |     1536   5941 |        0 |        0
1451.78/1452.31	c 1452s |      24 |  4413240 |  3990162 |     1536   5945 |        0 |        0
1453.78/1454.36	c 1454s |      24 |  4417251 |  3993862 |     1536   5949 |        0 |        0
1455.77/1456.37	c 1456s |      24 |  4420716 |  3997062 |     1536   5953 |        0 |        0
1457.77/1458.37	c 1458s |      24 |  4424976 |  4000962 |     1536   5957 |        0 |        0
1459.87/1460.42	c 1460s |      24 |  4429183 |  4004862 |     1536   5962 |        0 |        0
1461.87/1462.47	c 1462s |      24 |  4433196 |  4008562 |     1536   5966 |        0 |        0
1463.97/1464.50	c 1464s |      24 |  4436897 |  4012062 |     1536   5970 |        0 |        0
1465.97/1466.54	c 1466s |      24 |  4440997 |  4015862 |     1536   5975 |        0 |        0
1467.98/1468.56	c 1468s |      24 |  4445515 |  4020062 |     1536   5980 |        0 |        0
1470.07/1470.60	c 1470s |      24 |  4449839 |  4023962 |     1536   5984 |        0 |        0
1472.07/1472.63	c 1472s |      24 |  4453552 |  4027362 |     1536   5988 |        0 |        0
1474.07/1474.67	c 1474s |      24 |  4457608 |  4031062 |     1536   5992 |        0 |        0
1476.07/1476.69	c 1476s |      24 |  4461058 |  4034262 |     1536   5996 |        0 |        0
1478.17/1478.71	c 1478s |      24 |  4464907 |  4037862 |     1536   6000 |        0 |        0
1480.18/1480.76	c 1480s |      24 |  4468606 |  4041262 |     1536   6004 |        0 |        0
1482.17/1482.77	c 1482s |      24 |  4472287 |  4044462 |     1536   6008 |        0 |        0
1484.17/1484.79	c 1484s |      24 |  4478078 |  4049462 |     1536   6014 |        0 |        0
1486.27/1486.81	c 1486s |      24 |  4483446 |  4054362 |     1536   6019 |        0 |        0
1488.27/1488.81	c 1488s |      24 |  4488772 |  4059062 |     1536   6025 |        0 |        0
1490.27/1490.85	c 1490s |      24 |  4494175 |  4063862 |     1536   6030 |        0 |        0
1492.27/1492.86	c 1492s |      24 |  4498919 |  4068162 |     1536   6035 |        0 |        0
1494.27/1494.90	c 1494s |      24 |  4504237 |  4072962 |     1536   6041 |        0 |        0
1496.37/1496.91	c 1496s |      24 |  4509032 |  4077262 |     1536   6046 |        0 |        0
1498.37/1498.96	c 1498s |      24 |  4514098 |  4081862 |     1536   6052 |        0 |        0
1500.36/1500.97	c 1500s |      24 |  4519317 |  4086462 |     1536   6057 |        0 |        0
1502.36/1502.98	c 1502s |      24 |  4524154 |  4090762 |     1536   6062 |        0 |        0
1504.46/1505.01	c 1504s |      24 |  4529084 |  4095262 |     1536   6067 |        0 |        0
1506.47/1507.04	c 1507s |      24 |  4533766 |  4099562 |     1536   6072 |        0 |        0
1508.46/1509.07	c 1509s |      24 |  4538317 |  4103762 |     1536   6077 |        0 |        0
1510.46/1511.09	c 1511s |      24 |  4543049 |  4108162 |     1536   6082 |        0 |        0
1512.56/1513.11	c 1513s |      24 |  4547548 |  4112362 |     1536   6087 |        0 |        0
1514.56/1515.14	c 1515s |      24 |  4552383 |  4116762 |     1536   6092 |        0 |        0
1516.56/1517.16	c 1517s |      24 |  4557218 |  4121162 |     1536   6097 |        0 |        0
1518.57/1519.18	c 1519s |      24 |  4561907 |  4125362 |     1536   6102 |        0 |        0
1520.66/1521.22	c 1521s |      24 |  4566772 |  4129762 |     1536   6107 |        0 |        0
1522.66/1523.27	c 1523s |      24 |  4571611 |  4134162 |     1536   6113 |        0 |        0
1524.76/1525.30	c 1525s |      24 |  4575835 |  4137962 |     1536   6117 |        0 |        0
1526.76/1527.33	c 1527s |      24 |  4580106 |  4141862 |     1536   6122 |        0 |        0
1528.76/1529.37	c 1529s |      24 |  4584242 |  4145662 |     1536   6126 |        0 |        0
1530.77/1531.40	c 1531s |      24 |  4589109 |  4150162 |     1536   6131 |        0 |        0
1532.87/1533.41	c 1533s |      24 |  4593656 |  4154362 |     1536   6136 |        0 |        0
1534.87/1535.44	c 1535s |      24 |  4599178 |  4159362 |     1536   6142 |        0 |        0
1536.87/1537.45	c 1537s |      24 |  4604108 |  4163862 |     1536   6147 |        0 |        0
1538.87/1539.46	c 1539s |      24 |  4608931 |  4168362 |     1536   6152 |        0 |        0
1540.97/1541.51	c 1541s |      24 |  4613580 |  4172662 |     1536   6157 |        0 |        0
1542.96/1543.56	c 1543s |      24 |  4618141 |  4176862 |     1536   6162 |        0 |        0
1544.97/1545.58	c 1545s |      24 |  4623011 |  4181262 |     1536   6168 |        0 |        0
1547.06/1547.60	c 1547s |      24 |  4627694 |  4185562 |     1536   6173 |        0 |        0
1549.06/1549.63	c 1549s |      24 |  4632341 |  4189862 |     1536   6178 |        0 |        0
1551.06/1551.66	c 1551s |      24 |  4637023 |  4194062 |     1536   6183 |        0 |        0
1553.16/1553.70	c 1553s |      24 |  4641749 |  4198362 |     1536   6188 |        0 |        0
1555.16/1555.71	c 1555s |      24 |  4646332 |  4202662 |     1536   6192 |        0 |        0
1557.17/1557.72	c 1557s |      24 |  4650887 |  4206862 |     1536   6197 |        0 |        0
1559.16/1559.76	c 1559s |      24 |  4655084 |  4210762 |     1536   6202 |        0 |        0
1561.16/1561.79	c 1561s |      24 |  4659356 |  4214662 |     1536   6206 |        0 |        0
1563.26/1563.82	c 1563s |      24 |  4663888 |  4218862 |     1536   6211 |        0 |        0
1565.26/1565.82	c 1565s |      24 |  4668462 |  4223162 |     1536   6216 |        0 |        0
1567.26/1567.85	c 1567s |      24 |  4673914 |  4228162 |     1536   6222 |        0 |        0
1569.27/1569.87	c 1569s |      24 |  4679375 |  4233162 |     1536   6228 |        0 |        0
1571.37/1571.91	c 1571s |      24 |  4685080 |  4238362 |     1536   6234 |        0 |        0
1573.36/1573.92	c 1573s |      24 |  4690452 |  4243362 |     1536   6240 |        0 |        0
1575.36/1575.94	c 1575s |      24 |  4696936 |  4248762 |     1536   6246 |        0 |        0
1577.36/1577.98	c 1577s |      24 |  4702730 |  4253762 |     1536   6252 |        0 |        0
1579.35/1579.98	c 1579s |      24 |  4708336 |  4258662 |     1536   6258 |        0 |        0
1581.45/1582.00	c 1581s |      24 |  4713845 |  4263662 |     1536   6264 |        0 |        0
1583.46/1584.05	c 1584s |      24 |  4719008 |  4268462 |     1536   6270 |        0 |        0
1585.45/1586.09	c 1586s |      24 |  4724366 |  4273362 |     1536   6275 |        0 |        0
1587.45/1588.09	c 1588s |      24 |  4729998 |  4278562 |     1536   6282 |        0 |        0
1589.55/1590.12	c 1590s |      24 |  4735734 |  4283762 |     1536   6288 |        0 |        0
1591.55/1592.12	c 1592s |      24 |  4741024 |  4288562 |     1536   6294 |        0 |        0
1593.55/1594.12	c 1594s |      24 |  4746238 |  4293262 |     1536   6299 |        0 |        0
1595.56/1596.13	c 1596s |      24 |  4751806 |  4298262 |     1536   6305 |        0 |        0
1597.55/1598.15	c 1598s |      24 |  4757478 |  4303362 |     1536   6311 |        0 |        0
1599.55/1600.17	c 1600s |      24 |  4762877 |  4308162 |     1536   6317 |        0 |        0
1601.55/1602.17	c 1602s |      24 |  4768003 |  4312862 |     1536   6323 |        0 |        0
1603.55/1604.17	c 1604s |      24 |  4773794 |  4317762 |     1536   6328 |        0 |        0
1605.55/1606.18	c 1606s |      24 |  4779430 |  4322962 |     1536   6334 |        0 |        0
1607.55/1608.20	c 1608s |      24 |  4784747 |  4327862 |     1536   6340 |        0 |        0
1609.65/1610.20	c 1610s |      24 |  4790759 |  4333162 |     1536   6347 |        0 |        0
1611.65/1612.23	c 1612s |      24 |  4796474 |  4338262 |     1536   6353 |        0 |        0
1613.65/1614.26	c 1614s |      24 |  4801938 |  4343162 |     1536   6358 |        0 |        0
1615.65/1616.28	c 1616s |      24 |  4807708 |  4348262 |     1536   6365 |        0 |        0
1617.65/1618.29	c 1618s |      24 |  4812990 |  4353062 |     1536   6370 |        0 |        0
1619.76/1620.32	c 1620s |      24 |  4818434 |  4357862 |     1536   6376 |        0 |        0
1621.75/1622.35	c 1622s |      24 |  4823730 |  4362662 |     1536   6382 |        0 |        0
1623.75/1624.38	c 1624s |      24 |  4828149 |  4366662 |     1536   6386 |        0 |        0
1625.85/1626.40	c 1626s |      24 |  4832446 |  4370462 |     1536   6391 |        0 |        0
1627.85/1628.41	c 1628s |      24 |  4837436 |  4374962 |     1536   6396 |        0 |        0
1629.85/1630.41	c 1630s |      24 |  4842154 |  4379162 |     1536   6401 |        0 |        0
1631.86/1632.43	c 1632s |      24 |  4847668 |  4384062 |     1536   6407 |        0 |        0
1633.85/1634.46	c 1634s |      24 |  4853068 |  4388862 |     1536   6413 |        0 |        0
1635.85/1636.47	c 1636s |      24 |  4857983 |  4393262 |     1536   6418 |        0 |        0
1637.85/1638.48	c 1638s |      24 |  4862969 |  4397662 |     1536   6423 |        0 |        0
1639.85/1640.49	c 1640s |      24 |  4868066 |  4402262 |     1536   6429 |        0 |        0
1641.95/1642.50	c 1642s |      24 |  4872418 |  4406262 |     1536   6433 |        0 |        0
1643.95/1644.54	c 1644s |      24 |  4877397 |  4410762 |     1536   6439 |        0 |        0
1645.95/1646.57	c 1646s |      24 |  4882627 |  4415362 |     1536   6444 |        0 |        0
1648.05/1648.60	c 1648s |      24 |  4887210 |  4419562 |     1536   6449 |        0 |        0
1650.05/1650.63	c 1650s |      24 |  4891959 |  4423862 |     1536   6454 |        0 |        0
1652.05/1652.64	c 1652s |      24 |  4896307 |  4427862 |     1536   6459 |        0 |        0
1654.05/1654.67	c 1654s |      24 |  4901870 |  4432762 |     1536   6465 |        0 |        0
1656.05/1656.70	c 1656s |      24 |  4907137 |  4437462 |     1536   6470 |        0 |        0
1658.15/1658.70	c 1658s |      24 |  4911421 |  4441262 |     1536   6475 |        0 |        0
1660.14/1660.74	c 1660s |      24 |  4917014 |  4445762 |     1536   6480 |        0 |        0
1662.14/1662.77	c 1662s |      24 |  4922649 |  4450762 |     1536   6486 |        0 |        0
1664.14/1664.80	c 1664s |      24 |  4927979 |  4455562 |     1536   6492 |        0 |        0
1666.24/1666.83	c 1666s |      24 |  4932896 |  4460062 |     1536   6497 |        0 |        0
1668.25/1668.83	c 1668s |      24 |  4938107 |  4464762 |     1536   6503 |        0 |        0
1670.24/1670.85	c 1670s |      24 |  4943113 |  4469162 |     1536   6508 |        0 |        0
1672.24/1672.88	c 1672s |      24 |  4948000 |  4473562 |     1536   6513 |        0 |        0
1674.34/1674.91	c 1674s |      24 |  4952768 |  4477962 |     1536   6519 |        0 |        0
1676.34/1676.93	c 1676s |      24 |  4957725 |  4482462 |     1536   6524 |        0 |        0
1678.34/1678.94	c 1678s |      24 |  4962721 |  4486862 |     1536   6529 |        0 |        0
1680.34/1680.98	c 1680s |      24 |  4967639 |  4491162 |     1536   6535 |        0 |        0
1682.34/1682.99	c 1682s |      24 |  4972324 |  4495362 |     1536   6540 |        0 |        0
1684.44/1685.04	c 1685s |      24 |  4976950 |  4499462 |     1536   6544 |        0 |        0
1686.43/1687.04	c 1687s |      24 |  4981588 |  4503562 |     1536   6549 |        0 |        0
1688.44/1689.07	c 1689s |      24 |  4985843 |  4507362 |     1536   6554 |        0 |        0
1690.44/1691.07	c 1691s |      24 |  4990577 |  4511662 |     1536   6559 |        0 |        0
1692.45/1693.08	c 1693s |      24 |  4995324 |  4515862 |     1536   6564 |        0 |        0
1694.44/1695.09	c 1695s |      24 |  5000803 |  4520762 |     1536   6570 |        0 |        0
1696.54/1697.13	c 1697s |      24 |  5006391 |  4525862 |     1536   6576 |        0 |        0
1698.54/1699.16	c 1699s |      24 |  5011595 |  4530562 |     1536   6581 |        0 |        0
1700.54/1701.17	c 1701s |      24 |  5016826 |  4535362 |     1536   6587 |        0 |        0
1702.54/1703.18	c 1703s |      24 |  5022008 |  4540062 |     1536   6593 |        0 |        0
1704.55/1705.19	c 1705s |      24 |  5027235 |  4544862 |     1536   6598 |        0 |        0
1706.54/1707.20	c 1707s |      24 |  5032708 |  4549762 |     1536   6604 |        0 |        0
1708.64/1709.21	c 1709s |      24 |  5037706 |  4554362 |     1536   6609 |        0 |        0
1710.64/1711.23	c 1711s |      24 |  5042597 |  4558762 |     1536   6615 |        0 |        0
1712.64/1713.27	c 1713s |      24 |  5048340 |  4563862 |     1536   6621 |        0 |        0
1714.74/1715.30	c 1715s |      24 |  5053941 |  4568762 |     1536   6626 |        0 |        0
1716.74/1717.35	c 1717s |      24 |  5058864 |  4573262 |     1536   6632 |        0 |        0
1718.74/1719.39	c 1719s |      24 |  5064116 |  4578062 |     1536   6637 |        0 |        0
1720.84/1721.41	c 1721s |      24 |  5068761 |  4582262 |     1536   6642 |        0 |        0
1722.83/1723.43	c 1723s |      24 |  5073389 |  4586462 |     1536   6647 |        0 |        0
1724.83/1725.43	c 1725s |      24 |  5077499 |  4590262 |     1536   6652 |        0 |        0
1726.83/1727.45	c 1727s |      24 |  5082858 |  4595162 |     1536   6657 |        0 |        0
1728.83/1729.47	c 1729s |      24 |  5088073 |  4599762 |     1536   6663 |        0 |        0
1730.84/1731.49	c 1731s |      24 |  5093773 |  4604962 |     1536   6669 |        0 |        0
1732.93/1733.52	c 1733s |      24 |  5098575 |  4609362 |     1536   6674 |        0 |        0
1734.93/1735.55	c 1735s |      24 |  5103752 |  4614062 |     1536   6680 |        0 |        0
1736.93/1737.59	c 1737s |      24 |  5108493 |  4618362 |     1536   6685 |        0 |        0
1739.03/1739.62	c 1739s |      24 |  5113982 |  4623262 |     1536   6691 |        0 |        0
1741.03/1741.62	c 1741s |      24 |  5119439 |  4628162 |     1536   6696 |        0 |        0
1743.04/1743.64	c 1743s |      24 |  5124954 |  4633062 |     1536   6702 |        0 |        0
1745.03/1745.64	c 1745s |      24 |  5130048 |  4637662 |     1536   6708 |        0 |        0
1747.03/1747.68	c 1747s |      24 |  5135493 |  4642562 |     1536   6713 |        0 |        0
1749.13/1749.71	c 1749s |      24 |  5140691 |  4647262 |     1536   6719 |        0 |        0
1751.13/1751.74	c 1751s |      24 |  5146335 |  4652262 |     1536   6725 |        0 |        0
1753.13/1753.77	c 1753s |      24 |  5151448 |  4656862 |     1536   6730 |        0 |        0
1755.23/1755.80	c 1755s |      24 |  5156933 |  4661762 |     1536   6736 |        0 |        0
1757.24/1757.80	c 1757s |      24 |  5162114 |  4666462 |     1536   6742 |        0 |        0
1759.23/1759.84	c 1759s |      24 |  5167284 |  4671262 |     1536   6747 |        0 |        0
1761.23/1761.85	c 1761s |      24 |  5172234 |  4675762 |     1536   6753 |        0 |        0
1763.23/1763.88	c 1763s |      24 |  5177461 |  4680462 |     1536   6758 |        0 |        0
1765.23/1765.88	c 1765s |      24 |  5182196 |  4684762 |     1536   6763 |        0 |        0
1767.23/1767.88	c 1767s |      24 |  5187226 |  4689362 |     1536   6769 |        0 |        0
1769.33/1769.90	c 1769s |      24 |  5192570 |  4693962 |     1536   6774 |        0 |        0
1771.33/1771.93	c 1771s |      24 |  5197192 |  4698162 |     1536   6779 |        0 |        0
1773.33/1773.97	c 1773s |      24 |  5202093 |  4702562 |     1536   6784 |        0 |        0
1775.33/1775.99	c 1775s |      24 |  5207049 |  4706962 |     1536   6789 |        0 |        0
1777.43/1778.00	c 1777s |      24 |  5212441 |  4711762 |     1536   6795 |        0 |        0
1779.43/1780.01	c 1780s |      24 |  5217588 |  4716462 |     1536   6801 |        0 |        0
1781.43/1782.05	c 1782s |      24 |  5223148 |  4721362 |     1536   6806 |        0 |        0
1783.42/1784.08	c 1784s |      24 |  5228103 |  4725962 |     1536   6812 |        0 |        0
1785.52/1786.13	c 1786s |      24 |  5232737 |  4730062 |     1536   6817 |        0 |        0
1787.52/1788.14	c 1788s |      24 |  5238142 |  4734762 |     1536   6822 |        0 |        0
1789.52/1790.14	c 1790s |      24 |  5242662 |  4738862 |     1536   6827 |        0 |        0
1791.52/1792.17	c 1792s |      24 |  5247429 |  4743162 |     1536   6832 |        0 |        0
1793.63/1794.23	c 1794s |      24 |  5252558 |  4747762 |     1536   6838 |        0 |        0
1795.62/1796.25	c 1796s |      24 |  5257360 |  4752162 |     1536   6843 |        0 |        0
1797.62/1798.27	c 1798s |      24 |  5262768 |  4757062 |     1536   6849 |        0 |        0
1799.72/1800.31	c 1800s |      24 |  5267768 |  4761662 |     1536   6854 |        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-4090009-1466036592/watcher-4090009-1466036592 -o /tmp/evaluation-result-4090009-1466036592/solver-4090009-1466036592 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5773 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090009-1466036592.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.09 2.07 2.07 3/179 8829
/proc/meminfo: memFree=30402956/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=720316 CPUtime=0 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 2690 0 0 0 0 0 0 0 20 0 4 0 5709293 737603584 2540 33554432000 4194304 16246674 140737146836944 140737146836368 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 180847 2549 441 2943 0 177741 0
[pid=8829/tid=8830] ppid=8826 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 756477952 2611 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 760672256 2628 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=746940 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5709293 764866560 2644 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.09 2.07 2.07 3/179 8829
/proc/meminfo: memFree=30402956/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 29083 0 0 0 5 3 0 0 20 0 4 0 5709293 1247350784 28922 33554432000 4194304 16246674 140737146836944 140737146836368 5523634 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 304529 28930 716 2943 0 301423 0
[pid=8829/tid=8830] ppid=8826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1247350784 28936 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1247350784 28941 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5709293 1247350784 28951 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200442 s]
/proc/loadavg: 2.09 2.07 2.07 3/179 8829
/proc/meminfo: memFree=30402956/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 58382 0 0 0 11 7 0 0 20 0 4 0 5709293 1247350784 58222 33554432000 4194304 16246674 140737146836944 140737146836368 5667979 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 304529 58231 716 2943 0 301423 0
[pid=8829/tid=8830] ppid=8826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1247350784 58237 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1247350784 58247 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5709293 1247350784 58262 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300489 s]
/proc/loadavg: 2.09 2.07 2.07 3/179 8829
/proc/meminfo: memFree=30402956/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 87741 0 0 0 18 11 0 0 20 0 4 0 5709293 1247350784 87581 33554432000 4194304 16246674 140737146836944 140737146836368 5829366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 304529 87590 716 2943 0 301423 0
[pid=8829/tid=8830] ppid=8826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1247350784 87594 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1247350784 87599 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5709293 1247350784 87605 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700419 s]
/proc/loadavg: 2.09 2.07 2.07 3/179 8829
/proc/meminfo: memFree=30402956/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 204878 0 0 0 43 26 0 0 20 0 4 0 5709293 1247350784 204717 33554432000 4194304 16246674 140737146836944 140737146836368 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 304529 204736 716 2943 0 301423 0
[pid=8829/tid=8830] ppid=8826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1247350784 204750 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1247350784 204763 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5709293 1247350784 204772 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.09 2.07 2.07 3/183 8833
/proc/meminfo: memFree=29422200/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1305156 CPUtime=1.48 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 267272 0 0 0 114 34 0 0 20 0 4 0 5709293 1336479744 267091 33554432000 4194304 16246674 140737146836944 140737146836256 12875035 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 326289 267091 791 2943 0 323183 0
[pid=8829/tid=8830] ppid=8826 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1336479744 267091 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1336479744 267091 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5709293 1336479744 267091 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1305156

[startup+3.10043 s]
/proc/loadavg: 2.09 2.07 2.07 3/183 8833
/proc/meminfo: memFree=29333416/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 267503 0 0 0 274 34 0 0 20 0 4 0 5709293 1337528320 267322 33554432000 4194304 16246674 140737146836944 140737146818816 6842338 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 326545 267322 793 2943 0 323439 0
[pid=8829/tid=8830] ppid=8826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1337528320 267322 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1337528320 267322 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5709293 1337528320 267322 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.09 2.07 2.07 3/183 8833
/proc/meminfo: memFree=29333552/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 267505 0 0 0 594 34 0 0 20 0 4 0 5709293 1337528320 267324 33554432000 4194304 16246674 140737146836944 140737146818816 13809229 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 326545 267324 794 2943 0 323439 0
[pid=8829/tid=8830] ppid=8826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1337528320 267324 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1337528320 267324 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5709293 1337528320 267324 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.16 2.09 2.08 3/183 8833
/proc/meminfo: memFree=29333252/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 267506 0 0 0 1234 35 0 0 20 0 4 0 5709293 1337528320 267325 33554432000 4194304 16246674 140737146836944 140737146818816 12483272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 326545 267325 794 2943 0 323439 0
[pid=8829/tid=8830] ppid=8826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1337528320 267325 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1337528320 267325 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5709293 1337528320 267325 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5006 s]
/proc/loadavg: 2.12 2.08 2.08 3/183 8833
/proc/meminfo: memFree=29333760/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 267518 0 0 0 2514 35 0 0 20 0 4 0 5709293 1337528320 267337 33554432000 4194304 16246674 140737146836944 140737146818816 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 326545 267337 795 2943 0 323439 0
[pid=8829/tid=8830] ppid=8826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1337528320 267337 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1337528320 267337 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5709293 1337528320 267337 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.15 2.09 2.08 3/183 8833
/proc/meminfo: memFree=29332672/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 267549 0 0 0 5073 35 0 0 20 0 4 0 5709293 1337528320 267368 33554432000 4194304 16246674 140737146836944 140737146818816 13191647 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 326545 267368 795 2943 0 323439 0
[pid=8829/tid=8830] ppid=8826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1337528320 267368 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1337528320 267368 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5709293 1337528320 267368 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.06 2.07 2.07 3/183 8834
/proc/meminfo: memFree=29331852/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 267569 0 0 0 10192 36 0 0 20 0 4 0 5709293 1337528320 267388 33554432000 4194304 16246674 140737146836944 140737146818816 5823250 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 326545 267388 795 2943 0 323439 0
[pid=8829/tid=8830] ppid=8826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1337528320 267388 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1337528320 267388 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5709293 1337528320 267388 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 267989 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.05 2.06 2.06 3/183 8864
/proc/meminfo: memFree=29326280/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1308228 CPUtime=1301.82 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 268358 0 0 0 130132 50 0 0 20 0 4 0 5709293 1339625472 267989 33554432000 4194304 16246674 140737146836944 140737146818816 5523504 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 327057 267989 795 2943 0 323951 0
[pid=8829/tid=8830] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 267989 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 267989 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 267989 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.28 2.11 2.07 3/183 8865
/proc/meminfo: memFree=29326492/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1308228 CPUtime=1361.79 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 268398 0 0 0 136129 50 0 0 20 0 4 0 5709293 1339625472 267989 33554432000 4194304 16246674 140737146836944 140737146818816 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 327057 267989 795 2943 0 323951 0
[pid=8829/tid=8830] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 267989 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 267989 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 267989 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.23 2.12 2.08 3/183 8866
/proc/meminfo: memFree=29327388/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1308228 CPUtime=1421.79 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 268421 0 0 0 142128 51 0 0 20 0 4 0 5709293 1339625472 268012 33554432000 4194304 16246674 140737146836944 140737146818816 5545752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 327057 268012 795 2943 0 323951 0
[pid=8829/tid=8830] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268012 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268012 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268012 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.21 2.13 2.08 3/183 8868
/proc/meminfo: memFree=29327008/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1308228 CPUtime=1481.77 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 268429 0 0 0 148126 51 0 0 20 0 4 0 5709293 1339625472 268020 33554432000 4194304 16246674 140737146836944 140737146818816 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 327057 268020 795 2943 0 323951 0
[pid=8829/tid=8830] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268020 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268020 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268020 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.15 2.12 2.08 3/183 8869
/proc/meminfo: memFree=29326876/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1308228 CPUtime=1541.77 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 268460 0 0 0 154125 52 0 0 20 0 4 0 5709293 1339625472 268051 33554432000 4194304 16246674 140737146836944 140737146818816 13950232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 327057 268051 795 2943 0 323951 0
[pid=8829/tid=8830] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268051 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268051 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268051 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 8919
/proc/meminfo: memFree=29328016/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1308228 CPUtime=1601.75 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 268460 0 0 0 160123 52 0 0 20 0 4 0 5709293 1339625472 268051 33554432000 4194304 16246674 140737146836944 140737146818816 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 327057 268051 795 2943 0 323951 0
[pid=8829/tid=8830] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268051 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268051 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268051 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/184 8923
/proc/meminfo: memFree=29302372/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1308228 CPUtime=1661.74 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 268461 0 0 0 166121 53 0 0 20 0 4 0 5709293 1339625472 268052 33554432000 4194304 16246674 140737146836944 140737146818816 13192416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 327057 268052 796 2943 0 323951 0
[pid=8829/tid=8830] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268052 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268052 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268052 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.10 2.12 2.09 3/183 9071
/proc/meminfo: memFree=29325724/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1308228 CPUtime=1721.74 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 268461 0 0 0 172120 54 0 0 20 0 4 0 5709293 1339625472 268052 33554432000 4194304 16246674 140737146836944 140737146818816 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 327057 268052 796 2943 0 323951 0
[pid=8829/tid=8830] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268052 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268052 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268052 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/183 9073
/proc/meminfo: memFree=29320008/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1308228 CPUtime=1781.73 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 268461 0 0 0 178119 54 0 0 20 0 4 0 5709293 1339625472 268052 33554432000 4194304 16246674 140737146836944 140737146818816 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 327057 268052 796 2943 0 323951 0
[pid=8829/tid=8830] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268052 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268052 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268052 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.02 2.08 2.08 3/183 9073
/proc/meminfo: memFree=29317988/32872528 swapFree=524788/557492
[pid=8829] ppid=8826 vsize=1308228 CPUtime=1800.02 cores=1,3,5,7
/proc/8829/stat : 8829 (toysat) R 8826 8829 5756 0 -1 4202496 268461 0 0 0 179948 54 0 0 20 0 4 0 5709293 1339625472 268052 33554432000 4194304 16246674 140737146836944 140737146818816 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8829/statm: 327057 268052 796 2943 0 323951 0
[pid=8829/tid=8830] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8830/stat : 8830 (toysat) S 8826 8829 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268052 33554432000 4194304 16246674 140737146836944 139887729683696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8829/tid=8831] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8831/stat : 8831 (toysat) S 8826 8829 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268052 33554432000 4194304 16246674 140737146836944 139887719193840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8829/tid=8832] ppid=8826 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8829/task/8832/stat : 8832 (toysat) S 8826 8829 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5709293 1339625472 268052 33554432000 4194304 16246674 140737146836944 139887708720304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1308228

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8829 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.04
CPU user time (s): 1799.49
CPU system time (s): 0.545917
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.545917
maximum resident set size= 1072208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268461
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= 497
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3393 second user time and 17.5463 second system time

The end

Begin job on node106 at 2016-06-16 02:23:12
IDJOB=4090009
IDBENCH=107488
IDSOLVER=2542
FILE ID=node106/4090009-1466036592
RUNJOBID= node106-1466012020-5773
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= e6bc379e6d1df32d474a50649f29ffd0
RANDOM SEED=761728392

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30403856 kB
Buffers:           47760 kB
Cached:            79872 kB
SwapCached:         1476 kB
Active:          1143948 kB
Inactive:          57304 kB
Active(anon):    1074792 kB
Inactive(anon):     1188 kB
Active(file):      69156 kB
Inactive(file):    56116 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099848 kB
Dirty:             16504 kB
Writeback:             0 kB
AnonPages:       1629908 kB
Mapped:            10420 kB
Shmem:                 0 kB
Slab:             577108 kB
SReclaimable:      20824 kB
SUnreclaim:       556284 kB
KernelStack:        1496 kB
PageTables:         7116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1773676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71708 MiB
End job on node106 at 2016-06-16 02:53:12