0.00/0.00	c 2016-06-18T21:49:42+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-4106856-1466279382.opb"]
0.00/0.01	c use --random-gen="1942242871 4278434216 1364184335 1149452722 478055628 2916486576 726787175 1370099822 304459051 1979176418 1775405545 403417674 294147911 2536182555 3049622547 3612792694 661242166 706861326 992351654 2222111675 3138138273 3712712016 2222512731 2352463007 3666199320 4120376148 2860649778 3135020017 636963456 340720079 532216755 3187837221 2487521701 166757478 3816644464 2826996524 820111426 1026696240 1803554151 2828147134 1794735274 1426891288 86250485 1406384526 3453032130 65055387 2045534021 3167694712 3456988680 3197470780 3443492920 413268773 1038739499 2614241549 965482065 2910868606 3429975003 1367318132 1989870939 2372313674 3055516259 2791491347 3858053590 4145728304 3840629713 2989895893 195925748 4050060457 2219299064 4174926848 976819635 4089626981 952291648 4036973293 2459152265 3383254433 1742176834 1821022577 1793319424 2595828578 328986244 4007345386 424178460 926966031 1050464950 1663887193 3309135084 4096544414 3485754194 3802501981 925600627 4005148715 1711821135 2182093573 3645522522 3332974408 2647560884 3856126977 1831072893 4098459199 1867263904 139303614 662095484 4188598108 1958470570 3880000220 2946786573 4176715248 3093830875 98642574 1451025934 828345157 4260076566 2287552553 1018743127 2629279040 1414239463 2773818538 2582006424 460577897 2974908521 610133807 2482016466 3664713413 4004466501 798457182 3411639086 1718498041 2871476075 479763615 3939317623 4174130265 3204797073 2203156372 4255467019 1142928905 3637790297 1503818789 241045543 3262359603 775507494 4222972073 2141753994 842137960 3530818890 595536348 2806010947 563184857 3767441703 3466301643 5110800 1485622795 858169185 3555668625 614685746 4026521785 2867522084 559850246 3298892513 2107640260 236064423 1244925548 2896745028 163954437 2451992348 866043685 246211164 4207286937 885299589 184665465 3099342683 626614130 68145385 2522062364 3903853005 2240962563 3769628843 904046840 3998299325 251595904 1012416361 1289770196 3611873362 3891947001 3450897636 3226452903 3738811917 314462938 2780142895 11612684 2267095371 2444548086 2619017772 1522041728 2104261951 116270052 462710082 3774643182 130639376 1776778408 946497117 4181491713 440214401 4182569539 1751156791 1064170416 1966872433 2210290157 3037011792 4131347561 3910919703 3247925334 2180197426 777398709 636882843 967539300 791744350 2218548305 1905147894 619965342 4259667045 616437277 2024729869 319800363 4104536844 2277916482 3784691053 2005002501 3546857572 4267930048 3098282505 3859235438 3169369631 1396161827 3509951005 120356379 927889355 4206381062 1136295517 177769510 1081613690 207707857 1142636165 4185804928 573142779 829790631 3441229807 2804605413 3436331071 3860072860 2132731088 2941835546 3667913875 2216649568 3856315771 2356446866 255 362436" option to reproduce the execution
0.00/0.01	c #vars 100
0.00/0.01	c #constraints 152
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      495      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      187 |      100 |      495      0 |        0 |        0
0.00/0.07	c  0.0s |       2 |     1070 |      250 |      545      0 |        0 |        0
0.09/0.12	c  0.1s |       3 |     1388 |      475 |      600      0 |        0 |        0
0.09/0.19	c  0.2s |       4 |     1782 |      813 |      660      1 |        0 |        0
0.29/0.30	c  0.3s |       5 |     2346 |     1320 |      727      2 |        0 |        0
0.39/0.46	c  0.4s |       6 |     3219 |     2081 |      881      4 |        0 |        0
0.69/0.71	c  0.7s |       7 |     4430 |     3223 |      970      6 |        0 |        0
0.99/1.07	c  1.0s |       8 |     6261 |     4936 |     1067      9 |        0 |        0
1.39/1.46	c  1.4s |       9 |     9042 |     7506 |     1174     14 |        0 |        0
1.99/2.03	c  2.0s |      10 |    13312 |    11361 |     1292     20 |        0 |        0
2.89/2.90	c  2.9s |      11 |    19770 |    17144 |     1422     28 |        0 |        0
4.19/4.23	c  4.2s |      12 |    29421 |    25819 |     1565     39 |        0 |        0
6.09/6.14	c  6.1s |      13 |    43879 |    38832 |     1722     55 |        0 |        0
8.09/8.15	c  8.1s |      13 |    56560 |    50632 |     1722     69 |        0 |        0
9.49/9.50	c  9.5s |      14 |    64601 |    58352 |     1895     77 |        0 |        0
11.49/11.50	c 11.5s |      14 |    76997 |    70052 |     1895     89 |        0 |        0
13.49/13.51	c 13.5s |      14 |    88664 |    81152 |     1895    101 |        0 |        0
14.59/14.68	c 14.7s |      15 |    95484 |    87632 |     2085    107 |        0 |        0
16.69/16.70	c 16.7s |      15 |   107874 |    99032 |     2085    118 |        0 |        0
18.69/18.72	c 18.7s |      15 |   119974 |   110432 |     2085    128 |        0 |        0
20.68/20.72	c 20.7s |      15 |   133545 |   122832 |     2085    140 |        0 |        0
22.09/22.18	c 22.2s |      16 |   143060 |   131552 |     2294    148 |        0 |        0
24.08/24.20	c 24.2s |      16 |   154672 |   142352 |     2294    157 |        0 |        0
26.18/26.20	c 26.2s |      16 |   166218 |   153252 |     2294    166 |        0 |        0
28.18/28.22	c 28.2s |      16 |   179018 |   164852 |     2294    176 |        0 |        0
30.18/30.23	c 30.2s |      16 |   190754 |   175752 |     2294    185 |        0 |        0
32.18/32.24	c 32.2s |      16 |   201852 |   186352 |     2294    194 |        0 |        0
34.19/34.23	c 34.2s |      17 |   214065 |   197432 |     2524    204 |        0 |        0
36.18/36.24	c 36.2s |      17 |   227538 |   209332 |     2524    213 |        0 |        0
38.19/38.25	c 38.2s |      17 |   241640 |   221732 |     2524    223 |        0 |        0
40.19/40.27	c 40.2s |      17 |   253772 |   232932 |     2524    231 |        0 |        0
42.19/42.28	c 42.3s |      17 |   265608 |   243932 |     2524    240 |        0 |        0
44.29/44.30	c 44.3s |      17 |   276439 |   254132 |     2524    248 |        0 |        0
46.29/46.31	c 46.3s |      17 |   289286 |   265532 |     2524    257 |        0 |        0
48.29/48.32	c 48.3s |      17 |   303400 |   277932 |     2524    266 |        0 |        0
50.29/50.32	c 50.3s |      17 |   318041 |   290732 |     2524    276 |        0 |        0
51.19/51.25	c 51.2s |      18 |   324373 |   296252 |     2777    280 |        0 |        0
53.18/53.25	c 53.2s |      18 |   335384 |   306452 |     2777    287 |        0 |        0
55.18/55.25	c 55.2s |      18 |   347663 |   317552 |     2777    295 |        0 |        0
57.19/57.27	c 57.2s |      18 |   359747 |   328552 |     2777    303 |        0 |        0
59.18/59.28	c 59.3s |      18 |   372151 |   339752 |     2777    311 |        0 |        0
61.18/61.28	c 61.3s |      18 |   383432 |   350052 |     2777    318 |        0 |        0
63.18/63.30	c 63.3s |      18 |   396238 |   361552 |     2777    326 |        0 |        0
65.28/65.31	c 65.3s |      18 |   409857 |   373452 |     2777    335 |        0 |        0
67.28/67.31	c 67.3s |      18 |   421450 |   383852 |     2777    342 |        0 |        0
69.29/69.31	c 69.3s |      18 |   434464 |   395452 |     2777    350 |        0 |        0
71.28/71.32	c 71.3s |      18 |   447581 |   407152 |     2777    359 |        0 |        0
73.28/73.33	c 73.3s |      18 |   461734 |   419552 |     2777    367 |        0 |        0
75.28/75.33	c 75.3s |      18 |   475807 |   431852 |     2777    376 |        0 |        0
77.28/77.34	c 77.3s |      18 |   489258 |   443752 |     3055    384 |        0 |        0
77.38/77.47	c 77.4s |      19 |   490062 |   444482 |     3055    385 |        0 |        0
79.38/79.47	c 79.4s |      19 |   501291 |   454482 |     3055    391 |        0 |        0
81.39/81.48	c 81.5s |      19 |   512839 |   465082 |     3055    398 |        0 |        0
83.38/83.49	c 83.5s |      19 |   525774 |   476682 |     3055    405 |        0 |        0
85.48/85.50	c 85.5s |      19 |   538395 |   487882 |     3055    413 |        0 |        0
87.48/87.51	c 87.5s |      19 |   550584 |   498882 |     3055    420 |        0 |        0
89.48/89.51	c 89.5s |      19 |   560765 |   508382 |     3055    426 |        0 |        0
91.48/91.52	c 91.5s |      19 |   573442 |   519682 |     3055    433 |        0 |        0
93.48/93.53	c 93.5s |      19 |   585784 |   530782 |     3055    440 |        0 |        0
95.47/95.53	c 95.5s |      19 |   598101 |   541782 |     3055    447 |        0 |        0
97.47/97.54	c 97.5s |      19 |   611836 |   553782 |     3055    455 |        0 |        0
99.47/99.55	c 99.5s |      19 |   625112 |   565382 |     3055    462 |        0 |        0
101.47/101.56	c  101s |      19 |   636209 |   575482 |     3055    469 |        0 |        0
103.48/103.57	c  103s |      19 |   649194 |   586982 |     3055    476 |        0 |        0
105.47/105.57	c  105s |      19 |   662149 |   598582 |     3055    484 |        0 |        0
107.47/107.58	c  107s |      19 |   674279 |   609482 |     3055    491 |        0 |        0
109.47/109.58	c  109s |      19 |   685008 |   619482 |     3055    497 |        0 |        0
111.47/111.59	c  111s |      19 |   697906 |   630882 |     3055    505 |        0 |        0
113.57/113.60	c  113s |      19 |   710310 |   641982 |     3055    512 |        0 |        0
115.58/115.61	c  115s |      19 |   724194 |   654082 |     3055    520 |        0 |        0
117.58/117.63	c  117s |      19 |   736090 |   664882 |     3361    526 |        0 |        0
117.88/117.99	c  117s |      20 |   738205 |   666827 |     3361    527 |        0 |        0
119.88/120.00	c  119s |      20 |   748273 |   676127 |     3361    533 |        0 |        0
121.97/122.01	c  121s |      20 |   758649 |   685727 |     3361    539 |        0 |        0
123.97/124.03	c  124s |      20 |   769730 |   695927 |     3361    544 |        0 |        0
125.97/126.04	c  126s |      20 |   778482 |   704227 |     3361    549 |        0 |        0
127.97/128.05	c  128s |      20 |   787917 |   713127 |     3361    555 |        0 |        0
129.97/130.05	c  130s |      20 |   799861 |   723827 |     3361    561 |        0 |        0
131.98/132.07	c  132s |      20 |   811347 |   734127 |     3361    567 |        0 |        0
133.97/134.07	c  134s |      20 |   821582 |   743627 |     3361    572 |        0 |        0
136.07/136.10	c  136s |      20 |   833602 |   754127 |     3361    579 |        0 |        0
138.07/138.11	c  138s |      20 |   844915 |   764327 |     3361    585 |        0 |        0
140.07/140.11	c  140s |      20 |   856833 |   774927 |     3361    591 |        0 |        0
142.07/142.13	c  142s |      20 |   869577 |   785927 |     3361    597 |        0 |        0
144.08/144.14	c  144s |      20 |   881482 |   796627 |     3361    603 |        0 |        0
146.07/146.15	c  146s |      20 |   892397 |   806727 |     3361    609 |        0 |        0
148.07/148.17	c  148s |      20 |   903794 |   816927 |     3361    615 |        0 |        0
150.07/150.18	c  150s |      20 |   914456 |   826727 |     3361    621 |        0 |        0
152.16/152.20	c  152s |      20 |   923210 |   835127 |     3361    626 |        0 |        0
154.16/154.21	c  154s |      20 |   932008 |   843627 |     3361    631 |        0 |        0
156.17/156.22	c  156s |      20 |   941185 |   852327 |     3361    636 |        0 |        0
158.16/158.22	c  158s |      20 |   950689 |   861327 |     3361    641 |        0 |        0
160.16/160.24	c  160s |      20 |   961919 |   871327 |     3361    647 |        0 |        0
162.16/162.25	c  162s |      20 |   973886 |   882127 |     3361    653 |        0 |        0
164.16/164.26	c  164s |      20 |   985979 |   892727 |     3361    660 |        0 |        0
166.17/166.27	c  166s |      20 |   999531 |   904527 |     3361    667 |        0 |        0
168.17/168.28	c  168s |      20 |  1010542 |   914427 |     3361    672 |        0 |        0
170.17/170.29	c  170s |      20 |  1021778 |   924827 |     3361    678 |        0 |        0
172.27/172.30	c  172s |      20 |  1034666 |   936327 |     3361    685 |        0 |        0
174.27/174.32	c  174s |      20 |  1046195 |   946827 |     3361    691 |        0 |        0
176.27/176.39	c  176s |      20 |  1058318 |   957427 |     3361    698 |        0 |        0
178.37/178.40	c  178s |      20 |  1070342 |   968227 |     3361    704 |        0 |        0
180.37/180.41	c  180s |      20 |  1084647 |   980427 |     3361    711 |        0 |        0
182.37/182.41	c  182s |      20 |  1098040 |   992127 |     3361    718 |        0 |        0
183.77/183.83	c  183s |      21 |  1107389 |  1000345 |     3698    722 |        0 |        0
185.76/185.85	c  185s |      21 |  1121672 |  1010445 |     3698    728 |        0 |        0
187.76/187.85	c  187s |      21 |  1136980 |  1020845 |     3698    733 |        0 |        0
189.76/189.87	c  189s |      21 |  1150854 |  1031445 |     3698    739 |        0 |        0
191.76/191.87	c  191s |      21 |  1165454 |  1042445 |     3698    744 |        0 |        0
193.76/193.87	c  193s |      21 |  1180422 |  1052945 |     3698    750 |        0 |        0
195.77/195.88	c  195s |      21 |  1194371 |  1063945 |     3698    756 |        0 |        0
197.86/197.90	c  197s |      21 |  1206852 |  1073945 |     3698    761 |        0 |        0
199.86/199.91	c  199s |      21 |  1220422 |  1084845 |     3698    767 |        0 |        0
201.86/201.91	c  201s |      21 |  1233603 |  1095345 |     3698    773 |        0 |        0
203.86/203.91	c  203s |      21 |  1246197 |  1106145 |     3698    778 |        0 |        0
205.86/205.92	c  205s |      21 |  1257709 |  1116245 |     3698    784 |        0 |        0
207.87/207.93	c  207s |      21 |  1270660 |  1126945 |     3698    789 |        0 |        0
209.86/209.93	c  209s |      21 |  1283367 |  1136845 |     3698    795 |        0 |        0
211.86/211.94	c  211s |      21 |  1296883 |  1147045 |     3698    800 |        0 |        0
213.86/213.95	c  213s |      21 |  1307544 |  1156045 |     3698    805 |        0 |        0
215.86/215.96	c  215s |      21 |  1319675 |  1165945 |     3698    810 |        0 |        0
217.86/217.98	c  217s |      21 |  1331736 |  1175945 |     3698    815 |        0 |        0
219.85/219.99	c  219s |      21 |  1342400 |  1185345 |     3698    820 |        0 |        0
221.95/222.00	c  221s |      21 |  1355003 |  1195145 |     3698    826 |        0 |        0
223.95/224.01	c  223s |      21 |  1366892 |  1204845 |     3698    831 |        0 |        0
225.96/226.02	c  225s |      21 |  1378337 |  1214345 |     3698    836 |        0 |        0
227.96/228.03	c  228s |      21 |  1390569 |  1223945 |     3698    841 |        0 |        0
229.97/230.03	c  230s |      21 |  1402085 |  1233445 |     3698    846 |        0 |        0
231.96/232.05	c  232s |      21 |  1413578 |  1242845 |     3698    851 |        0 |        0
233.96/234.05	c  234s |      21 |  1425056 |  1252145 |     3698    856 |        0 |        0
235.96/236.08	c  236s |      21 |  1436174 |  1261545 |     3698    861 |        0 |        0
237.96/238.09	c  238s |      21 |  1448210 |  1270845 |     3698    866 |        0 |        0
240.06/240.11	c  240s |      21 |  1459951 |  1280245 |     3698    871 |        0 |        0
242.06/242.12	c  242s |      21 |  1471169 |  1289545 |     3698    875 |        0 |        0
244.06/244.12	c  244s |      21 |  1483704 |  1298345 |     3698    880 |        0 |        0
246.06/246.13	c  246s |      21 |  1498067 |  1307145 |     3698    885 |        0 |        0
248.06/248.14	c  248s |      21 |  1513178 |  1316745 |     3698    890 |        0 |        0
250.06/250.16	c  250s |      21 |  1528627 |  1326245 |     3698    895 |        0 |        0
252.05/252.16	c  252s |      21 |  1546764 |  1335745 |     3698    900 |        0 |        0
254.06/254.17	c  254s |      21 |  1562907 |  1346445 |     3698    906 |        0 |        0
256.05/256.17	c  256s |      21 |  1581077 |  1357345 |     3698    911 |        0 |        0
258.05/258.19	c  258s |      21 |  1593534 |  1367245 |     3698    917 |        0 |        0
260.15/260.21	c  260s |      21 |  1609101 |  1377445 |     3698    922 |        0 |        0
262.15/262.21	c  262s |      21 |  1622583 |  1387145 |     3698    927 |        0 |        0
264.15/264.23	c  264s |      21 |  1635227 |  1397545 |     3698    933 |        0 |        0
266.16/266.24	c  266s |      21 |  1648142 |  1407445 |     3698    938 |        0 |        0
268.15/268.25	c  268s |      21 |  1662104 |  1417245 |     3698    943 |        0 |        0
270.15/270.25	c  270s |      21 |  1682171 |  1427645 |     3698    949 |        0 |        0
272.15/272.26	c  272s |      21 |  1696059 |  1437745 |     3698    954 |        0 |        0
274.15/274.26	c  274s |      21 |  1709088 |  1447745 |     3698    959 |        0 |        0
276.15/276.27	c  276s |      21 |  1723674 |  1458345 |     3698    965 |        0 |        0
278.14/278.28	c  278s |      21 |  1739200 |  1468945 |     3698    970 |        0 |        0
280.14/280.29	c  280s |      21 |  1754868 |  1479345 |     3698    976 |        0 |        0
282.24/282.30	c  282s |      21 |  1769684 |  1489845 |     3698    982 |        0 |        0
284.24/284.30	c  284s |      21 |  1782255 |  1500045 |     4068    986 |        0 |        0
284.35/284.42	c  284s |      22 |  1782919 |  1500622 |     4068    987 |        0 |        0
286.35/286.42	c  286s |      22 |  1798651 |  1512022 |     4068    992 |        0 |        0
288.35/288.45	c  288s |      22 |  1811935 |  1522422 |     4068    997 |        0 |        0
290.36/290.46	c  290s |      22 |  1828719 |  1533322 |     4068   1002 |        0 |        0
292.35/292.47	c  292s |      22 |  1844128 |  1544022 |     4068   1008 |        0 |        0
294.35/294.48	c  294s |      22 |  1858427 |  1554922 |     4068   1013 |        0 |        0
296.45/296.50	c  296s |      22 |  1870219 |  1564722 |     4068   1018 |        0 |        0
298.45/298.50	c  298s |      22 |  1881761 |  1574622 |     4068   1022 |        0 |        0
300.45/300.51	c  300s |      22 |  1896766 |  1585022 |     4068   1027 |        0 |        0
302.45/302.53	c  302s |      22 |  1910155 |  1595022 |     4068   1032 |        0 |        0
304.45/304.54	c  304s |      22 |  1922489 |  1605122 |     4068   1037 |        0 |        0
306.45/306.54	c  306s |      22 |  1936083 |  1615622 |     4068   1042 |        0 |        0
308.45/308.55	c  308s |      22 |  1951178 |  1626522 |     4068   1047 |        0 |        0
310.45/310.56	c  310s |      22 |  1962956 |  1636722 |     4068   1052 |        0 |        0
312.45/312.56	c  312s |      22 |  1975701 |  1646922 |     4068   1057 |        0 |        0
314.45/314.56	c  314s |      22 |  1990062 |  1657522 |     4068   1062 |        0 |        0
316.44/316.57	c  316s |      22 |  2003249 |  1667722 |     4068   1067 |        0 |        0
318.44/318.59	c  318s |      22 |  2020047 |  1678522 |     4068   1073 |        0 |        0
320.54/320.60	c  320s |      22 |  2032681 |  1688022 |     4068   1077 |        0 |        0
322.54/322.63	c  322s |      22 |  2043462 |  1697822 |     4068   1082 |        0 |        0
324.55/324.64	c  324s |      22 |  2056014 |  1708722 |     4068   1087 |        0 |        0
326.54/326.66	c  326s |      22 |  2068743 |  1719622 |     4068   1092 |        0 |        0
328.54/328.67	c  328s |      22 |  2082018 |  1731122 |     4068   1098 |        0 |        0
330.54/330.67	c  330s |      22 |  2094687 |  1741922 |     4068   1103 |        0 |        0
332.54/332.67	c  332s |      22 |  2107720 |  1752922 |     4068   1109 |        0 |        0
334.54/334.67	c  334s |      22 |  2120298 |  1764022 |     4068   1114 |        0 |        0
336.54/336.68	c  336s |      22 |  2132360 |  1774322 |     4068   1119 |        0 |        0
338.53/338.69	c  338s |      22 |  2145764 |  1785822 |     4068   1125 |        0 |        0
340.63/340.70	c  340s |      22 |  2159037 |  1797222 |     4068   1130 |        0 |        0
342.64/342.72	c  342s |      22 |  2172651 |  1808422 |     4068   1136 |        0 |        0
344.64/344.72	c  344s |      22 |  2186450 |  1819822 |     4068   1141 |        0 |        0
346.64/346.72	c  346s |      22 |  2199151 |  1830922 |     4068   1147 |        0 |        0
348.65/348.73	c  348s |      22 |  2212429 |  1842322 |     4068   1152 |        0 |        0
350.64/350.74	c  350s |      22 |  2225086 |  1852922 |     4068   1157 |        0 |        0
352.64/352.75	c  352s |      22 |  2238159 |  1863922 |     4068   1163 |        0 |        0
354.64/354.76	c  354s |      22 |  2251126 |  1874822 |     4068   1168 |        0 |        0
356.64/356.79	c  356s |      22 |  2262972 |  1885022 |     4068   1173 |        0 |        0
358.73/358.80	c  358s |      22 |  2276312 |  1896422 |     4068   1178 |        0 |        0
360.63/360.80	c  360s |      22 |  2289488 |  1907422 |     4068   1184 |        0 |        0
362.73/362.80	c  362s |      22 |  2302802 |  1918722 |     4068   1189 |        0 |        0
364.73/364.81	c  364s |      22 |  2316375 |  1930422 |     4068   1195 |        0 |        0
366.73/366.82	c  366s |      22 |  2329625 |  1941322 |     4068   1200 |        0 |        0
368.73/368.83	c  368s |      22 |  2343447 |  1952622 |     4068   1206 |        0 |        0
370.74/370.84	c  370s |      22 |  2356747 |  1964022 |     4068   1211 |        0 |        0
372.73/372.84	c  372s |      22 |  2369642 |  1974522 |     4068   1216 |        0 |        0
374.73/374.85	c  374s |      22 |  2382124 |  1985022 |     4068   1222 |        0 |        0
376.73/376.85	c  376s |      22 |  2395716 |  1995922 |     4068   1227 |        0 |        0
378.73/378.87	c  378s |      22 |  2408995 |  2006922 |     4068   1232 |        0 |        0
380.73/380.87	c  380s |      22 |  2422137 |  2018122 |     4068   1238 |        0 |        0
382.74/382.87	c  382s |      22 |  2435726 |  2029422 |     4068   1243 |        0 |        0
384.84/384.91	c  384s |      22 |  2448871 |  2040322 |     4068   1249 |        0 |        0
386.84/386.92	c  386s |      22 |  2460519 |  2050622 |     4068   1254 |        0 |        0
388.83/388.92	c  388s |      22 |  2473422 |  2061722 |     4068   1259 |        0 |        0
390.83/390.93	c  390s |      22 |  2486795 |  2073022 |     4068   1264 |        0 |        0
392.83/392.94	c  392s |      22 |  2499999 |  2083822 |     4068   1270 |        0 |        0
394.84/394.94	c  394s |      22 |  2512696 |  2094722 |     4068   1275 |        0 |        0
396.83/396.94	c  396s |      22 |  2525472 |  2105322 |     4068   1280 |        0 |        0
398.83/398.95	c  398s |      22 |  2538232 |  2116122 |     4068   1285 |        0 |        0
400.83/400.97	c  400s |      22 |  2550533 |  2126922 |     4068   1291 |        0 |        0
402.83/402.98	c  402s |      22 |  2563659 |  2137822 |     4068   1296 |        0 |        0
404.83/404.99	c  404s |      22 |  2575589 |  2148122 |     4068   1301 |        0 |        0
406.83/407.00	c  406s |      22 |  2588715 |  2158822 |     4068   1306 |        0 |        0
408.93/409.00	c  408s |      22 |  2601434 |  2169422 |     4068   1311 |        0 |        0
410.93/411.02	c  410s |      22 |  2613234 |  2179522 |     4068   1316 |        0 |        0
412.93/413.03	c  413s |      22 |  2625486 |  2189822 |     4068   1321 |        0 |        0
414.92/415.04	c  415s |      22 |  2638695 |  2200622 |     4068   1327 |        0 |        0
416.93/417.04	c  417s |      22 |  2651953 |  2211422 |     4068   1332 |        0 |        0
418.92/419.05	c  419s |      22 |  2664319 |  2221822 |     4068   1337 |        0 |        0
420.92/421.07	c  421s |      22 |  2677832 |  2233322 |     4068   1343 |        0 |        0
422.92/423.08	c  423s |      22 |  2689952 |  2243322 |     4475   1347 |        0 |        0
424.32/424.46	c  424s |      23 |  2699322 |  2251038 |     4475   1350 |        0 |        0
426.32/426.46	c  426s |      23 |  2707837 |  2258938 |     4475   1354 |        0 |        0
428.32/428.48	c  428s |      23 |  2715958 |  2266538 |     4475   1357 |        0 |        0
430.32/430.49	c  430s |      23 |  2725365 |  2275138 |     4475   1361 |        0 |        0
432.34/432.49	c  432s |      23 |  2734212 |  2283338 |     4475   1365 |        0 |        0
434.33/434.49	c  434s |      23 |  2744820 |  2292838 |     4475   1369 |        0 |        0
436.43/436.53	c  436s |      23 |  2757397 |  2303738 |     4475   1374 |        0 |        0
438.43/438.54	c  438s |      23 |  2768479 |  2313538 |     4475   1378 |        0 |        0
440.43/440.55	c  440s |      23 |  2777536 |  2321938 |     4475   1382 |        0 |        0
442.43/442.55	c  442s |      23 |  2787584 |  2330738 |     4475   1385 |        0 |        0
444.43/444.57	c  444s |      23 |  2797896 |  2340038 |     4475   1390 |        0 |        0
446.42/446.57	c  446s |      23 |  2808269 |  2349038 |     4475   1394 |        0 |        0
448.42/448.57	c  448s |      23 |  2820006 |  2359338 |     4475   1398 |        0 |        0
450.42/450.58	c  450s |      23 |  2832419 |  2370138 |     4475   1403 |        0 |        0
452.42/452.58	c  452s |      23 |  2844125 |  2380338 |     4475   1407 |        0 |        0
454.52/454.69	c  454s |      23 |  2855220 |  2390138 |     4475   1412 |        0 |        0
456.53/456.69	c  456s |      23 |  2867415 |  2400538 |     4475   1416 |        0 |        0
458.63/458.72	c  458s |      23 |  2877006 |  2409238 |     4475   1420 |        0 |        0
460.62/460.73	c  460s |      23 |  2887104 |  2418338 |     4475   1424 |        0 |        0
462.62/462.74	c  462s |      23 |  2897782 |  2427738 |     4475   1428 |        0 |        0
464.62/464.76	c  464s |      23 |  2907182 |  2436338 |     4475   1432 |        0 |        0
466.62/466.76	c  466s |      23 |  2918990 |  2446738 |     4475   1437 |        0 |        0
468.63/468.77	c  468s |      23 |  2930394 |  2456538 |     4475   1441 |        0 |        0
470.62/470.80	c  470s |      23 |  2942711 |  2466938 |     4475   1446 |        0 |        0
472.72/472.81	c  472s |      23 |  2954451 |  2477138 |     4475   1450 |        0 |        0
474.72/474.82	c  474s |      23 |  2966170 |  2487138 |     4475   1454 |        0 |        0
476.72/476.83	c  476s |      23 |  2977793 |  2497238 |     4475   1459 |        0 |        0
478.72/478.86	c  478s |      23 |  2989592 |  2507538 |     4475   1464 |        0 |        0
480.72/480.86	c  480s |      23 |  3001488 |  2518138 |     4475   1468 |        0 |        0
482.72/482.88	c  482s |      23 |  3010422 |  2526438 |     4475   1472 |        0 |        0
484.82/484.90	c  484s |      23 |  3022058 |  2536638 |     4475   1476 |        0 |        0
486.82/486.90	c  486s |      23 |  3032851 |  2546338 |     4475   1481 |        0 |        0
488.81/488.92	c  488s |      23 |  3045700 |  2557138 |     4475   1485 |        0 |        0
490.81/490.92	c  490s |      23 |  3058383 |  2568038 |     4475   1490 |        0 |        0
492.82/492.94	c  492s |      23 |  3070520 |  2578538 |     4475   1495 |        0 |        0
494.81/494.95	c  494s |      23 |  3082057 |  2588638 |     4475   1499 |        0 |        0
496.81/496.96	c  496s |      23 |  3092218 |  2597638 |     4475   1503 |        0 |        0
498.81/498.98	c  498s |      23 |  3101760 |  2606438 |     4475   1507 |        0 |        0
500.91/501.00	c  500s |      23 |  3111700 |  2615538 |     4475   1511 |        0 |        0
502.91/503.01	c  502s |      23 |  3120018 |  2623138 |     4475   1515 |        0 |        0
504.92/505.01	c  504s |      23 |  3131616 |  2633238 |     4475   1519 |        0 |        0
506.92/507.03	c  507s |      23 |  3141193 |  2642138 |     4475   1523 |        0 |        0
508.92/509.06	c  509s |      23 |  3151459 |  2651138 |     4475   1527 |        0 |        0
510.92/511.07	c  511s |      23 |  3162201 |  2660638 |     4475   1531 |        0 |        0
512.92/513.09	c  513s |      23 |  3173872 |  2670938 |     4475   1536 |        0 |        0
515.02/515.10	c  515s |      23 |  3185335 |  2680938 |     4475   1540 |        0 |        0
517.02/517.11	c  517s |      23 |  3196379 |  2690538 |     4475   1544 |        0 |        0
519.02/519.17	c  519s |      23 |  3206709 |  2699838 |     4475   1549 |        0 |        0
521.01/521.17	c  521s |      23 |  3218420 |  2710138 |     4475   1553 |        0 |        0
523.01/523.18	c  523s |      23 |  3230370 |  2720638 |     4475   1558 |        0 |        0
525.01/525.18	c  525s |      23 |  3241583 |  2730438 |     4475   1562 |        0 |        0
527.01/527.19	c  527s |      23 |  3253369 |  2740738 |     4475   1567 |        0 |        0
529.12/529.21	c  529s |      23 |  3264810 |  2750738 |     4475   1571 |        0 |        0
531.11/531.22	c  531s |      23 |  3274911 |  2759838 |     4475   1575 |        0 |        0
533.11/533.23	c  533s |      23 |  3285141 |  2768838 |     4475   1579 |        0 |        0
535.11/535.23	c  535s |      23 |  3296751 |  2778938 |     4475   1584 |        0 |        0
537.11/537.25	c  537s |      23 |  3307638 |  2788538 |     4475   1588 |        0 |        0
539.11/539.26	c  539s |      23 |  3320741 |  2799938 |     4475   1593 |        0 |        0
541.11/541.26	c  541s |      23 |  3332614 |  2810338 |     4475   1597 |        0 |        0
543.11/543.28	c  543s |      23 |  3345292 |  2820938 |     4475   1602 |        0 |        0
545.11/545.29	c  545s |      23 |  3356854 |  2831138 |     4475   1607 |        0 |        0
547.20/547.35	c  547s |      23 |  3366803 |  2840038 |     4475   1611 |        0 |        0
549.20/549.38	c  549s |      23 |  3376870 |  2849038 |     4475   1615 |        0 |        0
551.30/551.40	c  551s |      23 |  3386607 |  2857938 |     4475   1618 |        0 |        0
553.31/553.42	c  553s |      23 |  3397958 |  2868038 |     4475   1623 |        0 |        0
555.30/555.44	c  555s |      23 |  3407811 |  2877038 |     4475   1627 |        0 |        0
557.30/557.49	c  557s |      23 |  3417789 |  2886038 |     4475   1631 |        0 |        0
559.31/559.49	c  559s |      23 |  3427134 |  2894438 |     4475   1635 |        0 |        0
561.31/561.49	c  561s |      23 |  3438906 |  2904738 |     4475   1639 |        0 |        0
563.41/563.50	c  563s |      23 |  3449687 |  2914438 |     4475   1643 |        0 |        0
565.42/565.51	c  565s |      23 |  3459748 |  2923538 |     4475   1647 |        0 |        0
567.41/567.52	c  567s |      23 |  3471131 |  2933538 |     4475   1652 |        0 |        0
569.41/569.53	c  569s |      23 |  3482412 |  2943538 |     4475   1656 |        0 |        0
571.41/571.53	c  571s |      23 |  3494020 |  2953638 |     4475   1661 |        0 |        0
573.41/573.54	c  573s |      23 |  3506136 |  2964338 |     4475   1666 |        0 |        0
575.41/575.55	c  575s |      23 |  3517413 |  2974538 |     4475   1670 |        0 |        0
577.41/577.60	c  577s |      23 |  3528927 |  2984638 |     4475   1675 |        0 |        0
579.50/579.60	c  579s |      23 |  3539324 |  2993638 |     4475   1679 |        0 |        0
581.50/581.61	c  581s |      23 |  3549594 |  3002938 |     4475   1683 |        0 |        0
583.50/583.63	c  583s |      23 |  3561536 |  3013338 |     4475   1687 |        0 |        0
585.50/585.63	c  585s |      23 |  3572654 |  3023138 |     4475   1692 |        0 |        0
587.50/587.63	c  587s |      23 |  3584720 |  3033638 |     4475   1696 |        0 |        0
589.51/589.63	c  589s |      23 |  3596278 |  3043638 |     4475   1701 |        0 |        0
591.50/591.64	c  591s |      23 |  3608746 |  3054338 |     4475   1705 |        0 |        0
593.50/593.65	c  593s |      23 |  3619385 |  3063638 |     4475   1710 |        0 |        0
595.50/595.66	c  595s |      23 |  3630627 |  3073638 |     4475   1714 |        0 |        0
597.50/597.66	c  597s |      23 |  3642922 |  3084038 |     4475   1719 |        0 |        0
599.50/599.68	c  599s |      23 |  3654118 |  3094038 |     4475   1723 |        0 |        0
601.49/601.68	c  601s |      23 |  3665910 |  3104438 |     4475   1728 |        0 |        0
603.59/603.70	c  603s |      23 |  3678279 |  3115238 |     4475   1732 |        0 |        0
605.60/605.73	c  605s |      23 |  3688876 |  3124538 |     4475   1737 |        0 |        0
607.60/607.75	c  607s |      23 |  3701674 |  3135338 |     4475   1741 |        0 |        0
609.60/609.75	c  609s |      23 |  3714274 |  3145738 |     4475   1746 |        0 |        0
611.61/611.76	c  611s |      23 |  3726670 |  3156438 |     4475   1751 |        0 |        0
613.60/613.76	c  613s |      23 |  3737690 |  3166338 |     4475   1755 |        0 |        0
615.60/615.78	c  615s |      23 |  3750316 |  3177138 |     4475   1760 |        0 |        0
617.60/617.79	c  617s |      23 |  3761630 |  3187238 |     4475   1764 |        0 |        0
619.70/619.80	c  619s |      23 |  3772654 |  3197038 |     4475   1769 |        0 |        0
621.70/621.81	c  621s |      23 |  3784776 |  3207438 |     4475   1773 |        0 |        0
623.70/623.83	c  623s |      23 |  3796995 |  3217938 |     4475   1778 |        0 |        0
625.69/625.83	c  625s |      23 |  3808186 |  3227938 |     4475   1782 |        0 |        0
627.69/627.84	c  627s |      23 |  3819314 |  3237838 |     4475   1787 |        0 |        0
629.69/629.89	c  629s |      23 |  3829980 |  3247438 |     4475   1791 |        0 |        0
631.79/631.91	c  631s |      23 |  3840691 |  3257138 |     4475   1795 |        0 |        0
633.79/633.92	c  633s |      23 |  3849215 |  3265138 |     4475   1799 |        0 |        0
635.80/635.94	c  635s |      23 |  3858601 |  3273538 |     4475   1803 |        0 |        0
637.79/637.99	c  637s |      23 |  3868611 |  3282538 |     4475   1807 |        0 |        0
639.89/640.01	c  639s |      23 |  3878867 |  3291738 |     4475   1811 |        0 |        0
641.89/642.02	c  641s |      23 |  3887996 |  3300238 |     4475   1814 |        0 |        0
643.89/644.03	c  644s |      23 |  3895713 |  3307538 |     4475   1818 |        0 |        0
645.89/646.05	c  646s |      23 |  3905855 |  3316638 |     4475   1822 |        0 |        0
647.90/648.06	c  648s |      23 |  3915802 |  3325538 |     4475   1825 |        0 |        0
649.89/650.06	c  650s |      23 |  3926021 |  3334738 |     4475   1830 |        0 |        0
651.89/652.06	c  652s |      23 |  3937131 |  3344338 |     4475   1834 |        0 |        0
653.89/654.07	c  654s |      23 |  3948094 |  3353938 |     4923   1838 |        0 |        0
655.89/656.08	c  656s |      23 |  3959187 |  3363638 |     4923   1842 |        0 |        0
657.99/658.10	c  658s |      23 |  3969309 |  3372738 |     4923   1845 |        0 |        0
659.09/659.20	c  659s |      24 |  3973505 |  3376662 |     4923   1847 |        0 |        0
661.10/661.22	c  661s |      24 |  3982263 |  3384562 |     4923   1850 |        0 |        0
663.09/663.24	c  663s |      24 |  3990816 |  3392462 |     4923   1853 |        0 |        0
665.09/665.25	c  665s |      24 |  3999430 |  3400362 |     4923   1856 |        0 |        0
667.09/667.26	c  667s |      24 |  4007309 |  3407762 |     4923   1859 |        0 |        0
669.09/669.28	c  669s |      24 |  4014843 |  3414962 |     4923   1862 |        0 |        0
671.09/671.29	c  671s |      24 |  4023872 |  3423162 |     4923   1866 |        0 |        0
673.19/673.31	c  673s |      24 |  4033077 |  3431562 |     4923   1869 |        0 |        0
675.19/675.33	c  675s |      24 |  4041381 |  3439062 |     4923   1872 |        0 |        0
677.19/677.36	c  677s |      24 |  4051819 |  3448062 |     4923   1876 |        0 |        0
679.18/679.37	c  679s |      24 |  4061216 |  3456462 |     4923   1879 |        0 |        0
681.18/681.37	c  681s |      24 |  4070984 |  3465262 |     4923   1882 |        0 |        0
683.18/683.38	c  683s |      24 |  4081988 |  3474962 |     4923   1886 |        0 |        0
685.38/685.52	c  685s |      24 |  4092203 |  3484162 |     4923   1890 |        0 |        0
687.39/687.52	c  687s |      24 |  4103787 |  3494362 |     4923   1894 |        0 |        0
689.38/689.53	c  689s |      24 |  4113961 |  3503362 |     4923   1898 |        0 |        0
691.38/691.53	c  691s |      24 |  4125025 |  3512962 |     4923   1902 |        0 |        0
693.38/693.54	c  693s |      24 |  4135707 |  3522562 |     4923   1905 |        0 |        0
695.39/695.55	c  695s |      24 |  4146204 |  3531762 |     4923   1909 |        0 |        0
697.40/697.56	c  697s |      24 |  4156148 |  3540462 |     4923   1913 |        0 |        0
699.39/699.57	c  699s |      24 |  4165099 |  3548662 |     4923   1916 |        0 |        0
701.39/701.59	c  701s |      24 |  4175338 |  3557662 |     4923   1920 |        0 |        0
703.39/703.59	c  703s |      24 |  4184821 |  3566162 |     4923   1923 |        0 |        0
705.48/705.61	c  705s |      24 |  4194258 |  3574762 |     4923   1926 |        0 |        0
707.48/707.61	c  707s |      24 |  4203038 |  3582962 |     4923   1930 |        0 |        0
709.49/709.62	c  709s |      24 |  4212360 |  3591162 |     4923   1933 |        0 |        0
711.48/711.64	c  711s |      24 |  4221341 |  3599462 |     4923   1936 |        0 |        0
713.48/713.66	c  713s |      24 |  4229688 |  3606962 |     4923   1939 |        0 |        0
715.48/715.67	c  715s |      24 |  4239500 |  3615762 |     4923   1943 |        0 |        0
717.48/717.68	c  717s |      24 |  4250441 |  3625562 |     4923   1947 |        0 |        0
719.58/719.70	c  719s |      24 |  4260685 |  3634562 |     4923   1950 |        0 |        0
721.59/721.71	c  721s |      24 |  4270249 |  3643262 |     4923   1954 |        0 |        0
723.58/723.73	c  723s |      24 |  4281321 |  3652962 |     4923   1958 |        0 |        0
725.58/725.73	c  725s |      24 |  4291670 |  3662162 |     4923   1962 |        0 |        0
727.58/727.74	c  727s |      24 |  4301657 |  3671062 |     4923   1965 |        0 |        0
729.58/729.74	c  729s |      24 |  4311645 |  3679862 |     4923   1969 |        0 |        0
731.58/731.76	c  731s |      24 |  4322355 |  3689262 |     4923   1972 |        0 |        0
733.59/733.76	c  733s |      24 |  4333112 |  3698762 |     4923   1976 |        0 |        0
735.58/735.76	c  735s |      24 |  4344750 |  3708862 |     4923   1980 |        0 |        0
737.57/737.77	c  737s |      24 |  4356570 |  3718962 |     4923   1984 |        0 |        0
739.57/739.77	c  739s |      24 |  4368587 |  3729262 |     4923   1989 |        0 |        0
741.57/741.79	c  741s |      24 |  4380039 |  3739262 |     4923   1993 |        0 |        0
743.58/743.79	c  743s |      24 |  4391185 |  3748762 |     4923   1996 |        0 |        0
745.58/745.79	c  745s |      24 |  4401412 |  3757662 |     4923   2000 |        0 |        0
747.68/747.81	c  747s |      24 |  4411936 |  3766962 |     4923   2004 |        0 |        0
749.68/749.82	c  749s |      24 |  4422514 |  3776262 |     4923   2007 |        0 |        0
751.68/751.84	c  751s |      24 |  4433927 |  3786162 |     4923   2011 |        0 |        0
753.68/753.85	c  753s |      24 |  4445111 |  3795962 |     4923   2015 |        0 |        0
755.69/755.86	c  755s |      24 |  4454573 |  3804462 |     4923   2019 |        0 |        0
757.68/757.90	c  757s |      24 |  4464893 |  3813662 |     4923   2023 |        0 |        0
759.78/759.91	c  759s |      24 |  4473181 |  3821362 |     4923   2026 |        0 |        0
761.78/761.92	c  761s |      24 |  4482182 |  3829662 |     4923   2029 |        0 |        0
763.78/763.93	c  763s |      24 |  4491548 |  3838062 |     4923   2032 |        0 |        0
765.78/765.94	c  765s |      24 |  4502567 |  3847362 |     4923   2036 |        0 |        0
767.78/767.95	c  767s |      24 |  4514939 |  3858062 |     4923   2040 |        0 |        0
769.78/769.97	c  769s |      24 |  4527606 |  3869062 |     4923   2045 |        0 |        0
771.77/771.97	c  771s |      24 |  4538630 |  3878662 |     4923   2049 |        0 |        0
773.77/773.97	c  773s |      24 |  4548193 |  3887362 |     4923   2052 |        0 |        0
775.87/776.00	c  775s |      24 |  4556838 |  3895462 |     4923   2055 |        0 |        0
777.87/778.02	c  777s |      24 |  4566095 |  3903762 |     4923   2059 |        0 |        0
779.88/780.03	c  780s |      24 |  4576717 |  3913062 |     4923   2063 |        0 |        0
781.87/782.04	c  782s |      24 |  4588059 |  3922962 |     4923   2066 |        0 |        0
783.87/784.04	c  784s |      24 |  4600420 |  3933362 |     4923   2071 |        0 |        0
785.97/786.14	c  786s |      24 |  4611092 |  3942862 |     4923   2075 |        0 |        0
787.97/788.14	c  788s |      24 |  4622632 |  3952862 |     4923   2079 |        0 |        0
789.97/790.15	c  790s |      24 |  4634206 |  3963062 |     4923   2083 |        0 |        0
791.97/792.16	c  792s |      24 |  4646929 |  3973762 |     4923   2087 |        0 |        0
793.97/794.17	c  794s |      24 |  4658645 |  3983862 |     4923   2091 |        0 |        0
796.07/796.21	c  796s |      24 |  4670247 |  3994062 |     4923   2095 |        0 |        0
798.07/798.22	c  798s |      24 |  4681396 |  4003662 |     4923   2099 |        0 |        0
800.07/800.24	c  800s |      24 |  4692099 |  4013062 |     4923   2103 |        0 |        0
802.07/802.29	c  802s |      24 |  4704101 |  4023362 |     4923   2107 |        0 |        0
804.08/804.29	c  804s |      24 |  4715443 |  4033262 |     4923   2111 |        0 |        0
806.07/806.29	c  806s |      24 |  4727471 |  4043662 |     4923   2115 |        0 |        0
808.17/808.30	c  808s |      24 |  4738619 |  4053462 |     4923   2119 |        0 |        0
810.17/810.31	c  810s |      24 |  4748273 |  4062162 |     4923   2123 |        0 |        0
812.17/812.32	c  812s |      24 |  4757485 |  4070462 |     4923   2126 |        0 |        0
814.16/814.33	c  814s |      24 |  4768293 |  4080162 |     4923   2130 |        0 |        0
816.17/816.34	c  816s |      24 |  4778134 |  4088962 |     4923   2133 |        0 |        0
818.16/818.35	c  818s |      24 |  4789390 |  4098862 |     4923   2137 |        0 |        0
820.16/820.36	c  820s |      24 |  4799447 |  4107862 |     4923   2141 |        0 |        0
822.17/822.36	c  822s |      24 |  4809726 |  4117062 |     4923   2145 |        0 |        0
824.16/824.37	c  824s |      24 |  4818511 |  4125062 |     4923   2148 |        0 |        0
826.16/826.37	c  826s |      24 |  4826896 |  4132762 |     4923   2151 |        0 |        0
828.27/828.41	c  828s |      24 |  4836911 |  4141662 |     4923   2155 |        0 |        0
830.26/830.43	c  830s |      24 |  4848346 |  4151562 |     4923   2159 |        0 |        0
832.26/832.43	c  832s |      24 |  4858346 |  4160562 |     4923   2162 |        0 |        0
834.25/834.44	c  834s |      24 |  4868084 |  4169262 |     4923   2166 |        0 |        0
836.35/836.50	c  836s |      24 |  4877008 |  4177562 |     4923   2169 |        0 |        0
838.35/838.51	c  838s |      24 |  4886679 |  4186362 |     4923   2173 |        0 |        0
840.36/840.52	c  840s |      24 |  4895039 |  4194162 |     4923   2176 |        0 |        0
842.35/842.53	c  842s |      24 |  4903336 |  4202062 |     4923   2179 |        0 |        0
844.35/844.54	c  844s |      24 |  4912587 |  4210462 |     4923   2182 |        0 |        0
846.35/846.56	c  846s |      24 |  4921107 |  4218162 |     4923   2185 |        0 |        0
848.36/848.56	c  848s |      24 |  4932362 |  4228262 |     4923   2189 |        0 |        0
850.35/850.58	c  850s |      24 |  4943463 |  4238062 |     4923   2193 |        0 |        0
852.46/852.61	c  852s |      24 |  4954184 |  4247562 |     4923   2197 |        0 |        0
854.45/854.61	c  854s |      24 |  4964409 |  4256662 |     4923   2201 |        0 |        0
856.45/856.62	c  856s |      24 |  4974970 |  4265962 |     4923   2205 |        0 |        0
858.45/858.63	c  858s |      24 |  4984839 |  4274862 |     4923   2208 |        0 |        0
860.45/860.63	c  860s |      24 |  4993852 |  4283162 |     4923   2211 |        0 |        0
862.45/862.63	c  862s |      24 |  5002991 |  4291562 |     4923   2215 |        0 |        0
864.45/864.65	c  864s |      24 |  5012525 |  4299962 |     4923   2218 |        0 |        0
866.44/866.66	c  866s |      24 |  5022963 |  4309162 |     4923   2222 |        0 |        0
868.44/868.66	c  868s |      24 |  5034251 |  4319062 |     4923   2226 |        0 |        0
870.44/870.67	c  870s |      24 |  5045477 |  4328862 |     4923   2230 |        0 |        0
872.44/872.67	c  872s |      24 |  5057658 |  4339362 |     4923   2234 |        0 |        0
874.45/874.68	c  874s |      24 |  5068886 |  4349062 |     4923   2238 |        0 |        0
876.44/876.69	c  876s |      24 |  5081360 |  4359762 |     4923   2242 |        0 |        0
878.44/878.69	c  878s |      24 |  5092256 |  4369162 |     4923   2246 |        0 |        0
880.54/880.70	c  880s |      24 |  5103853 |  4379162 |     4923   2250 |        0 |        0
882.54/882.70	c  882s |      24 |  5116111 |  4389562 |     4923   2254 |        0 |        0
884.54/884.71	c  884s |      24 |  5128436 |  4399862 |     4923   2258 |        0 |        0
886.54/886.76	c  886s |      24 |  5141020 |  4410462 |     4923   2263 |        0 |        0
888.54/888.77	c  888s |      24 |  5150168 |  4418662 |     4923   2266 |        0 |        0
890.54/890.79	c  890s |      24 |  5159560 |  4427162 |     4923   2269 |        0 |        0
892.53/892.79	c  892s |      24 |  5170134 |  4436462 |     4923   2273 |        0 |        0
894.53/894.79	c  894s |      24 |  5180643 |  4445662 |     4923   2277 |        0 |        0
896.63/896.80	c  896s |      24 |  5189929 |  4454262 |     4923   2280 |        0 |        0
898.64/898.81	c  898s |      24 |  5200757 |  4463662 |     4923   2284 |        0 |        0
900.63/900.81	c  900s |      24 |  5212012 |  4473562 |     4923   2288 |        0 |        0
902.63/902.82	c  902s |      24 |  5223516 |  4483762 |     4923   2292 |        0 |        0
904.63/904.84	c  904s |      24 |  5233327 |  4492462 |     4923   2296 |        0 |        0
906.63/906.84	c  906s |      24 |  5245431 |  4503162 |     4923   2300 |        0 |        0
908.62/908.85	c  908s |      24 |  5255908 |  4512362 |     4923   2304 |        0 |        0
910.63/910.87	c  910s |      24 |  5266802 |  4521862 |     4923   2308 |        0 |        0
912.62/912.89	c  912s |      24 |  5276682 |  4530862 |     4923   2311 |        0 |        0
914.72/914.90	c  914s |      24 |  5286635 |  4539662 |     4923   2315 |        0 |        0
916.72/916.90	c  916s |      24 |  5297893 |  4549462 |     4923   2319 |        0 |        0
918.72/918.91	c  918s |      24 |  5309789 |  4559662 |     4923   2323 |        0 |        0
920.72/920.91	c  920s |      24 |  5321923 |  4569862 |     4923   2327 |        0 |        0
922.74/922.93	c  922s |      24 |  5333860 |  4580062 |     4923   2331 |        0 |        0
924.72/924.94	c  924s |      24 |  5345877 |  4590462 |     4923   2335 |        0 |        0
926.72/926.94	c  926s |      24 |  5356412 |  4599662 |     4923   2339 |        0 |        0
928.72/928.95	c  928s |      24 |  5366699 |  4608862 |     4923   2343 |        0 |        0
930.72/930.96	c  930s |      24 |  5378693 |  4619162 |     4923   2347 |        0 |        0
932.73/932.96	c  932s |      24 |  5389532 |  4628662 |     4923   2351 |        0 |        0
934.72/934.97	c  934s |      24 |  5401361 |  4638862 |     4923   2355 |        0 |        0
936.72/936.97	c  936s |      24 |  5413226 |  4648762 |     4923   2359 |        0 |        0
938.72/938.97	c  938s |      24 |  5423797 |  4658162 |     4923   2362 |        0 |        0
940.72/940.98	c  940s |      24 |  5435228 |  4668262 |     4923   2366 |        0 |        0
942.71/942.98	c  942s |      24 |  5447477 |  4678662 |     4923   2371 |        0 |        0
944.72/944.99	c  944s |      24 |  5459155 |  4688662 |     4923   2375 |        0 |        0
946.81/947.00	c  946s |      24 |  5471586 |  4699362 |     4923   2379 |        0 |        0
948.81/949.00	c  948s |      24 |  5483726 |  4709962 |     4923   2383 |        0 |        0
950.81/951.00	c  950s |      24 |  5494448 |  4719462 |     4923   2387 |        0 |        0
952.81/953.01	c  952s |      24 |  5505043 |  4728562 |     4923   2391 |        0 |        0
954.80/955.02	c  954s |      24 |  5516584 |  4738662 |     4923   2395 |        0 |        0
956.81/957.02	c  956s |      24 |  5529071 |  4749562 |     4923   2399 |        0 |        0
958.80/959.07	c  959s |      24 |  5538213 |  4757962 |     4923   2403 |        0 |        0
960.80/961.08	c  961s |      24 |  5548363 |  4766962 |     4923   2406 |        0 |        0
962.90/963.11	c  963s |      24 |  5558196 |  4775662 |     4923   2410 |        0 |        0
964.90/965.12	c  965s |      24 |  5568874 |  4785062 |     4923   2414 |        0 |        0
966.90/967.12	c  967s |      24 |  5580662 |  4795362 |     4923   2418 |        0 |        0
968.90/969.13	c  969s |      24 |  5591893 |  4805262 |     4923   2422 |        0 |        0
970.89/971.15	c  971s |      24 |  5602858 |  4814662 |     4923   2425 |        0 |        0
972.90/973.17	c  973s |      24 |  5613079 |  4823662 |     4923   2429 |        0 |        0
974.90/975.17	c  975s |      24 |  5623734 |  4833062 |     4923   2433 |        0 |        0
976.90/977.19	c  977s |      24 |  5635583 |  4843362 |     4923   2437 |        0 |        0
979.00/979.20	c  979s |      24 |  5646208 |  4852762 |     4923   2441 |        0 |        0
981.00/981.21	c  981s |      24 |  5658168 |  4863062 |     4923   2445 |        0 |        0
983.00/983.22	c  983s |      24 |  5670216 |  4873562 |     4923   2449 |        0 |        0
985.00/985.22	c  985s |      24 |  5681331 |  4883362 |     4923   2453 |        0 |        0
986.99/987.23	c  987s |      24 |  5689996 |  4891262 |     4923   2456 |        0 |        0
988.99/989.24	c  989s |      24 |  5700265 |  4900462 |     4923   2460 |        0 |        0
991.00/991.25	c  991s |      24 |  5709643 |  4908762 |     4923   2463 |        0 |        0
992.99/993.28	c  993s |      24 |  5720947 |  4918862 |     4923   2467 |        0 |        0
994.99/995.29	c  995s |      24 |  5731757 |  4928262 |     4923   2471 |        0 |        0
997.09/997.31	c  997s |      24 |  5742415 |  4937562 |     4923   2475 |        0 |        0
999.09/999.32	c  999s |      24 |  5751926 |  4946362 |     4923   2478 |        0 |        0
1001.09/1001.33	c 1001s |      24 |  5763348 |  4956362 |     4923   2482 |        0 |        0
1003.09/1003.34	c 1003s |      24 |  5774453 |  4966062 |     4923   2486 |        0 |        0
1005.08/1005.35	c 1005s |      24 |  5786895 |  4976762 |     4923   2491 |        0 |        0
1007.08/1007.36	c 1007s |      24 |  5797942 |  4986762 |     4923   2495 |        0 |        0
1009.08/1009.36	c 1009s |      24 |  5807624 |  4995262 |     4923   2498 |        0 |        0
1011.08/1011.37	c 1011s |      24 |  5817316 |  5003962 |     4923   2502 |        0 |        0
1013.18/1013.40	c 1013s |      24 |  5827280 |  5012962 |     4923   2505 |        0 |        0
1015.08/1015.40	c 1015s |      24 |  5838151 |  5022562 |     4923   2509 |        0 |        0
1017.17/1017.42	c 1017s |      24 |  5847530 |  5031262 |     5416   2512 |        0 |        0
1019.17/1019.42	c 1019s |      24 |  5855768 |  5038762 |     5416   2515 |        0 |        0
1021.17/1021.44	c 1021s |      24 |  5864478 |  5046862 |     5416   2518 |        0 |        0
1023.17/1023.44	c 1023s |      24 |  5873180 |  5054962 |     5416   2521 |        0 |        0
1025.17/1025.44	c 1025s |      24 |  5882725 |  5063462 |     5416   2524 |        0 |        0
1025.57/1025.81	c 1025s |      25 |  5884588 |  5065098 |     5416   2525 |        0 |        0
1027.68/1027.96	c 1027s |      25 |  5892905 |  5072798 |     5416   2528 |        0 |        0
1029.78/1030.03	c 1029s |      25 |  5902708 |  5081698 |     5416   2531 |        0 |        0
1031.78/1032.04	c 1032s |      25 |  5912345 |  5090098 |     5416   2534 |        0 |        0
1033.78/1034.04	c 1034s |      25 |  5924533 |  5100598 |     5416   2538 |        0 |        0
1035.77/1036.06	c 1036s |      25 |  5934876 |  5109298 |     5416   2541 |        0 |        0
1037.77/1038.07	c 1038s |      25 |  5946985 |  5119598 |     5416   2545 |        0 |        0
1039.77/1040.07	c 1040s |      25 |  5959170 |  5129798 |     5416   2548 |        0 |        0
1041.77/1042.09	c 1042s |      25 |  5970713 |  5139598 |     5416   2552 |        0 |        0
1043.86/1044.12	c 1044s |      25 |  5981418 |  5149098 |     5416   2556 |        0 |        0
1045.87/1046.13	c 1046s |      25 |  5992629 |  5158798 |     5416   2559 |        0 |        0
1047.86/1048.15	c 1048s |      25 |  6002323 |  5167498 |     5416   2562 |        0 |        0
1049.86/1050.15	c 1050s |      25 |  6013502 |  5177198 |     5416   2566 |        0 |        0
1051.86/1052.15	c 1052s |      25 |  6024469 |  5186898 |     5416   2569 |        0 |        0
1053.86/1054.16	c 1054s |      25 |  6035761 |  5196698 |     5416   2573 |        0 |        0
1055.95/1056.20	c 1056s |      25 |  6047037 |  5206398 |     5416   2577 |        0 |        0
1057.96/1058.22	c 1058s |      25 |  6058575 |  5216498 |     5416   2580 |        0 |        0
1059.95/1060.23	c 1060s |      25 |  6070051 |  5226298 |     5416   2584 |        0 |        0
1061.95/1062.24	c 1062s |      25 |  6082697 |  5237198 |     5416   2588 |        0 |        0
1063.95/1064.25	c 1064s |      25 |  6094067 |  5246998 |     5416   2591 |        0 |        0
1066.05/1066.33	c 1066s |      25 |  6103797 |  5255698 |     5416   2595 |        0 |        0
1068.05/1068.34	c 1068s |      25 |  6114776 |  5265398 |     5416   2598 |        0 |        0
1070.06/1070.35	c 1070s |      25 |  6126108 |  5275198 |     5416   2602 |        0 |        0
1072.05/1072.36	c 1072s |      25 |  6137140 |  5284798 |     5416   2605 |        0 |        0
1074.05/1074.37	c 1074s |      25 |  6148992 |  5294998 |     5416   2609 |        0 |        0
1076.05/1076.39	c 1076s |      25 |  6160486 |  5304898 |     5416   2613 |        0 |        0
1078.15/1078.40	c 1078s |      25 |  6172830 |  5315398 |     5416   2616 |        0 |        0
1080.15/1080.41	c 1080s |      25 |  6184279 |  5325398 |     5416   2620 |        0 |        0
1082.16/1082.42	c 1082s |      25 |  6193060 |  5333298 |     5416   2623 |        0 |        0
1084.15/1084.43	c 1084s |      25 |  6202699 |  5341898 |     5416   2626 |        0 |        0
1086.15/1086.45	c 1086s |      25 |  6211628 |  5349798 |     5416   2629 |        0 |        0
1088.15/1088.46	c 1088s |      25 |  6222016 |  5358798 |     5416   2632 |        0 |        0
1090.15/1090.47	c 1090s |      25 |  6233543 |  5368598 |     5416   2636 |        0 |        0
1092.25/1092.50	c 1092s |      25 |  6244763 |  5378498 |     5416   2640 |        0 |        0
1094.14/1094.50	c 1094s |      25 |  6255381 |  5387698 |     5416   2643 |        0 |        0
1096.24/1096.52	c 1096s |      25 |  6265902 |  5396898 |     5416   2646 |        0 |        0
1098.24/1098.53	c 1098s |      25 |  6277719 |  5407198 |     5416   2650 |        0 |        0
1100.24/1100.55	c 1100s |      25 |  6288736 |  5416698 |     5416   2654 |        0 |        0
1102.24/1102.55	c 1102s |      25 |  6300574 |  5426998 |     5416   2657 |        0 |        0
1104.24/1104.56	c 1104s |      25 |  6312106 |  5436998 |     5416   2661 |        0 |        0
1106.24/1106.56	c 1106s |      25 |  6322254 |  5446198 |     5416   2664 |        0 |        0
1108.24/1108.58	c 1108s |      25 |  6331907 |  5454598 |     5416   2667 |        0 |        0
1110.23/1110.59	c 1110s |      25 |  6341904 |  5463398 |     5416   2671 |        0 |        0
1112.23/1112.59	c 1112s |      25 |  6351510 |  5472098 |     5416   2674 |        0 |        0
1114.33/1114.60	c 1114s |      25 |  6361331 |  5480698 |     5416   2677 |        0 |        0
1116.34/1116.67	c 1116s |      25 |  6372500 |  5490398 |     5416   2681 |        0 |        0
1118.33/1118.68	c 1118s |      25 |  6383391 |  5499798 |     5416   2684 |        0 |        0
1120.43/1120.71	c 1120s |      25 |  6394310 |  5509498 |     5416   2688 |        0 |        0
1122.43/1122.73	c 1122s |      25 |  6406140 |  5519498 |     5416   2691 |        0 |        0
1124.42/1124.73	c 1124s |      25 |  6416947 |  5528898 |     5416   2695 |        0 |        0
1126.42/1126.75	c 1126s |      25 |  6427567 |  5538398 |     5416   2698 |        0 |        0
1128.43/1128.76	c 1128s |      25 |  6439110 |  5548298 |     5416   2702 |        0 |        0
1130.42/1130.80	c 1130s |      25 |  6451195 |  5558698 |     5416   2706 |        0 |        0
1132.52/1132.80	c 1132s |      25 |  6462596 |  5568698 |     5416   2709 |        0 |        0
1134.52/1134.80	c 1134s |      25 |  6475044 |  5579398 |     5416   2713 |        0 |        0
1136.52/1136.80	c 1136s |      25 |  6486509 |  5589298 |     5416   2717 |        0 |        0
1138.52/1138.80	c 1138s |      25 |  6496459 |  5597998 |     5416   2720 |        0 |        0
1140.52/1140.81	c 1140s |      25 |  6506617 |  5606898 |     5416   2723 |        0 |        0
1142.52/1142.82	c 1142s |      25 |  6517633 |  5616498 |     5416   2727 |        0 |        0
1144.52/1144.83	c 1144s |      25 |  6529259 |  5626598 |     5416   2730 |        0 |        0
1146.52/1146.84	c 1146s |      25 |  6539545 |  5635598 |     5416   2734 |        0 |        0
1148.52/1148.85	c 1148s |      25 |  6549610 |  5644298 |     5416   2737 |        0 |        0
1150.52/1150.86	c 1150s |      25 |  6562187 |  5654898 |     5416   2741 |        0 |        0
1152.52/1152.90	c 1152s |      25 |  6574095 |  5665198 |     5416   2745 |        0 |        0
1154.62/1154.91	c 1154s |      25 |  6585460 |  5675098 |     5416   2748 |        0 |        0
1156.61/1156.92	c 1156s |      25 |  6595125 |  5683798 |     5416   2751 |        0 |        0
1158.61/1158.92	c 1158s |      25 |  6604405 |  5691998 |     5416   2754 |        0 |        0
1160.61/1160.94	c 1160s |      25 |  6613574 |  5700398 |     5416   2757 |        0 |        0
1162.71/1163.04	c 1163s |      25 |  6623219 |  5708898 |     5416   2761 |        0 |        0
1164.72/1165.05	c 1165s |      25 |  6634086 |  5718298 |     5416   2764 |        0 |        0
1166.71/1167.06	c 1167s |      25 |  6644720 |  5727898 |     5416   2767 |        0 |        0
1168.71/1169.06	c 1169s |      25 |  6655849 |  5737098 |     5416   2771 |        0 |        0
1170.70/1171.07	c 1171s |      25 |  6667282 |  5747098 |     5416   2775 |        0 |        0
1172.70/1173.08	c 1173s |      25 |  6677168 |  5755998 |     5416   2778 |        0 |        0
1174.70/1175.10	c 1175s |      25 |  6685380 |  5763598 |     5416   2781 |        0 |        0
1176.81/1177.12	c 1177s |      25 |  6693584 |  5771198 |     5416   2783 |        0 |        0
1178.80/1179.15	c 1179s |      25 |  6702788 |  5779498 |     5416   2786 |        0 |        0
1180.80/1181.16	c 1181s |      25 |  6711637 |  5787698 |     5416   2789 |        0 |        0
1182.80/1183.18	c 1183s |      25 |  6721308 |  5796398 |     5416   2793 |        0 |        0
1184.89/1185.20	c 1185s |      25 |  6730057 |  5804498 |     5416   2795 |        0 |        0
1186.89/1187.27	c 1187s |      25 |  6739110 |  5812798 |     5416   2799 |        0 |        0
1188.90/1189.29	c 1189s |      25 |  6748986 |  5821698 |     5416   2802 |        0 |        0
1190.89/1191.30	c 1191s |      25 |  6759558 |  5830998 |     5416   2805 |        0 |        0
1192.99/1193.31	c 1193s |      25 |  6769486 |  5839798 |     5416   2808 |        0 |        0
1194.99/1195.31	c 1195s |      25 |  6780429 |  5849598 |     5416   2812 |        0 |        0
1197.00/1197.32	c 1197s |      25 |  6790420 |  5858498 |     5416   2815 |        0 |        0
1199.00/1199.33	c 1199s |      25 |  6800459 |  5867398 |     5416   2819 |        0 |        0
1201.00/1201.35	c 1201s |      25 |  6809160 |  5875298 |     5416   2821 |        0 |        0
1202.99/1203.36	c 1203s |      25 |  6820180 |  5884998 |     5416   2825 |        0 |        0
1204.99/1205.39	c 1205s |      25 |  6830507 |  5893998 |     5416   2828 |        0 |        0
1207.09/1207.40	c 1207s |      25 |  6841400 |  5903498 |     5416   2832 |        0 |        0
1209.09/1209.41	c 1209s |      25 |  6852792 |  5913498 |     5416   2835 |        0 |        0
1211.08/1211.41	c 1211s |      25 |  6864343 |  5923498 |     5416   2839 |        0 |        0
1213.09/1213.44	c 1213s |      25 |  6875577 |  5932998 |     5416   2843 |        0 |        0
1215.08/1215.45	c 1215s |      25 |  6888373 |  5943898 |     5416   2847 |        0 |        0
1217.08/1217.46	c 1217s |      25 |  6900056 |  5953698 |     5416   2850 |        0 |        0
1219.08/1219.47	c 1219s |      25 |  6912191 |  5964198 |     5416   2854 |        0 |        0
1221.08/1221.49	c 1221s |      25 |  6924489 |  5974798 |     5416   2858 |        0 |        0
1223.17/1223.51	c 1223s |      25 |  6936076 |  5984598 |     5416   2861 |        0 |        0
1225.18/1225.51	c 1225s |      25 |  6948747 |  5995298 |     5416   2865 |        0 |        0
1227.17/1227.53	c 1227s |      25 |  6960126 |  6004998 |     5416   2869 |        0 |        0
1229.17/1229.53	c 1229s |      25 |  6971816 |  6014998 |     5416   2873 |        0 |        0
1231.27/1231.61	c 1231s |      25 |  6985189 |  6026298 |     5416   2877 |        0 |        0
1233.27/1233.62	c 1233s |      25 |  6997058 |  6036598 |     5416   2881 |        0 |        0
1235.37/1235.72	c 1235s |      25 |  7009236 |  6046998 |     5416   2884 |        0 |        0
1237.36/1237.73	c 1237s |      25 |  7021655 |  6057898 |     5416   2888 |        0 |        0
1239.38/1239.76	c 1239s |      25 |  7033867 |  6068398 |     5416   2892 |        0 |        0
1241.37/1241.77	c 1241s |      25 |  7046531 |  6079298 |     5416   2896 |        0 |        0
1243.37/1243.77	c 1243s |      25 |  7058076 |  6089298 |     5416   2900 |        0 |        0
1245.37/1245.78	c 1245s |      25 |  7069331 |  6099298 |     5416   2904 |        0 |        0
1247.37/1247.79	c 1247s |      25 |  7081399 |  6109798 |     5416   2907 |        0 |        0
1249.37/1249.79	c 1249s |      25 |  7093085 |  6119898 |     5416   2911 |        0 |        0
1251.37/1251.80	c 1251s |      25 |  7105185 |  6130298 |     5416   2915 |        0 |        0
1253.46/1253.80	c 1253s |      25 |  7116151 |  6139898 |     5416   2918 |        0 |        0
1255.46/1255.82	c 1255s |      25 |  7127409 |  6149798 |     5416   2922 |        0 |        0
1257.46/1257.82	c 1257s |      25 |  7138974 |  6159998 |     5416   2926 |        0 |        0
1259.46/1259.83	c 1259s |      25 |  7150215 |  6169798 |     5416   2929 |        0 |        0
1261.47/1261.84	c 1261s |      25 |  7161911 |  6179998 |     5416   2933 |        0 |        0
1263.45/1263.85	c 1263s |      25 |  7171928 |  6188798 |     5416   2936 |        0 |        0
1265.45/1265.86	c 1265s |      25 |  7182766 |  6198498 |     5416   2940 |        0 |        0
1267.45/1267.86	c 1267s |      25 |  7194534 |  6208798 |     5416   2944 |        0 |        0
1269.45/1269.87	c 1269s |      25 |  7205368 |  6218198 |     5416   2947 |        0 |        0
1271.45/1271.88	c 1271s |      25 |  7216320 |  6228098 |     5416   2951 |        0 |        0
1273.45/1273.89	c 1273s |      25 |  7226245 |  6236898 |     5416   2954 |        0 |        0
1275.54/1275.90	c 1275s |      25 |  7236373 |  6245798 |     5416   2957 |        0 |        0
1277.55/1277.91	c 1277s |      25 |  7246191 |  6254598 |     5416   2960 |        0 |        0
1279.55/1279.92	c 1279s |      25 |  7256546 |  6263798 |     5416   2964 |        0 |        0
1281.55/1281.93	c 1281s |      25 |  7268459 |  6273798 |     5416   2967 |        0 |        0
1283.55/1283.94	c 1283s |      25 |  7279992 |  6283998 |     5416   2971 |        0 |        0
1285.55/1285.94	c 1285s |      25 |  7291022 |  6293698 |     5416   2975 |        0 |        0
1287.55/1287.97	c 1287s |      25 |  7301641 |  6302598 |     5416   2978 |        0 |        0
1289.55/1289.98	c 1289s |      25 |  7313729 |  6312998 |     5416   2982 |        0 |        0
1291.54/1291.99	c 1291s |      25 |  7324496 |  6322598 |     5416   2985 |        0 |        0
1293.54/1293.99	c 1293s |      25 |  7335413 |  6332098 |     5416   2989 |        0 |        0
1295.64/1296.00	c 1295s |      25 |  7347458 |  6342498 |     5416   2993 |        0 |        0
1297.65/1298.01	c 1297s |      25 |  7358571 |  6351998 |     5416   2996 |        0 |        0
1299.64/1300.02	c 1299s |      25 |  7369531 |  6361598 |     5416   3000 |        0 |        0
1301.64/1302.03	c 1302s |      25 |  7382373 |  6372698 |     5416   3004 |        0 |        0
1303.63/1304.04	c 1304s |      25 |  7392817 |  6381898 |     5416   3007 |        0 |        0
1305.63/1306.04	c 1306s |      25 |  7402936 |  6390898 |     5416   3010 |        0 |        0
1307.64/1308.06	c 1308s |      25 |  7414221 |  6401098 |     5416   3014 |        0 |        0
1309.63/1310.06	c 1310s |      25 |  7425079 |  6410298 |     5416   3017 |        0 |        0
1311.63/1312.07	c 1312s |      25 |  7437260 |  6420698 |     5416   3021 |        0 |        0
1313.62/1314.08	c 1314s |      25 |  7447047 |  6429598 |     5416   3025 |        0 |        0
1315.72/1316.11	c 1316s |      25 |  7455811 |  6437598 |     5416   3027 |        0 |        0
1317.72/1318.11	c 1318s |      25 |  7466837 |  6447198 |     5416   3031 |        0 |        0
1319.73/1320.15	c 1320s |      25 |  7477982 |  6456898 |     5416   3035 |        0 |        0
1321.72/1322.16	c 1322s |      25 |  7487083 |  6465298 |     5416   3038 |        0 |        0
1323.72/1324.16	c 1324s |      25 |  7496033 |  6473398 |     5416   3041 |        0 |        0
1325.72/1326.17	c 1326s |      25 |  7506489 |  6482498 |     5416   3044 |        0 |        0
1327.72/1328.18	c 1328s |      25 |  7517208 |  6492098 |     5416   3047 |        0 |        0
1329.71/1330.19	c 1330s |      25 |  7527782 |  6501398 |     5416   3051 |        0 |        0
1331.83/1332.23	c 1332s |      25 |  7539633 |  6511598 |     5416   3055 |        0 |        0
1333.82/1334.24	c 1334s |      25 |  7550917 |  6521398 |     5416   3058 |        0 |        0
1335.82/1336.26	c 1336s |      25 |  7561658 |  6530898 |     5416   3062 |        0 |        0
1337.82/1338.27	c 1338s |      25 |  7572675 |  6540398 |     5416   3065 |        0 |        0
1339.82/1340.27	c 1340s |      25 |  7584889 |  6550998 |     5416   3069 |        0 |        0
1341.92/1342.35	c 1342s |      25 |  7595658 |  6560798 |     5416   3073 |        0 |        0
1343.92/1344.35	c 1344s |      25 |  7607846 |  6571198 |     5416   3076 |        0 |        0
1345.91/1346.39	c 1346s |      25 |  7620208 |  6581798 |     5416   3080 |        0 |        0
1348.01/1348.40	c 1348s |      25 |  7632032 |  6592498 |     5416   3084 |        0 |        0
1350.01/1350.47	c 1350s |      25 |  7642620 |  6601698 |     5416   3088 |        0 |        0
1352.01/1352.48	c 1352s |      25 |  7653438 |  6611398 |     5416   3091 |        0 |        0
1354.10/1354.51	c 1354s |      25 |  7664019 |  6620898 |     5416   3095 |        0 |        0
1356.10/1356.51	c 1356s |      25 |  7674143 |  6629998 |     5416   3098 |        0 |        0
1358.11/1358.52	c 1358s |      25 |  7683245 |  6638298 |     5416   3101 |        0 |        0
1360.10/1360.53	c 1360s |      25 |  7693657 |  6647298 |     5416   3104 |        0 |        0
1362.10/1362.55	c 1362s |      25 |  7705287 |  6657398 |     5416   3108 |        0 |        0
1364.10/1364.56	c 1364s |      25 |  7717543 |  6667798 |     5416   3112 |        0 |        0
1366.10/1366.56	c 1366s |      25 |  7729980 |  6678498 |     5416   3116 |        0 |        0
1368.10/1368.58	c 1368s |      25 |  7741188 |  6688198 |     5416   3119 |        0 |        0
1370.09/1370.59	c 1370s |      25 |  7750815 |  6696998 |     5416   3122 |        0 |        0
1372.19/1372.66	c 1372s |      25 |  7762214 |  6706998 |     5416   3126 |        0 |        0
1374.19/1374.67	c 1374s |      25 |  7774137 |  6717498 |     5416   3130 |        0 |        0
1376.19/1376.67	c 1376s |      25 |  7784695 |  6726798 |     5416   3133 |        0 |        0
1378.19/1378.68	c 1378s |      25 |  7797589 |  6737998 |     5416   3137 |        0 |        0
1380.20/1380.68	c 1380s |      25 |  7809177 |  6748198 |     5416   3141 |        0 |        0
1382.19/1382.69	c 1382s |      25 |  7820147 |  6757998 |     5416   3145 |        0 |        0
1384.28/1384.71	c 1384s |      25 |  7832077 |  6768398 |     5416   3149 |        0 |        0
1386.38/1386.80	c 1386s |      25 |  7843983 |  6778798 |     5416   3152 |        0 |        0
1388.38/1388.80	c 1388s |      25 |  7855339 |  6788798 |     5416   3156 |        0 |        0
1390.38/1390.82	c 1390s |      25 |  7866735 |  6798798 |     5416   3160 |        0 |        0
1392.38/1392.83	c 1392s |      25 |  7877826 |  6808698 |     5416   3163 |        0 |        0
1394.39/1394.83	c 1394s |      25 |  7889498 |  6818898 |     5416   3167 |        0 |        0
1396.39/1396.84	c 1396s |      25 |  7901454 |  6829298 |     5416   3171 |        0 |        0
1398.39/1398.85	c 1398s |      25 |  7911465 |  6837998 |     5416   3174 |        0 |        0
1400.39/1400.85	c 1400s |      25 |  7920653 |  6846398 |     5416   3177 |        0 |        0
1402.49/1402.91	c 1402s |      25 |  7931016 |  6855598 |     5416   3181 |        0 |        0
1404.48/1404.92	c 1404s |      25 |  7941366 |  6864798 |     5416   3184 |        0 |        0
1406.49/1406.92	c 1406s |      25 |  7953043 |  6874698 |     5416   3188 |        0 |        0
1408.48/1408.93	c 1408s |      25 |  7965026 |  6885198 |     5416   3191 |        0 |        0
1410.48/1410.94	c 1410s |      25 |  7975308 |  6893898 |     5416   3195 |        0 |        0
1412.48/1412.98	c 1412s |      25 |  7987817 |  6904798 |     5416   3199 |        0 |        0
1414.58/1415.00	c 1414s |      25 |  7999258 |  6914898 |     5416   3202 |        0 |        0
1416.57/1417.00	c 1416s |      25 |  8011364 |  6925498 |     5416   3206 |        0 |        0
1418.58/1419.01	c 1418s |      25 |  8021639 |  6934498 |     5416   3209 |        0 |        0
1420.57/1421.02	c 1420s |      25 |  8034954 |  6945998 |     5416   3214 |        0 |        0
1422.57/1423.03	c 1423s |      25 |  8046171 |  6955798 |     5416   3217 |        0 |        0
1424.57/1425.04	c 1425s |      25 |  8057629 |  6965698 |     5416   3221 |        0 |        0
1426.57/1427.04	c 1427s |      25 |  8069487 |  6975698 |     5416   3224 |        0 |        0
1428.57/1429.06	c 1429s |      25 |  8081333 |  6985598 |     5416   3228 |        0 |        0
1430.56/1431.06	c 1431s |      25 |  8094145 |  6996198 |     5416   3232 |        0 |        0
1432.56/1433.07	c 1433s |      25 |  8106639 |  7006798 |     5416   3236 |        0 |        0
1434.56/1435.09	c 1435s |      25 |  8119855 |  7017698 |     5416   3240 |        0 |        0
1436.66/1437.10	c 1437s |      25 |  8130576 |  7027298 |     5416   3243 |        0 |        0
1438.66/1439.11	c 1439s |      25 |  8142766 |  7037898 |     5416   3247 |        0 |        0
1440.67/1441.11	c 1441s |      25 |  8154343 |  7047798 |     5416   3251 |        0 |        0
1442.66/1443.12	c 1443s |      25 |  8166419 |  7057998 |     5416   3255 |        0 |        0
1444.66/1445.13	c 1445s |      25 |  8178734 |  7068498 |     5416   3258 |        0 |        0
1446.66/1447.14	c 1447s |      25 |  8190781 |  7078998 |     5416   3262 |        0 |        0
1448.66/1449.14	c 1449s |      25 |  8202102 |  7088698 |     5416   3266 |        0 |        0
1450.66/1451.15	c 1451s |      25 |  8214412 |  7099198 |     5416   3270 |        0 |        0
1452.67/1453.18	c 1453s |      25 |  8226594 |  7109798 |     5416   3274 |        0 |        0
1454.66/1455.18	c 1455s |      25 |  8236646 |  7118698 |     5416   3277 |        0 |        0
1456.66/1457.19	c 1457s |      25 |  8248194 |  7128498 |     5416   3280 |        0 |        0
1458.66/1459.19	c 1459s |      25 |  8258515 |  7137798 |     5416   3284 |        0 |        0
1460.76/1461.21	c 1461s |      25 |  8268618 |  7146798 |     5416   3287 |        0 |        0
1462.75/1463.24	c 1463s |      25 |  8279287 |  7156198 |     5416   3291 |        0 |        0
1464.76/1465.26	c 1465s |      25 |  8290673 |  7166298 |     5416   3294 |        0 |        0
1466.75/1467.27	c 1467s |      25 |  8300602 |  7175198 |     5416   3297 |        0 |        0
1468.75/1469.28	c 1469s |      25 |  8311560 |  7184498 |     5416   3301 |        0 |        0
1470.75/1471.29	c 1471s |      25 |  8323914 |  7194998 |     5416   3305 |        0 |        0
1472.85/1473.30	c 1473s |      25 |  8336313 |  7205598 |     5416   3309 |        0 |        0
1474.85/1475.31	c 1475s |      25 |  8346831 |  7214898 |     5416   3312 |        0 |        0
1476.86/1477.33	c 1477s |      25 |  8358838 |  7225098 |     5416   3316 |        0 |        0
1478.85/1479.34	c 1479s |      25 |  8371650 |  7236098 |     5416   3320 |        0 |        0
1480.85/1481.34	c 1481s |      25 |  8381583 |  7244798 |     5416   3323 |        0 |        0
1482.85/1483.35	c 1483s |      25 |  8391624 |  7253798 |     5416   3326 |        0 |        0
1484.85/1485.36	c 1485s |      25 |  8401518 |  7262698 |     5416   3330 |        0 |        0
1486.85/1487.38	c 1487s |      25 |  8412608 |  7272398 |     5416   3333 |        0 |        0
1488.84/1489.40	c 1489s |      25 |  8422911 |  7281298 |     5416   3336 |        0 |        0
1490.94/1491.40	c 1491s |      25 |  8434506 |  7291298 |     5416   3340 |        0 |        0
1492.95/1493.47	c 1493s |      25 |  8446114 |  7301298 |     5416   3344 |        0 |        0
1494.95/1495.47	c 1495s |      25 |  8458098 |  7311998 |     5416   3348 |        0 |        0
1496.95/1497.48	c 1497s |      25 |  8468829 |  7321398 |     5416   3351 |        0 |        0
1498.96/1499.48	c 1499s |      25 |  8478298 |  7329998 |     5416   3354 |        0 |        0
1500.95/1501.48	c 1501s |      25 |  8486573 |  7337598 |     5416   3357 |        0 |        0
1502.95/1503.49	c 1503s |      25 |  8495168 |  7345498 |     5416   3360 |        0 |        0
1505.05/1505.51	c 1505s |      25 |  8504759 |  7354098 |     5416   3363 |        0 |        0
1507.05/1507.52	c 1507s |      25 |  8514336 |  7362898 |     5416   3366 |        0 |        0
1509.05/1509.52	c 1509s |      25 |  8523632 |  7371098 |     5416   3369 |        0 |        0
1511.05/1511.53	c 1511s |      25 |  8536690 |  7382498 |     5416   3373 |        0 |        0
1513.04/1513.54	c 1513s |      25 |  8549350 |  7393198 |     5416   3377 |        0 |        0
1515.04/1515.55	c 1515s |      25 |  8560142 |  7402698 |     5416   3381 |        0 |        0
1517.04/1517.56	c 1517s |      25 |  8572371 |  7413098 |     5416   3385 |        0 |        0
1519.04/1519.58	c 1519s |      25 |  8585267 |  7423798 |     5416   3389 |        0 |        0
1521.04/1521.59	c 1521s |      25 |  8599196 |  7435598 |     5416   3393 |        0 |        0
1523.15/1523.60	c 1523s |      25 |  8609844 |  7444898 |     5416   3396 |        0 |        0
1525.15/1525.61	c 1525s |      25 |  8621454 |  7454898 |     5416   3400 |        0 |        0
1527.15/1527.63	c 1527s |      25 |  8631364 |  7463998 |     5416   3403 |        0 |        0
1529.15/1529.63	c 1529s |      25 |  8642998 |  7474198 |     5416   3407 |        0 |        0
1531.15/1531.67	c 1531s |      25 |  8654063 |  7483898 |     5416   3411 |        0 |        0
1533.15/1533.68	c 1533s |      25 |  8667163 |  7495198 |     5416   3415 |        0 |        0
1535.15/1535.70	c 1535s |      25 |  8677216 |  7503898 |     5416   3418 |        0 |        0
1537.24/1537.72	c 1537s |      25 |  8689070 |  7514198 |     5416   3422 |        0 |        0
1539.24/1539.73	c 1539s |      25 |  8700972 |  7524098 |     5416   3425 |        0 |        0
1541.24/1541.75	c 1541s |      25 |  8713109 |  7534498 |     5416   3429 |        0 |        0
1543.24/1543.75	c 1543s |      25 |  8726156 |  7545498 |     5958   3433 |        0 |        0
1545.24/1545.76	c 1545s |      25 |  8737188 |  7554498 |     5958   3436 |        0 |        0
1547.24/1547.77	c 1547s |      25 |  8749675 |  7564898 |     5958   3439 |        0 |        0
1549.24/1549.77	c 1549s |      25 |  8762214 |  7575398 |     5958   3443 |        0 |        0
1551.24/1551.79	c 1551s |      25 |  8774291 |  7585398 |     5958   3446 |        0 |        0
1553.23/1553.79	c 1553s |      25 |  8786090 |  7595398 |     5958   3450 |        0 |        0
1553.63/1554.19	c 1554s |      26 |  8788895 |  7597752 |     5958   3450 |        0 |        0
1555.73/1556.20	c 1556s |      26 |  8799799 |  7607252 |     5958   3453 |        0 |        0
1557.73/1558.21	c 1558s |      26 |  8811269 |  7617152 |     5958   3457 |        0 |        0
1559.73/1560.22	c 1560s |      26 |  8822479 |  7626752 |     5958   3460 |        0 |        0
1561.74/1562.29	c 1562s |      26 |  8831904 |  7635252 |     5958   3463 |        0 |        0
1563.75/1564.30	c 1564s |      26 |  8843171 |  7645152 |     5958   3466 |        0 |        0
1565.84/1566.32	c 1566s |      26 |  8855002 |  7655252 |     5958   3469 |        0 |        0
1567.84/1568.34	c 1568s |      26 |  8866080 |  7664652 |     5958   3473 |        0 |        0
1569.84/1570.35	c 1570s |      26 |  8875735 |  7673152 |     5958   3475 |        0 |        0
1571.84/1572.36	c 1572s |      26 |  8886135 |  7682152 |     5958   3478 |        0 |        0
1573.84/1574.37	c 1574s |      26 |  8896184 |  7690952 |     5958   3481 |        0 |        0
1575.84/1576.37	c 1576s |      26 |  8906736 |  7700352 |     5958   3484 |        0 |        0
1577.84/1578.38	c 1578s |      26 |  8916912 |  7709252 |     5958   3487 |        0 |        0
1579.83/1580.39	c 1580s |      26 |  8929105 |  7719652 |     5958   3491 |        0 |        0
1581.93/1582.43	c 1582s |      26 |  8941330 |  7730152 |     5958   3494 |        0 |        0
1583.93/1584.44	c 1584s |      26 |  8953037 |  7740452 |     5958   3498 |        0 |        0
1586.13/1586.60	c 1586s |      26 |  8963242 |  7749452 |     5958   3501 |        0 |        0
1588.13/1588.61	c 1588s |      26 |  8974215 |  7758752 |     5958   3504 |        0 |        0
1590.14/1590.61	c 1590s |      26 |  8986041 |  7768952 |     5958   3507 |        0 |        0
1592.14/1592.63	c 1592s |      26 |  8997629 |  7778752 |     5958   3511 |        0 |        0
1594.13/1594.64	c 1594s |      26 |  9008520 |  7788252 |     5958   3514 |        0 |        0
1596.13/1596.65	c 1596s |      26 |  9018675 |  7797252 |     5958   3517 |        0 |        0
1598.13/1598.65	c 1598s |      26 |  9030023 |  7806852 |     5958   3520 |        0 |        0
1600.14/1600.67	c 1600s |      26 |  9041019 |  7816752 |     5958   3523 |        0 |        0
1602.13/1602.69	c 1602s |      26 |  9050078 |  7824752 |     5958   3526 |        0 |        0
1604.13/1604.69	c 1604s |      26 |  9061903 |  7835052 |     5958   3529 |        0 |        0
1606.23/1606.70	c 1606s |      26 |  9072614 |  7844452 |     5958   3532 |        0 |        0
1608.23/1608.72	c 1608s |      26 |  9082066 |  7852852 |     5958   3535 |        0 |        0
1610.23/1610.72	c 1610s |      26 |  9089647 |  7859952 |     5958   3538 |        0 |        0
1612.24/1612.73	c 1612s |      26 |  9098189 |  7867652 |     5958   3540 |        0 |        0
1614.23/1614.75	c 1614s |      26 |  9106801 |  7875352 |     5958   3543 |        0 |        0
1616.23/1616.77	c 1616s |      26 |  9115769 |  7883652 |     5958   3545 |        0 |        0
1618.23/1618.78	c 1618s |      26 |  9125627 |  7892352 |     5958   3548 |        0 |        0
1620.23/1620.78	c 1620s |      26 |  9135595 |  7901152 |     5958   3551 |        0 |        0
1622.23/1622.78	c 1622s |      26 |  9143513 |  7908352 |     5958   3554 |        0 |        0
1624.33/1624.81	c 1624s |      26 |  9151648 |  7916052 |     5958   3556 |        0 |        0
1626.32/1626.81	c 1626s |      26 |  9160158 |  7923952 |     5958   3559 |        0 |        0
1628.32/1628.81	c 1628s |      26 |  9168798 |  7931652 |     5958   3561 |        0 |        0
1630.32/1630.85	c 1630s |      26 |  9178413 |  7940252 |     5958   3564 |        0 |        0
1632.32/1632.86	c 1632s |      26 |  9188208 |  7948752 |     5958   3567 |        0 |        0
1634.32/1634.88	c 1634s |      26 |  9199599 |  7958552 |     5958   3570 |        0 |        0
1636.33/1636.88	c 1636s |      26 |  9209572 |  7967052 |     5958   3573 |        0 |        0
1638.32/1638.89	c 1638s |      26 |  9220714 |  7976652 |     5958   3576 |        0 |        0
1640.42/1640.96	c 1640s |      26 |  9230683 |  7985652 |     5958   3579 |        0 |        0
1642.42/1642.98	c 1642s |      26 |  9239379 |  7993652 |     5958   3582 |        0 |        0
1644.43/1644.99	c 1644s |      26 |  9247809 |  8001252 |     5958   3585 |        0 |        0
1646.43/1646.99	c 1646s |      26 |  9256890 |  8009652 |     5958   3587 |        0 |        0
1648.53/1649.05	c 1649s |      26 |  9265564 |  8017452 |     5958   3590 |        0 |        0
1650.53/1651.05	c 1651s |      26 |  9275300 |  8026152 |     5958   3593 |        0 |        0
1652.53/1653.07	c 1653s |      26 |  9284814 |  8034452 |     5958   3596 |        0 |        0
1654.53/1655.08	c 1655s |      26 |  9294217 |  8042952 |     5958   3598 |        0 |        0
1656.53/1657.09	c 1657s |      26 |  9301738 |  8050152 |     5958   3601 |        0 |        0
1658.63/1659.10	c 1659s |      26 |  9310061 |  8057752 |     5958   3603 |        0 |        0
1660.63/1661.12	c 1661s |      26 |  9319420 |  8066252 |     5958   3606 |        0 |        0
1662.62/1663.13	c 1663s |      26 |  9328658 |  8074252 |     5958   3609 |        0 |        0
1664.62/1665.15	c 1665s |      26 |  9338732 |  8083052 |     5958   3612 |        0 |        0
1666.62/1667.15	c 1667s |      26 |  9347726 |  8091352 |     5958   3614 |        0 |        0
1668.62/1669.17	c 1669s |      26 |  9357822 |  8100152 |     5958   3617 |        0 |        0
1670.62/1671.17	c 1671s |      26 |  9368600 |  8109752 |     5958   3621 |        0 |        0
1672.72/1673.25	c 1673s |      26 |  9379060 |  8118652 |     5958   3624 |        0 |        0
1674.72/1675.27	c 1675s |      26 |  9389329 |  8127652 |     5958   3627 |        0 |        0
1676.72/1677.29	c 1677s |      26 |  9399571 |  8136552 |     5958   3630 |        0 |        0
1678.82/1679.34	c 1679s |      26 |  9411734 |  8147152 |     5958   3633 |        0 |        0
1680.81/1681.35	c 1681s |      26 |  9422217 |  8156252 |     5958   3636 |        0 |        0
1682.82/1683.36	c 1683s |      26 |  9432717 |  8165752 |     5958   3639 |        0 |        0
1684.92/1685.41	c 1685s |      26 |  9442237 |  8174352 |     5958   3642 |        0 |        0
1686.93/1687.42	c 1687s |      26 |  9453542 |  8183952 |     5958   3645 |        0 |        0
1688.92/1689.43	c 1689s |      26 |  9464158 |  8193252 |     5958   3648 |        0 |        0
1690.92/1691.43	c 1691s |      26 |  9474482 |  8202252 |     5958   3651 |        0 |        0
1692.92/1693.45	c 1693s |      26 |  9484424 |  8211152 |     5958   3654 |        0 |        0
1694.92/1695.46	c 1695s |      26 |  9494812 |  8220352 |     5958   3657 |        0 |        0
1696.92/1697.47	c 1697s |      26 |  9504207 |  8228852 |     5958   3660 |        0 |        0
1698.92/1699.50	c 1699s |      26 |  9512735 |  8236652 |     5958   3663 |        0 |        0
1701.02/1701.50	c 1701s |      26 |  9522631 |  8245452 |     5958   3666 |        0 |        0
1703.01/1703.51	c 1703s |      26 |  9530967 |  8252752 |     5958   3668 |        0 |        0
1705.01/1705.51	c 1705s |      26 |  9540582 |  8261352 |     5958   3671 |        0 |        0
1707.01/1707.51	c 1707s |      26 |  9550842 |  8270452 |     5958   3674 |        0 |        0
1709.02/1709.52	c 1709s |      26 |  9560669 |  8279152 |     5958   3677 |        0 |        0
1711.01/1711.53	c 1711s |      26 |  9571607 |  8288652 |     5958   3680 |        0 |        0
1713.01/1713.54	c 1713s |      26 |  9582837 |  8298552 |     5958   3683 |        0 |        0
1715.12/1715.63	c 1715s |      26 |  9592511 |  8306952 |     5958   3686 |        0 |        0
1717.12/1717.64	c 1717s |      26 |  9603571 |  8316652 |     5958   3689 |        0 |        0
1719.12/1719.65	c 1719s |      26 |  9613318 |  8325252 |     5958   3692 |        0 |        0
1721.12/1721.65	c 1721s |      26 |  9625515 |  8335652 |     5958   3696 |        0 |        0
1723.12/1723.67	c 1723s |      26 |  9637212 |  8345652 |     5958   3699 |        0 |        0
1725.12/1725.68	c 1725s |      26 |  9649137 |  8355752 |     5958   3702 |        0 |        0
1727.21/1727.70	c 1727s |      26 |  9659940 |  8365352 |     5958   3706 |        0 |        0
1729.21/1729.71	c 1729s |      26 |  9671103 |  8374852 |     5958   3709 |        0 |        0
1731.21/1731.73	c 1731s |      26 |  9680059 |  8382752 |     5958   3711 |        0 |        0
1733.22/1733.73	c 1733s |      26 |  9690304 |  8391552 |     5958   3714 |        0 |        0
1735.21/1735.74	c 1735s |      26 |  9700258 |  8400052 |     5958   3717 |        0 |        0
1737.21/1737.75	c 1737s |      26 |  9711170 |  8409552 |     5958   3720 |        0 |        0
1739.21/1739.77	c 1739s |      26 |  9722521 |  8419352 |     5958   3724 |        0 |        0
1741.21/1741.78	c 1741s |      26 |  9732534 |  8428552 |     5958   3727 |        0 |        0
1743.31/1743.80	c 1743s |      26 |  9741100 |  8436252 |     5958   3729 |        0 |        0
1745.31/1745.81	c 1745s |      26 |  9750302 |  8444652 |     5958   3732 |        0 |        0
1747.31/1747.81	c 1747s |      26 |  9760164 |  8453152 |     5958   3735 |        0 |        0
1749.31/1749.82	c 1749s |      26 |  9770624 |  8462252 |     5958   3738 |        0 |        0
1751.30/1751.83	c 1751s |      26 |  9782216 |  8472252 |     5958   3741 |        0 |        0
1753.30/1753.84	c 1753s |      26 |  9792963 |  8481352 |     5958   3744 |        0 |        0
1755.31/1755.85	c 1755s |      26 |  9804329 |  8491252 |     5958   3748 |        0 |        0
1757.51/1758.00	c 1757s |      26 |  9815726 |  8501252 |     5958   3751 |        0 |        0
1759.52/1760.01	c 1759s |      26 |  9826864 |  8510752 |     5958   3754 |        0 |        0
1761.51/1762.02	c 1761s |      26 |  9838707 |  8520952 |     5958   3757 |        0 |        0
1763.51/1764.02	c 1763s |      26 |  9849785 |  8530652 |     5958   3761 |        0 |        0
1765.50/1766.03	c 1766s |      26 |  9860213 |  8539752 |     5958   3764 |        0 |        0
1767.50/1768.03	c 1768s |      26 |  9869971 |  8548352 |     5958   3767 |        0 |        0
1769.51/1770.07	c 1770s |      26 |  9880087 |  8557052 |     5958   3770 |        0 |        0
1771.50/1772.08	c 1772s |      26 |  9890950 |  8566552 |     5958   3773 |        0 |        0
1773.50/1774.08	c 1774s |      26 |  9902330 |  8575952 |     5958   3776 |        0 |        0
1775.50/1776.08	c 1776s |      26 |  9914304 |  8586252 |     5958   3779 |        0 |        0
1777.60/1778.12	c 1778s |      26 |  9925574 |  8596052 |     5958   3783 |        0 |        0
1779.60/1780.12	c 1780s |      26 |  9935639 |  8604652 |     5958   3785 |        0 |        0
1781.61/1782.14	c 1782s |      26 |  9947062 |  8614552 |     5958   3789 |        0 |        0
1783.60/1784.16	c 1784s |      26 |  9958526 |  8624352 |     5958   3792 |        0 |        0
1785.60/1786.17	c 1786s |      26 |  9969155 |  8633252 |     5958   3795 |        0 |        0
1787.61/1788.18	c 1788s |      26 |  9981839 |  8643952 |     5958   3798 |        0 |        0
1789.71/1790.20	c 1790s |      26 |  9993788 |  8654352 |     5958   3802 |        0 |        0
1791.71/1792.22	c 1792s |      26 | 10004977 |  8663852 |     5958   3805 |        0 |        0
1793.71/1794.22	c 1794s |      26 | 10016225 |  8673152 |     5958   3808 |        0 |        0
1795.70/1796.23	c 1796s |      26 | 10028568 |  8683552 |     5958   3812 |        0 |        0
1797.70/1798.24	c 1798s |      26 | 10041088 |  8694352 |     5958   3815 |        0 |        0
1799.70/1800.25	c 1800s |      26 | 10051726 |  8703052 |     5958   3818 |        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-4106856-1466279382/watcher-4106856-1466279382 -o /tmp/evaluation-result-4106856-1466279382/solver-4106856-1466279382 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21405 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106856-1466279382.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.30 2.26 3/181 23437
/proc/meminfo: memFree=28876860/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 2846 0 0 0 0 0 0 0 20 0 4 0 29984097 778498048 3206 33554432000 4194304 16246674 140734600790640 140734600790064 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 190831 3214 441 2943 0 187725 0
[pid=23437/tid=23438] ppid=23434 vsize=777660 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 796323840 3273 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=782780 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 801566720 3290 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=786876 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 805761024 3310 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100215 s]
/proc/loadavg: 2.22 2.30 2.26 3/181 23437
/proc/meminfo: memFree=28876860/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 25971 0 0 0 6 3 0 0 20 0 4 0 29984097 1247350784 26320 33554432000 4194304 16246674 140734600790640 140734600790064 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 304529 26328 718 2943 0 301423 0
[pid=23437/tid=23438] ppid=23434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1247350784 26333 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1247350784 26338 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1247350784 26342 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200508 s]
/proc/loadavg: 2.22 2.30 2.26 3/181 23437
/proc/meminfo: memFree=28876860/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 48529 0 0 0 13 6 0 0 20 0 4 0 29984097 1247350784 48878 33554432000 4194304 16246674 140734600790640 140734600790064 5530837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 304529 48894 725 2943 0 301423 0
[pid=23437/tid=23438] ppid=23434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1247350784 48903 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1247350784 48913 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1247350784 48923 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300458 s]
/proc/loadavg: 2.22 2.30 2.26 3/181 23437
/proc/meminfo: memFree=28876860/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 70336 0 0 0 21 8 0 0 20 0 4 0 29984097 1247350784 70685 33554432000 4194304 16246674 140734600790640 140734600790064 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 304529 70695 725 2943 0 301423 0
[pid=23437/tid=23438] ppid=23434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1247350784 70701 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1247350784 70712 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1247350784 70722 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.7004 s]
/proc/loadavg: 2.22 2.30 2.26 3/181 23437
/proc/meminfo: memFree=28876860/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 157814 0 0 0 48 21 0 0 20 0 4 0 29984097 1247350784 158163 33554432000 4194304 16246674 140734600790640 140734600790064 6018897 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 304529 158168 725 2943 0 301423 0
[pid=23437/tid=23438] ppid=23434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1247350784 158173 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1247350784 158179 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1247350784 158185 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.22 2.30 2.26 3/185 23441
/proc/meminfo: memFree=27897436/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1220164 CPUtime=1.49 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 245829 0 0 0 117 32 0 0 20 0 4 0 29984097 1249447936 246158 33554432000 4194304 16246674 140734600790640 140734600789952 12483286 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 305041 246158 796 2943 0 301935 0
[pid=23437/tid=23438] ppid=23434 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1249447936 246158 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1249447936 246158 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1249447936 246158 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.10042 s]
/proc/loadavg: 2.22 2.30 2.26 4/185 23441
/proc/meminfo: memFree=27808652/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 267360 0 0 0 274 35 0 0 20 0 4 0 29984097 1337528320 267689 33554432000 4194304 16246674 140734600790640 140734600773640 5721529 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 326545 267689 796 2943 0 323439 0
[pid=23437/tid=23438] ppid=23434 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1337528320 267689 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1337528320 267689 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1337528320 267689 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30038 s]
/proc/loadavg: 2.28 2.31 2.27 4/185 23441
/proc/meminfo: memFree=27804908/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 267747 0 0 0 594 35 0 0 20 0 4 0 29984097 1338576896 268076 33554432000 4194304 16246674 140734600790640 140734600773640 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 326801 268076 796 2943 0 323695 0
[pid=23437/tid=23438] ppid=23434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1338576896 268076 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1338576896 268076 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1338576896 268076 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.26 2.30 2.27 3/185 23441
/proc/meminfo: memFree=27800484/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1311300 CPUtime=12.69 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 268860 0 0 0 1234 35 0 0 20 0 4 0 29984097 1342771200 269189 33554432000 4194304 16246674 140734600790640 140734600772544 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 327825 269189 797 2943 0 324719 0
[pid=23437/tid=23438] ppid=23434 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1342771200 269189 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1342771200 269189 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1342771200 269189 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.20 2.29 2.26 3/186 23444
/proc/meminfo: memFree=27799648/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1312324 CPUtime=25.48 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 269116 0 0 0 2513 35 0 0 20 0 4 0 29984097 1343819776 269445 33554432000 4194304 16246674 140734600790640 140734600772544 13950688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 328081 269445 797 2943 0 324975 0
[pid=23437/tid=23438] ppid=23434 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1343819776 269445 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1343819776 269445 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1343819776 269445 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.36 2.31 2.27 4/186 23444
/proc/meminfo: memFree=27796224/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1316420 CPUtime=51.09 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 270140 0 0 0 5073 36 0 0 20 0 4 0 29984097 1348014080 270469 33554432000 4194304 16246674 140734600790640 140734600773640 5974006 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 329105 270469 797 2943 0 325999 0
[pid=23437/tid=23438] ppid=23434 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1348014080 270469 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1348014080 270469 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1348014080 270469 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1316420

[startup+102.3 s]
/proc/loadavg: 2.31 2.29 2.27 3/185 23445
/proc/meminfo: memFree=27780576/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1319492 CPUtime=102.28 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 270908 0 0 0 10192 36 0 0 20 0 4 0 29984097 1351159808 271237 33554432000 4194304 16246674 140734600790640 140734600772544 5673777 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 329873 271237 797 2943 0 326767 0
[pid=23437/tid=23438] ppid=23434 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1351159808 271237 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1351159808 271237 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1351159808 271237 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492


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

/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1364791296 274824 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1332804

[startup+1362.3 s]
/proc/loadavg: 2.36 2.34 2.28 3/185 24087
/proc/meminfo: memFree=27774480/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1332804 CPUtime=1361.9 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 274616 0 0 0 136129 61 0 0 20 0 4 0 29984097 1364791296 274824 33554432000 4194304 16246674 140734600790640 140734600772544 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 333201 274824 800 2943 0 330095 0
[pid=23437/tid=23438] ppid=23434 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1364791296 274824 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1364791296 274824 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1364791296 274824 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1332804

[startup+1422.3 s]
/proc/loadavg: 2.27 2.32 2.27 3/185 24088
/proc/meminfo: memFree=27774388/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1332804 CPUtime=1421.88 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 274652 0 0 0 142126 62 0 0 20 0 4 0 29984097 1364791296 274824 33554432000 4194304 16246674 140734600790640 140734600773640 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 333201 274824 800 2943 0 330095 0
[pid=23437/tid=23438] ppid=23434 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1364791296 274824 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1364791296 274824 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1364791296 274824 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1332804

[startup+1482.3 s]
/proc/loadavg: 2.29 2.32 2.27 3/184 24090
/proc/meminfo: memFree=27775224/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1332804 CPUtime=1481.85 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 274681 0 0 0 148122 63 0 0 20 0 4 0 29984097 1364791296 274824 33554432000 4194304 16246674 140734600790640 140734600773640 13923760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 333201 274824 800 2943 0 330095 0
[pid=23437/tid=23438] ppid=23434 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1364791296 274824 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1364791296 274824 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1364791296 274824 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1332804

[startup+1542.31 s]
/proc/loadavg: 2.34 2.32 2.27 3/185 24092
/proc/meminfo: memFree=27773748/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1332804 CPUtime=1541.85 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 274681 0 0 0 154120 65 0 0 20 0 4 0 29984097 1364791296 274824 33554432000 4194304 16246674 140734600790640 140734600772544 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 333201 274824 800 2943 0 330095 0
[pid=23437/tid=23438] ppid=23434 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1364791296 274824 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1364791296 274824 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1364791296 274824 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1332804

[startup+1602.3 s]
/proc/loadavg: 2.27 2.30 2.27 3/185 24093
/proc/meminfo: memFree=27766588/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1339972 CPUtime=1601.83 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 276473 0 0 0 160116 67 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140734600789816 5808212 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 334993 276616 800 2943 0 331887 0
[pid=23437/tid=23438] ppid=23434 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1339972

[startup+1662.3 s]
/proc/loadavg: 2.27 2.29 2.27 3/185 24094
/proc/meminfo: memFree=27763044/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1339972 CPUtime=1661.82 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 276473 0 0 0 166114 68 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140734600772544 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 334993 276616 800 2943 0 331887 0
[pid=23437/tid=23438] ppid=23434 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1339972

[startup+1722.3 s]
/proc/loadavg: 2.31 2.30 2.27 4/185 24095
/proc/meminfo: memFree=27762820/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1339972 CPUtime=1721.82 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 276473 0 0 0 172112 70 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140734600789816 4220552 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 334993 276616 800 2943 0 331887 0
[pid=23437/tid=23438] ppid=23434 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1339972

[startup+1782.3 s]
/proc/loadavg: 2.34 2.31 2.27 3/185 24097
/proc/meminfo: memFree=27762696/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1339972 CPUtime=1781.8 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 276473 0 0 0 178109 71 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140734600773640 5823627 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 334993 276616 800 2943 0 331887 0
[pid=23437/tid=23438] ppid=23434 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1339972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.30 2.31 2.27 3/185 24097
/proc/meminfo: memFree=27762340/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1339972 CPUtime=1800 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 276473 0 0 0 179928 72 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140734600789736 5669173 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 334993 276616 800 2943 0 331887 0
[pid=23437/tid=23438] ppid=23434 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1339972

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

[startup+1800.5 s]
/proc/loadavg: 2.30 2.31 2.27 3/185 24097
/proc/meminfo: memFree=27762340/32872528 swapFree=1505436/1685308
[pid=23437] ppid=23434 vsize=1339972 CPUtime=1800 cores=0,2,4,6
/proc/23437/stat : 23437 (toysat) R 23434 23437 21389 0 -1 4202496 276473 0 0 0 179928 72 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140734600789736 5669173 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23437/statm: 334993 276616 800 2943 0 331887 0
[pid=23437/tid=23438] ppid=23434 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23438/stat : 23438 (toysat) S 23434 23437 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140402744077552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23437/tid=23439] ppid=23434 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23439/stat : 23439 (toysat) S 23434 23437 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140402733587696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23437/tid=23440] ppid=23434 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23437/task/23440/stat : 23440 (toysat) S 23434 23437 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29984097 1372131328 276616 33554432000 4194304 16246674 140734600790640 140402615119024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1339972

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.29
CPU system time (s): 0.72289
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 1339972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.72289
maximum resident set size= 1106464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276473
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= 455
involuntary context switches= 1964

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.78227 second user time and 6.71898 second system time

The end

Begin job on node135 at 2016-06-18 21:49:42
IDJOB=4106856
IDBENCH=48293
IDSOLVER=2542
FILE ID=node135/4106856-1466279382
RUNJOBID= node135-1466266561-21405
PBS_JOBID= 19918237
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_10_2_15.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106856-1466279382/watcher-4106856-1466279382 -o /tmp/evaluation-result-4106856-1466279382/solver-4106856-1466279382 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21405 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106856-1466279382.opb

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

MD5SUM BENCH= 18f5400970ad464f730a15f23e03dd22
RANDOM SEED=747463368

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28877916 kB
Buffers:          164000 kB
Cached:           285220 kB
SwapCached:          716 kB
Active:          1261712 kB
Inactive:         307068 kB
Active(anon):    1120484 kB
Inactive(anon):     1308 kB
Active(file):     141228 kB
Inactive(file):   305760 kB
Unevictable:     1685308 kB
Mlocked:         1505436 kB
SwapTotal:      67108856 kB
SwapFree:       67100444 kB
Dirty:             16308 kB
Writeback:             0 kB
AnonPages:       2804144 kB
Mapped:            10980 kB
Shmem:                 0 kB
Slab:             605656 kB
SReclaimable:      49440 kB
SUnreclaim:       556216 kB
KernelStack:        1504 kB
PageTables:         9268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2944096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1292288 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= 71672 MiB
End job on node135 at 2016-06-18 22:19:42