0.00/0.00	c 2016-06-15T22:10:05+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-4089127-1466021405.opb"]
0.00/0.01	c use --random-gen="1907034217 905759056 752300342 227940395 4231777080 2361759592 2831768187 3499222935 3887640932 2485557274 4293316174 842273616 3729047149 333786903 3790212964 1600505901 2054303237 1411073747 153999913 3612416233 3036776129 3817476433 103624383 2002873902 3321036116 3362064620 4168531286 413216498 3832287900 2319816606 582820931 548551810 3427738470 1059294326 3676920094 2050799875 589242275 1138251824 1283856242 567538600 3062721549 4158978993 3634618656 2099489439 1561284191 274699416 1271041057 1559168353 594754832 720176850 1365058340 1329270513 2641254096 3510958737 41331289 1314810514 3152142016 2775143273 1885999965 3285672632 1968663700 1834056326 437213378 3927867023 1659229291 3226110683 1058361888 902401682 3975320887 1565100808 2515793931 725005927 566822255 4012949355 3204266547 3944926962 3935288348 1070419808 2597114108 2365324316 4289046878 1162476137 4147304526 3106078177 2330269029 2105648712 3754857704 2338334019 3999847714 2300809713 3262483087 28821572 872011856 3896837288 1248050116 3824186067 1321006333 2179640601 1445136654 694944846 198380296 1647238872 2136878720 984554452 770203527 795650536 87866625 2556957263 1112495767 1323066642 2760213612 1293079613 356819071 2631494158 2764521874 3165002295 2627520744 1500519226 1576835625 4123897470 3754261127 10504033 1732509168 3115657049 312812694 2965186807 2863751662 1913736231 4097775274 395155458 1305958728 1361960470 1689500102 871564396 2948973655 3270645536 2541775351 2704213967 196847476 830340980 5439839 3881336286 940856236 4275170418 3330800982 3948288583 962315465 198835664 3871736191 3057684172 2691804731 1705619243 829187225 476409130 3976757831 2659236670 4251367769 736615688 1998461031 3085456804 239979459 858246269 4004162505 1580317641 2054988786 600218709 3042681294 106090898 903611727 735315403 1000142871 1049572519 1819055499 1639203401 2501854007 1864671664 3141315706 194689544 2512623106 834358797 3070192963 3112942198 3310205684 2681736059 3334986132 1373045172 3451593629 202424371 3330737315 2225087371 810937974 2859672480 810297422 2776564848 3563719363 3840984679 3941108419 1120294298 3816375299 3391055090 1726758228 347726614 1433777520 3940750097 4171443445 2301708921 1678495316 2396845995 3542391556 2033754074 2624708245 2582715122 2538847406 408172906 3495970654 2951946052 2986508963 2218265138 2167294566 868130000 3541817767 2870206834 711596344 610678065 3072698054 2570124872 1155838355 2492379647 1906203715 4015721446 608223380 3646859145 649090838 190177531 1097489791 2798962832 2285290782 37772930 4218205265 4239677538 3912079209 811764455 4157337659 207604298 2162027426 2641068603 2721110981 3647011336 4172692257 546376974 2078831591 2295132626 3645418143 2189534977 2821655388 3943284555 255 362436" option to reproduce the execution
0.00/0.01	c #vars 152
0.00/0.01	c #constraints 305
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      152      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      179 |      100 |      152      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      402 |      250 |      168      1 |        0 |        0
0.09/0.10	c  0.1s |       3 |      705 |      475 |      185      2 |        0 |        0
0.09/0.17	c  0.2s |       4 |     1113 |      813 |      204      5 |        0 |        0
0.19/0.28	c  0.3s |       5 |     1696 |     1320 |      225      8 |        0 |        0
0.39/0.45	c  0.4s |       6 |     2527 |     2081 |      273     13 |        0 |        0
0.68/0.70	c  0.7s |       7 |     3745 |     3223 |      301     20 |        0 |        0
0.89/0.99	c  1.0s |       8 |     5569 |     4936 |      332     29 |        0 |        0
1.29/1.36	c  1.3s |       9 |     8219 |     7506 |      366     41 |        0 |        0
1.89/1.95	c  1.9s |      10 |    12173 |    11361 |      403     59 |        0 |        0
2.79/2.82	c  2.8s |      11 |    18098 |    17144 |      444     83 |        0 |        0
4.09/4.15	c  4.1s |      12 |    27033 |    25819 |      489    117 |        0 |        0
6.09/6.14	c  6.1s |      13 |    40394 |    38832 |      538    164 |        0 |        0
8.09/8.14	c  8.1s |      13 |    53345 |    51432 |      538    205 |        0 |        0
9.19/9.26	c  9.2s |      14 |    60502 |    58352 |      592    228 |        0 |        0
11.20/11.27	c 11.3s |      14 |    73265 |    70652 |      592    265 |        0 |        0
13.19/13.27	c 13.3s |      14 |    85913 |    82752 |      592    302 |        0 |        0
13.99/14.09	c 14.1s |      15 |    90977 |    87632 |      652    317 |        0 |        0
15.99/16.09	c 16.1s |      15 |   103632 |    99832 |      652    350 |        0 |        0
17.99/18.09	c 18.1s |      15 |   116235 |   112032 |      652    384 |        0 |        0
20.09/20.10	c 20.1s |      15 |   128697 |   124132 |      652    418 |        0 |        0
21.29/21.34	c 21.3s |      16 |   136609 |   131552 |      718    438 |        0 |        0
23.29/23.36	c 23.3s |      16 |   149124 |   143652 |      718    469 |        0 |        0
25.28/25.37	c 25.4s |      16 |   161616 |   155652 |      718    500 |        0 |        0
27.28/27.38	c 27.4s |      16 |   173772 |   167252 |      718    529 |        0 |        0
29.28/29.39	c 29.4s |      16 |   185622 |   178852 |      718    559 |        0 |        0
31.28/31.39	c 31.4s |      16 |   198001 |   190852 |      718    589 |        0 |        0
32.48/32.53	c 32.5s |      17 |   204756 |   197432 |      790    606 |        0 |        0
34.48/34.54	c 34.5s |      17 |   217289 |   209332 |      790    633 |        0 |        0
36.49/36.55	c 36.5s |      17 |   229523 |   221232 |      790    661 |        0 |        0
38.48/38.55	c 38.5s |      17 |   241473 |   232832 |      790    688 |        0 |        0
40.48/40.57	c 40.6s |      17 |   253508 |   244432 |      790    716 |        0 |        0
42.48/42.58	c 42.6s |      17 |   265762 |   255932 |      790    742 |        0 |        0
44.48/44.59	c 44.6s |      17 |   277878 |   267432 |      790    769 |        0 |        0
46.58/46.60	c 46.6s |      17 |   289493 |   278632 |      790    796 |        0 |        0
48.59/48.61	c 48.6s |      17 |   301507 |   290332 |      790    823 |        0 |        0
49.59/49.63	c 49.6s |      18 |   307661 |   296252 |      870    836 |        0 |        0
51.58/51.64	c 51.6s |      18 |   319808 |   307952 |      870    861 |        0 |        0
53.58/53.64	c 53.6s |      18 |   331916 |   319552 |      870    886 |        0 |        0
55.58/55.65	c 55.6s |      18 |   343879 |   331052 |      870    911 |        0 |        0
57.58/57.65	c 57.6s |      18 |   355838 |   342452 |      870    935 |        0 |        0
59.58/59.66	c 59.6s |      18 |   367690 |   353752 |      870    959 |        0 |        0
61.57/61.66	c 61.6s |      18 |   379445 |   364852 |      870    983 |        0 |        0
63.57/63.67	c 63.7s |      18 |   391295 |   376052 |      870   1007 |        0 |        0
65.57/65.67	c 65.7s |      18 |   402662 |   387152 |      870   1031 |        0 |        0
67.57/67.69	c 67.7s |      18 |   414807 |   398852 |      870   1056 |        0 |        0
69.68/69.71	c 69.7s |      18 |   427173 |   410552 |      870   1081 |        0 |        0
71.69/71.71	c 71.7s |      18 |   439099 |   421952 |      870   1105 |        0 |        0
73.68/73.72	c 73.7s |      18 |   450811 |   433152 |      870   1129 |        0 |        0
75.68/75.72	c 75.7s |      18 |   462377 |   444252 |      958   1152 |        0 |        0
75.68/75.76	c 75.7s |      19 |   462607 |   444482 |      958   1152 |        0 |        0
77.68/77.76	c 77.7s |      19 |   474288 |   455582 |      958   1174 |        0 |        0
79.68/79.77	c 79.8s |      19 |   485804 |   466682 |      958   1196 |        0 |        0
81.68/81.77	c 81.8s |      19 |   497539 |   477882 |      958   1218 |        0 |        0
83.69/83.78	c 83.8s |      19 |   509379 |   489282 |      958   1240 |        0 |        0
85.68/85.78	c 85.8s |      19 |   520895 |   500382 |      958   1261 |        0 |        0
87.78/87.80	c 87.8s |      19 |   532330 |   511282 |      958   1283 |        0 |        0
89.78/89.80	c 89.8s |      19 |   543532 |   521982 |      958   1304 |        0 |        0
91.78/91.81	c 91.8s |      19 |   555053 |   532982 |      958   1325 |        0 |        0
93.78/93.81	c 93.8s |      19 |   566972 |   544382 |      958   1347 |        0 |        0
95.78/95.81	c 95.8s |      19 |   578520 |   555582 |      958   1369 |        0 |        0
97.78/97.82	c 97.8s |      19 |   590201 |   566682 |      958   1391 |        0 |        0
99.77/99.82	c 99.8s |      19 |   601616 |   577482 |      958   1412 |        0 |        0
101.77/101.83	c  101s |      19 |   613434 |   588482 |      958   1433 |        0 |        0
103.77/103.84	c  103s |      19 |   624970 |   599382 |      958   1455 |        0 |        0
105.78/105.84	c  105s |      19 |   636273 |   610182 |      958   1476 |        0 |        0
107.77/107.86	c  107s |      19 |   647687 |   621182 |      958   1497 |        0 |        0
109.77/109.86	c  109s |      19 |   658864 |   631682 |      958   1518 |        0 |        0
111.77/111.86	c  111s |      19 |   670296 |   642582 |      958   1539 |        0 |        0
113.77/113.87	c  113s |      19 |   681875 |   653482 |      958   1560 |        0 |        0
115.77/115.88	c  115s |      19 |   693246 |   664282 |     1054   1581 |        0 |        0
116.27/116.36	c  116s |      20 |   695911 |   666827 |     1054   1586 |        0 |        0
118.27/118.37	c  118s |      20 |   707175 |   677627 |     1054   1605 |        0 |        0
120.27/120.38	c  120s |      20 |   718806 |   688627 |     1054   1624 |        0 |        0
122.28/122.39	c  122s |      20 |   730287 |   699227 |     1054   1643 |        0 |        0
124.27/124.40	c  124s |      20 |   741670 |   709927 |     1054   1662 |        0 |        0
126.37/126.41	c  126s |      20 |   753557 |   721227 |     1054   1683 |        0 |        0
128.37/128.42	c  128s |      20 |   765250 |   732327 |     1054   1702 |        0 |        0
130.36/130.43	c  130s |      20 |   776436 |   743227 |     1054   1722 |        0 |        0
132.36/132.45	c  132s |      20 |   788123 |   754027 |     1054   1741 |        0 |        0
134.37/134.45	c  134s |      20 |   799789 |   764927 |     1054   1761 |        0 |        0
136.36/136.46	c  136s |      20 |   811418 |   776027 |     1054   1780 |        0 |        0
138.36/138.47	c  138s |      20 |   822593 |   786727 |     1054   1800 |        0 |        0
140.36/140.47	c  140s |      20 |   833768 |   797227 |     1054   1818 |        0 |        0
142.36/142.48	c  142s |      20 |   844778 |   807727 |     1054   1837 |        0 |        0
144.47/144.50	c  144s |      20 |   855881 |   818227 |     1054   1856 |        0 |        0
146.48/146.51	c  146s |      20 |   866894 |   828327 |     1054   1874 |        0 |        0
148.47/148.52	c  148s |      20 |   878677 |   839527 |     1054   1894 |        0 |        0
150.47/150.53	c  150s |      20 |   890098 |   850327 |     1054   1913 |        0 |        0
152.47/152.54	c  152s |      20 |   901660 |   860927 |     1054   1932 |        0 |        0
154.47/154.56	c  154s |      20 |   912701 |   871427 |     1054   1951 |        0 |        0
156.47/156.56	c  156s |      20 |   923920 |   882327 |     1054   1970 |        0 |        0
158.47/158.57	c  158s |      20 |   935378 |   893227 |     1054   1990 |        0 |        0
160.47/160.58	c  160s |      20 |   946766 |   904027 |     1054   2009 |        0 |        0
162.47/162.59	c  162s |      20 |   958172 |   914827 |     1054   2028 |        0 |        0
164.47/164.60	c  164s |      20 |   969333 |   925527 |     1054   2047 |        0 |        0
166.57/166.60	c  166s |      20 |   980254 |   935927 |     1054   2066 |        0 |        0
168.56/168.62	c  168s |      20 |   991478 |   946327 |     1054   2085 |        0 |        0
170.57/170.64	c  170s |      20 |  1002792 |   956927 |     1054   2104 |        0 |        0
172.56/172.65	c  172s |      20 |  1013734 |   967327 |     1054   2122 |        0 |        0
174.56/174.67	c  174s |      20 |  1024792 |   977827 |     1054   2141 |        0 |        0
176.56/176.67	c  176s |      20 |  1035503 |   988127 |     1054   2159 |        0 |        0
178.56/178.68	c  178s |      20 |  1046788 |   998527 |     1160   2177 |        0 |        0
178.96/179.02	c  179s |      21 |  1048808 |  1000345 |     1160   2180 |        0 |        0
180.96/181.02	c  181s |      21 |  1060966 |  1011545 |     1160   2198 |        0 |        0
182.96/183.03	c  183s |      21 |  1072417 |  1022345 |     1160   2216 |        0 |        0
184.97/185.04	c  185s |      21 |  1084346 |  1033345 |     1160   2234 |        0 |        0
186.96/187.07	c  187s |      21 |  1096230 |  1044345 |     1160   2252 |        0 |        0
188.96/189.08	c  189s |      21 |  1108036 |  1055445 |     1160   2270 |        0 |        0
190.96/191.09	c  191s |      21 |  1119621 |  1066345 |     1160   2288 |        0 |        0
193.06/193.10	c  193s |      21 |  1131299 |  1076945 |     1160   2305 |        0 |        0
195.06/195.12	c  195s |      21 |  1142865 |  1087645 |     1160   2322 |        0 |        0
197.06/197.13	c  197s |      21 |  1154651 |  1098645 |     1160   2340 |        0 |        0
199.05/199.13	c  199s |      21 |  1166401 |  1109145 |     1160   2357 |        0 |        0
201.06/201.14	c  201s |      21 |  1177821 |  1119645 |     1160   2375 |        0 |        0
203.06/203.15	c  203s |      21 |  1189805 |  1130545 |     1160   2392 |        0 |        0
205.06/205.16	c  205s |      21 |  1201601 |  1141145 |     1160   2410 |        0 |        0
207.06/207.17	c  207s |      21 |  1213471 |  1151745 |     1160   2427 |        0 |        0
209.07/209.19	c  209s |      21 |  1225343 |  1162445 |     1160   2445 |        0 |        0
211.16/211.21	c  211s |      21 |  1237832 |  1173545 |     1160   2463 |        0 |        0
213.16/213.21	c  213s |      21 |  1249772 |  1184145 |     1160   2480 |        0 |        0
215.16/215.22	c  215s |      21 |  1261293 |  1194845 |     1160   2497 |        0 |        0
217.16/217.23	c  217s |      21 |  1272422 |  1205345 |     1160   2515 |        0 |        0
219.16/219.24	c  219s |      21 |  1283560 |  1215745 |     1160   2532 |        0 |        0
221.17/221.25	c  221s |      21 |  1294652 |  1226045 |     1160   2548 |        0 |        0
223.16/223.26	c  223s |      21 |  1305628 |  1236245 |     1160   2565 |        0 |        0
225.16/225.28	c  225s |      21 |  1317659 |  1247345 |     1160   2583 |        0 |        0
227.16/227.29	c  227s |      21 |  1329286 |  1257845 |     1160   2600 |        0 |        0
229.16/229.29	c  229s |      21 |  1340656 |  1268245 |     1160   2617 |        0 |        0
231.16/231.29	c  231s |      21 |  1351763 |  1278745 |     1160   2635 |        0 |        0
233.16/233.30	c  233s |      21 |  1363011 |  1289145 |     1160   2651 |        0 |        0
235.26/235.31	c  235s |      21 |  1374014 |  1299545 |     1160   2668 |        0 |        0
237.26/237.32	c  237s |      21 |  1385223 |  1309745 |     1160   2685 |        0 |        0
239.26/239.33	c  239s |      21 |  1396329 |  1320045 |     1160   2702 |        0 |        0
241.26/241.35	c  241s |      21 |  1407599 |  1330345 |     1160   2719 |        0 |        0
243.26/243.35	c  243s |      21 |  1419245 |  1341145 |     1160   2737 |        0 |        0
245.25/245.35	c  245s |      21 |  1430579 |  1351745 |     1160   2754 |        0 |        0
247.25/247.36	c  247s |      21 |  1441787 |  1362145 |     1160   2771 |        0 |        0
249.25/249.36	c  249s |      21 |  1453093 |  1372645 |     1160   2788 |        0 |        0
251.25/251.37	c  251s |      21 |  1464755 |  1383245 |     1160   2805 |        0 |        0
253.25/253.40	c  253s |      21 |  1475846 |  1393745 |     1160   2823 |        0 |        0
255.36/255.41	c  255s |      21 |  1486782 |  1404045 |     1160   2839 |        0 |        0
257.35/257.43	c  257s |      21 |  1497682 |  1414145 |     1160   2856 |        0 |        0
259.35/259.45	c  259s |      21 |  1508561 |  1424245 |     1160   2873 |        0 |        0
261.35/261.47	c  261s |      21 |  1520499 |  1434645 |     1160   2890 |        0 |        0
263.35/263.48	c  263s |      21 |  1532137 |  1445045 |     1160   2907 |        0 |        0
265.35/265.48	c  265s |      21 |  1543482 |  1455345 |     1160   2923 |        0 |        0
267.35/267.49	c  267s |      21 |  1554658 |  1465445 |     1160   2940 |        0 |        0
269.35/269.49	c  269s |      21 |  1565521 |  1475645 |     1160   2957 |        0 |        0
271.34/271.49	c  271s |      21 |  1576810 |  1486045 |     1160   2974 |        0 |        0
273.44/273.51	c  273s |      21 |  1588095 |  1496545 |     1276   2990 |        0 |        0
274.24/274.30	c  274s |      22 |  1592320 |  1500622 |     1276   2996 |        0 |        0
276.25/276.31	c  276s |      22 |  1603965 |  1511522 |     1276   3012 |        0 |        0
278.24/278.33	c  278s |      22 |  1615687 |  1522522 |     1276   3029 |        0 |        0
280.24/280.33	c  280s |      22 |  1627138 |  1533322 |     1276   3045 |        0 |        0
282.24/282.34	c  282s |      22 |  1638616 |  1544122 |     1276   3061 |        0 |        0
284.24/284.36	c  284s |      22 |  1650707 |  1555122 |     1276   3077 |        0 |        0
286.24/286.37	c  286s |      22 |  1662293 |  1565822 |     1276   3093 |        0 |        0
288.25/288.39	c  288s |      22 |  1674136 |  1576222 |     1276   3109 |        0 |        0
290.25/290.39	c  290s |      22 |  1685863 |  1586722 |     1276   3124 |        0 |        0
292.35/292.41	c  292s |      22 |  1697357 |  1597322 |     1276   3140 |        0 |        0
294.35/294.41	c  294s |      22 |  1708263 |  1607522 |     1276   3155 |        0 |        0
296.34/296.43	c  296s |      22 |  1719549 |  1617822 |     1276   3171 |        0 |        0
298.34/298.43	c  298s |      22 |  1730815 |  1628322 |     1276   3186 |        0 |        0
300.35/300.44	c  300s |      22 |  1741976 |  1638422 |     1276   3201 |        0 |        0
302.34/302.46	c  302s |      22 |  1753314 |  1648522 |     1276   3216 |        0 |        0
304.34/304.46	c  304s |      22 |  1764041 |  1658522 |     1276   3231 |        0 |        0
306.34/306.46	c  306s |      22 |  1774660 |  1668322 |     1276   3246 |        0 |        0
308.34/308.48	c  308s |      22 |  1786074 |  1678822 |     1276   3261 |        0 |        0
310.44/310.50	c  310s |      22 |  1797095 |  1689022 |     1276   3277 |        0 |        0
312.45/312.51	c  312s |      22 |  1807858 |  1699122 |     1276   3292 |        0 |        0
314.44/314.52	c  314s |      22 |  1818907 |  1709522 |     1276   3307 |        0 |        0
316.44/316.53	c  316s |      22 |  1830458 |  1719922 |     1276   3323 |        0 |        0
318.44/318.54	c  318s |      22 |  1842229 |  1730322 |     1276   3338 |        0 |        0
320.44/320.55	c  320s |      22 |  1853281 |  1740522 |     1276   3353 |        0 |        0
322.44/322.57	c  322s |      22 |  1864472 |  1750822 |     1276   3369 |        0 |        0
324.44/324.57	c  324s |      22 |  1875230 |  1761022 |     1276   3384 |        0 |        0
326.44/326.59	c  326s |      22 |  1886187 |  1771322 |     1276   3399 |        0 |        0
328.54/328.61	c  328s |      22 |  1897203 |  1781622 |     1276   3415 |        0 |        0
330.53/330.62	c  330s |      22 |  1908084 |  1791822 |     1276   3430 |        0 |        0
332.53/332.63	c  332s |      22 |  1919059 |  1802122 |     1276   3445 |        0 |        0
334.54/334.63	c  334s |      22 |  1930383 |  1812522 |     1276   3461 |        0 |        0
336.53/336.64	c  336s |      22 |  1941514 |  1822822 |     1276   3476 |        0 |        0
338.53/338.65	c  338s |      22 |  1952440 |  1832922 |     1276   3491 |        0 |        0
340.53/340.67	c  340s |      22 |  1963063 |  1842822 |     1276   3506 |        0 |        0
342.53/342.68	c  342s |      22 |  1974073 |  1852822 |     1276   3521 |        0 |        0
344.53/344.68	c  344s |      22 |  1984979 |  1862722 |     1276   3536 |        0 |        0
346.55/346.70	c  346s |      22 |  1995580 |  1872722 |     1276   3551 |        0 |        0
348.64/348.70	c  348s |      22 |  2006109 |  1882622 |     1276   3565 |        0 |        0
350.64/350.71	c  350s |      22 |  2016701 |  1892622 |     1276   3580 |        0 |        0
352.64/352.72	c  352s |      22 |  2027336 |  1902722 |     1276   3595 |        0 |        0
354.64/354.74	c  354s |      22 |  2037942 |  1912622 |     1276   3610 |        0 |        0
356.64/356.75	c  356s |      22 |  2048814 |  1922822 |     1276   3625 |        0 |        0
358.64/358.75	c  358s |      22 |  2059110 |  1932722 |     1276   3640 |        0 |        0
360.64/360.76	c  360s |      22 |  2069805 |  1942522 |     1276   3655 |        0 |        0
362.63/362.78	c  362s |      22 |  2080729 |  1952622 |     1276   3670 |        0 |        0
364.63/364.78	c  364s |      22 |  2091570 |  1962922 |     1276   3685 |        0 |        0
366.73/366.80	c  366s |      22 |  2102671 |  1973322 |     1276   3701 |        0 |        0
368.73/368.80	c  368s |      22 |  2113604 |  1983322 |     1276   3716 |        0 |        0
370.74/370.81	c  370s |      22 |  2124790 |  1993522 |     1276   3731 |        0 |        0
372.73/372.81	c  372s |      22 |  2135938 |  2003522 |     1276   3746 |        0 |        0
374.73/374.83	c  374s |      22 |  2147026 |  2013522 |     1276   3761 |        0 |        0
376.73/376.85	c  376s |      22 |  2157954 |  2023522 |     1276   3776 |        0 |        0
378.73/378.85	c  378s |      22 |  2169008 |  2033522 |     1276   3790 |        0 |        0
380.74/380.86	c  380s |      22 |  2179625 |  2043422 |     1276   3805 |        0 |        0
382.73/382.86	c  382s |      22 |  2190068 |  2053322 |     1276   3820 |        0 |        0
384.73/384.87	c  384s |      22 |  2200464 |  2063222 |     1276   3835 |        0 |        0
386.73/386.87	c  386s |      22 |  2210801 |  2072922 |     1276   3849 |        0 |        0
388.73/388.88	c  388s |      22 |  2221835 |  2083122 |     1276   3864 |        0 |        0
390.73/390.89	c  390s |      22 |  2232580 |  2093122 |     1276   3879 |        0 |        0
392.73/392.90	c  392s |      22 |  2243037 |  2102922 |     1276   3894 |        0 |        0
394.83/394.92	c  394s |      22 |  2253404 |  2112822 |     1276   3909 |        0 |        0
396.83/396.95	c  396s |      22 |  2263991 |  2122622 |     1276   3924 |        0 |        0
398.83/398.96	c  398s |      22 |  2274570 |  2132522 |     1276   3938 |        0 |        0
400.83/400.97	c  400s |      22 |  2285187 |  2142722 |     1276   3954 |        0 |        0
402.82/402.98	c  402s |      22 |  2295835 |  2152722 |     1276   3969 |        0 |        0
404.83/404.99	c  404s |      22 |  2306097 |  2162522 |     1276   3983 |        0 |        0
406.92/407.00	c  406s |      22 |  2316738 |  2172322 |     1276   3998 |        0 |        0
408.92/409.01	c  408s |      22 |  2327266 |  2182222 |     1276   4013 |        0 |        0
410.92/411.02	c  411s |      22 |  2337861 |  2192222 |     1276   4028 |        0 |        0
412.92/413.04	c  413s |      22 |  2349048 |  2202822 |     1276   4043 |        0 |        0
414.92/415.06	c  415s |      22 |  2359754 |  2213022 |     1276   4059 |        0 |        0
416.94/417.06	c  417s |      22 |  2370440 |  2223122 |     1276   4074 |        0 |        0
418.93/419.08	c  419s |      22 |  2381176 |  2233122 |     1276   4089 |        0 |        0
420.93/421.08	c  421s |      22 |  2391850 |  2243122 |     1404   4102 |        0 |        0
422.54/422.65	c  422s |      23 |  2400164 |  2251038 |     1404   4113 |        0 |        0
424.53/424.66	c  424s |      23 |  2411590 |  2261738 |     1404   4128 |        0 |        0
426.53/426.68	c  426s |      23 |  2422968 |  2272238 |     1404   4142 |        0 |        0
428.53/428.68	c  428s |      23 |  2434279 |  2282638 |     1404   4156 |        0 |        0
430.63/430.70	c  430s |      23 |  2445593 |  2293238 |     1404   4170 |        0 |        0
432.63/432.71	c  432s |      23 |  2456704 |  2303538 |     1404   4184 |        0 |        0
434.63/434.72	c  434s |      23 |  2467988 |  2313938 |     1404   4198 |        0 |        0
436.63/436.73	c  436s |      23 |  2478851 |  2323938 |     1404   4212 |        0 |        0
438.63/438.74	c  438s |      23 |  2490267 |  2334538 |     1404   4226 |        0 |        0
440.63/440.75	c  440s |      23 |  2501292 |  2344838 |     1404   4240 |        0 |        0
442.63/442.77	c  442s |      23 |  2512218 |  2355138 |     1404   4254 |        0 |        0
444.63/444.79	c  444s |      23 |  2523123 |  2365338 |     1404   4268 |        0 |        0
446.73/446.80	c  446s |      23 |  2534073 |  2375438 |     1404   4282 |        0 |        0
448.72/448.80	c  448s |      23 |  2544745 |  2385438 |     1404   4295 |        0 |        0
450.72/450.81	c  450s |      23 |  2555421 |  2395238 |     1404   4309 |        0 |        0
452.72/452.82	c  452s |      23 |  2566852 |  2405938 |     1404   4323 |        0 |        0
454.72/454.82	c  454s |      23 |  2578156 |  2416438 |     1404   4338 |        0 |        0
456.72/456.84	c  456s |      23 |  2589337 |  2426738 |     1404   4351 |        0 |        0
458.73/458.85	c  458s |      23 |  2600263 |  2437038 |     1404   4365 |        0 |        0
460.72/460.86	c  460s |      23 |  2611188 |  2447338 |     1404   4379 |        0 |        0
462.72/462.86	c  462s |      23 |  2622110 |  2457238 |     1404   4393 |        0 |        0
464.72/464.86	c  464s |      23 |  2632765 |  2467138 |     1404   4406 |        0 |        0
466.72/466.87	c  466s |      23 |  2643746 |  2477238 |     1404   4420 |        0 |        0
468.73/468.87	c  468s |      23 |  2654526 |  2487338 |     1404   4434 |        0 |        0
470.72/470.87	c  470s |      23 |  2665193 |  2497338 |     1404   4447 |        0 |        0
472.72/472.88	c  472s |      23 |  2675794 |  2507438 |     1404   4461 |        0 |        0
474.71/474.88	c  474s |      23 |  2686574 |  2517538 |     1404   4475 |        0 |        0
476.71/476.89	c  476s |      23 |  2697429 |  2527138 |     1404   4488 |        0 |        0
478.71/478.89	c  478s |      23 |  2708119 |  2537138 |     1404   4502 |        0 |        0
480.72/480.90	c  480s |      23 |  2718720 |  2546938 |     1404   4515 |        0 |        0
482.81/482.91	c  482s |      23 |  2729041 |  2556638 |     1404   4528 |        0 |        0
484.81/484.93	c  484s |      23 |  2739528 |  2566538 |     1404   4542 |        0 |        0
486.81/486.94	c  486s |      23 |  2750057 |  2576438 |     1404   4555 |        0 |        0
488.82/488.96	c  488s |      23 |  2760297 |  2586038 |     1404   4568 |        0 |        0
490.82/490.98	c  490s |      23 |  2771600 |  2596438 |     1404   4582 |        0 |        0
492.83/493.00	c  492s |      23 |  2782219 |  2606438 |     1404   4596 |        0 |        0
494.92/495.02	c  495s |      23 |  2793183 |  2616538 |     1404   4609 |        0 |        0
496.92/497.03	c  497s |      23 |  2803990 |  2626638 |     1404   4623 |        0 |        0
498.92/499.03	c  499s |      23 |  2815112 |  2636638 |     1404   4637 |        0 |        0
500.92/501.05	c  501s |      23 |  2825472 |  2646438 |     1404   4650 |        0 |        0
502.92/503.06	c  503s |      23 |  2835818 |  2656238 |     1404   4663 |        0 |        0
504.92/505.06	c  505s |      23 |  2846093 |  2665838 |     1404   4676 |        0 |        0
506.92/507.07	c  507s |      23 |  2856745 |  2675838 |     1404   4690 |        0 |        0
508.91/509.08	c  509s |      23 |  2867181 |  2685838 |     1404   4704 |        0 |        0
511.01/511.10	c  511s |      23 |  2877648 |  2695838 |     1404   4717 |        0 |        0
513.01/513.11	c  513s |      23 |  2887970 |  2705638 |     1404   4731 |        0 |        0
515.01/515.12	c  515s |      23 |  2898326 |  2715538 |     1404   4744 |        0 |        0
517.02/517.12	c  517s |      23 |  2908757 |  2725438 |     1404   4758 |        0 |        0
519.01/519.14	c  519s |      23 |  2919578 |  2735838 |     1404   4772 |        0 |        0
521.01/521.16	c  521s |      23 |  2930677 |  2746338 |     1404   4786 |        0 |        0
523.01/523.17	c  523s |      23 |  2941398 |  2756538 |     1404   4800 |        0 |        0
525.01/525.17	c  525s |      23 |  2952264 |  2766738 |     1404   4814 |        0 |        0
527.02/527.18	c  527s |      23 |  2963020 |  2776838 |     1404   4827 |        0 |        0
529.01/529.19	c  529s |      23 |  2973493 |  2786538 |     1404   4841 |        0 |        0
531.11/531.20	c  531s |      23 |  2984128 |  2796538 |     1404   4854 |        0 |        0
533.11/533.22	c  533s |      23 |  2994476 |  2806438 |     1404   4868 |        0 |        0
535.11/535.23	c  535s |      23 |  3005357 |  2816638 |     1404   4881 |        0 |        0
537.11/537.24	c  537s |      23 |  3016095 |  2826738 |     1404   4895 |        0 |        0
539.11/539.26	c  539s |      23 |  3026814 |  2836738 |     1404   4909 |        0 |        0
541.11/541.27	c  541s |      23 |  3037550 |  2846838 |     1404   4923 |        0 |        0
543.11/543.28	c  543s |      23 |  3048470 |  2857038 |     1404   4936 |        0 |        0
545.11/545.29	c  545s |      23 |  3059490 |  2867038 |     1404   4950 |        0 |        0
547.20/547.31	c  547s |      23 |  3069915 |  2876838 |     1404   4963 |        0 |        0
549.20/549.32	c  549s |      23 |  3080488 |  2886638 |     1404   4977 |        0 |        0
551.21/551.33	c  551s |      23 |  3091031 |  2896438 |     1404   4990 |        0 |        0
553.20/553.33	c  553s |      23 |  3101212 |  2906038 |     1404   5003 |        0 |        0
555.20/555.35	c  555s |      23 |  3111630 |  2915838 |     1404   5016 |        0 |        0
557.20/557.36	c  557s |      23 |  3122356 |  2925738 |     1404   5030 |        0 |        0
559.20/559.37	c  559s |      23 |  3132644 |  2935238 |     1404   5043 |        0 |        0
561.21/561.37	c  561s |      23 |  3142644 |  2944838 |     1404   5056 |        0 |        0
563.21/563.38	c  563s |      23 |  3153111 |  2954538 |     1404   5069 |        0 |        0
565.21/565.39	c  565s |      23 |  3163769 |  2964338 |     1404   5082 |        0 |        0
567.31/567.40	c  567s |      23 |  3173883 |  2973738 |     1404   5095 |        0 |        0
569.31/569.42	c  569s |      23 |  3184595 |  2983038 |     1404   5108 |        0 |        0
571.31/571.42	c  571s |      23 |  3195432 |  2993238 |     1404   5122 |        0 |        0
573.30/573.43	c  573s |      23 |  3206573 |  3003538 |     1404   5135 |        0 |        0
575.31/575.43	c  575s |      23 |  3217260 |  3013738 |     1404   5149 |        0 |        0
577.30/577.44	c  577s |      23 |  3227757 |  3023838 |     1404   5163 |        0 |        0
579.30/579.46	c  579s |      23 |  3238527 |  3034038 |     1404   5177 |        0 |        0
581.30/581.48	c  581s |      23 |  3249288 |  3044138 |     1404   5191 |        0 |        0
583.30/583.48	c  583s |      23 |  3259955 |  3054138 |     1404   5204 |        0 |        0
585.31/585.49	c  585s |      23 |  3270602 |  3064338 |     1404   5218 |        0 |        0
587.30/587.50	c  587s |      23 |  3281259 |  3074338 |     1404   5232 |        0 |        0
589.40/589.51	c  589s |      23 |  3291841 |  3084138 |     1404   5245 |        0 |        0
591.40/591.51	c  591s |      23 |  3302746 |  3094138 |     1404   5258 |        0 |        0
593.40/593.53	c  593s |      23 |  3313817 |  3104338 |     1404   5272 |        0 |        0
595.40/595.54	c  595s |      23 |  3324577 |  3114338 |     1404   5286 |        0 |        0
597.41/597.55	c  597s |      23 |  3335018 |  3124238 |     1404   5299 |        0 |        0
599.40/599.56	c  599s |      23 |  3345872 |  3134138 |     1404   5313 |        0 |        0
601.40/601.58	c  601s |      23 |  3356694 |  3144338 |     1404   5327 |        0 |        0
603.40/603.59	c  603s |      23 |  3367392 |  3154338 |     1404   5340 |        0 |        0
605.50/605.60	c  605s |      23 |  3377896 |  3164138 |     1404   5353 |        0 |        0
607.50/607.61	c  607s |      23 |  3388146 |  3173738 |     1404   5367 |        0 |        0
609.50/609.61	c  609s |      23 |  3398672 |  3183738 |     1404   5380 |        0 |        0
611.49/611.63	c  611s |      23 |  3409436 |  3193538 |     1404   5394 |        0 |        0
613.49/613.63	c  613s |      23 |  3420252 |  3203538 |     1404   5407 |        0 |        0
615.49/615.65	c  615s |      23 |  3431116 |  3213538 |     1404   5421 |        0 |        0
617.49/617.67	c  617s |      23 |  3441815 |  3223338 |     1404   5434 |        0 |        0
619.49/619.67	c  619s |      23 |  3452066 |  3232938 |     1404   5447 |        0 |        0
621.50/621.69	c  621s |      23 |  3462706 |  3242538 |     1404   5460 |        0 |        0
623.59/623.70	c  623s |      23 |  3473300 |  3252438 |     1404   5474 |        0 |        0
625.59/625.71	c  625s |      23 |  3483802 |  3262238 |     1404   5487 |        0 |        0
627.59/627.73	c  627s |      23 |  3494814 |  3272538 |     1404   5501 |        0 |        0
629.59/629.75	c  629s |      23 |  3505794 |  3282838 |     1404   5515 |        0 |        0
631.59/631.76	c  631s |      23 |  3516179 |  3292838 |     1404   5529 |        0 |        0
633.59/633.76	c  633s |      23 |  3527187 |  3302938 |     1404   5542 |        0 |        0
635.59/635.77	c  635s |      23 |  3537744 |  3312838 |     1404   5556 |        0 |        0
637.70/637.80	c  637s |      23 |  3548256 |  3322838 |     1404   5570 |        0 |        0
639.70/639.80	c  639s |      23 |  3559190 |  3333138 |     1404   5584 |        0 |        0
641.70/641.81	c  641s |      23 |  3569920 |  3343238 |     1404   5597 |        0 |        0
643.70/643.82	c  643s |      23 |  3580460 |  3353138 |     1545   5611 |        0 |        0
645.70/645.84	c  645s |      23 |  3590942 |  3362838 |     1545   5623 |        0 |        0
647.69/647.85	c  647s |      23 |  3601519 |  3372538 |     1545   5635 |        0 |        0
648.59/648.72	c  648s |      24 |  3605939 |  3376662 |     1545   5640 |        0 |        0
650.59/650.73	c  650s |      24 |  3617691 |  3387362 |     1545   5653 |        0 |        0
652.59/652.73	c  652s |      24 |  3629057 |  3397862 |     1545   5666 |        0 |        0
654.60/654.74	c  654s |      24 |  3640267 |  3408162 |     1545   5679 |        0 |        0
656.59/656.74	c  656s |      24 |  3651846 |  3418762 |     1545   5692 |        0 |        0
658.59/658.75	c  658s |      24 |  3663317 |  3429162 |     1545   5705 |        0 |        0
660.59/660.75	c  660s |      24 |  3674185 |  3439362 |     1545   5717 |        0 |        0
662.59/662.76	c  662s |      24 |  3685220 |  3449462 |     1545   5730 |        0 |        0
664.59/664.78	c  664s |      24 |  3696036 |  3459462 |     1545   5742 |        0 |        0
666.59/666.79	c  666s |      24 |  3706782 |  3469462 |     1545   5755 |        0 |        0
668.69/668.80	c  668s |      24 |  3717238 |  3479262 |     1545   5767 |        0 |        0
670.69/670.81	c  670s |      24 |  3727560 |  3488862 |     1545   5779 |        0 |        0
672.69/672.83	c  672s |      24 |  3738123 |  3498762 |     1545   5791 |        0 |        0
674.69/674.85	c  674s |      24 |  3748603 |  3508562 |     1545   5803 |        0 |        0
676.69/676.85	c  676s |      24 |  3758785 |  3518162 |     1545   5815 |        0 |        0
678.69/678.87	c  678s |      24 |  3769372 |  3528062 |     1545   5827 |        0 |        0
680.68/680.89	c  680s |      24 |  3780180 |  3538062 |     1545   5840 |        0 |        0
682.78/682.90	c  682s |      24 |  3790970 |  3547962 |     1545   5852 |        0 |        0
684.78/684.91	c  684s |      24 |  3801358 |  3557462 |     1545   5864 |        0 |        0
686.78/686.91	c  686s |      24 |  3811575 |  3567262 |     1545   5876 |        0 |        0
688.78/688.93	c  688s |      24 |  3822094 |  3577062 |     1545   5888 |        0 |        0
690.79/690.93	c  690s |      24 |  3832918 |  3586862 |     1545   5900 |        0 |        0
692.78/692.95	c  692s |      24 |  3843395 |  3596662 |     1545   5912 |        0 |        0
694.78/694.95	c  694s |      24 |  3853697 |  3606362 |     1545   5924 |        0 |        0
696.78/696.95	c  696s |      24 |  3864024 |  3615962 |     1545   5936 |        0 |        0
698.78/698.97	c  698s |      24 |  3874253 |  3625662 |     1545   5948 |        0 |        0
700.79/700.99	c  700s |      24 |  3884285 |  3635262 |     1545   5960 |        0 |        0
702.78/703.00	c  702s |      24 |  3894309 |  3644762 |     1545   5972 |        0 |        0
704.88/705.00	c  704s |      24 |  3904571 |  3654462 |     1545   5984 |        0 |        0
706.88/707.02	c  707s |      24 |  3914909 |  3663862 |     1545   5995 |        0 |        0
708.88/709.02	c  709s |      24 |  3924767 |  3672862 |     1545   6006 |        0 |        0
710.88/711.04	c  711s |      24 |  3935188 |  3682762 |     1545   6019 |        0 |        0
712.88/713.05	c  713s |      24 |  3945540 |  3692562 |     1545   6031 |        0 |        0
714.88/715.06	c  715s |      24 |  3955958 |  3702262 |     1545   6043 |        0 |        0
716.88/717.08	c  717s |      24 |  3966347 |  3711962 |     1545   6055 |        0 |        0
718.88/719.08	c  719s |      24 |  3976772 |  3721562 |     1545   6067 |        0 |        0
720.98/721.10	c  721s |      24 |  3987001 |  3730962 |     1545   6078 |        0 |        0
722.98/723.11	c  723s |      24 |  3996993 |  3740462 |     1545   6090 |        0 |        0
724.99/725.12	c  725s |      24 |  4007185 |  3749862 |     1545   6102 |        0 |        0
726.98/727.12	c  727s |      24 |  4017235 |  3759362 |     1545   6113 |        0 |        0
728.98/729.14	c  729s |      24 |  4027444 |  3768862 |     1545   6125 |        0 |        0
730.98/731.15	c  731s |      24 |  4037799 |  3778462 |     1545   6137 |        0 |        0
732.98/733.16	c  733s |      24 |  4048145 |  3787862 |     1545   6149 |        0 |        0
734.98/735.19	c  735s |      24 |  4058386 |  3797462 |     1545   6161 |        0 |        0
737.09/737.21	c  737s |      24 |  4069064 |  3807562 |     1545   6173 |        0 |        0
739.08/739.23	c  739s |      24 |  4079519 |  3817562 |     1545   6185 |        0 |        0
741.08/741.25	c  741s |      24 |  4089952 |  3827362 |     1545   6198 |        0 |        0
743.08/743.27	c  743s |      24 |  4100703 |  3837462 |     1545   6210 |        0 |        0
745.08/745.27	c  745s |      24 |  4110994 |  3847162 |     1545   6222 |        0 |        0
747.08/747.29	c  747s |      24 |  4121134 |  3856462 |     1545   6234 |        0 |        0
749.08/749.29	c  749s |      24 |  4131751 |  3866562 |     1545   6246 |        0 |        0
751.17/751.30	c  751s |      24 |  4142261 |  3876362 |     1545   6258 |        0 |        0
753.17/753.30	c  753s |      24 |  4153174 |  3886262 |     1545   6270 |        0 |        0
755.17/755.32	c  755s |      24 |  4163739 |  3895962 |     1545   6282 |        0 |        0
757.17/757.33	c  757s |      24 |  4173859 |  3905662 |     1545   6294 |        0 |        0
759.17/759.34	c  759s |      24 |  4184113 |  3915262 |     1545   6306 |        0 |        0
761.18/761.34	c  761s |      24 |  4194291 |  3924862 |     1545   6318 |        0 |        0
763.17/763.35	c  763s |      24 |  4204777 |  3934762 |     1545   6331 |        0 |        0
765.17/765.35	c  765s |      24 |  4215139 |  3944562 |     1545   6343 |        0 |        0
767.17/767.37	c  767s |      24 |  4225200 |  3954062 |     1545   6354 |        0 |        0
769.17/769.37	c  769s |      24 |  4235255 |  3963362 |     1545   6366 |        0 |        0
771.18/771.38	c  771s |      24 |  4245553 |  3973162 |     1545   6378 |        0 |        0
773.17/773.38	c  773s |      24 |  4255925 |  3982762 |     1545   6390 |        0 |        0
775.17/775.39	c  775s |      24 |  4266489 |  3992262 |     1545   6402 |        0 |        0
777.27/777.40	c  777s |      24 |  4276498 |  4001662 |     1545   6414 |        0 |        0
779.27/779.41	c  779s |      24 |  4286526 |  4011162 |     1545   6425 |        0 |        0
781.27/781.42	c  781s |      24 |  4296649 |  4020662 |     1545   6437 |        0 |        0
783.27/783.42	c  783s |      24 |  4306651 |  4029962 |     1545   6449 |        0 |        0
785.27/785.44	c  785s |      24 |  4316919 |  4039462 |     1545   6460 |        0 |        0
787.27/787.44	c  787s |      24 |  4326681 |  4048662 |     1545   6472 |        0 |        0
789.27/789.46	c  789s |      24 |  4337230 |  4058462 |     1545   6484 |        0 |        0
791.26/791.48	c  791s |      24 |  4347766 |  4068462 |     1545   6496 |        0 |        0
793.26/793.49	c  793s |      24 |  4358268 |  4078262 |     1545   6508 |        0 |        0
795.27/795.50	c  795s |      24 |  4368298 |  4087862 |     1545   6520 |        0 |        0
797.36/797.52	c  797s |      24 |  4378549 |  4097562 |     1545   6532 |        0 |        0
799.36/799.52	c  799s |      24 |  4388895 |  4107262 |     1545   6544 |        0 |        0
801.36/801.53	c  801s |      24 |  4399197 |  4116962 |     1545   6556 |        0 |        0
803.36/803.54	c  803s |      24 |  4409374 |  4126462 |     1545   6568 |        0 |        0
805.36/805.55	c  805s |      24 |  4419218 |  4135862 |     1545   6580 |        0 |        0
807.37/807.56	c  807s |      24 |  4429477 |  4145462 |     1545   6592 |        0 |        0
809.36/809.58	c  809s |      24 |  4439413 |  4154862 |     1545   6603 |        0 |        0
811.36/811.59	c  811s |      24 |  4449394 |  4164262 |     1545   6615 |        0 |        0
813.46/813.62	c  813s |      24 |  4459166 |  4173562 |     1545   6627 |        0 |        0
815.46/815.63	c  815s |      24 |  4469217 |  4183162 |     1545   6638 |        0 |        0
817.46/817.63	c  817s |      24 |  4479570 |  4192662 |     1545   6650 |        0 |        0
819.47/819.64	c  819s |      24 |  4489599 |  4202162 |     1545   6662 |        0 |        0
821.46/821.66	c  821s |      24 |  4499554 |  4211562 |     1545   6674 |        0 |        0
823.46/823.66	c  823s |      24 |  4509644 |  4221062 |     1545   6685 |        0 |        0
825.46/825.67	c  825s |      24 |  4519353 |  4230162 |     1545   6697 |        0 |        0
827.46/827.68	c  827s |      24 |  4529413 |  4239562 |     1545   6708 |        0 |        0
829.47/829.70	c  829s |      24 |  4539335 |  4248762 |     1545   6720 |        0 |        0
831.57/831.72	c  831s |      24 |  4549390 |  4258262 |     1545   6732 |        0 |        0
833.57/833.73	c  833s |      24 |  4559934 |  4268162 |     1545   6744 |        0 |        0
835.57/835.73	c  835s |      24 |  4570506 |  4278362 |     1545   6756 |        0 |        0
837.57/837.74	c  837s |      24 |  4580813 |  4288262 |     1545   6769 |        0 |        0
839.57/839.76	c  839s |      24 |  4591136 |  4298062 |     1545   6781 |        0 |        0
841.57/841.76	c  841s |      24 |  4601112 |  4307562 |     1545   6793 |        0 |        0
843.56/843.77	c  843s |      24 |  4611138 |  4317162 |     1545   6804 |        0 |        0
845.56/845.78	c  845s |      24 |  4621733 |  4326862 |     1545   6816 |        0 |        0
847.56/847.78	c  847s |      24 |  4632105 |  4336762 |     1545   6829 |        0 |        0
849.66/849.80	c  849s |      24 |  4642401 |  4346662 |     1545   6841 |        0 |        0
851.66/851.80	c  851s |      24 |  4652419 |  4356462 |     1545   6853 |        0 |        0
853.67/853.82	c  853s |      24 |  4662280 |  4365962 |     1545   6865 |        0 |        0
855.66/855.84	c  855s |      24 |  4672495 |  4375362 |     1545   6877 |        0 |        0
857.66/857.84	c  857s |      24 |  4682476 |  4384862 |     1545   6888 |        0 |        0
859.66/859.86	c  859s |      24 |  4692724 |  4394662 |     1545   6901 |        0 |        0
861.66/861.86	c  861s |      24 |  4702980 |  4404362 |     1545   6913 |        0 |        0
863.66/863.86	c  863s |      24 |  4712897 |  4413862 |     1545   6924 |        0 |        0
865.66/865.87	c  865s |      24 |  4723000 |  4423262 |     1545   6936 |        0 |        0
867.66/867.89	c  867s |      24 |  4732863 |  4432562 |     1545   6948 |        0 |        0
869.65/869.90	c  869s |      24 |  4743014 |  4442162 |     1545   6959 |        0 |        0
871.75/871.90	c  871s |      24 |  4753460 |  4451962 |     1545   6972 |        0 |        0
873.75/873.91	c  873s |      24 |  4763535 |  4461362 |     1545   6983 |        0 |        0
875.75/875.93	c  875s |      24 |  4773490 |  4470862 |     1545   6995 |        0 |        0
877.76/877.94	c  877s |      24 |  4783627 |  4480362 |     1545   7007 |        0 |        0
879.75/879.95	c  879s |      24 |  4793482 |  4489762 |     1545   7018 |        0 |        0
881.75/881.97	c  881s |      24 |  4803569 |  4499162 |     1545   7030 |        0 |        0
883.76/883.98	c  883s |      24 |  4813575 |  4508662 |     1545   7042 |        0 |        0
885.76/885.99	c  885s |      24 |  4823871 |  4518562 |     1545   7054 |        0 |        0
887.86/888.00	c  887s |      24 |  4834436 |  4528562 |     1545   7067 |        0 |        0
889.86/890.02	c  890s |      24 |  4845251 |  4538462 |     1545   7079 |        0 |        0
891.86/892.04	c  892s |      24 |  4855438 |  4548162 |     1545   7091 |        0 |        0
893.86/894.04	c  894s |      24 |  4866606 |  4558362 |     1545   7104 |        0 |        0
895.85/896.05	c  896s |      24 |  4877146 |  4568262 |     1545   7116 |        0 |        0
897.85/898.07	c  898s |      24 |  4887593 |  4577962 |     1545   7128 |        0 |        0
899.86/900.07	c  900s |      24 |  4897773 |  4587462 |     1545   7140 |        0 |        0
901.85/902.08	c  902s |      24 |  4907883 |  4597062 |     1545   7152 |        0 |        0
903.95/904.10	c  904s |      24 |  4918009 |  4606662 |     1545   7164 |        0 |        0
905.95/906.10	c  906s |      24 |  4927857 |  4616162 |     1545   7175 |        0 |        0
907.95/908.11	c  908s |      24 |  4937910 |  4625662 |     1545   7187 |        0 |        0
909.95/910.12	c  910s |      24 |  4948253 |  4635562 |     1545   7199 |        0 |        0
911.96/912.13	c  912s |      24 |  4958494 |  4645162 |     1545   7211 |        0 |        0
913.95/914.14	c  914s |      24 |  4968679 |  4654962 |     1545   7224 |        0 |        0
915.95/916.16	c  916s |      24 |  4978718 |  4664562 |     1545   7235 |        0 |        0
917.95/918.18	c  918s |      24 |  4988934 |  4673962 |     1545   7247 |        0 |        0
919.95/920.19	c  920s |      24 |  4998890 |  4683362 |     1545   7259 |        0 |        0
922.05/922.21	c  922s |      24 |  5009110 |  4693062 |     1545   7271 |        0 |        0
924.05/924.23	c  924s |      24 |  5019023 |  4702262 |     1545   7282 |        0 |        0
926.05/926.24	c  926s |      24 |  5028939 |  4711562 |     1545   7294 |        0 |        0
928.05/928.26	c  928s |      24 |  5038945 |  4720962 |     1545   7306 |        0 |        0
930.05/930.27	c  930s |      24 |  5049089 |  4730262 |     1545   7317 |        0 |        0
932.05/932.29	c  932s |      24 |  5058862 |  4739462 |     1545   7328 |        0 |        0
934.15/934.31	c  934s |      24 |  5068518 |  4748562 |     1545   7340 |        0 |        0
936.15/936.33	c  936s |      24 |  5078503 |  4757762 |     1545   7351 |        0 |        0
938.14/938.35	c  938s |      24 |  5089119 |  4767662 |     1545   7363 |        0 |        0
940.14/940.37	c  940s |      24 |  5099592 |  4777462 |     1545   7376 |        0 |        0
942.14/942.37	c  942s |      24 |  5110294 |  4787362 |     1545   7388 |        0 |        0
944.14/944.37	c  944s |      24 |  5120792 |  4797062 |     1545   7400 |        0 |        0
946.24/946.40	c  946s |      24 |  5131025 |  4806562 |     1545   7412 |        0 |        0
948.25/948.41	c  948s |      24 |  5141230 |  4816162 |     1545   7423 |        0 |        0
950.24/950.42	c  950s |      24 |  5151317 |  4825562 |     1545   7435 |        0 |        0
952.24/952.42	c  952s |      24 |  5161429 |  4835162 |     1545   7447 |        0 |        0
954.24/954.42	c  954s |      24 |  5171846 |  4844862 |     1545   7459 |        0 |        0
956.24/956.42	c  956s |      24 |  5181965 |  4854362 |     1545   7471 |        0 |        0
958.24/958.43	c  958s |      24 |  5192309 |  4863762 |     1545   7482 |        0 |        0
960.25/960.44	c  960s |      24 |  5202652 |  4873462 |     1545   7494 |        0 |        0
962.25/962.46	c  962s |      24 |  5213088 |  4883262 |     1545   7507 |        0 |        0
964.25/964.47	c  964s |      24 |  5223229 |  4892962 |     1545   7519 |        0 |        0
966.25/966.49	c  966s |      24 |  5233184 |  4902562 |     1545   7531 |        0 |        0
968.35/968.50	c  968s |      24 |  5243403 |  4912362 |     1545   7543 |        0 |        0
970.35/970.51	c  970s |      24 |  5253680 |  4922062 |     1545   7555 |        0 |        0
972.35/972.52	c  972s |      24 |  5263758 |  4931562 |     1545   7567 |        0 |        0
974.34/974.52	c  974s |      24 |  5273623 |  4940962 |     1545   7578 |        0 |        0
976.34/976.52	c  976s |      24 |  5283674 |  4950462 |     1545   7590 |        0 |        0
978.34/978.54	c  978s |      24 |  5293572 |  4959962 |     1545   7602 |        0 |        0
980.34/980.56	c  980s |      24 |  5303647 |  4969562 |     1545   7614 |        0 |        0
982.35/982.57	c  982s |      24 |  5313676 |  4979062 |     1545   7625 |        0 |        0
984.34/984.57	c  984s |      24 |  5323516 |  4988262 |     1545   7637 |        0 |        0
986.34/986.59	c  986s |      24 |  5333748 |  4997962 |     1545   7649 |        0 |        0
988.44/988.60	c  988s |      24 |  5343913 |  5007562 |     1545   7661 |        0 |        0
990.44/990.61	c  990s |      24 |  5353622 |  5016862 |     1545   7672 |        0 |        0
992.44/992.61	c  992s |      24 |  5363692 |  5026362 |     1545   7684 |        0 |        0
994.45/994.62	c  994s |      24 |  5373447 |  5035662 |     1700   7695 |        0 |        0
996.44/996.65	c  996s |      24 |  5383604 |  5045162 |     1700   7706 |        0 |        0
998.44/998.66	c  998s |      24 |  5393078 |  5054162 |     1700   7716 |        0 |        0
1000.44/1000.66	c 1000s |      24 |  5403578 |  5063762 |     1700   7727 |        0 |        0
1000.74/1000.94	c 1000s |      25 |  5404958 |  5065098 |     1700   7728 |        0 |        0
1002.74/1002.95	c 1002s |      25 |  5416004 |  5075198 |     1700   7739 |        0 |        0
1004.74/1004.95	c 1004s |      25 |  5426404 |  5084798 |     1700   7750 |        0 |        0
1006.74/1006.97	c 1006s |      25 |  5436845 |  5094798 |     1700   7762 |        0 |        0
1008.74/1008.99	c 1008s |      25 |  5447124 |  5104398 |     1700   7772 |        0 |        0
1010.74/1010.99	c 1010s |      25 |  5457529 |  5113998 |     1700   7783 |        0 |        0
1012.84/1013.00	c 1012s |      25 |  5468190 |  5123798 |     1700   7794 |        0 |        0
1014.83/1015.00	c 1014s |      25 |  5478325 |  5133298 |     1700   7805 |        0 |        0
1016.83/1017.01	c 1016s |      25 |  5488680 |  5142998 |     1700   7816 |        0 |        0
1018.83/1019.02	c 1019s |      25 |  5498858 |  5152598 |     1700   7827 |        0 |        0
1020.84/1021.03	c 1021s |      25 |  5508905 |  5162198 |     1700   7838 |        0 |        0
1022.83/1023.03	c 1023s |      25 |  5518702 |  5171198 |     1700   7848 |        0 |        0
1024.83/1025.04	c 1025s |      25 |  5528877 |  5180798 |     1700   7859 |        0 |        0
1026.83/1027.05	c 1027s |      25 |  5539081 |  5190498 |     1700   7870 |        0 |        0
1028.83/1029.06	c 1029s |      25 |  5549220 |  5200098 |     1700   7880 |        0 |        0
1030.84/1031.07	c 1031s |      25 |  5559421 |  5209598 |     1700   7891 |        0 |        0
1032.84/1033.09	c 1033s |      25 |  5569852 |  5219298 |     1700   7902 |        0 |        0
1034.94/1035.10	c 1035s |      25 |  5579989 |  5228798 |     1700   7913 |        0 |        0
1036.94/1037.11	c 1037s |      25 |  5590046 |  5238098 |     1700   7923 |        0 |        0
1038.94/1039.12	c 1039s |      25 |  5600322 |  5247498 |     1700   7934 |        0 |        0
1040.93/1041.13	c 1041s |      25 |  5610765 |  5256898 |     1700   7945 |        0 |        0
1042.93/1043.13	c 1043s |      25 |  5621070 |  5266398 |     1700   7955 |        0 |        0
1044.94/1045.15	c 1045s |      25 |  5631462 |  5276098 |     1700   7966 |        0 |        0
1046.93/1047.15	c 1047s |      25 |  5641689 |  5285598 |     1700   7977 |        0 |        0
1048.93/1049.15	c 1049s |      25 |  5651778 |  5294998 |     1700   7988 |        0 |        0
1050.93/1051.16	c 1051s |      25 |  5662143 |  5304598 |     1700   7999 |        0 |        0
1052.93/1053.18	c 1053s |      25 |  5672135 |  5313998 |     1700   8009 |        0 |        0
1054.94/1055.19	c 1055s |      25 |  5682337 |  5323398 |     1700   8020 |        0 |        0
1057.04/1057.21	c 1057s |      25 |  5692473 |  5332998 |     1700   8031 |        0 |        0
1059.03/1059.22	c 1059s |      25 |  5702391 |  5342498 |     1700   8041 |        0 |        0
1061.03/1061.24	c 1061s |      25 |  5712131 |  5351698 |     1700   8052 |        0 |        0
1063.03/1063.26	c 1063s |      25 |  5722012 |  5360898 |     1700   8062 |        0 |        0
1065.03/1065.26	c 1065s |      25 |  5732355 |  5370498 |     1700   8073 |        0 |        0
1067.03/1067.27	c 1067s |      25 |  5743073 |  5380198 |     1700   8084 |        0 |        0
1069.03/1069.28	c 1069s |      25 |  5753727 |  5389898 |     1700   8095 |        0 |        0
1071.03/1071.29	c 1071s |      25 |  5764175 |  5399498 |     1700   8106 |        0 |        0
1073.03/1073.29	c 1073s |      25 |  5774731 |  5409098 |     1700   8116 |        0 |        0
1075.13/1075.31	c 1075s |      25 |  5785528 |  5418798 |     1700   8127 |        0 |        0
1077.13/1077.31	c 1077s |      25 |  5795484 |  5428298 |     1700   8138 |        0 |        0
1079.13/1079.32	c 1079s |      25 |  5805478 |  5437598 |     1700   8149 |        0 |        0
1081.12/1081.32	c 1081s |      25 |  5815647 |  5446898 |     1700   8159 |        0 |        0
1083.12/1083.34	c 1083s |      25 |  5826087 |  5456298 |     1700   8170 |        0 |        0
1085.12/1085.35	c 1085s |      25 |  5836052 |  5465698 |     1700   8180 |        0 |        0
1087.12/1087.36	c 1087s |      25 |  5846211 |  5475098 |     1700   8191 |        0 |        0
1089.12/1089.36	c 1089s |      25 |  5856614 |  5484698 |     1700   8202 |        0 |        0
1091.13/1091.38	c 1091s |      25 |  5867061 |  5494398 |     1700   8213 |        0 |        0
1093.12/1093.38	c 1093s |      25 |  5877473 |  5504098 |     1700   8224 |        0 |        0
1095.12/1095.39	c 1095s |      25 |  5887934 |  5513598 |     1700   8235 |        0 |        0
1097.22/1097.40	c 1097s |      25 |  5898328 |  5523198 |     1700   8245 |        0 |        0
1099.22/1099.42	c 1099s |      25 |  5908518 |  5532598 |     1700   8256 |        0 |        0
1101.22/1101.43	c 1101s |      25 |  5918736 |  5541998 |     1700   8267 |        0 |        0
1103.23/1103.44	c 1103s |      25 |  5928951 |  5551398 |     1700   8277 |        0 |        0
1105.22/1105.45	c 1105s |      25 |  5939199 |  5561098 |     1700   8288 |        0 |        0
1107.22/1107.46	c 1107s |      25 |  5948993 |  5570398 |     1700   8299 |        0 |        0
1109.22/1109.46	c 1109s |      25 |  5959580 |  5579798 |     1700   8310 |        0 |        0
1111.22/1111.47	c 1111s |      25 |  5969370 |  5588898 |     1700   8320 |        0 |        0
1113.22/1113.48	c 1113s |      25 |  5979489 |  5598198 |     1700   8330 |        0 |        0
1115.22/1115.49	c 1115s |      25 |  5989476 |  5607298 |     1700   8341 |        0 |        0
1117.32/1117.50	c 1117s |      25 |  5999711 |  5616798 |     1700   8351 |        0 |        0
1119.32/1119.50	c 1119s |      25 |  6009823 |  5626298 |     1700   8362 |        0 |        0
1121.32/1121.52	c 1121s |      25 |  6019823 |  5635598 |     1700   8373 |        0 |        0
1123.32/1123.53	c 1123s |      25 |  6029715 |  5645098 |     1700   8383 |        0 |        0
1125.32/1125.55	c 1125s |      25 |  6039782 |  5654698 |     1700   8394 |        0 |        0
1127.31/1127.55	c 1127s |      25 |  6049531 |  5663898 |     1700   8405 |        0 |        0
1129.31/1129.57	c 1129s |      25 |  6059259 |  5673098 |     1700   8415 |        0 |        0
1131.41/1131.60	c 1131s |      25 |  6069221 |  5682398 |     1700   8425 |        0 |        0
1133.41/1133.61	c 1133s |      25 |  6079032 |  5691798 |     1700   8436 |        0 |        0
1135.41/1135.62	c 1135s |      25 |  6088801 |  5701098 |     1700   8447 |        0 |        0
1137.42/1137.64	c 1137s |      25 |  6098896 |  5710598 |     1700   8457 |        0 |        0
1139.41/1139.65	c 1139s |      25 |  6108721 |  5719998 |     1700   8468 |        0 |        0
1141.41/1141.66	c 1141s |      25 |  6118554 |  5729398 |     1700   8479 |        0 |        0
1143.41/1143.66	c 1143s |      25 |  6128479 |  5738798 |     1700   8489 |        0 |        0
1145.41/1145.67	c 1145s |      25 |  6138355 |  5748198 |     1700   8500 |        0 |        0
1147.42/1147.69	c 1147s |      25 |  6148428 |  5757598 |     1700   8511 |        0 |        0
1149.43/1149.70	c 1149s |      25 |  6158281 |  5766898 |     1700   8521 |        0 |        0
1151.52/1151.72	c 1151s |      25 |  6168039 |  5776198 |     1700   8532 |        0 |        0
1153.52/1153.74	c 1153s |      25 |  6178379 |  5785898 |     1700   8543 |        0 |        0
1155.52/1155.76	c 1155s |      25 |  6188389 |  5795298 |     1700   8553 |        0 |        0
1157.52/1157.76	c 1157s |      25 |  6198278 |  5804698 |     1700   8564 |        0 |        0
1159.51/1159.79	c 1159s |      25 |  6208029 |  5813998 |     1700   8574 |        0 |        0
1161.52/1161.80	c 1161s |      25 |  6217966 |  5823398 |     1700   8585 |        0 |        0
1163.61/1163.81	c 1163s |      25 |  6228408 |  5833098 |     1700   8596 |        0 |        0
1165.61/1165.81	c 1165s |      25 |  6239147 |  5842898 |     1700   8607 |        0 |        0
1167.61/1167.82	c 1167s |      25 |  6249315 |  5852498 |     1700   8618 |        0 |        0
1169.61/1169.85	c 1169s |      25 |  6259504 |  5861998 |     1700   8629 |        0 |        0
1171.61/1171.86	c 1171s |      25 |  6269895 |  5871498 |     1700   8639 |        0 |        0
1173.62/1173.87	c 1173s |      25 |  6280044 |  5880898 |     1700   8650 |        0 |        0
1175.61/1175.89	c 1175s |      25 |  6290014 |  5890498 |     1700   8661 |        0 |        0
1177.71/1177.90	c 1177s |      25 |  6299980 |  5899998 |     1700   8671 |        0 |        0
1179.71/1179.91	c 1179s |      25 |  6309803 |  5909398 |     1700   8682 |        0 |        0
1181.71/1181.92	c 1181s |      25 |  6319564 |  5918698 |     1700   8693 |        0 |        0
1183.71/1183.92	c 1183s |      25 |  6329340 |  5927898 |     1700   8703 |        0 |        0
1185.71/1185.92	c 1185s |      25 |  6339420 |  5937298 |     1700   8714 |        0 |        0
1187.71/1187.93	c 1187s |      25 |  6349206 |  5946598 |     1700   8724 |        0 |        0
1189.71/1189.94	c 1189s |      25 |  6359005 |  5955698 |     1700   8734 |        0 |        0
1191.70/1191.96	c 1191s |      25 |  6368421 |  5964598 |     1700   8744 |        0 |        0
1193.70/1193.96	c 1193s |      25 |  6378079 |  5973798 |     1700   8755 |        0 |        0
1195.71/1195.97	c 1195s |      25 |  6387950 |  5983298 |     1700   8766 |        0 |        0
1197.70/1197.98	c 1197s |      25 |  6397682 |  5992598 |     1700   8776 |        0 |        0
1199.70/1199.99	c 1199s |      25 |  6407457 |  6001898 |     1700   8787 |        0 |        0
1201.80/1202.01	c 1201s |      25 |  6417162 |  6011098 |     1700   8797 |        0 |        0
1203.80/1204.01	c 1203s |      25 |  6426674 |  6020298 |     1700   8807 |        0 |        0
1205.81/1206.03	c 1206s |      25 |  6436343 |  6029498 |     1700   8818 |        0 |        0
1207.82/1208.04	c 1208s |      25 |  6446215 |  6038898 |     1700   8828 |        0 |        0
1209.81/1210.05	c 1210s |      25 |  6455728 |  6047998 |     1700   8839 |        0 |        0
1211.81/1212.06	c 1212s |      25 |  6465359 |  6057098 |     1700   8849 |        0 |        0
1213.81/1214.07	c 1214s |      25 |  6474895 |  6066198 |     1700   8859 |        0 |        0
1215.81/1216.07	c 1216s |      25 |  6484708 |  6075598 |     1700   8870 |        0 |        0
1217.81/1218.09	c 1218s |      25 |  6495582 |  6085898 |     1700   8882 |        0 |        0
1219.81/1220.10	c 1220s |      25 |  6506192 |  6095998 |     1700   8893 |        0 |        0
1221.91/1222.10	c 1222s |      25 |  6516394 |  6105498 |     1700   8904 |        0 |        0
1223.91/1224.11	c 1224s |      25 |  6526837 |  6115198 |     1700   8915 |        0 |        0
1225.91/1226.13	c 1226s |      25 |  6537051 |  6124898 |     1700   8926 |        0 |        0
1227.91/1228.14	c 1228s |      25 |  6547740 |  6134698 |     1700   8937 |        0 |        0
1229.91/1230.14	c 1230s |      25 |  6557810 |  6144098 |     1700   8947 |        0 |        0
1231.91/1232.15	c 1232s |      25 |  6567919 |  6153598 |     1700   8958 |        0 |        0
1233.90/1234.18	c 1234s |      25 |  6577917 |  6162998 |     1700   8969 |        0 |        0
1235.90/1236.18	c 1236s |      25 |  6587657 |  6172198 |     1700   8979 |        0 |        0
1238.00/1238.20	c 1238s |      25 |  6599113 |  6182498 |     1700   8991 |        0 |        0
1240.00/1240.21	c 1240s |      25 |  6609705 |  6192298 |     1700   9002 |        0 |        0
1242.00/1242.22	c 1242s |      25 |  6620253 |  6202098 |     1700   9013 |        0 |        0
1244.01/1244.24	c 1244s |      25 |  6630590 |  6211798 |     1700   9024 |        0 |        0
1246.00/1246.25	c 1246s |      25 |  6640985 |  6221298 |     1700   9034 |        0 |        0
1248.00/1248.26	c 1248s |      25 |  6651154 |  6230798 |     1700   9045 |        0 |        0
1250.00/1250.26	c 1250s |      25 |  6660998 |  6240098 |     1700   9056 |        0 |        0
1252.00/1252.29	c 1252s |      25 |  6671808 |  6249898 |     1700   9067 |        0 |        0
1254.10/1254.31	c 1254s |      25 |  6682116 |  6259598 |     1700   9078 |        0 |        0
1256.11/1256.33	c 1256s |      25 |  6692612 |  6269398 |     1700   9089 |        0 |        0
1258.10/1258.34	c 1258s |      25 |  6702965 |  6279098 |     1700   9100 |        0 |        0
1260.10/1260.36	c 1260s |      25 |  6713267 |  6288498 |     1700   9110 |        0 |        0
1262.10/1262.38	c 1262s |      25 |  6723682 |  6297998 |     1700   9121 |        0 |        0
1264.10/1264.39	c 1264s |      25 |  6733825 |  6307598 |     1700   9132 |        0 |        0
1266.20/1266.40	c 1266s |      25 |  6743769 |  6316898 |     1700   9142 |        0 |        0
1268.20/1268.41	c 1268s |      25 |  6754156 |  6326198 |     1700   9153 |        0 |        0
1270.19/1270.42	c 1270s |      25 |  6764133 |  6335498 |     1700   9163 |        0 |        0
1272.19/1272.43	c 1272s |      25 |  6774699 |  6345198 |     1700   9174 |        0 |        0
1274.19/1274.46	c 1274s |      25 |  6785270 |  6354798 |     1700   9185 |        0 |        0
1276.19/1276.46	c 1276s |      25 |  6795394 |  6364098 |     1700   9195 |        0 |        0
1278.20/1278.48	c 1278s |      25 |  6805442 |  6373598 |     1700   9206 |        0 |        0
1280.19/1280.49	c 1280s |      25 |  6815393 |  6382998 |     1700   9217 |        0 |        0
1282.29/1282.51	c 1282s |      25 |  6825247 |  6392398 |     1700   9227 |        0 |        0
1284.29/1284.52	c 1284s |      25 |  6835158 |  6401798 |     1700   9238 |        0 |        0
1286.29/1286.53	c 1286s |      25 |  6845402 |  6411398 |     1700   9249 |        0 |        0
1288.29/1288.54	c 1288s |      25 |  6855873 |  6420998 |     1700   9260 |        0 |        0
1290.30/1290.56	c 1290s |      25 |  6866083 |  6430698 |     1700   9271 |        0 |        0
1292.29/1292.57	c 1292s |      25 |  6876335 |  6439998 |     1700   9281 |        0 |        0
1294.29/1294.58	c 1294s |      25 |  6886272 |  6449298 |     1700   9292 |        0 |        0
1296.29/1296.58	c 1296s |      25 |  6896546 |  6458698 |     1700   9302 |        0 |        0
1298.39/1298.60	c 1298s |      25 |  6906380 |  6467898 |     1700   9313 |        0 |        0
1300.39/1300.61	c 1300s |      25 |  6916805 |  6477698 |     1700   9324 |        0 |        0
1302.40/1302.63	c 1302s |      25 |  6927273 |  6487398 |     1700   9335 |        0 |        0
1304.39/1304.63	c 1304s |      25 |  6937348 |  6496998 |     1700   9346 |        0 |        0
1306.39/1306.64	c 1306s |      25 |  6947238 |  6506298 |     1700   9356 |        0 |        0
1308.39/1308.64	c 1308s |      25 |  6957157 |  6515598 |     1700   9367 |        0 |        0
1310.39/1310.65	c 1310s |      25 |  6967268 |  6525198 |     1700   9378 |        0 |        0
1312.39/1312.66	c 1312s |      25 |  6977484 |  6534598 |     1700   9388 |        0 |        0
1314.39/1314.68	c 1314s |      25 |  6987489 |  6543898 |     1700   9399 |        0 |        0
1316.48/1316.70	c 1316s |      25 |  6997499 |  6553198 |     1700   9409 |        0 |        0
1318.48/1318.72	c 1318s |      25 |  7007607 |  6562598 |     1700   9420 |        0 |        0
1320.48/1320.74	c 1320s |      25 |  7017386 |  6571498 |     1700   9430 |        0 |        0
1322.48/1322.75	c 1322s |      25 |  7028014 |  6581198 |     1700   9441 |        0 |        0
1324.48/1324.77	c 1324s |      25 |  7037916 |  6590598 |     1700   9452 |        0 |        0
1326.49/1326.77	c 1326s |      25 |  7047989 |  6600198 |     1700   9463 |        0 |        0
1328.49/1328.78	c 1328s |      25 |  7058035 |  6609798 |     1700   9473 |        0 |        0
1330.49/1330.78	c 1330s |      25 |  7068288 |  6619198 |     1700   9484 |        0 |        0
1332.49/1332.79	c 1332s |      25 |  7078323 |  6628598 |     1700   9495 |        0 |        0
1334.59/1334.81	c 1334s |      25 |  7088132 |  6637998 |     1700   9505 |        0 |        0
1336.59/1336.82	c 1336s |      25 |  7097744 |  6647198 |     1700   9516 |        0 |        0
1338.59/1338.83	c 1338s |      25 |  7107834 |  6656598 |     1700   9526 |        0 |        0
1340.59/1340.84	c 1340s |      25 |  7117766 |  6665898 |     1700   9537 |        0 |        0
1342.59/1342.85	c 1342s |      25 |  7127938 |  6675098 |     1700   9547 |        0 |        0
1344.58/1344.85	c 1344s |      25 |  7138026 |  6684598 |     1700   9558 |        0 |        0
1346.58/1346.87	c 1346s |      25 |  7148138 |  6693998 |     1700   9569 |        0 |        0
1348.59/1348.88	c 1348s |      25 |  7158112 |  6703298 |     1700   9579 |        0 |        0
1350.58/1350.90	c 1350s |      25 |  7167625 |  6712298 |     1700   9590 |        0 |        0
1352.68/1352.92	c 1352s |      25 |  7177488 |  6721498 |     1700   9600 |        0 |        0
1354.68/1354.92	c 1354s |      25 |  7187305 |  6730698 |     1700   9610 |        0 |        0
1356.68/1356.93	c 1356s |      25 |  7197459 |  6740398 |     1700   9621 |        0 |        0
1358.68/1358.94	c 1358s |      25 |  7207427 |  6749898 |     1700   9632 |        0 |        0
1360.69/1360.96	c 1360s |      25 |  7217502 |  6759398 |     1700   9643 |        0 |        0
1362.68/1362.96	c 1362s |      25 |  7227541 |  6768798 |     1700   9653 |        0 |        0
1364.68/1364.97	c 1364s |      25 |  7237409 |  6778198 |     1700   9664 |        0 |        0
1366.68/1366.98	c 1366s |      25 |  7247536 |  6787798 |     1700   9675 |        0 |        0
1368.68/1368.99	c 1368s |      25 |  7257483 |  6797398 |     1700   9686 |        0 |        0
1370.78/1371.00	c 1370s |      25 |  7267429 |  6806898 |     1700   9697 |        0 |        0
1372.78/1373.00	c 1372s |      25 |  7277055 |  6816098 |     1700   9707 |        0 |        0
1374.78/1375.00	c 1374s |      25 |  7286877 |  6825398 |     1700   9717 |        0 |        0
1376.78/1377.01	c 1376s |      25 |  7296647 |  6834598 |     1700   9728 |        0 |        0
1378.78/1379.03	c 1379s |      25 |  7306474 |  6843798 |     1700   9738 |        0 |        0
1380.78/1381.04	c 1381s |      25 |  7315787 |  6852598 |     1700   9748 |        0 |        0
1382.77/1383.04	c 1383s |      25 |  7325749 |  6861998 |     1700   9759 |        0 |        0
1384.78/1385.05	c 1385s |      25 |  7335861 |  6871598 |     1700   9770 |        0 |        0
1386.77/1387.06	c 1387s |      25 |  7345804 |  6881098 |     1700   9781 |        0 |        0
1388.77/1389.07	c 1389s |      25 |  7355937 |  6890798 |     1700   9792 |        0 |        0
1390.77/1391.07	c 1391s |      25 |  7365839 |  6900198 |     1700   9802 |        0 |        0
1392.78/1393.08	c 1393s |      25 |  7375880 |  6909698 |     1700   9813 |        0 |        0
1394.79/1395.09	c 1395s |      25 |  7385549 |  6918798 |     1700   9823 |        0 |        0
1396.78/1397.09	c 1397s |      25 |  7395444 |  6928198 |     1700   9834 |        0 |        0
1398.88/1399.11	c 1399s |      25 |  7405378 |  6937598 |     1700   9845 |        0 |        0
1400.88/1401.12	c 1401s |      25 |  7415582 |  6947098 |     1700   9855 |        0 |        0
1402.87/1403.14	c 1403s |      25 |  7425632 |  6956398 |     1700   9866 |        0 |        0
1404.87/1405.16	c 1405s |      25 |  7435339 |  6965598 |     1700   9876 |        0 |        0
1406.88/1407.17	c 1407s |      25 |  7445289 |  6974798 |     1700   9887 |        0 |        0
1408.87/1409.18	c 1409s |      25 |  7455273 |  6984098 |     1700   9897 |        0 |        0
1410.97/1411.20	c 1411s |      25 |  7464933 |  6993298 |     1700   9908 |        0 |        0
1412.97/1413.22	c 1413s |      25 |  7474792 |  7002598 |     1700   9918 |        0 |        0
1414.97/1415.24	c 1415s |      25 |  7484354 |  7011598 |     1700   9929 |        0 |        0
1416.97/1417.24	c 1417s |      25 |  7493973 |  7020798 |     1700   9939 |        0 |        0
1418.98/1419.24	c 1419s |      25 |  7503832 |  7029998 |     1700   9949 |        0 |        0
1420.97/1421.25	c 1421s |      25 |  7514055 |  7039498 |     1700   9960 |        0 |        0
1422.97/1423.26	c 1423s |      25 |  7524114 |  7048898 |     1700   9971 |        0 |        0
1424.98/1425.27	c 1425s |      25 |  7534138 |  7058298 |     1700   9981 |        0 |        0
1426.98/1427.27	c 1427s |      25 |  7543876 |  7067498 |     1700   9992 |        0 |        0
1428.97/1429.29	c 1429s |      25 |  7553843 |  7076898 |     1700  10002 |        0 |        0
1430.98/1431.30	c 1431s |      25 |  7563912 |  7086298 |     1700  10013 |        0 |        0
1433.07/1433.32	c 1433s |      25 |  7574099 |  7095898 |     1700  10024 |        0 |        0
1435.07/1435.33	c 1435s |      25 |  7584104 |  7105298 |     1700  10035 |        0 |        0
1437.07/1437.34	c 1437s |      25 |  7594026 |  7114598 |     1700  10045 |        0 |        0
1439.07/1439.35	c 1439s |      25 |  7603933 |  7123998 |     1700  10056 |        0 |        0
1441.07/1441.36	c 1441s |      25 |  7613892 |  7133498 |     1700  10066 |        0 |        0
1443.07/1443.37	c 1443s |      25 |  7624007 |  7142998 |     1700  10077 |        0 |        0
1445.06/1445.37	c 1445s |      25 |  7633910 |  7152298 |     1700  10088 |        0 |        0
1447.06/1447.39	c 1447s |      25 |  7644131 |  7161898 |     1700  10099 |        0 |        0
1449.16/1449.41	c 1449s |      25 |  7654294 |  7171398 |     1700  10109 |        0 |        0
1451.16/1451.43	c 1451s |      25 |  7664378 |  7180698 |     1700  10120 |        0 |        0
1453.16/1453.44	c 1453s |      25 |  7674439 |  7189998 |     1700  10131 |        0 |        0
1455.17/1455.45	c 1455s |      25 |  7684539 |  7199298 |     1700  10141 |        0 |        0
1457.16/1457.47	c 1457s |      25 |  7694898 |  7208598 |     1700  10152 |        0 |        0
1459.16/1459.48	c 1459s |      25 |  7705129 |  7217698 |     1700  10162 |        0 |        0
1461.25/1461.50	c 1461s |      25 |  7715039 |  7227098 |     1700  10173 |        0 |        0
1463.25/1463.52	c 1463s |      25 |  7724941 |  7236398 |     1700  10183 |        0 |        0
1465.25/1465.53	c 1465s |      25 |  7734757 |  7245698 |     1700  10194 |        0 |        0
1467.26/1467.55	c 1467s |      25 |  7744660 |  7254898 |     1700  10204 |        0 |        0
1469.25/1469.57	c 1469s |      25 |  7754773 |  7264198 |     1700  10215 |        0 |        0
1471.25/1471.59	c 1471s |      25 |  7765357 |  7273698 |     1700  10225 |        0 |        0
1473.35/1473.61	c 1473s |      25 |  7775612 |  7283098 |     1700  10236 |        0 |        0
1475.35/1475.61	c 1475s |      25 |  7785644 |  7292498 |     1700  10247 |        0 |        0
1477.34/1477.63	c 1477s |      25 |  7795541 |  7301598 |     1700  10257 |        0 |        0
1479.35/1479.64	c 1479s |      25 |  7805630 |  7310898 |     1700  10267 |        0 |        0
1481.34/1481.64	c 1481s |      25 |  7815483 |  7320198 |     1700  10278 |        0 |        0
1483.34/1483.65	c 1483s |      25 |  7825472 |  7329398 |     1700  10288 |        0 |        0
1485.34/1485.67	c 1485s |      25 |  7835422 |  7338798 |     1700  10299 |        0 |        0
1487.34/1487.69	c 1487s |      25 |  7845531 |  7348098 |     1700  10310 |        0 |        0
1489.44/1489.71	c 1489s |      25 |  7855186 |  7357098 |     1700  10320 |        0 |        0
1491.44/1491.72	c 1491s |      25 |  7865347 |  7366498 |     1700  10330 |        0 |        0
1493.44/1493.73	c 1493s |      25 |  7875269 |  7375898 |     1700  10341 |        0 |        0
1495.44/1495.74	c 1495s |      25 |  7885008 |  7384998 |     1700  10351 |        0 |        0
1497.44/1497.74	c 1497s |      25 |  7894574 |  7393998 |     1700  10362 |        0 |        0
1499.44/1499.74	c 1499s |      25 |  7904495 |  7402998 |     1700  10372 |        0 |        0
1501.44/1501.76	c 1501s |      25 |  7914340 |  7411998 |     1700  10382 |        0 |        0
1503.44/1503.78	c 1503s |      25 |  7923982 |  7421098 |     1700  10392 |        0 |        0
1505.44/1505.79	c 1505s |      25 |  7933716 |  7429998 |     1700  10403 |        0 |        0
1507.44/1507.79	c 1507s |      25 |  7944164 |  7439898 |     1700  10414 |        0 |        0
1509.53/1509.81	c 1509s |      25 |  7954512 |  7449698 |     1700  10425 |        0 |        0
1511.53/1511.83	c 1511s |      25 |  7964717 |  7459298 |     1700  10436 |        0 |        0
1513.54/1513.83	c 1513s |      25 |  7974593 |  7468698 |     1700  10446 |        0 |        0
1515.53/1515.85	c 1515s |      25 |  7984547 |  7478098 |     1700  10457 |        0 |        0
1517.53/1517.86	c 1517s |      25 |  7994474 |  7487398 |     1700  10467 |        0 |        0
1519.52/1519.88	c 1519s |      25 |  8004216 |  7496598 |     1700  10478 |        0 |        0
1521.52/1521.89	c 1521s |      25 |  8014193 |  7505898 |     1700  10488 |        0 |        0
1523.62/1523.90	c 1523s |      25 |  8024227 |  7515298 |     1700  10499 |        0 |        0
1525.53/1525.90	c 1525s |      25 |  8034656 |  7525098 |     1700  10510 |        0 |        0
1527.62/1527.92	c 1527s |      25 |  8044823 |  7534698 |     1700  10521 |        0 |        0
1529.62/1529.94	c 1529s |      25 |  8054987 |  7544198 |     1871  10531 |        0 |        0
1531.62/1531.96	c 1531s |      25 |  8064765 |  7553498 |     1871  10541 |        0 |        0
1533.62/1533.97	c 1533s |      25 |  8074372 |  7562698 |     1871  10550 |        0 |        0
1535.62/1535.99	c 1535s |      25 |  8084387 |  7572198 |     1871  10560 |        0 |        0
1537.72/1538.01	c 1537s |      25 |  8094428 |  7581598 |     1871  10570 |        0 |        0
1539.71/1540.02	c 1540s |      25 |  8104241 |  7590798 |     1871  10579 |        0 |        0
1541.21/1541.57	c 1541s |      26 |  8111809 |  7597752 |     1871  10586 |        0 |        0
1543.22/1543.57	c 1543s |      26 |  8122189 |  7607552 |     1871  10596 |        0 |        0
1545.21/1545.58	c 1545s |      26 |  8132438 |  7617252 |     1871  10606 |        0 |        0
1547.31/1547.60	c 1547s |      26 |  8143096 |  7627052 |     1871  10616 |        0 |        0
1549.30/1549.61	c 1549s |      26 |  8153503 |  7636752 |     1871  10626 |        0 |        0
1551.30/1551.64	c 1551s |      26 |  8164022 |  7646452 |     1871  10636 |        0 |        0
1553.30/1553.65	c 1553s |      26 |  8174673 |  7656352 |     1871  10646 |        0 |        0
1555.31/1555.65	c 1555s |      26 |  8185085 |  7666152 |     1871  10657 |        0 |        0
1557.30/1557.66	c 1557s |      26 |  8195291 |  7675552 |     1871  10666 |        0 |        0
1559.30/1559.67	c 1559s |      26 |  8206246 |  7685352 |     1871  10676 |        0 |        0
1561.30/1561.67	c 1561s |      26 |  8216699 |  7694952 |     1871  10686 |        0 |        0
1563.30/1563.68	c 1563s |      26 |  8227058 |  7704452 |     1871  10696 |        0 |        0
1565.39/1565.70	c 1565s |      26 |  8237368 |  7713852 |     1871  10706 |        0 |        0
1567.41/1567.71	c 1567s |      26 |  8247826 |  7723752 |     1871  10716 |        0 |        0
1569.40/1569.73	c 1569s |      26 |  8258059 |  7733152 |     1871  10726 |        0 |        0
1571.40/1571.75	c 1571s |      26 |  8268504 |  7742952 |     1871  10736 |        0 |        0
1573.40/1573.76	c 1573s |      26 |  8278987 |  7752752 |     1871  10746 |        0 |        0
1575.40/1575.76	c 1575s |      26 |  8289298 |  7762252 |     1871  10755 |        0 |        0
1577.40/1577.76	c 1577s |      26 |  8299723 |  7771852 |     1871  10765 |        0 |        0
1579.40/1579.78	c 1579s |      26 |  8310280 |  7781452 |     1871  10775 |        0 |        0
1581.39/1581.79	c 1581s |      26 |  8320634 |  7791052 |     1871  10785 |        0 |        0
1583.49/1583.80	c 1583s |      26 |  8330823 |  7800452 |     1871  10795 |        0 |        0
1585.49/1585.80	c 1585s |      26 |  8340821 |  7809752 |     1871  10804 |        0 |        0
1587.49/1587.80	c 1587s |      26 |  8350665 |  7818952 |     1871  10814 |        0 |        0
1589.49/1589.82	c 1589s |      26 |  8361174 |  7828752 |     1871  10824 |        0 |        0
1591.49/1591.83	c 1591s |      26 |  8372019 |  7838752 |     1871  10834 |        0 |        0
1593.49/1593.83	c 1593s |      26 |  8382789 |  7848752 |     1871  10844 |        0 |        0
1595.48/1595.84	c 1595s |      26 |  8393807 |  7858752 |     1871  10855 |        0 |        0
1597.48/1597.84	c 1597s |      26 |  8404530 |  7868652 |     1871  10865 |        0 |        0
1599.48/1599.86	c 1599s |      26 |  8415193 |  7878352 |     1871  10875 |        0 |        0
1601.48/1601.87	c 1601s |      26 |  8425420 |  7887752 |     1871  10885 |        0 |        0
1603.48/1603.88	c 1603s |      26 |  8436251 |  7897452 |     1871  10895 |        0 |        0
1605.48/1605.88	c 1605s |      26 |  8446622 |  7907052 |     1871  10905 |        0 |        0
1607.48/1607.89	c 1607s |      26 |  8456813 |  7916552 |     1871  10914 |        0 |        0
1609.57/1609.91	c 1609s |      26 |  8467099 |  7926152 |     1871  10924 |        0 |        0
1611.57/1611.91	c 1611s |      26 |  8477246 |  7935452 |     1871  10934 |        0 |        0
1613.57/1613.91	c 1613s |      26 |  8487612 |  7944952 |     1871  10944 |        0 |        0
1615.58/1615.92	c 1615s |      26 |  8498069 |  7954552 |     1871  10953 |        0 |        0
1617.58/1617.92	c 1617s |      26 |  8508214 |  7963752 |     1871  10963 |        0 |        0
1619.57/1619.93	c 1619s |      26 |  8518387 |  7973052 |     1871  10973 |        0 |        0
1621.57/1621.94	c 1621s |      26 |  8528642 |  7982352 |     1871  10982 |        0 |        0
1623.57/1623.95	c 1623s |      26 |  8539176 |  7991952 |     1871  10992 |        0 |        0
1625.58/1625.97	c 1625s |      26 |  8549754 |  8001552 |     1871  11002 |        0 |        0
1627.57/1627.99	c 1627s |      26 |  8560140 |  8010952 |     1871  11012 |        0 |        0
1629.66/1630.00	c 1629s |      26 |  8570086 |  8020352 |     1871  11021 |        0 |        0
1631.66/1632.01	c 1631s |      26 |  8580500 |  8029952 |     1871  11031 |        0 |        0
1633.66/1634.03	c 1634s |      26 |  8590783 |  8039352 |     1871  11041 |        0 |        0
1635.66/1636.04	c 1636s |      26 |  8601100 |  8048652 |     1871  11050 |        0 |        0
1637.67/1638.05	c 1638s |      26 |  8611025 |  8058052 |     1871  11060 |        0 |        0
1639.66/1640.06	c 1640s |      26 |  8621188 |  8067652 |     1871  11070 |        0 |        0
1641.65/1642.08	c 1642s |      26 |  8631369 |  8077252 |     1871  11080 |        0 |        0
1643.65/1644.08	c 1644s |      26 |  8641584 |  8086752 |     1871  11090 |        0 |        0
1645.75/1646.10	c 1646s |      26 |  8651894 |  8096352 |     1871  11100 |        0 |        0
1647.75/1648.11	c 1648s |      26 |  8662300 |  8105952 |     1871  11109 |        0 |        0
1649.76/1650.12	c 1650s |      26 |  8672496 |  8115152 |     1871  11119 |        0 |        0
1651.75/1652.12	c 1652s |      26 |  8682283 |  8124252 |     1871  11128 |        0 |        0
1653.75/1654.13	c 1654s |      26 |  8692424 |  8133552 |     1871  11138 |        0 |        0
1655.75/1656.15	c 1656s |      26 |  8702532 |  8142952 |     1871  11148 |        0 |        0
1657.75/1658.16	c 1658s |      26 |  8713270 |  8152852 |     1871  11158 |        0 |        0
1659.75/1660.18	c 1660s |      26 |  8723658 |  8162452 |     1871  11168 |        0 |        0
1661.75/1662.19	c 1662s |      26 |  8733769 |  8171652 |     1871  11177 |        0 |        0
1663.85/1664.21	c 1664s |      26 |  8743905 |  8181152 |     1871  11187 |        0 |        0
1665.85/1666.23	c 1666s |      26 |  8753834 |  8190552 |     1871  11197 |        0 |        0
1667.85/1668.23	c 1668s |      26 |  8764141 |  8200052 |     1871  11206 |        0 |        0
1669.85/1670.24	c 1670s |      26 |  8774628 |  8209652 |     1871  11216 |        0 |        0
1671.85/1672.25	c 1672s |      26 |  8784986 |  8219152 |     1871  11226 |        0 |        0
1673.84/1674.25	c 1674s |      26 |  8795277 |  8228552 |     1871  11236 |        0 |        0
1675.84/1676.27	c 1676s |      26 |  8805109 |  8237752 |     1871  11245 |        0 |        0
1677.84/1678.28	c 1678s |      26 |  8815924 |  8247552 |     1871  11255 |        0 |        0
1679.84/1680.29	c 1680s |      26 |  8825923 |  8257152 |     1871  11265 |        0 |        0
1681.84/1682.29	c 1682s |      26 |  8836225 |  8266852 |     1871  11275 |        0 |        0
1683.94/1684.31	c 1684s |      26 |  8846887 |  8276652 |     1871  11285 |        0 |        0
1685.95/1686.32	c 1686s |      26 |  8857222 |  8286252 |     1871  11295 |        0 |        0
1687.94/1688.33	c 1688s |      26 |  8867717 |  8295852 |     1871  11305 |        0 |        0
1689.94/1690.33	c 1690s |      26 |  8877589 |  8305052 |     1871  11315 |        0 |        0
1691.94/1692.34	c 1692s |      26 |  8887535 |  8314452 |     1871  11324 |        0 |        0
1693.94/1694.36	c 1694s |      26 |  8897832 |  8324052 |     1871  11334 |        0 |        0
1695.94/1696.36	c 1696s |      26 |  8907994 |  8333552 |     1871  11344 |        0 |        0
1697.94/1698.36	c 1698s |      26 |  8918371 |  8343152 |     1871  11354 |        0 |        0
1699.93/1700.38	c 1700s |      26 |  8928552 |  8352652 |     1871  11364 |        0 |        0
1701.93/1702.38	c 1702s |      26 |  8938815 |  8362252 |     1871  11373 |        0 |        0
1703.93/1704.39	c 1704s |      26 |  8948890 |  8371752 |     1871  11383 |        0 |        0
1706.03/1706.40	c 1706s |      26 |  8959049 |  8381252 |     1871  11393 |        0 |        0
1708.04/1708.40	c 1708s |      26 |  8969033 |  8390652 |     1871  11403 |        0 |        0
1710.03/1710.42	c 1710s |      26 |  8979303 |  8400052 |     1871  11412 |        0 |        0
1712.03/1712.43	c 1712s |      26 |  8989366 |  8409252 |     1871  11422 |        0 |        0
1714.03/1714.44	c 1714s |      26 |  8999744 |  8418852 |     1871  11432 |        0 |        0
1716.03/1716.46	c 1716s |      26 |  9010197 |  8428352 |     1871  11442 |        0 |        0
1718.03/1718.47	c 1718s |      26 |  9020594 |  8437752 |     1871  11451 |        0 |        0
1720.02/1720.48	c 1720s |      26 |  9031005 |  8447052 |     1871  11461 |        0 |        0
1722.12/1722.50	c 1722s |      26 |  9040992 |  8456352 |     1871  11470 |        0 |        0
1724.12/1724.52	c 1724s |      26 |  9050902 |  8465652 |     1871  11480 |        0 |        0
1726.12/1726.52	c 1726s |      26 |  9061897 |  8475652 |     1871  11490 |        0 |        0
1728.12/1728.53	c 1728s |      26 |  9072972 |  8485552 |     1871  11500 |        0 |        0
1730.12/1730.55	c 1730s |      26 |  9084031 |  8495452 |     1871  11511 |        0 |        0
1732.11/1732.56	c 1732s |      26 |  9094649 |  8505152 |     1871  11521 |        0 |        0
1734.11/1734.58	c 1734s |      26 |  9105687 |  8515252 |     1871  11531 |        0 |        0
1736.11/1736.58	c 1736s |      26 |  9116477 |  8525152 |     1871  11541 |        0 |        0
1738.21/1738.60	c 1738s |      26 |  9127492 |  8534952 |     1871  11551 |        0 |        0
1740.21/1740.61	c 1740s |      26 |  9138187 |  8544552 |     1871  11561 |        0 |        0
1742.23/1742.62	c 1742s |      26 |  9148671 |  8554152 |     1871  11571 |        0 |        0
1744.22/1744.63	c 1744s |      26 |  9159500 |  8563752 |     1871  11581 |        0 |        0
1746.22/1746.65	c 1746s |      26 |  9170024 |  8573252 |     1871  11591 |        0 |        0
1748.21/1748.66	c 1748s |      26 |  9180735 |  8582752 |     1871  11601 |        0 |        0
1750.21/1750.67	c 1750s |      26 |  9191154 |  8591952 |     1871  11610 |        0 |        0
1752.21/1752.69	c 1752s |      26 |  9201360 |  8601352 |     1871  11620 |        0 |        0
1754.32/1754.70	c 1754s |      26 |  9211948 |  8610852 |     1871  11630 |        0 |        0
1756.31/1756.72	c 1756s |      26 |  9222535 |  8620352 |     1871  11639 |        0 |        0
1758.31/1758.73	c 1758s |      26 |  9233463 |  8629752 |     1871  11649 |        0 |        0
1760.30/1760.73	c 1760s |      26 |  9243815 |  8639152 |     1871  11659 |        0 |        0
1762.30/1762.74	c 1762s |      26 |  9254727 |  8648752 |     1871  11669 |        0 |        0
1764.30/1764.74	c 1764s |      26 |  9265475 |  8658252 |     1871  11678 |        0 |        0
1766.31/1766.76	c 1766s |      26 |  9275792 |  8667552 |     1871  11688 |        0 |        0
1768.30/1768.78	c 1768s |      26 |  9286318 |  8677052 |     1871  11698 |        0 |        0
1770.40/1770.80	c 1770s |      26 |  9297178 |  8686452 |     1871  11707 |        0 |        0
1772.40/1772.81	c 1772s |      26 |  9307080 |  8695452 |     1871  11717 |        0 |        0
1774.40/1774.83	c 1774s |      26 |  9318100 |  8704952 |     1871  11727 |        0 |        0
1776.40/1776.85	c 1776s |      26 |  9328899 |  8714252 |     1871  11736 |        0 |        0
1778.41/1778.86	c 1778s |      26 |  9339787 |  8723652 |     1871  11746 |        0 |        0
1780.40/1780.88	c 1780s |      26 |  9350617 |  8732952 |     1871  11755 |        0 |        0
1782.40/1782.89	c 1782s |      26 |  9361332 |  8742052 |     1871  11765 |        0 |        0
1784.49/1784.91	c 1784s |      26 |  9372272 |  8751152 |     1871  11774 |        0 |        0
1786.49/1786.92	c 1786s |      26 |  9382648 |  8760552 |     1871  11784 |        0 |        0
1788.49/1788.93	c 1788s |      26 |  9392946 |  8770052 |     1871  11794 |        0 |        0
1790.50/1790.95	c 1790s |      26 |  9403512 |  8779652 |     1871  11803 |        0 |        0
1792.49/1792.95	c 1792s |      26 |  9414010 |  8789252 |     1871  11813 |        0 |        0
1794.50/1794.97	c 1794s |      26 |  9424052 |  8798452 |     1871  11823 |        0 |        0
1796.50/1796.98	c 1796s |      26 |  9433891 |  8807752 |     1871  11832 |        0 |        0
1798.50/1798.99	c 1798s |      26 |  9444061 |  8817352 |     1871  11842 |        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-4089127-1466021405/watcher-4089127-1466021405 -o /tmp/evaluation-result-4089127-1466021405/solver-4089127-1466021405 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9688 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089127-1466021405.opb 

pid=10131
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.25 2.26 2.12 3/182 10134
/proc/meminfo: memFree=29327120/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=653756 CPUtime=0 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 2424 0 0 0 0 0 0 0 20 0 4 0 4186914 669446144 3296 33554432000 4194304 16246674 140734355314208 140734355313632 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 163951 3304 441 2943 0 160845 0
[pid=10134/tid=10135] ppid=10131 vsize=671164 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 687271936 3365 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=675260 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 691466240 3382 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=679356 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4186914 695660544 3397 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.25 2.26 2.12 3/182 10134
/proc/meminfo: memFree=29327120/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 29201 0 0 0 4 5 0 0 20 0 4 0 4186914 1247350784 30062 33554432000 4194304 16246674 140734355314208 140734355313632 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 304529 30077 711 2943 0 301423 0
[pid=10134/tid=10135] ppid=10131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1247350784 30085 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1247350784 30091 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4186914 1247350784 30095 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200487 s]
/proc/loadavg: 2.25 2.26 2.12 3/182 10134
/proc/meminfo: memFree=29327120/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 58090 0 0 0 11 8 0 0 20 0 4 0 4186914 1247350784 58950 33554432000 4194304 16246674 140734355314208 140734355313632 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 304529 58965 711 2943 0 301423 0
[pid=10134/tid=10135] ppid=10131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1247350784 58971 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1247350784 58979 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4186914 1247350784 58990 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300479 s]
/proc/loadavg: 2.25 2.26 2.12 3/182 10134
/proc/meminfo: memFree=29327120/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 87189 0 0 0 17 12 0 0 20 0 4 0 4186914 1247350784 88049 33554432000 4194304 16246674 140734355314208 140734355313632 5721708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 304529 88067 711 2943 0 301423 0
[pid=10134/tid=10135] ppid=10131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1247350784 88077 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1247350784 88087 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4186914 1247350784 88096 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700402 s]
/proc/loadavg: 2.25 2.26 2.12 3/182 10134
/proc/meminfo: memFree=29327120/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 203982 0 0 0 40 28 0 0 20 0 4 0 4186914 1247350784 204842 33554432000 4194304 16246674 140734355314208 140734355296128 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 304529 204852 711 2943 0 301423 0
[pid=10134/tid=10135] ppid=10131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1247350784 204857 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1247350784 204865 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4186914 1247350784 204876 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.25 2.26 2.12 3/186 10138
/proc/meminfo: memFree=28341840/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 267163 0 0 0 112 37 0 0 20 0 4 0 4186914 1336479744 268003 33554432000 4194304 16246674 140734355314208 140734355313520 5546456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 326289 268003 788 2943 0 323183 0
[pid=10134/tid=10135] ppid=10131 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1336479744 268003 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1336479744 268003 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4186914 1336479744 268003 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10041 s]
/proc/loadavg: 2.25 2.26 2.12 3/186 10138
/proc/meminfo: memFree=28254172/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 267409 0 0 0 272 37 0 0 20 0 4 0 4186914 1337528320 268249 33554432000 4194304 16246674 140734355314208 140734355297208 5721521 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 326545 268249 788 2943 0 323439 0
[pid=10134/tid=10135] ppid=10131 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1337528320 268249 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1337528320 268249 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4186914 1337528320 268249 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.23 2.25 2.12 3/186 10138
/proc/meminfo: memFree=28253844/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 267466 0 0 0 592 37 0 0 20 0 4 0 4186914 1337528320 268306 33554432000 4194304 16246674 140734355314208 140734355296128 13194738 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 326545 268306 790 2943 0 323439 0
[pid=10134/tid=10135] ppid=10131 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1337528320 268306 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1337528320 268306 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4186914 1337528320 268306 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.29 2.26 2.12 4/186 10138
/proc/meminfo: memFree=28253888/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 267473 0 0 0 1232 37 0 0 20 0 4 0 4186914 1337528320 268313 33554432000 4194304 16246674 140734355314208 140734355297208 5676176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 326545 268313 790 2943 0 323439 0
[pid=10134/tid=10135] ppid=10131 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1337528320 268313 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1337528320 268313 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4186914 1337528320 268313 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5075 s]
/proc/loadavg: 2.23 2.25 2.12 3/186 10138
/proc/meminfo: memFree=28253768/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 267571 0 0 0 2512 37 0 0 20 0 4 0 4186914 1337528320 268411 33554432000 4194304 16246674 140734355314208 140734355313384 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 326545 268411 790 2943 0 323439 0
[pid=10134/tid=10135] ppid=10131 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1337528320 268411 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1337528320 268411 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4186914 1337528320 268411 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.35 2.28 2.13 3/186 10138
/proc/meminfo: memFree=28252784/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 267660 0 0 0 5071 37 0 0 20 0 4 0 4186914 1338576896 268500 33554432000 4194304 16246674 140734355314208 140734355297208 13809250 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 326801 268500 790 2943 0 323695 0
[pid=10134/tid=10135] ppid=10131 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1338576896 268500 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1338576896 268500 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4186914 1338576896 268500 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.24 2.26 2.13 3/185 10139
/proc/meminfo: memFree=28250176/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1308228 CPUtime=102.27 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 268083 0 0 0 10189 38 0 0 20 0 4 0 4186914 1339625472 268923 33554432000 4194304 16246674 140734355314208 140734355313384 12483272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 327057 268923 790 2943 0 323951 0
[pid=10134/tid=10135] ppid=10131 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1339625472 268923 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1339625472 268923 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4186914 1339625472 268923 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1308228


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

/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4186914 1351159808 271741 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1319492

[startup+1302.3 s]
/proc/loadavg: 2.20 2.24 2.21 3/185 10170
/proc/meminfo: memFree=28224132/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1319492 CPUtime=1302.09 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 270901 0 0 0 130156 53 0 0 20 0 4 0 4186914 1351159808 271741 33554432000 4194304 16246674 140734355314208 140734355296128 5546177 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 329873 271741 792 2943 0 326767 0
[pid=10134/tid=10135] ppid=10131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1351159808 271741 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1351159808 271741 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4186914 1351159808 271741 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1319492

[startup+1362.3 s]
/proc/loadavg: 2.21 2.24 2.21 4/185 10171
/proc/meminfo: memFree=28224264/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1319492 CPUtime=1362.08 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 270901 0 0 0 136154 54 0 0 20 0 4 0 4186914 1351159808 271741 33554432000 4194304 16246674 140734355314208 140734355297208 5808388 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 329873 271741 792 2943 0 326767 0
[pid=10134/tid=10135] ppid=10131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1351159808 271741 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1351159808 271741 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4186914 1351159808 271741 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1319492

[startup+1422.3 s]
/proc/loadavg: 2.25 2.25 2.22 3/185 10172
/proc/meminfo: memFree=28223908/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1319492 CPUtime=1422.07 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 270901 0 0 0 142152 55 0 0 20 0 4 0 4186914 1351159808 271741 33554432000 4194304 16246674 140734355314208 140734355296128 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 329873 271741 792 2943 0 326767 0
[pid=10134/tid=10135] ppid=10131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1351159808 271741 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1351159808 271741 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4186914 1351159808 271741 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1319492

[startup+1482.3 s]
/proc/loadavg: 2.24 2.24 2.21 4/185 10173
/proc/meminfo: memFree=28222984/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1319492 CPUtime=1482.04 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 270931 0 0 0 148148 56 0 0 20 0 4 0 4186914 1351159808 271744 33554432000 4194304 16246674 140734355314208 140734355296128 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 329873 271744 792 2943 0 326767 0
[pid=10134/tid=10135] ppid=10131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1351159808 271744 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1351159808 271744 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4186914 1351159808 271744 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1319492

[startup+1542.3 s]
/proc/loadavg: 2.22 2.24 2.21 3/185 10175
/proc/meminfo: memFree=28223724/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1319492 CPUtime=1542.02 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 270969 0 0 0 154145 57 0 0 20 0 4 0 4186914 1351159808 271744 33554432000 4194304 16246674 140734355314208 140734355296128 5553608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 329873 271744 792 2943 0 326767 0
[pid=10134/tid=10135] ppid=10131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1351159808 271744 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1351159808 271744 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4186914 1351159808 271744 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1319492

[startup+1602.3 s]
/proc/loadavg: 2.31 2.26 2.22 3/185 10176
/proc/meminfo: memFree=28224136/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1319492 CPUtime=1601.98 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 271013 0 0 0 160140 58 0 0 20 0 4 0 4186914 1351159808 271744 33554432000 4194304 16246674 140734355314208 140734355297208 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 329873 271744 792 2943 0 326767 0
[pid=10134/tid=10135] ppid=10131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1351159808 271744 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1351159808 271744 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4186914 1351159808 271744 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1319492

[startup+1662.31 s]
/proc/loadavg: 2.35 2.29 2.23 3/185 10177
/proc/meminfo: memFree=28220676/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1322564 CPUtime=1661.96 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 271818 0 0 0 166136 60 0 0 20 0 4 0 4186914 1354305536 272512 33554432000 4194304 16246674 140734355314208 140734355297208 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 330641 272512 792 2943 0 327535 0
[pid=10134/tid=10135] ppid=10131 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1354305536 272512 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1354305536 272512 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4186914 1354305536 272512 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 1322564

[startup+1722.3 s]
/proc/loadavg: 2.51 2.34 2.25 3/185 10178
/proc/meminfo: memFree=28220432/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1322564 CPUtime=1721.92 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 271857 0 0 0 172131 61 0 0 20 0 4 0 4186914 1354305536 272512 33554432000 4194304 16246674 140734355314208 140734355296128 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 330641 272512 792 2943 0 327535 0
[pid=10134/tid=10135] ppid=10131 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1354305536 272512 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1354305536 272512 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4186914 1354305536 272512 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1322564

[startup+1782.3 s]
/proc/loadavg: 2.47 2.37 2.26 3/185 10179
/proc/meminfo: memFree=28220020/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1322564 CPUtime=1781.9 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 271894 0 0 0 178128 62 0 0 20 0 4 0 4186914 1354305536 272512 33554432000 4194304 16246674 140734355314208 140734355296128 6021072 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 330641 272512 792 2943 0 327535 0
[pid=10134/tid=10135] ppid=10131 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1354305536 272512 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1354305536 272512 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4186914 1354305536 272512 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1322564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.47 2.37 2.27 3/185 10378
/proc/meminfo: memFree=28231756/32872528 swapFree=1481856/1661728
[pid=10134] ppid=10131 vsize=1322564 CPUtime=1800.09 cores=0,2,4,6
/proc/10134/stat : 10134 (toysat) R 10131 10134 6232 0 -1 4202496 271905 0 0 0 179946 63 0 0 20 0 4 0 4186914 1354305536 272512 33554432000 4194304 16246674 140734355314208 140734355296128 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10134/statm: 330641 272512 792 2943 0 327535 0
[pid=10134/tid=10135] ppid=10131 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10135/stat : 10135 (toysat) S 10131 10134 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4186914 1354305536 272512 33554432000 4194304 16246674 140734355314208 139871400209648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10134/tid=10136] ppid=10131 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10136/stat : 10136 (toysat) S 10131 10134 6232 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4186914 1354305536 272512 33554432000 4194304 16246674 140734355314208 139871314226416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10134/tid=10137] ppid=10131 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/10134/task/10137/stat : 10137 (toysat) S 10131 10134 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4186914 1354305536 272512 33554432000 4194304 16246674 140734355314208 139871303752880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1322564

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 10134 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.54
CPU time (s): 1800.13
CPU user time (s): 1799.47
CPU system time (s): 0.660899
CPU usage (%): 99.9773
Max. virtual memory (cumulated for all children) (KiB): 1322564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.660899
maximum resident set size= 1090048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271905
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= 248
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.14637 second user time and 7.37688 second system time

The end

Begin job on node134 at 2016-06-15 22:10:05
IDJOB=4089127
IDBENCH=107362
IDSOLVER=2542
FILE ID=node134/4089127-1466021405
RUNJOBID= node134-1466019588-9688
PBS_JOBID= 19902814
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= e55a3e035f9bbf7973323d737a2f79d2
RANDOM SEED=1651528507

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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:        29327392 kB
Buffers:           15160 kB
Cached:            77052 kB
SwapCached:        17304 kB
Active:          1137672 kB
Inactive:          44936 kB
Active(anon):    1074744 kB
Inactive(anon):    17948 kB
Active(file):      62928 kB
Inactive(file):    26988 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083696 kB
Dirty:             33056 kB
Writeback:             0 kB
AnonPages:       2735496 kB
Mapped:            10944 kB
Shmem:                 0 kB
Slab:             567084 kB
SReclaimable:      10616 kB
SUnreclaim:       556468 kB
KernelStack:        1480 kB
PageTables:         9104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2879268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 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= 71704 MiB
End job on node134 at 2016-06-15 22:40:06