0.00/0.00	c 2016-06-06T20:48:29+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-4078595-1465238909.opb"]
0.00/0.01	c use --random-gen="1731552580 3660841467 1381159651 1547480710 3389361069 2754396544 1955269742 2199575407 596953850 3095664683 98169644 3043731714 2497080192 3737871040 4038129825 20032195 1195495819 2975189746 3113799458 1053636242 2553258245 2674713833 1926926356 2761910163 2572088092 2323175552 1863579447 403314232 1457234333 2954118140 2681625717 344870822 3011746334 4165459432 1642465396 307796731 2878156854 3365297821 2231919836 3986259754 883699176 3298345224 1560062218 2374298251 3321816476 2135442921 3493087379 2252042369 1497341176 3790697516 2108177509 3101960624 2524102851 177721929 159480157 2945061801 1782028377 4273769732 3995679345 1878267251 1076478447 4182825976 756588244 3861350015 3597311958 2925494851 1690278816 3563845548 2176020402 3062791570 3582614798 2490239351 1178800464 2682734653 1490052248 1560347883 780398140 1883530813 2334900535 788653040 2129202249 2203937601 3051490428 2679307357 228171941 895825464 2716273927 1485736590 2538851038 380792925 2377278956 2523056567 141698930 3315930404 3117204486 3076981548 1718194952 1993871760 248461869 963189423 2373100431 4133218429 2209027956 2614569364 670542969 42519427 3699448414 3345970015 2820397237 1056752663 3493564418 260316619 292207230 1932627527 3792722215 1163806063 2035404987 2624420641 2615938293 503800423 585700055 2498848520 1013308985 2223298365 524941039 943967660 1148426827 1760421755 428473349 2399525489 1873645147 3128417856 1592647625 4126892269 2525884146 3114071947 4264983034 2866926130 4108533557 37545538 588594216 386472728 1999683759 4078779466 1929859687 4235524970 1360150516 1396886062 751354128 3789651284 4139827538 2173835139 2144448742 2134992387 1487008412 4098394469 723294023 3270727598 2612624012 2630993639 3510606231 896426340 4050479284 2282724833 3575446498 61357215 2436624357 436719526 17680727 1593964775 3267412798 4141733498 3668119913 3526641739 1963839398 2862921635 3135267801 3830997222 284450505 4159564029 2524622123 3905713846 1697200754 904425336 198081183 123629070 1727555029 536397926 549087566 105062104 736625422 3632707912 2799580673 1104556022 771917207 3435137895 1723576553 1001586906 2525741221 3270261673 3168677426 3022765749 3438059477 2832040895 802793956 3243830583 4008360943 3976828473 2392102128 3531056641 1448120944 3521675113 432148356 2638983748 1929104425 3940594584 2484011001 3986812062 432939132 3158402182 750430143 3255686646 577151337 3334141593 1321316427 3807458826 2416638928 2029359328 2483221866 144721063 1959746546 949923668 3174841411 1330362370 3247836725 157984066 1713010269 354301736 712338356 2801454713 3451776486 1978634702 3959467229 3250956424 2405265849 395463974 631630185 3480425348 2223201561 520361614 1777406925 2172247002 3998195634 3459392918 4095485094 3164599774 255 362436" option to reproduce the execution
0.00/0.01	c #vars 86
0.00/0.01	c #constraints 2
62.78/62.80	c Solving starts ...
62.78/62.80	c ============================[ Search Statistics ]============================
62.78/62.80	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
62.78/62.80	c       |         |          |          |    Limit     GC | Var      | Constra 
62.78/62.80	c =============================================================================
62.78/62.81	c  0.0s |       0 |        0 |        0 |       29      0 |        0 |        0
62.78/62.82	c  0.0s |       1 |      115 |      100 |       29      0 |        0 |        0
62.78/62.84	c  0.0s |       2 |      274 |      250 |       32      4 |        0 |        0
62.78/62.88	c  0.1s |       3 |      509 |      475 |       36      8 |        0 |        0
62.88/62.93	c  0.1s |       4 |      858 |      813 |       40     15 |        0 |        0
62.97/63.06	c  0.3s |       5 |     1370 |     1320 |       44     24 |        0 |        0
63.07/63.16	c  0.4s |       6 |     2146 |     2081 |       54     38 |        0 |        0
63.27/63.33	c  0.5s |       7 |     3307 |     3223 |       60     58 |        0 |        0
63.47/63.57	c  0.8s |       8 |     5044 |     4936 |       66     86 |        0 |        0
63.89/63.91	c  1.1s |       9 |     7635 |     7506 |       73    125 |        0 |        0
64.38/64.46	c  1.7s |      10 |    11502 |    11361 |       81    181 |        0 |        0
65.18/65.29	c  2.5s |      11 |    17298 |    17144 |       90    262 |        0 |        0
66.48/66.52	c  3.7s |      12 |    25990 |    25819 |      100    378 |        0 |        0
68.38/68.44	c  5.6s |      13 |    39016 |    38832 |      111    540 |        0 |        0
70.38/70.44	c  7.6s |      13 |    52728 |    52532 |      111    700 |        0 |        0
71.18/71.27	c  8.5s |      14 |    58544 |    58352 |      123    769 |        0 |        0
73.17/73.27	c 10.5s |      14 |    72464 |    72252 |      123    919 |        0 |        0
75.17/75.27	c 12.5s |      14 |    86764 |    86552 |      123   1081 |        0 |        0
75.37/75.43	c 12.6s |      15 |    87843 |    87632 |      136   1092 |        0 |        0
77.37/77.44	c 14.6s |      15 |   100310 |   100032 |      136   1218 |        0 |        0
79.38/79.45	c 16.6s |      15 |   111927 |   111632 |      136   1336 |        0 |        0
81.37/81.47	c 18.7s |      15 |   123350 |   123032 |      136   1453 |        0 |        0
82.87/82.98	c 20.2s |      16 |   131880 |   131552 |      150   1541 |        0 |        0
84.88/84.99	c 22.2s |      16 |   144357 |   143952 |      150   1655 |        0 |        0
86.87/87.00	c 24.2s |      16 |   156366 |   155952 |      150   1766 |        0 |        0
88.97/89.01	c 26.2s |      16 |   168172 |   167752 |      150   1877 |        0 |        0
90.97/91.03	c 28.2s |      16 |   180283 |   179852 |      150   1989 |        0 |        0
92.97/93.03	c 30.2s |      16 |   191989 |   191552 |      150   2099 |        0 |        0
93.97/94.05	c 31.2s |      17 |   197869 |   197432 |      165   2153 |        0 |        0
95.97/96.07	c 33.3s |      17 |   209929 |   209432 |      165   2258 |        0 |        0
97.98/98.07	c 35.3s |      17 |   221940 |   221432 |      165   2362 |        0 |        0
99.97/100.08	c 37.3s |      17 |   234144 |   233632 |      165   2468 |        0 |        0
101.97/102.08	c 39.3s |      17 |   246449 |   245932 |      165   2575 |        0 |        0
103.97/104.09	c 41.3s |      17 |   258652 |   258132 |      165   2682 |        0 |        0
106.06/106.10	c 43.3s |      17 |   270855 |   270332 |      165   2788 |        0 |        0
108.06/108.11	c 45.3s |      17 |   283454 |   282932 |      165   2898 |        0 |        0
110.07/110.12	c 47.3s |      17 |   295860 |   295332 |      182   3006 |        0 |        0
110.17/110.27	c 47.5s |      18 |   296783 |   296252 |      182   3013 |        0 |        0
112.16/112.27	c 49.5s |      18 |   308312 |   307752 |      182   3106 |        0 |        0
114.16/114.27	c 51.5s |      18 |   319716 |   319152 |      182   3198 |        0 |        0
116.16/116.28	c 53.5s |      18 |   331014 |   330452 |      182   3290 |        0 |        0
118.16/118.28	c 55.5s |      18 |   342316 |   341752 |      182   3382 |        0 |        0
120.16/120.29	c 57.5s |      18 |   353516 |   352952 |      182   3474 |        0 |        0
122.27/122.31	c 59.5s |      18 |   364717 |   364152 |      182   3565 |        0 |        0
124.26/124.32	c 61.5s |      18 |   375717 |   375152 |      182   3656 |        0 |        0
126.27/126.32	c 63.5s |      18 |   386723 |   386152 |      182   3747 |        0 |        0
128.27/128.33	c 65.5s |      18 |   397826 |   397252 |      182   3839 |        0 |        0
130.27/130.34	c 67.5s |      18 |   408929 |   408352 |      182   3932 |        0 |        0
132.27/132.35	c 69.5s |      18 |   419932 |   419352 |      182   4024 |        0 |        0
134.27/134.35	c 71.5s |      18 |   430832 |   430252 |      182   4115 |        0 |        0
136.27/136.37	c 73.6s |      18 |   441833 |   441252 |      182   4206 |        0 |        0
136.87/136.96	c 74.2s |      19 |   445067 |   444482 |      201   4231 |        0 |        0
138.87/138.96	c 76.2s |      19 |   455792 |   455182 |      201   4313 |        0 |        0
140.87/140.98	c 78.2s |      19 |   466796 |   466182 |      201   4399 |        0 |        0
142.87/142.99	c 80.2s |      19 |   477797 |   477182 |      201   4484 |        0 |        0
144.97/145.01	c 82.2s |      19 |   488800 |   488182 |      201   4569 |        0 |        0
146.96/147.02	c 84.2s |      19 |   500003 |   499382 |      201   4657 |        0 |        0
148.96/149.03	c 86.2s |      19 |   511111 |   510482 |      201   4745 |        0 |        0
150.96/151.05	c 88.2s |      19 |   522120 |   521482 |      201   4832 |        0 |        0
152.97/153.06	c 90.3s |      19 |   533022 |   532382 |      201   4915 |        0 |        0
154.96/155.07	c 92.3s |      19 |   544119 |   543482 |      201   5001 |        0 |        0
156.96/157.09	c 94.3s |      19 |   555423 |   554782 |      201   5090 |        0 |        0
159.06/159.10	c 96.3s |      19 |   566728 |   566082 |      201   5179 |        0 |        0
161.06/161.11	c 98.3s |      19 |   577929 |   577282 |      201   5268 |        0 |        0
163.06/163.12	c  100s |      19 |   588839 |   588182 |      201   5352 |        0 |        0
165.07/165.13	c  102s |      19 |   599840 |   599182 |      201   5437 |        0 |        0
167.06/167.14	c  104s |      19 |   610952 |   610282 |      201   5524 |        0 |        0
169.06/169.15	c  106s |      19 |   622251 |   621582 |      201   5612 |        0 |        0
171.06/171.15	c  108s |      19 |   633652 |   632982 |      201   5701 |        0 |        0
173.06/173.17	c  110s |      19 |   644958 |   644282 |      201   5790 |        0 |        0
175.07/175.17	c  112s |      19 |   656364 |   655682 |      201   5881 |        0 |        0
176.96/177.09	c  114s |      20 |   667519 |   666827 |      222   5967 |        0 |        0
178.96/179.10	c  116s |      20 |   678232 |   677527 |      222   6042 |        0 |        0
180.96/181.10	c  118s |      20 |   689241 |   688527 |      222   6121 |        0 |        0
183.06/183.10	c  120s |      20 |   700339 |   699627 |      222   6201 |        0 |        0
185.06/185.11	c  122s |      20 |   711651 |   710927 |      222   6282 |        0 |        0
187.06/187.13	c  124s |      20 |   723146 |   722427 |      222   6367 |        0 |        0
189.06/189.15	c  126s |      20 |   734251 |   733527 |      222   6446 |        0 |        0
191.06/191.15	c  128s |      20 |   745450 |   744727 |      222   6526 |        0 |        0
193.05/193.17	c  130s |      20 |   756957 |   756227 |      222   6611 |        0 |        0
195.05/195.17	c  132s |      20 |   767958 |   767227 |      222   6689 |        0 |        0
197.06/197.18	c  134s |      20 |   779062 |   778327 |      222   6769 |        0 |        0
199.05/199.20	c  136s |      20 |   790268 |   789527 |      222   6850 |        0 |        0
201.15/201.20	c  138s |      20 |   801567 |   800827 |      222   6932 |        0 |        0
203.15/203.22	c  140s |      20 |   812778 |   812027 |      222   7014 |        0 |        0
205.15/205.23	c  142s |      20 |   823984 |   823227 |      222   7096 |        0 |        0
207.15/207.24	c  144s |      20 |   835286 |   834527 |      222   7178 |        0 |        0
209.16/209.26	c  146s |      20 |   846891 |   846127 |      222   7263 |        0 |        0
211.15/211.26	c  148s |      20 |   858192 |   857427 |      222   7346 |        0 |        0
213.15/213.28	c  150s |      20 |   869605 |   868827 |      222   7430 |        0 |        0
215.25/215.30	c  152s |      20 |   881211 |   880427 |      222   7516 |        0 |        0
217.25/217.30	c  154s |      20 |   892822 |   892027 |      222   7602 |        0 |        0
219.25/219.32	c  156s |      20 |   904327 |   903527 |      222   7686 |        0 |        0
221.26/221.33	c  158s |      20 |   915932 |   915127 |      222   7773 |        0 |        0
223.25/223.34	c  160s |      20 |   927732 |   926927 |      222   7863 |        0 |        0
225.25/225.34	c  162s |      20 |   939144 |   938327 |      222   7947 |        0 |        0
227.25/227.36	c  164s |      20 |   950238 |   949427 |      222   8027 |        0 |        0
229.25/229.37	c  166s |      20 |   961539 |   960727 |      222   8108 |        0 |        0
231.25/231.38	c  168s |      20 |   972838 |   972027 |      222   8189 |        0 |        0
233.26/233.39	c  170s |      20 |   984148 |   983327 |      222   8271 |        0 |        0
235.35/235.41	c  172s |      20 |   995451 |   994627 |      245   8353 |        0 |        0
236.35/236.44	c  173s |      21 |  1001170 |  1000345 |      245   8391 |        0 |        0
238.35/238.44	c  175s |      21 |  1011785 |  1010945 |      245   8461 |        0 |        0
240.35/240.44	c  177s |      21 |  1022788 |  1021945 |      245   8533 |        0 |        0
242.35/242.45	c  179s |      21 |  1033888 |  1033045 |      245   8607 |        0 |        0
244.35/244.46	c  181s |      21 |  1044891 |  1044045 |      245   8680 |        0 |        0
246.35/246.47	c  183s |      21 |  1056001 |  1055145 |      245   8754 |        0 |        0
248.35/248.48	c  185s |      21 |  1067004 |  1066145 |      245   8827 |        0 |        0
250.45/250.50	c  187s |      21 |  1078208 |  1077345 |      245   8902 |        0 |        0
252.44/252.51	c  189s |      21 |  1089506 |  1088645 |      245   8978 |        0 |        0
254.44/254.52	c  191s |      21 |  1100811 |  1099945 |      245   9054 |        0 |        0
256.45/256.54	c  193s |      21 |  1112413 |  1111545 |      245   9133 |        0 |        0
258.44/258.54	c  195s |      21 |  1124012 |  1123145 |      245   9212 |        0 |        0
260.44/260.54	c  197s |      21 |  1135038 |  1134145 |      245   9285 |        0 |        0
262.44/262.55	c  199s |      21 |  1145339 |  1144445 |      245   9353 |        0 |        0
264.44/264.56	c  201s |      21 |  1155541 |  1154645 |      245   9421 |        0 |        0
266.44/266.58	c  203s |      21 |  1165655 |  1164745 |      245   9489 |        0 |        0
268.45/268.59	c  205s |      21 |  1175746 |  1174845 |      245   9556 |        0 |        0
270.54/270.60	c  207s |      21 |  1185752 |  1184845 |      245   9623 |        0 |        0
272.54/272.62	c  209s |      21 |  1195854 |  1194945 |      245   9691 |        0 |        0
274.54/274.64	c  211s |      21 |  1205952 |  1205045 |      245   9760 |        0 |        0
276.54/276.65	c  213s |      21 |  1215958 |  1215045 |      245   9827 |        0 |        0
278.54/278.65	c  215s |      21 |  1225764 |  1224845 |      245   9892 |        0 |        0
280.54/280.67	c  217s |      21 |  1235669 |  1234745 |      245   9958 |        0 |        0
282.54/282.67	c  219s |      21 |  1245463 |  1244545 |      245  10023 |        0 |        0
284.54/284.68	c  221s |      21 |  1255367 |  1254445 |      245  10090 |        0 |        0
286.54/286.69	c  223s |      21 |  1265373 |  1264445 |      245  10158 |        0 |        0
288.64/288.70	c  225s |      21 |  1275373 |  1274445 |      245  10227 |        0 |        0
290.64/290.72	c  227s |      21 |  1285389 |  1284445 |      245  10293 |        0 |        0
292.64/292.73	c  229s |      21 |  1295190 |  1294245 |      245  10358 |        0 |        0
294.63/294.75	c  231s |      21 |  1304896 |  1303945 |      245  10423 |        0 |        0
296.63/296.76	c  233s |      21 |  1314697 |  1313745 |      245  10489 |        0 |        0
298.63/298.76	c  235s |      21 |  1324606 |  1323645 |      245  10556 |        0 |        0
300.64/300.78	c  237s |      21 |  1334410 |  1333445 |      245  10623 |        0 |        0
302.65/302.79	c  239s |      21 |  1344313 |  1343345 |      245  10690 |        0 |        0
304.64/304.79	c  241s |      21 |  1354110 |  1353145 |      245  10756 |        0 |        0
306.74/306.81	c  244s |      21 |  1363815 |  1362845 |      245  10822 |        0 |        0
308.74/308.82	c  246s |      21 |  1373612 |  1372645 |      245  10889 |        0 |        0
310.74/310.83	c  248s |      21 |  1383519 |  1382545 |      245  10958 |        0 |        0
312.74/312.85	c  250s |      21 |  1393425 |  1392445 |      245  11026 |        0 |        0
314.75/314.85	c  252s |      21 |  1403427 |  1402445 |      245  11096 |        0 |        0
316.74/316.85	c  254s |      21 |  1413042 |  1412045 |      245  11160 |        0 |        0
318.74/318.86	c  256s |      21 |  1422761 |  1421745 |      245  11225 |        0 |        0
320.74/320.88	c  258s |      21 |  1432573 |  1431545 |      245  11290 |        0 |        0
322.74/322.89	c  260s |      21 |  1442281 |  1441245 |      245  11356 |        0 |        0
324.84/324.90	c  262s |      21 |  1452287 |  1451245 |      245  11423 |        0 |        0
326.84/326.90	c  264s |      21 |  1461986 |  1460945 |      245  11486 |        0 |        0
328.84/328.91	c  266s |      21 |  1471798 |  1470745 |      245  11553 |        0 |        0
330.84/330.91	c  268s |      21 |  1481703 |  1480645 |      245  11620 |        0 |        0
332.83/332.93	c  270s |      21 |  1491714 |  1490645 |      270  11688 |        0 |        0
334.83/334.93	c  272s |      21 |  1501621 |  1500545 |      270  11750 |        0 |        0
334.83/334.95	c  272s |      22 |  1501698 |  1500622 |      270  11751 |        0 |        0
336.83/336.95	c  274s |      22 |  1511532 |  1510422 |      270  11809 |        0 |        0
338.84/338.97	c  276s |      22 |  1521345 |  1520222 |      270  11868 |        0 |        0
340.83/340.98	c  278s |      22 |  1531159 |  1530022 |      270  11927 |        0 |        0
342.83/342.98	c  280s |      22 |  1540970 |  1539822 |      270  11987 |        0 |        0
344.83/345.00	c  282s |      22 |  1550774 |  1549622 |      270  12046 |        0 |        0
346.83/347.00	c  284s |      22 |  1560670 |  1559522 |      270  12105 |        0 |        0
348.93/349.01	c  286s |      22 |  1570477 |  1569322 |      270  12164 |        0 |        0
350.93/351.03	c  288s |      22 |  1580291 |  1579122 |      270  12224 |        0 |        0
352.93/353.04	c  290s |      22 |  1590094 |  1588922 |      270  12284 |        0 |        0
354.93/355.05	c  292s |      22 |  1599900 |  1598722 |      270  12344 |        0 |        0
356.93/357.05	c  294s |      22 |  1609701 |  1608522 |      270  12403 |        0 |        0
358.93/359.07	c  296s |      22 |  1619505 |  1618322 |      270  12463 |        0 |        0
360.93/361.07	c  298s |      22 |  1629212 |  1628022 |      270  12522 |        0 |        0
362.93/363.08	c  300s |      22 |  1638812 |  1637622 |      270  12580 |        0 |        0
364.93/365.09	c  302s |      22 |  1648519 |  1647322 |      270  12640 |        0 |        0
367.03/367.11	c  304s |      22 |  1658123 |  1656922 |      270  12698 |        0 |        0
369.03/369.11	c  306s |      22 |  1667730 |  1666522 |      270  12756 |        0 |        0
371.03/371.11	c  308s |      22 |  1677332 |  1676122 |      270  12815 |        0 |        0
373.03/373.13	c  310s |      22 |  1686940 |  1685722 |      270  12873 |        0 |        0
375.03/375.13	c  312s |      22 |  1696549 |  1695322 |      270  12932 |        0 |        0
377.02/377.15	c  314s |      22 |  1706251 |  1705022 |      270  12991 |        0 |        0
379.02/379.17	c  316s |      22 |  1716056 |  1714822 |      270  13051 |        0 |        0
381.02/381.17	c  318s |      22 |  1725664 |  1724422 |      270  13110 |        0 |        0
383.02/383.18	c  320s |      22 |  1735263 |  1734022 |      270  13169 |        0 |        0
385.03/385.19	c  322s |      22 |  1744766 |  1743522 |      270  13226 |        0 |        0
387.02/387.19	c  324s |      22 |  1754369 |  1753122 |      270  13285 |        0 |        0
389.12/389.21	c  326s |      22 |  1763975 |  1762722 |      270  13344 |        0 |        0
391.12/391.21	c  328s |      22 |  1773580 |  1772322 |      270  13403 |        0 |        0
393.12/393.23	c  330s |      22 |  1783083 |  1781822 |      270  13461 |        0 |        0
395.12/395.24	c  332s |      22 |  1792586 |  1791322 |      270  13519 |        0 |        0
397.12/397.25	c  334s |      22 |  1802291 |  1801022 |      270  13578 |        0 |        0
399.12/399.27	c  336s |      22 |  1811993 |  1810722 |      270  13637 |        0 |        0
401.12/401.28	c  338s |      22 |  1821698 |  1820422 |      270  13697 |        0 |        0
403.12/403.29	c  340s |      22 |  1831403 |  1830122 |      270  13756 |        0 |        0
405.22/405.30	c  342s |      22 |  1841103 |  1839822 |      270  13816 |        0 |        0
407.22/407.31	c  344s |      22 |  1850816 |  1849522 |      270  13875 |        0 |        0
409.22/409.32	c  346s |      22 |  1860614 |  1859322 |      270  13936 |        0 |        0
411.22/411.32	c  348s |      22 |  1870618 |  1869322 |      270  13998 |        0 |        0
413.22/413.32	c  350s |      22 |  1880617 |  1879322 |      270  14060 |        0 |        0
415.22/415.34	c  352s |      22 |  1890621 |  1889322 |      270  14123 |        0 |        0
417.22/417.34	c  354s |      22 |  1900527 |  1899222 |      270  14185 |        0 |        0
419.23/419.36	c  356s |      22 |  1910635 |  1909322 |      270  14249 |        0 |        0
421.22/421.37	c  358s |      22 |  1920434 |  1919122 |      270  14308 |        0 |        0
423.22/423.38	c  360s |      22 |  1930337 |  1929022 |      270  14369 |        0 |        0
425.22/425.38	c  362s |      22 |  1940345 |  1939022 |      270  14431 |        0 |        0
427.32/427.40	c  364s |      22 |  1950143 |  1948822 |      270  14491 |        0 |        0
429.32/429.40	c  366s |      22 |  1959949 |  1958622 |      270  14551 |        0 |        0
431.33/431.42	c  368s |      22 |  1969945 |  1968622 |      270  14613 |        0 |        0
433.32/433.43	c  370s |      22 |  1979859 |  1978522 |      270  14674 |        0 |        0
435.32/435.44	c  372s |      22 |  1989553 |  1988222 |      270  14734 |        0 |        0
437.32/437.44	c  374s |      22 |  1999254 |  1997922 |      270  14793 |        0 |        0
439.32/439.45	c  376s |      22 |  2009154 |  2007822 |      270  14854 |        0 |        0
441.32/441.47	c  378s |      22 |  2018958 |  2017622 |      270  14915 |        0 |        0
443.32/443.48	c  380s |      22 |  2028856 |  2027522 |      270  14977 |        0 |        0
445.32/445.49	c  382s |      22 |  2038554 |  2037222 |      270  15037 |        0 |        0
447.32/447.49	c  384s |      22 |  2048459 |  2047122 |      270  15099 |        0 |        0
449.32/449.49	c  386s |      22 |  2058361 |  2057022 |      270  15161 |        0 |        0
451.42/451.50	c  388s |      22 |  2068365 |  2067022 |      270  15223 |        0 |        0
453.42/453.51	c  390s |      22 |  2078274 |  2076922 |      270  15285 |        0 |        0
455.42/455.53	c  392s |      22 |  2088176 |  2086822 |      270  15347 |        0 |        0
457.41/457.53	c  394s |      22 |  2097977 |  2096622 |      270  15409 |        0 |        0
459.41/459.54	c  396s |      22 |  2107989 |  2106622 |      270  15472 |        0 |        0
461.41/461.55	c  398s |      22 |  2118090 |  2116722 |      270  15537 |        0 |        0
463.41/463.57	c  400s |      22 |  2127998 |  2126622 |      270  15598 |        0 |        0
465.42/465.58	c  402s |      22 |  2137803 |  2136422 |      270  15659 |        0 |        0
467.41/467.60	c  404s |      22 |  2147706 |  2146322 |      270  15720 |        0 |        0
469.51/469.61	c  406s |      22 |  2157610 |  2156222 |      270  15783 |        0 |        0
471.51/471.62	c  408s |      22 |  2167614 |  2166222 |      270  15846 |        0 |        0
473.51/473.63	c  410s |      22 |  2177617 |  2176222 |      270  15908 |        0 |        0
475.51/475.64	c  412s |      22 |  2187618 |  2186222 |      270  15971 |        0 |        0
477.52/477.65	c  414s |      22 |  2197622 |  2196222 |      270  16035 |        0 |        0
479.51/479.66	c  416s |      22 |  2207629 |  2206222 |      270  16098 |        0 |        0
481.51/481.67	c  418s |      22 |  2217535 |  2216122 |      270  16161 |        0 |        0
483.51/483.67	c  420s |      22 |  2227333 |  2225922 |      270  16222 |        0 |        0
485.51/485.68	c  422s |      22 |  2237240 |  2235822 |      297  16284 |        0 |        0
487.51/487.69	c  424s |      22 |  2247139 |  2245722 |      297  16341 |        0 |        0
488.61/488.75	c  425s |      23 |  2252460 |  2251038 |      297  16372 |        0 |        0
490.61/490.76	c  427s |      23 |  2261788 |  2260338 |      297  16424 |        0 |        0
492.61/492.78	c  429s |      23 |  2271287 |  2269838 |      297  16477 |        0 |        0
494.60/494.79	c  431s |      23 |  2280707 |  2279238 |      297  16530 |        0 |        0
496.70/496.81	c  434s |      23 |  2290200 |  2288738 |      297  16583 |        0 |        0
498.70/498.83	c  436s |      23 |  2299705 |  2298238 |      297  16636 |        0 |        0
500.70/500.83	c  438s |      23 |  2309215 |  2307738 |      297  16689 |        0 |        0
502.71/502.83	c  440s |      23 |  2318614 |  2317138 |      297  16742 |        0 |        0
504.70/504.85	c  442s |      23 |  2328224 |  2326738 |      297  16796 |        0 |        0
506.70/506.85	c  444s |      23 |  2337835 |  2336338 |      297  16850 |        0 |        0
508.70/508.87	c  446s |      23 |  2347344 |  2345838 |      297  16904 |        0 |        0
510.70/510.88	c  448s |      23 |  2356947 |  2355438 |      297  16959 |        0 |        0
512.80/512.90	c  450s |      23 |  2366461 |  2364938 |      297  17013 |        0 |        0
514.81/514.91	c  452s |      23 |  2376064 |  2374538 |      297  17067 |        0 |        0
516.80/516.91	c  454s |      23 |  2385463 |  2383938 |      297  17120 |        0 |        0
518.80/518.92	c  456s |      23 |  2395076 |  2393538 |      297  17175 |        0 |        0
520.80/520.94	c  458s |      23 |  2404676 |  2403138 |      297  17228 |        0 |        0
522.80/522.95	c  460s |      23 |  2414180 |  2412638 |      297  17282 |        0 |        0
524.81/524.95	c  462s |      23 |  2423789 |  2422238 |      297  17336 |        0 |        0
526.80/526.95	c  464s |      23 |  2433291 |  2431738 |      297  17389 |        0 |        0
528.80/528.97	c  466s |      23 |  2442993 |  2441438 |      297  17444 |        0 |        0
530.81/530.98	c  468s |      23 |  2452606 |  2451038 |      297  17498 |        0 |        0
532.91/533.00	c  470s |      23 |  2462206 |  2460638 |      297  17552 |        0 |        0
534.91/535.01	c  472s |      23 |  2471711 |  2470138 |      297  17606 |        0 |        0
536.91/537.02	c  474s |      23 |  2481315 |  2479738 |      297  17660 |        0 |        0
538.91/539.04	c  476s |      23 |  2490915 |  2489338 |      297  17715 |        0 |        0
540.90/541.05	c  478s |      23 |  2500526 |  2498938 |      297  17769 |        0 |        0
542.90/543.06	c  480s |      23 |  2509928 |  2508338 |      297  17822 |        0 |        0
544.90/545.07	c  482s |      23 |  2519432 |  2517838 |      297  17875 |        0 |        0
546.90/547.07	c  484s |      23 |  2529047 |  2527438 |      297  17929 |        0 |        0
548.91/549.09	c  486s |      23 |  2538549 |  2536938 |      297  17984 |        0 |        0
551.00/551.10	c  488s |      23 |  2548151 |  2546538 |      297  18038 |        0 |        0
553.00/553.12	c  490s |      23 |  2557658 |  2556038 |      297  18091 |        0 |        0
555.00/555.12	c  492s |      23 |  2567264 |  2565638 |      297  18146 |        0 |        0
557.00/557.12	c  494s |      23 |  2576766 |  2575138 |      297  18200 |        0 |        0
559.00/559.14	c  496s |      23 |  2586369 |  2584738 |      297  18255 |        0 |        0
561.01/561.14	c  498s |      23 |  2595880 |  2594238 |      297  18308 |        0 |        0
563.00/563.15	c  500s |      23 |  2605480 |  2603838 |      297  18362 |        0 |        0
565.00/565.16	c  502s |      23 |  2614984 |  2613338 |      297  18416 |        0 |        0
567.00/567.16	c  504s |      23 |  2624395 |  2622738 |      297  18469 |        0 |        0
569.00/569.18	c  506s |      23 |  2634203 |  2632538 |      297  18524 |        0 |        0
571.10/571.20	c  508s |      23 |  2643898 |  2642238 |      297  18578 |        0 |        0
573.10/573.22	c  510s |      23 |  2653507 |  2651838 |      297  18633 |        0 |        0
575.10/575.23	c  512s |      23 |  2663005 |  2661338 |      297  18687 |        0 |        0
577.10/577.25	c  514s |      23 |  2672609 |  2670938 |      297  18742 |        0 |        0
579.10/579.27	c  516s |      23 |  2682315 |  2680638 |      297  18796 |        0 |        0
581.09/581.29	c  518s |      23 |  2692116 |  2690438 |      297  18850 |        0 |        0
583.10/583.29	c  520s |      23 |  2702116 |  2700438 |      297  18906 |        0 |        0
585.20/585.31	c  522s |      23 |  2712118 |  2710438 |      297  18963 |        0 |        0
587.19/587.31	c  524s |      23 |  2722029 |  2720338 |      297  19019 |        0 |        0
589.19/589.32	c  526s |      23 |  2731526 |  2729838 |      297  19071 |        0 |        0
591.19/591.33	c  528s |      23 |  2741131 |  2739438 |      297  19125 |        0 |        0
593.19/593.34	c  530s |      23 |  2750844 |  2749138 |      297  19180 |        0 |        0
595.20/595.34	c  532s |      23 |  2760542 |  2758838 |      297  19234 |        0 |        0
597.19/597.35	c  534s |      23 |  2770245 |  2768538 |      297  19289 |        0 |        0
599.19/599.37	c  536s |      23 |  2780047 |  2778338 |      297  19344 |        0 |        0
601.19/601.37	c  538s |      23 |  2789751 |  2788038 |      297  19399 |        0 |        0
603.19/603.38	c  540s |      23 |  2799564 |  2797838 |      297  19454 |        0 |        0
605.19/605.39	c  542s |      23 |  2809473 |  2807738 |      297  19510 |        0 |        0
607.19/607.40	c  544s |      23 |  2819176 |  2817438 |      297  19565 |        0 |        0
609.29/609.41	c  546s |      23 |  2828989 |  2827238 |      297  19621 |        0 |        0
611.29/611.41	c  548s |      23 |  2838694 |  2836938 |      297  19675 |        0 |        0
613.29/613.43	c  550s |      23 |  2848595 |  2846838 |      297  19731 |        0 |        0
615.29/615.44	c  552s |      23 |  2858195 |  2856438 |      297  19786 |        0 |        0
617.29/617.46	c  554s |      23 |  2868000 |  2866238 |      297  19841 |        0 |        0
619.29/619.46	c  556s |      23 |  2877507 |  2875738 |      297  19895 |        0 |        0
621.29/621.48	c  558s |      23 |  2887217 |  2885438 |      297  19951 |        0 |        0
623.29/623.48	c  560s |      23 |  2896915 |  2895138 |      297  20007 |        0 |        0
625.29/625.48	c  562s |      23 |  2906616 |  2904838 |      297  20061 |        0 |        0
627.39/627.50	c  564s |      23 |  2916220 |  2914438 |      297  20115 |        0 |        0
629.39/629.50	c  566s |      23 |  2925826 |  2924038 |      297  20169 |        0 |        0
631.40/631.52	c  568s |      23 |  2935628 |  2933838 |      297  20224 |        0 |        0
633.39/633.53	c  570s |      23 |  2945131 |  2943338 |      297  20278 |        0 |        0
635.39/635.54	c  572s |      23 |  2954837 |  2953038 |      297  20332 |        0 |        0
637.39/637.56	c  574s |      23 |  2964543 |  2962738 |      297  20388 |        0 |        0
639.39/639.57	c  576s |      23 |  2974244 |  2972438 |      297  20442 |        0 |        0
641.40/641.59	c  578s |      23 |  2984053 |  2982238 |      297  20497 |        0 |        0
643.39/643.60	c  580s |      23 |  2993750 |  2991938 |      297  20551 |        0 |        0
645.49/645.61	c  582s |      23 |  3003349 |  3001538 |      297  20605 |        0 |        0
647.49/647.62	c  584s |      23 |  3012954 |  3011138 |      297  20659 |        0 |        0
649.49/649.63	c  586s |      23 |  3022756 |  3020938 |      297  20714 |        0 |        0
651.49/651.64	c  588s |      23 |  3032460 |  3030638 |      297  20769 |        0 |        0
653.49/653.65	c  590s |      23 |  3042157 |  3040338 |      297  20823 |        0 |        0
655.49/655.67	c  592s |      23 |  3051863 |  3050038 |      297  20878 |        0 |        0
657.49/657.68	c  594s |      23 |  3061765 |  3059938 |      297  20934 |        0 |        0
659.59/659.70	c  596s |      23 |  3071572 |  3069738 |      297  20990 |        0 |        0
661.59/661.71	c  598s |      23 |  3081470 |  3079638 |      297  21046 |        0 |        0
663.59/663.72	c  600s |      23 |  3091482 |  3089638 |      297  21104 |        0 |        0
665.59/665.72	c  602s |      23 |  3101283 |  3099438 |      297  21160 |        0 |        0
667.58/667.72	c  604s |      23 |  3111186 |  3109338 |      297  21217 |        0 |        0
669.58/669.73	c  606s |      23 |  3120689 |  3118838 |      297  21270 |        0 |        0
671.58/671.75	c  608s |      23 |  3130198 |  3128338 |      297  21324 |        0 |        0
673.58/673.76	c  610s |      23 |  3139702 |  3137838 |      297  21378 |        0 |        0
675.58/675.76	c  612s |      23 |  3149201 |  3147338 |      297  21431 |        0 |        0
677.59/677.78	c  614s |      23 |  3158711 |  3156838 |      297  21485 |        0 |        0
679.58/679.79	c  616s |      23 |  3168411 |  3166538 |      297  21540 |        0 |        0
681.68/681.81	c  619s |      23 |  3178021 |  3176138 |      297  21595 |        0 |        0
683.68/683.81	c  621s |      23 |  3187527 |  3185638 |      297  21650 |        0 |        0
685.68/685.82	c  623s |      23 |  3197031 |  3195138 |      297  21704 |        0 |        0
687.68/687.84	c  625s |      23 |  3206753 |  3204838 |      297  21759 |        0 |        0
689.69/689.84	c  627s |      23 |  3216354 |  3214438 |      297  21814 |        0 |        0
691.68/691.85	c  629s |      23 |  3225960 |  3224038 |      297  21868 |        0 |        0
693.68/693.86	c  631s |      23 |  3235766 |  3233838 |      297  21925 |        0 |        0
695.68/695.87	c  633s |      23 |  3245378 |  3243438 |      297  21979 |        0 |        0
697.68/697.88	c  635s |      23 |  3255180 |  3253238 |      297  22035 |        0 |        0
699.68/699.89	c  637s |      23 |  3264784 |  3262838 |      297  22090 |        0 |        0
701.68/701.90	c  639s |      23 |  3274487 |  3272538 |      297  22146 |        0 |        0
703.78/703.91	c  641s |      23 |  3284293 |  3282338 |      297  22203 |        0 |        0
705.78/705.91	c  643s |      23 |  3294098 |  3292138 |      297  22259 |        0 |        0
707.78/707.92	c  645s |      23 |  3304004 |  3302038 |      297  22317 |        0 |        0
709.78/709.92	c  647s |      23 |  3314536 |  3312538 |      297  22378 |        0 |        0
711.78/711.92	c  649s |      23 |  3324833 |  3322838 |      297  22435 |        0 |        0
713.78/713.93	c  651s |      23 |  3334933 |  3332938 |      297  22492 |        0 |        0
715.78/715.93	c  653s |      23 |  3345033 |  3343038 |      297  22550 |        0 |        0
717.77/717.94	c  655s |      23 |  3354935 |  3352938 |      327  22605 |        0 |        0
719.77/719.95	c  657s |      23 |  3364937 |  3362938 |      327  22657 |        0 |        0
721.77/721.97	c  659s |      23 |  3374849 |  3372838 |      327  22709 |        0 |        0
722.57/722.74	c  659s |      24 |  3378668 |  3376662 |      327  22729 |        0 |        0
724.57/724.75	c  661s |      24 |  3388506 |  3386462 |      327  22780 |        0 |        0
726.57/726.76	c  663s |      24 |  3398310 |  3396262 |      327  22830 |        0 |        0
728.57/728.77	c  665s |      24 |  3407906 |  3405862 |      327  22879 |        0 |        0
730.57/730.78	c  667s |      24 |  3417610 |  3415562 |      327  22929 |        0 |        0
732.58/732.79	c  669s |      24 |  3427310 |  3425262 |      327  22979 |        0 |        0
734.67/734.80	c  671s |      24 |  3437017 |  3434962 |      327  23029 |        0 |        0
736.67/736.80	c  673s |      24 |  3446724 |  3444662 |      327  23078 |        0 |        0
738.67/738.82	c  676s |      24 |  3456426 |  3454362 |      327  23129 |        0 |        0
740.67/740.82	c  678s |      24 |  3466028 |  3463962 |      327  23179 |        0 |        0
742.67/742.83	c  680s |      24 |  3475633 |  3473562 |      327  23228 |        0 |        0
744.68/744.84	c  682s |      24 |  3485338 |  3483262 |      327  23279 |        0 |        0
746.67/746.85	c  684s |      24 |  3494937 |  3492862 |      327  23329 |        0 |        0
748.67/748.87	c  686s |      24 |  3504640 |  3502562 |      327  23379 |        0 |        0
750.67/750.88	c  688s |      24 |  3514339 |  3512262 |      327  23429 |        0 |        0
752.77/752.90	c  690s |      24 |  3524040 |  3521962 |      327  23479 |        0 |        0
754.77/754.90	c  692s |      24 |  3533643 |  3531562 |      327  23529 |        0 |        0
756.77/756.91	c  694s |      24 |  3543138 |  3541062 |      327  23579 |        0 |        0
758.77/758.91	c  696s |      24 |  3552741 |  3550662 |      327  23629 |        0 |        0
760.77/760.92	c  698s |      24 |  3562241 |  3560162 |      327  23678 |        0 |        0
762.76/762.94	c  700s |      24 |  3571850 |  3569762 |      327  23729 |        0 |        0
764.76/764.95	c  702s |      24 |  3581361 |  3579262 |      327  23777 |        0 |        0
766.77/766.97	c  704s |      24 |  3590766 |  3588662 |      327  23826 |        0 |        0
768.76/768.99	c  706s |      24 |  3600375 |  3598262 |      327  23875 |        0 |        0
770.86/771.00	c  708s |      24 |  3609883 |  3607762 |      327  23924 |        0 |        0
772.86/773.02	c  710s |      24 |  3619788 |  3617662 |      327  23975 |        0 |        0
774.86/775.03	c  712s |      24 |  3629691 |  3627562 |      327  24027 |        0 |        0
776.86/777.04	c  714s |      24 |  3640201 |  3638062 |      327  24081 |        0 |        0
778.87/779.06	c  716s |      24 |  3650905 |  3648762 |      327  24136 |        0 |        0
780.87/781.07	c  718s |      24 |  3661500 |  3659362 |      327  24190 |        0 |        0
782.87/783.08	c  720s |      24 |  3671808 |  3669662 |      327  24243 |        0 |        0
784.87/785.09	c  722s |      24 |  3681803 |  3679662 |      327  24295 |        0 |        0
786.97/787.10	c  724s |      24 |  3691701 |  3689562 |      327  24346 |        0 |        0
788.97/789.11	c  726s |      24 |  3701606 |  3699462 |      327  24397 |        0 |        0
790.97/791.12	c  728s |      24 |  3711411 |  3709262 |      327  24447 |        0 |        0
792.97/793.12	c  730s |      24 |  3721414 |  3719262 |      327  24499 |        0 |        0
794.97/795.13	c  732s |      24 |  3731226 |  3729062 |      327  24549 |        0 |        0
796.97/797.15	c  734s |      24 |  3741126 |  3738962 |      327  24600 |        0 |        0
798.96/799.17	c  736s |      24 |  3751139 |  3748962 |      327  24652 |        0 |        0
800.96/801.18	c  738s |      24 |  3761243 |  3759062 |      327  24705 |        0 |        0
802.97/803.18	c  740s |      24 |  3771142 |  3768962 |      327  24756 |        0 |        0
804.96/805.19	c  742s |      24 |  3781049 |  3778862 |      327  24807 |        0 |        0
807.06/807.20	c  744s |      24 |  3791253 |  3789062 |      327  24860 |        0 |        0
809.06/809.22	c  746s |      24 |  3801556 |  3799362 |      327  24914 |        0 |        0
811.06/811.23	c  748s |      24 |  3811564 |  3809362 |      327  24966 |        0 |        0
813.06/813.25	c  750s |      24 |  3821570 |  3819362 |      327  25018 |        0 |        0
815.07/815.26	c  752s |      24 |  3831478 |  3829262 |      327  25070 |        0 |        0
817.06/817.27	c  754s |      24 |  3841277 |  3839062 |      327  25122 |        0 |        0
819.06/819.28	c  756s |      24 |  3851088 |  3848862 |      327  25173 |        0 |        0
821.06/821.29	c  758s |      24 |  3860889 |  3858662 |      327  25224 |        0 |        0
823.16/823.30	c  760s |      24 |  3870693 |  3868462 |      327  25276 |        0 |        0
825.16/825.32	c  762s |      24 |  3880602 |  3878362 |      327  25327 |        0 |        0
827.16/827.34	c  764s |      24 |  3890402 |  3888162 |      327  25377 |        0 |        0
829.16/829.35	c  766s |      24 |  3900206 |  3897962 |      327  25428 |        0 |        0
831.16/831.35	c  768s |      24 |  3909810 |  3907562 |      327  25477 |        0 |        0
833.16/833.37	c  770s |      24 |  3919516 |  3917262 |      327  25528 |        0 |        0
835.16/835.38	c  772s |      24 |  3929120 |  3926862 |      327  25578 |        0 |        0
837.16/837.39	c  774s |      24 |  3938824 |  3936562 |      327  25628 |        0 |        0
839.15/839.40	c  776s |      24 |  3948630 |  3946362 |      327  25680 |        0 |        0
841.25/841.41	c  778s |      24 |  3958128 |  3955862 |      327  25729 |        0 |        0
843.25/843.42	c  780s |      24 |  3967834 |  3965562 |      327  25779 |        0 |        0
845.25/845.44	c  782s |      24 |  3977438 |  3975162 |      327  25830 |        0 |        0
847.25/847.46	c  784s |      24 |  3987042 |  3984762 |      327  25880 |        0 |        0
849.26/849.46	c  786s |      24 |  3996752 |  3994462 |      327  25930 |        0 |        0
851.25/851.47	c  788s |      24 |  4006346 |  4004062 |      327  25980 |        0 |        0
853.25/853.49	c  790s |      24 |  4016257 |  4013962 |      327  26031 |        0 |        0
855.35/855.50	c  792s |      24 |  4025962 |  4023662 |      327  26082 |        0 |        0
857.35/857.51	c  794s |      24 |  4035557 |  4033262 |      327  26132 |        0 |        0
859.35/859.53	c  796s |      24 |  4045365 |  4043062 |      327  26184 |        0 |        0
861.36/861.53	c  798s |      24 |  4055071 |  4052762 |      327  26235 |        0 |        0
863.35/863.53	c  800s |      24 |  4064988 |  4062662 |      327  26287 |        0 |        0
865.35/865.55	c  802s |      24 |  4074988 |  4072662 |      327  26339 |        0 |        0
867.35/867.56	c  804s |      24 |  4084789 |  4082462 |      327  26391 |        0 |        0
869.35/869.57	c  806s |      24 |  4094604 |  4092262 |      327  26442 |        0 |        0
871.35/871.57	c  808s |      24 |  4104414 |  4102062 |      327  26493 |        0 |        0
873.35/873.58	c  810s |      24 |  4114322 |  4111962 |      327  26545 |        0 |        0
875.35/875.58	c  812s |      24 |  4124025 |  4121662 |      327  26595 |        0 |        0
877.35/877.59	c  814s |      24 |  4133929 |  4131562 |      327  26647 |        0 |        0
879.45/879.60	c  816s |      24 |  4143934 |  4141562 |      327  26700 |        0 |        0
881.45/881.62	c  818s |      24 |  4153842 |  4151462 |      327  26752 |        0 |        0
883.45/883.62	c  820s |      24 |  4163642 |  4161262 |      327  26803 |        0 |        0
885.46/885.64	c  822s |      24 |  4173347 |  4170962 |      327  26854 |        0 |        0
887.45/887.65	c  824s |      24 |  4183055 |  4180662 |      327  26905 |        0 |        0
889.45/889.65	c  826s |      24 |  4192765 |  4190362 |      327  26955 |        0 |        0
891.45/891.66	c  828s |      24 |  4202477 |  4200062 |      327  27006 |        0 |        0
893.45/893.68	c  830s |      24 |  4212183 |  4209762 |      327  27057 |        0 |        0
895.46/895.69	c  832s |      24 |  4221891 |  4219462 |      327  27108 |        0 |        0
897.45/897.69	c  834s |      24 |  4231400 |  4228962 |      327  27158 |        0 |        0
899.45/899.69	c  836s |      24 |  4241107 |  4238662 |      327  27209 |        0 |        0
901.55/901.71	c  838s |      24 |  4251015 |  4248562 |      327  27262 |        0 |        0
903.55/903.72	c  840s |      24 |  4260713 |  4258262 |      327  27313 |        0 |        0
905.55/905.74	c  842s |      24 |  4270518 |  4268062 |      327  27364 |        0 |        0
907.56/907.76	c  844s |      24 |  4280221 |  4277762 |      327  27416 |        0 |        0
909.55/909.78	c  846s |      24 |  4289830 |  4287362 |      327  27466 |        0 |        0
911.55/911.79	c  848s |      24 |  4299538 |  4297062 |      327  27518 |        0 |        0
913.55/913.79	c  850s |      24 |  4309249 |  4306762 |      327  27569 |        0 |        0
915.65/915.80	c  852s |      24 |  4318962 |  4316462 |      327  27621 |        0 |        0
917.65/917.80	c  854s |      24 |  4328663 |  4326162 |      327  27671 |        0 |        0
919.65/919.81	c  857s |      24 |  4338273 |  4335762 |      327  27720 |        0 |        0
921.64/921.83	c  859s |      24 |  4347878 |  4345362 |      327  27770 |        0 |        0
923.64/923.84	c  861s |      24 |  4357481 |  4354962 |      327  27820 |        0 |        0
925.64/925.86	c  863s |      24 |  4366981 |  4364462 |      327  27869 |        0 |        0
927.64/927.86	c  865s |      24 |  4376584 |  4374062 |      327  27919 |        0 |        0
929.64/929.87	c  867s |      24 |  4386092 |  4383562 |      327  27968 |        0 |        0
931.65/931.89	c  869s |      24 |  4395887 |  4393362 |      327  28019 |        0 |        0
933.74/933.90	c  871s |      24 |  4405493 |  4402962 |      327  28068 |        0 |        0
935.74/935.91	c  873s |      24 |  4415200 |  4412662 |      327  28119 |        0 |        0
937.74/937.91	c  875s |      24 |  4425104 |  4422562 |      327  28170 |        0 |        0
939.74/939.92	c  877s |      24 |  4434806 |  4432262 |      327  28221 |        0 |        0
941.74/941.93	c  879s |      24 |  4444511 |  4441962 |      327  28271 |        0 |        0
943.75/943.95	c  881s |      24 |  4454211 |  4451662 |      327  28322 |        0 |        0
945.74/945.97	c  883s |      24 |  4463917 |  4461362 |      327  28372 |        0 |        0
947.74/947.97	c  885s |      24 |  4473716 |  4471162 |      327  28424 |        0 |        0
949.74/949.99	c  887s |      24 |  4483613 |  4481062 |      327  28476 |        0 |        0
951.84/952.00	c  889s |      24 |  4493419 |  4490862 |      327  28527 |        0 |        0
953.84/954.02	c  891s |      24 |  4503217 |  4500662 |      327  28577 |        0 |        0
955.85/956.03	c  893s |      24 |  4512819 |  4510262 |      327  28627 |        0 |        0
957.84/958.05	c  895s |      24 |  4522625 |  4520062 |      327  28677 |        0 |        0
959.84/960.05	c  897s |      24 |  4532225 |  4529662 |      327  28727 |        0 |        0
961.84/962.06	c  899s |      24 |  4541929 |  4539362 |      327  28778 |        0 |        0
963.84/964.07	c  901s |      24 |  4551827 |  4549262 |      327  28829 |        0 |        0
965.84/966.08	c  903s |      24 |  4561730 |  4559162 |      327  28881 |        0 |        0
967.84/968.09	c  905s |      24 |  4571628 |  4569062 |      327  28932 |        0 |        0
969.93/970.10	c  907s |      24 |  4581329 |  4578762 |      327  28983 |        0 |        0
971.93/972.12	c  909s |      24 |  4591131 |  4588562 |      327  29034 |        0 |        0
973.93/974.13	c  911s |      24 |  4601031 |  4598462 |      327  29085 |        0 |        0
975.93/976.15	c  913s |      24 |  4610934 |  4608362 |      327  29137 |        0 |        0
977.94/978.15	c  915s |      24 |  4620833 |  4618262 |      327  29188 |        0 |        0
979.93/980.17	c  917s |      24 |  4630731 |  4628162 |      327  29240 |        0 |        0
981.93/982.18	c  919s |      24 |  4640538 |  4637962 |      327  29291 |        0 |        0
984.03/984.20	c  921s |      24 |  4650341 |  4647762 |      327  29343 |        0 |        0
986.03/986.21	c  923s |      24 |  4660141 |  4657562 |      327  29394 |        0 |        0
988.03/988.22	c  925s |      24 |  4669938 |  4667362 |      327  29445 |        0 |        0
990.04/990.24	c  927s |      24 |  4680050 |  4677462 |      327  29498 |        0 |        0
992.03/992.26	c  929s |      24 |  4689857 |  4687262 |      327  29550 |        0 |        0
994.03/994.27	c  931s |      24 |  4699557 |  4696962 |      327  29601 |        0 |        0
996.03/996.28	c  933s |      24 |  4709360 |  4706762 |      327  29653 |        0 |        0
998.03/998.28	c  935s |      24 |  4719158 |  4716562 |      327  29704 |        0 |        0
1000.03/1000.28	c  937s |      24 |  4729161 |  4726562 |      327  29757 |        0 |        0
1002.13/1002.30	c  939s |      24 |  4739062 |  4736462 |      327  29810 |        0 |        0
1004.13/1004.32	c  941s |      24 |  4748860 |  4746262 |      327  29861 |        0 |        0
1006.13/1006.34	c  943s |      24 |  4758768 |  4756162 |      327  29914 |        0 |        0
1008.13/1008.35	c  945s |      24 |  4768670 |  4766062 |      327  29966 |        0 |        0
1010.13/1010.35	c  947s |      24 |  4778485 |  4775862 |      327  30018 |        0 |        0
1012.13/1012.37	c  949s |      24 |  4788387 |  4785762 |      327  30070 |        0 |        0
1014.13/1014.38	c  951s |      24 |  4798096 |  4795462 |      327  30121 |        0 |        0
1016.12/1016.39	c  953s |      24 |  4807802 |  4805162 |      327  30173 |        0 |        0
1018.22/1018.41	c  955s |      24 |  4817610 |  4814962 |      327  30225 |        0 |        0
1020.22/1020.42	c  957s |      24 |  4827414 |  4824762 |      327  30277 |        0 |        0
1022.22/1022.43	c  959s |      24 |  4837433 |  4834762 |      327  30330 |        0 |        0
1024.23/1024.45	c  961s |      24 |  4847154 |  4844462 |      327  30382 |        0 |        0
1026.24/1026.47	c  963s |      24 |  4857758 |  4855062 |      327  30436 |        0 |        0
1028.23/1028.48	c  965s |      24 |  4868457 |  4865762 |      327  30491 |        0 |        0
1030.33/1030.50	c  967s |      24 |  4879158 |  4876462 |      327  30545 |        0 |        0
1032.33/1032.51	c  969s |      24 |  4889661 |  4886962 |      327  30599 |        0 |        0
1034.33/1034.53	c  971s |      24 |  4899868 |  4897162 |      327  30651 |        0 |        0
1036.33/1036.54	c  973s |      24 |  4910167 |  4907462 |      327  30704 |        0 |        0
1038.34/1038.56	c  975s |      24 |  4920469 |  4917762 |      327  30757 |        0 |        0
1040.33/1040.56	c  977s |      24 |  4930671 |  4927962 |      327  30810 |        0 |        0
1042.33/1042.56	c  979s |      24 |  4940875 |  4938162 |      327  30862 |        0 |        0
1044.33/1044.56	c  981s |      24 |  4950873 |  4948162 |      327  30913 |        0 |        0
1046.33/1046.57	c  983s |      24 |  4960881 |  4958162 |      327  30964 |        0 |        0
1048.33/1048.58	c  985s |      24 |  4970881 |  4968162 |      327  31016 |        0 |        0
1050.33/1050.60	c  987s |      24 |  4980980 |  4978262 |      327  31068 |        0 |        0
1052.43/1052.60	c  989s |      24 |  4991290 |  4988562 |      327  31121 |        0 |        0
1054.43/1054.60	c  991s |      24 |  5001387 |  4998662 |      327  31173 |        0 |        0
1056.43/1056.61	c  993s |      24 |  5011590 |  5008862 |      327  31226 |        0 |        0
1058.43/1058.62	c  995s |      24 |  5021393 |  5018662 |      327  31276 |        0 |        0
1060.43/1060.62	c  997s |      24 |  5031199 |  5028462 |      327  31327 |        0 |        0
1062.42/1062.62	c  999s |      24 |  5040899 |  5038162 |      360  31373 |        0 |        0
1064.42/1064.64	c 1001s |      24 |  5050707 |  5047962 |      360  31420 |        0 |        0
1066.42/1066.65	c 1003s |      24 |  5060705 |  5057962 |      360  31467 |        0 |        0
1067.92/1068.10	c 1005s |      25 |  5067845 |  5065098 |      360  31502 |        0 |        0
1069.92/1070.10	c 1007s |      25 |  5077779 |  5074998 |      360  31548 |        0 |        0
1071.92/1072.12	c 1009s |      25 |  5087586 |  5084798 |      360  31594 |        0 |        0
1073.92/1074.14	c 1011s |      25 |  5097385 |  5094598 |      360  31640 |        0 |        0
1075.92/1076.16	c 1013s |      25 |  5107085 |  5104298 |      360  31685 |        0 |        0
1077.93/1078.16	c 1015s |      25 |  5116688 |  5113898 |      360  31731 |        0 |        0
1079.92/1080.18	c 1017s |      25 |  5126398 |  5123598 |      360  31776 |        0 |        0
1082.02/1082.20	c 1019s |      25 |  5136001 |  5133198 |      360  31822 |        0 |        0
1084.02/1084.20	c 1021s |      25 |  5145612 |  5142798 |      360  31867 |        0 |        0
1086.02/1086.20	c 1023s |      25 |  5155113 |  5152298 |      360  31912 |        0 |        0
1088.02/1088.20	c 1025s |      25 |  5164618 |  5161798 |      360  31957 |        0 |        0
1090.02/1090.20	c 1027s |      25 |  5173918 |  5171098 |      360  32001 |        0 |        0
1092.02/1092.22	c 1029s |      25 |  5183426 |  5180598 |      360  32046 |        0 |        0
1094.02/1094.24	c 1031s |      25 |  5192725 |  5189898 |      360  32091 |        0 |        0
1096.02/1096.25	c 1033s |      25 |  5202135 |  5199298 |      360  32136 |        0 |        0
1098.02/1098.27	c 1035s |      25 |  5211438 |  5208598 |      360  32179 |        0 |        0
1100.02/1100.28	c 1037s |      25 |  5220743 |  5217898 |      360  32223 |        0 |        0
1102.02/1102.28	c 1039s |      25 |  5229946 |  5227098 |      360  32267 |        0 |        0
1104.02/1104.29	c 1041s |      25 |  5239154 |  5236298 |      360  32311 |        0 |        0
1106.11/1106.30	c 1043s |      25 |  5248355 |  5245498 |      360  32354 |        0 |        0
1108.11/1108.31	c 1045s |      25 |  5257656 |  5254798 |      360  32399 |        0 |        0
1110.11/1110.33	c 1047s |      25 |  5266961 |  5264098 |      360  32443 |        0 |        0
1112.12/1112.33	c 1049s |      25 |  5276262 |  5273398 |      360  32488 |        0 |        0
1114.11/1114.35	c 1051s |      25 |  5285664 |  5282798 |      360  32533 |        0 |        0
1116.11/1116.37	c 1053s |      25 |  5295072 |  5292198 |      360  32578 |        0 |        0
1118.11/1118.38	c 1055s |      25 |  5304378 |  5301498 |      360  32622 |        0 |        0
1120.21/1120.40	c 1057s |      25 |  5313580 |  5310698 |      360  32665 |        0 |        0
1122.21/1122.41	c 1059s |      25 |  5322783 |  5319898 |      360  32709 |        0 |        0
1124.22/1124.43	c 1061s |      25 |  5331991 |  5329098 |      360  32753 |        0 |        0
1126.22/1126.45	c 1063s |      25 |  5341196 |  5338298 |      360  32797 |        0 |        0
1128.22/1128.45	c 1065s |      25 |  5350301 |  5347398 |      360  32841 |        0 |        0
1130.22/1130.47	c 1067s |      25 |  5359396 |  5356498 |      360  32884 |        0 |        0
1132.21/1132.49	c 1069s |      25 |  5368598 |  5365698 |      360  32928 |        0 |        0
1134.31/1134.51	c 1071s |      25 |  5377797 |  5374898 |      360  32972 |        0 |        0
1136.32/1136.52	c 1073s |      25 |  5387000 |  5384098 |      360  33016 |        0 |        0
1138.31/1138.53	c 1075s |      25 |  5396107 |  5393198 |      360  33059 |        0 |        0
1140.31/1140.55	c 1077s |      25 |  5405306 |  5402398 |      360  33103 |        0 |        0
1142.31/1142.56	c 1079s |      25 |  5414408 |  5411498 |      360  33146 |        0 |        0
1144.31/1144.56	c 1081s |      25 |  5423513 |  5420598 |      360  33189 |        0 |        0
1146.31/1146.58	c 1083s |      25 |  5432716 |  5429798 |      360  33233 |        0 |        0
1148.32/1148.59	c 1085s |      25 |  5441919 |  5438998 |      360  33277 |        0 |        0
1150.41/1150.60	c 1087s |      25 |  5451220 |  5448298 |      360  33321 |        0 |        0
1152.41/1152.62	c 1089s |      25 |  5460418 |  5457498 |      360  33365 |        0 |        0
1154.41/1154.63	c 1091s |      25 |  5469718 |  5466798 |      360  33410 |        0 |        0
1156.41/1156.64	c 1093s |      25 |  5479028 |  5476098 |      360  33455 |        0 |        0
1158.41/1158.64	c 1095s |      25 |  5488427 |  5485498 |      360  33500 |        0 |        0
1160.41/1160.65	c 1097s |      25 |  5497831 |  5494898 |      360  33545 |        0 |        0
1162.41/1162.67	c 1099s |      25 |  5507134 |  5504198 |      360  33590 |        0 |        0
1164.41/1164.67	c 1101s |      25 |  5516330 |  5513398 |      360  33634 |        0 |        0
1166.41/1166.67	c 1103s |      25 |  5525536 |  5522598 |      360  33677 |        0 |        0
1168.41/1168.68	c 1105s |      25 |  5534644 |  5531698 |      360  33720 |        0 |        0
1170.41/1170.68	c 1107s |      25 |  5543848 |  5540898 |      360  33764 |        0 |        0
1172.41/1172.69	c 1109s |      25 |  5553149 |  5550198 |      360  33808 |        0 |        0
1174.50/1174.70	c 1111s |      25 |  5562553 |  5559598 |      360  33854 |        0 |        0
1176.50/1176.71	c 1113s |      25 |  5571757 |  5568798 |      360  33898 |        0 |        0
1178.50/1178.71	c 1115s |      25 |  5580960 |  5577998 |      360  33942 |        0 |        0
1180.50/1180.71	c 1117s |      25 |  5590164 |  5587198 |      360  33986 |        0 |        0
1182.51/1182.72	c 1119s |      25 |  5599265 |  5596298 |      360  34029 |        0 |        0
1184.50/1184.74	c 1121s |      25 |  5608577 |  5605598 |      360  34074 |        0 |        0
1186.50/1186.75	c 1123s |      25 |  5617779 |  5614798 |      360  34118 |        0 |        0
1188.50/1188.75	c 1125s |      25 |  5626978 |  5623998 |      360  34162 |        0 |        0
1190.50/1190.76	c 1127s |      25 |  5636288 |  5633298 |      360  34207 |        0 |        0
1192.50/1192.78	c 1129s |      25 |  5645582 |  5642598 |      360  34252 |        0 |        0
1194.50/1194.78	c 1131s |      25 |  5654687 |  5651698 |      360  34296 |        0 |        0
1196.50/1196.79	c 1133s |      25 |  5663893 |  5660898 |      360  34340 |        0 |        0
1198.60/1198.80	c 1135s |      25 |  5673088 |  5670098 |      360  34384 |        0 |        0
1200.60/1200.81	c 1138s |      25 |  5682299 |  5679298 |      360  34428 |        0 |        0
1202.60/1202.83	c 1140s |      25 |  5691609 |  5688598 |      360  34473 |        0 |        0
1204.60/1204.84	c 1142s |      25 |  5701020 |  5697998 |      360  34519 |        0 |        0
1206.61/1206.85	c 1144s |      25 |  5710221 |  5707198 |      360  34563 |        0 |        0
1208.60/1208.87	c 1146s |      25 |  5719530 |  5716498 |      360  34608 |        0 |        0
1210.60/1210.88	c 1148s |      25 |  5728836 |  5725798 |      360  34653 |        0 |        0
1212.60/1212.89	c 1150s |      25 |  5738139 |  5735098 |      360  34697 |        0 |        0
1214.60/1214.89	c 1152s |      25 |  5747338 |  5744298 |      360  34741 |        0 |        0
1216.70/1216.90	c 1154s |      25 |  5756444 |  5753398 |      360  34785 |        0 |        0
1218.71/1218.91	c 1156s |      25 |  5765641 |  5762598 |      360  34829 |        0 |        0
1220.70/1220.92	c 1158s |      25 |  5774846 |  5771798 |      360  34873 |        0 |        0
1222.70/1222.93	c 1160s |      25 |  5784050 |  5780998 |      360  34917 |        0 |        0
1224.70/1224.93	c 1162s |      25 |  5793249 |  5790198 |      360  34962 |        0 |        0
1226.70/1226.95	c 1164s |      25 |  5802556 |  5799498 |      360  35007 |        0 |        0
1228.71/1228.95	c 1166s |      25 |  5811865 |  5808798 |      360  35052 |        0 |        0
1230.70/1230.95	c 1168s |      25 |  5821368 |  5818298 |      360  35098 |        0 |        0
1232.70/1232.96	c 1170s |      25 |  5830765 |  5827698 |      360  35144 |        0 |        0
1234.70/1234.97	c 1172s |      25 |  5839971 |  5836898 |      360  35188 |        0 |        0
1236.70/1236.98	c 1174s |      25 |  5849271 |  5846198 |      360  35232 |        0 |        0
1238.80/1239.00	c 1176s |      25 |  5858675 |  5855598 |      360  35277 |        0 |        0
1240.80/1241.00	c 1178s |      25 |  5867971 |  5864898 |      360  35322 |        0 |        0
1242.80/1243.01	c 1180s |      25 |  5877074 |  5873998 |      360  35365 |        0 |        0
1244.80/1245.02	c 1182s |      25 |  5885980 |  5882898 |      360  35407 |        0 |        0
1246.79/1247.02	c 1184s |      25 |  5894782 |  5891698 |      360  35449 |        0 |        0
1248.79/1249.02	c 1186s |      25 |  5903682 |  5900598 |      360  35491 |        0 |        0
1250.79/1251.02	c 1188s |      25 |  5912488 |  5909398 |      360  35533 |        0 |        0
1252.80/1253.02	c 1190s |      25 |  5921390 |  5918298 |      360  35576 |        0 |        0
1254.79/1255.03	c 1192s |      25 |  5930296 |  5927198 |      360  35619 |        0 |        0
1256.79/1257.04	c 1194s |      25 |  5939295 |  5936198 |      360  35661 |        0 |        0
1258.79/1259.04	c 1196s |      25 |  5948295 |  5945198 |      360  35704 |        0 |        0
1260.79/1261.05	c 1198s |      25 |  5957295 |  5954198 |      360  35747 |        0 |        0
1262.80/1263.06	c 1200s |      25 |  5966500 |  5963398 |      360  35792 |        0 |        0
1264.79/1265.06	c 1202s |      25 |  5975797 |  5972698 |      360  35836 |        0 |        0
1266.79/1267.07	c 1204s |      25 |  5984999 |  5981898 |      360  35881 |        0 |        0
1268.79/1269.07	c 1206s |      25 |  5994299 |  5991198 |      360  35926 |        0 |        0
1270.79/1271.09	c 1208s |      25 |  6003705 |  6000598 |      360  35971 |        0 |        0
1272.89/1273.10	c 1210s |      25 |  6013113 |  6009998 |      360  36016 |        0 |        0
1274.90/1275.11	c 1212s |      25 |  6022422 |  6019298 |      360  36060 |        0 |        0
1276.89/1277.12	c 1214s |      25 |  6031725 |  6028598 |      360  36105 |        0 |        0
1278.89/1279.13	c 1216s |      25 |  6041122 |  6037998 |      360  36149 |        0 |        0
1280.89/1281.15	c 1218s |      25 |  6050425 |  6047298 |      360  36194 |        0 |        0
1282.89/1283.15	c 1220s |      25 |  6059631 |  6056498 |      360  36239 |        0 |        0
1284.88/1285.16	c 1222s |      25 |  6068735 |  6065598 |      360  36282 |        0 |        0
1286.89/1287.17	c 1224s |      25 |  6077932 |  6074798 |      360  36326 |        0 |        0
1288.88/1289.18	c 1226s |      25 |  6087038 |  6083898 |      360  36370 |        0 |        0
1290.98/1291.20	c 1228s |      25 |  6096240 |  6093098 |      360  36415 |        0 |        0
1292.98/1293.21	c 1230s |      25 |  6105443 |  6102298 |      360  36460 |        0 |        0
1294.98/1295.21	c 1232s |      25 |  6114552 |  6111398 |      360  36503 |        0 |        0
1296.98/1297.23	c 1234s |      25 |  6123751 |  6120598 |      360  36548 |        0 |        0
1298.99/1299.24	c 1236s |      25 |  6133053 |  6129898 |      360  36592 |        0 |        0
1300.98/1301.25	c 1238s |      25 |  6142457 |  6139298 |      360  36637 |        0 |        0
1302.98/1303.27	c 1240s |      25 |  6151760 |  6148598 |      360  36683 |        0 |        0
1304.98/1305.29	c 1242s |      25 |  6161161 |  6157998 |      360  36729 |        0 |        0
1306.98/1307.29	c 1244s |      25 |  6170360 |  6167198 |      360  36773 |        0 |        0
1309.08/1309.30	c 1246s |      25 |  6179565 |  6176398 |      360  36817 |        0 |        0
1311.09/1311.31	c 1248s |      25 |  6188869 |  6185698 |      360  36862 |        0 |        0
1313.08/1313.32	c 1250s |      25 |  6197968 |  6194798 |      360  36905 |        0 |        0
1315.08/1315.32	c 1252s |      25 |  6207174 |  6203998 |      360  36949 |        0 |        0
1317.08/1317.32	c 1254s |      25 |  6216182 |  6212998 |      360  36992 |        0 |        0
1319.08/1319.34	c 1256s |      25 |  6225090 |  6221898 |      360  37034 |        0 |        0
1321.09/1321.34	c 1258s |      25 |  6233997 |  6230798 |      360  37077 |        0 |        0
1323.08/1323.35	c 1260s |      25 |  6243310 |  6240098 |      360  37121 |        0 |        0
1325.08/1325.36	c 1262s |      25 |  6252909 |  6249698 |      360  37167 |        0 |        0
1327.09/1327.36	c 1264s |      25 |  6261803 |  6258598 |      360  37209 |        0 |        0
1329.09/1329.38	c 1266s |      25 |  6270808 |  6267598 |      360  37253 |        0 |        0
1331.08/1331.40	c 1268s |      25 |  6279810 |  6276598 |      360  37296 |        0 |        0
1333.09/1333.40	c 1270s |      25 |  6288716 |  6285498 |      360  37338 |        0 |        0
1335.18/1335.42	c 1272s |      25 |  6297719 |  6294498 |      360  37382 |        0 |        0
1337.18/1337.44	c 1274s |      25 |  6306724 |  6303498 |      360  37425 |        0 |        0
1339.18/1339.45	c 1276s |      25 |  6315726 |  6312498 |      360  37468 |        0 |        0
1341.18/1341.46	c 1278s |      25 |  6324728 |  6321498 |      360  37511 |        0 |        0
1343.18/1343.48	c 1280s |      25 |  6333832 |  6330598 |      360  37555 |        0 |        0
1345.19/1345.50	c 1282s |      25 |  6342931 |  6339698 |      360  37599 |        0 |        0
1347.28/1347.51	c 1284s |      25 |  6352038 |  6348798 |      360  37643 |        0 |        0
1349.28/1349.53	c 1286s |      25 |  6361244 |  6357998 |      360  37687 |        0 |        0
1351.28/1351.55	c 1288s |      25 |  6370342 |  6367098 |      360  37731 |        0 |        0
1353.28/1353.56	c 1290s |      25 |  6379547 |  6376298 |      360  37776 |        0 |        0
1355.28/1355.57	c 1292s |      25 |  6388752 |  6385498 |      360  37821 |        0 |        0
1357.29/1357.58	c 1294s |      25 |  6398058 |  6394798 |      360  37866 |        0 |        0
1359.28/1359.59	c 1296s |      25 |  6407360 |  6404098 |      360  37911 |        0 |        0
1361.28/1361.59	c 1298s |      25 |  6416466 |  6413198 |      360  37955 |        0 |        0
1363.38/1363.60	c 1300s |      25 |  6425367 |  6422098 |      360  37997 |        0 |        0
1365.38/1365.62	c 1302s |      25 |  6434571 |  6431298 |      360  38041 |        0 |        0
1367.38/1367.63	c 1304s |      25 |  6443677 |  6440398 |      360  38085 |        0 |        0
1369.38/1369.64	c 1306s |      25 |  6452775 |  6449498 |      360  38129 |        0 |        0
1371.38/1371.65	c 1308s |      25 |  6461988 |  6458698 |      360  38173 |        0 |        0
1373.38/1373.67	c 1310s |      25 |  6471090 |  6467798 |      360  38217 |        0 |        0
1375.38/1375.68	c 1312s |      25 |  6480091 |  6476798 |      360  38261 |        0 |        0
1377.38/1377.68	c 1314s |      25 |  6489100 |  6485798 |      360  38305 |        0 |        0
1379.47/1379.70	c 1316s |      25 |  6498205 |  6494898 |      360  38348 |        0 |        0
1381.37/1381.70	c 1318s |      25 |  6507310 |  6503998 |      360  38392 |        0 |        0
1383.47/1383.71	c 1320s |      25 |  6516520 |  6513198 |      360  38437 |        0 |        0
1385.47/1385.71	c 1322s |      25 |  6525721 |  6522398 |      360  38481 |        0 |        0
1387.47/1387.71	c 1324s |      25 |  6534921 |  6531598 |      360  38526 |        0 |        0
1389.47/1389.73	c 1326s |      25 |  6544327 |  6540998 |      360  38572 |        0 |        0
1391.48/1391.75	c 1328s |      25 |  6553533 |  6550198 |      360  38617 |        0 |        0
1393.47/1393.76	c 1330s |      25 |  6562740 |  6559398 |      360  38661 |        0 |        0
1395.47/1395.77	c 1332s |      25 |  6571938 |  6568598 |      360  38706 |        0 |        0
1397.47/1397.77	c 1334s |      25 |  6581143 |  6577798 |      360  38750 |        0 |        0
1399.47/1399.79	c 1336s |      25 |  6590438 |  6587098 |      360  38796 |        0 |        0
1401.57/1401.80	c 1338s |      25 |  6599942 |  6596598 |      360  38842 |        0 |        0
1403.58/1403.80	c 1340s |      25 |  6609344 |  6605998 |      360  38888 |        0 |        0
1405.57/1405.82	c 1343s |      25 |  6618554 |  6615198 |      360  38933 |        0 |        0
1407.57/1407.83	c 1345s |      25 |  6627763 |  6624398 |      360  38978 |        0 |        0
1409.57/1409.83	c 1347s |      25 |  6636965 |  6633598 |      360  39023 |        0 |        0
1411.57/1411.84	c 1349s |      25 |  6646179 |  6642798 |      360  39068 |        0 |        0
1413.57/1413.86	c 1351s |      25 |  6655380 |  6651998 |      360  39113 |        0 |        0
1415.57/1415.86	c 1353s |      25 |  6664580 |  6661198 |      360  39159 |        0 |        0
1417.57/1417.88	c 1355s |      25 |  6673881 |  6670498 |      360  39204 |        0 |        0
1419.67/1419.90	c 1357s |      25 |  6683593 |  6680198 |      360  39251 |        0 |        0
1421.67/1421.91	c 1359s |      25 |  6693195 |  6689798 |      360  39297 |        0 |        0
1423.67/1423.92	c 1361s |      25 |  6702701 |  6699298 |      360  39343 |        0 |        0
1425.67/1425.93	c 1363s |      25 |  6712301 |  6708898 |      360  39390 |        0 |        0
1427.67/1427.95	c 1365s |      25 |  6721808 |  6718398 |      360  39436 |        0 |        0
1429.66/1429.95	c 1367s |      25 |  6731314 |  6727898 |      360  39482 |        0 |        0
1431.66/1431.97	c 1369s |      25 |  6740911 |  6737498 |      360  39529 |        0 |        0
1433.66/1433.98	c 1371s |      25 |  6750416 |  6746998 |      360  39575 |        0 |        0
1435.76/1436.00	c 1373s |      25 |  6759721 |  6756298 |      360  39620 |        0 |        0
1437.76/1438.02	c 1375s |      25 |  6769029 |  6765598 |      360  39665 |        0 |        0
1439.77/1440.04	c 1377s |      25 |  6778331 |  6774898 |      360  39711 |        0 |        0
1441.76/1442.04	c 1379s |      25 |  6787633 |  6784198 |      360  39757 |        0 |        0
1443.76/1444.06	c 1381s |      25 |  6796934 |  6793498 |      360  39802 |        0 |        0
1445.76/1446.07	c 1383s |      25 |  6806139 |  6802698 |      360  39847 |        0 |        0
1447.76/1448.08	c 1385s |      25 |  6815141 |  6811698 |      360  39891 |        0 |        0
1449.77/1450.08	c 1387s |      25 |  6824144 |  6820698 |      360  39934 |        0 |        0
1451.76/1452.10	c 1389s |      25 |  6833359 |  6829898 |      360  39980 |        0 |        0
1453.86/1454.11	c 1391s |      25 |  6842653 |  6839198 |      360  40025 |        0 |        0
1455.86/1456.12	c 1393s |      25 |  6852054 |  6848598 |      360  40071 |        0 |        0
1457.86/1458.12	c 1395s |      25 |  6861160 |  6857698 |      360  40116 |        0 |        0
1459.86/1460.13	c 1397s |      25 |  6870459 |  6866998 |      360  40161 |        0 |        0
1461.86/1462.14	c 1399s |      25 |  6879658 |  6876198 |      360  40206 |        0 |        0
1463.86/1464.16	c 1401s |      25 |  6888762 |  6885298 |      360  40251 |        0 |        0
1465.86/1466.18	c 1403s |      25 |  6897765 |  6894298 |      360  40294 |        0 |        0
1467.86/1468.19	c 1405s |      25 |  6906873 |  6903398 |      360  40339 |        0 |        0
1469.86/1470.20	c 1407s |      25 |  6915877 |  6912398 |      360  40383 |        0 |        0
1471.96/1472.21	c 1409s |      25 |  6924983 |  6921498 |      360  40427 |        0 |        0
1473.96/1474.22	c 1411s |      25 |  6934092 |  6930598 |      360  40472 |        0 |        0
1475.95/1476.24	c 1413s |      25 |  6943393 |  6939898 |      360  40518 |        0 |        0
1477.95/1478.26	c 1415s |      25 |  6952400 |  6948898 |      360  40562 |        0 |        0
1479.95/1480.27	c 1417s |      25 |  6961507 |  6957998 |      360  40607 |        0 |        0
1481.95/1482.29	c 1419s |      25 |  6970711 |  6967198 |      360  40652 |        0 |        0
1484.05/1484.31	c 1421s |      25 |  6979819 |  6976298 |      360  40697 |        0 |        0
1486.06/1486.33	c 1423s |      25 |  6989024 |  6985498 |      360  40742 |        0 |        0
1488.06/1488.34	c 1425s |      25 |  6998231 |  6994698 |      360  40788 |        0 |        0
1490.06/1490.36	c 1427s |      25 |  7007433 |  7003898 |      360  40833 |        0 |        0
1492.06/1492.36	c 1429s |      25 |  7016533 |  7012998 |      360  40878 |        0 |        0
1494.06/1494.37	c 1431s |      25 |  7025737 |  7022198 |      360  40924 |        0 |        0
1496.06/1496.37	c 1433s |      25 |  7034951 |  7031398 |      360  40969 |        0 |        0
1498.07/1498.39	c 1435s |      25 |  7043857 |  7040298 |      360  41011 |        0 |        0
1500.06/1500.39	c 1437s |      25 |  7052958 |  7049398 |      360  41055 |        0 |        0
1502.06/1502.40	c 1439s |      25 |  7062063 |  7058498 |      360  41098 |        0 |        0
1504.16/1504.41	c 1441s |      25 |  7071168 |  7067598 |      360  41141 |        0 |        0
1506.16/1506.41	c 1443s |      25 |  7080281 |  7076698 |      360  41185 |        0 |        0
1508.16/1508.42	c 1445s |      25 |  7089385 |  7085798 |      360  41228 |        0 |        0
1510.16/1510.43	c 1447s |      25 |  7098486 |  7094898 |      360  41272 |        0 |        0
1512.16/1512.44	c 1449s |      25 |  7107489 |  7103898 |      360  41314 |        0 |        0
1514.15/1514.46	c 1451s |      25 |  7116594 |  7112998 |      360  41358 |        0 |        0
1516.15/1516.47	c 1453s |      25 |  7125699 |  7122098 |      360  41401 |        0 |        0
1518.15/1518.49	c 1455s |      25 |  7134803 |  7131198 |      360  41445 |        0 |        0
1520.25/1520.51	c 1457s |      25 |  7144006 |  7140398 |      360  41489 |        0 |        0
1522.26/1522.52	c 1459s |      25 |  7153014 |  7149398 |      360  41532 |        0 |        0
1524.25/1524.52	c 1461s |      25 |  7162126 |  7158498 |      360  41576 |        0 |        0
1526.25/1526.52	c 1463s |      25 |  7171125 |  7167498 |      360  41620 |        0 |        0
1528.25/1528.53	c 1465s |      25 |  7180228 |  7176598 |      360  41664 |        0 |        0
1530.25/1530.54	c 1467s |      25 |  7189335 |  7185698 |      360  41708 |        0 |        0
1532.26/1532.54	c 1469s |      25 |  7198534 |  7194898 |      360  41753 |        0 |        0
1534.25/1534.56	c 1471s |      25 |  7207543 |  7203898 |      360  41796 |        0 |        0
1536.25/1536.56	c 1473s |      25 |  7216648 |  7212998 |      360  41840 |        0 |        0
1538.25/1538.57	c 1475s |      25 |  7225748 |  7222098 |      360  41884 |        0 |        0
1540.25/1540.58	c 1477s |      25 |  7234952 |  7231298 |      360  41928 |        0 |        0
1542.25/1542.59	c 1479s |      25 |  7244056 |  7240398 |      360  41972 |        0 |        0
1544.36/1544.61	c 1481s |      25 |  7253370 |  7249698 |      360  42017 |        0 |        0
1546.35/1546.62	c 1483s |      25 |  7262668 |  7258998 |      360  42062 |        0 |        0
1548.35/1548.64	c 1485s |      25 |  7271972 |  7268298 |      360  42107 |        0 |        0
1550.35/1550.64	c 1487s |      25 |  7281278 |  7277598 |      360  42153 |        0 |        0
1552.35/1552.65	c 1489s |      25 |  7290486 |  7286798 |      360  42197 |        0 |        0
1554.35/1554.66	c 1491s |      25 |  7299791 |  7296098 |      360  42242 |        0 |        0
1556.35/1556.67	c 1493s |      25 |  7309091 |  7305398 |      360  42287 |        0 |        0
1558.35/1558.69	c 1495s |      25 |  7318493 |  7314798 |      360  42333 |        0 |        0
1560.45/1560.70	c 1497s |      25 |  7327797 |  7324098 |      360  42378 |        0 |        0
1562.45/1562.72	c 1499s |      25 |  7337098 |  7333398 |      360  42423 |        0 |        0
1564.45/1564.73	c 1501s |      25 |  7346402 |  7342698 |      360  42468 |        0 |        0
1566.44/1566.74	c 1503s |      25 |  7355807 |  7352098 |      360  42513 |        0 |        0
1568.45/1568.75	c 1505s |      25 |  7365204 |  7361498 |      360  42559 |        0 |        0
1570.44/1570.76	c 1507s |      25 |  7374607 |  7370898 |      360  42605 |        0 |        0
1572.44/1572.76	c 1509s |      25 |  7383816 |  7380098 |      360  42651 |        0 |        0
1574.44/1574.78	c 1511s |      25 |  7392927 |  7389198 |      360  42695 |        0 |        0
1576.44/1576.79	c 1513s |      25 |  7402028 |  7398298 |      360  42740 |        0 |        0
1578.54/1578.80	c 1515s |      25 |  7411231 |  7407498 |      360  42785 |        0 |        0
1580.55/1580.82	c 1518s |      25 |  7420439 |  7416698 |      360  42829 |        0 |        0
1582.54/1582.83	c 1520s |      25 |  7429547 |  7425798 |      360  42873 |        0 |        0
1584.54/1584.85	c 1522s |      25 |  7438545 |  7434798 |      360  42916 |        0 |        0
1586.54/1586.86	c 1524s |      25 |  7447642 |  7443898 |      360  42960 |        0 |        0
1588.54/1588.87	c 1526s |      25 |  7456943 |  7453198 |      360  43004 |        0 |        0
1590.54/1590.89	c 1528s |      25 |  7466345 |  7462598 |      360  43049 |        0 |        0
1592.54/1592.90	c 1530s |      25 |  7475750 |  7471998 |      360  43095 |        0 |        0
1594.64/1594.91	c 1532s |      25 |  7485054 |  7481298 |      360  43139 |        0 |        0
1596.64/1596.93	c 1534s |      25 |  7494659 |  7490898 |      360  43186 |        0 |        0
1598.64/1598.93	c 1536s |      25 |  7503963 |  7500198 |      360  43230 |        0 |        0
1600.64/1600.94	c 1538s |      25 |  7513169 |  7509398 |      360  43275 |        0 |        0
1602.65/1602.94	c 1540s |      25 |  7522371 |  7518598 |      360  43319 |        0 |        0
1604.64/1604.95	c 1542s |      25 |  7531678 |  7527898 |      360  43364 |        0 |        0
1606.64/1606.96	c 1544s |      25 |  7540976 |  7537198 |      360  43409 |        0 |        0
1608.64/1608.96	c 1546s |      25 |  7550289 |  7546498 |      397  43453 |        0 |        0
1610.64/1610.97	c 1548s |      25 |  7559494 |  7555698 |      397  43494 |        0 |        0
1612.64/1612.98	c 1550s |      25 |  7568702 |  7564898 |      397  43534 |        0 |        0
1614.65/1615.00	c 1552s |      25 |  7577899 |  7574098 |      397  43575 |        0 |        0
1616.74/1617.02	c 1554s |      25 |  7587109 |  7583298 |      397  43615 |        0 |        0
1618.74/1619.03	c 1556s |      25 |  7596211 |  7592398 |      397  43655 |        0 |        0
1619.94/1620.21	c 1557s |      26 |  7601570 |  7597752 |      397  43679 |        0 |        0
1621.94/1622.22	c 1559s |      26 |  7610489 |  7606652 |      397  43718 |        0 |        0
1623.94/1624.23	c 1561s |      26 |  7619396 |  7615552 |      397  43757 |        0 |        0
1625.94/1626.25	c 1563s |      26 |  7628399 |  7624552 |      397  43797 |        0 |        0
1627.94/1628.26	c 1565s |      26 |  7637501 |  7633652 |      397  43837 |        0 |        0
1629.94/1630.27	c 1567s |      26 |  7646607 |  7642752 |      397  43877 |        0 |        0
1631.94/1632.28	c 1569s |      26 |  7655409 |  7651552 |      397  43916 |        0 |        0
1634.04/1634.30	c 1571s |      26 |  7664416 |  7660552 |      397  43955 |        0 |        0
1636.04/1636.31	c 1573s |      26 |  7673516 |  7669652 |      397  43995 |        0 |        0
1638.04/1638.33	c 1575s |      26 |  7682616 |  7678752 |      397  44035 |        0 |        0
1640.04/1640.34	c 1577s |      26 |  7691720 |  7687852 |      397  44075 |        0 |        0
1642.03/1642.34	c 1579s |      26 |  7700824 |  7696952 |      397  44115 |        0 |        0
1644.03/1644.36	c 1581s |      26 |  7709921 |  7706052 |      397  44155 |        0 |        0
1646.03/1646.37	c 1583s |      26 |  7719130 |  7715252 |      397  44195 |        0 |        0
1648.03/1648.38	c 1585s |      26 |  7728230 |  7724352 |      397  44236 |        0 |        0
1650.03/1650.38	c 1587s |      26 |  7737337 |  7733452 |      397  44276 |        0 |        0
1652.04/1652.39	c 1589s |      26 |  7746334 |  7742452 |      397  44316 |        0 |        0
1654.13/1654.40	c 1591s |      26 |  7755142 |  7751252 |      397  44354 |        0 |        0
1656.13/1656.40	c 1593s |      26 |  7763942 |  7760052 |      397  44393 |        0 |        0
1658.13/1658.42	c 1595s |      26 |  7772844 |  7768952 |      397  44433 |        0 |        0
1660.13/1660.43	c 1597s |      26 |  7781749 |  7777852 |      397  44472 |        0 |        0
1662.13/1662.44	c 1599s |      26 |  7790555 |  7786652 |      397  44511 |        0 |        0
1664.13/1664.46	c 1601s |      26 |  7799459 |  7795552 |      397  44551 |        0 |        0
1666.13/1666.46	c 1603s |      26 |  7808360 |  7804452 |      397  44590 |        0 |        0
1668.13/1668.46	c 1605s |      26 |  7817267 |  7813352 |      397  44630 |        0 |        0
1670.13/1670.47	c 1607s |      26 |  7826268 |  7822352 |      397  44669 |        0 |        0
1672.13/1672.47	c 1609s |      26 |  7835272 |  7831352 |      397  44710 |        0 |        0
1674.13/1674.49	c 1611s |      26 |  7844276 |  7840352 |      397  44750 |        0 |        0
1676.23/1676.51	c 1613s |      26 |  7853281 |  7849352 |      397  44790 |        0 |        0
1678.22/1678.52	c 1615s |      26 |  7862187 |  7858252 |      397  44829 |        0 |        0
1680.22/1680.52	c 1617s |      26 |  7871091 |  7867152 |      397  44869 |        0 |        0
1682.22/1682.53	c 1619s |      26 |  7880097 |  7876152 |      397  44909 |        0 |        0
1684.22/1684.54	c 1621s |      26 |  7889202 |  7885252 |      397  44949 |        0 |        0
1686.23/1686.54	c 1623s |      26 |  7898307 |  7894352 |      397  44990 |        0 |        0
1688.22/1688.54	c 1625s |      26 |  7907198 |  7903252 |      397  45029 |        0 |        0
1690.22/1690.54	c 1627s |      26 |  7916311 |  7912352 |      397  45069 |        0 |        0
1692.23/1692.55	c 1629s |      26 |  7925406 |  7921452 |      397  45109 |        0 |        0
1694.23/1694.57	c 1631s |      26 |  7934508 |  7930552 |      397  45149 |        0 |        0
1696.23/1696.57	c 1633s |      26 |  7943512 |  7939552 |      397  45188 |        0 |        0
1698.24/1698.57	c 1635s |      26 |  7952321 |  7948352 |      397  45227 |        0 |        0
1700.23/1700.59	c 1637s |      26 |  7961222 |  7957252 |      397  45266 |        0 |        0
1702.23/1702.59	c 1639s |      26 |  7970132 |  7966152 |      397  45305 |        0 |        0
1704.33/1704.61	c 1641s |      26 |  7979028 |  7975052 |      397  45344 |        0 |        0
1706.33/1706.61	c 1643s |      26 |  7988033 |  7984052 |      397  45384 |        0 |        0
1708.33/1708.63	c 1645s |      26 |  7997231 |  7993252 |      397  45424 |        0 |        0
1710.33/1710.63	c 1647s |      26 |  8006452 |  8002452 |      397  45465 |        0 |        0
1712.33/1712.64	c 1649s |      26 |  8015449 |  8011452 |      397  45505 |        0 |        0
1714.33/1714.66	c 1651s |      26 |  8024453 |  8020452 |      397  45544 |        0 |        0
1716.33/1716.67	c 1653s |      26 |  8033560 |  8029552 |      397  45584 |        0 |        0
1718.33/1718.67	c 1655s |      26 |  8042566 |  8038552 |      397  45624 |        0 |        0
1720.33/1720.67	c 1657s |      26 |  8051568 |  8047552 |      397  45664 |        0 |        0
1722.33/1722.68	c 1659s |      26 |  8060578 |  8056552 |      397  45703 |        0 |        0
1724.32/1724.68	c 1661s |      26 |  8069483 |  8065452 |      397  45743 |        0 |        0
1726.32/1726.69	c 1663s |      26 |  8078389 |  8074352 |      397  45782 |        0 |        0
1728.32/1728.69	c 1665s |      26 |  8087389 |  8083352 |      397  45821 |        0 |        0
1730.42/1730.71	c 1667s |      26 |  8096395 |  8092352 |      397  45861 |        0 |        0
1732.43/1732.71	c 1669s |      26 |  8105302 |  8101252 |      397  45900 |        0 |        0
1734.42/1734.73	c 1671s |      26 |  8114406 |  8110352 |      397  45941 |        0 |        0
1736.42/1736.75	c 1673s |      26 |  8123510 |  8119452 |      397  45981 |        0 |        0
1738.42/1738.75	c 1675s |      26 |  8132509 |  8128452 |      397  46021 |        0 |        0
1740.42/1740.75	c 1677s |      26 |  8141317 |  8137252 |      397  46060 |        0 |        0
1742.42/1742.77	c 1679s |      26 |  8150212 |  8146152 |      397  46099 |        0 |        0
1744.42/1744.79	c 1681s |      26 |  8159120 |  8155052 |      397  46138 |        0 |        0
1746.52/1746.80	c 1683s |      26 |  8167917 |  8163852 |      397  46177 |        0 |        0
1748.52/1748.81	c 1686s |      26 |  8176714 |  8172652 |      397  46216 |        0 |        0
1750.52/1750.83	c 1688s |      26 |  8185721 |  8181652 |      397  46256 |        0 |        0
1752.52/1752.84	c 1690s |      26 |  8194722 |  8190652 |      397  46296 |        0 |        0
1754.52/1754.85	c 1692s |      26 |  8203625 |  8199552 |      397  46335 |        0 |        0
1756.52/1756.86	c 1694s |      26 |  8212526 |  8208452 |      397  46375 |        0 |        0
1758.51/1758.87	c 1696s |      26 |  8221633 |  8217552 |      397  46415 |        0 |        0
1760.51/1760.88	c 1698s |      26 |  8230734 |  8226652 |      397  46456 |        0 |        0
1762.51/1762.88	c 1700s |      26 |  8239937 |  8235852 |      397  46496 |        0 |        0
1764.51/1764.89	c 1702s |      26 |  8249146 |  8245052 |      397  46537 |        0 |        0
1766.61/1766.91	c 1704s |      26 |  8258349 |  8254252 |      397  46579 |        0 |        0
1768.62/1768.92	c 1706s |      26 |  8267558 |  8263452 |      397  46620 |        0 |        0
1770.61/1770.94	c 1708s |      26 |  8276753 |  8272652 |      397  46660 |        0 |        0
1772.61/1772.97	c 1710s |      26 |  8286163 |  8282052 |      397  46702 |        0 |        0
1774.61/1774.97	c 1712s |      26 |  8295267 |  8291152 |      397  46742 |        0 |        0
1776.61/1776.99	c 1714s |      26 |  8304378 |  8300252 |      397  46782 |        0 |        0
1778.71/1779.01	c 1716s |      26 |  8313484 |  8309352 |      397  46822 |        0 |        0
1780.72/1781.02	c 1718s |      26 |  8322588 |  8318452 |      397  46863 |        0 |        0
1782.71/1783.02	c 1720s |      26 |  8331697 |  8327552 |      397  46904 |        0 |        0
1784.71/1785.04	c 1722s |      26 |  8340797 |  8336652 |      397  46944 |        0 |        0
1786.71/1787.06	c 1724s |      26 |  8349901 |  8345752 |      397  46985 |        0 |        0
1788.71/1789.07	c 1726s |      26 |  8358905 |  8354752 |      397  47025 |        0 |        0
1790.72/1791.08	c 1728s |      26 |  8368012 |  8363852 |      397  47065 |        0 |        0
1792.71/1793.08	c 1730s |      26 |  8377125 |  8372952 |      397  47107 |        0 |        0
1794.81/1795.10	c 1732s |      26 |  8386130 |  8381952 |      397  47146 |        0 |        0
1796.81/1797.11	c 1734s |      26 |  8395329 |  8391152 |      397  47187 |        0 |        0
1798.81/1799.12	c 1736s |      26 |  8404434 |  8400252 |      397  47228 |        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-4078595-1465238909/watcher-4078595-1465238909 -o /tmp/evaluation-result-4078595-1465238909/solver-4078595-1465238909 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32470 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078595-1465238909.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.37 2.25 2.19 3/179 2126
/proc/meminfo: memFree=29299544/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=689596 CPUtime=0 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 2564 0 0 0 0 0 0 0 20 0 4 0 105824475 706146304 2926 33554432000 4194304 16246674 140737306297440 140737306296864 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 172911 2935 441 2943 0 169805 0
[pid=2126/tid=2127] ppid=2123 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 751235072 3101 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=738748 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 756477952 3121 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=743868 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105824475 761720832 3139 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100205 s]
/proc/loadavg: 2.37 2.25 2.19 3/179 2126
/proc/meminfo: memFree=29299544/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 27941 0 0 0 6 3 0 0 20 0 4 0 105824475 1247350784 28293 33554432000 4194304 16246674 140737306297440 140737306296864 12449273 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 304529 28306 601 2943 0 301423 0
[pid=2126/tid=2127] ppid=2123 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 1247350784 28315 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 1247350784 28324 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105824475 1247350784 28333 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200509 s]
/proc/loadavg: 2.37 2.25 2.19 3/179 2126
/proc/meminfo: memFree=29299544/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 51985 0 0 0 12 7 0 0 20 0 4 0 105824475 1247350784 52337 33554432000 4194304 16246674 140737306297440 140737306296864 12653060 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 304529 52346 601 2943 0 301423 0
[pid=2126/tid=2127] ppid=2123 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 1247350784 52351 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 1247350784 52357 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105824475 1247350784 52363 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300483 s]
/proc/loadavg: 2.37 2.25 2.19 3/179 2126
/proc/meminfo: memFree=29299544/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 76588 0 0 0 19 10 0 0 20 0 4 0 105824475 1247350784 76940 33554432000 4194304 16246674 140737306297440 140737306296864 12654121 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 304529 76955 601 2943 0 301423 0
[pid=2126/tid=2127] ppid=2123 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 1247350784 76964 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 1247350784 76972 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105824475 1247350784 76981 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700404 s]
/proc/loadavg: 2.37 2.25 2.19 3/179 2126
/proc/meminfo: memFree=29299544/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 164320 0 0 0 48 21 0 0 20 0 4 0 105824475 1247350784 164672 33554432000 4194304 16246674 140737306297440 140737306296864 12654533 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 304529 164687 601 2943 0 301423 0
[pid=2126/tid=2127] ppid=2123 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 1247350784 164695 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 1247350784 164704 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105824475 1247350784 164714 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.37 2.25 2.19 3/183 2130
/proc/meminfo: memFree=28299016/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=1368644 CPUtime=1.49 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 283163 0 0 0 114 35 0 0 20 0 4 0 105824475 1401491456 283471 33554432000 4194304 16246674 140737306297440 140737306296752 12653083 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 342161 283471 821 2943 0 339055 0
[pid=2126/tid=2127] ppid=2123 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 1401491456 283471 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 1401491456 283471 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105824475 1401491456 283471 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1368644

[startup+3.1004 s]
/proc/loadavg: 2.34 2.25 2.19 3/183 2130
/proc/meminfo: memFree=28165964/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=1368644 CPUtime=3.09 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 283258 0 0 0 274 35 0 0 20 0 4 0 105824475 1401491456 283566 33554432000 4194304 16246674 140737306297440 140737306279360 12653056 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 342161 283566 821 2943 0 339055 0
[pid=2126/tid=2127] ppid=2123 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 1401491456 283566 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 1401491456 283566 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105824475 1401491456 283566 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1368644

[startup+6.30039 s]
/proc/loadavg: 2.34 2.25 2.19 3/183 2130
/proc/meminfo: memFree=28166224/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=1368644 CPUtime=6.29 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 283258 0 0 0 594 35 0 0 20 0 4 0 105824475 1401491456 283566 33554432000 4194304 16246674 140737306297440 140737306279360 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 342161 283566 821 2943 0 339055 0
[pid=2126/tid=2127] ppid=2123 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 1401491456 283566 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 1401491456 283566 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105824475 1401491456 283566 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1368644

[startup+12.7004 s]
/proc/loadavg: 2.29 2.24 2.19 3/183 2130
/proc/meminfo: memFree=28166552/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=1368644 CPUtime=12.69 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 283258 0 0 0 1234 35 0 0 20 0 4 0 105824475 1401491456 283566 33554432000 4194304 16246674 140737306297440 140737306279360 4220871 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 342161 283566 821 2943 0 339055 0
[pid=2126/tid=2127] ppid=2123 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 1401491456 283566 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 1401491456 283566 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=1368644 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105824475 1401491456 283566 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1368644

[startup+25.5074 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 2130
/proc/meminfo: memFree=28116768/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=1418820 CPUtime=25.49 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 295802 0 0 0 2512 37 0 0 20 0 4 0 105824475 1452871680 296110 33554432000 4194304 16246674 140737306297440 140737306296752 12654191 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 354705 296110 821 2943 0 351599 0
[pid=2126/tid=2127] ppid=2123 vsize=1418820 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 1452871680 296110 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=1418820 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 1452871680 296110 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=1418820 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105824475 1452871680 296110 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1418820

[startup+51.1004 s]
/proc/loadavg: 2.21 2.23 2.18 3/183 2130
/proc/meminfo: memFree=27483880/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=2050628 CPUtime=51.07 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 453754 0 0 0 5050 57 0 0 20 0 4 0 105824475 2099843072 454062 33554432000 4194304 16246674 140737306297440 140737306295232 4220982 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 512657 454062 821 2943 0 509551 0
[pid=2126/tid=2127] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454062 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454062 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454062 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2050628

[startup+102.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/184 2134
/proc/meminfo: memFree=27483708/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=2050628 CPUtime=102.27 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 453826 0 0 0 10169 58 0 0 20 0 4 0 105824475 2099843072 454134 33554432000 4194304 16246674 140737306297440 140737306279360 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 512657 454134 888 2943 0 509551 0
[pid=2126/tid=2127] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454134 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454134 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454134 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2050628


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

/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 2050628

[startup+1302.3 s]
/proc/loadavg: 2.28 2.26 2.21 4/184 2187
/proc/meminfo: memFree=27478412/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=2050628 CPUtime=1302.08 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 453827 0 0 0 130139 69 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140737306280440 5710394 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 512657 454135 889 2943 0 509551 0
[pid=2126/tid=2127] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 2050628

[startup+1362.3 s]
/proc/loadavg: 2.24 2.24 2.21 3/183 2188
/proc/meminfo: memFree=27478632/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=2050628 CPUtime=1362.08 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 453827 0 0 0 136138 70 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140737306279360 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 512657 454135 889 2943 0 509551 0
[pid=2126/tid=2127] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2050628

[startup+1422.3 s]
/proc/loadavg: 2.25 2.24 2.20 4/183 2189
/proc/meminfo: memFree=27478532/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=2050628 CPUtime=1422.07 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 453827 0 0 0 142137 70 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140737306279360 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 512657 454135 889 2943 0 509551 0
[pid=2126/tid=2127] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 2050628

[startup+1482.3 s]
/proc/loadavg: 2.19 2.23 2.20 3/183 2191
/proc/meminfo: memFree=27478316/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=2050628 CPUtime=1482.05 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 453827 0 0 0 148135 70 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140737306280440 5711514 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 512657 454135 889 2943 0 509551 0
[pid=2126/tid=2127] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 2050628

[startup+1542.3 s]
/proc/loadavg: 2.31 2.25 2.21 3/183 2192
/proc/meminfo: memFree=27478596/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=2050628 CPUtime=1542.05 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 453827 0 0 0 154134 71 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140737306279360 5712555 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 512657 454135 889 2943 0 509551 0
[pid=2126/tid=2127] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 2050628

[startup+1602.3 s]
/proc/loadavg: 2.32 2.27 2.21 4/183 2193
/proc/meminfo: memFree=27478252/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=2050628 CPUtime=1602.04 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 453827 0 0 0 160132 72 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140737306279360 12483272 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 512657 454135 889 2943 0 509551 0
[pid=2126/tid=2127] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2050628

[startup+1662.31 s]
/proc/loadavg: 2.43 2.30 2.22 4/183 2243
/proc/meminfo: memFree=27478556/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=2050628 CPUtime=1662.03 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 453827 0 0 0 166131 72 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140737306279360 5824638 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 512657 454135 889 2943 0 509551 0
[pid=2126/tid=2127] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2050628

[startup+1722.3 s]
/proc/loadavg: 2.48 2.33 2.24 4/183 2244
/proc/meminfo: memFree=27477844/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=2050628 CPUtime=1722.03 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 453827 0 0 0 172130 73 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140737306279360 5711852 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 512657 454135 889 2943 0 509551 0
[pid=2126/tid=2127] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 2050628

[startup+1782.3 s]
/proc/loadavg: 2.33 2.31 2.23 4/183 2246
/proc/meminfo: memFree=27477384/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=2050628 CPUtime=1782.01 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 453827 0 0 0 178128 73 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140737306279360 6011844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 512657 454135 889 2943 0 509551 0
[pid=2126/tid=2127] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 2050628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.30 2.31 2.23 3/183 2246
/proc/meminfo: memFree=27476864/32872528 swapFree=16080/1655368
[pid=2126] ppid=2123 vsize=2050628 CPUtime=1800.01 cores=0,2,4,6
/proc/2126/stat : 2126 (toysat) R 2123 2126 32454 0 -1 4202496 453827 0 0 0 179927 74 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140737306279360 5711640 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2126/statm: 512657 454135 889 2943 0 509551 0
[pid=2126/tid=2127] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2127/stat : 2127 (toysat) S 2123 2126 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241164807408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2126/tid=2128] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2128/stat : 2128 (toysat) S 2123 2126 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241084067056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2126/tid=2129] ppid=2123 vsize=2050628 CPUtime=0 cores=0,2,4,6
/proc/2126/task/2129/stat : 2129 (toysat) S 2123 2126 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105824475 2099843072 454135 33554432000 4194304 16246674 140737306297440 140241073593520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2050628

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 2126 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.37
CPU time (s): 1800.08
CPU user time (s): 1799.28
CPU system time (s): 0.803877
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 2050628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 0.803877
maximum resident set size= 1816540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 453827
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= 145
involuntary context switches= 1878

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.67629 second user time and 6.83496 second system time

The end

Begin job on node122 at 2016-06-06 20:48:29
IDJOB=4078595
IDBENCH=2564
IDSOLVER=2542
FILE ID=node122/4078595-1465238909
RUNJOBID= node122-1465218907-32470
PBS_JOBID= 19843205
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob8.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078595-1465238909/watcher-4078595-1465238909 -o /tmp/evaluation-result-4078595-1465238909/solver-4078595-1465238909 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32470 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078595-1465238909.opb

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

MD5SUM BENCH= 9a5e6e5ac9dd04defb35f28c3f495740
RANDOM SEED=525244399

node122.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.898
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.79
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.898
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.898
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.898
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.898
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29300080 kB
Buffers:           40104 kB
Cached:           102280 kB
SwapCached:          860 kB
Active:          1148424 kB
Inactive:          64784 kB
Active(anon):    1071528 kB
Inactive(anon):     1584 kB
Active(file):      76896 kB
Inactive(file):    63200 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099464 kB
Dirty:             16308 kB
Writeback:             0 kB
AnonPages:       2674588 kB
Mapped:            10940 kB
Shmem:                 0 kB
Slab:             568172 kB
SReclaimable:      12044 kB
SUnreclaim:       556128 kB
KernelStack:        1496 kB
PageTables:         9524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2872456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1591296 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= 71712 MiB
End job on node122 at 2016-06-06 21:18:29