0.00/0.00	c 2016-06-16T00:32:45+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-4089610-1466029965.opb"]
0.00/0.01	c use --random-gen="2591407518 669240220 4016088807 4032162368 2774054014 227328113 2534506981 2624957803 3523310218 3845500960 2997266365 400275497 3098147797 1677441201 3869818726 3725734299 4030321636 2739193965 1540334546 2039910061 3358121596 1434169425 1774852635 3833502277 505243280 2966471467 799383395 763308875 1785086051 712162896 2082361794 2921101675 1955240577 2898272232 3141887096 3915856223 1763370409 4220123038 1843562595 376384698 2489902342 3340301820 1715883264 2392672369 1331890401 1564981041 678270794 3015745780 3403176466 3073454643 2900528784 1336374849 240807381 402937677 1299359804 2555957220 2143638352 1549281221 3191862241 2769127959 2696068160 2553090788 1751101544 3311280270 1585541135 1745825433 740127663 3597888368 2865438710 2282202038 4024629606 1182964149 3972344791 2632668475 4051684379 3124203856 3846627378 3424862947 690068129 1146391905 2591832223 3408796426 3499627531 1221856689 741676310 1368787845 171701799 269870985 2457635898 1774171583 3107092053 3412416526 2645518256 2887179224 3795343483 310138721 1122707350 932904263 2709234127 3480247341 4256406272 3453909579 3421215529 2668085416 3736137755 492440006 709243698 3850071002 3097421405 3499392626 1146452750 2306414709 1566766499 2637396727 2363329785 1359620272 2103537532 1265361589 2501367703 2185638638 1965457803 3967633072 3836191894 237703681 79335048 1504225057 3440062936 4138599831 1240575663 1986834251 1809161016 3254669091 29287916 934972387 2706700552 1215684986 2360001468 2228948088 1170446294 3289031954 1097776767 1743215254 1625135168 1036908704 1666747221 717726005 3645949553 3263600399 1837417911 2523793337 3196627087 2641772374 1050508201 3993898969 1997366937 141040600 900462371 1689389157 3633242286 4097307306 1667761213 978811301 1258000266 1349926024 160554588 2198873956 1652879387 903705978 1690141770 1923431206 962913412 2149405483 2661979197 1332337843 1516875007 672184615 1372035814 4102056310 656905006 60505285 1045971679 4262880846 2462200654 11551400 1490962103 1181345259 487773096 1270907926 1377980408 769508446 384679453 1659894450 1129829898 982757533 286707361 3019278431 2888995265 4222796014 3212353433 3935101613 3567960051 4040951562 2747241783 3533089322 2585090044 898001329 4175728738 970899692 177013681 3545066766 1245414654 3328493179 1952874395 1990297168 4177347497 1943541024 1961555338 2747112606 3977184578 3742774850 1390361143 491330849 2172902723 3140374234 2519643321 4136764198 681211710 2376131282 2671200246 2589933592 942975549 2715568285 1817616216 1693301603 2747912983 4058864021 1127283927 928676304 671259743 2934741659 2931962297 3338004015 107416239 3229799767 3719222205 3027671298 2969818944 3183038602 276792002 4057963896 2613772425 1635826515 4144989683 1359539542 2904784480 322948280 255 362436" option to reproduce the execution
0.00/0.01	c #vars 232
0.00/0.01	c #constraints 465
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      232      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      211 |      100 |      232      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      472 |      250 |      256      0 |        0 |        0
0.09/0.15	c  0.1s |       3 |      809 |      475 |      282      1 |        0 |        0
0.19/0.25	c  0.2s |       4 |     1254 |      813 |      311      2 |        0 |        0
0.39/0.42	c  0.4s |       5 |     1872 |     1320 |      343      5 |        0 |        0
0.59/0.68	c  0.7s |       6 |     2739 |     2081 |      416      8 |        0 |        0
0.89/0.99	c  1.0s |       7 |     3988 |     3223 |      458     12 |        0 |        0
1.29/1.38	c  1.4s |       8 |     5816 |     4936 |      504     18 |        0 |        0
1.88/1.96	c  1.9s |       9 |     8524 |     7506 |      555     26 |        0 |        0
2.78/2.86	c  2.8s |      10 |    12525 |    11361 |      611     37 |        0 |        0
4.18/4.21	c  4.2s |      11 |    18510 |    17144 |      673     53 |        0 |        0
6.18/6.22	c  6.2s |      11 |    27111 |    25544 |      673     75 |        0 |        0
6.18/6.28	c  6.3s |      12 |    27390 |    25819 |      741     75 |        0 |        0
8.18/8.29	c  8.3s |      12 |    35892 |    34119 |      741     95 |        0 |        0
9.38/9.47	c  9.4s |      13 |    40710 |    38832 |      816    106 |        0 |        0
11.38/11.49	c 11.5s |      13 |    49167 |    47032 |      816    124 |        0 |        0
13.48/13.51	c 13.5s |      13 |    57076 |    54832 |      816    141 |        0 |        0
14.29/14.38	c 14.4s |      14 |    60643 |    58352 |      898    148 |        0 |        0
16.38/16.40	c 16.4s |      14 |    69138 |    66652 |      898    165 |        0 |        0
18.38/18.43	c 18.4s |      14 |    77425 |    74752 |      898    181 |        0 |        0
20.38/20.43	c 20.4s |      14 |    85441 |    82652 |      898    196 |        0 |        0
21.68/21.70	c 21.7s |      15 |    90521 |    87632 |      988    206 |        0 |        0
23.68/23.72	c 23.7s |      15 |    98531 |    95332 |      988    220 |        0 |        0
25.68/25.74	c 25.7s |      15 |   106284 |   102932 |      988    234 |        0 |        0
27.68/27.74	c 27.7s |      15 |   113824 |   110332 |      988    247 |        0 |        0
29.69/29.75	c 29.7s |      15 |   121363 |   117732 |      988    261 |        0 |        0
31.69/31.75	c 31.7s |      15 |   128783 |   124932 |      988    274 |        0 |        0
33.49/33.50	c 33.5s |      16 |   135573 |   131552 |     1087    286 |        0 |        0
35.49/35.53	c 35.5s |      16 |   143916 |   139652 |     1087    300 |        0 |        0
37.49/37.56	c 37.5s |      16 |   151915 |   147552 |     1087    313 |        0 |        0
39.48/39.58	c 39.6s |      16 |   160197 |   155652 |     1087    326 |        0 |        0
41.48/41.58	c 41.6s |      16 |   168001 |   163252 |     1087    339 |        0 |        0
43.58/43.61	c 43.6s |      16 |   175591 |   170752 |     1087    352 |        0 |        0
45.58/45.63	c 45.6s |      16 |   183748 |   178652 |     1087    365 |        0 |        0
47.58/47.64	c 47.6s |      16 |   191338 |   186152 |     1087    377 |        0 |        0
49.59/49.66	c 49.6s |      16 |   198746 |   193452 |     1087    390 |        0 |        0
50.58/50.68	c 50.7s |      17 |   202897 |   197432 |     1196    396 |        0 |        0
52.58/52.69	c 52.7s |      17 |   211236 |   205332 |     1196    408 |        0 |        0
54.68/54.71	c 54.7s |      17 |   219025 |   212932 |     1196    420 |        0 |        0
56.68/56.73	c 56.7s |      17 |   226916 |   220632 |     1196    432 |        0 |        0
58.67/58.75	c 58.7s |      17 |   234740 |   228232 |     1196    443 |        0 |        0
60.67/60.77	c 60.8s |      17 |   243142 |   236432 |     1196    456 |        0 |        0
62.68/62.78	c 62.8s |      17 |   251086 |   244232 |     1196    468 |        0 |        0
64.77/64.80	c 64.8s |      17 |   258679 |   251632 |     1196    479 |        0 |        0
66.77/66.81	c 66.8s |      17 |   266380 |   259132 |     1196    491 |        0 |        0
68.77/68.82	c 68.8s |      17 |   273896 |   266432 |     1196    502 |        0 |        0
70.77/70.82	c 70.8s |      17 |   281188 |   273432 |     1196    513 |        0 |        0
72.77/72.83	c 72.8s |      17 |   288901 |   280932 |     1196    524 |        0 |        0
74.78/74.84	c 74.8s |      17 |   296307 |   288132 |     1196    535 |        0 |        0
76.78/76.86	c 76.8s |      17 |   303713 |   295332 |     1316    546 |        0 |        0
77.09/77.12	c 77.1s |      18 |   304695 |   296252 |     1316    547 |        0 |        0
79.08/79.13	c 79.1s |      18 |   312392 |   303552 |     1316    558 |        0 |        0
81.08/81.13	c 81.1s |      18 |   319957 |   310852 |     1316    568 |        0 |        0
83.08/83.15	c 83.1s |      18 |   327400 |   318152 |     1316    578 |        0 |        0
85.08/85.16	c 85.1s |      18 |   334727 |   325252 |     1316    588 |        0 |        0
87.08/87.19	c 87.2s |      18 |   342140 |   332552 |     1316    598 |        0 |        0
89.18/89.21	c 89.2s |      18 |   349305 |   339552 |     1316    608 |        0 |        0
91.18/91.21	c 91.2s |      18 |   356807 |   346852 |     1316    618 |        0 |        0
93.18/93.21	c 93.2s |      18 |   364170 |   353952 |     1316    628 |        0 |        0
95.18/95.24	c 95.2s |      18 |   371397 |   361052 |     1316    638 |        0 |        0
97.18/97.26	c 97.2s |      18 |   378419 |   367952 |     1316    648 |        0 |        0
99.17/99.29	c 99.3s |      18 |   385806 |   375052 |     1316    658 |        0 |        0
101.18/101.29	c  101s |      18 |   393105 |   382152 |     1316    668 |        0 |        0
103.27/103.30	c  103s |      18 |   400097 |   389052 |     1316    678 |        0 |        0
105.27/105.31	c  105s |      18 |   407231 |   396052 |     1316    687 |        0 |        0
107.27/107.32	c  107s |      18 |   414204 |   402852 |     1316    697 |        0 |        0
109.27/109.33	c  109s |      18 |   421446 |   409852 |     1316    707 |        0 |        0
111.27/111.33	c  111s |      18 |   428379 |   416452 |     1316    716 |        0 |        0
113.28/113.34	c  113s |      18 |   435820 |   423752 |     1316    726 |        0 |        0
115.27/115.36	c  115s |      18 |   442959 |   430652 |     1316    736 |        0 |        0
117.27/117.38	c  117s |      18 |   450033 |   437552 |     1316    746 |        0 |        0
119.27/119.39	c  119s |      18 |   456853 |   444252 |     1448    755 |        0 |        0
119.37/119.46	c  119s |      19 |   457085 |   444482 |     1448    755 |        0 |        0
121.37/121.48	c  121s |      19 |   464645 |   451782 |     1448    764 |        0 |        0
123.47/123.50	c  123s |      19 |   471860 |   458882 |     1448    773 |        0 |        0
125.48/125.53	c  125s |      19 |   479117 |   465982 |     1448    783 |        0 |        0
127.47/127.53	c  127s |      19 |   486279 |   472982 |     1448    792 |        0 |        0
129.47/129.55	c  129s |      19 |   493379 |   479882 |     1448    800 |        0 |        0
131.47/131.58	c  131s |      19 |   500667 |   486982 |     1448    809 |        0 |        0
133.57/133.60	c  133s |      19 |   508011 |   494182 |     1448    819 |        0 |        0
135.57/135.60	c  135s |      19 |   515146 |   501182 |     1448    828 |        0 |        0
137.57/137.61	c  137s |      19 |   522187 |   508082 |     1448    837 |        0 |        0
139.56/139.63	c  139s |      19 |   529229 |   514982 |     1448    845 |        0 |        0
141.56/141.64	c  141s |      19 |   536352 |   521882 |     1448    854 |        0 |        0
143.56/143.65	c  143s |      19 |   543265 |   528582 |     1448    863 |        0 |        0
145.56/145.65	c  145s |      19 |   550072 |   535182 |     1448    871 |        0 |        0
147.56/147.67	c  147s |      19 |   557241 |   542082 |     1448    880 |        0 |        0
149.57/149.69	c  149s |      19 |   564480 |   548882 |     1448    889 |        0 |        0
151.66/151.70	c  151s |      19 |   571320 |   555582 |     1448    898 |        0 |        0
153.66/153.72	c  153s |      19 |   578236 |   562282 |     1448    906 |        0 |        0
155.66/155.73	c  155s |      19 |   584935 |   568682 |     1448    914 |        0 |        0
157.66/157.75	c  157s |      19 |   591544 |   575182 |     1448    923 |        0 |        0
159.66/159.77	c  159s |      19 |   598308 |   581782 |     1448    931 |        0 |        0
161.67/161.78	c  161s |      19 |   605446 |   588682 |     1448    940 |        0 |        0
163.66/163.78	c  163s |      19 |   612705 |   595682 |     1448    949 |        0 |        0
165.76/165.80	c  165s |      19 |   619772 |   602482 |     1448    958 |        0 |        0
167.76/167.82	c  167s |      19 |   626715 |   609182 |     1448    966 |        0 |        0
169.76/169.85	c  169s |      19 |   633591 |   615882 |     1448    975 |        0 |        0
171.76/171.87	c  171s |      19 |   640287 |   622482 |     1448    983 |        0 |        0
173.77/173.89	c  173s |      19 |   646929 |   628882 |     1448    992 |        0 |        0
175.86/175.90	c  175s |      19 |   653661 |   635382 |     1448   1000 |        0 |        0
177.86/177.91	c  177s |      19 |   660250 |   641782 |     1448   1008 |        0 |        0
179.86/179.93	c  179s |      19 |   667409 |   648682 |     1448   1017 |        0 |        0
181.86/181.94	c  181s |      19 |   674736 |   655882 |     1448   1026 |        0 |        0
183.86/183.96	c  183s |      19 |   682057 |   663082 |     1593   1035 |        0 |        0
184.96/185.02	c  184s |      20 |   685880 |   666827 |     1593   1040 |        0 |        0
186.96/187.04	c  187s |      20 |   693433 |   674127 |     1593   1048 |        0 |        0
188.96/189.06	c  189s |      20 |   700799 |   681227 |     1593   1056 |        0 |        0
190.96/191.07	c  191s |      20 |   707971 |   688227 |     1593   1065 |        0 |        0
192.95/193.09	c  193s |      20 |   714920 |   695027 |     1593   1073 |        0 |        0
195.05/195.11	c  195s |      20 |   722192 |   702127 |     1593   1081 |        0 |        0
197.05/197.13	c  197s |      20 |   729182 |   708927 |     1593   1089 |        0 |        0
199.06/199.13	c  199s |      20 |   735978 |   715527 |     1593   1097 |        0 |        0
201.06/201.15	c  201s |      20 |   743241 |   722627 |     1593   1105 |        0 |        0
203.06/203.18	c  203s |      20 |   750808 |   729927 |     1593   1114 |        0 |        0
205.16/205.21	c  205s |      20 |   757842 |   736827 |     1593   1122 |        0 |        0
207.16/207.24	c  207s |      20 |   764889 |   743727 |     1593   1130 |        0 |        0
209.16/209.25	c  209s |      20 |   771688 |   750427 |     1593   1138 |        0 |        0
211.16/211.29	c  211s |      20 |   778591 |   757227 |     1593   1146 |        0 |        0
213.26/213.31	c  213s |      20 |   785626 |   763927 |     1593   1153 |        0 |        0
215.26/215.34	c  215s |      20 |   792741 |   770927 |     1593   1162 |        0 |        0
217.26/217.35	c  217s |      20 |   799719 |   777727 |     1593   1170 |        0 |        0
219.25/219.37	c  219s |      20 |   806579 |   784327 |     1593   1177 |        0 |        0
221.25/221.38	c  221s |      20 |   813169 |   790727 |     1593   1185 |        0 |        0
223.26/223.40	c  223s |      20 |   820008 |   797327 |     1593   1193 |        0 |        0
225.35/225.41	c  225s |      20 |   826650 |   803827 |     1593   1200 |        0 |        0
227.35/227.43	c  227s |      20 |   833743 |   810827 |     1593   1208 |        0 |        0
229.35/229.43	c  229s |      20 |   840872 |   817727 |     1593   1216 |        0 |        0
231.35/231.46	c  231s |      20 |   848000 |   824727 |     1593   1225 |        0 |        0
233.35/233.49	c  233s |      20 |   854935 |   831527 |     1593   1233 |        0 |        0
235.36/235.50	c  235s |      20 |   861786 |   838227 |     1593   1240 |        0 |        0
237.45/237.52	c  237s |      20 |   868627 |   844927 |     1593   1248 |        0 |        0
239.45/239.53	c  239s |      20 |   875366 |   851527 |     1593   1256 |        0 |        0
241.45/241.53	c  241s |      20 |   882265 |   858227 |     1593   1264 |        0 |        0
243.45/243.54	c  243s |      20 |   889002 |   864827 |     1593   1272 |        0 |        0
245.45/245.57	c  245s |      20 |   895738 |   871427 |     1593   1279 |        0 |        0
247.45/247.60	c  247s |      20 |   902332 |   877827 |     1593   1287 |        0 |        0
249.55/249.61	c  249s |      20 |   908805 |   884127 |     1593   1294 |        0 |        0
251.55/251.62	c  251s |      20 |   915487 |   890627 |     1593   1302 |        0 |        0
253.54/253.64	c  253s |      20 |   922455 |   897427 |     1593   1310 |        0 |        0
255.54/255.66	c  255s |      20 |   929195 |   904027 |     1593   1318 |        0 |        0
257.54/257.67	c  257s |      20 |   935789 |   910527 |     1593   1325 |        0 |        0
259.55/259.67	c  259s |      20 |   942464 |   917127 |     1593   1333 |        0 |        0
261.54/261.69	c  261s |      20 |   948926 |   923427 |     1593   1340 |        0 |        0
263.65/263.71	c  263s |      20 |   955391 |   929727 |     1593   1348 |        0 |        0
265.65/265.73	c  265s |      20 |   962046 |   936127 |     1593   1355 |        0 |        0
267.65/267.76	c  267s |      20 |   968387 |   942327 |     1593   1363 |        0 |        0
269.65/269.76	c  269s |      20 |   975303 |   949127 |     1593   1371 |        0 |        0
271.66/271.77	c  271s |      20 |   982503 |   956127 |     1593   1379 |        0 |        0
273.75/273.80	c  273s |      20 |   989636 |   963027 |     1593   1387 |        0 |        0
275.75/275.83	c  275s |      20 |   996588 |   969827 |     1593   1395 |        0 |        0
277.75/277.84	c  277s |      20 |  1003391 |   976427 |     1593   1403 |        0 |        0
279.75/279.86	c  279s |      20 |  1010211 |   983127 |     1593   1410 |        0 |        0
281.75/281.87	c  281s |      20 |  1017316 |   990027 |     1593   1418 |        0 |        0
283.75/283.89	c  283s |      20 |  1024391 |   996927 |     1753   1426 |        0 |        0
284.85/284.91	c  284s |      21 |  1027908 |  1000345 |     1753   1430 |        0 |        0
286.85/286.93	c  286s |      21 |  1035373 |  1007545 |     1753   1437 |        0 |        0
288.85/288.95	c  288s |      21 |  1042359 |  1014445 |     1753   1445 |        0 |        0
290.84/290.96	c  290s |      21 |  1049429 |  1021345 |     1753   1452 |        0 |        0
292.84/292.97	c  292s |      21 |  1056292 |  1028045 |     1753   1459 |        0 |        0
294.85/294.99	c  294s |      21 |  1063453 |  1035045 |     1753   1467 |        0 |        0
296.95/297.01	c  296s |      21 |  1070861 |  1042145 |     1753   1474 |        0 |        0
298.94/299.04	c  299s |      21 |  1078027 |  1049045 |     1753   1482 |        0 |        0
300.94/301.05	c  301s |      21 |  1084882 |  1055745 |     1753   1489 |        0 |        0
302.94/303.06	c  303s |      21 |  1091744 |  1062445 |     1753   1496 |        0 |        0
304.94/305.06	c  305s |      21 |  1098659 |  1069145 |     1753   1503 |        0 |        0
306.95/307.07	c  307s |      21 |  1105514 |  1075745 |     1753   1510 |        0 |        0
308.94/309.08	c  309s |      21 |  1112854 |  1082945 |     1753   1518 |        0 |        0
310.94/311.09	c  311s |      21 |  1119907 |  1089845 |     1753   1526 |        0 |        0
313.04/313.12	c  313s |      21 |  1126850 |  1096645 |     1753   1533 |        0 |        0
315.04/315.12	c  315s |      21 |  1133760 |  1103445 |     1753   1540 |        0 |        0
317.04/317.15	c  317s |      21 |  1140587 |  1110145 |     1753   1547 |        0 |        0
319.04/319.18	c  319s |      21 |  1147475 |  1116845 |     1753   1555 |        0 |        0
321.04/321.20	c  321s |      21 |  1154350 |  1123545 |     1753   1562 |        0 |        0
323.14/323.20	c  323s |      21 |  1161074 |  1130145 |     1753   1569 |        0 |        0
325.14/325.20	c  325s |      21 |  1167648 |  1136545 |     1753   1576 |        0 |        0
327.13/327.22	c  327s |      21 |  1175008 |  1143645 |     1753   1583 |        0 |        0
329.13/329.24	c  329s |      21 |  1182177 |  1150645 |     1753   1591 |        0 |        0
331.14/331.25	c  331s |      21 |  1189140 |  1157445 |     1753   1598 |        0 |        0
333.13/333.26	c  333s |      21 |  1196085 |  1164145 |     1753   1605 |        0 |        0
335.13/335.29	c  335s |      21 |  1203000 |  1170845 |     1753   1612 |        0 |        0
337.23/337.31	c  337s |      21 |  1209715 |  1177445 |     1753   1619 |        0 |        0
339.23/339.32	c  339s |      21 |  1216481 |  1183945 |     1753   1626 |        0 |        0
341.23/341.33	c  341s |      21 |  1222976 |  1190245 |     1753   1633 |        0 |        0
343.24/343.33	c  343s |      21 |  1229747 |  1196845 |     1753   1640 |        0 |        0
345.23/345.35	c  345s |      21 |  1236200 |  1203145 |     1753   1647 |        0 |        0
347.23/347.37	c  347s |      21 |  1242784 |  1209545 |     1753   1654 |        0 |        0
349.23/349.39	c  349s |      21 |  1249569 |  1216145 |     1753   1661 |        0 |        0
351.33/351.42	c  351s |      21 |  1256184 |  1222645 |     1753   1668 |        0 |        0
353.33/353.43	c  353s |      21 |  1262902 |  1229145 |     1753   1675 |        0 |        0
355.34/355.44	c  355s |      21 |  1269317 |  1235445 |     1753   1682 |        0 |        0
357.33/357.44	c  357s |      21 |  1275848 |  1241745 |     1753   1688 |        0 |        0
359.33/359.46	c  359s |      21 |  1282177 |  1247945 |     1753   1695 |        0 |        0
361.34/361.48	c  361s |      21 |  1289143 |  1254745 |     1753   1702 |        0 |        0
363.34/363.49	c  363s |      21 |  1296048 |  1261445 |     1753   1709 |        0 |        0
365.44/365.52	c  365s |      21 |  1302754 |  1267945 |     1753   1716 |        0 |        0
367.44/367.54	c  367s |      21 |  1309269 |  1274345 |     1753   1723 |        0 |        0
369.43/369.55	c  369s |      21 |  1315789 |  1280745 |     1753   1730 |        0 |        0
371.43/371.56	c  371s |      21 |  1322184 |  1286945 |     1753   1737 |        0 |        0
373.43/373.58	c  373s |      21 |  1328724 |  1293245 |     1753   1744 |        0 |        0
375.53/375.61	c  375s |      21 |  1335041 |  1299445 |     1753   1750 |        0 |        0
377.53/377.64	c  377s |      21 |  1341559 |  1305745 |     1753   1757 |        0 |        0
379.54/379.67	c  379s |      21 |  1347894 |  1311945 |     1753   1764 |        0 |        0
381.53/381.67	c  381s |      21 |  1354551 |  1318445 |     1753   1771 |        0 |        0
383.53/383.69	c  383s |      21 |  1361284 |  1325045 |     1753   1778 |        0 |        0
385.63/385.71	c  385s |      21 |  1368092 |  1331645 |     1753   1785 |        0 |        0
387.63/387.74	c  387s |      21 |  1374738 |  1338145 |     1753   1792 |        0 |        0
389.63/389.74	c  389s |      21 |  1381556 |  1344845 |     1753   1799 |        0 |        0
391.64/391.77	c  391s |      21 |  1388070 |  1351245 |     1753   1806 |        0 |        0
393.63/393.79	c  393s |      21 |  1394536 |  1357545 |     1753   1812 |        0 |        0
395.73/395.80	c  395s |      21 |  1401215 |  1364045 |     1753   1819 |        0 |        0
397.73/397.83	c  397s |      21 |  1407586 |  1370245 |     1753   1826 |        0 |        0
399.73/399.86	c  399s |      21 |  1413916 |  1376345 |     1753   1833 |        0 |        0
401.73/401.86	c  401s |      21 |  1420297 |  1382545 |     1753   1839 |        0 |        0
403.73/403.87	c  403s |      21 |  1426464 |  1388545 |     1753   1846 |        0 |        0
405.73/405.89	c  405s |      21 |  1432835 |  1394745 |     1753   1852 |        0 |        0
407.83/407.91	c  407s |      21 |  1439250 |  1400945 |     1753   1859 |        0 |        0
409.83/409.94	c  409s |      21 |  1445725 |  1407245 |     1753   1866 |        0 |        0
411.83/411.94	c  411s |      21 |  1452000 |  1413345 |     1753   1872 |        0 |        0
413.83/413.96	c  413s |      21 |  1458106 |  1419345 |     1753   1879 |        0 |        0
415.83/415.96	c  415s |      21 |  1464449 |  1425545 |     1753   1885 |        0 |        0
417.82/417.98	c  417s |      21 |  1471364 |  1432345 |     1753   1893 |        0 |        0
419.82/419.99	c  419s |      21 |  1478325 |  1439145 |     1753   1900 |        0 |        0
421.92/422.00	c  421s |      21 |  1485040 |  1445745 |     1753   1907 |        0 |        0
423.92/424.02	c  423s |      21 |  1491760 |  1452345 |     1753   1914 |        0 |        0
425.92/426.02	c  425s |      21 |  1498415 |  1458845 |     1753   1921 |        0 |        0
427.93/428.03	c  428s |      21 |  1505059 |  1465345 |     1753   1928 |        0 |        0
429.92/430.04	c  430s |      21 |  1511488 |  1471645 |     1753   1935 |        0 |        0
431.92/432.06	c  432s |      21 |  1518200 |  1478245 |     1753   1942 |        0 |        0
433.92/434.08	c  434s |      21 |  1524665 |  1484545 |     1753   1949 |        0 |        0
436.02/436.11	c  436s |      21 |  1531321 |  1491045 |     1929   1955 |        0 |        0
438.02/438.13	c  438s |      21 |  1537996 |  1497645 |     1929   1962 |        0 |        0
438.93/439.04	c  439s |      22 |  1541044 |  1500622 |     1929   1965 |        0 |        0
440.92/441.05	c  441s |      22 |  1548421 |  1507722 |     1929   1972 |        0 |        0
442.92/443.08	c  443s |      22 |  1555293 |  1514422 |     1929   1978 |        0 |        0
445.02/445.11	c  445s |      22 |  1561942 |  1520922 |     1929   1985 |        0 |        0
447.02/447.12	c  447s |      22 |  1568456 |  1527322 |     1929   1991 |        0 |        0
449.02/449.14	c  449s |      22 |  1575412 |  1534122 |     1929   1997 |        0 |        0
451.02/451.14	c  451s |      22 |  1582275 |  1540622 |     1929   2004 |        0 |        0
453.02/453.17	c  453s |      22 |  1589042 |  1547222 |     1929   2010 |        0 |        0
455.01/455.19	c  455s |      22 |  1595603 |  1553622 |     1929   2017 |        0 |        0
457.11/457.22	c  457s |      22 |  1602253 |  1560122 |     1929   2023 |        0 |        0
459.11/459.24	c  459s |      22 |  1608770 |  1566522 |     1929   2029 |        0 |        0
461.11/461.26	c  461s |      22 |  1615263 |  1572922 |     1929   2035 |        0 |        0
463.12/463.27	c  463s |      22 |  1622006 |  1579522 |     1929   2042 |        0 |        0
465.11/465.29	c  465s |      22 |  1628669 |  1586022 |     1929   2048 |        0 |        0
467.21/467.31	c  467s |      22 |  1635329 |  1592522 |     1929   2055 |        0 |        0
469.21/469.35	c  469s |      22 |  1641876 |  1598922 |     1929   2061 |        0 |        0
471.21/471.35	c  471s |      22 |  1648216 |  1605122 |     1929   2067 |        0 |        0
473.21/473.38	c  473s |      22 |  1654987 |  1611722 |     1929   2073 |        0 |        0
475.31/475.40	c  475s |      22 |  1661742 |  1618322 |     1929   2080 |        0 |        0
477.32/477.42	c  477s |      22 |  1668610 |  1625022 |     1929   2086 |        0 |        0
479.31/479.44	c  479s |      22 |  1675420 |  1631722 |     1929   2093 |        0 |        0
481.31/481.46	c  481s |      22 |  1682110 |  1638222 |     1929   2099 |        0 |        0
483.31/483.47	c  483s |      22 |  1688468 |  1644422 |     1929   2105 |        0 |        0
485.32/485.48	c  485s |      22 |  1694762 |  1650522 |     1929   2111 |        0 |        0
487.42/487.51	c  487s |      22 |  1701659 |  1657322 |     1929   2118 |        0 |        0
489.42/489.53	c  489s |      22 |  1708283 |  1663822 |     1929   2125 |        0 |        0
491.42/491.55	c  491s |      22 |  1714829 |  1670222 |     1929   2131 |        0 |        0
493.42/493.56	c  493s |      22 |  1721217 |  1676422 |     1929   2137 |        0 |        0
495.41/495.57	c  495s |      22 |  1727630 |  1682622 |     1929   2143 |        0 |        0
497.41/497.58	c  497s |      22 |  1733938 |  1688822 |     1929   2149 |        0 |        0
499.51/499.60	c  499s |      22 |  1740112 |  1694822 |     1929   2155 |        0 |        0
501.52/501.61	c  501s |      22 |  1746748 |  1701322 |     1929   2161 |        0 |        0
503.51/503.64	c  503s |      22 |  1753307 |  1707722 |     1929   2167 |        0 |        0
505.51/505.64	c  505s |      22 |  1759642 |  1713922 |     1929   2174 |        0 |        0
507.51/507.65	c  507s |      22 |  1766148 |  1720222 |     1929   2180 |        0 |        0
509.51/509.68	c  509s |      22 |  1772624 |  1726522 |     1929   2186 |        0 |        0
511.52/511.68	c  511s |      22 |  1778902 |  1732522 |     1929   2192 |        0 |        0
513.51/513.68	c  513s |      22 |  1785273 |  1738722 |     1929   2198 |        0 |        0
515.51/515.69	c  515s |      22 |  1791716 |  1744922 |     1929   2204 |        0 |        0
517.61/517.72	c  517s |      22 |  1797864 |  1750922 |     1929   2210 |        0 |        0
519.61/519.73	c  519s |      22 |  1804836 |  1757622 |     1929   2216 |        0 |        0
521.61/521.76	c  521s |      22 |  1811413 |  1764022 |     1929   2223 |        0 |        0
523.62/523.79	c  523s |      22 |  1818183 |  1770422 |     1929   2229 |        0 |        0
525.72/525.81	c  525s |      22 |  1824694 |  1776822 |     1929   2235 |        0 |        0
527.71/527.82	c  527s |      22 |  1831065 |  1783022 |     1929   2241 |        0 |        0
529.71/529.84	c  529s |      22 |  1837520 |  1789322 |     1929   2247 |        0 |        0
531.71/531.86	c  531s |      22 |  1843852 |  1795522 |     1929   2253 |        0 |        0
533.71/533.86	c  533s |      22 |  1850082 |  1801622 |     1929   2259 |        0 |        0
535.71/535.87	c  535s |      22 |  1856344 |  1807822 |     1929   2266 |        0 |        0
537.71/537.89	c  537s |      22 |  1862805 |  1814122 |     1929   2272 |        0 |        0
539.81/539.92	c  539s |      22 |  1869104 |  1820222 |     1929   2278 |        0 |        0
541.81/541.95	c  541s |      22 |  1875552 |  1826222 |     1929   2284 |        0 |        0
543.81/543.96	c  543s |      22 |  1882088 |  1832622 |     1929   2290 |        0 |        0
545.81/545.99	c  545s |      22 |  1888620 |  1838922 |     1929   2296 |        0 |        0
547.90/548.01	c  547s |      22 |  1894882 |  1844822 |     1929   2302 |        0 |        0
549.91/550.01	c  549s |      22 |  1901072 |  1850722 |     1929   2308 |        0 |        0
551.90/552.02	c  552s |      22 |  1907212 |  1856722 |     1929   2313 |        0 |        0
553.90/554.05	c  554s |      22 |  1913348 |  1862622 |     1929   2319 |        0 |        0
555.90/556.07	c  556s |      22 |  1920402 |  1869522 |     1929   2326 |        0 |        0
557.90/558.08	c  558s |      22 |  1927159 |  1876122 |     1929   2332 |        0 |        0
559.91/560.09	c  560s |      22 |  1933841 |  1882622 |     1929   2339 |        0 |        0
562.01/562.12	c  562s |      22 |  1940450 |  1889122 |     1929   2345 |        0 |        0
564.00/564.12	c  564s |      22 |  1946921 |  1895422 |     1929   2351 |        0 |        0
566.00/566.16	c  566s |      22 |  1953386 |  1901722 |     1929   2358 |        0 |        0
568.00/568.18	c  568s |      22 |  1960030 |  1908222 |     1929   2364 |        0 |        0
570.10/570.21	c  570s |      22 |  1966582 |  1914622 |     1929   2370 |        0 |        0
572.10/572.23	c  572s |      22 |  1973025 |  1920722 |     1929   2376 |        0 |        0
574.10/574.23	c  574s |      22 |  1979519 |  1927022 |     1929   2382 |        0 |        0
576.09/576.24	c  576s |      22 |  1985730 |  1933122 |     1929   2388 |        0 |        0
578.09/578.25	c  578s |      22 |  1992400 |  1939522 |     1929   2395 |        0 |        0
580.09/580.25	c  580s |      22 |  1999107 |  1946022 |     1929   2401 |        0 |        0
582.09/582.27	c  582s |      22 |  2005597 |  1952322 |     1929   2407 |        0 |        0
584.10/584.27	c  584s |      22 |  2012293 |  1958822 |     1929   2414 |        0 |        0
586.09/586.28	c  586s |      22 |  2018792 |  1965022 |     1929   2420 |        0 |        0
588.09/588.28	c  588s |      22 |  2025181 |  1971222 |     1929   2426 |        0 |        0
590.09/590.29	c  590s |      22 |  2031550 |  1977422 |     1929   2432 |        0 |        0
592.09/592.29	c  592s |      22 |  2037672 |  1983422 |     1929   2438 |        0 |        0
594.19/594.31	c  594s |      22 |  2044516 |  1989922 |     1929   2444 |        0 |        0
596.20/596.32	c  596s |      22 |  2050835 |  1996022 |     1929   2450 |        0 |        0
598.20/598.35	c  598s |      22 |  2056992 |  2002022 |     1929   2456 |        0 |        0
600.20/600.36	c  600s |      22 |  2063291 |  2008122 |     1929   2462 |        0 |        0
602.20/602.39	c  602s |      22 |  2069643 |  2014322 |     1929   2468 |        0 |        0
604.30/604.40	c  604s |      22 |  2075978 |  2020422 |     1929   2474 |        0 |        0
606.30/606.43	c  606s |      22 |  2082359 |  2026622 |     1929   2480 |        0 |        0
608.31/608.46	c  608s |      22 |  2088492 |  2032622 |     1929   2486 |        0 |        0
610.30/610.48	c  610s |      22 |  2094667 |  2038622 |     1929   2492 |        0 |        0
612.30/612.49	c  612s |      22 |  2100847 |  2044622 |     1929   2498 |        0 |        0
614.40/614.51	c  614s |      22 |  2107401 |  2051022 |     1929   2504 |        0 |        0
616.40/616.52	c  616s |      22 |  2113619 |  2057122 |     1929   2510 |        0 |        0
618.40/618.53	c  618s |      22 |  2119724 |  2063122 |     1929   2516 |        0 |        0
620.40/620.54	c  620s |      22 |  2125848 |  2069122 |     1929   2522 |        0 |        0
622.40/622.58	c  622s |      22 |  2131989 |  2075122 |     1929   2528 |        0 |        0
624.39/624.59	c  624s |      22 |  2138328 |  2081322 |     1929   2534 |        0 |        0
626.49/626.60	c  626s |      22 |  2144590 |  2087422 |     1929   2540 |        0 |        0
628.49/628.62	c  628s |      22 |  2150821 |  2093522 |     1929   2546 |        0 |        0
630.49/630.62	c  630s |      22 |  2156850 |  2099422 |     1929   2551 |        0 |        0
632.50/632.63	c  632s |      22 |  2162812 |  2105222 |     1929   2557 |        0 |        0
634.49/634.63	c  634s |      22 |  2169268 |  2111422 |     1929   2563 |        0 |        0
636.49/636.66	c  636s |      22 |  2176182 |  2118022 |     1929   2570 |        0 |        0
638.49/638.68	c  638s |      22 |  2183017 |  2124622 |     1929   2576 |        0 |        0
640.59/640.71	c  640s |      22 |  2189575 |  2131022 |     1929   2582 |        0 |        0
642.59/642.73	c  642s |      22 |  2196159 |  2137422 |     1929   2589 |        0 |        0
644.60/644.73	c  644s |      22 |  2202611 |  2143722 |     1929   2595 |        0 |        0
646.59/646.76	c  646s |      22 |  2208931 |  2149822 |     1929   2601 |        0 |        0
648.59/648.77	c  648s |      22 |  2215423 |  2156122 |     1929   2607 |        0 |        0
650.59/650.79	c  650s |      22 |  2221714 |  2162222 |     1929   2613 |        0 |        0
652.69/652.81	c  652s |      22 |  2227794 |  2168122 |     1929   2619 |        0 |        0
654.69/654.84	c  654s |      22 |  2234564 |  2174722 |     1929   2625 |        0 |        0
656.69/656.87	c  656s |      22 |  2241298 |  2180922 |     1929   2631 |        0 |        0
658.69/658.87	c  658s |      22 |  2247478 |  2186922 |     1929   2637 |        0 |        0
660.79/660.90	c  660s |      22 |  2253713 |  2193022 |     1929   2643 |        0 |        0
662.78/662.92	c  662s |      22 |  2259995 |  2199122 |     1929   2649 |        0 |        0
664.78/664.93	c  664s |      22 |  2266643 |  2205622 |     1929   2656 |        0 |        0
666.78/666.95	c  666s |      22 |  2273276 |  2212022 |     1929   2662 |        0 |        0
668.79/668.99	c  668s |      22 |  2279852 |  2218322 |     1929   2668 |        0 |        0
670.78/670.99	c  670s |      22 |  2286238 |  2224522 |     1929   2674 |        0 |        0
672.88/673.00	c  672s |      22 |  2292580 |  2230622 |     1929   2680 |        0 |        0
674.88/675.03	c  675s |      22 |  2299143 |  2236822 |     2122   2686 |        0 |        0
676.88/677.04	c  677s |      22 |  2305264 |  2242722 |     2122   2691 |        0 |        0
678.88/679.05	c  679s |      22 |  2311493 |  2248722 |     2122   2697 |        0 |        0
679.69/679.85	c  679s |      23 |  2313859 |  2251038 |     2122   2699 |        0 |        0
681.68/681.87	c  681s |      23 |  2320620 |  2257538 |     2122   2704 |        0 |        0
683.68/683.88	c  683s |      23 |  2327126 |  2263838 |     2122   2710 |        0 |        0
685.68/685.89	c  685s |      23 |  2333580 |  2270138 |     2122   2716 |        0 |        0
687.78/687.92	c  687s |      23 |  2339915 |  2276238 |     2122   2721 |        0 |        0
689.78/689.93	c  689s |      23 |  2346222 |  2282338 |     2122   2727 |        0 |        0
691.79/691.94	c  691s |      23 |  2352444 |  2288438 |     2122   2732 |        0 |        0
693.78/693.95	c  693s |      23 |  2358913 |  2294738 |     2122   2738 |        0 |        0
695.78/695.96	c  695s |      23 |  2365138 |  2300838 |     2122   2743 |        0 |        0
697.78/697.98	c  697s |      23 |  2371520 |  2307038 |     2122   2749 |        0 |        0
699.78/699.99	c  699s |      23 |  2378303 |  2313638 |     2122   2755 |        0 |        0
701.88/702.00	c  701s |      23 |  2384891 |  2320038 |     2122   2760 |        0 |        0
703.78/704.00	c  703s |      23 |  2391429 |  2326338 |     2122   2766 |        0 |        0
705.88/706.04	c  706s |      23 |  2398014 |  2332638 |     2122   2772 |        0 |        0
707.88/708.06	c  708s |      23 |  2404188 |  2338538 |     2122   2777 |        0 |        0
709.88/710.07	c  710s |      23 |  2410552 |  2344638 |     2122   2782 |        0 |        0
711.88/712.08	c  712s |      23 |  2416792 |  2350638 |     2122   2788 |        0 |        0
713.97/714.10	c  714s |      23 |  2423208 |  2356938 |     2122   2793 |        0 |        0
715.98/716.12	c  716s |      23 |  2429384 |  2363038 |     2122   2799 |        0 |        0
717.97/718.13	c  718s |      23 |  2435588 |  2369038 |     2122   2804 |        0 |        0
719.97/720.16	c  720s |      23 |  2441739 |  2375038 |     2122   2810 |        0 |        0
721.97/722.17	c  722s |      23 |  2448471 |  2381438 |     2122   2815 |        0 |        0
724.07/724.20	c  724s |      23 |  2455550 |  2388138 |     2122   2821 |        0 |        0
726.07/726.21	c  726s |      23 |  2462125 |  2394538 |     2122   2827 |        0 |        0
728.07/728.22	c  728s |      23 |  2468517 |  2400738 |     2122   2833 |        0 |        0
730.07/730.23	c  730s |      23 |  2474943 |  2407038 |     2122   2838 |        0 |        0
732.06/732.24	c  732s |      23 |  2481268 |  2413238 |     2122   2844 |        0 |        0
734.06/734.26	c  734s |      23 |  2487513 |  2419338 |     2122   2849 |        0 |        0
736.06/736.28	c  736s |      23 |  2494038 |  2425738 |     2122   2855 |        0 |        0
738.07/738.28	c  738s |      23 |  2500243 |  2431738 |     2122   2860 |        0 |        0
740.06/740.30	c  740s |      23 |  2506284 |  2437638 |     2122   2866 |        0 |        0
742.16/742.31	c  742s |      23 |  2512607 |  2443838 |     2122   2871 |        0 |        0
744.16/744.32	c  744s |      23 |  2518820 |  2449938 |     2122   2877 |        0 |        0
746.16/746.35	c  746s |      23 |  2524969 |  2455938 |     2122   2882 |        0 |        0
748.16/748.36	c  748s |      23 |  2531105 |  2461938 |     2122   2887 |        0 |        0
750.16/750.37	c  750s |      23 |  2537504 |  2468138 |     2122   2893 |        0 |        0
752.26/752.41	c  752s |      23 |  2543913 |  2474438 |     2122   2899 |        0 |        0
754.25/754.41	c  754s |      23 |  2550180 |  2480538 |     2122   2904 |        0 |        0
756.25/756.44	c  756s |      23 |  2556388 |  2486438 |     2122   2909 |        0 |        0
758.25/758.44	c  758s |      23 |  2562653 |  2492338 |     2122   2915 |        0 |        0
760.25/760.45	c  760s |      23 |  2568856 |  2498338 |     2122   2920 |        0 |        0
762.27/762.47	c  762s |      23 |  2575041 |  2504238 |     2122   2925 |        0 |        0
764.25/764.47	c  764s |      23 |  2581279 |  2510138 |     2122   2931 |        0 |        0
766.35/766.50	c  766s |      23 |  2588287 |  2516938 |     2122   2937 |        0 |        0
768.35/768.51	c  768s |      23 |  2594885 |  2523338 |     2122   2942 |        0 |        0
770.35/770.53	c  770s |      23 |  2601507 |  2529738 |     2122   2948 |        0 |        0
772.35/772.54	c  772s |      23 |  2608062 |  2536038 |     2122   2954 |        0 |        0
774.35/774.57	c  774s |      23 |  2614194 |  2542038 |     2122   2959 |        0 |        0
776.35/776.59	c  776s |      23 |  2620585 |  2548338 |     2122   2965 |        0 |        0
778.45/778.60	c  778s |      23 |  2626792 |  2554438 |     2122   2970 |        0 |        0
780.45/780.64	c  780s |      23 |  2633528 |  2560938 |     2122   2976 |        0 |        0
782.45/782.65	c  782s |      23 |  2639881 |  2567038 |     2122   2981 |        0 |        0
784.44/784.66	c  784s |      23 |  2646077 |  2573038 |     2122   2987 |        0 |        0
786.45/786.68	c  786s |      23 |  2652540 |  2579338 |     2122   2992 |        0 |        0
788.55/788.71	c  788s |      23 |  2659048 |  2585638 |     2122   2998 |        0 |        0
790.54/790.75	c  790s |      23 |  2665463 |  2591738 |     2122   3004 |        0 |        0
792.54/792.78	c  792s |      23 |  2671671 |  2597638 |     2122   3009 |        0 |        0
794.63/794.80	c  794s |      23 |  2677800 |  2603538 |     2122   3014 |        0 |        0
796.63/796.83	c  796s |      23 |  2683812 |  2609338 |     2122   3019 |        0 |        0
798.63/798.85	c  798s |      23 |  2690183 |  2615538 |     2122   3025 |        0 |        0
800.64/800.86	c  800s |      23 |  2696668 |  2621738 |     2122   3030 |        0 |        0
802.63/802.86	c  802s |      23 |  2702713 |  2627538 |     2122   3036 |        0 |        0
804.63/804.86	c  804s |      23 |  2708864 |  2633438 |     2122   3041 |        0 |        0
806.63/806.88	c  806s |      23 |  2715169 |  2639438 |     2122   3046 |        0 |        0
808.63/808.88	c  808s |      23 |  2721151 |  2645138 |     2122   3051 |        0 |        0
810.63/810.89	c  810s |      23 |  2727290 |  2651038 |     2122   3057 |        0 |        0
812.62/812.89	c  812s |      23 |  2733139 |  2656638 |     2122   3062 |        0 |        0
814.72/814.92	c  814s |      23 |  2739504 |  2662738 |     2122   3067 |        0 |        0
816.72/816.93	c  816s |      23 |  2745738 |  2668738 |     2122   3072 |        0 |        0
818.72/818.94	c  818s |      23 |  2751690 |  2674538 |     2122   3078 |        0 |        0
820.73/820.95	c  820s |      23 |  2757783 |  2680438 |     2122   3083 |        0 |        0
822.73/822.95	c  822s |      23 |  2764068 |  2686438 |     2122   3088 |        0 |        0
824.72/824.99	c  824s |      23 |  2770119 |  2692238 |     2122   3094 |        0 |        0
826.72/826.99	c  826s |      23 |  2776062 |  2697938 |     2122   3099 |        0 |        0
828.82/829.00	c  828s |      23 |  2781993 |  2703638 |     2122   3104 |        0 |        0
830.82/831.00	c  830s |      23 |  2787999 |  2709538 |     2122   3109 |        0 |        0
832.82/833.01	c  832s |      23 |  2793817 |  2715238 |     2122   3114 |        0 |        0
834.83/835.02	c  834s |      23 |  2800354 |  2721638 |     2122   3120 |        0 |        0
836.82/837.04	c  837s |      23 |  2807095 |  2728238 |     2122   3126 |        0 |        0
838.82/839.06	c  839s |      23 |  2813561 |  2734538 |     2122   3131 |        0 |        0
840.82/841.08	c  841s |      23 |  2819993 |  2740838 |     2122   3137 |        0 |        0
842.91/843.11	c  843s |      23 |  2826400 |  2747138 |     2122   3143 |        0 |        0
844.91/845.12	c  845s |      23 |  2832806 |  2753238 |     2122   3148 |        0 |        0
846.92/847.13	c  847s |      23 |  2839423 |  2759638 |     2122   3154 |        0 |        0
848.91/849.16	c  849s |      23 |  2845855 |  2765838 |     2122   3159 |        0 |        0
850.91/851.16	c  851s |      23 |  2851910 |  2771738 |     2122   3165 |        0 |        0
852.91/853.19	c  853s |      23 |  2858140 |  2777838 |     2122   3170 |        0 |        0
855.01/855.23	c  855s |      23 |  2864290 |  2783838 |     2122   3176 |        0 |        0
857.01/857.25	c  857s |      23 |  2870628 |  2790038 |     2122   3181 |        0 |        0
859.01/859.26	c  859s |      23 |  2877142 |  2796338 |     2122   3187 |        0 |        0
861.01/861.28	c  861s |      23 |  2883561 |  2802538 |     2122   3192 |        0 |        0
863.01/863.29	c  863s |      23 |  2889732 |  2808538 |     2122   3198 |        0 |        0
865.10/865.31	c  865s |      23 |  2895987 |  2814638 |     2122   3203 |        0 |        0
867.10/867.32	c  867s |      23 |  2902124 |  2820638 |     2122   3208 |        0 |        0
869.10/869.34	c  869s |      23 |  2908278 |  2826638 |     2122   3214 |        0 |        0
871.10/871.37	c  871s |      23 |  2914334 |  2832538 |     2122   3219 |        0 |        0
873.10/873.39	c  873s |      23 |  2920457 |  2838538 |     2122   3225 |        0 |        0
875.19/875.40	c  875s |      23 |  2926528 |  2844438 |     2122   3230 |        0 |        0
877.19/877.42	c  877s |      23 |  2932560 |  2850338 |     2122   3235 |        0 |        0
879.19/879.45	c  879s |      23 |  2938552 |  2856238 |     2122   3240 |        0 |        0
881.19/881.47	c  881s |      23 |  2944479 |  2862038 |     2122   3246 |        0 |        0
883.29/883.50	c  883s |      23 |  2950616 |  2868038 |     2122   3251 |        0 |        0
885.30/885.52	c  885s |      23 |  2957026 |  2874138 |     2122   3256 |        0 |        0
887.29/887.53	c  887s |      23 |  2963051 |  2879938 |     2122   3262 |        0 |        0
889.29/889.54	c  889s |      23 |  2969117 |  2885738 |     2122   3267 |        0 |        0
891.29/891.57	c  891s |      23 |  2975200 |  2891638 |     2122   3272 |        0 |        0
893.39/893.60	c  893s |      23 |  2981300 |  2897638 |     2122   3277 |        0 |        0
895.38/895.62	c  895s |      23 |  2987119 |  2903338 |     2122   3283 |        0 |        0
897.39/897.63	c  897s |      23 |  2993161 |  2909238 |     2122   3288 |        0 |        0
899.38/899.65	c  899s |      23 |  2999073 |  2915038 |     2122   3293 |        0 |        0
901.38/901.66	c  901s |      23 |  3004895 |  2920638 |     2122   3298 |        0 |        0
903.38/903.69	c  903s |      23 |  3010874 |  2926438 |     2122   3303 |        0 |        0
905.48/905.71	c  905s |      23 |  3016674 |  2932038 |     2122   3308 |        0 |        0
907.48/907.73	c  907s |      23 |  3022609 |  2937638 |     2122   3313 |        0 |        0
909.49/909.74	c  909s |      23 |  3028323 |  2943138 |     2122   3318 |        0 |        0
911.48/911.76	c  911s |      23 |  3035051 |  2949638 |     2122   3324 |        0 |        0
913.48/913.77	c  913s |      23 |  3041455 |  2955938 |     2122   3330 |        0 |        0
915.48/915.79	c  915s |      23 |  3047677 |  2961938 |     2122   3335 |        0 |        0
917.48/917.79	c  917s |      23 |  3053924 |  2968038 |     2122   3340 |        0 |        0
919.58/919.80	c  919s |      23 |  3060148 |  2974138 |     2122   3346 |        0 |        0
921.58/921.82	c  921s |      23 |  3066150 |  2979938 |     2122   3351 |        0 |        0
923.58/923.84	c  923s |      23 |  3072253 |  2985838 |     2122   3356 |        0 |        0
925.57/925.89	c  925s |      23 |  3078200 |  2991538 |     2122   3362 |        0 |        0
927.67/927.91	c  927s |      23 |  3084418 |  2997638 |     2122   3367 |        0 |        0
929.67/929.91	c  929s |      23 |  3090630 |  3003638 |     2122   3372 |        0 |        0
931.67/931.93	c  931s |      23 |  3096740 |  3009538 |     2122   3378 |        0 |        0
933.68/933.94	c  933s |      23 |  3102697 |  3015338 |     2122   3383 |        0 |        0
935.67/935.95	c  935s |      23 |  3109020 |  3021538 |     2122   3388 |        0 |        0
937.67/937.96	c  937s |      23 |  3115070 |  3027438 |     2122   3394 |        0 |        0
939.67/939.98	c  939s |      23 |  3121152 |  3033438 |     2122   3399 |        0 |        0
941.77/942.02	c  941s |      23 |  3127145 |  3039338 |     2122   3404 |        0 |        0
943.77/944.03	c  944s |      23 |  3133365 |  3045338 |     2122   3410 |        0 |        0
945.77/946.04	c  946s |      23 |  3139736 |  3051538 |     2122   3415 |        0 |        0
947.76/948.06	c  948s |      23 |  3146132 |  3057738 |     2122   3421 |        0 |        0
949.76/950.07	c  950s |      23 |  3152453 |  3063838 |     2122   3426 |        0 |        0
951.76/952.07	c  952s |      23 |  3158690 |  3069938 |     2122   3432 |        0 |        0
953.76/954.09	c  954s |      23 |  3165005 |  3076038 |     2122   3437 |        0 |        0
955.86/956.11	c  956s |      23 |  3171043 |  3081938 |     2122   3443 |        0 |        0
957.86/958.13	c  958s |      23 |  3177112 |  3087738 |     2122   3448 |        0 |        0
959.86/960.14	c  960s |      23 |  3183356 |  3093738 |     2122   3453 |        0 |        0
961.86/962.15	c  962s |      23 |  3189269 |  3099538 |     2122   3458 |        0 |        0
963.86/964.15	c  964s |      23 |  3195337 |  3105438 |     2122   3464 |        0 |        0
965.85/966.17	c  966s |      23 |  3201537 |  3111438 |     2122   3469 |        0 |        0
967.86/968.20	c  968s |      23 |  3207585 |  3117338 |     2122   3474 |        0 |        0
969.85/970.20	c  970s |      23 |  3213442 |  3123038 |     2122   3479 |        0 |        0
971.95/972.23	c  972s |      23 |  3219377 |  3128838 |     2122   3485 |        0 |        0
973.94/974.25	c  974s |      23 |  3225516 |  3134838 |     2122   3490 |        0 |        0
975.94/976.27	c  976s |      23 |  3231719 |  3140838 |     2122   3495 |        0 |        0
978.04/978.30	c  978s |      23 |  3237789 |  3146738 |     2122   3501 |        0 |        0
980.04/980.32	c  980s |      23 |  3243648 |  3152438 |     2122   3506 |        0 |        0
982.05/982.33	c  982s |      23 |  3249653 |  3158238 |     2122   3511 |        0 |        0
984.04/984.34	c  984s |      23 |  3255413 |  3163838 |     2122   3516 |        0 |        0
986.04/986.35	c  986s |      23 |  3261399 |  3169538 |     2122   3521 |        0 |        0
988.04/988.37	c  988s |      23 |  3267153 |  3175138 |     2122   3526 |        0 |        0
990.04/990.38	c  990s |      23 |  3273486 |  3181338 |     2122   3532 |        0 |        0
992.14/992.41	c  992s |      23 |  3280012 |  3187638 |     2122   3537 |        0 |        0
994.15/994.42	c  994s |      23 |  3286215 |  3193638 |     2122   3543 |        0 |        0
996.14/996.44	c  996s |      23 |  3292519 |  3199738 |     2122   3548 |        0 |        0
998.14/998.47	c  998s |      23 |  3298679 |  3205738 |     2122   3553 |        0 |        0
1000.14/1000.49	c 1000s |      23 |  3304822 |  3211738 |     2122   3559 |        0 |        0
1002.14/1002.50	c 1002s |      23 |  3311006 |  3217738 |     2122   3564 |        0 |        0
1004.23/1004.52	c 1004s |      23 |  3317109 |  3223638 |     2122   3569 |        0 |        0
1006.24/1006.54	c 1006s |      23 |  3323156 |  3229438 |     2122   3575 |        0 |        0
1008.23/1008.56	c 1008s |      23 |  3329437 |  3235438 |     2122   3580 |        0 |        0
1010.23/1010.56	c 1010s |      23 |  3335545 |  3241238 |     2122   3585 |        0 |        0
1012.33/1012.60	c 1012s |      23 |  3341634 |  3247138 |     2122   3591 |        0 |        0
1014.32/1014.63	c 1014s |      23 |  3347630 |  3252938 |     2122   3596 |        0 |        0
1016.32/1016.66	c 1016s |      23 |  3353459 |  3258638 |     2122   3601 |        0 |        0
1018.33/1018.67	c 1018s |      23 |  3359578 |  3264538 |     2122   3606 |        0 |        0
1020.32/1020.67	c 1020s |      23 |  3365420 |  3270238 |     2122   3611 |        0 |        0
1022.32/1022.69	c 1022s |      23 |  3371268 |  3275938 |     2122   3616 |        0 |        0
1024.31/1024.69	c 1024s |      23 |  3377095 |  3281538 |     2122   3621 |        0 |        0
1026.41/1026.74	c 1026s |      23 |  3383278 |  3287338 |     2122   3627 |        0 |        0
1028.41/1028.74	c 1028s |      23 |  3389041 |  3292938 |     2122   3632 |        0 |        0
1030.42/1030.77	c 1030s |      23 |  3394775 |  3298438 |     2122   3637 |        0 |        0
1032.51/1032.82	c 1032s |      23 |  3400655 |  3304038 |     2122   3642 |        0 |        0
1034.50/1034.83	c 1034s |      23 |  3406695 |  3309838 |     2122   3647 |        0 |        0
1036.50/1036.85	c 1036s |      23 |  3412574 |  3315638 |     2122   3652 |        0 |        0
1038.50/1038.87	c 1038s |      23 |  3418522 |  3321338 |     2122   3657 |        0 |        0
1040.50/1040.88	c 1040s |      23 |  3424144 |  3326838 |     2122   3662 |        0 |        0
1042.61/1042.91	c 1042s |      23 |  3430099 |  3332538 |     2122   3667 |        0 |        0
1044.60/1044.93	c 1044s |      23 |  3435653 |  3337838 |     2122   3672 |        0 |        0
1046.60/1046.94	c 1046s |      23 |  3441588 |  3343538 |     2122   3677 |        0 |        0
1048.60/1048.94	c 1048s |      23 |  3447080 |  3348938 |     2122   3682 |        0 |        0
1050.60/1050.94	c 1050s |      23 |  3453093 |  3354738 |     2335   3687 |        0 |        0
1052.60/1052.94	c 1052s |      23 |  3459569 |  3361038 |     2335   3692 |        0 |        0
1054.60/1054.96	c 1054s |      23 |  3465948 |  3367238 |     2335   3697 |        0 |        0
1056.60/1056.98	c 1056s |      23 |  3472328 |  3373438 |     2335   3702 |        0 |        0
1057.70/1058.07	c 1058s |      24 |  3475656 |  3376662 |     2335   3705 |        0 |        0
1059.70/1060.08	c 1060s |      24 |  3482302 |  3382862 |     2335   3710 |        0 |        0
1061.80/1062.10	c 1062s |      24 |  3488898 |  3389162 |     2335   3715 |        0 |        0
1063.80/1064.10	c 1064s |      24 |  3495186 |  3395262 |     2335   3720 |        0 |        0
1065.79/1066.11	c 1066s |      24 |  3501847 |  3401662 |     2335   3725 |        0 |        0
1067.80/1068.11	c 1068s |      24 |  3508060 |  3407662 |     2335   3730 |        0 |        0
1069.80/1070.12	c 1070s |      24 |  3514442 |  3413662 |     2335   3735 |        0 |        0
1071.80/1072.13	c 1072s |      24 |  3520601 |  3419562 |     2335   3740 |        0 |        0
1073.80/1074.15	c 1074s |      24 |  3527309 |  3426062 |     2335   3745 |        0 |        0
1075.80/1076.18	c 1076s |      24 |  3534104 |  3432462 |     2335   3750 |        0 |        0
1077.90/1078.21	c 1078s |      24 |  3540549 |  3438662 |     2335   3755 |        0 |        0
1079.90/1080.23	c 1080s |      24 |  3547020 |  3444962 |     2335   3760 |        0 |        0
1081.90/1082.25	c 1082s |      24 |  3553644 |  3451362 |     2335   3766 |        0 |        0
1083.90/1084.25	c 1084s |      24 |  3559983 |  3457262 |     2335   3770 |        0 |        0
1085.89/1086.26	c 1086s |      24 |  3566232 |  3463262 |     2335   3775 |        0 |        0
1087.89/1088.28	c 1088s |      24 |  3572553 |  3469462 |     2335   3780 |        0 |        0
1089.90/1090.29	c 1090s |      24 |  3578909 |  3475662 |     2335   3785 |        0 |        0
1091.89/1092.29	c 1092s |      24 |  3585107 |  3481662 |     2335   3790 |        0 |        0
1093.99/1094.32	c 1094s |      24 |  3591251 |  3487462 |     2335   3795 |        0 |        0
1095.99/1096.32	c 1096s |      24 |  3597680 |  3493662 |     2335   3800 |        0 |        0
1097.99/1098.33	c 1098s |      24 |  3603915 |  3499662 |     2335   3805 |        0 |        0
1099.99/1100.35	c 1100s |      24 |  3610183 |  3505662 |     2335   3810 |        0 |        0
1101.99/1102.35	c 1102s |      24 |  3616242 |  3511562 |     2335   3815 |        0 |        0
1103.99/1104.37	c 1104s |      24 |  3622836 |  3517962 |     2335   3820 |        0 |        0
1105.98/1106.39	c 1106s |      24 |  3629197 |  3524162 |     2335   3825 |        0 |        0
1108.08/1108.40	c 1108s |      24 |  3635478 |  3530262 |     2335   3830 |        0 |        0
1110.08/1110.43	c 1110s |      24 |  3641820 |  3536362 |     2335   3835 |        0 |        0
1112.08/1112.44	c 1112s |      24 |  3647999 |  3542362 |     2335   3840 |        0 |        0
1114.08/1114.46	c 1114s |      24 |  3654298 |  3548462 |     2335   3845 |        0 |        0
1116.08/1116.48	c 1116s |      24 |  3660517 |  3554462 |     2335   3850 |        0 |        0
1118.18/1118.51	c 1118s |      24 |  3666613 |  3560362 |     2335   3855 |        0 |        0
1120.18/1120.52	c 1120s |      24 |  3672885 |  3566362 |     2335   3860 |        0 |        0
1122.18/1122.55	c 1122s |      24 |  3678955 |  3572262 |     2335   3864 |        0 |        0
1124.17/1124.56	c 1124s |      24 |  3684797 |  3577862 |     2335   3869 |        0 |        0
1126.18/1126.59	c 1126s |      24 |  3690646 |  3583562 |     2335   3874 |        0 |        0
1128.17/1128.60	c 1128s |      24 |  3696812 |  3589562 |     2335   3878 |        0 |        0
1130.27/1130.60	c 1130s |      24 |  3703152 |  3595462 |     2335   3883 |        0 |        0
1132.27/1132.62	c 1132s |      24 |  3709368 |  3601462 |     2335   3888 |        0 |        0
1134.26/1134.64	c 1134s |      24 |  3715477 |  3607462 |     2335   3893 |        0 |        0
1136.26/1136.64	c 1136s |      24 |  3721774 |  3613562 |     2335   3898 |        0 |        0
1138.27/1138.67	c 1138s |      24 |  3728003 |  3619562 |     2335   3903 |        0 |        0
1140.26/1140.70	c 1140s |      24 |  3734412 |  3625562 |     2335   3908 |        0 |        0
1142.36/1142.70	c 1142s |      24 |  3740661 |  3631462 |     2335   3913 |        0 |        0
1144.36/1144.70	c 1144s |      24 |  3747007 |  3637362 |     2335   3918 |        0 |        0
1146.36/1146.72	c 1146s |      24 |  3753467 |  3643362 |     2335   3922 |        0 |        0
1148.36/1148.73	c 1148s |      24 |  3759472 |  3649162 |     2335   3927 |        0 |        0
1150.36/1150.74	c 1150s |      24 |  3765465 |  3654962 |     2335   3932 |        0 |        0
1152.36/1152.75	c 1152s |      24 |  3771363 |  3660662 |     2335   3937 |        0 |        0
1154.35/1154.76	c 1154s |      24 |  3777311 |  3666362 |     2335   3941 |        0 |        0
1156.35/1156.77	c 1156s |      24 |  3783388 |  3672162 |     2335   3946 |        0 |        0
1158.35/1158.78	c 1158s |      24 |  3789290 |  3677862 |     2335   3951 |        0 |        0
1160.45/1160.80	c 1160s |      24 |  3795278 |  3683562 |     2335   3955 |        0 |        0
1162.46/1162.83	c 1162s |      24 |  3802662 |  3690562 |     2335   3961 |        0 |        0
1164.45/1164.85	c 1164s |      24 |  3809447 |  3697062 |     2335   3966 |        0 |        0
1166.45/1166.86	c 1166s |      24 |  3816221 |  3703462 |     2335   3971 |        0 |        0
1168.45/1168.88	c 1168s |      24 |  3822762 |  3709762 |     2335   3977 |        0 |        0
1170.55/1170.90	c 1170s |      24 |  3829152 |  3715962 |     2335   3982 |        0 |        0
1172.54/1172.90	c 1172s |      24 |  3835641 |  3722162 |     2335   3987 |        0 |        0
1174.45/1174.90	c 1174s |      24 |  3841802 |  3728162 |     2335   3992 |        0 |        0
1176.55/1176.91	c 1176s |      24 |  3848319 |  3734362 |     2335   3997 |        0 |        0
1178.55/1178.92	c 1178s |      24 |  3854555 |  3740462 |     2335   4002 |        0 |        0
1180.55/1180.93	c 1180s |      24 |  3860721 |  3746362 |     2335   4007 |        0 |        0
1182.55/1182.94	c 1182s |      24 |  3867424 |  3752762 |     2335   4012 |        0 |        0
1184.54/1184.96	c 1184s |      24 |  3873617 |  3758762 |     2335   4017 |        0 |        0
1186.55/1186.98	c 1186s |      24 |  3879675 |  3764662 |     2335   4021 |        0 |        0
1188.64/1189.00	c 1188s |      24 |  3885619 |  3770462 |     2335   4026 |        0 |        0
1190.64/1191.03	c 1191s |      24 |  3892188 |  3776662 |     2335   4031 |        0 |        0
1192.64/1193.03	c 1193s |      24 |  3898921 |  3782962 |     2335   4036 |        0 |        0
1194.64/1195.07	c 1195s |      24 |  3905724 |  3789262 |     2335   4042 |        0 |        0
1196.64/1197.07	c 1197s |      24 |  3912076 |  3795362 |     2335   4047 |        0 |        0
1198.64/1199.07	c 1199s |      24 |  3918573 |  3801262 |     2335   4051 |        0 |        0
1200.63/1201.09	c 1201s |      24 |  3924919 |  3807162 |     2335   4056 |        0 |        0
1202.73/1203.11	c 1203s |      24 |  3930899 |  3812862 |     2335   4061 |        0 |        0
1204.73/1205.15	c 1205s |      24 |  3937050 |  3818562 |     2335   4066 |        0 |        0
1206.73/1207.16	c 1207s |      24 |  3943459 |  3824562 |     2335   4070 |        0 |        0
1208.73/1209.18	c 1209s |      24 |  3949909 |  3830662 |     2335   4075 |        0 |        0
1210.74/1211.19	c 1211s |      24 |  3956073 |  3836562 |     2335   4080 |        0 |        0
1212.83/1213.20	c 1213s |      24 |  3962426 |  3842362 |     2335   4085 |        0 |        0
1214.82/1215.23	c 1215s |      24 |  3968539 |  3847962 |     2335   4090 |        0 |        0
1216.82/1217.25	c 1217s |      24 |  3974812 |  3853562 |     2335   4094 |        0 |        0
1218.82/1219.29	c 1219s |      24 |  3980972 |  3859262 |     2335   4099 |        0 |        0
1220.92/1221.31	c 1221s |      24 |  3986785 |  3864762 |     2335   4103 |        0 |        0
1222.93/1223.33	c 1223s |      24 |  3992668 |  3870462 |     2335   4108 |        0 |        0
1224.92/1225.34	c 1225s |      24 |  3998766 |  3876362 |     2335   4113 |        0 |        0
1226.92/1227.36	c 1227s |      24 |  4005107 |  3882462 |     2335   4118 |        0 |        0
1228.92/1229.37	c 1229s |      24 |  4011401 |  3888462 |     2335   4123 |        0 |        0
1230.92/1231.37	c 1231s |      24 |  4017663 |  3894462 |     2335   4128 |        0 |        0
1232.92/1233.39	c 1233s |      24 |  4023809 |  3900462 |     2335   4133 |        0 |        0
1235.02/1235.41	c 1235s |      24 |  4029935 |  3906362 |     2335   4137 |        0 |        0
1237.01/1237.43	c 1237s |      24 |  4035717 |  3911962 |     2335   4142 |        0 |        0
1239.01/1239.45	c 1239s |      24 |  4041868 |  3917762 |     2335   4147 |        0 |        0
1241.01/1241.47	c 1241s |      24 |  4047691 |  3923362 |     2335   4151 |        0 |        0
1243.11/1243.50	c 1243s |      24 |  4053764 |  3929162 |     2335   4156 |        0 |        0
1245.11/1245.51	c 1245s |      24 |  4059779 |  3934962 |     2335   4161 |        0 |        0
1247.12/1247.52	c 1247s |      24 |  4065767 |  3940662 |     2335   4165 |        0 |        0
1249.11/1249.52	c 1249s |      24 |  4071436 |  3946162 |     2335   4170 |        0 |        0
1251.11/1251.55	c 1251s |      24 |  4077532 |  3952062 |     2335   4175 |        0 |        0
1253.11/1253.56	c 1253s |      24 |  4083570 |  3957862 |     2335   4180 |        0 |        0
1255.11/1255.58	c 1255s |      24 |  4089591 |  3963762 |     2335   4184 |        0 |        0
1257.20/1257.60	c 1257s |      24 |  4095474 |  3969462 |     2335   4189 |        0 |        0
1259.21/1259.61	c 1259s |      24 |  4101387 |  3975162 |     2335   4194 |        0 |        0
1261.20/1261.62	c 1261s |      24 |  4107273 |  3980862 |     2335   4198 |        0 |        0
1263.20/1263.65	c 1263s |      24 |  4113653 |  3986362 |     2335   4203 |        0 |        0
1265.20/1265.66	c 1265s |      24 |  4119648 |  3992062 |     2335   4207 |        0 |        0
1267.20/1267.66	c 1267s |      24 |  4125356 |  3997462 |     2335   4212 |        0 |        0
1269.20/1269.69	c 1269s |      24 |  4131255 |  4002862 |     2335   4216 |        0 |        0
1271.21/1271.70	c 1271s |      24 |  4136872 |  4008162 |     2335   4221 |        0 |        0
1273.30/1273.74	c 1273s |      24 |  4142941 |  4013962 |     2335   4225 |        0 |        0
1275.30/1275.75	c 1275s |      24 |  4148687 |  4019562 |     2335   4230 |        0 |        0
1277.30/1277.78	c 1277s |      24 |  4154516 |  4025162 |     2335   4235 |        0 |        0
1279.30/1279.79	c 1279s |      24 |  4160446 |  4030862 |     2335   4239 |        0 |        0
1281.40/1281.82	c 1281s |      24 |  4166557 |  4036862 |     2335   4244 |        0 |        0
1283.40/1283.85	c 1283s |      24 |  4172790 |  4042962 |     2335   4249 |        0 |        0
1285.39/1285.85	c 1285s |      24 |  4178822 |  4048862 |     2335   4254 |        0 |        0
1287.39/1287.86	c 1287s |      24 |  4184779 |  4054662 |     2335   4259 |        0 |        0
1289.39/1289.87	c 1289s |      24 |  4190813 |  4060562 |     2335   4263 |        0 |        0
1291.39/1291.89	c 1291s |      24 |  4196878 |  4066462 |     2335   4268 |        0 |        0
1293.49/1293.90	c 1293s |      24 |  4202676 |  4072062 |     2335   4273 |        0 |        0
1295.49/1295.92	c 1295s |      24 |  4208516 |  4077762 |     2335   4277 |        0 |        0
1297.49/1297.96	c 1297s |      24 |  4214385 |  4083462 |     2335   4282 |        0 |        0
1299.49/1299.98	c 1299s |      24 |  4220024 |  4088862 |     2335   4287 |        0 |        0
1301.49/1301.99	c 1301s |      24 |  4226083 |  4094762 |     2335   4291 |        0 |        0
1303.58/1304.02	c 1303s |      24 |  4231880 |  4100362 |     2335   4296 |        0 |        0
1305.58/1306.07	c 1306s |      24 |  4237740 |  4105962 |     2335   4301 |        0 |        0
1307.59/1308.09	c 1308s |      24 |  4243408 |  4111362 |     2335   4305 |        0 |        0
1309.58/1310.10	c 1310s |      24 |  4249256 |  4116962 |     2335   4310 |        0 |        0
1311.68/1312.10	c 1312s |      24 |  4254974 |  4122362 |     2335   4314 |        0 |        0
1313.68/1314.12	c 1314s |      24 |  4260632 |  4127762 |     2335   4318 |        0 |        0
1315.68/1316.13	c 1316s |      24 |  4266253 |  4133262 |     2335   4323 |        0 |        0
1317.67/1318.13	c 1318s |      24 |  4271893 |  4138562 |     2335   4327 |        0 |        0
1319.68/1320.15	c 1320s |      24 |  4277340 |  4143762 |     2335   4331 |        0 |        0
1321.67/1322.17	c 1322s |      24 |  4282563 |  4148762 |     2335   4336 |        0 |        0
1323.67/1324.18	c 1324s |      24 |  4289087 |  4154962 |     2335   4341 |        0 |        0
1325.77/1326.21	c 1326s |      24 |  4295654 |  4161262 |     2335   4346 |        0 |        0
1327.77/1328.22	c 1328s |      24 |  4302255 |  4167462 |     2335   4351 |        0 |        0
1329.77/1330.25	c 1330s |      24 |  4308852 |  4173662 |     2335   4356 |        0 |        0
1331.78/1332.25	c 1332s |      24 |  4315173 |  4179662 |     2335   4361 |        0 |        0
1333.77/1334.25	c 1334s |      24 |  4321391 |  4185662 |     2335   4366 |        0 |        0
1335.77/1336.28	c 1336s |      24 |  4327626 |  4191662 |     2335   4371 |        0 |        0
1337.76/1338.29	c 1338s |      24 |  4333775 |  4197562 |     2335   4375 |        0 |        0
1339.86/1340.32	c 1340s |      24 |  4340096 |  4203662 |     2335   4380 |        0 |        0
1341.86/1342.34	c 1342s |      24 |  4346077 |  4209462 |     2335   4385 |        0 |        0
1343.87/1344.36	c 1344s |      24 |  4352232 |  4215462 |     2335   4390 |        0 |        0
1345.86/1346.37	c 1346s |      24 |  4358212 |  4221262 |     2335   4395 |        0 |        0
1347.96/1348.40	c 1348s |      24 |  4364118 |  4226962 |     2335   4399 |        0 |        0
1349.96/1350.41	c 1350s |      24 |  4369928 |  4232562 |     2335   4404 |        0 |        0
1351.96/1352.44	c 1352s |      24 |  4376132 |  4238562 |     2335   4409 |        0 |        0
1353.96/1354.45	c 1354s |      24 |  4382152 |  4244362 |     2335   4414 |        0 |        0
1355.96/1356.47	c 1356s |      24 |  4387956 |  4249962 |     2335   4418 |        0 |        0
1357.95/1358.47	c 1358s |      24 |  4393851 |  4255562 |     2335   4423 |        0 |        0
1360.05/1360.50	c 1360s |      24 |  4400177 |  4261662 |     2335   4428 |        0 |        0
1362.05/1362.51	c 1362s |      24 |  4406253 |  4267562 |     2335   4433 |        0 |        0
1364.05/1364.54	c 1364s |      24 |  4412405 |  4273462 |     2335   4437 |        0 |        0
1366.05/1366.56	c 1366s |      24 |  4418410 |  4279262 |     2335   4442 |        0 |        0
1368.06/1368.56	c 1368s |      24 |  4424270 |  4284962 |     2335   4447 |        0 |        0
1370.16/1370.61	c 1370s |      24 |  4430384 |  4290862 |     2335   4452 |        0 |        0
1372.16/1372.63	c 1372s |      24 |  4436183 |  4296462 |     2335   4456 |        0 |        0
1374.16/1374.65	c 1374s |      24 |  4442035 |  4302062 |     2335   4461 |        0 |        0
1376.16/1376.65	c 1376s |      24 |  4447829 |  4307662 |     2335   4465 |        0 |        0
1378.16/1378.68	c 1378s |      24 |  4453885 |  4313562 |     2335   4470 |        0 |        0
1380.26/1380.70	c 1380s |      24 |  4459626 |  4319162 |     2335   4475 |        0 |        0
1382.26/1382.70	c 1382s |      24 |  4465288 |  4324662 |     2335   4479 |        0 |        0
1384.25/1384.72	c 1384s |      24 |  4471080 |  4330262 |     2335   4484 |        0 |        0
1386.25/1386.74	c 1386s |      24 |  4477130 |  4336062 |     2335   4489 |        0 |        0
1388.25/1388.75	c 1388s |      24 |  4483177 |  4341862 |     2335   4493 |        0 |        0
1390.25/1390.78	c 1390s |      24 |  4489165 |  4347562 |     2335   4498 |        0 |        0
1392.26/1392.79	c 1392s |      24 |  4494971 |  4353162 |     2335   4503 |        0 |        0
1394.36/1394.82	c 1394s |      24 |  4500998 |  4358962 |     2335   4507 |        0 |        0
1396.35/1396.83	c 1396s |      24 |  4506670 |  4364462 |     2335   4512 |        0 |        0
1398.35/1398.86	c 1398s |      24 |  4512453 |  4370062 |     2335   4516 |        0 |        0
1400.35/1400.87	c 1400s |      24 |  4518249 |  4375662 |     2335   4521 |        0 |        0
1402.45/1402.91	c 1402s |      24 |  4524029 |  4381262 |     2335   4526 |        0 |        0
1404.45/1404.94	c 1404s |      24 |  4529890 |  4386962 |     2335   4530 |        0 |        0
1406.45/1406.96	c 1406s |      24 |  4535710 |  4392562 |     2335   4535 |        0 |        0
1408.45/1408.98	c 1408s |      24 |  4541253 |  4397962 |     2335   4539 |        0 |        0
1410.45/1410.99	c 1410s |      24 |  4547226 |  4403762 |     2335   4544 |        0 |        0
1412.55/1413.01	c 1412s |      24 |  4553577 |  4409762 |     2335   4549 |        0 |        0
1414.55/1415.04	c 1415s |      24 |  4559595 |  4415562 |     2335   4554 |        0 |        0
1416.55/1417.05	c 1417s |      24 |  4565660 |  4421462 |     2335   4558 |        0 |        0
1418.55/1419.07	c 1419s |      24 |  4571664 |  4427162 |     2335   4563 |        0 |        0
1420.65/1421.10	c 1421s |      24 |  4577307 |  4432662 |     2335   4568 |        0 |        0
1422.64/1423.11	c 1423s |      24 |  4582962 |  4438162 |     2335   4572 |        0 |        0
1424.64/1425.12	c 1425s |      24 |  4588599 |  4443662 |     2335   4577 |        0 |        0
1426.64/1427.13	c 1427s |      24 |  4594104 |  4448962 |     2335   4581 |        0 |        0
1428.64/1429.13	c 1429s |      24 |  4599937 |  4454462 |     2335   4585 |        0 |        0
1430.65/1431.13	c 1431s |      24 |  4605604 |  4459762 |     2335   4590 |        0 |        0
1432.64/1433.15	c 1433s |      24 |  4611240 |  4465162 |     2335   4594 |        0 |        0
1434.74/1435.21	c 1435s |      24 |  4616937 |  4470562 |     2335   4599 |        0 |        0
1436.74/1437.23	c 1437s |      24 |  4622597 |  4475962 |     2335   4603 |        0 |        0
1438.74/1439.24	c 1439s |      24 |  4627976 |  4481162 |     2335   4607 |        0 |        0
1440.74/1441.26	c 1441s |      24 |  4633435 |  4486362 |     2335   4611 |        0 |        0
1442.75/1443.29	c 1443s |      24 |  4638878 |  4491562 |     2335   4616 |        0 |        0
1444.84/1445.33	c 1445s |      24 |  4644609 |  4497062 |     2335   4620 |        0 |        0
1446.84/1447.35	c 1447s |      24 |  4650019 |  4502262 |     2335   4625 |        0 |        0
1448.84/1449.37	c 1449s |      24 |  4656512 |  4508462 |     2335   4630 |        0 |        0
1450.84/1451.37	c 1451s |      24 |  4662671 |  4514462 |     2335   4634 |        0 |        0
1452.84/1453.38	c 1453s |      24 |  4668836 |  4520462 |     2335   4639 |        0 |        0
1454.84/1455.39	c 1455s |      24 |  4674805 |  4526162 |     2335   4644 |        0 |        0
1456.94/1457.42	c 1457s |      24 |  4680565 |  4531762 |     2335   4649 |        0 |        0
1458.94/1459.44	c 1459s |      24 |  4686414 |  4537262 |     2335   4653 |        0 |        0
1460.94/1461.47	c 1461s |      24 |  4692129 |  4542762 |     2335   4658 |        0 |        0
1462.94/1463.47	c 1463s |      24 |  4698016 |  4548462 |     2335   4662 |        0 |        0
1465.04/1465.50	c 1465s |      24 |  4703775 |  4554062 |     2335   4667 |        0 |        0
1467.04/1467.53	c 1467s |      24 |  4709614 |  4559762 |     2335   4672 |        0 |        0
1469.03/1469.53	c 1469s |      24 |  4715593 |  4565562 |     2335   4676 |        0 |        0
1471.04/1471.56	c 1471s |      24 |  4721550 |  4571262 |     2335   4681 |        0 |        0
1473.04/1473.56	c 1473s |      24 |  4727334 |  4576762 |     2335   4685 |        0 |        0
1475.14/1475.60	c 1475s |      24 |  4733236 |  4582462 |     2335   4690 |        0 |        0
1477.14/1477.62	c 1477s |      24 |  4739066 |  4588062 |     2335   4695 |        0 |        0
1479.15/1479.63	c 1479s |      24 |  4744785 |  4593562 |     2335   4699 |        0 |        0
1481.14/1481.65	c 1481s |      24 |  4750283 |  4598862 |     2335   4704 |        0 |        0
1483.14/1483.66	c 1483s |      24 |  4755987 |  4604362 |     2335   4708 |        0 |        0
1485.14/1485.67	c 1485s |      24 |  4761888 |  4609962 |     2335   4713 |        0 |        0
1487.14/1487.67	c 1487s |      24 |  4767571 |  4615462 |     2335   4717 |        0 |        0
1489.14/1489.68	c 1489s |      24 |  4773126 |  4620862 |     2335   4722 |        0 |        0
1491.15/1491.70	c 1491s |      24 |  4778827 |  4626262 |     2335   4726 |        0 |        0
1493.24/1493.76	c 1493s |      24 |  4784671 |  4631862 |     2335   4731 |        0 |        0
1495.24/1495.78	c 1495s |      24 |  4790908 |  4637862 |     2335   4735 |        0 |        0
1497.24/1497.78	c 1497s |      24 |  4796669 |  4643462 |     2335   4740 |        0 |        0
1499.34/1499.80	c 1499s |      24 |  4802397 |  4649062 |     2335   4745 |        0 |        0
1501.34/1501.83	c 1501s |      24 |  4808274 |  4654662 |     2335   4749 |        0 |        0
1503.34/1503.86	c 1503s |      24 |  4813942 |  4660162 |     2335   4754 |        0 |        0
1505.34/1505.87	c 1505s |      24 |  4819707 |  4665762 |     2335   4758 |        0 |        0
1507.33/1507.89	c 1507s |      24 |  4825202 |  4671162 |     2335   4763 |        0 |        0
1509.43/1509.90	c 1509s |      24 |  4830878 |  4676562 |     2335   4767 |        0 |        0
1511.43/1511.90	c 1511s |      24 |  4836431 |  4681862 |     2335   4771 |        0 |        0
1513.43/1513.91	c 1513s |      24 |  4841889 |  4687062 |     2335   4776 |        0 |        0
1515.44/1515.94	c 1515s |      24 |  4847587 |  4692562 |     2335   4780 |        0 |        0
1517.43/1517.97	c 1517s |      24 |  4853486 |  4698262 |     2335   4785 |        0 |        0
1519.43/1519.99	c 1519s |      24 |  4859180 |  4703762 |     2335   4789 |        0 |        0
1521.53/1522.02	c 1521s |      24 |  4864825 |  4709162 |     2335   4794 |        0 |        0
1523.53/1524.03	c 1524s |      24 |  4870648 |  4714762 |     2335   4798 |        0 |        0
1525.53/1526.05	c 1526s |      24 |  4876325 |  4720262 |     2335   4803 |        0 |        0
1527.54/1528.06	c 1528s |      24 |  4881965 |  4725662 |     2335   4807 |        0 |        0
1529.53/1530.08	c 1530s |      24 |  4887553 |  4731062 |     2335   4812 |        0 |        0
1531.63/1532.12	c 1532s |      24 |  4893019 |  4736362 |     2335   4816 |        0 |        0
1533.63/1534.14	c 1534s |      24 |  4899230 |  4742262 |     2335   4821 |        0 |        0
1535.63/1536.17	c 1536s |      24 |  4905085 |  4747862 |     2335   4826 |        0 |        0
1537.63/1538.20	c 1538s |      24 |  4911010 |  4753462 |     2335   4830 |        0 |        0
1539.73/1540.21	c 1540s |      24 |  4917221 |  4759162 |     2335   4835 |        0 |        0
1541.74/1542.22	c 1542s |      24 |  4922988 |  4764662 |     2335   4839 |        0 |        0
1543.73/1544.23	c 1544s |      24 |  4928667 |  4770162 |     2335   4844 |        0 |        0
1545.73/1546.24	c 1546s |      24 |  4934514 |  4775662 |     2335   4848 |        0 |        0
1547.73/1548.26	c 1548s |      24 |  4940566 |  4781462 |     2335   4853 |        0 |        0
1549.73/1550.29	c 1550s |      24 |  4946776 |  4787262 |     2335   4858 |        0 |        0
1551.83/1552.32	c 1552s |      24 |  4952619 |  4792762 |     2335   4862 |        0 |        0
1553.83/1554.32	c 1554s |      24 |  4958107 |  4798062 |     2335   4867 |        0 |        0
1555.82/1556.32	c 1556s |      24 |  4963747 |  4803462 |     2335   4871 |        0 |        0
1557.82/1558.36	c 1558s |      24 |  4969779 |  4809062 |     2335   4876 |        0 |        0
1559.82/1560.37	c 1560s |      24 |  4975392 |  4814462 |     2335   4880 |        0 |        0
1561.82/1562.39	c 1562s |      24 |  4981110 |  4819862 |     2335   4884 |        0 |        0
1563.92/1564.41	c 1564s |      24 |  4986770 |  4825362 |     2335   4889 |        0 |        0
1565.93/1566.43	c 1566s |      24 |  4992465 |  4830762 |     2335   4893 |        0 |        0
1567.92/1568.43	c 1568s |      24 |  4998197 |  4836262 |     2335   4898 |        0 |        0
1569.92/1570.45	c 1570s |      24 |  5003793 |  4841762 |     2335   4902 |        0 |        0
1571.92/1572.46	c 1572s |      24 |  5009531 |  4847262 |     2335   4907 |        0 |        0
1573.92/1574.48	c 1574s |      24 |  5015266 |  4852662 |     2335   4911 |        0 |        0
1576.02/1576.50	c 1576s |      24 |  5020915 |  4857962 |     2335   4916 |        0 |        0
1578.03/1578.50	c 1578s |      24 |  5026490 |  4863262 |     2335   4920 |        0 |        0
1580.03/1580.53	c 1580s |      24 |  5032099 |  4868562 |     2335   4924 |        0 |        0
1582.03/1582.54	c 1582s |      24 |  5037878 |  4874162 |     2335   4929 |        0 |        0
1584.03/1584.58	c 1584s |      24 |  5043632 |  4879662 |     2335   4933 |        0 |        0
1586.03/1586.59	c 1586s |      24 |  5049301 |  4885062 |     2335   4938 |        0 |        0
1588.13/1588.61	c 1588s |      24 |  5055229 |  4890662 |     2335   4942 |        0 |        0
1590.13/1590.63	c 1590s |      24 |  5060889 |  4895862 |     2335   4947 |        0 |        0
1592.13/1592.66	c 1592s |      24 |  5066388 |  4901162 |     2335   4951 |        0 |        0
1594.12/1594.69	c 1594s |      24 |  5071946 |  4906462 |     2335   4955 |        0 |        0
1596.22/1596.71	c 1596s |      24 |  5077622 |  4911862 |     2335   4960 |        0 |        0
1598.22/1598.72	c 1598s |      24 |  5083282 |  4917262 |     2335   4964 |        0 |        0
1600.22/1600.73	c 1600s |      24 |  5088604 |  4922362 |     2335   4968 |        0 |        0
1602.23/1602.76	c 1602s |      24 |  5094264 |  4927662 |     2335   4973 |        0 |        0
1604.22/1604.76	c 1604s |      24 |  5100052 |  4932962 |     2335   4977 |        0 |        0
1606.22/1606.79	c 1606s |      24 |  5105929 |  4938362 |     2335   4981 |        0 |        0
1608.32/1608.81	c 1608s |      24 |  5111398 |  4943562 |     2335   4986 |        0 |        0
1610.32/1610.85	c 1610s |      24 |  5116728 |  4948662 |     2335   4990 |        0 |        0
1612.32/1612.89	c 1612s |      24 |  5122955 |  4954462 |     2335   4995 |        0 |        0
1614.42/1614.91	c 1614s |      24 |  5128902 |  4960162 |     2335   4999 |        0 |        0
1616.42/1616.91	c 1616s |      24 |  5134682 |  4965762 |     2335   5004 |        0 |        0
1618.42/1618.93	c 1618s |      24 |  5140558 |  4971262 |     2335   5008 |        0 |        0
1620.41/1620.97	c 1620s |      24 |  5146291 |  4976762 |     2335   5013 |        0 |        0
1622.41/1622.97	c 1622s |      24 |  5151852 |  4982162 |     2335   5017 |        0 |        0
1624.41/1624.97	c 1624s |      24 |  5157431 |  4987562 |     2335   5022 |        0 |        0
1626.42/1626.99	c 1626s |      24 |  5163012 |  4992962 |     2335   5026 |        0 |        0
1628.51/1629.00	c 1628s |      24 |  5168756 |  4998462 |     2335   5030 |        0 |        0
1630.51/1631.01	c 1630s |      24 |  5174273 |  5003862 |     2335   5035 |        0 |        0
1632.51/1633.02	c 1633s |      24 |  5179780 |  5009262 |     2335   5039 |        0 |        0
1634.51/1635.06	c 1635s |      24 |  5185395 |  5014762 |     2335   5044 |        0 |        0
1636.51/1637.09	c 1637s |      24 |  5190921 |  5020162 |     2335   5048 |        0 |        0
1638.62/1639.12	c 1639s |      24 |  5196408 |  5025562 |     2335   5053 |        0 |        0
1640.61/1641.15	c 1641s |      24 |  5202113 |  5031062 |     2569   5057 |        0 |        0
1642.61/1643.17	c 1643s |      24 |  5207868 |  5036662 |     2569   5061 |        0 |        0
1644.61/1645.18	c 1645s |      24 |  5213591 |  5042162 |     2569   5065 |        0 |        0
1646.61/1647.19	c 1647s |      24 |  5219080 |  5047462 |     2569   5069 |        0 |        0
1648.71/1649.21	c 1649s |      24 |  5224659 |  5052862 |     2569   5073 |        0 |        0
1650.72/1651.23	c 1651s |      24 |  5230095 |  5058162 |     2569   5077 |        0 |        0
1652.71/1653.26	c 1653s |      24 |  5235563 |  5063462 |     2569   5081 |        0 |        0
1653.31/1653.88	c 1653s |      25 |  5237244 |  5065098 |     2569   5082 |        0 |        0
1655.41/1655.92	c 1655s |      25 |  5243419 |  5070998 |     2569   5087 |        0 |        0
1657.41/1657.95	c 1657s |      25 |  5249453 |  5076798 |     2569   5091 |        0 |        0
1659.41/1659.98	c 1659s |      25 |  5255327 |  5082498 |     2569   5095 |        0 |        0
1661.51/1662.00	c 1661s |      25 |  5261158 |  5088098 |     2569   5099 |        0 |        0
1663.51/1664.02	c 1664s |      25 |  5266852 |  5093598 |     2569   5103 |        0 |        0
1665.50/1666.03	c 1666s |      25 |  5272467 |  5098998 |     2569   5107 |        0 |        0
1667.50/1668.04	c 1668s |      25 |  5278149 |  5104498 |     2569   5112 |        0 |        0
1669.50/1670.08	c 1670s |      25 |  5283488 |  5109598 |     2569   5115 |        0 |        0
1671.51/1672.09	c 1672s |      25 |  5289104 |  5115098 |     2569   5119 |        0 |        0
1673.60/1674.11	c 1674s |      25 |  5294543 |  5120398 |     2569   5123 |        0 |        0
1675.60/1676.12	c 1676s |      25 |  5300311 |  5125998 |     2569   5128 |        0 |        0
1677.60/1678.16	c 1678s |      25 |  5306101 |  5131598 |     2569   5132 |        0 |        0
1679.61/1680.17	c 1680s |      25 |  5311771 |  5136998 |     2569   5136 |        0 |        0
1681.61/1682.18	c 1682s |      25 |  5317080 |  5142098 |     2569   5140 |        0 |        0
1683.72/1684.21	c 1684s |      25 |  5322708 |  5147298 |     2569   5143 |        0 |        0
1685.71/1686.23	c 1686s |      25 |  5328433 |  5152798 |     2569   5148 |        0 |        0
1687.71/1688.23	c 1688s |      25 |  5333979 |  5158198 |     2569   5152 |        0 |        0
1689.71/1690.23	c 1690s |      25 |  5339448 |  5163498 |     2569   5156 |        0 |        0
1691.71/1692.26	c 1692s |      25 |  5345089 |  5168898 |     2569   5160 |        0 |        0
1693.71/1694.27	c 1694s |      25 |  5350593 |  5174198 |     2569   5163 |        0 |        0
1695.71/1696.30	c 1696s |      25 |  5356820 |  5180198 |     2569   5168 |        0 |        0
1697.81/1698.32	c 1698s |      25 |  5362807 |  5185998 |     2569   5172 |        0 |        0
1699.81/1700.33	c 1700s |      25 |  5368813 |  5191898 |     2569   5177 |        0 |        0
1701.81/1702.34	c 1702s |      25 |  5374831 |  5197698 |     2569   5181 |        0 |        0
1703.81/1704.35	c 1704s |      25 |  5380803 |  5203298 |     2569   5185 |        0 |        0
1705.80/1706.35	c 1706s |      25 |  5386405 |  5208398 |     2569   5189 |        0 |        0
1707.81/1708.36	c 1708s |      25 |  5392199 |  5213798 |     2569   5193 |        0 |        0
1709.80/1710.38	c 1710s |      25 |  5398127 |  5219498 |     2569   5197 |        0 |        0
1711.80/1712.39	c 1712s |      25 |  5404007 |  5224998 |     2569   5201 |        0 |        0
1713.80/1714.39	c 1714s |      25 |  5409801 |  5230298 |     2569   5205 |        0 |        0
1715.90/1716.42	c 1716s |      25 |  5415901 |  5236098 |     2569   5210 |        0 |        0
1717.90/1718.45	c 1718s |      25 |  5421797 |  5241698 |     2569   5214 |        0 |        0
1719.91/1720.46	c 1720s |      25 |  5427406 |  5247098 |     2569   5218 |        0 |        0
1721.90/1722.46	c 1722s |      25 |  5432951 |  5252398 |     2569   5222 |        0 |        0
1723.90/1724.48	c 1724s |      25 |  5439108 |  5258298 |     2569   5226 |        0 |        0
1726.00/1726.51	c 1726s |      25 |  5445325 |  5264098 |     2569   5230 |        0 |        0
1728.00/1728.53	c 1728s |      25 |  5451028 |  5269598 |     2569   5235 |        0 |        0
1730.00/1730.55	c 1730s |      25 |  5456818 |  5275198 |     2569   5239 |        0 |        0
1732.00/1732.58	c 1732s |      25 |  5462617 |  5280798 |     2569   5243 |        0 |        0
1734.00/1734.59	c 1734s |      25 |  5468299 |  5286298 |     2569   5247 |        0 |        0
1736.10/1736.61	c 1736s |      25 |  5474073 |  5291898 |     2569   5251 |        0 |        0
1738.10/1738.62	c 1738s |      25 |  5479825 |  5297398 |     2569   5255 |        0 |        0
1740.10/1740.64	c 1740s |      25 |  5485511 |  5302898 |     2569   5259 |        0 |        0
1742.10/1742.66	c 1742s |      25 |  5491438 |  5308698 |     2569   5264 |        0 |        0
1744.10/1744.66	c 1744s |      25 |  5497293 |  5314298 |     2569   5268 |        0 |        0
1746.09/1746.68	c 1746s |      25 |  5503105 |  5319798 |     2569   5272 |        0 |        0
1748.19/1748.70	c 1748s |      25 |  5508537 |  5324898 |     2569   5276 |        0 |        0
1750.19/1750.72	c 1750s |      25 |  5514089 |  5330098 |     2569   5280 |        0 |        0
1752.20/1752.74	c 1752s |      25 |  5519973 |  5335398 |     2569   5284 |        0 |        0
1754.20/1754.77	c 1754s |      25 |  5525505 |  5340698 |     2569   5288 |        0 |        0
1756.31/1756.80	c 1756s |      25 |  5530966 |  5345898 |     2569   5292 |        0 |        0
1758.30/1758.81	c 1758s |      25 |  5536774 |  5351398 |     2569   5296 |        0 |        0
1760.30/1760.83	c 1760s |      25 |  5542490 |  5356898 |     2569   5300 |        0 |        0
1762.30/1762.83	c 1762s |      25 |  5548185 |  5362298 |     2569   5304 |        0 |        0
1764.30/1764.85	c 1764s |      25 |  5553807 |  5367698 |     2569   5308 |        0 |        0
1766.30/1766.87	c 1766s |      25 |  5559581 |  5373098 |     2569   5312 |        0 |        0
1768.30/1768.88	c 1768s |      25 |  5565463 |  5378398 |     2569   5316 |        0 |        0
1770.40/1770.90	c 1770s |      25 |  5571184 |  5383698 |     2569   5320 |        0 |        0
1772.40/1772.91	c 1772s |      25 |  5576760 |  5389098 |     2569   5324 |        0 |        0
1774.40/1774.94	c 1774s |      25 |  5582392 |  5394598 |     2569   5328 |        0 |        0
1776.40/1776.96	c 1776s |      25 |  5587856 |  5399798 |     2569   5332 |        0 |        0
1778.40/1778.96	c 1778s |      25 |  5593461 |  5405098 |     2569   5336 |        0 |        0
1780.40/1780.99	c 1780s |      25 |  5599377 |  5410698 |     2569   5340 |        0 |        0
1782.50/1783.02	c 1782s |      25 |  5605140 |  5415998 |     2569   5344 |        0 |        0
1784.49/1785.04	c 1785s |      25 |  5610656 |  5421298 |     2569   5348 |        0 |        0
1786.49/1787.05	c 1787s |      25 |  5616267 |  5426598 |     2569   5352 |        0 |        0
1788.49/1789.05	c 1789s |      25 |  5621571 |  5431698 |     2569   5356 |        0 |        0
1790.49/1791.06	c 1791s |      25 |  5627336 |  5437198 |     2569   5360 |        0 |        0
1792.50/1793.07	c 1793s |      25 |  5632968 |  5442598 |     2569   5364 |        0 |        0
1794.49/1795.08	c 1795s |      25 |  5638452 |  5447898 |     2569   5368 |        0 |        0
1796.49/1797.09	c 1797s |      25 |  5643842 |  5452998 |     2569   5372 |        0 |        0
1798.59/1799.12	c 1799s |      25 |  5649422 |  5458098 |     2569   5375 |        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-4089610-1466029965/watcher-4089610-1466029965 -o /tmp/evaluation-result-4089610-1466029965/solver-4089610-1466029965 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089610-1466029965.opb 

pid=8750
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.21 2.12 2.08 4/179 8753
/proc/meminfo: memFree=30437744/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=432572 CPUtime=0 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 1564 0 0 0 0 0 0 0 20 0 4 0 5041940 442953728 1925 33554432000 4194304 16246674 140736864457616 140736864457040 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 108655 1933 441 2943 0 105549 0
[pid=8753/tid=8754] ppid=8750 vsize=449980 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 460779520 1990 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=459196 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 470216704 2028 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=464316 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5041940 475459584 2048 33554432000 4194304 16246674 140736864457616 140480518016176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100149 s]
/proc/loadavg: 2.21 2.12 2.08 4/179 8753
/proc/meminfo: memFree=30437744/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 29682 0 0 0 5 4 0 0 20 0 4 0 5041940 1247350784 30033 33554432000 4194304 16246674 140736864457616 140736864457040 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 304529 30047 704 2943 0 301423 0
[pid=8753/tid=8754] ppid=8750 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1247350784 30056 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1247350784 30066 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5041940 1247350784 30075 33554432000 4194304 16246674 140736864457616 140480518016176 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.200507 s]
/proc/loadavg: 2.21 2.12 2.08 4/179 8753
/proc/meminfo: memFree=30437744/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 59294 0 0 0 12 7 0 0 20 0 4 0 5041940 1247350784 59644 33554432000 4194304 16246674 140736864457616 140736864439488 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 304529 59651 711 2943 0 301423 0
[pid=8753/tid=8754] ppid=8750 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1247350784 59655 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1247350784 59660 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5041940 1247350784 59664 33554432000 4194304 16246674 140736864457616 140480518016176 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.300421 s]
/proc/loadavg: 2.21 2.12 2.08 4/179 8753
/proc/meminfo: memFree=30437744/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 88880 0 0 0 17 11 0 0 20 0 4 0 5041940 1247350784 89230 33554432000 4194304 16246674 140736864457616 140736864439488 13191389 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 304529 89242 711 2943 0 301423 0
[pid=8753/tid=8754] ppid=8750 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1247350784 89246 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1247350784 89251 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5041940 1247350784 89259 33554432000 4194304 16246674 140736864457616 140480518016176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700398 s]
/proc/loadavg: 2.21 2.12 2.08 4/179 8753
/proc/meminfo: memFree=30437744/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 208549 0 0 0 41 27 0 0 20 0 4 0 5041940 1247350784 208900 33554432000 4194304 16246674 140736864457616 140736864439488 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 304529 208917 711 2943 0 301423 0
[pid=8753/tid=8754] ppid=8750 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1247350784 208928 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1247350784 208936 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5041940 1247350784 208946 33554432000 4194304 16246674 140736864457616 140480518016176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.19 2.11 2.07 3/183 8757
/proc/meminfo: memFree=29453684/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1304132 CPUtime=1.48 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 266896 0 0 0 114 34 0 0 20 0 4 0 5041940 1335431168 267226 33554432000 4194304 16246674 140736864457616 140736864439488 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 326033 267226 789 2943 0 322927 0
[pid=8753/tid=8754] ppid=8750 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1335431168 267226 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1335431168 267226 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5041940 1335431168 267226 33554432000 4194304 16246674 140736864457616 140480518016176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1304132

[startup+3.10041 s]
/proc/loadavg: 2.19 2.11 2.07 3/183 8757
/proc/meminfo: memFree=29366884/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 267573 0 0 0 274 34 0 0 20 0 4 0 5041940 1337528320 267903 33554432000 4194304 16246674 140736864457616 140736864439488 5669575 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 326545 267903 791 2943 0 323439 0
[pid=8753/tid=8754] ppid=8750 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1337528320 267903 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1337528320 267903 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5041940 1337528320 267903 33554432000 4194304 16246674 140736864457616 140480518016176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.19 2.11 2.07 4/184 8758
/proc/meminfo: memFree=29365936/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 267573 0 0 0 594 34 0 0 20 0 4 0 5041940 1337528320 267903 33554432000 4194304 16246674 140736864457616 140736864439488 6009896 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 326545 267903 791 2943 0 323439 0
[pid=8753/tid=8754] ppid=8750 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1337528320 267903 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1337528320 267903 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5041940 1337528320 267903 33554432000 4194304 16246674 140736864457616 140480518016176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.24 2.13 2.08 3/184 8758
/proc/meminfo: memFree=29365344/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1307204 CPUtime=12.68 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 267742 0 0 0 1234 34 0 0 20 0 4 0 5041940 1338576896 268072 33554432000 4194304 16246674 140736864457616 140736864439488 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 326801 268072 791 2943 0 323695 0
[pid=8753/tid=8754] ppid=8750 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1338576896 268072 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1338576896 268072 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5041940 1338576896 268072 33554432000 4194304 16246674 140736864457616 140480518016176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.20 2.12 2.08 3/184 8758
/proc/meminfo: memFree=29362692/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 267749 0 0 0 2514 34 0 0 20 0 4 0 5041940 1338576896 268079 33554432000 4194304 16246674 140736864457616 140736864439488 13191272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 326801 268079 791 2943 0 323695 0
[pid=8753/tid=8754] ppid=8750 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1338576896 268079 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1338576896 268079 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5041940 1338576896 268079 33554432000 4194304 16246674 140736864457616 140480518016176 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) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.13 2.11 2.08 3/184 8758
/proc/meminfo: memFree=29361428/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 268086 0 0 0 5073 35 0 0 20 0 4 0 5041940 1339625472 268416 33554432000 4194304 16246674 140736864457616 140736864439488 5667837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 327057 268416 792 2943 0 323951 0
[pid=8753/tid=8754] ppid=8750 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1339625472 268416 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1339625472 268416 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5041940 1339625472 268416 33554432000 4194304 16246674 140736864457616 140480518016176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.05 2.09 2.07 4/183 8759
/proc/meminfo: memFree=29359228/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1308228 CPUtime=102.28 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 268087 0 0 0 10192 36 0 0 20 0 4 0 5041940 1339625472 268417 33554432000 4194304 16246674 140736864457616 140736864439488 6021388 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 327057 268417 793 2943 0 323951 0
[pid=8753/tid=8754] ppid=8750 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1339625472 268417 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1339625472 268417 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5041940 1339625472 268417 33554432000 4194304 16246674 140736864457616 140480518016176 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) 1308228


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

/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480518016176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/183 8789
/proc/meminfo: memFree=29344688/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1315396 CPUtime=1301.89 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 270231 0 0 0 130142 47 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140736864439488 5545788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 328849 270212 793 2943 0 325743 0
[pid=8753/tid=8754] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480518016176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.13 2.09 2.08 3/183 8790
/proc/meminfo: memFree=29341668/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1315396 CPUtime=1361.85 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 270270 0 0 0 136138 47 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140736864439488 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 328849 270212 793 2943 0 325743 0
[pid=8753/tid=8754] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480518016176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.05 2.07 2.08 3/183 8792
/proc/meminfo: memFree=29342420/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1315396 CPUtime=1421.85 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 270273 0 0 0 142137 48 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140736864439488 12875520 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 328849 270212 793 2943 0 325743 0
[pid=8753/tid=8754] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480518016176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.02 2.06 2.07 3/183 8793
/proc/meminfo: memFree=29342892/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1315396 CPUtime=1481.84 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 270273 0 0 0 148135 49 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140736864439488 5546684 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 328849 270212 793 2943 0 325743 0
[pid=8753/tid=8754] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480518016176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.16 2.09 2.08 4/183 8794
/proc/meminfo: memFree=29342712/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1315396 CPUtime=1541.84 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 270273 0 0 0 154135 49 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140736864440616 12874809 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 328849 270212 793 2943 0 325743 0
[pid=8753/tid=8754] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480518016176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.11 2.09 2.08 4/183 8795
/proc/meminfo: memFree=29342568/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1315396 CPUtime=1601.82 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 270273 0 0 0 160132 50 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140736864439488 12483230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 328849 270212 793 2943 0 325743 0
[pid=8753/tid=8754] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480518016176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.07 2.08 2.08 3/184 8897
/proc/meminfo: memFree=29360460/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1315396 CPUtime=1661.81 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 270273 0 0 0 166131 50 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140736864439488 5721725 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 328849 270212 793 2943 0 325743 0
[pid=8753/tid=8754] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5041940 1346965504 270212 33554432000 4194304 16246674 140736864457616 140480518016176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.02 2.06 2.08 3/184 8922
/proc/meminfo: memFree=29353752/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1321540 CPUtime=1721.8 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 271740 0 0 0 172129 51 0 0 20 0 4 0 5041940 1353256960 271679 33554432000 4194304 16246674 140736864457616 140736864439488 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 330385 271679 793 2943 0 327279 0
[pid=8753/tid=8754] ppid=8750 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1353256960 271679 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1353256960 271679 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5041940 1353256960 271679 33554432000 4194304 16246674 140736864457616 140480518016176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1321540

[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 8923
/proc/meminfo: memFree=29354048/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1321540 CPUtime=1781.8 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 271740 0 0 0 178128 52 0 0 20 0 4 0 5041940 1353256960 271679 33554432000 4194304 16246674 140736864457616 140736864439488 5589685 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 330385 271679 793 2943 0 327279 0
[pid=8753/tid=8754] ppid=8750 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1353256960 271679 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1353256960 271679 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5041940 1353256960 271679 33554432000 4194304 16246674 140736864457616 140480518016176 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) 1321540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.07 2.06 2.07 3/183 8923
/proc/meminfo: memFree=29354180/32872528 swapFree=496356/529060
[pid=8753] ppid=8750 vsize=1321540 CPUtime=1800.09 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8750 8753 5955 0 -1 4202496 271740 0 0 0 179957 52 0 0 20 0 4 0 5041940 1353256960 271679 33554432000 4194304 16246674 140736864457616 140736864439488 5707802 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 330385 271679 793 2943 0 327279 0
[pid=8753/tid=8754] ppid=8750 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5041940 1353256960 271679 33554432000 4194304 16246674 140736864457616 140480538979568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5041940 1353256960 271679 33554432000 4194304 16246674 140736864457616 140480528489712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5041940 1353256960 271679 33554432000 4194304 16246674 140736864457616 140480518016176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1321540

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.58
CPU system time (s): 0.52492
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 1321540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.52492
maximum resident set size= 1086716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271740
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= 409
involuntary context switches= 2104

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42633 second user time and 7.10092 second system time

The end

Begin job on node141 at 2016-06-16 00:32:45
IDJOB=4089610
IDBENCH=107431
IDSOLVER=2542
FILE ID=node141/4089610-1466029965
RUNJOBID= node141-1466008015-5971
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= d00c65b7f30004d4a3e3c25f30ad980e
RANDOM SEED=704395182

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30438380 kB
Buffers:           37420 kB
Cached:            78260 kB
SwapCached:        13092 kB
Active:          1140108 kB
Inactive:          64500 kB
Active(anon):    1079108 kB
Inactive(anon):    12040 kB
Active(file):      61000 kB
Inactive(file):    52460 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088068 kB
Dirty:             16336 kB
Writeback:             4 kB
AnonPages:       1689440 kB
Mapped:            10380 kB
Shmem:                 0 kB
Slab:             567088 kB
SReclaimable:      10964 kB
SUnreclaim:       556124 kB
KernelStack:        1520 kB
PageTables:         7200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1749820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node141 at 2016-06-16 01:02:46