0.00/0.00	c 2016-06-16T01:00:02+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-4089694-1466031602.opb"]
0.00/0.01	c use --random-gen="769092009 1883385578 1550762704 4202360357 420441589 392330962 540696816 1682790503 2703866640 132202070 1561866691 2994950416 1505057466 417335513 2820145582 917023322 3984639520 3992578785 3994026633 2413658413 3771570430 2736305901 167646550 1866611404 1925092893 3099504300 260591060 3030075448 1210000464 1919556881 479853344 3953439906 3677452906 2173264861 3679423555 811065817 3682977546 1183865116 1713003062 1721892440 2598073423 1749535204 4158666971 1294065650 1724183679 4260116326 2385065090 3926130136 2218349823 619621926 3066024871 2901989320 2035917210 1312817667 75389654 551359957 3171896608 1624444401 2752508613 3032343293 3843858119 1873726595 12266951 2714259197 2993143301 2278150273 928024494 2535586197 217644427 1401078549 4271229055 3874560757 4205524153 2107547097 2007797516 1823464088 3723373581 3898833015 865793170 1558174089 2141144495 2371491707 2908811711 3738105360 2896265862 3767402428 1492493268 1021186524 3645942571 2185343217 1825831081 294610868 1793958823 1516040408 3971806378 3382103153 3426419062 3749680530 3588995439 591515750 3906551760 2099735784 1570280408 2287251569 4031796654 3911515389 900216934 883630450 1383718844 123126157 2450005159 471244066 1133494284 1710097192 1759984375 1633090370 3175229103 3694800586 2317304097 3749387953 2802352610 526763488 1430436085 1221427164 2185427669 1597051072 332614010 1404082235 2044505041 1522763242 3750690515 1446612143 2714935612 3473739387 1004778710 1429415538 3289877261 1586605476 3634939814 2541538706 355596314 4107531599 91378290 1970637540 1300050869 4063194602 4261029000 3221078086 1083209772 369288759 2565837751 1769799789 3615896130 1110339336 4276190878 244600715 706714488 2853953208 147111338 1383846421 2355107223 2941873111 2258782084 3733516202 3285356262 2634157153 4121947922 4235908722 3293495423 1742576446 746835445 2235730451 2002644580 1731098096 2408952642 2299016669 880323564 2884831722 4272580406 1030625456 1757831892 402398227 240794474 1795604397 668369269 1462618675 2055546863 1637131273 669212876 1721314526 4076962452 681611409 1808881942 1778066225 1783661077 35495241 4255508936 1821970769 950420768 3337484918 2040423967 4220782911 2067015496 834724061 3119564465 1701698879 396025943 2336554053 2256218268 2441012684 1101650373 876522009 1283144262 646128190 2626723730 15141322 2997337479 392752827 3148787228 4159722106 3048967400 777959344 3449410314 288264239 3548073870 583181871 946151564 1402486539 141425210 3555370616 3769319653 849829942 2109370934 1359156303 562728158 1769092362 1505493653 435728933 2966406651 3526195171 1075060132 4287402939 296407681 1318886798 3936986218 2627324152 197350265 3447781683 2043523742 2792277412 753966688 3089215516 1243596006 2753126056 2546287895 1957869484 255 362436" option to reproduce the execution
0.00/0.01	c #vars 183
0.00/0.01	c #constraints 61
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 |      101      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      161 |      100 |      101      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      381 |      250 |      112      0 |        0 |        0
0.00/0.08	c  0.1s |       3 |      698 |      475 |      124      3 |        0 |        0
0.09/0.13	c  0.1s |       4 |     1144 |      813 |      137      6 |        0 |        0
0.19/0.20	c  0.2s |       5 |     1799 |     1320 |      151     10 |        0 |        0
0.29/0.32	c  0.3s |       6 |     2752 |     2081 |      184     15 |        0 |        0
0.49/0.51	c  0.5s |       7 |     4158 |     3223 |      203     22 |        0 |        0
0.68/0.77	c  0.8s |       8 |     6153 |     4936 |      224     32 |        0 |        0
1.10/1.12	c  1.1s |       9 |     9045 |     7506 |      247     47 |        0 |        0
1.49/1.52	c  1.5s |      10 |    13435 |    11361 |      272     67 |        0 |        0
2.20/2.23	c  2.2s |      11 |    20255 |    17144 |      300     96 |        0 |        0
3.19/3.30	c  3.3s |      12 |    30394 |    25819 |      330    137 |        0 |        0
4.89/4.90	c  4.9s |      13 |    45498 |    38832 |      364    197 |        0 |        0
6.89/6.90	c  6.9s |      13 |    61067 |    52132 |      364    255 |        0 |        0
7.79/7.89	c  7.9s |      14 |    68426 |    58352 |      401    282 |        0 |        0
9.89/9.91	c  9.9s |      14 |    84389 |    72252 |      401    337 |        0 |        0
11.88/11.91	c 11.9s |      14 |    99338 |    85352 |      401    388 |        0 |        0
12.19/12.28	c 12.3s |      15 |   101934 |    87632 |      442    397 |        0 |        0
14.18/14.28	c 14.3s |      15 |   118052 |   101232 |      442    446 |        0 |        0
16.19/16.29	c 16.3s |      15 |   133750 |   114432 |      442    495 |        0 |        0
18.29/18.30	c 18.3s |      15 |   147750 |   126632 |      442    540 |        0 |        0
19.09/19.11	c 19.1s |      16 |   153268 |   131552 |      487    558 |        0 |        0
21.09/21.11	c 21.1s |      16 |   169798 |   145252 |      487    606 |        0 |        0
23.10/23.11	c 23.1s |      16 |   184070 |   157652 |      487    649 |        0 |        0
25.09/25.12	c 25.1s |      16 |   198846 |   170452 |      487    694 |        0 |        0
27.09/27.13	c 27.1s |      16 |   214445 |   183752 |      487    740 |        0 |        0
29.09/29.13	c 29.1s |      16 |   228585 |   196252 |      536    784 |        0 |        0
29.29/29.32	c 29.3s |      17 |   229892 |   197432 |      536    788 |        0 |        0
31.29/31.32	c 31.3s |      17 |   245748 |   210632 |      536    830 |        0 |        0
33.29/33.33	c 33.3s |      17 |   261529 |   223732 |      536    872 |        0 |        0
35.29/35.34	c 35.3s |      17 |   277763 |   236832 |      536    915 |        0 |        0
37.29/37.35	c 37.3s |      17 |   294276 |   250232 |      536    958 |        0 |        0
39.28/39.35	c 39.3s |      17 |   309530 |   263232 |      536   1000 |        0 |        0
41.28/41.36	c 41.3s |      17 |   325328 |   276232 |      536   1042 |        0 |        0
43.28/43.36	c 43.3s |      17 |   340434 |   288932 |      536   1083 |        0 |        0
44.48/44.51	c 44.5s |      18 |   349095 |   296252 |      590   1106 |        0 |        0
46.48/46.52	c 46.5s |      18 |   363455 |   308552 |      590   1143 |        0 |        0
48.49/48.53	c 48.5s |      18 |   376955 |   320452 |      590   1178 |        0 |        0
50.48/50.55	c 50.5s |      18 |   390605 |   332452 |      590   1214 |        0 |        0
52.48/52.55	c 52.5s |      18 |   405002 |   344952 |      590   1251 |        0 |        0
54.48/54.56	c 54.5s |      18 |   418398 |   356752 |      590   1286 |        0 |        0
56.48/56.57	c 56.6s |      18 |   431813 |   368652 |      590   1321 |        0 |        0
58.48/58.58	c 58.6s |      18 |   445036 |   380352 |      590   1356 |        0 |        0
60.48/60.59	c 60.6s |      18 |   458490 |   392252 |      590   1391 |        0 |        0
62.58/62.61	c 62.6s |      18 |   472299 |   404252 |      590   1427 |        0 |        0
64.58/64.62	c 64.6s |      18 |   485512 |   415852 |      590   1461 |        0 |        0
66.57/66.63	c 66.6s |      18 |   497389 |   426752 |      590   1493 |        0 |        0
68.57/68.64	c 68.6s |      18 |   510369 |   438352 |      590   1526 |        0 |        0
69.67/69.75	c 69.7s |      19 |   517146 |   444482 |      649   1543 |        0 |        0
71.67/71.76	c 71.7s |      19 |   530638 |   456282 |      649   1575 |        0 |        0
73.68/73.76	c 73.8s |      19 |   543440 |   467582 |      649   1606 |        0 |        0
75.67/75.77	c 75.8s |      19 |   556657 |   479182 |      649   1637 |        0 |        0
77.68/77.77	c 77.8s |      19 |   569837 |   490582 |      649   1668 |        0 |        0
79.68/79.79	c 79.8s |      19 |   582625 |   501882 |      649   1699 |        0 |        0
81.78/81.81	c 81.8s |      19 |   595351 |   513182 |      649   1729 |        0 |        0
83.78/83.81	c 83.8s |      19 |   608552 |   524782 |      649   1761 |        0 |        0
85.79/85.82	c 85.8s |      19 |   622545 |   536582 |      649   1793 |        0 |        0
87.78/87.83	c 87.8s |      19 |   636155 |   548182 |      649   1824 |        0 |        0
89.78/89.85	c 89.8s |      19 |   649927 |   559982 |      649   1856 |        0 |        0
91.78/91.85	c 91.8s |      19 |   662471 |   571082 |      649   1886 |        0 |        0
93.78/93.85	c 93.8s |      19 |   674683 |   581882 |      649   1916 |        0 |        0
95.78/95.85	c 95.8s |      19 |   687901 |   593382 |      649   1947 |        0 |        0
97.78/97.87	c 97.9s |      19 |   700817 |   604682 |      649   1978 |        0 |        0
99.77/99.87	c 99.9s |      19 |   714068 |   615982 |      649   2009 |        0 |        0
101.77/101.88	c  101s |      19 |   727749 |   627582 |      649   2040 |        0 |        0
103.77/103.88	c  103s |      19 |   740768 |   638882 |      649   2072 |        0 |        0
105.77/105.89	c  105s |      19 |   755126 |   650782 |      649   2104 |        0 |        0
107.78/107.90	c  107s |      19 |   769198 |   662382 |      714   2136 |        0 |        0
108.57/108.67	c  108s |      20 |   774431 |   666827 |      714   2147 |        0 |        0
110.57/110.67	c  110s |      20 |   789889 |   678927 |      714   2177 |        0 |        0
112.57/112.68	c  112s |      20 |   804415 |   691027 |      714   2208 |        0 |        0
114.57/114.70	c  114s |      20 |   819288 |   703027 |      714   2238 |        0 |        0
116.58/116.70	c  116s |      20 |   833730 |   714827 |      714   2268 |        0 |        0
118.67/118.71	c  118s |      20 |   849540 |   727227 |      714   2300 |        0 |        0
120.67/120.72	c  120s |      20 |   864710 |   739327 |      714   2330 |        0 |        0
122.67/122.72	c  122s |      20 |   879305 |   751127 |      714   2360 |        0 |        0
124.67/124.73	c  124s |      20 |   895461 |   763427 |      714   2391 |        0 |        0
126.67/126.73	c  126s |      20 |   912022 |   775927 |      714   2423 |        0 |        0
128.67/128.75	c  128s |      20 |   926156 |   787427 |      714   2452 |        0 |        0
130.67/130.75	c  130s |      20 |   939862 |   798527 |      714   2480 |        0 |        0
132.67/132.76	c  132s |      20 |   954709 |   810327 |      714   2510 |        0 |        0
134.67/134.77	c  134s |      20 |   968735 |   821827 |      714   2539 |        0 |        0
136.67/136.78	c  136s |      20 |   981825 |   832827 |      714   2567 |        0 |        0
138.68/138.78	c  138s |      20 |   995905 |   844527 |      714   2596 |        0 |        0
140.67/140.79	c  140s |      20 |  1010875 |   856227 |      714   2626 |        0 |        0
142.67/142.80	c  142s |      20 |  1025866 |   868027 |      714   2655 |        0 |        0
144.77/144.81	c  144s |      20 |  1040126 |   879627 |      714   2685 |        0 |        0
146.77/146.82	c  146s |      20 |  1053755 |   890827 |      714   2713 |        0 |        0
148.77/148.84	c  148s |      20 |  1068658 |   902627 |      714   2743 |        0 |        0
150.78/150.84	c  150s |      20 |  1083636 |   914627 |      714   2773 |        0 |        0
152.77/152.85	c  152s |      20 |  1098288 |   926527 |      714   2804 |        0 |        0
154.77/154.86	c  154s |      20 |  1113346 |   938627 |      714   2835 |        0 |        0
156.76/156.87	c  156s |      20 |  1126918 |   950127 |      714   2865 |        0 |        0
158.76/158.88	c  158s |      20 |  1141267 |   962127 |      714   2896 |        0 |        0
160.76/160.89	c  160s |      20 |  1155548 |   973727 |      714   2925 |        0 |        0
162.77/162.90	c  162s |      20 |  1169798 |   985227 |      714   2954 |        0 |        0
164.86/164.90	c  164s |      20 |  1185372 |   997027 |      786   2984 |        0 |        0
165.36/165.47	c  165s |      21 |  1189531 |  1000345 |      786   2991 |        0 |        0
167.36/167.48	c  167s |      21 |  1204812 |  1013045 |      786   3021 |        0 |        0
169.37/169.49	c  169s |      21 |  1218945 |  1024745 |      786   3048 |        0 |        0
171.46/171.51	c  171s |      21 |  1232058 |  1035545 |      786   3074 |        0 |        0
173.47/173.52	c  173s |      21 |  1246947 |  1047945 |      786   3103 |        0 |        0
175.47/175.53	c  175s |      21 |  1262084 |  1060045 |      786   3132 |        0 |        0
177.47/177.54	c  177s |      21 |  1276508 |  1071745 |      786   3159 |        0 |        0
179.46/179.55	c  179s |      21 |  1291331 |  1083345 |      786   3186 |        0 |        0
181.47/181.55	c  181s |      21 |  1306382 |  1094945 |      786   3213 |        0 |        0
183.46/183.56	c  183s |      21 |  1320903 |  1106445 |      786   3240 |        0 |        0
185.46/185.56	c  185s |      21 |  1335317 |  1118145 |      786   3267 |        0 |        0
187.46/187.57	c  187s |      21 |  1349756 |  1129945 |      786   3295 |        0 |        0
189.46/189.58	c  189s |      21 |  1365269 |  1141845 |      786   3323 |        0 |        0
191.47/191.58	c  191s |      21 |  1380846 |  1153645 |      786   3350 |        0 |        0
193.46/193.59	c  193s |      21 |  1395770 |  1165345 |      786   3378 |        0 |        0
195.46/195.59	c  195s |      21 |  1412089 |  1177445 |      786   3406 |        0 |        0
197.56/197.60	c  197s |      21 |  1428687 |  1189545 |      786   3434 |        0 |        0
199.55/199.61	c  199s |      21 |  1445234 |  1201545 |      786   3462 |        0 |        0
201.55/201.63	c  201s |      21 |  1460899 |  1213445 |      786   3490 |        0 |        0
203.56/203.63	c  203s |      21 |  1476694 |  1225745 |      786   3518 |        0 |        0
205.55/205.64	c  205s |      21 |  1493250 |  1238045 |      786   3547 |        0 |        0
207.55/207.65	c  207s |      21 |  1508144 |  1249545 |      786   3574 |        0 |        0
209.55/209.66	c  209s |      21 |  1522389 |  1260945 |      786   3600 |        0 |        0
211.55/211.67	c  211s |      21 |  1538288 |  1272945 |      786   3628 |        0 |        0
213.55/213.68	c  213s |      21 |  1555258 |  1284845 |      786   3657 |        0 |        0
215.55/215.68	c  215s |      21 |  1571737 |  1296645 |      786   3684 |        0 |        0
217.55/217.69	c  217s |      21 |  1586801 |  1308045 |      786   3711 |        0 |        0
219.64/219.71	c  219s |      21 |  1601926 |  1319645 |      786   3738 |        0 |        0
221.64/221.72	c  221s |      21 |  1617567 |  1331245 |      786   3765 |        0 |        0
223.64/223.72	c  223s |      21 |  1634073 |  1342945 |      786   3793 |        0 |        0
225.64/225.72	c  225s |      21 |  1649865 |  1354545 |      786   3820 |        0 |        0
227.65/227.73	c  227s |      21 |  1666543 |  1366045 |      786   3847 |        0 |        0
229.64/229.74	c  229s |      21 |  1683661 |  1377845 |      786   3874 |        0 |        0
231.64/231.74	c  231s |      21 |  1699597 |  1389345 |      786   3901 |        0 |        0
233.64/233.75	c  233s |      21 |  1716556 |  1401445 |      786   3930 |        0 |        0
235.64/235.76	c  235s |      21 |  1732739 |  1413445 |      786   3958 |        0 |        0
237.64/237.78	c  237s |      21 |  1749057 |  1425545 |      786   3986 |        0 |        0
239.63/239.79	c  239s |      21 |  1765900 |  1437445 |      786   4014 |        0 |        0
241.73/241.80	c  241s |      21 |  1782954 |  1449545 |      786   4043 |        0 |        0
243.74/243.81	c  243s |      21 |  1799123 |  1461345 |      786   4070 |        0 |        0
245.74/245.82	c  245s |      21 |  1815771 |  1473145 |      786   4098 |        0 |        0
247.74/247.84	c  247s |      21 |  1830054 |  1484445 |      786   4124 |        0 |        0
249.74/249.85	c  249s |      21 |  1844165 |  1495645 |      865   4150 |        0 |        0
250.63/250.73	c  250s |      22 |  1850491 |  1500622 |      865   4160 |        0 |        0
252.63/252.74	c  252s |      22 |  1864350 |  1512022 |      865   4184 |        0 |        0
254.63/254.75	c  254s |      22 |  1877470 |  1523322 |      865   4209 |        0 |        0
256.63/256.76	c  256s |      22 |  1890578 |  1534622 |      865   4233 |        0 |        0
258.63/258.77	c  258s |      22 |  1903385 |  1545822 |      865   4256 |        0 |        0
260.64/260.79	c  260s |      22 |  1916131 |  1557022 |      865   4280 |        0 |        0
262.73/262.80	c  262s |      22 |  1928930 |  1568122 |      865   4304 |        0 |        0
264.73/264.82	c  264s |      22 |  1941083 |  1578822 |      865   4327 |        0 |        0
266.73/266.84	c  266s |      22 |  1953524 |  1589622 |      865   4350 |        0 |        0
268.72/268.84	c  268s |      22 |  1967343 |  1600922 |      865   4374 |        0 |        0
270.72/270.84	c  270s |      22 |  1980564 |  1612122 |      865   4398 |        0 |        0
272.73/272.85	c  272s |      22 |  1995407 |  1624022 |      865   4423 |        0 |        0
274.72/274.86	c  274s |      22 |  2008369 |  1635122 |      865   4446 |        0 |        0
276.72/276.88	c  276s |      22 |  2021390 |  1646222 |      865   4470 |        0 |        0
278.72/278.89	c  278s |      22 |  2034705 |  1657422 |      865   4494 |        0 |        0
280.82/280.91	c  280s |      22 |  2046903 |  1668022 |      865   4517 |        0 |        0
282.82/282.92	c  282s |      22 |  2060129 |  1679222 |      865   4540 |        0 |        0
284.82/284.92	c  284s |      22 |  2073797 |  1691022 |      865   4566 |        0 |        0
286.82/286.93	c  286s |      22 |  2086932 |  1702122 |      865   4589 |        0 |        0
288.82/288.94	c  288s |      22 |  2100875 |  1713222 |      865   4613 |        0 |        0
290.82/290.95	c  290s |      22 |  2114205 |  1724422 |      865   4637 |        0 |        0
292.82/292.95	c  292s |      22 |  2128819 |  1736122 |      865   4662 |        0 |        0
294.82/294.95	c  294s |      22 |  2143214 |  1747822 |      865   4687 |        0 |        0
296.81/296.96	c  296s |      22 |  2157977 |  1759622 |      865   4712 |        0 |        0
298.81/298.97	c  298s |      22 |  2171738 |  1771022 |      865   4737 |        0 |        0
300.81/300.97	c  300s |      22 |  2184700 |  1782122 |      865   4761 |        0 |        0
302.81/302.99	c  302s |      22 |  2198047 |  1793222 |      865   4784 |        0 |        0
304.91/305.00	c  304s |      22 |  2211681 |  1804422 |      865   4809 |        0 |        0
306.92/307.02	c  307s |      22 |  2225942 |  1815722 |      865   4833 |        0 |        0
308.91/309.02	c  309s |      22 |  2242551 |  1828222 |      865   4860 |        0 |        0
310.90/311.02	c  311s |      22 |  2256488 |  1839222 |      865   4883 |        0 |        0
312.90/313.04	c  313s |      22 |  2270440 |  1850622 |      865   4908 |        0 |        0
314.90/315.06	c  315s |      22 |  2284001 |  1861922 |      865   4932 |        0 |        0
316.90/317.07	c  317s |      22 |  2298291 |  1873622 |      865   4957 |        0 |        0
318.90/319.09	c  319s |      22 |  2312667 |  1885322 |      865   4982 |        0 |        0
320.90/321.09	c  321s |      22 |  2327658 |  1897222 |      865   5007 |        0 |        0
323.00/323.10	c  323s |      22 |  2341758 |  1908822 |      865   5032 |        0 |        0
325.00/325.11	c  325s |      22 |  2356722 |  1920622 |      865   5057 |        0 |        0
327.00/327.11	c  327s |      22 |  2371284 |  1932422 |      865   5082 |        0 |        0
328.99/329.13	c  329s |      22 |  2385093 |  1944022 |      865   5107 |        0 |        0
330.99/331.13	c  331s |      22 |  2399953 |  1955822 |      865   5132 |        0 |        0
332.99/333.14	c  333s |      22 |  2415349 |  1968022 |      865   5158 |        0 |        0
334.99/335.16	c  335s |      22 |  2429986 |  1979922 |      865   5184 |        0 |        0
336.98/337.16	c  337s |      22 |  2444893 |  1991922 |      865   5209 |        0 |        0
338.98/339.16	c  339s |      22 |  2458975 |  2003322 |      865   5233 |        0 |        0
340.99/341.18	c  341s |      22 |  2473987 |  2015122 |      865   5258 |        0 |        0
342.98/343.18	c  343s |      22 |  2488902 |  2026722 |      865   5283 |        0 |        0
344.98/345.18	c  345s |      22 |  2503175 |  2037922 |      865   5307 |        0 |        0
346.98/347.18	c  347s |      22 |  2517194 |  2049322 |      865   5331 |        0 |        0
348.98/349.19	c  349s |      22 |  2531526 |  2060822 |      865   5355 |        0 |        0
351.08/351.20	c  351s |      22 |  2546364 |  2072722 |      865   5381 |        0 |        0
353.08/353.21	c  353s |      22 |  2561340 |  2084622 |      865   5406 |        0 |        0
355.08/355.22	c  355s |      22 |  2575594 |  2096222 |      865   5431 |        0 |        0
357.08/357.23	c  357s |      22 |  2590425 |  2107822 |      865   5456 |        0 |        0
359.07/359.23	c  359s |      22 |  2604255 |  2119222 |      865   5480 |        0 |        0
361.07/361.25	c  361s |      22 |  2617967 |  2130822 |      865   5505 |        0 |        0
363.07/363.25	c  363s |      22 |  2631519 |  2142222 |      865   5530 |        0 |        0
365.08/365.26	c  365s |      22 |  2644281 |  2153322 |      865   5553 |        0 |        0
367.07/367.28	c  367s |      22 |  2657133 |  2164522 |      865   5577 |        0 |        0
369.06/369.29	c  369s |      22 |  2670331 |  2175822 |      865   5601 |        0 |        0
371.16/371.30	c  371s |      22 |  2684026 |  2187122 |      865   5625 |        0 |        0
373.16/373.31	c  373s |      22 |  2697928 |  2198422 |      865   5649 |        0 |        0
375.16/375.31	c  375s |      22 |  2712115 |  2209922 |      865   5674 |        0 |        0
377.17/377.32	c  377s |      22 |  2728005 |  2222322 |      865   5700 |        0 |        0
379.16/379.33	c  379s |      22 |  2743088 |  2234322 |      865   5726 |        0 |        0
381.16/381.33	c  381s |      22 |  2756530 |  2245422 |      952   5748 |        0 |        0
382.15/382.37	c  382s |      23 |  2763136 |  2251038 |      952   5759 |        0 |        0
384.15/384.38	c  384s |      23 |  2776298 |  2262538 |      952   5781 |        0 |        0
386.15/386.38	c  386s |      23 |  2789909 |  2274438 |      952   5804 |        0 |        0
388.16/388.40	c  388s |      23 |  2804624 |  2286638 |      952   5828 |        0 |        0
390.26/390.40	c  390s |      23 |  2818211 |  2298338 |      952   5851 |        0 |        0
392.26/392.40	c  392s |      23 |  2831225 |  2309938 |      952   5874 |        0 |        0
394.26/394.42	c  394s |      23 |  2844143 |  2321338 |      952   5896 |        0 |        0
396.26/396.44	c  396s |      23 |  2856831 |  2332638 |      952   5919 |        0 |        0
398.25/398.45	c  398s |      23 |  2869913 |  2344038 |      952   5941 |        0 |        0
400.26/400.45	c  400s |      23 |  2882699 |  2355238 |      952   5963 |        0 |        0
402.25/402.45	c  402s |      23 |  2895621 |  2366438 |      952   5985 |        0 |        0
404.25/404.46	c  404s |      23 |  2909565 |  2378038 |      952   6008 |        0 |        0
406.25/406.48	c  406s |      23 |  2923004 |  2389438 |      952   6030 |        0 |        0
408.24/408.48	c  408s |      23 |  2938307 |  2401538 |      952   6054 |        0 |        0
410.25/410.48	c  410s |      23 |  2953372 |  2413538 |      952   6077 |        0 |        0
412.24/412.49	c  412s |      23 |  2968179 |  2425638 |      952   6101 |        0 |        0
414.34/414.50	c  414s |      23 |  2982740 |  2437438 |      952   6124 |        0 |        0
416.34/416.52	c  416s |      23 |  2997336 |  2449438 |      952   6147 |        0 |        0
418.33/418.53	c  418s |      23 |  3011432 |  2461038 |      952   6170 |        0 |        0
420.33/420.54	c  420s |      23 |  3025481 |  2472738 |      952   6193 |        0 |        0
422.34/422.55	c  422s |      23 |  3040469 |  2484738 |      952   6216 |        0 |        0
424.33/424.57	c  424s |      23 |  3055313 |  2496638 |      952   6240 |        0 |        0
426.33/426.57	c  426s |      23 |  3068742 |  2507838 |      952   6262 |        0 |        0
428.33/428.58	c  428s |      23 |  3084058 |  2519938 |      952   6285 |        0 |        0
430.33/430.58	c  430s |      23 |  3100031 |  2532438 |      952   6310 |        0 |        0
432.33/432.59	c  432s |      23 |  3114669 |  2544238 |      952   6333 |        0 |        0
434.44/434.61	c  434s |      23 |  3129139 |  2556038 |      952   6356 |        0 |        0
436.43/436.63	c  436s |      23 |  3143418 |  2567738 |      952   6379 |        0 |        0
438.43/438.63	c  438s |      23 |  3158309 |  2579638 |      952   6403 |        0 |        0
440.43/440.64	c  440s |      23 |  3175322 |  2592338 |      952   6428 |        0 |        0
442.43/442.65	c  442s |      23 |  3190913 |  2604438 |      952   6452 |        0 |        0
444.43/444.66	c  444s |      23 |  3205839 |  2616438 |      952   6475 |        0 |        0
446.44/446.67	c  446s |      23 |  3220629 |  2628338 |      952   6499 |        0 |        0
448.43/448.68	c  448s |      23 |  3235882 |  2640438 |      952   6522 |        0 |        0
450.53/450.70	c  450s |      23 |  3250154 |  2652138 |      952   6546 |        0 |        0
452.53/452.70	c  452s |      23 |  3264490 |  2663938 |      952   6569 |        0 |        0
454.52/454.71	c  454s |      23 |  3279457 |  2675638 |      952   6591 |        0 |        0
456.52/456.72	c  456s |      23 |  3294177 |  2687538 |      952   6615 |        0 |        0
458.53/458.74	c  458s |      23 |  3308913 |  2699238 |      952   6638 |        0 |        0
460.52/460.75	c  460s |      23 |  3323751 |  2711138 |      952   6661 |        0 |        0
462.51/462.77	c  462s |      23 |  3337373 |  2722238 |      952   6683 |        0 |        0
464.52/464.78	c  464s |      23 |  3351856 |  2733938 |      952   6706 |        0 |        0
466.52/466.80	c  466s |      23 |  3367779 |  2746238 |      952   6730 |        0 |        0
468.62/468.80	c  468s |      23 |  3380923 |  2757238 |      952   6752 |        0 |        0
470.62/470.81	c  470s |      23 |  3394909 |  2768438 |      952   6774 |        0 |        0
472.61/472.81	c  472s |      23 |  3409449 |  2779938 |      952   6797 |        0 |        0
474.61/474.82	c  474s |      23 |  3424346 |  2791738 |      952   6820 |        0 |        0
476.61/476.83	c  476s |      23 |  3439575 |  2804038 |      952   6844 |        0 |        0
478.61/478.84	c  478s |      23 |  3454356 |  2815938 |      952   6867 |        0 |        0
480.62/480.85	c  480s |      23 |  3468440 |  2827438 |      952   6890 |        0 |        0
482.61/482.86	c  482s |      23 |  3482286 |  2838838 |      952   6913 |        0 |        0
484.61/484.87	c  484s |      23 |  3495708 |  2849938 |      952   6935 |        0 |        0
486.61/486.87	c  486s |      23 |  3509467 |  2861138 |      952   6957 |        0 |        0
488.60/488.88	c  488s |      23 |  3523934 |  2872838 |      952   6980 |        0 |        0
490.60/490.89	c  490s |      23 |  3536993 |  2884138 |      952   7002 |        0 |        0
492.61/492.89	c  492s |      23 |  3550029 |  2895138 |      952   7024 |        0 |        0
494.70/494.91	c  494s |      23 |  3563140 |  2906238 |      952   7046 |        0 |        0
496.70/496.91	c  496s |      23 |  3577616 |  2917938 |      952   7069 |        0 |        0
498.69/498.92	c  498s |      23 |  3591002 |  2929238 |      952   7091 |        0 |        0
500.69/500.92	c  500s |      23 |  3604933 |  2940638 |      952   7113 |        0 |        0
502.69/502.94	c  502s |      23 |  3618504 |  2951938 |      952   7135 |        0 |        0
504.70/504.95	c  504s |      23 |  3633613 |  2963938 |      952   7159 |        0 |        0
506.69/506.95	c  506s |      23 |  3647817 |  2975538 |      952   7182 |        0 |        0
508.69/508.95	c  508s |      23 |  3661382 |  2986738 |      952   7204 |        0 |        0
510.69/510.97	c  510s |      23 |  3674862 |  2997838 |      952   7226 |        0 |        0
512.69/512.97	c  512s |      23 |  3687695 |  3008638 |      952   7247 |        0 |        0
514.69/514.98	c  514s |      23 |  3702109 |  3020438 |      952   7271 |        0 |        0
516.69/516.98	c  516s |      23 |  3716447 |  3032138 |      952   7294 |        0 |        0
518.68/518.99	c  518s |      23 |  3732000 |  3044338 |      952   7318 |        0 |        0
520.68/520.99	c  520s |      23 |  3747285 |  3056438 |      952   7342 |        0 |        0
522.78/523.01	c  522s |      23 |  3762300 |  3068438 |      952   7365 |        0 |        0
524.79/525.02	c  525s |      23 |  3777141 |  3080138 |      952   7388 |        0 |        0
526.80/527.03	c  527s |      23 |  3792308 |  3091838 |      952   7412 |        0 |        0
528.78/529.04	c  529s |      23 |  3806655 |  3103238 |      952   7434 |        0 |        0
530.78/531.04	c  531s |      23 |  3821004 |  3114538 |      952   7456 |        0 |        0
532.78/533.05	c  533s |      23 |  3835493 |  3126138 |      952   7479 |        0 |        0
534.78/535.06	c  535s |      23 |  3850610 |  3138138 |      952   7503 |        0 |        0
536.78/537.07	c  537s |      23 |  3865515 |  3150038 |      952   7527 |        0 |        0
538.78/539.09	c  539s |      23 |  3879771 |  3161538 |      952   7550 |        0 |        0
540.88/541.11	c  541s |      23 |  3894960 |  3173738 |      952   7574 |        0 |        0
542.87/543.12	c  543s |      23 |  3910284 |  3185738 |      952   7597 |        0 |        0
544.87/545.12	c  545s |      23 |  3925071 |  3197638 |      952   7621 |        0 |        0
546.87/547.13	c  547s |      23 |  3939081 |  3209238 |      952   7644 |        0 |        0
548.87/549.13	c  549s |      23 |  3952902 |  3220738 |      952   7667 |        0 |        0
550.87/551.14	c  551s |      23 |  3967690 |  3232438 |      952   7690 |        0 |        0
552.87/553.16	c  553s |      23 |  3982074 |  3243738 |      952   7712 |        0 |        0
554.87/555.16	c  555s |      23 |  3996911 |  3255438 |      952   7735 |        0 |        0
556.87/557.17	c  557s |      23 |  4011844 |  3267138 |      952   7759 |        0 |        0
558.86/559.18	c  559s |      23 |  4025493 |  3278238 |      952   7781 |        0 |        0
560.87/561.18	c  561s |      23 |  4041201 |  3290238 |      952   7804 |        0 |        0
562.86/563.20	c  563s |      23 |  4056272 |  3301938 |      952   7828 |        0 |        0
564.96/565.21	c  565s |      23 |  4071116 |  3313538 |      952   7851 |        0 |        0
566.96/567.21	c  567s |      23 |  4085409 |  3325038 |      952   7873 |        0 |        0
568.96/569.22	c  569s |      23 |  4101140 |  3337038 |      952   7897 |        0 |        0
570.96/571.23	c  571s |      23 |  4115045 |  3348438 |      952   7920 |        0 |        0
572.97/573.24	c  573s |      23 |  4128819 |  3359638 |     1048   7941 |        0 |        0
574.96/575.26	c  575s |      23 |  4143340 |  3371338 |     1048   7961 |        0 |        0
575.86/576.20	c  576s |      24 |  4149734 |  3376662 |     1048   7971 |        0 |        0
577.96/578.21	c  578s |      24 |  4165389 |  3388662 |     1048   7992 |        0 |        0
579.96/580.21	c  580s |      24 |  4180486 |  3400462 |     1048   8013 |        0 |        0
581.96/582.23	c  582s |      24 |  4194507 |  3411762 |     1048   8034 |        0 |        0
583.96/584.25	c  584s |      24 |  4208533 |  3423062 |     1048   8054 |        0 |        0
585.95/586.26	c  586s |      24 |  4224286 |  3435162 |     1048   8075 |        0 |        0
587.95/588.26	c  588s |      24 |  4240023 |  3447162 |     1048   8097 |        0 |        0
589.95/590.26	c  590s |      24 |  4254931 |  3459162 |     1048   8119 |        0 |        0
591.95/592.27	c  592s |      24 |  4270209 |  3471462 |     1048   8141 |        0 |        0
593.95/594.29	c  594s |      24 |  4287518 |  3484662 |     1048   8164 |        0 |        0
595.95/596.30	c  596s |      24 |  4304853 |  3497662 |     1048   8188 |        0 |        0
598.04/598.31	c  598s |      24 |  4321433 |  3510262 |     1048   8210 |        0 |        0
600.04/600.31	c  600s |      24 |  4335772 |  3521862 |     1048   8231 |        0 |        0
602.04/602.31	c  602s |      24 |  4350839 |  3533862 |     1048   8253 |        0 |        0
604.04/604.31	c  604s |      24 |  4367653 |  3546462 |     1048   8275 |        0 |        0
606.04/606.33	c  606s |      24 |  4384834 |  3559262 |     1048   8298 |        0 |        0
608.04/608.33	c  608s |      24 |  4400571 |  3571262 |     1048   8320 |        0 |        0
610.04/610.34	c  610s |      24 |  4415304 |  3582962 |     1048   8341 |        0 |        0
612.04/612.35	c  612s |      24 |  4431334 |  3594962 |     1048   8362 |        0 |        0
614.04/614.35	c  614s |      24 |  4447313 |  3607062 |     1048   8384 |        0 |        0
616.03/616.35	c  616s |      24 |  4462526 |  3618762 |     1048   8405 |        0 |        0
618.05/618.37	c  618s |      24 |  4477990 |  3630462 |     1048   8426 |        0 |        0
620.04/620.38	c  620s |      24 |  4493103 |  3642062 |     1048   8447 |        0 |        0
622.04/622.39	c  622s |      24 |  4508728 |  3653862 |     1048   8468 |        0 |        0
624.04/624.40	c  624s |      24 |  4524244 |  3665562 |     1048   8489 |        0 |        0
626.13/626.41	c  626s |      24 |  4541181 |  3678062 |     1048   8512 |        0 |        0
628.13/628.41	c  628s |      24 |  4556777 |  3690062 |     1048   8533 |        0 |        0
630.14/630.43	c  630s |      24 |  4572211 |  3702062 |     1048   8555 |        0 |        0
632.13/632.44	c  632s |      24 |  4586400 |  3713462 |     1048   8576 |        0 |        0
634.13/634.45	c  634s |      24 |  4600900 |  3725162 |     1048   8597 |        0 |        0
636.13/636.45	c  636s |      24 |  4617834 |  3737662 |     1048   8619 |        0 |        0
638.13/638.45	c  638s |      24 |  4633854 |  3749662 |     1048   8641 |        0 |        0
640.12/640.47	c  640s |      24 |  4650310 |  3761862 |     1048   8663 |        0 |        0
642.13/642.48	c  642s |      24 |  4666857 |  3774062 |     1048   8685 |        0 |        0
644.12/644.48	c  644s |      24 |  4682638 |  3785962 |     1048   8706 |        0 |        0
646.13/646.50	c  646s |      24 |  4696817 |  3797362 |     1048   8726 |        0 |        0
648.23/648.50	c  648s |      24 |  4712241 |  3809462 |     1048   8748 |        0 |        0
650.23/650.51	c  650s |      24 |  4726689 |  3820862 |     1048   8768 |        0 |        0
652.23/652.52	c  652s |      24 |  4743948 |  3833262 |     1048   8791 |        0 |        0
654.23/654.52	c  654s |      24 |  4759789 |  3845162 |     1048   8812 |        0 |        0
656.23/656.52	c  656s |      24 |  4775060 |  3856962 |     1048   8833 |        0 |        0
658.22/658.53	c  658s |      24 |  4791245 |  3868862 |     1048   8855 |        0 |        0
660.22/660.54	c  660s |      24 |  4808799 |  3881262 |     1048   8877 |        0 |        0
662.22/662.54	c  662s |      24 |  4824723 |  3893362 |     1048   8899 |        0 |        0
664.23/664.54	c  664s |      24 |  4840912 |  3905462 |     1048   8921 |        0 |        0
666.22/666.55	c  666s |      24 |  4858065 |  3917962 |     1048   8943 |        0 |        0
668.22/668.56	c  668s |      24 |  4874443 |  3930162 |     1048   8965 |        0 |        0
670.22/670.56	c  670s |      24 |  4889504 |  3941762 |     1048   8986 |        0 |        0
672.21/672.56	c  672s |      24 |  4904740 |  3953362 |     1048   9007 |        0 |        0
674.21/674.57	c  674s |      24 |  4920856 |  3965462 |     1048   9028 |        0 |        0
676.22/676.58	c  676s |      24 |  4935204 |  3976862 |     1048   9049 |        0 |        0
678.21/678.59	c  678s |      24 |  4951275 |  3988962 |     1048   9071 |        0 |        0
680.21/680.59	c  680s |      24 |  4966231 |  4000562 |     1048   9092 |        0 |        0
682.21/682.59	c  682s |      24 |  4981398 |  4012162 |     1048   9112 |        0 |        0
684.21/684.60	c  684s |      24 |  4995610 |  4023362 |     1048   9133 |        0 |        0
686.31/686.61	c  686s |      24 |  5011310 |  4035262 |     1048   9154 |        0 |        0
688.31/688.62	c  688s |      24 |  5026899 |  4047062 |     1048   9175 |        0 |        0
690.30/690.63	c  690s |      24 |  5041306 |  4058162 |     1048   9195 |        0 |        0
692.30/692.64	c  692s |      24 |  5057675 |  4070262 |     1048   9217 |        0 |        0
694.30/694.64	c  694s |      24 |  5072764 |  4082162 |     1048   9239 |        0 |        0
696.30/696.64	c  696s |      24 |  5087092 |  4093462 |     1048   9259 |        0 |        0
698.30/698.64	c  698s |      24 |  5102303 |  4105262 |     1048   9280 |        0 |        0
700.29/700.65	c  700s |      24 |  5117025 |  4116462 |     1048   9300 |        0 |        0
702.29/702.65	c  702s |      24 |  5131380 |  4127562 |     1048   9320 |        0 |        0
704.29/704.66	c  704s |      24 |  5145870 |  4138462 |     1048   9340 |        0 |        0
706.29/706.67	c  706s |      24 |  5160015 |  4149962 |     1048   9361 |        0 |        0
708.29/708.68	c  708s |      24 |  5174542 |  4161662 |     1048   9382 |        0 |        0
710.30/710.70	c  710s |      24 |  5188894 |  4173162 |     1048   9403 |        0 |        0
712.39/712.70	c  712s |      24 |  5203123 |  4184362 |     1048   9423 |        0 |        0
714.39/714.70	c  714s |      24 |  5218459 |  4196162 |     1048   9444 |        0 |        0
716.39/716.72	c  716s |      24 |  5234762 |  4208462 |     1048   9466 |        0 |        0
718.38/718.73	c  718s |      24 |  5249487 |  4220262 |     1048   9487 |        0 |        0
720.38/720.73	c  720s |      24 |  5265158 |  4232262 |     1048   9508 |        0 |        0
722.39/722.73	c  722s |      24 |  5278957 |  4243462 |     1048   9528 |        0 |        0
724.38/724.74	c  724s |      24 |  5293130 |  4254762 |     1048   9549 |        0 |        0
726.38/726.76	c  726s |      24 |  5307324 |  4266162 |     1048   9569 |        0 |        0
728.38/728.78	c  728s |      24 |  5321089 |  4277362 |     1048   9590 |        0 |        0
730.38/730.79	c  730s |      24 |  5335629 |  4288862 |     1048   9611 |        0 |        0
732.48/732.80	c  732s |      24 |  5350668 |  4300862 |     1048   9632 |        0 |        0
734.38/734.80	c  734s |      24 |  5365964 |  4312762 |     1048   9653 |        0 |        0
736.48/736.82	c  736s |      24 |  5382036 |  4324662 |     1048   9675 |        0 |        0
738.48/738.83	c  738s |      24 |  5396677 |  4336162 |     1048   9695 |        0 |        0
740.48/740.84	c  740s |      24 |  5411520 |  4347962 |     1048   9716 |        0 |        0
742.48/742.85	c  742s |      24 |  5428480 |  4360262 |     1048   9738 |        0 |        0
744.49/744.85	c  744s |      24 |  5443755 |  4371762 |     1048   9759 |        0 |        0
746.48/746.86	c  746s |      24 |  5459994 |  4383962 |     1048   9781 |        0 |        0
748.47/748.87	c  748s |      24 |  5474997 |  4395362 |     1048   9801 |        0 |        0
750.47/750.88	c  750s |      24 |  5490203 |  4407262 |     1048   9823 |        0 |        0
752.47/752.89	c  752s |      24 |  5505769 |  4418762 |     1048   9843 |        0 |        0
754.47/754.89	c  754s |      24 |  5521557 |  4430662 |     1048   9865 |        0 |        0
756.48/756.89	c  756s |      24 |  5537630 |  4442762 |     1048   9887 |        0 |        0
758.47/758.89	c  758s |      24 |  5552857 |  4454362 |     1048   9907 |        0 |        0
760.47/760.89	c  760s |      24 |  5567753 |  4465762 |     1048   9928 |        0 |        0
762.47/762.89	c  762s |      24 |  5582956 |  4477262 |     1048   9949 |        0 |        0
764.57/764.91	c  764s |      24 |  5598281 |  4489162 |     1048   9970 |        0 |        0
766.57/766.92	c  766s |      24 |  5614094 |  4501062 |     1048   9991 |        0 |        0
768.57/768.92	c  768s |      24 |  5628167 |  4512262 |     1048  10012 |        0 |        0
770.56/770.94	c  770s |      24 |  5642422 |  4523362 |     1048  10032 |        0 |        0
772.56/772.94	c  772s |      24 |  5656960 |  4534362 |     1048  10052 |        0 |        0
774.56/774.95	c  774s |      24 |  5671447 |  4545762 |     1048  10072 |        0 |        0
776.56/776.97	c  776s |      24 |  5686279 |  4557762 |     1048  10094 |        0 |        0
778.56/778.97	c  778s |      24 |  5701053 |  4569462 |     1048  10115 |        0 |        0
780.56/780.98	c  780s |      24 |  5716212 |  4581162 |     1048  10136 |        0 |        0
782.66/783.00	c  782s |      24 |  5730534 |  4592762 |     1048  10157 |        0 |        0
784.65/785.01	c  784s |      24 |  5744838 |  4604262 |     1048  10178 |        0 |        0
786.65/787.02	c  787s |      24 |  5759505 |  4615662 |     1048  10198 |        0 |        0
788.65/789.02	c  789s |      24 |  5774445 |  4626962 |     1048  10219 |        0 |        0
790.65/791.02	c  791s |      24 |  5788858 |  4638062 |     1048  10238 |        0 |        0
792.65/793.03	c  793s |      24 |  5803562 |  4649262 |     1048  10259 |        0 |        0
794.65/795.04	c  795s |      24 |  5819021 |  4661062 |     1048  10280 |        0 |        0
796.65/797.05	c  797s |      24 |  5834553 |  4672662 |     1048  10301 |        0 |        0
798.65/799.06	c  799s |      24 |  5848883 |  4683762 |     1048  10321 |        0 |        0
800.65/801.07	c  801s |      24 |  5864260 |  4695562 |     1048  10342 |        0 |        0
802.65/803.09	c  803s |      24 |  5879132 |  4707362 |     1048  10364 |        0 |        0
804.75/805.10	c  805s |      24 |  5893484 |  4718662 |     1048  10384 |        0 |        0
806.75/807.10	c  807s |      24 |  5907170 |  4729562 |     1048  10404 |        0 |        0
808.74/809.11	c  809s |      24 |  5922339 |  4740962 |     1048  10424 |        0 |        0
810.74/811.11	c  811s |      24 |  5936281 |  4751862 |     1048  10444 |        0 |        0
812.74/813.12	c  813s |      24 |  5951312 |  4763462 |     1048  10465 |        0 |        0
814.75/815.15	c  815s |      24 |  5966985 |  4774962 |     1048  10486 |        0 |        0
816.74/817.16	c  817s |      24 |  5982671 |  4786662 |     1048  10506 |        0 |        0
818.74/819.17	c  819s |      24 |  5997826 |  4798162 |     1048  10527 |        0 |        0
820.74/821.17	c  821s |      24 |  6012579 |  4809462 |     1048  10548 |        0 |        0
822.73/823.18	c  823s |      24 |  6026147 |  4820462 |     1048  10567 |        0 |        0
824.74/825.18	c  825s |      24 |  6040751 |  4831962 |     1048  10588 |        0 |        0
826.73/827.18	c  827s |      24 |  6054943 |  4843062 |     1048  10608 |        0 |        0
828.74/829.19	c  829s |      24 |  6070446 |  4854962 |     1048  10629 |        0 |        0
830.84/831.21	c  831s |      24 |  6086210 |  4866462 |     1048  10650 |        0 |        0
832.84/833.21	c  833s |      24 |  6100574 |  4877662 |     1048  10670 |        0 |        0
834.84/835.22	c  835s |      24 |  6115900 |  4889362 |     1048  10691 |        0 |        0
836.84/837.23	c  837s |      24 |  6132273 |  4901362 |     1048  10713 |        0 |        0
838.83/839.23	c  839s |      24 |  6148436 |  4913262 |     1048  10734 |        0 |        0
840.83/841.24	c  841s |      24 |  6164117 |  4924762 |     1048  10755 |        0 |        0
842.83/843.26	c  843s |      24 |  6177909 |  4935862 |     1048  10775 |        0 |        0
844.83/845.26	c  845s |      24 |  6194057 |  4947862 |     1048  10797 |        0 |        0
846.83/847.27	c  847s |      24 |  6208427 |  4959162 |     1048  10817 |        0 |        0
848.84/849.28	c  849s |      24 |  6222773 |  4970362 |     1048  10837 |        0 |        0
850.83/851.30	c  851s |      24 |  6236649 |  4981562 |     1048  10857 |        0 |        0
852.93/853.30	c  853s |      24 |  6251181 |  4992762 |     1048  10878 |        0 |        0
854.93/855.31	c  855s |      24 |  6266704 |  5004662 |     1048  10899 |        0 |        0
856.92/857.32	c  857s |      24 |  6283149 |  5016762 |     1048  10921 |        0 |        0
858.92/859.33	c  859s |      24 |  6299488 |  5028962 |     1153  10943 |        0 |        0
860.93/861.33	c  861s |      24 |  6315987 |  5041162 |     1153  10963 |        0 |        0
862.92/863.34	c  863s |      24 |  6332076 |  5052962 |     1153  10982 |        0 |        0
864.93/865.34	c  865s |      24 |  6347639 |  5064662 |     1153  11001 |        0 |        0
865.03/865.43	c  865s |      25 |  6348151 |  5065098 |     1153  11002 |        0 |        0
867.03/867.43	c  867s |      25 |  6363852 |  5077098 |     1153  11021 |        0 |        0
869.03/869.43	c  869s |      25 |  6379331 |  5088998 |     1153  11041 |        0 |        0
871.03/871.44	c  871s |      25 |  6393270 |  5100598 |     1153  11060 |        0 |        0
873.04/873.46	c  873s |      25 |  6408433 |  5112798 |     1153  11081 |        0 |        0
875.03/875.46	c  875s |      25 |  6422909 |  5124598 |     1153  11100 |        0 |        0
877.03/877.47	c  877s |      25 |  6436279 |  5135798 |     1153  11119 |        0 |        0
879.03/879.47	c  879s |      25 |  6449679 |  5146698 |     1153  11137 |        0 |        0
881.03/881.48	c  881s |      25 |  6463030 |  5157698 |     1153  11155 |        0 |        0
883.03/883.49	c  883s |      25 |  6477650 |  5169598 |     1153  11175 |        0 |        0
885.02/885.49	c  885s |      25 |  6491679 |  5180998 |     1153  11194 |        0 |        0
887.12/887.50	c  887s |      25 |  6506652 |  5192998 |     1153  11214 |        0 |        0
889.12/889.52	c  889s |      25 |  6520378 |  5204398 |     1153  11233 |        0 |        0
891.12/891.53	c  891s |      25 |  6534197 |  5215798 |     1153  11252 |        0 |        0
893.12/893.54	c  893s |      25 |  6547369 |  5226798 |     1153  11270 |        0 |        0
895.13/895.54	c  895s |      25 |  6560753 |  5237598 |     1153  11288 |        0 |        0
897.12/897.55	c  897s |      25 |  6573291 |  5248198 |     1153  11305 |        0 |        0
899.12/899.56	c  899s |      25 |  6586262 |  5258798 |     1153  11323 |        0 |        0
901.12/901.58	c  901s |      25 |  6598269 |  5268998 |     1153  11340 |        0 |        0
903.12/903.59	c  903s |      25 |  6611885 |  5279898 |     1153  11358 |        0 |        0
905.22/905.60	c  905s |      25 |  6626994 |  5291598 |     1153  11377 |        0 |        0
907.23/907.61	c  907s |      25 |  6641483 |  5302898 |     1153  11396 |        0 |        0
909.22/909.62	c  909s |      25 |  6655366 |  5313998 |     1153  11414 |        0 |        0
911.22/911.63	c  911s |      25 |  6670137 |  5325398 |     1153  11433 |        0 |        0
913.22/913.65	c  913s |      25 |  6685688 |  5336998 |     1153  11453 |        0 |        0
915.21/915.66	c  915s |      25 |  6698863 |  5347898 |     1153  11471 |        0 |        0
917.21/917.68	c  917s |      25 |  6711951 |  5358698 |     1153  11489 |        0 |        0
919.22/919.69	c  919s |      25 |  6726052 |  5369998 |     1153  11508 |        0 |        0
921.21/921.69	c  921s |      25 |  6742087 |  5382198 |     1153  11528 |        0 |        0
923.31/923.71	c  923s |      25 |  6756178 |  5393398 |     1153  11547 |        0 |        0
925.31/925.72	c  925s |      25 |  6770207 |  5404498 |     1153  11565 |        0 |        0
927.31/927.72	c  927s |      25 |  6783381 |  5415198 |     1153  11583 |        0 |        0
929.31/929.73	c  929s |      25 |  6797158 |  5426398 |     1153  11602 |        0 |        0
931.33/931.74	c  931s |      25 |  6811307 |  5437898 |     1153  11621 |        0 |        0
933.32/933.74	c  933s |      25 |  6825071 |  5449098 |     1153  11639 |        0 |        0
935.32/935.75	c  935s |      25 |  6838490 |  5460198 |     1153  11658 |        0 |        0
937.32/937.75	c  937s |      25 |  6851382 |  5471098 |     1153  11676 |        0 |        0
939.32/939.77	c  939s |      25 |  6865120 |  5482398 |     1153  11695 |        0 |        0
941.32/941.79	c  941s |      25 |  6878889 |  5493698 |     1153  11714 |        0 |        0
943.31/943.80	c  943s |      25 |  6892950 |  5505198 |     1153  11733 |        0 |        0
945.41/945.80	c  945s |      25 |  6906446 |  5516198 |     1153  11751 |        0 |        0
947.41/947.82	c  947s |      25 |  6918727 |  5526698 |     1153  11769 |        0 |        0
949.41/949.82	c  949s |      25 |  6930801 |  5537198 |     1153  11786 |        0 |        0
951.41/951.83	c  951s |      25 |  6942910 |  5547698 |     1153  11804 |        0 |        0
953.42/953.83	c  953s |      25 |  6955273 |  5558198 |     1153  11821 |        0 |        0
955.41/955.84	c  955s |      25 |  6967719 |  5568698 |     1153  11839 |        0 |        0
957.41/957.85	c  957s |      25 |  6979783 |  5579098 |     1153  11856 |        0 |        0
959.41/959.86	c  959s |      25 |  6991611 |  5589398 |     1153  11873 |        0 |        0
961.41/961.88	c  961s |      25 |  7004550 |  5600298 |     1153  11891 |        0 |        0
963.41/963.89	c  963s |      25 |  7017458 |  5611198 |     1153  11909 |        0 |        0
965.42/965.89	c  965s |      25 |  7030305 |  5621898 |     1153  11927 |        0 |        0
967.51/967.90	c  967s |      25 |  7042784 |  5632498 |     1153  11945 |        0 |        0
969.51/969.90	c  969s |      25 |  7055149 |  5643098 |     1153  11963 |        0 |        0
971.51/971.91	c  971s |      25 |  7068190 |  5654098 |     1153  11981 |        0 |        0
973.51/973.92	c  973s |      25 |  7080752 |  5664798 |     1153  11999 |        0 |        0
975.51/975.94	c  975s |      25 |  7093125 |  5675498 |     1153  12017 |        0 |        0
977.51/977.95	c  977s |      25 |  7106660 |  5686798 |     1153  12036 |        0 |        0
979.51/979.95	c  979s |      25 |  7119131 |  5697398 |     1153  12053 |        0 |        0
981.50/981.97	c  981s |      25 |  7132152 |  5708298 |     1153  12072 |        0 |        0
983.50/983.98	c  983s |      25 |  7145060 |  5718998 |     1153  12090 |        0 |        0
985.60/986.00	c  985s |      25 |  7158190 |  5729998 |     1153  12108 |        0 |        0
987.60/988.02	c  988s |      25 |  7171550 |  5741198 |     1153  12127 |        0 |        0
989.61/990.03	c  990s |      25 |  7184986 |  5752198 |     1153  12145 |        0 |        0
991.60/992.03	c  992s |      25 |  7198827 |  5763198 |     1153  12163 |        0 |        0
993.60/994.04	c  994s |      25 |  7212344 |  5774298 |     1153  12182 |        0 |        0
995.60/996.05	c  996s |      25 |  7225789 |  5785398 |     1153  12200 |        0 |        0
997.60/998.06	c  998s |      25 |  7240030 |  5796998 |     1153  12220 |        0 |        0
999.61/1000.08	c 1000s |      25 |  7254616 |  5808598 |     1153  12239 |        0 |        0
1001.60/1002.08	c 1002s |      25 |  7268777 |  5819998 |     1153  12259 |        0 |        0
1003.61/1004.09	c 1004s |      25 |  7282707 |  5831298 |     1153  12277 |        0 |        0
1005.71/1006.10	c 1006s |      25 |  7295959 |  5842498 |     1153  12296 |        0 |        0
1007.71/1008.12	c 1008s |      25 |  7309583 |  5853698 |     1153  12314 |        0 |        0
1009.71/1010.13	c 1010s |      25 |  7322336 |  5864398 |     1153  12332 |        0 |        0
1011.71/1012.13	c 1012s |      25 |  7335532 |  5875098 |     1153  12350 |        0 |        0
1013.71/1014.14	c 1014s |      25 |  7349207 |  5886098 |     1153  12368 |        0 |        0
1015.71/1016.15	c 1016s |      25 |  7363537 |  5897498 |     1153  12387 |        0 |        0
1017.71/1018.15	c 1018s |      25 |  7377870 |  5908898 |     1153  12406 |        0 |        0
1019.71/1020.15	c 1020s |      25 |  7392138 |  5920498 |     1153  12426 |        0 |        0
1021.70/1022.16	c 1022s |      25 |  7404491 |  5931198 |     1153  12444 |        0 |        0
1023.71/1024.16	c 1024s |      25 |  7416334 |  5941498 |     1153  12461 |        0 |        0
1025.70/1026.16	c 1026s |      25 |  7428229 |  5951798 |     1153  12478 |        0 |        0
1027.70/1028.16	c 1028s |      25 |  7439852 |  5961898 |     1153  12495 |        0 |        0
1029.70/1030.17	c 1030s |      25 |  7452194 |  5972398 |     1153  12512 |        0 |        0
1031.70/1032.18	c 1032s |      25 |  7465320 |  5983198 |     1153  12530 |        0 |        0
1033.80/1034.20	c 1034s |      25 |  7478479 |  5994198 |     1153  12548 |        0 |        0
1035.81/1036.21	c 1036s |      25 |  7491619 |  6004998 |     1153  12566 |        0 |        0
1037.80/1038.22	c 1038s |      25 |  7505116 |  6015898 |     1153  12585 |        0 |        0
1039.80/1040.23	c 1040s |      25 |  7517806 |  6026598 |     1153  12602 |        0 |        0
1041.80/1042.24	c 1042s |      25 |  7530713 |  6037198 |     1153  12620 |        0 |        0
1043.80/1044.26	c 1044s |      25 |  7542907 |  6047598 |     1153  12638 |        0 |        0
1045.80/1046.27	c 1046s |      25 |  7556205 |  6058298 |     1153  12655 |        0 |        0
1047.80/1048.27	c 1048s |      25 |  7568061 |  6068498 |     1153  12672 |        0 |        0
1049.80/1050.28	c 1050s |      25 |  7579692 |  6078498 |     1153  12689 |        0 |        0
1051.80/1052.30	c 1052s |      25 |  7591646 |  6088598 |     1153  12706 |        0 |        0
1053.90/1054.30	c 1054s |      25 |  7604312 |  6099098 |     1153  12723 |        0 |        0
1055.90/1056.31	c 1056s |      25 |  7616135 |  6109198 |     1153  12740 |        0 |        0
1057.90/1058.31	c 1058s |      25 |  7628217 |  6119498 |     1153  12757 |        0 |        0
1059.89/1060.33	c 1060s |      25 |  7641103 |  6130098 |     1153  12775 |        0 |        0
1061.89/1062.35	c 1062s |      25 |  7653173 |  6140398 |     1153  12792 |        0 |        0
1063.89/1064.36	c 1064s |      25 |  7665425 |  6150798 |     1153  12809 |        0 |        0
1065.89/1066.37	c 1066s |      25 |  7677620 |  6160998 |     1153  12826 |        0 |        0
1067.89/1068.37	c 1068s |      25 |  7689621 |  6171398 |     1153  12844 |        0 |        0
1069.90/1070.38	c 1070s |      25 |  7701308 |  6181598 |     1153  12861 |        0 |        0
1071.99/1072.40	c 1072s |      25 |  7713817 |  6192298 |     1153  12879 |        0 |        0
1073.99/1074.41	c 1074s |      25 |  7725858 |  6202698 |     1153  12896 |        0 |        0
1075.99/1076.43	c 1076s |      25 |  7738331 |  6213198 |     1153  12914 |        0 |        0
1077.99/1078.45	c 1078s |      25 |  7749963 |  6223298 |     1153  12931 |        0 |        0
1079.99/1080.46	c 1080s |      25 |  7763120 |  6234198 |     1153  12949 |        0 |        0
1082.00/1082.46	c 1082s |      25 |  7776079 |  6244798 |     1153  12967 |        0 |        0
1083.99/1084.47	c 1084s |      25 |  7787349 |  6254698 |     1153  12983 |        0 |        0
1085.99/1086.48	c 1086s |      25 |  7800687 |  6265398 |     1153  13001 |        0 |        0
1087.99/1088.49	c 1088s |      25 |  7814187 |  6276498 |     1153  13020 |        0 |        0
1090.09/1090.50	c 1090s |      25 |  7827349 |  6287598 |     1153  13038 |        0 |        0
1092.10/1092.50	c 1092s |      25 |  7839840 |  6298298 |     1153  13056 |        0 |        0
1094.10/1094.52	c 1094s |      25 |  7853103 |  6309398 |     1153  13075 |        0 |        0
1096.10/1096.54	c 1096s |      25 |  7865639 |  6320198 |     1153  13093 |        0 |        0
1098.10/1098.55	c 1098s |      25 |  7878195 |  6330798 |     1153  13111 |        0 |        0
1100.09/1100.56	c 1100s |      25 |  7890504 |  6341498 |     1153  13128 |        0 |        0
1102.09/1102.57	c 1102s |      25 |  7903088 |  6352298 |     1153  13146 |        0 |        0
1104.10/1104.58	c 1104s |      25 |  7915956 |  6363198 |     1153  13164 |        0 |        0
1106.09/1106.59	c 1106s |      25 |  7929217 |  6374198 |     1153  13183 |        0 |        0
1108.19/1108.60	c 1108s |      25 |  7942029 |  6384998 |     1153  13201 |        0 |        0
1110.19/1110.62	c 1110s |      25 |  7954408 |  6395498 |     1153  13218 |        0 |        0
1112.19/1112.63	c 1112s |      25 |  7967116 |  6405998 |     1153  13236 |        0 |        0
1114.19/1114.65	c 1114s |      25 |  7980315 |  6416698 |     1153  13254 |        0 |        0
1116.20/1116.66	c 1116s |      25 |  7992643 |  6426998 |     1153  13271 |        0 |        0
1118.19/1118.67	c 1118s |      25 |  8005095 |  6437398 |     1153  13288 |        0 |        0
1120.19/1120.69	c 1120s |      25 |  8017701 |  6447798 |     1153  13305 |        0 |        0
1122.19/1122.69	c 1122s |      25 |  8030442 |  6458498 |     1153  13323 |        0 |        0
1124.29/1124.71	c 1124s |      25 |  8042658 |  6468998 |     1153  13341 |        0 |        0
1126.29/1126.71	c 1126s |      25 |  8055402 |  6479298 |     1153  13358 |        0 |        0
1128.29/1128.73	c 1128s |      25 |  8067752 |  6489498 |     1153  13375 |        0 |        0
1130.29/1130.74	c 1130s |      25 |  8081269 |  6500398 |     1153  13393 |        0 |        0
1132.29/1132.75	c 1132s |      25 |  8095034 |  6511598 |     1153  13412 |        0 |        0
1134.29/1134.76	c 1134s |      25 |  8108311 |  6522598 |     1153  13430 |        0 |        0
1136.29/1136.76	c 1136s |      25 |  8121492 |  6533698 |     1153  13448 |        0 |        0
1138.29/1138.77	c 1138s |      25 |  8133939 |  6544398 |     1153  13466 |        0 |        0
1140.29/1140.77	c 1140s |      25 |  8146146 |  6554898 |     1153  13484 |        0 |        0
1142.28/1142.79	c 1142s |      25 |  8158061 |  6565098 |     1153  13501 |        0 |        0
1144.38/1144.80	c 1144s |      25 |  8171110 |  6575998 |     1153  13519 |        0 |        0
1146.38/1146.80	c 1146s |      25 |  8185559 |  6587498 |     1153  13538 |        0 |        0
1148.38/1148.82	c 1148s |      25 |  8200171 |  6598998 |     1153  13557 |        0 |        0
1150.38/1150.82	c 1150s |      25 |  8215013 |  6610398 |     1153  13576 |        0 |        0
1152.39/1152.84	c 1152s |      25 |  8229265 |  6621498 |     1153  13595 |        0 |        0
1154.38/1154.85	c 1154s |      25 |  8241945 |  6632298 |     1153  13613 |        0 |        0
1156.38/1156.86	c 1156s |      25 |  8253591 |  6642398 |     1153  13630 |        0 |        0
1158.38/1158.88	c 1158s |      25 |  8265353 |  6652498 |     1153  13647 |        0 |        0
1160.38/1160.88	c 1160s |      25 |  8276962 |  6662498 |     1153  13663 |        0 |        0
1162.39/1162.89	c 1162s |      25 |  8288846 |  6672798 |     1153  13680 |        0 |        0
1164.48/1164.91	c 1164s |      25 |  8301406 |  6683398 |     1153  13698 |        0 |        0
1166.48/1166.92	c 1166s |      25 |  8314183 |  6694198 |     1153  13716 |        0 |        0
1168.48/1168.93	c 1168s |      25 |  8327864 |  6705298 |     1153  13735 |        0 |        0
1170.48/1170.93	c 1170s |      25 |  8340897 |  6715798 |     1153  13752 |        0 |        0
1172.47/1172.93	c 1172s |      25 |  8355018 |  6727098 |     1153  13771 |        0 |        0
1174.48/1174.94	c 1174s |      25 |  8368938 |  6738198 |     1153  13789 |        0 |        0
1176.48/1176.95	c 1176s |      25 |  8381645 |  6748698 |     1153  13807 |        0 |        0
1178.48/1178.97	c 1178s |      25 |  8394519 |  6759598 |     1153  13825 |        0 |        0
1180.48/1180.97	c 1180s |      25 |  8407595 |  6770498 |     1153  13843 |        0 |        0
1182.48/1182.98	c 1182s |      25 |  8420583 |  6781098 |     1153  13861 |        0 |        0
1184.48/1184.99	c 1184s |      25 |  8432891 |  6791698 |     1153  13878 |        0 |        0
1186.59/1187.01	c 1186s |      25 |  8444782 |  6801998 |     1153  13896 |        0 |        0
1188.58/1189.02	c 1189s |      25 |  8456552 |  6812198 |     1153  13913 |        0 |        0
1190.58/1191.03	c 1191s |      25 |  8469227 |  6822898 |     1153  13930 |        0 |        0
1192.58/1193.03	c 1193s |      25 |  8482490 |  6833898 |     1153  13949 |        0 |        0
1194.58/1195.03	c 1195s |      25 |  8496176 |  6845198 |     1153  13968 |        0 |        0
1196.58/1197.03	c 1197s |      25 |  8510849 |  6856798 |     1153  13987 |        0 |        0
1198.58/1199.04	c 1199s |      25 |  8524851 |  6867998 |     1153  14006 |        0 |        0
1200.57/1201.05	c 1201s |      25 |  8539118 |  6879498 |     1153  14025 |        0 |        0
1202.57/1203.06	c 1203s |      25 |  8553519 |  6890998 |     1153  14044 |        0 |        0
1204.57/1205.07	c 1205s |      25 |  8565729 |  6901398 |     1153  14061 |        0 |        0
1206.57/1207.07	c 1207s |      25 |  8578400 |  6912098 |     1153  14079 |        0 |        0
1208.58/1209.08	c 1209s |      25 |  8592599 |  6923398 |     1153  14098 |        0 |        0
1210.57/1211.10	c 1211s |      25 |  8606823 |  6934898 |     1153  14118 |        0 |        0
1212.67/1213.11	c 1213s |      25 |  8619752 |  6945798 |     1153  14136 |        0 |        0
1214.67/1215.12	c 1215s |      25 |  8633188 |  6956498 |     1153  14154 |        0 |        0
1216.67/1217.13	c 1217s |      25 |  8646016 |  6967098 |     1153  14171 |        0 |        0
1218.67/1219.15	c 1219s |      25 |  8658137 |  6977298 |     1153  14188 |        0 |        0
1220.67/1221.15	c 1221s |      25 |  8669444 |  6986998 |     1153  14204 |        0 |        0
1222.67/1223.16	c 1223s |      25 |  8681400 |  6997098 |     1153  14221 |        0 |        0
1224.67/1225.17	c 1225s |      25 |  8694928 |  7008198 |     1153  14240 |        0 |        0
1226.67/1227.18	c 1227s |      25 |  8707900 |  7018998 |     1153  14258 |        0 |        0
1228.67/1229.18	c 1229s |      25 |  8721189 |  7029898 |     1153  14276 |        0 |        0
1230.67/1231.19	c 1231s |      25 |  8734182 |  7040798 |     1153  14294 |        0 |        0
1232.67/1233.20	c 1233s |      25 |  8747571 |  7051798 |     1153  14313 |        0 |        0
1234.77/1235.22	c 1235s |      25 |  8760130 |  7062398 |     1153  14330 |        0 |        0
1236.77/1237.22	c 1237s |      25 |  8772818 |  7072898 |     1153  14348 |        0 |        0
1238.77/1239.24	c 1239s |      25 |  8786002 |  7083998 |     1153  14367 |        0 |        0
1240.77/1241.25	c 1241s |      25 |  8799225 |  7094998 |     1153  14385 |        0 |        0
1242.77/1243.26	c 1243s |      25 |  8812815 |  7106098 |     1153  14403 |        0 |        0
1244.78/1245.27	c 1245s |      25 |  8825923 |  7116898 |     1153  14422 |        0 |        0
1246.77/1247.27	c 1247s |      25 |  8838730 |  7127598 |     1153  14439 |        0 |        0
1248.77/1249.29	c 1249s |      25 |  8851421 |  7138298 |     1153  14457 |        0 |        0
1250.87/1251.30	c 1251s |      25 |  8864946 |  7149298 |     1153  14476 |        0 |        0
1252.87/1253.31	c 1253s |      25 |  8877471 |  7159798 |     1153  14493 |        0 |        0
1254.87/1255.31	c 1255s |      25 |  8888879 |  7169698 |     1153  14510 |        0 |        0
1256.88/1257.33	c 1257s |      25 |  8900905 |  7179798 |     1153  14527 |        0 |        0
1258.87/1259.35	c 1259s |      25 |  8912917 |  7190098 |     1153  14544 |        0 |        0
1260.87/1261.36	c 1261s |      25 |  8925391 |  7200398 |     1153  14561 |        0 |        0
1262.87/1263.36	c 1263s |      25 |  8937527 |  7210498 |     1153  14578 |        0 |        0
1264.87/1265.38	c 1265s |      25 |  8950217 |  7220898 |     1153  14596 |        0 |        0
1266.87/1267.39	c 1267s |      25 |  8963019 |  7231498 |     1153  14613 |        0 |        0
1268.87/1269.40	c 1269s |      25 |  8975720 |  7241898 |     1153  14631 |        0 |        0
1270.97/1271.40	c 1271s |      25 |  8987777 |  7252198 |     1153  14648 |        0 |        0
1272.97/1273.42	c 1273s |      25 |  9000194 |  7262798 |     1153  14666 |        0 |        0
1274.97/1275.44	c 1275s |      25 |  9013026 |  7273498 |     1153  14684 |        0 |        0
1276.96/1277.46	c 1277s |      25 |  9025547 |  7284098 |     1153  14701 |        0 |        0
1278.97/1279.47	c 1279s |      25 |  9038167 |  7294598 |     1153  14719 |        0 |        0
1280.96/1281.47	c 1281s |      25 |  9050797 |  7305298 |     1153  14737 |        0 |        0
1282.96/1283.47	c 1283s |      25 |  9062751 |  7315398 |     1153  14754 |        0 |        0
1284.96/1285.48	c 1285s |      25 |  9074799 |  7325598 |     1153  14771 |        0 |        0
1286.96/1287.48	c 1287s |      25 |  9086762 |  7335598 |     1153  14788 |        0 |        0
1288.96/1289.49	c 1289s |      25 |  9099150 |  7345998 |     1153  14805 |        0 |        0
1290.97/1291.49	c 1291s |      25 |  9111436 |  7356498 |     1153  14823 |        0 |        0
1293.06/1293.50	c 1293s |      25 |  9124039 |  7367098 |     1153  14840 |        0 |        0
1295.06/1295.51	c 1295s |      25 |  9137508 |  7377998 |     1153  14859 |        0 |        0
1297.06/1297.53	c 1297s |      25 |  9150031 |  7388498 |     1153  14876 |        0 |        0
1299.06/1299.54	c 1299s |      25 |  9162303 |  7398898 |     1153  14894 |        0 |        0
1301.06/1301.56	c 1301s |      25 |  9173521 |  7408798 |     1153  14911 |        0 |        0
1303.06/1303.57	c 1303s |      25 |  9186127 |  7419398 |     1153  14928 |        0 |        0
1305.06/1305.59	c 1305s |      25 |  9198564 |  7430098 |     1153  14945 |        0 |        0
1307.06/1307.59	c 1307s |      25 |  9211259 |  7440698 |     1153  14963 |        0 |        0
1309.16/1309.60	c 1309s |      25 |  9224003 |  7451498 |     1153  14980 |        0 |        0
1311.15/1311.61	c 1311s |      25 |  9236815 |  7462398 |     1153  14998 |        0 |        0
1313.15/1313.62	c 1313s |      25 |  9250443 |  7473598 |     1153  15016 |        0 |        0
1315.16/1315.63	c 1315s |      25 |  9263417 |  7484598 |     1153  15034 |        0 |        0
1317.15/1317.63	c 1317s |      25 |  9277022 |  7495798 |     1153  15053 |        0 |        0
1319.15/1319.64	c 1319s |      25 |  9289674 |  7506398 |     1153  15070 |        0 |        0
1321.15/1321.64	c 1321s |      25 |  9302812 |  7517198 |     1153  15088 |        0 |        0
1323.15/1323.65	c 1323s |      25 |  9316023 |  7527898 |     1153  15106 |        0 |        0
1325.16/1325.66	c 1325s |      25 |  9328524 |  7538398 |     1153  15123 |        0 |        0
1327.15/1327.66	c 1327s |      25 |  9341566 |  7549198 |     1269  15140 |        0 |        0
1329.15/1329.67	c 1329s |      25 |  9353444 |  7559298 |     1269  15155 |        0 |        0
1331.15/1331.68	c 1331s |      25 |  9366287 |  7569998 |     1269  15171 |        0 |        0
1333.25/1333.70	c 1333s |      25 |  9379370 |  7580898 |     1269  15187 |        0 |        0
1335.26/1335.71	c 1335s |      25 |  9392080 |  7591698 |     1269  15203 |        0 |        0
1336.36/1336.85	c 1336s |      26 |  9399151 |  7597752 |     1269  15212 |        0 |        0
1338.37/1338.85	c 1338s |      26 |  9413514 |  7609052 |     1269  15229 |        0 |        0
1340.36/1340.86	c 1340s |      26 |  9427721 |  7620352 |     1269  15246 |        0 |        0
1342.36/1342.87	c 1342s |      26 |  9443430 |  7632352 |     1269  15264 |        0 |        0
1344.36/1344.88	c 1344s |      26 |  9457198 |  7643552 |     1269  15281 |        0 |        0
1346.36/1346.89	c 1346s |      26 |  9470580 |  7654352 |     1269  15297 |        0 |        0
1348.46/1348.90	c 1348s |      26 |  9484421 |  7665552 |     1269  15314 |        0 |        0
1350.46/1350.92	c 1350s |      26 |  9497958 |  7676552 |     1269  15330 |        0 |        0
1352.46/1352.94	c 1352s |      26 |  9511523 |  7687352 |     1269  15347 |        0 |        0
1354.46/1354.94	c 1354s |      26 |  9524797 |  7697952 |     1269  15362 |        0 |        0
1356.45/1356.96	c 1356s |      26 |  9539158 |  7709252 |     1269  15379 |        0 |        0
1358.45/1358.96	c 1358s |      26 |  9553799 |  7720552 |     1269  15396 |        0 |        0
1360.45/1360.96	c 1360s |      26 |  9568855 |  7732152 |     1269  15414 |        0 |        0
1362.46/1362.97	c 1362s |      26 |  9583839 |  7743752 |     1269  15431 |        0 |        0
1364.45/1364.97	c 1364s |      26 |  9598597 |  7755152 |     1269  15448 |        0 |        0
1366.45/1366.98	c 1366s |      26 |  9614005 |  7766952 |     1269  15466 |        0 |        0
1368.45/1368.99	c 1368s |      26 |  9630253 |  7779152 |     1269  15484 |        0 |        0
1370.55/1371.00	c 1370s |      26 |  9645209 |  7790652 |     1269  15502 |        0 |        0
1372.55/1373.00	c 1372s |      26 |  9661213 |  7802352 |     1269  15519 |        0 |        0
1374.56/1375.01	c 1374s |      26 |  9676186 |  7813552 |     1269  15536 |        0 |        0
1376.55/1377.02	c 1377s |      26 |  9690167 |  7824452 |     1269  15552 |        0 |        0
1378.55/1379.04	c 1379s |      26 |  9703913 |  7835252 |     1269  15568 |        0 |        0
1380.55/1381.04	c 1381s |      26 |  9718727 |  7846552 |     1269  15585 |        0 |        0
1382.55/1383.05	c 1383s |      26 |  9733506 |  7857752 |     1269  15602 |        0 |        0
1384.55/1385.06	c 1385s |      26 |  9749248 |  7869252 |     1269  15620 |        0 |        0
1386.55/1387.06	c 1387s |      26 |  9762622 |  7879552 |     1269  15635 |        0 |        0
1388.55/1389.08	c 1389s |      26 |  9777297 |  7890952 |     1269  15652 |        0 |        0
1390.55/1391.09	c 1391s |      26 |  9791142 |  7902152 |     1269  15669 |        0 |        0
1392.64/1393.11	c 1393s |      26 |  9805085 |  7913252 |     1269  15686 |        0 |        0
1394.64/1395.12	c 1395s |      26 |  9818993 |  7924152 |     1269  15702 |        0 |        0
1396.65/1397.13	c 1397s |      26 |  9832201 |  7934652 |     1269  15718 |        0 |        0
1398.64/1399.14	c 1399s |      26 |  9845515 |  7945352 |     1269  15734 |        0 |        0
1400.64/1401.15	c 1401s |      26 |  9859865 |  7956652 |     1269  15751 |        0 |        0
1402.65/1403.16	c 1403s |      26 |  9873527 |  7967552 |     1269  15767 |        0 |        0
1404.65/1405.17	c 1405s |      26 |  9887015 |  7978352 |     1269  15784 |        0 |        0
1406.65/1407.19	c 1407s |      26 |  9901255 |  7989652 |     1269  15801 |        0 |        0
1408.65/1409.19	c 1409s |      26 |  9914632 |  8000352 |     1269  15817 |        0 |        0
1410.75/1411.21	c 1411s |      26 |  9928117 |  8010952 |     1269  15832 |        0 |        0
1412.75/1413.22	c 1413s |      26 |  9943120 |  8022552 |     1269  15850 |        0 |        0
1414.75/1415.24	c 1415s |      26 |  9957076 |  8033652 |     1269  15866 |        0 |        0
1416.74/1417.25	c 1417s |      26 |  9971524 |  8045052 |     1269  15883 |        0 |        0
1418.74/1419.27	c 1419s |      26 |  9987067 |  8056452 |     1269  15900 |        0 |        0
1420.75/1421.28	c 1421s |      26 | 10002198 |  8067852 |     1269  15918 |        0 |        0
1422.84/1423.30	c 1423s |      26 | 10016056 |  8078852 |     1269  15934 |        0 |        0
1424.84/1425.32	c 1425s |      26 | 10030454 |  8089852 |     1269  15951 |        0 |        0
1426.84/1427.32	c 1427s |      26 | 10045302 |  8101052 |     1269  15967 |        0 |        0
1428.84/1429.34	c 1429s |      26 | 10059108 |  8112252 |     1269  15984 |        0 |        0
1430.84/1431.34	c 1431s |      26 | 10071840 |  8122452 |     1269  15999 |        0 |        0
1432.85/1433.36	c 1433s |      26 | 10085454 |  8133152 |     1269  16015 |        0 |        0
1434.84/1435.37	c 1435s |      26 | 10099486 |  8144152 |     1269  16032 |        0 |        0
1436.84/1437.38	c 1437s |      26 | 10113762 |  8155252 |     1269  16049 |        0 |        0
1438.84/1439.38	c 1439s |      26 | 10128574 |  8166352 |     1269  16065 |        0 |        0
1440.84/1441.39	c 1441s |      26 | 10143099 |  8177452 |     1269  16082 |        0 |        0
1442.94/1443.40	c 1443s |      26 | 10157229 |  8188152 |     1269  16098 |        0 |        0
1444.94/1445.40	c 1445s |      26 | 10172734 |  8199652 |     1269  16116 |        0 |        0
1446.94/1447.41	c 1447s |      26 | 10186920 |  8210952 |     1269  16132 |        0 |        0
1448.94/1449.41	c 1449s |      26 | 10202007 |  8222552 |     1269  16150 |        0 |        0
1450.94/1451.42	c 1451s |      26 | 10216860 |  8234152 |     1269  16167 |        0 |        0
1452.94/1453.43	c 1453s |      26 | 10230521 |  8244952 |     1269  16183 |        0 |        0
1454.94/1455.44	c 1455s |      26 | 10245380 |  8256452 |     1269  16201 |        0 |        0
1456.94/1457.45	c 1457s |      26 | 10260983 |  8268252 |     1269  16219 |        0 |        0
1458.94/1459.46	c 1459s |      26 | 10276211 |  8279852 |     1269  16236 |        0 |        0
1460.93/1461.48	c 1461s |      26 | 10291567 |  8291252 |     1269  16253 |        0 |        0
1462.93/1463.48	c 1463s |      26 | 10305023 |  8301852 |     1269  16269 |        0 |        0
1464.93/1465.49	c 1465s |      26 | 10318184 |  8312652 |     1269  16285 |        0 |        0
1466.94/1467.49	c 1467s |      26 | 10332778 |  8323752 |     1269  16302 |        0 |        0
1469.03/1469.51	c 1469s |      26 | 10348081 |  8335352 |     1269  16319 |        0 |        0
1471.03/1471.53	c 1471s |      26 | 10363057 |  8346752 |     1269  16336 |        0 |        0
1473.03/1473.53	c 1473s |      26 | 10377502 |  8357552 |     1269  16353 |        0 |        0
1475.03/1475.55	c 1475s |      26 | 10391404 |  8368652 |     1269  16370 |        0 |        0
1477.03/1477.56	c 1477s |      26 | 10405702 |  8379852 |     1269  16386 |        0 |        0
1479.04/1479.57	c 1479s |      26 | 10419452 |  8390552 |     1269  16402 |        0 |        0
1481.03/1481.59	c 1481s |      26 | 10434107 |  8401852 |     1269  16420 |        0 |        0
1483.13/1483.60	c 1483s |      26 | 10448987 |  8413352 |     1269  16437 |        0 |        0
1485.13/1485.61	c 1485s |      26 | 10463641 |  8424852 |     1269  16454 |        0 |        0
1487.13/1487.61	c 1487s |      26 | 10478384 |  8436352 |     1269  16472 |        0 |        0
1489.13/1489.62	c 1489s |      26 | 10493317 |  8447652 |     1269  16489 |        0 |        0
1491.13/1491.64	c 1491s |      26 | 10509012 |  8459352 |     1269  16506 |        0 |        0
1493.13/1493.65	c 1493s |      26 | 10523909 |  8470652 |     1269  16524 |        0 |        0
1495.13/1495.66	c 1495s |      26 | 10539411 |  8482452 |     1269  16541 |        0 |        0
1497.13/1497.67	c 1497s |      26 | 10553013 |  8493552 |     1269  16558 |        0 |        0
1499.13/1499.69	c 1499s |      26 | 10565769 |  8504252 |     1269  16574 |        0 |        0
1501.22/1501.70	c 1501s |      26 | 10579290 |  8515352 |     1269  16591 |        0 |        0
1503.24/1503.71	c 1503s |      26 | 10593006 |  8526252 |     1269  16607 |        0 |        0
1505.23/1505.71	c 1505s |      26 | 10606915 |  8537452 |     1269  16624 |        0 |        0
1507.23/1507.72	c 1507s |      26 | 10621589 |  8548952 |     1269  16641 |        0 |        0
1509.23/1509.73	c 1509s |      26 | 10636429 |  8560352 |     1269  16658 |        0 |        0
1511.23/1511.75	c 1511s |      26 | 10650896 |  8571552 |     1269  16675 |        0 |        0
1513.24/1513.75	c 1513s |      26 | 10664334 |  8582352 |     1269  16691 |        0 |        0
1515.23/1515.76	c 1515s |      26 | 10677619 |  8593052 |     1269  16707 |        0 |        0
1517.23/1517.77	c 1517s |      26 | 10691798 |  8603952 |     1269  16724 |        0 |        0
1519.23/1519.78	c 1519s |      26 | 10704917 |  8614552 |     1269  16740 |        0 |        0
1521.23/1521.79	c 1521s |      26 | 10719268 |  8625652 |     1269  16756 |        0 |        0
1523.23/1523.79	c 1523s |      26 | 10734443 |  8637152 |     1269  16774 |        0 |        0
1525.23/1525.79	c 1525s |      26 | 10749093 |  8648352 |     1269  16790 |        0 |        0
1527.32/1527.80	c 1527s |      26 | 10763402 |  8659452 |     1269  16807 |        0 |        0
1529.32/1529.81	c 1529s |      26 | 10777477 |  8670552 |     1269  16824 |        0 |        0
1531.32/1531.83	c 1531s |      26 | 10790940 |  8681252 |     1269  16840 |        0 |        0
1533.32/1533.83	c 1533s |      26 | 10804164 |  8691852 |     1269  16856 |        0 |        0
1535.32/1535.84	c 1535s |      26 | 10817533 |  8702552 |     1269  16872 |        0 |        0
1537.33/1537.85	c 1537s |      26 | 10830620 |  8713252 |     1269  16888 |        0 |        0
1539.32/1539.86	c 1539s |      26 | 10844221 |  8724052 |     1269  16904 |        0 |        0
1541.33/1541.87	c 1541s |      26 | 10858333 |  8734752 |     1269  16920 |        0 |        0
1543.33/1543.87	c 1543s |      26 | 10872491 |  8745552 |     1269  16937 |        0 |        0
1545.33/1545.88	c 1545s |      26 | 10886097 |  8756252 |     1269  16953 |        0 |        0
1547.33/1547.88	c 1547s |      26 | 10900232 |  8767352 |     1269  16969 |        0 |        0
1549.33/1549.89	c 1549s |      26 | 10913514 |  8778052 |     1269  16985 |        0 |        0
1551.43/1551.90	c 1551s |      26 | 10927474 |  8789052 |     1269  17002 |        0 |        0
1553.42/1553.90	c 1553s |      26 | 10940869 |  8799752 |     1269  17018 |        0 |        0
1555.42/1555.90	c 1555s |      26 | 10954091 |  8810352 |     1269  17034 |        0 |        0
1557.42/1557.91	c 1557s |      26 | 10967743 |  8821152 |     1269  17050 |        0 |        0
1559.43/1559.91	c 1559s |      26 | 10980910 |  8831552 |     1269  17066 |        0 |        0
1561.42/1561.92	c 1561s |      26 | 10994576 |  8842252 |     1269  17082 |        0 |        0
1563.42/1563.93	c 1563s |      26 | 11008480 |  8853352 |     1269  17098 |        0 |        0
1565.42/1565.94	c 1565s |      26 | 11021942 |  8864252 |     1269  17115 |        0 |        0
1567.42/1567.94	c 1567s |      26 | 11035974 |  8875252 |     1269  17131 |        0 |        0
1569.42/1569.95	c 1569s |      26 | 11050669 |  8886652 |     1269  17148 |        0 |        0
1571.42/1571.96	c 1571s |      26 | 11064584 |  8897552 |     1269  17165 |        0 |        0
1573.41/1573.96	c 1573s |      26 | 11077652 |  8907852 |     1269  17180 |        0 |        0
1575.41/1575.97	c 1575s |      26 | 11090790 |  8918052 |     1269  17196 |        0 |        0
1577.41/1577.97	c 1577s |      26 | 11105718 |  8929352 |     1269  17213 |        0 |        0
1579.41/1579.99	c 1579s |      26 | 11119867 |  8940552 |     1269  17230 |        0 |        0
1581.52/1582.00	c 1581s |      26 | 11134100 |  8951752 |     1269  17246 |        0 |        0
1583.53/1584.01	c 1583s |      26 | 11147215 |  8962352 |     1269  17262 |        0 |        0
1585.52/1586.02	c 1586s |      26 | 11161119 |  8973352 |     1269  17279 |        0 |        0
1587.52/1588.03	c 1588s |      26 | 11173516 |  8983752 |     1269  17294 |        0 |        0
1589.52/1590.03	c 1590s |      26 | 11187117 |  8994552 |     1269  17310 |        0 |        0
1591.52/1592.04	c 1592s |      26 | 11201482 |  9005852 |     1269  17327 |        0 |        0
1593.53/1594.05	c 1594s |      26 | 11215079 |  9016752 |     1269  17344 |        0 |        0
1595.52/1596.05	c 1596s |      26 | 11228536 |  9027652 |     1269  17360 |        0 |        0
1597.52/1598.05	c 1598s |      26 | 11241479 |  9038152 |     1269  17376 |        0 |        0
1599.52/1600.07	c 1600s |      26 | 11254584 |  9048652 |     1269  17392 |        0 |        0
1601.52/1602.08	c 1602s |      26 | 11269129 |  9059952 |     1269  17409 |        0 |        0
1603.52/1604.09	c 1604s |      26 | 11282647 |  9071052 |     1269  17425 |        0 |        0
1605.52/1606.09	c 1606s |      26 | 11295414 |  9081552 |     1269  17441 |        0 |        0
1607.61/1608.10	c 1608s |      26 | 11308702 |  9092352 |     1269  17457 |        0 |        0
1609.61/1610.11	c 1610s |      26 | 11322317 |  9103152 |     1269  17474 |        0 |        0
1611.61/1612.11	c 1612s |      26 | 11336127 |  9114152 |     1269  17490 |        0 |        0
1613.61/1614.13	c 1614s |      26 | 11350176 |  9125352 |     1269  17507 |        0 |        0
1615.61/1616.13	c 1616s |      26 | 11364061 |  9136352 |     1269  17523 |        0 |        0
1617.61/1618.14	c 1618s |      26 | 11376512 |  9146752 |     1269  17539 |        0 |        0
1619.62/1620.16	c 1620s |      26 | 11389863 |  9157652 |     1269  17556 |        0 |        0
1621.62/1622.16	c 1622s |      26 | 11405228 |  9168952 |     1269  17573 |        0 |        0
1623.62/1624.16	c 1624s |      26 | 11418987 |  9179952 |     1269  17589 |        0 |        0
1625.61/1626.17	c 1626s |      26 | 11432730 |  9191052 |     1269  17606 |        0 |        0
1627.62/1628.18	c 1628s |      26 | 11446370 |  9202152 |     1269  17623 |        0 |        0
1629.61/1630.20	c 1630s |      26 | 11459962 |  9213152 |     1269  17639 |        0 |        0
1631.71/1632.20	c 1632s |      26 | 11472728 |  9223652 |     1269  17655 |        0 |        0
1633.71/1634.21	c 1634s |      26 | 11486441 |  9234252 |     1269  17671 |        0 |        0
1635.71/1636.22	c 1636s |      26 | 11500054 |  9245152 |     1269  17688 |        0 |        0
1637.71/1638.23	c 1638s |      26 | 11513074 |  9255752 |     1269  17704 |        0 |        0
1639.72/1640.24	c 1640s |      26 | 11527308 |  9266652 |     1269  17720 |        0 |        0
1641.71/1642.25	c 1642s |      26 | 11541442 |  9278052 |     1269  17737 |        0 |        0
1643.71/1644.25	c 1644s |      26 | 11553954 |  9288452 |     1269  17753 |        0 |        0
1645.71/1646.26	c 1646s |      26 | 11566443 |  9298852 |     1269  17769 |        0 |        0
1647.71/1648.28	c 1648s |      26 | 11579187 |  9309352 |     1269  17785 |        0 |        0
1649.71/1650.28	c 1650s |      26 | 11591269 |  9319452 |     1269  17800 |        0 |        0
1651.71/1652.29	c 1652s |      26 | 11603702 |  9329652 |     1269  17815 |        0 |        0
1653.81/1654.30	c 1654s |      26 | 11616896 |  9340352 |     1269  17832 |        0 |        0
1655.80/1656.30	c 1656s |      26 | 11630285 |  9351152 |     1269  17848 |        0 |        0
1657.80/1658.32	c 1658s |      26 | 11643161 |  9361752 |     1269  17864 |        0 |        0
1659.80/1660.32	c 1660s |      26 | 11656708 |  9372552 |     1269  17880 |        0 |        0
1661.80/1662.33	c 1662s |      26 | 11670746 |  9383552 |     1269  17897 |        0 |        0
1663.81/1664.33	c 1664s |      26 | 11684980 |  9394652 |     1269  17914 |        0 |        0
1665.81/1666.33	c 1666s |      26 | 11698908 |  9405552 |     1269  17930 |        0 |        0
1667.81/1668.34	c 1668s |      26 | 11714037 |  9417052 |     1269  17947 |        0 |        0
1669.81/1670.35	c 1670s |      26 | 11727944 |  9427952 |     1269  17964 |        0 |        0
1671.81/1672.35	c 1672s |      26 | 11742314 |  9439152 |     1269  17981 |        0 |        0
1673.81/1674.36	c 1674s |      26 | 11755907 |  9449952 |     1269  17997 |        0 |        0
1675.81/1676.36	c 1676s |      26 | 11770092 |  9460952 |     1269  18014 |        0 |        0
1677.81/1678.36	c 1678s |      26 | 11782849 |  9471552 |     1269  18030 |        0 |        0
1679.80/1680.36	c 1680s |      26 | 11795634 |  9482052 |     1269  18046 |        0 |        0
1681.80/1682.37	c 1682s |      26 | 11808582 |  9492452 |     1269  18061 |        0 |        0
1683.80/1684.38	c 1684s |      26 | 11821663 |  9503252 |     1269  18078 |        0 |        0
1685.81/1686.38	c 1686s |      26 | 11835097 |  9514152 |     1269  18094 |        0 |        0
1687.80/1688.39	c 1688s |      26 | 11849595 |  9525452 |     1269  18111 |        0 |        0
1689.90/1690.40	c 1690s |      26 | 11863565 |  9536752 |     1269  18128 |        0 |        0
1691.90/1692.40	c 1692s |      26 | 11878133 |  9548152 |     1269  18145 |        0 |        0
1693.90/1694.41	c 1694s |      26 | 11893052 |  9559852 |     1269  18163 |        0 |        0
1695.90/1696.42	c 1696s |      26 | 11908700 |  9571752 |     1269  18180 |        0 |        0
1697.91/1698.43	c 1698s |      26 | 11923525 |  9583352 |     1269  18198 |        0 |        0
1699.90/1700.44	c 1700s |      26 | 11938438 |  9594852 |     1269  18215 |        0 |        0
1701.90/1702.44	c 1702s |      26 | 11952807 |  9606052 |     1269  18232 |        0 |        0
1703.90/1704.45	c 1704s |      26 | 11967089 |  9617252 |     1269  18249 |        0 |        0
1705.90/1706.45	c 1706s |      26 | 11980928 |  9628252 |     1269  18265 |        0 |        0
1707.90/1708.46	c 1708s |      26 | 11994838 |  9639452 |     1269  18282 |        0 |        0
1709.90/1710.47	c 1710s |      26 | 12007987 |  9650252 |     1269  18298 |        0 |        0
1711.89/1712.48	c 1712s |      26 | 12022062 |  9661452 |     1269  18315 |        0 |        0
1713.89/1714.49	c 1714s |      26 | 12036197 |  9672852 |     1269  18333 |        0 |        0
1715.89/1716.49	c 1716s |      26 | 12051463 |  9684452 |     1269  18350 |        0 |        0
1717.99/1718.50	c 1718s |      26 | 12066810 |  9696052 |     1269  18367 |        0 |        0
1720.00/1720.52	c 1720s |      26 | 12082748 |  9707852 |     1269  18385 |        0 |        0
1721.99/1722.53	c 1722s |      26 | 12097008 |  9719152 |     1269  18402 |        0 |        0
1723.99/1724.54	c 1724s |      26 | 12112017 |  9730752 |     1269  18419 |        0 |        0
1725.99/1726.54	c 1726s |      26 | 12126247 |  9741952 |     1269  18436 |        0 |        0
1727.99/1728.56	c 1728s |      26 | 12140983 |  9753352 |     1269  18454 |        0 |        0
1729.99/1730.56	c 1730s |      26 | 12155398 |  9764752 |     1269  18471 |        0 |        0
1732.00/1732.57	c 1732s |      26 | 12170892 |  9776452 |     1269  18488 |        0 |        0
1733.99/1734.58	c 1734s |      26 | 12185130 |  9787752 |     1269  18505 |        0 |        0
1735.99/1736.59	c 1736s |      26 | 12200200 |  9799252 |     1269  18523 |        0 |        0
1738.09/1738.60	c 1738s |      26 | 12214616 |  9810552 |     1269  18540 |        0 |        0
1740.09/1740.61	c 1740s |      26 | 12229060 |  9821852 |     1269  18557 |        0 |        0
1742.09/1742.62	c 1742s |      26 | 12244007 |  9833152 |     1269  18574 |        0 |        0
1744.09/1744.62	c 1744s |      26 | 12258057 |  9844152 |     1269  18590 |        0 |        0
1746.10/1746.63	c 1746s |      26 | 12273585 |  9855852 |     1269  18608 |        0 |        0
1748.10/1748.64	c 1748s |      26 | 12288561 |  9867152 |     1269  18625 |        0 |        0
1750.10/1750.66	c 1750s |      26 | 12303490 |  9878352 |     1269  18642 |        0 |        0
1752.10/1752.66	c 1752s |      26 | 12318815 |  9889652 |     1269  18659 |        0 |        0
1754.10/1754.67	c 1754s |      26 | 12333879 |  9901152 |     1269  18676 |        0 |        0
1756.09/1756.67	c 1756s |      26 | 12348104 |  9912352 |     1269  18693 |        0 |        0
1758.09/1758.69	c 1758s |      26 | 12363808 |  9923952 |     1269  18710 |        0 |        0
1760.09/1760.69	c 1760s |      26 | 12379000 |  9935352 |     1269  18727 |        0 |        0
1762.09/1762.69	c 1762s |      26 | 12395756 |  9947252 |     1269  18745 |        0 |        0
1764.19/1764.70	c 1764s |      26 | 12411263 |  9958752 |     1269  18763 |        0 |        0
1766.20/1766.71	c 1766s |      26 | 12426618 |  9970352 |     1269  18780 |        0 |        0
1768.19/1768.72	c 1768s |      26 | 12442038 |  9981652 |     1269  18797 |        0 |        0
1770.19/1770.74	c 1770s |      26 | 12457315 |  9993252 |     1269  18815 |        0 |        0
1772.19/1772.75	c 1772s |      26 | 12473090 | 10004952 |     1269  18832 |        0 |        0
1774.19/1774.75	c 1774s |      26 | 12486901 | 10015852 |     1269  18849 |        0 |        0
1776.19/1776.75	c 1776s |      26 | 12501221 | 10027052 |     1269  18866 |        0 |        0
1778.19/1778.76	c 1778s |      26 | 12515011 | 10038252 |     1269  18883 |        0 |        0
1780.19/1780.78	c 1780s |      26 | 12529669 | 10049352 |     1269  18899 |        0 |        0
1782.19/1782.78	c 1782s |      26 | 12544009 | 10060652 |     1269  18917 |        0 |        0
1784.29/1784.80	c 1784s |      26 | 12559270 | 10072052 |     1269  18934 |        0 |        0
1786.29/1786.81	c 1786s |      26 | 12573199 | 10082952 |     1269  18950 |        0 |        0
1788.29/1788.82	c 1788s |      26 | 12587536 | 10094252 |     1269  18967 |        0 |        0
1790.29/1790.83	c 1790s |      26 | 12601553 | 10105452 |     1269  18984 |        0 |        0
1792.28/1792.83	c 1792s |      26 | 12615729 | 10116852 |     1269  19001 |        0 |        0
1794.28/1794.85	c 1794s |      26 | 12630282 | 10128452 |     1269  19019 |        0 |        0
1796.28/1796.86	c 1796s |      26 | 12644019 | 10139552 |     1269  19035 |        0 |        0
1798.28/1798.87	c 1798s |      26 | 12658696 | 10150852 |     1269  19052 |        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-4089694-1466031602/watcher-4089694-1466031602 -o /tmp/evaluation-result-4089694-1466031602/solver-4089694-1466031602 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089694-1466031602.opb 

pid=8890
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.11 2.09 2.08 3/180 8893
/proc/meminfo: memFree=30428748/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=698812 CPUtime=0 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 2605 0 0 0 0 0 0 0 20 0 4 0 5205597 715583488 2455 33554432000 4194304 16246674 140734809866080 140734809865504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 175471 2464 441 2943 0 172365 0
[pid=8893/tid=8894] ppid=8890 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 733409280 2521 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=720316 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 737603584 2536 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5205598 741797888 2555 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.11 2.09 2.08 3/180 8893
/proc/meminfo: memFree=30428748/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 26343 0 0 0 5 4 0 0 20 0 4 0 5205597 1247350784 26182 33554432000 4194304 16246674 140734809866080 140734809865504 5661217 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 304529 26190 711 2943 0 301423 0
[pid=8893/tid=8894] ppid=8890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1247350784 26198 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1247350784 26207 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5205598 1247350784 26216 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200519 s]
/proc/loadavg: 2.11 2.09 2.08 3/180 8893
/proc/meminfo: memFree=30428748/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 50924 0 0 0 12 7 0 0 20 0 4 0 5205597 1247350784 50763 33554432000 4194304 16246674 140734809866080 140734809865504 5662075 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 304529 50771 712 2943 0 301423 0
[pid=8893/tid=8894] ppid=8890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1247350784 50778 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1247350784 50788 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5205598 1247350784 50794 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300504 s]
/proc/loadavg: 2.11 2.09 2.08 3/180 8893
/proc/meminfo: memFree=30428748/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 75936 0 0 0 19 10 0 0 20 0 4 0 5205597 1247350784 75775 33554432000 4194304 16246674 140734809866080 140734809865504 5665836 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 304529 75788 712 2943 0 301423 0
[pid=8893/tid=8894] ppid=8890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1247350784 75794 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1247350784 75800 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5205598 1247350784 75805 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70041 s]
/proc/loadavg: 2.11 2.09 2.08 3/180 8893
/proc/meminfo: memFree=30428748/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 176427 0 0 0 44 24 0 0 20 0 4 0 5205597 1247350784 176266 33554432000 4194304 16246674 140734809866080 140734809865504 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 304529 176279 712 2943 0 301423 0
[pid=8893/tid=8894] ppid=8890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1247350784 176283 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1247350784 176293 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5205598 1247350784 176302 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.11 2.09 2.08 3/184 8897
/proc/meminfo: memFree=29448084/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 245607 0 0 0 116 33 0 0 20 0 4 0 5205597 1248399360 245426 33554432000 4194304 16246674 140734809866080 140734809865392 13006860 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 304785 245426 786 2943 0 301679 0
[pid=8893/tid=8894] ppid=8890 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1248399360 245426 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1248399360 245426 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5205598 1248399360 245426 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10043 s]
/proc/loadavg: 2.11 2.09 2.08 3/184 8897
/proc/meminfo: memFree=29360788/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 267417 0 0 0 274 35 0 0 20 0 4 0 5205597 1337528320 267236 33554432000 4194304 16246674 140734809866080 140734809849080 5546304 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 326545 267236 786 2943 0 323439 0
[pid=8893/tid=8894] ppid=8890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1337528320 267236 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1337528320 267236 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5205598 1337528320 267236 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.10 2.09 2.08 3/184 8897
/proc/meminfo: memFree=29360156/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 267512 0 0 0 594 35 0 0 20 0 4 0 5205597 1337528320 267331 33554432000 4194304 16246674 140734809866080 140734809849080 5707706 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 326545 267331 787 2943 0 323439 0
[pid=8893/tid=8894] ppid=8890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1337528320 267331 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1337528320 267331 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5205598 1337528320 267331 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.09 2.09 2.08 3/184 8897
/proc/meminfo: memFree=29360080/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 267515 0 0 0 1233 35 0 0 20 0 4 0 5205597 1337528320 267334 33554432000 4194304 16246674 140734809866080 140734809849080 12483198 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 326545 267334 789 2943 0 323439 0
[pid=8893/tid=8894] ppid=8890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1337528320 267334 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1337528320 267334 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5205598 1337528320 267334 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.07 2.08 2.08 3/184 8897
/proc/meminfo: memFree=29360460/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 267531 0 0 0 2513 36 0 0 20 0 4 0 5205597 1337528320 267350 33554432000 4194304 16246674 140734809866080 140734809848000 5754969 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 326545 267350 789 2943 0 323439 0
[pid=8893/tid=8894] ppid=8890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1337528320 267350 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1337528320 267350 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5205598 1337528320 267350 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.05 2.07 2.08 3/184 8898
/proc/meminfo: memFree=29360464/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 267554 0 0 0 5072 36 0 0 20 0 4 0 5205597 1337528320 267373 33554432000 4194304 16246674 140734809866080 140734809848000 5823254 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 326545 267373 789 2943 0 323439 0
[pid=8893/tid=8894] ppid=8890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1337528320 267373 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1337528320 267373 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5205598 1337528320 267373 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.02 2.06 2.07 3/184 8922
/proc/meminfo: memFree=29353948/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 267561 0 0 0 10191 37 0 0 20 0 4 0 5205597 1337528320 267380 33554432000 4194304 16246674 140734809866080 140734809848000 6021388 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 326545 267380 789 2943 0 323439 0
[pid=8893/tid=8894] ppid=8890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1337528320 267380 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1337528320 267380 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5205598 1337528320 267380 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.05 2.08 2.08 3/183 9000
/proc/meminfo: memFree=29363644/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=1307204 CPUtime=1301.86 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 268246 0 0 0 130127 59 0 0 20 0 4 0 5205597 1338576896 267892 33554432000 4194304 16246674 140734809866080 140734809848000 5669244 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 326801 267892 791 2943 0 323695 0
[pid=8893/tid=8894] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.02 2.07 2.08 3/183 9001
/proc/meminfo: memFree=29363548/32872528 swapFree=496352/529056
[pid=8893] ppid=8890 vsize=1307204 CPUtime=1361.85 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 268246 0 0 0 136125 60 0 0 20 0 4 0 5205597 1338576896 267892 33554432000 4194304 16246674 140734809866080 140734809848000 12483481 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 326801 267892 791 2943 0 323695 0
[pid=8893/tid=8894] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.07 2.08 2.08 3/183 9002
/proc/meminfo: memFree=29363312/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=1307204 CPUtime=1421.85 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 268246 0 0 0 142124 61 0 0 20 0 4 0 5205597 1338576896 267892 33554432000 4194304 16246674 140734809866080 140734809848000 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 326801 267892 791 2943 0 323695 0
[pid=8893/tid=8894] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.03 2.06 2.08 4/183 9003
/proc/meminfo: memFree=29363204/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=1307204 CPUtime=1481.83 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 268246 0 0 0 148122 61 0 0 20 0 4 0 5205597 1338576896 267892 33554432000 4194304 16246674 140734809866080 140734809848000 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 326801 267892 791 2943 0 323695 0
[pid=8893/tid=8894] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.16 2.09 2.09 3/183 9004
/proc/meminfo: memFree=29362948/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=1307204 CPUtime=1541.83 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 268246 0 0 0 154120 63 0 0 20 0 4 0 5205597 1338576896 267892 33554432000 4194304 16246674 140734809866080 140734809849080 6021432 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 326801 267892 791 2943 0 323695 0
[pid=8893/tid=8894] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.17 2.10 2.09 3/183 9006
/proc/meminfo: memFree=29362564/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=1307204 CPUtime=1601.82 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 268246 0 0 0 160118 64 0 0 20 0 4 0 5205597 1338576896 267892 33554432000 4194304 16246674 140734809866080 140734809848000 5673488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 326801 267892 791 2943 0 323695 0
[pid=8893/tid=8894] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/183 9007
/proc/meminfo: memFree=29362712/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=1307204 CPUtime=1661.8 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 268246 0 0 0 166115 65 0 0 20 0 4 0 5205597 1338576896 267892 33554432000 4194304 16246674 140734809866080 140734809849080 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 326801 267892 791 2943 0 323695 0
[pid=8893/tid=8894] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.19 2.11 2.09 3/183 9008
/proc/meminfo: memFree=29362952/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=1307204 CPUtime=1721.79 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 268246 0 0 0 172113 66 0 0 20 0 4 0 5205597 1338576896 267892 33554432000 4194304 16246674 140734809866080 140734809848000 5722101 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 326801 267892 791 2943 0 323695 0
[pid=8893/tid=8894] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/183 9009
/proc/meminfo: memFree=29362820/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=1307204 CPUtime=1781.79 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 268246 0 0 0 178112 67 0 0 20 0 4 0 5205597 1338576896 267892 33554432000 4194304 16246674 140734809866080 140734809849080 6012116 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 326801 267892 791 2943 0 323695 0
[pid=8893/tid=8894] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.10 2.10 2.09 3/183 9010
/proc/meminfo: memFree=29362620/32872528 swapFree=496356/529060
[pid=8893] ppid=8890 vsize=1307204 CPUtime=1800.08 cores=1,3,5,7
/proc/8893/stat : 8893 (toysat) R 8890 8893 5955 0 -1 4202496 268246 0 0 0 179941 67 0 0 20 0 4 0 5205597 1338576896 267892 33554432000 4194304 16246674 140734809866080 140734809849080 5823428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8893/statm: 326801 267892 791 2943 0 323695 0
[pid=8893/tid=8894] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8894/stat : 8894 (toysat) S 8890 8893 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435686141168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8893/tid=8895] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8895/stat : 8895 (toysat) S 8890 8893 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435675651312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8893/tid=8896] ppid=8890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8893/task/8896/stat : 8896 (toysat) S 8890 8893 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5205598 1338576896 267892 33554432000 4194304 16246674 140734809866080 140435665177776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1307204

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 8893 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.1
CPU user time (s): 1799.42
CPU system time (s): 0.673897
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.673897
maximum resident set size= 1071568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268246
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= 443
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.14422 second user time and 7.04593 second system time

The end

Begin job on node141 at 2016-06-16 01:00:02
IDJOB=4089694
IDBENCH=107443
IDSOLVER=2542
FILE ID=node141/4089694-1466031602
RUNJOBID= node141-1466008015-5972
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= fa4b1a851abcf999a2e2bbd0803146d5
RANDOM SEED=704395182

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30428748 kB
Buffers:           40004 kB
Cached:            79180 kB
SwapCached:        13092 kB
Active:          1146000 kB
Inactive:          67360 kB
Active(anon):    1084492 kB
Inactive(anon):    12040 kB
Active(file):      61508 kB
Inactive(file):    55320 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088068 kB
Dirty:             16552 kB
Writeback:             8 kB
AnonPages:       1611280 kB
Mapped:            10272 kB
Shmem:                 0 kB
Slab:             567764 kB
SReclaimable:      11304 kB
SUnreclaim:       556460 kB
KernelStack:        1488 kB
PageTables:         7360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1755004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1110016 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= 71716 MiB
End job on node141 at 2016-06-16 01:30:02