0.00/0.00	c 2016-06-18T22:19:44+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-4107018-1466281184.opb"]
0.00/0.01	c use --random-gen="3615239794 621524237 3540981982 1871116461 2836584337 352970136 2249414851 2905526 1942783165 516057014 1168466596 1045334752 1007267009 3680347980 510893516 917245894 4038181500 1999024266 1196926977 104264149 2781719324 3822034047 3053037854 1218817787 3425664850 3026486456 2944160303 3731847850 1748825505 1689405981 578988627 3154307470 3519339862 2204315168 1224297262 2788742596 3594941775 2859973381 241206777 2032956228 1228854126 2197606557 2391169120 1073800976 2457222316 2499408498 1679224154 3354827832 1431674870 3790032497 199429587 1322893368 2397960960 199389249 2865039768 4054502048 2076784107 3973230870 701124079 1833236529 1529540106 1080381206 3410170086 873264468 3668241951 4226244297 3250789702 3483006092 2596054463 848410350 1778817682 1177975805 1266576140 3775659686 3760311138 2388181657 948668711 804186527 2803700882 2309508354 187596628 2139394673 3170704328 2098744932 302858579 6004266 276716426 3357209434 569358077 2238772844 1583804803 662737597 1718752744 3349116928 4226901448 4249070756 4274739195 609207395 1275576880 1725219645 3461552787 2372697591 1346563529 3559683041 1599867947 1158986278 1357892746 2504005698 3199529451 3834831397 3803112070 813124442 1130897550 3008411645 2587604024 2289319544 1040395412 817450909 1740977235 1484754467 924489780 882301753 1871766425 3979824376 29865948 4266521801 4086842970 3572905038 152351157 868427396 253833813 3210736052 459628400 3338737860 2855173975 20405872 690363983 2331447181 530998881 1884967859 2618347697 538601537 3346807266 1596125811 3374601720 1041437051 2808880084 3280940081 1411933031 3180584831 3328195396 694034275 1420406273 811577711 1227713899 3896153565 1520166509 356322875 3713355924 3175451651 4030569738 3194040165 3177773111 4254690227 2061637388 3210807717 537279038 3376295840 4133846283 2167135485 3737558080 3422114613 805068822 3198177018 3734089063 436394616 287620489 3530832214 744645196 2534514331 2723338504 741203703 3638580588 1419045079 2112059423 1408754223 3754714585 1553153524 3682017482 2609225784 10843970 1665465657 4227108508 1133692527 4159750959 3108291607 161514298 2464525652 1759901540 3909467745 2627381989 1290470359 3941683724 3986941889 1883526840 2867946705 2208738010 739732660 3227814490 3874757420 1629832990 2183194421 2724787583 80113340 1217796484 242487887 3061993758 171304844 3386258001 4141850731 3522593518 3616071185 1916594709 262273246 506050371 945789455 1511896018 3181471039 2257536893 2153721072 3741508791 1803296838 2808472763 1906267171 2259460533 792207919 3504428164 1534461419 440866725 2353374517 2716348827 2315050037 291261687 2595239901 4217154964 3374018119 2832668317 609429728 927674135 2322853450 1143446045 4146578632 973825157 512479582 3721162918 567731631 255 362436" option to reproduce the execution
0.00/0.03	c #vars 200
0.00/0.03	c #constraints 302
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.10	c  0.0s |       0 |        0 |        0 |     2217      0 |        0 |        0
0.09/0.15	c  0.0s |       1 |      249 |      100 |     2217      0 |        0 |        0
0.19/0.20	c  0.1s |       2 |     3752 |      250 |     2439      0 |        0 |        0
0.19/0.29	c  0.2s |       3 |     4226 |      475 |     2683      0 |        0 |        0
0.39/0.44	c  0.3s |       4 |     4755 |      813 |     2952      0 |        0 |        0
0.59/0.67	c  0.6s |       5 |     5585 |     1320 |     3248      0 |        0 |        0
0.99/1.03	c  0.9s |       6 |     6690 |     2081 |     3931      0 |        0 |        0
1.49/1.52	c  1.4s |       7 |     8129 |     3223 |     4325      0 |        0 |        0
2.20/2.22	c  2.1s |       8 |    10274 |     4936 |     4758      1 |        0 |        0
3.19/3.30	c  3.2s |       9 |    13341 |     7506 |     5234      2 |        0 |        0
4.59/4.68	c  4.6s |      10 |    17989 |    11361 |     5758      3 |        0 |        0
6.69/6.71	c  6.6s |      10 |    23401 |    16161 |     5758      5 |        0 |        0
6.99/7.09	c  7.0s |      11 |    24464 |    17144 |     6334      5 |        0 |        0
9.09/9.10	c  9.0s |      11 |    30179 |    22044 |     6334      6 |        0 |        0
10.49/10.53	c 10.4s |      12 |    34487 |    25819 |     6968      7 |        0 |        0
12.49/12.57	c 12.5s |      12 |    40057 |    30219 |     6968      8 |        0 |        0
14.59/14.60	c 14.5s |      12 |    47567 |    36219 |     6968     10 |        0 |        0
15.49/15.55	c 15.5s |      13 |    50650 |    38832 |     7665     11 |        0 |        0
17.48/17.58	c 17.5s |      13 |    56117 |    43332 |     7665     12 |        0 |        0
19.48/19.58	c 19.5s |      13 |    62056 |    48232 |     7665     13 |        0 |        0
21.58/21.63	c 21.5s |      13 |    68138 |    53332 |     7665     15 |        0 |        0
23.48/23.53	c 23.4s |      14 |    74064 |    58352 |     8432     16 |        0 |        0
25.48/25.54	c 25.4s |      14 |    79833 |    62952 |     8432     17 |        0 |        0
27.49/27.57	c 27.5s |      14 |    87142 |    68752 |     8432     18 |        0 |        0
29.48/29.58	c 29.5s |      14 |    93251 |    73752 |     8432     19 |        0 |        0
31.58/31.60	c 31.5s |      14 |    99313 |    78752 |     8432     20 |        0 |        0
33.78/33.81	c 33.7s |      14 |   105301 |    83352 |     8432     22 |        0 |        0
35.19/35.23	c 35.1s |      15 |   110807 |    87632 |     9276     22 |        0 |        0
37.17/37.25	c 37.2s |      15 |   116207 |    91832 |     9276     23 |        0 |        0
39.17/39.27	c 39.2s |      15 |   122464 |    96932 |     9276     24 |        0 |        0
41.17/41.27	c 41.2s |      15 |   127942 |   101832 |     9276     25 |        0 |        0
43.27/43.37	c 43.3s |      15 |   134375 |   107032 |     9276     27 |        0 |        0
45.27/45.37	c 45.3s |      15 |   141368 |   112632 |     9276     28 |        0 |        0
47.57/47.62	c 47.5s |      15 |   148191 |   118032 |     9276     29 |        0 |        0
49.57/49.63	c 49.5s |      15 |   155494 |   123732 |     9276     30 |        0 |        0
51.56/51.66	c 51.6s |      15 |   163137 |   129632 |     9276     31 |        0 |        0
52.37/52.42	c 52.3s |      16 |   165668 |   131552 |    10204     32 |        0 |        0
54.37/54.42	c 54.3s |      16 |   172991 |   136252 |    10204     32 |        0 |        0
56.37/56.42	c 56.3s |      16 |   181523 |   140852 |    10204     33 |        0 |        0
58.38/58.43	c 58.3s |      16 |   193041 |   146552 |    10204     34 |        0 |        0
60.37/60.45	c 60.3s |      16 |   204164 |   152352 |    10204     36 |        0 |        0
62.37/62.46	c 62.4s |      16 |   212604 |   157752 |    10204     37 |        0 |        0
64.47/64.50	c 64.4s |      16 |   219809 |   162452 |    10204     38 |        0 |        0
66.47/66.54	c 66.4s |      16 |   228037 |   167152 |    10204     38 |        0 |        0
68.47/68.56	c 68.5s |      16 |   235473 |   171852 |    10204     39 |        0 |        0
70.48/70.56	c 70.5s |      16 |   243002 |   176752 |    10204     40 |        0 |        0
72.47/72.57	c 72.5s |      16 |   252121 |   181952 |    10204     41 |        0 |        0
74.47/74.59	c 74.5s |      16 |   261669 |   187352 |    10204     42 |        0 |        0
76.57/76.61	c 76.5s |      16 |   269046 |   192252 |    10204     43 |        0 |        0
78.57/78.65	c 78.5s |      16 |   276884 |   197352 |    11225     44 |        0 |        0
78.57/78.68	c 78.6s |      17 |   276968 |   197432 |    11225     44 |        0 |        0
80.57/80.69	c 80.6s |      17 |   284171 |   201132 |    11225     45 |        0 |        0
82.67/82.70	c 82.6s |      17 |   293705 |   205932 |    11225     46 |        0 |        0
84.67/84.73	c 84.6s |      17 |   300705 |   210132 |    11225     46 |        0 |        0
86.67/86.77	c 86.7s |      17 |   308447 |   214332 |    11225     47 |        0 |        0
88.76/88.81	c 88.7s |      17 |   315670 |   217832 |    11225     48 |        0 |        0
90.76/90.83	c 90.7s |      17 |   323047 |   221232 |    11225     48 |        0 |        0
92.76/92.86	c 92.8s |      17 |   329685 |   225632 |    11225     49 |        0 |        0
94.76/94.86	c 94.8s |      17 |   337068 |   230032 |    11225     50 |        0 |        0
96.87/96.91	c 96.8s |      17 |   341940 |   233232 |    11225     50 |        0 |        0
98.86/98.92	c 98.8s |      17 |   347699 |   236632 |    11225     51 |        0 |        0
100.86/100.96	c  100s |      17 |   353550 |   240732 |    11225     52 |        0 |        0
102.86/102.98	c  102s |      17 |   361523 |   245232 |    11225     53 |        0 |        0
104.86/104.98	c  104s |      17 |   367907 |   249532 |    11225     53 |        0 |        0
106.96/107.00	c  106s |      17 |   374626 |   253632 |    11225     54 |        0 |        0
108.97/109.03	c  108s |      17 |   383015 |   258632 |    11225     55 |        0 |        0
110.96/111.06	c  110s |      17 |   389648 |   263832 |    11225     56 |        0 |        0
112.96/113.06	c  112s |      17 |   394661 |   268132 |    11225     57 |        0 |        0
115.06/115.10	c  115s |      17 |   400475 |   272932 |    11225     57 |        0 |        0
117.06/117.11	c  117s |      17 |   405606 |   277232 |    11225     58 |        0 |        0
119.16/119.22	c  119s |      17 |   412015 |   281732 |    11225     59 |        0 |        0
121.16/121.23	c  121s |      17 |   420735 |   286332 |    11225     60 |        0 |        0
123.17/123.24	c  123s |      17 |   428825 |   291632 |    11225     61 |        0 |        0
125.16/125.25	c  125s |      17 |   436288 |   296032 |    12348     61 |        0 |        0
125.26/125.35	c  125s |      18 |   436578 |   296252 |    12348     61 |        0 |        0
127.26/127.36	c  127s |      18 |   456242 |   300452 |    12348     62 |        0 |        0
129.36/129.40	c  129s |      18 |   462096 |   304452 |    12348     63 |        0 |        0
131.36/131.45	c  131s |      18 |   468292 |   308552 |    12348     63 |        0 |        0
133.36/133.49	c  133s |      18 |   473006 |   311652 |    12348     64 |        0 |        0
135.46/135.50	c  135s |      18 |   479770 |   315652 |    12348     64 |        0 |        0
137.47/137.51	c  137s |      18 |   485104 |   319152 |    12348     65 |        0 |        0
139.46/139.52	c  139s |      18 |   493435 |   323252 |    12348     66 |        0 |        0
141.46/141.58	c  141s |      18 |   498152 |   326352 |    12348     66 |        0 |        0
143.46/143.59	c  143s |      18 |   503853 |   329952 |    12348     67 |        0 |        0
145.56/145.69	c  145s |      18 |   511931 |   334452 |    12348     68 |        0 |        0
147.66/147.71	c  147s |      18 |   518620 |   338852 |    12348     68 |        0 |        0
149.66/149.74	c  149s |      18 |   525390 |   342652 |    12348     69 |        0 |        0
151.66/151.77	c  151s |      18 |   531138 |   346252 |    12348     69 |        0 |        0
153.75/153.84	c  153s |      18 |   536684 |   349552 |    12348     70 |        0 |        0
155.76/155.87	c  155s |      18 |   544878 |   354352 |    12348     71 |        0 |        0
157.86/157.91	c  157s |      18 |   551683 |   359252 |    12348     71 |        0 |        0
159.85/159.94	c  159s |      18 |   560862 |   363952 |    12348     72 |        0 |        0
161.85/161.95	c  161s |      18 |   566293 |   367652 |    12348     73 |        0 |        0
163.86/163.97	c  163s |      18 |   572936 |   371752 |    12348     74 |        0 |        0
165.95/166.01	c  165s |      18 |   578389 |   375552 |    12348     74 |        0 |        0
168.26/168.37	c  168s |      18 |   583394 |   378552 |    12348     75 |        0 |        0
170.25/170.38	c  170s |      18 |   591344 |   383652 |    12348     75 |        0 |        0
172.25/172.38	c  172s |      18 |   599849 |   387552 |    12348     76 |        0 |        0
174.35/174.40	c  174s |      18 |   615335 |   392352 |    12348     77 |        0 |        0
176.65/176.70	c  176s |      18 |   625184 |   396752 |    12348     78 |        0 |        0
178.65/178.71	c  178s |      18 |   632273 |   401352 |    12348     78 |        0 |        0
180.65/180.73	c  180s |      18 |   636651 |   404052 |    12348     79 |        0 |        0
182.65/182.79	c  182s |      18 |   642621 |   408152 |    12348     79 |        0 |        0
184.75/184.82	c  184s |      18 |   648952 |   411952 |    12348     80 |        0 |        0
187.15/187.26	c  187s |      18 |   654899 |   415652 |    12348     81 |        0 |        0
189.15/189.27	c  189s |      18 |   661798 |   420152 |    12348     81 |        0 |        0
191.24/191.30	c  191s |      18 |   669180 |   424552 |    12348     82 |        0 |        0
193.24/193.30	c  193s |      18 |   677610 |   429052 |    12348     83 |        0 |        0
195.24/195.32	c  195s |      18 |   684546 |   433952 |    12348     83 |        0 |        0
197.34/197.40	c  197s |      18 |   692528 |   439452 |    12348     84 |        0 |        0
199.34/199.42	c  199s |      18 |   699203 |   443952 |    13583     85 |        0 |        0
199.54/199.63	c  199s |      19 |   699985 |   444482 |    13583     85 |        0 |        0
201.54/201.64	c  201s |      19 |   706561 |   448282 |    13583     86 |        0 |        0
203.55/203.64	c  203s |      19 |   712803 |   453382 |    13583     86 |        0 |        0
205.54/205.65	c  205s |      19 |   717728 |   457482 |    13583     87 |        0 |        0
207.54/207.68	c  207s |      19 |   722441 |   461582 |    13583     88 |        0 |        0
209.54/209.69	c  209s |      19 |   728774 |   466882 |    13583     88 |        0 |        0
211.65/211.70	c  211s |      19 |   732569 |   469782 |    13583     89 |        0 |        0
213.65/213.70	c  213s |      19 |   738896 |   474582 |    13583     89 |        0 |        0
215.65/215.70	c  215s |      19 |   744107 |   478282 |    13583     90 |        0 |        0
217.64/217.72	c  217s |      19 |   751143 |   483782 |    13583     91 |        0 |        0
219.74/219.80	c  219s |      19 |   758463 |   489082 |    13583     92 |        0 |        0
221.74/221.83	c  221s |      19 |   762630 |   491982 |    13583     92 |        0 |        0
223.74/223.83	c  223s |      19 |   768732 |   497082 |    13583     93 |        0 |        0
225.74/225.86	c  225s |      19 |   776594 |   502482 |    13583     93 |        0 |        0
227.84/227.97	c  227s |      19 |   782746 |   506682 |    13583     94 |        0 |        0
229.85/229.98	c  229s |      19 |   790424 |   511682 |    13583     95 |        0 |        0
231.94/232.00	c  231s |      19 |   797285 |   516482 |    13583     96 |        0 |        0
233.94/234.01	c  233s |      19 |   805625 |   521682 |    13583     96 |        0 |        0
235.94/236.03	c  235s |      19 |   813278 |   527182 |    13583     97 |        0 |        0
237.94/238.03	c  237s |      19 |   821056 |   531982 |    13583     98 |        0 |        0
239.94/240.04	c  239s |      19 |   827424 |   536782 |    13583     98 |        0 |        0
241.94/242.07	c  241s |      19 |   835279 |   541182 |    13583     99 |        0 |        0
244.03/244.16	c  244s |      19 |   842619 |   545882 |    13583    100 |        0 |        0
246.03/246.16	c  246s |      19 |   849474 |   550482 |    13583    100 |        0 |        0
248.13/248.20	c  248s |      19 |   855296 |   554782 |    13583    101 |        0 |        0
250.14/250.23	c  250s |      19 |   861907 |   559582 |    13583    102 |        0 |        0
252.14/252.29	c  252s |      19 |   867988 |   564182 |    13583    103 |        0 |        0
254.24/254.34	c  254s |      19 |   873823 |   567982 |    13583    103 |        0 |        0
256.25/256.35	c  256s |      19 |   878864 |   571882 |    13583    104 |        0 |        0
258.24/258.35	c  258s |      19 |   884463 |   575782 |    13583    104 |        0 |        0
260.24/260.37	c  260s |      19 |   889488 |   579782 |    13583    105 |        0 |        0
262.24/262.37	c  262s |      19 |   894496 |   583182 |    13583    105 |        0 |        0
264.34/264.40	c  264s |      19 |   900549 |   587682 |    13583    106 |        0 |        0
266.34/266.42	c  266s |      19 |   907298 |   592082 |    13583    107 |        0 |        0
268.34/268.43	c  268s |      19 |   911921 |   594682 |    13583    107 |        0 |        0
270.34/270.44	c  270s |      19 |   919170 |   600182 |    13583    108 |        0 |        0
272.84/272.94	c  272s |      19 |   926926 |   605582 |    13583    109 |        0 |        0
274.83/274.99	c  274s |      19 |   936038 |   611182 |    13583    109 |        0 |        0
276.93/277.01	c  276s |      19 |   941694 |   615582 |    13583    110 |        0 |        0
278.93/279.09	c  278s |      19 |   948364 |   619482 |    13583    111 |        0 |        0
281.03/281.11	c  281s |      19 |   954717 |   624082 |    13583    111 |        0 |        0
283.03/283.11	c  283s |      19 |   960806 |   628382 |    13583    112 |        0 |        0
285.03/285.14	c  285s |      19 |   966482 |   632482 |    13583    112 |        0 |        0
287.04/287.17	c  287s |      19 |   971970 |   636582 |    13583    113 |        0 |        0
289.03/289.19	c  289s |      19 |   978254 |   641682 |    13583    114 |        0 |        0
291.13/291.23	c  291s |      19 |   984099 |   646182 |    13583    114 |        0 |        0
293.13/293.27	c  293s |      19 |   990945 |   650182 |    13583    115 |        0 |        0
295.13/295.28	c  295s |      19 |   999706 |   655282 |    13583    116 |        0 |        0
297.13/297.29	c  297s |      19 |  1007224 |   660082 |    13583    117 |        0 |        0
299.14/299.30	c  299s |      19 |  1014598 |   665082 |    14942    117 |        0 |        0
300.03/300.13	c  300s |      20 |  1017507 |   666827 |    14942    117 |        0 |        0
302.03/302.16	c  302s |      20 |  1029256 |   671127 |    14942    118 |        0 |        0
304.13/304.20	c  304s |      20 |  1036111 |   676127 |    14942    119 |        0 |        0
306.13/306.23	c  306s |      20 |  1043091 |   681127 |    14942    119 |        0 |        0
308.43/308.51	c  308s |      20 |  1048533 |   685227 |    14942    120 |        0 |        0
310.43/310.57	c  310s |      20 |  1056431 |   690727 |    14942    121 |        0 |        0
312.44/312.58	c  312s |      20 |  1059130 |   692927 |    14942    121 |        0 |        0
314.43/314.59	c  314s |      20 |  1066655 |   698127 |    14942    121 |        0 |        0
316.52/316.60	c  316s |      20 |  1070556 |   700427 |    14942    122 |        0 |        0
318.52/318.61	c  318s |      20 |  1077611 |   705527 |    14942    122 |        0 |        0
320.52/320.65	c  320s |      20 |  1084959 |   710927 |    14942    123 |        0 |        0
322.52/322.69	c  322s |      20 |  1091974 |   715727 |    14942    124 |        0 |        0
324.62/324.70	c  324s |      20 |  1098060 |   720327 |    14942    124 |        0 |        0
326.63/326.71	c  326s |      20 |  1104423 |   725227 |    14942    125 |        0 |        0
328.62/328.73	c  328s |      20 |  1111482 |   730527 |    14942    126 |        0 |        0
330.62/330.76	c  330s |      20 |  1117385 |   734927 |    14942    126 |        0 |        0
332.83/332.91	c  332s |      20 |  1120613 |   737127 |    14942    127 |        0 |        0
334.83/334.92	c  334s |      20 |  1128514 |   742327 |    14942    127 |        0 |        0
336.83/336.93	c  336s |      20 |  1134294 |   745827 |    14942    128 |        0 |        0
338.83/338.94	c  338s |      20 |  1140974 |   750827 |    14942    128 |        0 |        0
340.83/340.97	c  340s |      20 |  1148456 |   755227 |    14942    129 |        0 |        0
342.82/342.98	c  342s |      20 |  1156241 |   760527 |    14942    130 |        0 |        0
344.92/345.00	c  344s |      20 |  1163357 |   765127 |    14942    130 |        0 |        0
346.92/347.02	c  346s |      20 |  1172141 |   770727 |    14942    131 |        0 |        0
348.92/349.02	c  348s |      20 |  1180368 |   775927 |    14942    132 |        0 |        0
350.93/351.04	c  350s |      20 |  1187774 |   780727 |    14942    132 |        0 |        0
352.92/353.05	c  352s |      20 |  1193582 |   785327 |    14942    133 |        0 |        0
354.92/355.08	c  354s |      20 |  1202278 |   791027 |    14942    134 |        0 |        0
357.02/357.12	c  357s |      20 |  1210595 |   796127 |    14942    135 |        0 |        0
359.02/359.14	c  359s |      20 |  1217832 |   800827 |    14942    135 |        0 |        0
361.02/361.17	c  361s |      20 |  1223769 |   805027 |    14942    136 |        0 |        0
363.03/363.19	c  363s |      20 |  1229556 |   809527 |    14942    136 |        0 |        0
365.02/365.20	c  365s |      20 |  1236206 |   814527 |    14942    137 |        0 |        0
367.12/367.22	c  367s |      20 |  1245252 |   819427 |    14942    138 |        0 |        0
369.12/369.25	c  369s |      20 |  1254165 |   824927 |    14942    138 |        0 |        0
371.12/371.26	c  371s |      20 |  1260901 |   829327 |    14942    139 |        0 |        0
373.22/373.38	c  373s |      20 |  1267895 |   833827 |    14942    140 |        0 |        0
375.32/375.42	c  375s |      20 |  1276248 |   839527 |    14942    140 |        0 |        0
377.32/377.42	c  377s |      20 |  1284468 |   844627 |    14942    141 |        0 |        0
379.32/379.42	c  379s |      20 |  1290165 |   848827 |    14942    142 |        0 |        0
381.32/381.46	c  381s |      20 |  1299817 |   854127 |    14942    142 |        0 |        0
383.41/383.50	c  383s |      20 |  1307557 |   859127 |    14942    143 |        0 |        0
385.42/385.52	c  385s |      20 |  1315166 |   863627 |    14942    144 |        0 |        0
387.42/387.53	c  387s |      20 |  1322009 |   868527 |    14942    144 |        0 |        0
389.42/389.53	c  389s |      20 |  1327866 |   872427 |    14942    145 |        0 |        0
391.41/391.56	c  391s |      20 |  1337483 |   878027 |    14942    145 |        0 |        0
393.41/393.56	c  393s |      20 |  1344492 |   882927 |    14942    146 |        0 |        0
395.41/395.58	c  395s |      20 |  1352803 |   887827 |    14942    147 |        0 |        0
397.51/397.60	c  397s |      20 |  1361000 |   892627 |    14942    147 |        0 |        0
399.52/399.61	c  399s |      20 |  1369213 |   897527 |    14942    148 |        0 |        0
401.53/401.61	c  401s |      20 |  1377245 |   903227 |    14942    149 |        0 |        0
403.63/403.75	c  403s |      20 |  1385845 |   908527 |    14942    150 |        0 |        0
405.62/405.77	c  405s |      20 |  1394102 |   913227 |    14942    150 |        0 |        0
407.62/407.79	c  407s |      20 |  1401498 |   918027 |    14942    151 |        0 |        0
409.72/409.84	c  409s |      20 |  1409422 |   922627 |    14942    151 |        0 |        0
411.72/411.86	c  411s |      20 |  1415371 |   926927 |    14942    152 |        0 |        0
413.82/413.95	c  413s |      20 |  1421012 |   931027 |    14942    153 |        0 |        0
415.82/415.99	c  415s |      20 |  1427894 |   935427 |    14942    153 |        0 |        0
417.81/417.99	c  417s |      20 |  1435124 |   939827 |    14942    154 |        0 |        0
419.91/420.03	c  419s |      20 |  1441973 |   944427 |    14942    154 |        0 |        0
421.91/422.03	c  421s |      20 |  1449039 |   949927 |    14942    155 |        0 |        0
423.91/424.07	c  423s |      20 |  1458410 |   955127 |    14942    156 |        0 |        0
426.01/426.10	c  425s |      20 |  1466107 |   959727 |    14942    156 |        0 |        0
428.01/428.13	c  428s |      20 |  1474818 |   964527 |    14942    157 |        0 |        0
430.02/430.16	c  430s |      20 |  1482333 |   969327 |    14942    158 |        0 |        0
432.00/432.18	c  432s |      20 |  1491272 |   974827 |    14942    158 |        0 |        0
434.00/434.18	c  434s |      20 |  1498585 |   979227 |    14942    159 |        0 |        0
436.10/436.21	c  436s |      20 |  1506372 |   983727 |    14942    160 |        0 |        0
438.10/438.24	c  438s |      20 |  1514093 |   988727 |    14942    160 |        0 |        0
440.10/440.26	c  440s |      20 |  1520477 |   993427 |    16437    161 |        0 |        0
442.11/442.27	c  442s |      20 |  1527649 |   998127 |    16437    161 |        0 |        0
443.21/443.33	c  443s |      21 |  1531527 |  1000345 |    16437    162 |        0 |        0
445.20/445.34	c  445s |      21 |  1545599 |  1003545 |    16437    162 |        0 |        0
447.20/447.38	c  447s |      21 |  1553851 |  1007545 |    16437    162 |        0 |        0
449.30/449.40	c  449s |      21 |  1561326 |  1011745 |    16437    163 |        0 |        0
451.30/451.41	c  451s |      21 |  1567322 |  1015645 |    16437    163 |        0 |        0
453.30/453.42	c  453s |      21 |  1572773 |  1018945 |    16437    164 |        0 |        0
455.30/455.45	c  455s |      21 |  1579255 |  1023445 |    16437    164 |        0 |        0
457.29/457.49	c  457s |      21 |  1585744 |  1027545 |    16437    165 |        0 |        0
459.39/459.52	c  459s |      21 |  1592440 |  1031145 |    16437    165 |        0 |        0
461.39/461.54	c  461s |      21 |  1600433 |  1034845 |    16437    166 |        0 |        0
463.49/463.62	c  463s |      21 |  1607732 |  1038545 |    16437    166 |        0 |        0
465.69/465.87	c  465s |      21 |  1615441 |  1042245 |    16437    167 |        0 |        0
467.79/467.90	c  467s |      21 |  1624098 |  1047745 |    16437    167 |        0 |        0
469.79/469.91	c  469s |      21 |  1631920 |  1053245 |    16437    168 |        0 |        0
471.80/471.92	c  471s |      21 |  1640470 |  1058345 |    16437    169 |        0 |        0
473.79/473.95	c  473s |      21 |  1649240 |  1063645 |    16437    169 |        0 |        0
475.78/475.97	c  475s |      21 |  1657696 |  1068445 |    16437    170 |        0 |        0
477.79/477.99	c  477s |      21 |  1666113 |  1072845 |    16437    170 |        0 |        0
479.88/480.01	c  479s |      21 |  1674157 |  1077345 |    16437    171 |        0 |        0
481.88/482.01	c  481s |      21 |  1682168 |  1081645 |    16437    171 |        0 |        0
483.89/484.02	c  483s |      21 |  1688172 |  1085545 |    16437    172 |        0 |        0
485.88/486.02	c  485s |      21 |  1695573 |  1090045 |    16437    172 |        0 |        0
487.88/488.06	c  487s |      21 |  1703185 |  1094945 |    16437    173 |        0 |        0
489.88/490.09	c  489s |      21 |  1710569 |  1099545 |    16437    174 |        0 |        0
491.98/492.14	c  492s |      21 |  1720455 |  1105045 |    16437    174 |        0 |        0
493.98/494.19	c  494s |      21 |  1726518 |  1109545 |    16437    175 |        0 |        0
496.08/496.23	c  496s |      21 |  1734857 |  1114445 |    16437    175 |        0 |        0
498.08/498.27	c  498s |      21 |  1742388 |  1119245 |    16437    176 |        0 |        0
500.08/500.29	c  500s |      21 |  1749634 |  1123145 |    16437    176 |        0 |        0
502.17/502.33	c  502s |      21 |  1757980 |  1128045 |    16437    177 |        0 |        0
504.17/504.36	c  504s |      21 |  1765080 |  1132145 |    16437    177 |        0 |        0
506.27/506.40	c  506s |      21 |  1773230 |  1136745 |    16437    178 |        0 |        0
508.27/508.41	c  508s |      21 |  1779877 |  1140645 |    16437    179 |        0 |        0
510.28/510.47	c  510s |      21 |  1786488 |  1144945 |    16437    179 |        0 |        0
512.27/512.50	c  512s |      21 |  1792766 |  1148945 |    16437    180 |        0 |        0
514.37/514.52	c  514s |      21 |  1800487 |  1153845 |    16437    180 |        0 |        0
516.37/516.52	c  516s |      21 |  1807124 |  1157345 |    16437    181 |        0 |        0
518.37/518.52	c  518s |      21 |  1814456 |  1162845 |    16437    181 |        0 |        0
520.37/520.56	c  520s |      21 |  1820430 |  1167045 |    16437    182 |        0 |        0
522.37/522.57	c  522s |      21 |  1827200 |  1172245 |    16437    182 |        0 |        0
524.36/524.58	c  524s |      21 |  1833759 |  1176845 |    16437    183 |        0 |        0
526.46/526.61	c  526s |      21 |  1841408 |  1181945 |    16437    184 |        0 |        0
528.46/528.66	c  528s |      21 |  1849454 |  1187045 |    16437    184 |        0 |        0
530.46/530.67	c  530s |      21 |  1857070 |  1191545 |    16437    185 |        0 |        0
532.56/532.72	c  532s |      21 |  1864327 |  1195445 |    16437    185 |        0 |        0
534.56/534.72	c  534s |      21 |  1869717 |  1199345 |    16437    186 |        0 |        0
536.56/536.73	c  536s |      21 |  1877326 |  1204445 |    16437    186 |        0 |        0
538.56/538.74	c  538s |      21 |  1885418 |  1208345 |    16437    187 |        0 |        0
540.56/540.77	c  540s |      21 |  1893195 |  1212945 |    16437    187 |        0 |        0
542.65/542.81	c  542s |      21 |  1900324 |  1217745 |    16437    188 |        0 |        0
544.65/544.82	c  544s |      21 |  1907980 |  1222345 |    16437    188 |        0 |        0
546.66/546.83	c  546s |      21 |  1915121 |  1227145 |    16437    189 |        0 |        0
548.76/548.99	c  548s |      21 |  1922154 |  1231545 |    16437    190 |        0 |        0
550.85/551.00	c  550s |      21 |  1928835 |  1235645 |    16437    190 |        0 |        0
552.85/553.02	c  552s |      21 |  1936665 |  1240345 |    16437    191 |        0 |        0
554.85/555.03	c  554s |      21 |  1944031 |  1245045 |    16437    191 |        0 |        0
556.85/557.05	c  556s |      21 |  1950671 |  1249345 |    16437    192 |        0 |        0
558.86/559.09	c  558s |      21 |  1958320 |  1254245 |    16437    192 |        0 |        0
560.96/561.13	c  561s |      21 |  1964684 |  1258945 |    16437    193 |        0 |        0
562.95/563.17	c  563s |      21 |  1973680 |  1264245 |    16437    193 |        0 |        0
565.05/565.25	c  565s |      21 |  1981358 |  1268645 |    16437    194 |        0 |        0
567.05/567.28	c  567s |      21 |  1988630 |  1272845 |    16437    195 |        0 |        0
569.15/569.32	c  569s |      21 |  1996991 |  1278245 |    16437    195 |        0 |        0
571.15/571.33	c  571s |      21 |  2002906 |  1282045 |    16437    196 |        0 |        0
573.14/573.36	c  573s |      21 |  2009993 |  1286045 |    16437    196 |        0 |        0
575.25/575.44	c  575s |      21 |  2014878 |  1289345 |    16437    197 |        0 |        0
577.24/577.45	c  577s |      21 |  2021763 |  1293145 |    16437    197 |        0 |        0
579.34/579.52	c  579s |      21 |  2029102 |  1297045 |    16437    197 |        0 |        0
581.34/581.55	c  581s |      21 |  2035510 |  1300845 |    16437    198 |        0 |        0
583.34/583.58	c  583s |      21 |  2041572 |  1304845 |    16437    198 |        0 |        0
585.44/585.62	c  585s |      21 |  2049388 |  1309545 |    16437    199 |        0 |        0
587.43/587.67	c  587s |      21 |  2056915 |  1314245 |    16437    200 |        0 |        0
589.44/589.69	c  589s |      21 |  2065458 |  1319245 |    16437    200 |        0 |        0
591.53/591.71	c  591s |      21 |  2072914 |  1322745 |    16437    201 |        0 |        0
593.53/593.75	c  593s |      21 |  2079794 |  1326645 |    16437    201 |        0 |        0
595.53/595.76	c  595s |      21 |  2085301 |  1329945 |    16437    201 |        0 |        0
597.63/597.80	c  597s |      21 |  2091911 |  1333345 |    16437    202 |        0 |        0
599.63/599.82	c  599s |      21 |  2099012 |  1337445 |    16437    202 |        0 |        0
601.64/601.82	c  601s |      21 |  2105806 |  1341045 |    16437    203 |        0 |        0
603.63/603.84	c  603s |      21 |  2113688 |  1346045 |    16437    203 |        0 |        0
605.63/605.89	c  605s |      21 |  2120437 |  1350645 |    16437    204 |        0 |        0
607.62/607.89	c  607s |      21 |  2127304 |  1355245 |    16437    204 |        0 |        0
609.72/609.91	c  609s |      21 |  2134731 |  1360045 |    16437    205 |        0 |        0
611.73/611.92	c  611s |      21 |  2140835 |  1364245 |    16437    206 |        0 |        0
613.74/613.94	c  613s |      21 |  2148195 |  1369245 |    16437    206 |        0 |        0
615.73/615.98	c  615s |      21 |  2154809 |  1373945 |    16437    207 |        0 |        0
617.83/618.00	c  617s |      21 |  2162411 |  1379345 |    16437    207 |        0 |        0
619.83/620.01	c  619s |      21 |  2169563 |  1384145 |    16437    208 |        0 |        0
621.83/622.01	c  621s |      21 |  2176401 |  1388845 |    16437    209 |        0 |        0
623.83/624.03	c  623s |      21 |  2184055 |  1393945 |    16437    209 |        0 |        0
625.83/626.06	c  625s |      21 |  2189905 |  1397945 |    16437    210 |        0 |        0
627.82/628.07	c  627s |      21 |  2197177 |  1402945 |    16437    210 |        0 |        0
630.13/630.31	c  630s |      21 |  2202937 |  1406645 |    16437    211 |        0 |        0
632.12/632.34	c  632s |      21 |  2212369 |  1412345 |    16437    211 |        0 |        0
634.11/634.37	c  634s |      21 |  2220505 |  1417345 |    16437    212 |        0 |        0
636.12/636.39	c  636s |      21 |  2226398 |  1421345 |    16437    212 |        0 |        0
638.21/638.40	c  638s |      21 |  2233006 |  1425345 |    16437    213 |        0 |        0
640.21/640.42	c  640s |      21 |  2238672 |  1428945 |    16437    213 |        0 |        0
642.22/642.44	c  642s |      21 |  2246214 |  1433345 |    16437    214 |        0 |        0
644.21/644.49	c  644s |      21 |  2253189 |  1437645 |    16437    214 |        0 |        0
646.31/646.51	c  646s |      21 |  2260885 |  1441945 |    16437    215 |        0 |        0
648.31/648.55	c  648s |      21 |  2265932 |  1444945 |    16437    215 |        0 |        0
650.31/650.56	c  650s |      21 |  2273846 |  1449145 |    16437    216 |        0 |        0
652.31/652.59	c  652s |      21 |  2282609 |  1453345 |    16437    216 |        0 |        0
654.41/654.64	c  654s |      21 |  2290442 |  1457045 |    16437    217 |        0 |        0
656.41/656.67	c  656s |      21 |  2297196 |  1460945 |    16437    217 |        0 |        0
658.40/658.69	c  658s |      21 |  2306555 |  1465545 |    16437    218 |        0 |        0
660.50/660.72	c  660s |      21 |  2314456 |  1469745 |    16437    218 |        0 |        0
662.50/662.75	c  662s |      21 |  2320953 |  1473445 |    16437    219 |        0 |        0
664.50/664.77	c  664s |      21 |  2328517 |  1477345 |    16437    219 |        0 |        0
666.60/666.85	c  666s |      21 |  2334672 |  1480745 |    16437    220 |        0 |        0
668.61/668.88	c  668s |      21 |  2341941 |  1484745 |    16437    220 |        0 |        0
670.60/670.89	c  670s |      21 |  2347815 |  1488645 |    16437    221 |        0 |        0
672.70/672.90	c  672s |      21 |  2354883 |  1493245 |    18081    221 |        0 |        0
674.70/674.93	c  674s |      21 |  2360635 |  1496945 |    18081    221 |        0 |        0
676.19/676.48	c  676s |      22 |  2366184 |  1500622 |    18081    222 |        0 |        0
678.29/678.52	c  678s |      22 |  2372842 |  1504722 |    18081    222 |        0 |        0
680.29/680.54	c  680s |      22 |  2378964 |  1509022 |    18081    223 |        0 |        0
682.29/682.55	c  682s |      22 |  2383392 |  1511922 |    18081    223 |        0 |        0
684.29/684.58	c  684s |      22 |  2387387 |  1514222 |    18081    223 |        0 |        0
686.29/686.59	c  686s |      22 |  2392312 |  1517222 |    18081    224 |        0 |        0
688.39/688.63	c  688s |      22 |  2401158 |  1521822 |    18081    224 |        0 |        0
690.39/690.67	c  690s |      22 |  2406637 |  1525522 |    18081    225 |        0 |        0
692.38/692.67	c  692s |      22 |  2414323 |  1530122 |    18081    225 |        0 |        0
694.48/694.70	c  694s |      22 |  2420218 |  1533222 |    18081    225 |        0 |        0
696.48/696.74	c  696s |      22 |  2426355 |  1536022 |    18081    226 |        0 |        0
698.58/698.81	c  698s |      22 |  2437015 |  1540022 |    18081    226 |        0 |        0
700.58/700.82	c  700s |      22 |  2442450 |  1542722 |    18081    226 |        0 |        0
702.57/702.87	c  702s |      22 |  2447452 |  1545322 |    18081    227 |        0 |        0
704.67/704.90	c  704s |      22 |  2459060 |  1549422 |    18081    227 |        0 |        0
706.67/706.91	c  706s |      22 |  2465474 |  1553122 |    18081    228 |        0 |        0
708.67/708.98	c  708s |      22 |  2472205 |  1556722 |    18081    228 |        0 |        0
710.77/711.02	c  710s |      22 |  2477067 |  1559422 |    18081    228 |        0 |        0
712.77/713.07	c  712s |      22 |  2482335 |  1562022 |    18081    229 |        0 |        0
714.87/715.14	c  715s |      22 |  2492541 |  1565722 |    18081    229 |        0 |        0
716.87/717.15	c  717s |      22 |  2501828 |  1569722 |    18081    229 |        0 |        0
719.37/719.61	c  719s |      22 |  2506536 |  1572222 |    18081    230 |        0 |        0
721.38/721.64	c  721s |      22 |  2514388 |  1576422 |    18081    230 |        0 |        0
723.37/723.68	c  723s |      22 |  2519235 |  1579522 |    18081    231 |        0 |        0
725.47/725.71	c  725s |      22 |  2522895 |  1581922 |    18081    231 |        0 |        0
727.47/727.74	c  727s |      22 |  2528193 |  1585422 |    18081    231 |        0 |        0
729.56/729.80	c  729s |      22 |  2532104 |  1588022 |    18081    231 |        0 |        0
731.56/731.88	c  731s |      22 |  2534432 |  1589622 |    18081    232 |        0 |        0
733.56/733.89	c  733s |      22 |  2539664 |  1593222 |    18081    232 |        0 |        0
735.66/735.95	c  735s |      22 |  2544487 |  1596422 |    18081    232 |        0 |        0
738.15/738.47	c  738s |      22 |  2546675 |  1597822 |    18081    233 |        0 |        0
740.25/740.50	c  740s |      22 |  2552043 |  1601222 |    18081    233 |        0 |        0
742.26/742.51	c  742s |      22 |  2556567 |  1604822 |    18081    233 |        0 |        0
744.25/744.57	c  744s |      22 |  2562265 |  1608022 |    18081    234 |        0 |        0
746.35/746.61	c  746s |      22 |  2567253 |  1611422 |    18081    234 |        0 |        0
748.35/748.63	c  748s |      22 |  2571733 |  1614522 |    18081    234 |        0 |        0
750.46/750.76	c  750s |      22 |  2575743 |  1617122 |    18081    235 |        0 |        0
752.55/752.80	c  752s |      22 |  2582744 |  1620922 |    18081    235 |        0 |        0
754.55/754.83	c  754s |      22 |  2587111 |  1623622 |    18081    235 |        0 |        0
756.75/757.00	c  756s |      22 |  2590145 |  1625422 |    18081    236 |        0 |        0
758.76/759.03	c  758s |      22 |  2595530 |  1628722 |    18081    236 |        0 |        0
760.75/761.04	c  760s |      22 |  2600823 |  1632622 |    18081    236 |        0 |        0
762.94/763.28	c  763s |      22 |  2605747 |  1635722 |    18081    237 |        0 |        0
765.04/765.32	c  765s |      22 |  2612705 |  1640022 |    18081    237 |        0 |        0
767.04/767.35	c  767s |      22 |  2616214 |  1642422 |    18081    237 |        0 |        0
769.04/769.37	c  769s |      22 |  2623251 |  1646622 |    18081    238 |        0 |        0
771.14/771.40	c  771s |      22 |  2629702 |  1650622 |    18081    238 |        0 |        0
773.14/773.41	c  773s |      22 |  2635743 |  1654222 |    18081    239 |        0 |        0
775.14/775.43	c  775s |      22 |  2643298 |  1658822 |    18081    239 |        0 |        0
777.14/777.47	c  777s |      22 |  2650843 |  1662922 |    18081    240 |        0 |        0
779.14/779.47	c  779s |      22 |  2659432 |  1667422 |    18081    240 |        0 |        0
781.14/781.48	c  781s |      22 |  2666391 |  1671522 |    18081    241 |        0 |        0
783.14/783.48	c  783s |      22 |  2672752 |  1675322 |    18081    241 |        0 |        0
785.24/785.53	c  785s |      22 |  2679643 |  1679522 |    18081    241 |        0 |        0
787.23/787.56	c  787s |      22 |  2685716 |  1683122 |    18081    242 |        0 |        0
789.33/789.60	c  789s |      22 |  2692912 |  1687722 |    18081    242 |        0 |        0
791.33/791.64	c  791s |      22 |  2699357 |  1691622 |    18081    243 |        0 |        0
793.33/793.65	c  793s |      22 |  2706440 |  1695522 |    18081    243 |        0 |        0
795.33/795.67	c  795s |      22 |  2711731 |  1698722 |    18081    244 |        0 |        0
797.33/797.69	c  797s |      22 |  2719645 |  1703222 |    18081    244 |        0 |        0
799.43/799.72	c  799s |      22 |  2724578 |  1706222 |    18081    244 |        0 |        0
801.42/801.76	c  801s |      22 |  2731910 |  1710522 |    18081    245 |        0 |        0
803.52/803.81	c  803s |      22 |  2740744 |  1714822 |    18081    245 |        0 |        0
805.52/805.83	c  805s |      22 |  2747998 |  1718822 |    18081    246 |        0 |        0
807.52/807.85	c  807s |      22 |  2755019 |  1723022 |    18081    246 |        0 |        0
809.52/809.87	c  809s |      22 |  2760913 |  1726922 |    18081    247 |        0 |        0
811.62/811.94	c  811s |      22 |  2767791 |  1730922 |    18081    247 |        0 |        0
813.61/813.96	c  813s |      22 |  2774411 |  1734622 |    18081    248 |        0 |        0
815.61/815.99	c  815s |      22 |  2782032 |  1739322 |    18081    248 |        0 |        0
817.61/817.99	c  817s |      22 |  2789011 |  1742922 |    18081    248 |        0 |        0
819.71/820.01	c  819s |      22 |  2795908 |  1746722 |    18081    249 |        0 |        0
821.71/822.01	c  821s |      22 |  2802402 |  1750922 |    18081    249 |        0 |        0
823.72/824.04	c  823s |      22 |  2809619 |  1754522 |    18081    250 |        0 |        0
825.71/826.05	c  825s |      22 |  2816995 |  1758822 |    18081    250 |        0 |        0
827.71/828.07	c  827s |      22 |  2821677 |  1761722 |    18081    251 |        0 |        0
829.71/830.09	c  829s |      22 |  2828180 |  1765122 |    18081    251 |        0 |        0
831.71/832.09	c  831s |      22 |  2834427 |  1768922 |    18081    251 |        0 |        0
833.80/834.12	c  834s |      22 |  2841465 |  1773122 |    18081    252 |        0 |        0
835.81/836.15	c  836s |      22 |  2849522 |  1777322 |    18081    252 |        0 |        0
837.80/838.15	c  838s |      22 |  2854842 |  1780422 |    18081    253 |        0 |        0
839.80/840.16	c  840s |      22 |  2862248 |  1783922 |    18081    253 |        0 |        0
841.81/842.17	c  842s |      22 |  2869783 |  1787722 |    18081    253 |        0 |        0
843.90/844.20	c  844s |      22 |  2876838 |  1792022 |    18081    254 |        0 |        0
845.91/846.20	c  846s |      22 |  2883706 |  1796222 |    18081    254 |        0 |        0
847.91/848.23	c  848s |      22 |  2890312 |  1799922 |    18081    255 |        0 |        0
849.90/850.26	c  850s |      22 |  2898954 |  1804422 |    18081    255 |        0 |        0
851.90/852.29	c  852s |      22 |  2907048 |  1808022 |    18081    256 |        0 |        0
853.90/854.29	c  854s |      22 |  2913961 |  1811922 |    18081    256 |        0 |        0
856.00/856.37	c  856s |      22 |  2919999 |  1815122 |    18081    256 |        0 |        0
858.10/858.41	c  858s |      22 |  2925813 |  1818422 |    18081    257 |        0 |        0
860.10/860.42	c  860s |      22 |  2931350 |  1821722 |    18081    257 |        0 |        0
862.10/862.46	c  862s |      22 |  2937304 |  1824922 |    18081    257 |        0 |        0
864.19/864.50	c  864s |      22 |  2944589 |  1828722 |    18081    258 |        0 |        0
866.19/866.53	c  866s |      22 |  2950552 |  1832222 |    18081    258 |        0 |        0
868.19/868.58	c  868s |      22 |  2955133 |  1835022 |    18081    259 |        0 |        0
870.29/870.61	c  870s |      22 |  2961863 |  1838422 |    18081    259 |        0 |        0
872.29/872.64	c  872s |      22 |  2965968 |  1840922 |    18081    259 |        0 |        0
874.29/874.68	c  874s |      22 |  2971651 |  1844322 |    18081    260 |        0 |        0
876.39/876.72	c  876s |      22 |  2977991 |  1847922 |    18081    260 |        0 |        0
878.38/878.76	c  878s |      22 |  2983433 |  1851022 |    18081    260 |        0 |        0
880.48/880.82	c  880s |      22 |  2990407 |  1854722 |    18081    261 |        0 |        0
882.48/882.88	c  882s |      22 |  2996826 |  1858222 |    18081    261 |        0 |        0
884.58/884.94	c  884s |      22 |  3003272 |  1861322 |    18081    262 |        0 |        0
886.58/886.98	c  886s |      22 |  3010001 |  1864522 |    18081    262 |        0 |        0
888.67/889.00	c  888s |      22 |  3016684 |  1868322 |    18081    262 |        0 |        0
890.68/891.10	c  890s |      22 |  3021328 |  1871022 |    18081    263 |        0 |        0
892.77/893.12	c  893s |      22 |  3028841 |  1875422 |    18081    263 |        0 |        0
894.77/895.15	c  895s |      22 |  3035965 |  1879322 |    18081    263 |        0 |        0
896.87/897.20	c  897s |      22 |  3043984 |  1883722 |    18081    264 |        0 |        0
898.87/899.20	c  899s |      22 |  3051065 |  1887622 |    18081    264 |        0 |        0
900.87/901.21	c  901s |      22 |  3057087 |  1891222 |    18081    265 |        0 |        0
902.87/903.22	c  903s |      22 |  3063301 |  1893922 |    18081    265 |        0 |        0
904.87/905.27	c  905s |      22 |  3070545 |  1897122 |    18081    265 |        0 |        0
906.87/907.29	c  907s |      22 |  3076665 |  1900922 |    18081    266 |        0 |        0
908.96/909.30	c  909s |      22 |  3083239 |  1905122 |    18081    266 |        0 |        0
910.96/911.31	c  911s |      22 |  3088646 |  1908322 |    18081    267 |        0 |        0
912.96/913.36	c  913s |      22 |  3093844 |  1911622 |    18081    267 |        0 |        0
915.06/915.42	c  915s |      22 |  3099717 |  1914922 |    18081    267 |        0 |        0
917.07/917.42	c  917s |      22 |  3106932 |  1918922 |    18081    268 |        0 |        0
919.06/919.47	c  919s |      22 |  3113865 |  1922622 |    18081    268 |        0 |        0
921.16/921.53	c  921s |      22 |  3121184 |  1926422 |    18081    269 |        0 |        0
923.15/923.54	c  923s |      22 |  3126998 |  1929722 |    18081    269 |        0 |        0
925.15/925.57	c  925s |      22 |  3135323 |  1933322 |    18081    269 |        0 |        0
927.15/927.58	c  927s |      22 |  3141859 |  1937022 |    18081    270 |        0 |        0
929.26/929.65	c  929s |      22 |  3150353 |  1941422 |    18081    270 |        0 |        0
931.25/931.65	c  931s |      22 |  3156261 |  1944622 |    18081    271 |        0 |        0
933.25/933.66	c  933s |      22 |  3164539 |  1948422 |    18081    271 |        0 |        0
935.25/935.67	c  935s |      22 |  3171382 |  1951822 |    18081    271 |        0 |        0
937.35/937.70	c  937s |      22 |  3178428 |  1955822 |    18081    272 |        0 |        0
939.35/939.75	c  939s |      22 |  3189522 |  1959922 |    18081    272 |        0 |        0
941.45/941.84	c  941s |      22 |  3196943 |  1963322 |    18081    273 |        0 |        0
943.45/943.86	c  943s |      22 |  3200630 |  1965522 |    18081    273 |        0 |        0
945.44/945.87	c  945s |      22 |  3208098 |  1970022 |    18081    273 |        0 |        0
947.54/947.92	c  947s |      22 |  3214782 |  1974022 |    18081    274 |        0 |        0
949.54/949.94	c  949s |      22 |  3220496 |  1977622 |    18081    274 |        0 |        0
951.54/951.96	c  951s |      22 |  3227153 |  1981922 |    18081    275 |        0 |        0
953.53/953.98	c  953s |      22 |  3234706 |  1986022 |    18081    275 |        0 |        0
955.64/956.02	c  955s |      22 |  3241745 |  1990222 |    18081    276 |        0 |        0
957.63/958.04	c  957s |      22 |  3247909 |  1994222 |    18081    276 |        0 |        0
959.63/960.06	c  959s |      22 |  3254479 |  1998422 |    18081    277 |        0 |        0
961.73/962.16	c  962s |      22 |  3261127 |  2002722 |    18081    277 |        0 |        0
963.74/964.18	c  964s |      22 |  3267956 |  2006822 |    18081    277 |        0 |        0
965.74/966.19	c  966s |      22 |  3275285 |  2010922 |    18081    278 |        0 |        0
967.74/968.19	c  968s |      22 |  3282017 |  2014922 |    18081    278 |        0 |        0
969.84/970.21	c  970s |      22 |  3289137 |  2018822 |    18081    279 |        0 |        0
971.84/972.26	c  972s |      22 |  3295365 |  2022322 |    18081    279 |        0 |        0
973.83/974.26	c  974s |      22 |  3301725 |  2026222 |    18081    280 |        0 |        0
975.83/976.28	c  976s |      22 |  3309700 |  2030422 |    18081    280 |        0 |        0
977.93/978.32	c  978s |      22 |  3315629 |  2034022 |    18081    281 |        0 |        0
979.93/980.35	c  980s |      22 |  3325074 |  2038022 |    18081    281 |        0 |        0
981.94/982.38	c  982s |      22 |  3332574 |  2041922 |    18081    281 |        0 |        0
984.03/984.41	c  984s |      22 |  3338700 |  2045622 |    18081    282 |        0 |        0
986.03/986.42	c  986s |      22 |  3344160 |  2048922 |    18081    282 |        0 |        0
988.02/988.45	c  988s |      22 |  3349478 |  2052222 |    18081    283 |        0 |        0
990.02/990.47	c  990s |      22 |  3356750 |  2056622 |    18081    283 |        0 |        0
992.12/992.50	c  992s |      22 |  3363185 |  2060122 |    18081    283 |        0 |        0
994.13/994.53	c  994s |      22 |  3369241 |  2063122 |    18081    284 |        0 |        0
996.12/996.53	c  996s |      22 |  3376010 |  2067222 |    18081    284 |        0 |        0
998.12/998.53	c  998s |      22 |  3383420 |  2071422 |    18081    285 |        0 |        0
1000.12/1000.57	c 1000s |      22 |  3391247 |  2076522 |    18081    285 |        0 |        0
1002.21/1002.62	c 1002s |      22 |  3398900 |  2080922 |    18081    286 |        0 |        0
1004.21/1004.63	c 1004s |      22 |  3406812 |  2085922 |    18081    286 |        0 |        0
1006.22/1006.66	c 1006s |      22 |  3413341 |  2090122 |    18081    287 |        0 |        0
1008.21/1008.69	c 1008s |      22 |  3421058 |  2094822 |    18081    287 |        0 |        0
1010.31/1010.70	c 1010s |      22 |  3427290 |  2098722 |    18081    288 |        0 |        0
1012.31/1012.72	c 1012s |      22 |  3435783 |  2103422 |    18081    288 |        0 |        0
1014.40/1014.81	c 1014s |      22 |  3441765 |  2107022 |    18081    289 |        0 |        0
1016.40/1016.81	c 1016s |      22 |  3449785 |  2111422 |    18081    289 |        0 |        0
1018.40/1018.84	c 1018s |      22 |  3458530 |  2115122 |    18081    289 |        0 |        0
1020.41/1020.87	c 1020s |      22 |  3462945 |  2118122 |    18081    290 |        0 |        0
1022.40/1022.88	c 1022s |      22 |  3468215 |  2121222 |    18081    290 |        0 |        0
1024.50/1024.95	c 1024s |      22 |  3472188 |  2124022 |    18081    290 |        0 |        0
1026.60/1027.00	c 1026s |      22 |  3474929 |  2125922 |    18081    291 |        0 |        0
1028.60/1029.03	c 1028s |      22 |  3479633 |  2128822 |    18081    291 |        0 |        0
1030.60/1031.08	c 1030s |      22 |  3484585 |  2131422 |    18081    291 |        0 |        0
1032.61/1033.09	c 1032s |      22 |  3488336 |  2133622 |    18081    291 |        0 |        0
1034.70/1035.13	c 1035s |      22 |  3491988 |  2135622 |    18081    292 |        0 |        0
1036.70/1037.17	c 1037s |      22 |  3498340 |  2139022 |    18081    292 |        0 |        0
1038.80/1039.20	c 1039s |      22 |  3504539 |  2142022 |    18081    292 |        0 |        0
1040.79/1041.23	c 1041s |      22 |  3509903 |  2145322 |    18081    293 |        0 |        0
1042.79/1043.26	c 1043s |      22 |  3517289 |  2148522 |    18081    293 |        0 |        0
1044.79/1045.29	c 1045s |      22 |  3522691 |  2151222 |    18081    293 |        0 |        0
1046.80/1047.29	c 1047s |      22 |  3527745 |  2154322 |    18081    294 |        0 |        0
1048.89/1049.35	c 1049s |      22 |  3532967 |  2157322 |    18081    294 |        0 |        0
1050.99/1051.44	c 1051s |      22 |  3537175 |  2160422 |    18081    294 |        0 |        0
1052.99/1053.44	c 1053s |      22 |  3544615 |  2164522 |    18081    295 |        0 |        0
1054.99/1055.47	c 1055s |      22 |  3553292 |  2169322 |    18081    295 |        0 |        0
1056.99/1057.47	c 1057s |      22 |  3561502 |  2173822 |    18081    296 |        0 |        0
1059.00/1059.48	c 1059s |      22 |  3568798 |  2178222 |    18081    296 |        0 |        0
1060.99/1061.49	c 1061s |      22 |  3576611 |  2182222 |    18081    297 |        0 |        0
1063.09/1063.50	c 1063s |      22 |  3584850 |  2186922 |    18081    297 |        0 |        0
1065.09/1065.52	c 1065s |      22 |  3590978 |  2190322 |    18081    298 |        0 |        0
1067.08/1067.55	c 1067s |      22 |  3600939 |  2194922 |    18081    298 |        0 |        0
1069.38/1069.87	c 1069s |      22 |  3605870 |  2197822 |    18081    299 |        0 |        0
1071.38/1071.89	c 1071s |      22 |  3614633 |  2202522 |    18081    299 |        0 |        0
1073.58/1074.03	c 1073s |      22 |  3621550 |  2206622 |    18081    300 |        0 |        0
1075.58/1076.06	c 1075s |      22 |  3628669 |  2211022 |    18081    300 |        0 |        0
1077.59/1078.09	c 1077s |      22 |  3635663 |  2215422 |    18081    300 |        0 |        0
1079.69/1080.10	c 1080s |      22 |  3643883 |  2219422 |    18081    301 |        0 |        0
1081.69/1082.14	c 1082s |      22 |  3650938 |  2223622 |    18081    301 |        0 |        0
1084.09/1084.57	c 1084s |      22 |  3656133 |  2226422 |    18081    302 |        0 |        0
1086.09/1086.58	c 1086s |      22 |  3664321 |  2231222 |    18081    302 |        0 |        0
1088.09/1088.59	c 1088s |      22 |  3670301 |  2234622 |    18081    303 |        0 |        0
1090.19/1090.62	c 1090s |      22 |  3678806 |  2238322 |    19890    303 |        0 |        0
1092.19/1092.64	c 1092s |      22 |  3687530 |  2243122 |    19890    303 |        0 |        0
1094.58/1095.08	c 1094s |      22 |  3693861 |  2246822 |    19890    304 |        0 |        0
1096.48/1096.94	c 1096s |      23 |  3701503 |  2251038 |    19890    304 |        0 |        0
1098.49/1098.97	c 1098s |      23 |  3707629 |  2255338 |    19890    305 |        0 |        0
1100.48/1100.97	c 1100s |      23 |  3715290 |  2260638 |    19890    305 |        0 |        0
1102.48/1102.99	c 1102s |      23 |  3721580 |  2265038 |    19890    306 |        0 |        0
1104.58/1105.02	c 1104s |      23 |  3728839 |  2270238 |    19890    306 |        0 |        0
1106.58/1107.05	c 1106s |      23 |  3735264 |  2274838 |    19890    307 |        0 |        0
1108.57/1109.08	c 1108s |      23 |  3739802 |  2277738 |    19890    307 |        0 |        0
1110.68/1111.12	c 1111s |      23 |  3748881 |  2283738 |    19890    307 |        0 |        0
1112.68/1113.15	c 1113s |      23 |  3757011 |  2288138 |    19890    308 |        0 |        0
1114.68/1115.15	c 1115s |      23 |  3764908 |  2293038 |    19890    308 |        0 |        0
1116.68/1117.17	c 1117s |      23 |  3771266 |  2297338 |    19890    309 |        0 |        0
1118.68/1119.19	c 1119s |      23 |  3777352 |  2301738 |    19890    309 |        0 |        0
1120.68/1121.20	c 1121s |      23 |  3783387 |  2306238 |    19890    310 |        0 |        0
1122.79/1123.22	c 1123s |      23 |  3790456 |  2311638 |    19890    310 |        0 |        0
1124.78/1125.23	c 1125s |      23 |  3796887 |  2316138 |    19890    311 |        0 |        0
1126.78/1127.23	c 1127s |      23 |  3804182 |  2321138 |    19890    311 |        0 |        0
1128.78/1129.25	c 1129s |      23 |  3810024 |  2325438 |    19890    312 |        0 |        0
1130.78/1131.27	c 1131s |      23 |  3818785 |  2330038 |    19890    312 |        0 |        0
1132.78/1133.28	c 1133s |      23 |  3824030 |  2333538 |    19890    312 |        0 |        0
1134.79/1135.30	c 1135s |      23 |  3831453 |  2338238 |    19890    313 |        0 |        0
1136.88/1137.36	c 1137s |      23 |  3837853 |  2342638 |    19890    313 |        0 |        0
1138.88/1139.37	c 1139s |      23 |  3842714 |  2346238 |    19890    314 |        0 |        0
1140.88/1141.39	c 1141s |      23 |  3849908 |  2351438 |    19890    314 |        0 |        0
1142.98/1143.43	c 1143s |      23 |  3855498 |  2355438 |    19890    315 |        0 |        0
1144.98/1145.48	c 1145s |      23 |  3862269 |  2360138 |    19890    315 |        0 |        0
1147.08/1147.52	c 1147s |      23 |  3867773 |  2364338 |    19890    315 |        0 |        0
1149.08/1149.54	c 1149s |      23 |  3872358 |  2367738 |    19890    316 |        0 |        0
1151.08/1151.59	c 1151s |      23 |  3877967 |  2371938 |    19890    316 |        0 |        0
1153.28/1153.72	c 1153s |      23 |  3882673 |  2375638 |    19890    317 |        0 |        0
1155.27/1155.73	c 1155s |      23 |  3888098 |  2379538 |    19890    317 |        0 |        0
1157.37/1157.85	c 1157s |      23 |  3892507 |  2382138 |    19890    317 |        0 |        0
1159.37/1159.87	c 1159s |      23 |  3902865 |  2387738 |    19890    318 |        0 |        0
1161.37/1161.88	c 1161s |      23 |  3909769 |  2391838 |    19890    318 |        0 |        0
1163.38/1163.89	c 1163s |      23 |  3917687 |  2396238 |    19890    319 |        0 |        0
1165.47/1165.90	c 1165s |      23 |  3924601 |  2401038 |    19890    319 |        0 |        0
1167.47/1167.91	c 1167s |      23 |  3931459 |  2405438 |    19890    320 |        0 |        0
1169.47/1169.95	c 1169s |      23 |  3940263 |  2410238 |    19890    320 |        0 |        0
1171.47/1171.95	c 1171s |      23 |  3949279 |  2415638 |    19890    321 |        0 |        0
1173.47/1173.99	c 1173s |      23 |  3957922 |  2420538 |    19890    321 |        0 |        0
1175.47/1175.99	c 1175s |      23 |  3964496 |  2424638 |    19890    322 |        0 |        0
1177.57/1178.00	c 1177s |      23 |  3971996 |  2429238 |    19890    322 |        0 |        0
1179.57/1180.03	c 1179s |      23 |  3978052 |  2433738 |    19890    322 |        0 |        0
1181.57/1182.05	c 1181s |      23 |  3983789 |  2437938 |    19890    323 |        0 |        0
1183.57/1184.09	c 1183s |      23 |  3989900 |  2442138 |    19890    323 |        0 |        0
1185.66/1186.10	c 1185s |      23 |  3993894 |  2445338 |    19890    324 |        0 |        0
1187.67/1188.12	c 1188s |      23 |  4001914 |  2451038 |    19890    324 |        0 |        0
1189.67/1190.14	c 1190s |      23 |  4007873 |  2455238 |    19890    325 |        0 |        0
1191.67/1192.16	c 1192s |      23 |  4014389 |  2459938 |    19890    325 |        0 |        0
1193.77/1194.29	c 1194s |      23 |  4021681 |  2464538 |    19890    326 |        0 |        0
1195.87/1196.34	c 1196s |      23 |  4028049 |  2468738 |    19890    326 |        0 |        0
1197.87/1198.37	c 1198s |      23 |  4035990 |  2473538 |    19890    326 |        0 |        0
1199.97/1200.40	c 1200s |      23 |  4042166 |  2478038 |    19890    327 |        0 |        0
1201.87/1202.40	c 1202s |      23 |  4048985 |  2481938 |    19890    327 |        0 |        0
1203.96/1204.41	c 1204s |      23 |  4054638 |  2485238 |    19890    328 |        0 |        0
1205.96/1206.43	c 1206s |      23 |  4063131 |  2490538 |    19890    328 |        0 |        0
1207.96/1208.43	c 1208s |      23 |  4068670 |  2494138 |    19890    329 |        0 |        0
1210.06/1210.50	c 1210s |      23 |  4077095 |  2498838 |    19890    329 |        0 |        0
1212.06/1212.52	c 1212s |      23 |  4085247 |  2503538 |    19890    329 |        0 |        0
1214.07/1214.55	c 1214s |      23 |  4093629 |  2508138 |    19890    330 |        0 |        0
1216.06/1216.56	c 1216s |      23 |  4101574 |  2513238 |    19890    330 |        0 |        0
1218.06/1218.59	c 1218s |      23 |  4111862 |  2518638 |    19890    331 |        0 |        0
1220.16/1220.61	c 1220s |      23 |  4120069 |  2523438 |    19890    331 |        0 |        0
1222.16/1222.62	c 1222s |      23 |  4126582 |  2527638 |    19890    332 |        0 |        0
1224.16/1224.62	c 1224s |      23 |  4133895 |  2532138 |    19890    332 |        0 |        0
1226.17/1226.63	c 1226s |      23 |  4139319 |  2535438 |    19890    333 |        0 |        0
1228.16/1228.66	c 1228s |      23 |  4146547 |  2540438 |    19890    333 |        0 |        0
1230.16/1230.68	c 1230s |      23 |  4153578 |  2544738 |    19890    334 |        0 |        0
1232.26/1232.74	c 1232s |      23 |  4158212 |  2547438 |    19890    334 |        0 |        0
1234.26/1234.77	c 1234s |      23 |  4166894 |  2552838 |    19890    334 |        0 |        0
1236.26/1236.78	c 1236s |      23 |  4175935 |  2558238 |    19890    335 |        0 |        0
1238.36/1238.82	c 1238s |      23 |  4184136 |  2563338 |    19890    335 |        0 |        0
1240.36/1240.83	c 1240s |      23 |  4191157 |  2568438 |    19890    336 |        0 |        0
1242.36/1242.86	c 1242s |      23 |  4198811 |  2573238 |    19890    336 |        0 |        0
1244.35/1244.89	c 1244s |      23 |  4205932 |  2577538 |    19890    337 |        0 |        0
1246.45/1246.95	c 1246s |      23 |  4213092 |  2581938 |    19890    337 |        0 |        0
1248.46/1248.98	c 1248s |      23 |  4218433 |  2585338 |    19890    338 |        0 |        0
1250.56/1251.00	c 1250s |      23 |  4225676 |  2589538 |    19890    338 |        0 |        0
1252.66/1253.11	c 1253s |      23 |  4233204 |  2593838 |    19890    339 |        0 |        0
1254.67/1255.14	c 1255s |      23 |  4239297 |  2598138 |    19890    339 |        0 |        0
1256.96/1257.43	c 1257s |      23 |  4244752 |  2601838 |    19890    339 |        0 |        0
1258.96/1259.44	c 1259s |      23 |  4253979 |  2607038 |    19890    340 |        0 |        0
1260.96/1261.45	c 1261s |      23 |  4263956 |  2612738 |    19890    340 |        0 |        0
1262.96/1263.48	c 1263s |      23 |  4271482 |  2617338 |    19890    341 |        0 |        0
1264.95/1265.49	c 1265s |      23 |  4279951 |  2622738 |    19890    341 |        0 |        0
1267.05/1267.52	c 1267s |      23 |  4286020 |  2627038 |    19890    342 |        0 |        0
1269.06/1269.55	c 1269s |      23 |  4293408 |  2631638 |    19890    342 |        0 |        0
1271.05/1271.56	c 1271s |      23 |  4299354 |  2635138 |    19890    343 |        0 |        0
1273.05/1273.59	c 1273s |      23 |  4308075 |  2640538 |    19890    343 |        0 |        0
1275.15/1275.60	c 1275s |      23 |  4314574 |  2644838 |    19890    344 |        0 |        0
1277.15/1277.61	c 1277s |      23 |  4321338 |  2649538 |    19890    344 |        0 |        0
1279.15/1279.61	c 1279s |      23 |  4326710 |  2653638 |    19890    344 |        0 |        0
1281.16/1281.65	c 1281s |      23 |  4331088 |  2657238 |    19890    345 |        0 |        0
1283.15/1283.67	c 1283s |      23 |  4337045 |  2662238 |    19890    345 |        0 |        0
1285.15/1285.69	c 1285s |      23 |  4343155 |  2667038 |    19890    346 |        0 |        0
1287.25/1287.71	c 1287s |      23 |  4348857 |  2671538 |    19890    346 |        0 |        0
1289.25/1289.76	c 1289s |      23 |  4353472 |  2675038 |    19890    347 |        0 |        0
1291.25/1291.79	c 1291s |      23 |  4358658 |  2679338 |    19890    347 |        0 |        0
1293.35/1293.84	c 1293s |      23 |  4363499 |  2683238 |    19890    347 |        0 |        0
1295.35/1295.84	c 1295s |      23 |  4368215 |  2686938 |    19890    348 |        0 |        0
1297.35/1297.88	c 1297s |      23 |  4374356 |  2691838 |    19890    348 |        0 |        0
1299.55/1300.07	c 1299s |      23 |  4377086 |  2693738 |    19890    349 |        0 |        0
1301.55/1302.08	c 1301s |      23 |  4383756 |  2698838 |    19890    349 |        0 |        0
1303.65/1304.11	c 1304s |      23 |  4388449 |  2702238 |    19890    349 |        0 |        0
1305.65/1306.15	c 1306s |      23 |  4393316 |  2706138 |    19890    350 |        0 |        0
1307.65/1308.18	c 1308s |      23 |  4397693 |  2709438 |    19890    350 |        0 |        0
1309.75/1310.21	c 1310s |      23 |  4403084 |  2713738 |    19890    351 |        0 |        0
1311.75/1312.26	c 1312s |      23 |  4409768 |  2718738 |    19890    351 |        0 |        0
1313.84/1314.30	c 1314s |      23 |  4413785 |  2721838 |    19890    351 |        0 |        0
1315.85/1316.32	c 1316s |      23 |  4419465 |  2726338 |    19890    352 |        0 |        0
1317.85/1318.34	c 1318s |      23 |  4426758 |  2731238 |    19890    352 |        0 |        0
1319.85/1320.37	c 1320s |      23 |  4431913 |  2735138 |    19890    353 |        0 |        0
1321.86/1322.38	c 1322s |      23 |  4435970 |  2738038 |    19890    353 |        0 |        0
1323.85/1324.39	c 1324s |      23 |  4443273 |  2743238 |    19890    353 |        0 |        0
1325.85/1326.39	c 1326s |      23 |  4450052 |  2747638 |    19890    354 |        0 |        0
1327.95/1328.41	c 1328s |      23 |  4456917 |  2752138 |    19890    354 |        0 |        0
1329.95/1330.42	c 1330s |      23 |  4461133 |  2754438 |    19890    355 |        0 |        0
1331.95/1332.47	c 1332s |      23 |  4468958 |  2759438 |    19890    355 |        0 |        0
1334.05/1334.56	c 1334s |      23 |  4474906 |  2763338 |    19890    356 |        0 |        0
1336.05/1336.59	c 1336s |      23 |  4481727 |  2768038 |    19890    356 |        0 |        0
1338.05/1338.59	c 1338s |      23 |  4488975 |  2772938 |    19890    356 |        0 |        0
1340.15/1340.60	c 1340s |      23 |  4494848 |  2777538 |    19890    357 |        0 |        0
1342.15/1342.63	c 1342s |      23 |  4501706 |  2782338 |    19890    357 |        0 |        0
1344.14/1344.66	c 1344s |      23 |  4506500 |  2785638 |    19890    358 |        0 |        0
1346.14/1346.69	c 1346s |      23 |  4512286 |  2789738 |    19890    358 |        0 |        0
1348.25/1348.71	c 1348s |      23 |  4519610 |  2795138 |    19890    359 |        0 |        0
1350.24/1350.72	c 1350s |      23 |  4528127 |  2800238 |    19890    359 |        0 |        0
1352.24/1352.73	c 1352s |      23 |  4533447 |  2803738 |    19890    360 |        0 |        0
1354.24/1354.73	c 1354s |      23 |  4540331 |  2807938 |    19890    360 |        0 |        0
1356.24/1356.78	c 1356s |      23 |  4545905 |  2811538 |    19890    360 |        0 |        0
1358.34/1358.80	c 1358s |      23 |  4551287 |  2814538 |    19890    361 |        0 |        0
1360.35/1360.83	c 1360s |      23 |  4558323 |  2819138 |    19890    361 |        0 |        0
1362.34/1362.85	c 1362s |      23 |  4565970 |  2824538 |    19890    362 |        0 |        0
1364.34/1364.86	c 1364s |      23 |  4575470 |  2829538 |    19890    362 |        0 |        0
1366.44/1366.94	c 1366s |      23 |  4581041 |  2833138 |    19890    363 |        0 |        0
1368.44/1368.97	c 1368s |      23 |  4587505 |  2837338 |    19890    363 |        0 |        0
1370.54/1371.00	c 1370s |      23 |  4594363 |  2841938 |    19890    363 |        0 |        0
1372.54/1373.01	c 1372s |      23 |  4599983 |  2846038 |    19890    364 |        0 |        0
1374.54/1375.02	c 1374s |      23 |  4606866 |  2850338 |    19890    364 |        0 |        0
1376.54/1377.05	c 1376s |      23 |  4613272 |  2854438 |    19890    365 |        0 |        0
1378.53/1379.07	c 1378s |      23 |  4619616 |  2857838 |    19890    365 |        0 |        0
1380.54/1381.08	c 1380s |      23 |  4627034 |  2862638 |    19890    365 |        0 |        0
1382.63/1383.13	c 1383s |      23 |  4634060 |  2867238 |    19890    366 |        0 |        0
1384.63/1385.18	c 1385s |      23 |  4640185 |  2871538 |    19890    366 |        0 |        0
1386.64/1387.18	c 1387s |      23 |  4646589 |  2876138 |    19890    367 |        0 |        0
1388.84/1389.37	c 1389s |      23 |  4651619 |  2879938 |    19890    367 |        0 |        0
1390.83/1391.38	c 1391s |      23 |  4659783 |  2884338 |    19890    368 |        0 |        0
1392.83/1393.39	c 1393s |      23 |  4664873 |  2888238 |    19890    368 |        0 |        0
1394.93/1395.42	c 1395s |      23 |  4672535 |  2893238 |    19890    369 |        0 |        0
1396.93/1397.43	c 1397s |      23 |  4680230 |  2897938 |    19890    369 |        0 |        0
1398.93/1399.45	c 1399s |      23 |  4685145 |  2901038 |    19890    369 |        0 |        0
1400.94/1401.48	c 1401s |      23 |  4692992 |  2905638 |    19890    370 |        0 |        0
1403.14/1403.65	c 1403s |      23 |  4700925 |  2909638 |    19890    370 |        0 |        0
1405.23/1405.72	c 1405s |      23 |  4707464 |  2913738 |    19890    371 |        0 |        0
1407.23/1407.73	c 1407s |      23 |  4717427 |  2919538 |    19890    371 |        0 |        0
1409.23/1409.78	c 1409s |      23 |  4723693 |  2923238 |    19890    372 |        0 |        0
1411.33/1411.82	c 1411s |      23 |  4731644 |  2928438 |    19890    372 |        0 |        0
1413.33/1413.86	c 1413s |      23 |  4737855 |  2932438 |    19890    372 |        0 |        0
1415.33/1415.87	c 1415s |      23 |  4745638 |  2936838 |    19890    373 |        0 |        0
1417.43/1417.90	c 1417s |      23 |  4752805 |  2941538 |    19890    373 |        0 |        0
1419.43/1419.90	c 1419s |      23 |  4760517 |  2945738 |    19890    374 |        0 |        0
1421.43/1421.92	c 1421s |      23 |  4767040 |  2950138 |    19890    374 |        0 |        0
1423.44/1423.95	c 1423s |      23 |  4773438 |  2954138 |    19890    375 |        0 |        0
1425.53/1426.01	c 1425s |      23 |  4781185 |  2958838 |    19890    375 |        0 |        0
1427.54/1428.07	c 1427s |      23 |  4787590 |  2962638 |    19890    375 |        0 |        0
1429.54/1430.09	c 1429s |      23 |  4794225 |  2966638 |    19890    376 |        0 |        0
1431.63/1432.15	c 1432s |      23 |  4801508 |  2970538 |    19890    376 |        0 |        0
1434.04/1434.52	c 1434s |      23 |  4809352 |  2974438 |    19890    377 |        0 |        0
1436.03/1436.52	c 1436s |      23 |  4818277 |  2981238 |    19890    377 |        0 |        0
1438.03/1438.56	c 1438s |      23 |  4827987 |  2986438 |    19890    378 |        0 |        0
1440.13/1440.60	c 1440s |      23 |  4836644 |  2990738 |    19890    378 |        0 |        0
1442.13/1442.62	c 1442s |      23 |  4843969 |  2995138 |    19890    379 |        0 |        0
1444.13/1444.65	c 1444s |      23 |  4852765 |  3000238 |    19890    379 |        0 |        0
1446.14/1446.65	c 1446s |      23 |  4860553 |  3004938 |    19890    380 |        0 |        0
1448.23/1448.70	c 1448s |      23 |  4870550 |  3010138 |    19890    380 |        0 |        0
1450.23/1450.71	c 1450s |      23 |  4879258 |  3014538 |    19890    381 |        0 |        0
1452.23/1452.73	c 1452s |      23 |  4887270 |  3019038 |    19890    381 |        0 |        0
1454.23/1454.74	c 1454s |      23 |  4895143 |  3023138 |    19890    382 |        0 |        0
1456.23/1456.75	c 1456s |      23 |  4902483 |  3027738 |    19890    382 |        0 |        0
1458.23/1458.77	c 1458s |      23 |  4907967 |  3031738 |    19890    382 |        0 |        0
1460.33/1460.81	c 1460s |      23 |  4914127 |  3036038 |    19890    383 |        0 |        0
1462.33/1462.83	c 1462s |      23 |  4922172 |  3040738 |    19890    383 |        0 |        0
1464.32/1464.88	c 1464s |      23 |  4931595 |  3045438 |    19890    384 |        0 |        0
1466.42/1466.99	c 1466s |      23 |  4939037 |  3049438 |    19890    384 |        0 |        0
1468.52/1469.00	c 1468s |      23 |  4946081 |  3053738 |    19890    385 |        0 |        0
1470.52/1471.01	c 1470s |      23 |  4953935 |  3058238 |    19890    385 |        0 |        0
1472.53/1473.03	c 1472s |      23 |  4961124 |  3063238 |    19890    386 |        0 |        0
1474.82/1475.38	c 1475s |      23 |  4966936 |  3067338 |    19890    386 |        0 |        0
1476.83/1477.39	c 1477s |      23 |  4974492 |  3072138 |    19890    386 |        0 |        0
1478.92/1479.43	c 1479s |      23 |  4983723 |  3076938 |    19890    387 |        0 |        0
1480.92/1481.46	c 1481s |      23 |  4992148 |  3081438 |    19890    387 |        0 |        0
1482.92/1483.46	c 1483s |      23 |  4998749 |  3085338 |    19890    388 |        0 |        0
1484.92/1485.48	c 1485s |      23 |  5005566 |  3089738 |    19890    388 |        0 |        0
1487.02/1487.51	c 1487s |      23 |  5013371 |  3093738 |    19890    389 |        0 |        0
1489.02/1489.54	c 1489s |      23 |  5021908 |  3098438 |    19890    389 |        0 |        0
1491.02/1491.56	c 1491s |      23 |  5028474 |  3102538 |    19890    390 |        0 |        0
1493.02/1493.56	c 1493s |      23 |  5034980 |  3106938 |    19890    390 |        0 |        0
1495.02/1495.56	c 1495s |      23 |  5042788 |  3111538 |    19890    390 |        0 |        0
1497.12/1497.62	c 1497s |      23 |  5049831 |  3115738 |    19890    391 |        0 |        0
1499.11/1499.64	c 1499s |      23 |  5057474 |  3120438 |    19890    391 |        0 |        0
1501.13/1501.66	c 1501s |      23 |  5062428 |  3123838 |    19890    392 |        0 |        0
1503.12/1503.69	c 1503s |      23 |  5071840 |  3128738 |    19890    392 |        0 |        0
1505.32/1505.82	c 1505s |      23 |  5077571 |  3132338 |    19890    393 |        0 |        0
1507.32/1507.82	c 1507s |      23 |  5084927 |  3137138 |    19890    393 |        0 |        0
1509.32/1509.83	c 1509s |      23 |  5091544 |  3141538 |    19890    393 |        0 |        0
1511.32/1511.88	c 1511s |      23 |  5097357 |  3145438 |    19890    394 |        0 |        0
1513.42/1513.92	c 1513s |      23 |  5104406 |  3149738 |    19890    394 |        0 |        0
1515.43/1515.95	c 1515s |      23 |  5110950 |  3153138 |    19890    395 |        0 |        0
1517.42/1517.98	c 1517s |      23 |  5118017 |  3157238 |    19890    395 |        0 |        0
1519.52/1520.01	c 1519s |      23 |  5123807 |  3160938 |    19890    395 |        0 |        0
1521.72/1522.25	c 1522s |      23 |  5128428 |  3163738 |    19890    396 |        0 |        0
1523.81/1524.39	c 1524s |      23 |  5133230 |  3166938 |    19890    396 |        0 |        0
1525.91/1526.42	c 1526s |      23 |  5141426 |  3171638 |    19890    396 |        0 |        0
1527.91/1528.42	c 1528s |      23 |  5150382 |  3177038 |    19890    397 |        0 |        0
1529.91/1530.44	c 1530s |      23 |  5157437 |  3181738 |    19890    397 |        0 |        0
1531.92/1532.48	c 1532s |      23 |  5165286 |  3186538 |    19890    398 |        0 |        0
1534.02/1534.52	c 1534s |      23 |  5172147 |  3191538 |    19890    398 |        0 |        0
1536.01/1536.56	c 1536s |      23 |  5180304 |  3196038 |    19890    399 |        0 |        0
1538.11/1538.62	c 1538s |      23 |  5187740 |  3201038 |    19890    399 |        0 |        0
1540.11/1540.63	c 1540s |      23 |  5194343 |  3205338 |    19890    400 |        0 |        0
1542.11/1542.64	c 1542s |      23 |  5200746 |  3209538 |    19890    400 |        0 |        0
1544.11/1544.69	c 1544s |      23 |  5207962 |  3213438 |    19890    401 |        0 |        0
1546.22/1546.72	c 1546s |      23 |  5216639 |  3218038 |    19890    401 |        0 |        0
1548.22/1548.72	c 1548s |      23 |  5223230 |  3222138 |    19890    402 |        0 |        0
1550.22/1550.74	c 1550s |      23 |  5230713 |  3226738 |    19890    402 |        0 |        0
1552.22/1552.76	c 1552s |      23 |  5237344 |  3231338 |    19890    402 |        0 |        0
1554.21/1554.79	c 1554s |      23 |  5242717 |  3234838 |    19890    403 |        0 |        0
1556.31/1556.82	c 1556s |      23 |  5252795 |  3240538 |    19890    403 |        0 |        0
1558.32/1558.84	c 1558s |      23 |  5260085 |  3245138 |    19890    404 |        0 |        0
1560.31/1560.87	c 1560s |      23 |  5266753 |  3249638 |    19890    404 |        0 |        0
1562.31/1562.88	c 1562s |      23 |  5274620 |  3255238 |    19890    405 |        0 |        0
1564.41/1564.91	c 1564s |      23 |  5283112 |  3260838 |    19890    405 |        0 |        0
1566.41/1566.95	c 1566s |      23 |  5289716 |  3265138 |    19890    406 |        0 |        0
1568.41/1568.96	c 1568s |      23 |  5297736 |  3270338 |    19890    406 |        0 |        0
1570.42/1570.99	c 1570s |      23 |  5303744 |  3274038 |    19890    407 |        0 |        0
1572.41/1572.99	c 1572s |      23 |  5311689 |  3278938 |    19890    407 |        0 |        0
1574.51/1575.00	c 1574s |      23 |  5319020 |  3284038 |    19890    408 |        0 |        0
1576.51/1577.00	c 1576s |      23 |  5325673 |  3288338 |    19890    408 |        0 |        0
1578.51/1579.07	c 1578s |      23 |  5331342 |  3291938 |    19890    409 |        0 |        0
1580.61/1581.10	c 1580s |      23 |  5338737 |  3296738 |    19890    409 |        0 |        0
1582.61/1583.14	c 1583s |      23 |  5346445 |  3301438 |    19890    409 |        0 |        0
1584.62/1585.15	c 1585s |      23 |  5354272 |  3305838 |    19890    410 |        0 |        0
1586.61/1587.16	c 1587s |      23 |  5360769 |  3309838 |    19890    410 |        0 |        0
1588.61/1589.17	c 1589s |      23 |  5366790 |  3313238 |    19890    411 |        0 |        0
1590.71/1591.20	c 1591s |      23 |  5374235 |  3318138 |    19890    411 |        0 |        0
1592.71/1593.21	c 1593s |      23 |  5382406 |  3323138 |    19890    412 |        0 |        0
1594.71/1595.23	c 1595s |      23 |  5389795 |  3328038 |    19890    412 |        0 |        0
1596.71/1597.23	c 1597s |      23 |  5395368 |  3331038 |    19890    412 |        0 |        0
1598.71/1599.24	c 1599s |      23 |  5402114 |  3335038 |    19890    413 |        0 |        0
1600.71/1601.25	c 1601s |      23 |  5409124 |  3339238 |    19890    413 |        0 |        0
1602.71/1603.25	c 1603s |      23 |  5414263 |  3342438 |    19890    414 |        0 |        0
1604.71/1605.27	c 1605s |      23 |  5420554 |  3346138 |    19890    414 |        0 |        0
1606.81/1607.30	c 1607s |      23 |  5427764 |  3351938 |    19890    415 |        0 |        0
1608.81/1609.33	c 1609s |      23 |  5437401 |  3358138 |    21879    415 |        0 |        0
1610.80/1611.33	c 1611s |      23 |  5445125 |  3362538 |    21879    415 |        0 |        0
1612.90/1613.43	c 1613s |      23 |  5450202 |  3366038 |    21879    416 |        0 |        0
1614.90/1615.48	c 1615s |      23 |  5458197 |  3371438 |    21879    416 |        0 |        0
1616.90/1617.49	c 1617s |      23 |  5466354 |  3376238 |    21879    417 |        0 |        0
1617.10/1617.63	c 1617s |      24 |  5467007 |  3376662 |    21879    417 |        0 |        0
1619.10/1619.66	c 1619s |      24 |  5472942 |  3380362 |    21879    417 |        0 |        0
1621.30/1621.82	c 1621s |      24 |  5480298 |  3385562 |    21879    418 |        0 |        0
1623.30/1623.83	c 1623s |      24 |  5487403 |  3390962 |    21879    418 |        0 |        0
1625.31/1625.84	c 1625s |      24 |  5494559 |  3395662 |    21879    418 |        0 |        0
1627.30/1627.86	c 1627s |      24 |  5501036 |  3400062 |    21879    419 |        0 |        0
1629.40/1629.90	c 1629s |      24 |  5507024 |  3404462 |    21879    419 |        0 |        0
1631.40/1631.98	c 1631s |      24 |  5512633 |  3407962 |    21879    420 |        0 |        0
1633.50/1634.00	c 1633s |      24 |  5518213 |  3411362 |    21879    420 |        0 |        0
1635.49/1636.05	c 1635s |      24 |  5524197 |  3415662 |    21879    420 |        0 |        0
1637.50/1638.06	c 1637s |      24 |  5528084 |  3418662 |    21879    421 |        0 |        0
1639.49/1640.09	c 1639s |      24 |  5534731 |  3423462 |    21879    421 |        0 |        0
1641.59/1642.12	c 1642s |      24 |  5541509 |  3427962 |    21879    421 |        0 |        0
1643.59/1644.12	c 1644s |      24 |  5546198 |  3431262 |    21879    422 |        0 |        0
1645.59/1646.15	c 1646s |      24 |  5552420 |  3436062 |    21879    422 |        0 |        0
1647.59/1648.18	c 1648s |      24 |  5557387 |  3439762 |    21879    422 |        0 |        0
1650.20/1650.79	c 1650s |      24 |  5561086 |  3442362 |    21879    423 |        0 |        0
1652.30/1652.83	c 1652s |      24 |  5568259 |  3447062 |    21879    423 |        0 |        0
1654.40/1654.94	c 1654s |      24 |  5575962 |  3451462 |    21879    424 |        0 |        0
1656.40/1656.94	c 1656s |      24 |  5582836 |  3456562 |    21879    424 |        0 |        0
1658.40/1658.96	c 1658s |      24 |  5589019 |  3460862 |    21879    424 |        0 |        0
1660.39/1660.98	c 1660s |      24 |  5594112 |  3464262 |    21879    425 |        0 |        0
1662.49/1663.02	c 1662s |      24 |  5600358 |  3468162 |    21879    425 |        0 |        0
1664.49/1665.03	c 1664s |      24 |  5605848 |  3472262 |    21879    425 |        0 |        0
1666.49/1667.04	c 1666s |      24 |  5610778 |  3475762 |    21879    426 |        0 |        0
1668.49/1669.07	c 1668s |      24 |  5616338 |  3479962 |    21879    426 |        0 |        0
1670.59/1671.10	c 1670s |      24 |  5620886 |  3483462 |    21879    426 |        0 |        0
1673.09/1673.62	c 1673s |      24 |  5625226 |  3485662 |    21879    427 |        0 |        0
1675.10/1675.62	c 1675s |      24 |  5632702 |  3491062 |    21879    427 |        0 |        0
1677.10/1677.64	c 1677s |      24 |  5639287 |  3495962 |    21879    428 |        0 |        0
1679.10/1679.64	c 1679s |      24 |  5647580 |  3500962 |    21879    428 |        0 |        0
1681.10/1681.68	c 1681s |      24 |  5654681 |  3505662 |    21879    428 |        0 |        0
1683.20/1683.72	c 1683s |      24 |  5659598 |  3508762 |    21879    429 |        0 |        0
1685.19/1685.73	c 1685s |      24 |  5665872 |  3512662 |    21879    429 |        0 |        0
1687.19/1687.75	c 1687s |      24 |  5671368 |  3516762 |    21879    429 |        0 |        0
1689.20/1689.78	c 1689s |      24 |  5677564 |  3521062 |    21879    430 |        0 |        0
1691.30/1691.81	c 1691s |      24 |  5683764 |  3525062 |    21879    430 |        0 |        0
1693.29/1693.86	c 1693s |      24 |  5688653 |  3528362 |    21879    431 |        0 |        0
1695.29/1695.88	c 1695s |      24 |  5695755 |  3533462 |    21879    431 |        0 |        0
1697.29/1697.89	c 1697s |      24 |  5701124 |  3537262 |    21879    431 |        0 |        0
1699.39/1699.90	c 1699s |      24 |  5705354 |  3540362 |    21879    432 |        0 |        0
1701.39/1701.94	c 1701s |      24 |  5712033 |  3544962 |    21879    432 |        0 |        0
1703.39/1703.94	c 1703s |      24 |  5717767 |  3548962 |    21879    432 |        0 |        0
1705.39/1705.98	c 1705s |      24 |  5720595 |  3550962 |    21879    433 |        0 |        0
1707.49/1708.00	c 1707s |      24 |  5726436 |  3555962 |    21879    433 |        0 |        0
1709.49/1710.02	c 1709s |      24 |  5731504 |  3560462 |    21879    433 |        0 |        0
1711.49/1712.03	c 1711s |      24 |  5736553 |  3564562 |    21879    434 |        0 |        0
1713.48/1714.06	c 1713s |      24 |  5742415 |  3569462 |    21879    434 |        0 |        0
1715.78/1716.37	c 1716s |      24 |  5746046 |  3572562 |    21879    435 |        0 |        0
1717.79/1718.38	c 1718s |      24 |  5751568 |  3577062 |    21879    435 |        0 |        0
1719.89/1720.42	c 1720s |      24 |  5757831 |  3581962 |    21879    435 |        0 |        0
1722.58/1723.10	c 1722s |      24 |  5762568 |  3584662 |    21879    436 |        0 |        0
1724.58/1725.13	c 1725s |      24 |  5770483 |  3590262 |    21879    436 |        0 |        0
1726.59/1727.13	c 1727s |      24 |  5777342 |  3594762 |    21879    437 |        0 |        0
1728.58/1729.16	c 1729s |      24 |  5783631 |  3598562 |    21879    437 |        0 |        0
1730.58/1731.19	c 1731s |      24 |  5789443 |  3602662 |    21879    437 |        0 |        0
1732.68/1733.20	c 1733s |      24 |  5796003 |  3606762 |    21879    438 |        0 |        0
1734.68/1735.22	c 1735s |      24 |  5801844 |  3610962 |    21879    438 |        0 |        0
1736.68/1737.26	c 1737s |      24 |  5807798 |  3614962 |    21879    438 |        0 |        0
1738.69/1739.27	c 1739s |      24 |  5813409 |  3618562 |    21879    439 |        0 |        0
1740.68/1741.27	c 1741s |      24 |  5819566 |  3622762 |    21879    439 |        0 |        0
1742.69/1743.28	c 1743s |      24 |  5823925 |  3625762 |    21879    439 |        0 |        0
1744.69/1745.28	c 1745s |      24 |  5827309 |  3628062 |    21879    440 |        0 |        0
1746.78/1747.30	c 1747s |      24 |  5833502 |  3633062 |    21879    440 |        0 |        0
1748.79/1749.33	c 1749s |      24 |  5840011 |  3638262 |    21879    441 |        0 |        0
1750.79/1751.37	c 1751s |      24 |  5847197 |  3643262 |    21879    441 |        0 |        0
1752.78/1753.39	c 1753s |      24 |  5855761 |  3648262 |    21879    441 |        0 |        0
1754.88/1755.40	c 1755s |      24 |  5861628 |  3652162 |    21879    442 |        0 |        0
1756.88/1757.40	c 1757s |      24 |  5867235 |  3655962 |    21879    442 |        0 |        0
1758.88/1759.43	c 1759s |      24 |  5873454 |  3659662 |    21879    442 |        0 |        0
1760.88/1761.45	c 1761s |      24 |  5877297 |  3662862 |    21879    443 |        0 |        0
1762.89/1763.46	c 1763s |      24 |  5884508 |  3667562 |    21879    443 |        0 |        0
1764.99/1765.52	c 1765s |      24 |  5889324 |  3671062 |    21879    444 |        0 |        0
1766.98/1767.55	c 1767s |      24 |  5895186 |  3674962 |    21879    444 |        0 |        0
1768.98/1769.59	c 1769s |      24 |  5900990 |  3678862 |    21879    444 |        0 |        0
1771.08/1771.65	c 1771s |      24 |  5905346 |  3682062 |    21879    445 |        0 |        0
1773.08/1773.69	c 1773s |      24 |  5910798 |  3685962 |    21879    445 |        0 |        0
1775.18/1775.73	c 1775s |      24 |  5916023 |  3689662 |    21879    445 |        0 |        0
1777.18/1777.75	c 1777s |      24 |  5920209 |  3693062 |    21879    446 |        0 |        0
1779.18/1779.77	c 1779s |      24 |  5925779 |  3697262 |    21879    446 |        0 |        0
1781.28/1781.81	c 1781s |      24 |  5932777 |  3702262 |    21879    446 |        0 |        0
1783.28/1783.83	c 1783s |      24 |  5936937 |  3704862 |    21879    447 |        0 |        0
1785.28/1785.89	c 1785s |      24 |  5942334 |  3708862 |    21879    447 |        0 |        0
1787.48/1788.01	c 1787s |      24 |  5947808 |  3711862 |    21879    447 |        0 |        0
1789.48/1790.05	c 1789s |      24 |  5954169 |  3715962 |    21879    448 |        0 |        0
1791.48/1792.06	c 1791s |      24 |  5960342 |  3720462 |    21879    448 |        0 |        0
1793.47/1794.09	c 1793s |      24 |  5966507 |  3724762 |    21879    448 |        0 |        0
1795.47/1796.09	c 1795s |      24 |  5972351 |  3728862 |    21879    449 |        0 |        0
1797.57/1798.11	c 1798s |      24 |  5979306 |  3733662 |    21879    449 |        0 |        0
1799.67/1800.20	c 1800s |      24 |  5984189 |  3736962 |    21879    450 |        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-4107018-1466281184/watcher-4107018-1466281184 -o /tmp/evaluation-result-4107018-1466281184/solver-4107018-1466281184 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21405 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107018-1466281184.opb 

pid=24188
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.30 2.31 2.27 3/181 24191
/proc/meminfo: memFree=28867524/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 2696 0 0 0 0 0 0 0 20 0 4 0 30164299 740749312 3057 33554432000 4194304 16246674 140735763508928 140735763508352 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24191/statm: 181359 3067 441 2943 0 178253 0
[pid=24191/tid=24192] ppid=24188 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 758575104 3128 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 763817984 3145 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 768012288 3162 33554432000 4194304 16246674 140735763508928 140024523779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.30 2.31 2.27 3/181 24191
/proc/meminfo: memFree=28867524/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1222212 CPUtime=0.09 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 21861 0 0 0 6 3 0 0 20 0 4 0 30164299 1251545088 22169 33554432000 4194304 16246674 140735763508928 140735763508240 6165351 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24191/statm: 305553 22169 837 2943 0 302447 0
[pid=24191/tid=24192] ppid=24188 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1251545088 22169 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1251545088 22169 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1251545088 22169 33554432000 4194304 16246674 140735763508928 140024523779248 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) 1222212

[startup+0.200502 s]
/proc/loadavg: 2.30 2.31 2.27 3/181 24191
/proc/meminfo: memFree=28867524/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1222212 CPUtime=0.19 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 40142 0 0 0 13 6 0 0 20 0 4 0 30164299 1251545088 40451 33554432000 4194304 16246674 140735763508928 140735763508240 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24191/statm: 305553 40458 875 2943 0 302447 0
[pid=24191/tid=24192] ppid=24188 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1251545088 40468 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1251545088 40477 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1251545088 40484 33554432000 4194304 16246674 140735763508928 140024523779248 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) 1222212

[startup+0.30043 s]
/proc/loadavg: 2.30 2.31 2.27 3/181 24191
/proc/meminfo: memFree=28867524/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1222212 CPUtime=0.29 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 64507 0 0 0 20 9 0 0 20 0 4 0 30164299 1251545088 64815 33554432000 4194304 16246674 140735763508928 140735763508240 5530837 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24191/statm: 305553 64832 875 2943 0 302447 0
[pid=24191/tid=24192] ppid=24188 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1251545088 64843 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1251545088 64854 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1251545088 64864 33554432000 4194304 16246674 140735763508928 140024523779248 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) 1222212

[startup+0.700344 s]
/proc/loadavg: 2.30 2.31 2.27 3/181 24191
/proc/meminfo: memFree=28867524/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1222212 CPUtime=0.69 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 157459 0 0 0 46 23 0 0 20 0 4 0 30164299 1251545088 157768 33554432000 4194304 16246674 140735763508928 140735763508240 12477891 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24191/statm: 305553 157778 875 2943 0 302447 0
[pid=24191/tid=24192] ppid=24188 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1251545088 157785 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1251545088 157785 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1251545088 157789 33554432000 4194304 16246674 140735763508928 140024523779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.50035 s]
/proc/loadavg: 2.30 2.31 2.27 4/185 24195
/proc/meminfo: memFree=27896904/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1300036 CPUtime=1.49 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 266078 0 0 0 111 38 0 0 20 0 4 0 30164299 1331236864 266386 33554432000 4194304 16246674 140735763508928 140735763490816 6012004 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24191/statm: 325009 266386 878 2943 0 321903 0
[pid=24191/tid=24192] ppid=24188 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1331236864 266386 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1331236864 266386 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1331236864 266386 33554432000 4194304 16246674 140735763508928 140024523779248 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) 1300036

[startup+3.10038 s]
/proc/loadavg: 2.30 2.31 2.27 4/185 24195
/proc/meminfo: memFree=27793968/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 268226 0 0 0 271 38 0 0 20 0 4 0 30164299 1339625472 268534 33554432000 4194304 16246674 140735763508928 140735763490816 5545708 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24191/statm: 327057 268534 889 2943 0 323951 0
[pid=24191/tid=24192] ppid=24188 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1339625472 268534 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1339625472 268534 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1339625472 268534 33554432000 4194304 16246674 140735763508928 140024523779248 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) 1308228

[startup+6.30036 s]
/proc/loadavg: 2.28 2.30 2.27 4/185 24195
/proc/meminfo: memFree=27789012/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1313348 CPUtime=6.28 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 269506 0 0 0 590 38 0 0 20 0 4 0 30164299 1344868352 269814 33554432000 4194304 16246674 140735763508928 140735763490816 6021684 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24191/statm: 328337 269814 889 2943 0 325231 0
[pid=24191/tid=24192] ppid=24188 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1344868352 269814 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1344868352 269814 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1344868352 269814 33554432000 4194304 16246674 140735763508928 140024523779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1313348

[startup+12.7003 s]
/proc/loadavg: 2.34 2.32 2.27 5/185 24195
/proc/meminfo: memFree=27781264/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1320516 CPUtime=12.69 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 271298 0 0 0 1230 39 0 0 20 0 4 0 30164299 1352208384 271606 33554432000 4194304 16246674 140735763508928 140735763490816 6021672 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24191/statm: 330129 271606 889 2943 0 327023 0
[pid=24191/tid=24192] ppid=24188 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1352208384 271606 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1352208384 271606 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1352208384 271606 33554432000 4194304 16246674 140735763508928 140024523779248 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) 1320516

[startup+25.5005 s]
/proc/loadavg: 2.33 2.32 2.27 4/186 24198
/proc/meminfo: memFree=27781616/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1321540 CPUtime=25.48 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 271412 0 0 0 2508 40 0 0 20 0 4 0 30164299 1353256960 271720 33554432000 4194304 16246674 140735763508928 140735763490816 5822484 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24191/statm: 330385 271720 889 2943 0 327279 0
[pid=24191/tid=24192] ppid=24188 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1353256960 271720 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1353256960 271720 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1353256960 271720 33554432000 4194304 16246674 140735763508928 140024523779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1321540

[startup+51.1005 s]
/proc/loadavg: 2.29 2.31 2.27 5/186 24198
/proc/meminfo: memFree=27771544/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1331780 CPUtime=51.07 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 274114 0 0 0 5067 40 0 0 20 0 4 0 30164299 1363742720 274422 33554432000 4194304 16246674 140735763508928 140735763491928 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24191/statm: 332945 274422 889 2943 0 329839 0
[pid=24191/tid=24192] ppid=24188 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1363742720 274422 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1363742720 274422 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1363742720 274422 33554432000 4194304 16246674 140735763508928 140024523779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1331780

[startup+102.301 s]
/proc/loadavg: 2.34 2.32 2.27 3/185 24199
/proc/meminfo: memFree=27770748/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1331780 CPUtime=102.27 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 274114 0 0 0 10186 41 0 0 20 0 4 0 30164299 1363742720 274422 33554432000 4194304 16246674 140735763508928 140735763490816 6011014 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24191/statm: 332945 274422 889 2943 0 329839 0
[pid=24191/tid=24192] ppid=24188 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1363742720 274422 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1363742720 274422 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1363742720 274422 33554432000 4194304 16246674 140735763508928 140024523779248 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) 1331780


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

/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024523779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1365572

[startup+1302.3 s]
/proc/loadavg: 2.23 2.26 2.26 3/185 24278
/proc/meminfo: memFree=21565892/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1365572 CPUtime=1301.85 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 282974 0 0 0 130127 58 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140735763490816 5722896 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24191/statm: 341393 283127 890 2943 0 338287 0
[pid=24191/tid=24192] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024523779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1365572

[startup+1362.3 s]
/proc/loadavg: 2.23 2.25 2.26 3/185 24279
/proc/meminfo: memFree=21566452/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1365572 CPUtime=1361.84 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 282974 0 0 0 136125 59 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140735763490816 5808532 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24191/statm: 341393 283127 890 2943 0 338287 0
[pid=24191/tid=24192] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024523779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1365572

[startup+1422.3 s]
/proc/loadavg: 2.24 2.25 2.26 4/185 24280
/proc/meminfo: memFree=21323076/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1365572 CPUtime=1421.83 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 282974 0 0 0 142124 59 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140735763490816 13192119 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24191/statm: 341393 283127 890 2943 0 338287 0
[pid=24191/tid=24192] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024523779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1365572

[startup+1482.3 s]
/proc/loadavg: 2.19 2.23 2.25 3/185 24282
/proc/meminfo: memFree=21018316/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1365572 CPUtime=1481.82 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 282974 0 0 0 148122 60 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140735763491928 13198352 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24191/statm: 341393 283127 890 2943 0 338287 0
[pid=24191/tid=24192] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024523779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1365572

[startup+1542.31 s]
/proc/loadavg: 2.31 2.25 2.26 3/185 24283
/proc/meminfo: memFree=20757812/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1365572 CPUtime=1541.82 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 282974 0 0 0 154121 61 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140735763490816 5723338 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24191/statm: 341393 283127 890 2943 0 338287 0
[pid=24191/tid=24192] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024523779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1365572

[startup+1602.3 s]
/proc/loadavg: 2.25 2.25 2.25 3/185 24284
/proc/meminfo: memFree=20468276/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1365572 CPUtime=1601.81 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 282974 0 0 0 160119 62 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140735763506752 5828013 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24191/statm: 341393 283127 890 2943 0 338287 0
[pid=24191/tid=24192] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024523779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1365572

[startup+1662.3 s]
/proc/loadavg: 2.14 2.21 2.24 3/185 24285
/proc/meminfo: memFree=20304948/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1365572 CPUtime=1661.79 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 282974 0 0 0 166116 63 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140735763490816 5824045 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24191/statm: 341393 283127 890 2943 0 338287 0
[pid=24191/tid=24192] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1398345728 283127 33554432000 4194304 16246674 140735763508928 140024523779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1365572

[startup+1722.3 s]
/proc/loadavg: 2.25 2.23 2.25 4/185 24286
/proc/meminfo: memFree=20170304/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1370692 CPUtime=1721.78 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 284110 0 0 0 172114 64 0 0 20 0 4 0 30164299 1403588608 284263 33554432000 4194304 16246674 140735763508928 140735763491928 6020832 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24191/statm: 342673 284263 890 2943 0 339567 0
[pid=24191/tid=24192] ppid=24188 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1403588608 284263 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1403588608 284263 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1403588608 284263 33554432000 4194304 16246674 140735763508928 140024523779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1370692

[startup+1782.3 s]
/proc/loadavg: 2.22 2.23 2.24 4/185 24288
/proc/meminfo: memFree=19843560/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1370692 CPUtime=1781.78 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 284254 0 0 0 178113 65 0 0 20 0 4 0 30164299 1403588608 284407 33554432000 4194304 16246674 140735763508928 140735763490816 4220871 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24191/statm: 342673 284407 890 2943 0 339567 0
[pid=24191/tid=24192] ppid=24188 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1403588608 284407 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1403588608 284407 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1403588608 284407 33554432000 4194304 16246674 140735763508928 140024523779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1370692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.16 2.22 2.24 3/185 24288
/proc/meminfo: memFree=19793516/32872528 swapFree=1505436/1685308
[pid=24191] ppid=24188 vsize=1370692 CPUtime=1800.07 cores=0,2,4,6
/proc/24191/stat : 24191 (toysat) R 24188 24191 21389 0 -1 4202496 284254 0 0 0 179942 65 0 0 20 0 4 0 30164299 1403588608 284407 33554432000 4194304 16246674 140735763508928 140735763490816 5722816 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24191/statm: 342673 284407 890 2943 0 339567 0
[pid=24191/tid=24192] ppid=24188 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24192/stat : 24192 (toysat) S 24188 24191 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30164299 1403588608 284407 33554432000 4194304 16246674 140735763508928 140024612891888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24191/tid=24193] ppid=24188 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24193/stat : 24193 (toysat) S 24188 24191 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30164299 1403588608 284407 33554432000 4194304 16246674 140735763508928 140024602402032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24191/tid=24194] ppid=24188 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/24191/task/24194/stat : 24194 (toysat) S 24188 24191 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30164299 1403588608 284407 33554432000 4194304 16246674 140735763508928 140024523779248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1370692

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.43
CPU system time (s): 0.6559
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 1370692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.6559
maximum resident set size= 1137628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284254
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= 424
involuntary context switches= 1876

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.74752 second user time and 17.5543 second system time

The end

Begin job on node135 at 2016-06-18 22:19:44
IDJOB=4107018
IDBENCH=48371
IDSOLVER=2542
FILE ID=node135/4107018-1466281184
RUNJOBID= node135-1466266561-21405
PBS_JOBID= 19918237
Free space on /tmp= 71688 MiB

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

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

MD5SUM BENCH= 9cbb63659aad73a7ceefd89db6573bef
RANDOM SEED=130969102

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28868424 kB
Buffers:          166416 kB
Cached:           286612 kB
SwapCached:          716 kB
Active:          1266724 kB
Inactive:         308872 kB
Active(anon):    1123756 kB
Inactive(anon):     1308 kB
Active(file):     142968 kB
Inactive(file):   307564 kB
Unevictable:     1685308 kB
Mlocked:         1505436 kB
SwapTotal:      67108856 kB
SwapFree:       67100444 kB
Dirty:             16548 kB
Writeback:             0 kB
AnonPages:       2807464 kB
Mapped:            10684 kB
Shmem:                 0 kB
Slab:             606776 kB
SReclaimable:      50224 kB
SUnreclaim:       556552 kB
KernelStack:        1496 kB
PageTables:         9520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2950424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    675840 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= 71644 MiB
End job on node135 at 2016-06-18 22:49:44