0.00/0.00	c 2016-06-06T15:08:16+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-4078709-1465218496.opb"]
0.00/0.01	c use --random-gen="619659993 2753684418 3982746991 4098322561 80154588 2261618683 2404414797 2655906117 2177189688 2748135054 3486517544 3540818418 3448618120 1359794310 2760444705 644605316 3957826000 871444937 4266522710 2042834433 406253006 3370736633 2689418089 3019314135 1840179664 458391426 2154631006 106510449 3793340052 415589380 4225602744 159840184 2360686541 2553286081 293030979 1767195377 2520587451 2647521723 2214484345 3211983424 99851788 93951439 633841899 4018248378 2865265569 1739913759 3618770480 280815690 434531420 4085198422 1463654241 2147572482 1700494550 1663957105 2932772316 3950547199 1721150058 1064217333 2406648556 4036039647 4167444714 1242714062 2673285221 2336480427 355610730 1301766045 3301129102 1241300980 2397461843 3103645125 2774655209 1573268354 1262281718 1372984213 477196581 4106555448 3719425768 723088613 248757150 3099099093 2489863748 713820756 2450108159 3591916650 988174380 1141815811 3031855191 329920170 1884967381 4024981272 865534886 3828428009 528613395 1872926817 1469303290 4206495599 2665908677 3080809828 883771887 3560736748 3858261986 1351155183 1734136548 1483448868 1197263757 4199305154 4148557719 995489060 1637731003 262905559 542038068 1387322362 2364022292 2165145447 2217257138 1050364956 946361856 2947377605 12883144 959559251 2421614938 1999530180 2332992208 2481327492 3221286447 381975286 3123625902 3303975757 3399501877 1075920670 575642579 2781122434 529750446 1518604019 1169495874 3000651155 4140562339 2445396147 2663069321 1541464159 3071221273 2740936788 1804606034 2097043820 3309177941 3956034650 3539618029 2228784243 3224456744 3737564022 2714980670 3246445953 1642890766 3249367833 3563999704 3117407559 3130173 1110938715 1773266864 171502187 2102345032 2142159269 3082608765 2916887741 3571056838 4286286671 4067339861 1433068876 1225066199 2250875261 1125889651 4153446168 4077389602 402867299 1587558585 2741528052 3733063274 733222855 4217149457 717005961 1440828766 2285431737 1321090659 3243793845 1370807727 590753417 3453793933 3848474060 2082960889 4074036273 1720245964 3260579902 3310688421 146473539 2099111530 1158279641 1367785277 2126713949 3508603047 2524300213 2382715285 2386257581 1471464674 3295484643 1175234908 2716108489 2741075410 2213976012 2753124834 3533177527 4123404262 674620578 4224179019 1143632370 507670423 2311599254 3767387036 876570063 378355173 3719590272 3111680292 2691476591 2059007236 3528493220 2828199652 147840399 3004302475 2913653042 770847695 1794319418 1847349569 2826417393 4019912295 3332857402 2840277022 1538987851 2510433292 3555570823 2584890950 637083494 2385340375 371273811 734026446 756069240 2484669395 177579079 3722219828 3834980867 2240845068 2690180858 2608996169 1311734352 4275765712 1984271373 3405306638 3820765297 255 362436" option to reproduce the execution
0.00/0.02	c #vars 370
0.00/0.02	c #constraints 557
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      309      0 |        0 |        0
0.00/0.08	c  0.0s |       1 |      131 |      100 |      309      0 |        0 |        0
0.09/0.17	c  0.1s |       2 |      452 |      250 |      340      0 |        0 |        0
0.29/0.31	c  0.3s |       3 |     2268 |      475 |      375      0 |        0 |        0
0.49/0.56	c  0.5s |       4 |     3404 |      813 |      413      1 |        0 |        0
0.89/0.94	c  0.9s |       5 |     4651 |     1320 |      455      3 |        0 |        0
1.29/1.31	c  1.3s |       6 |     7351 |     2081 |      552      5 |        0 |        0
1.89/1.91	c  1.9s |       7 |    10286 |     3223 |      608      8 |        0 |        0
2.79/2.84	c  2.8s |       8 |    13672 |     4936 |      669     13 |        0 |        0
4.19/4.22	c  4.2s |       9 |    19737 |     7506 |      736     18 |        0 |        0
6.19/6.22	c  6.2s |      10 |    28073 |    11361 |      810     26 |        0 |        0
8.19/8.26	c  8.2s |      10 |    37714 |    15261 |      810     34 |        0 |        0
9.19/9.27	c  9.2s |      11 |    41306 |    17144 |      892     37 |        0 |        0
11.29/11.30	c 11.3s |      11 |    47935 |    20644 |      892     44 |        0 |        0
13.29/13.34	c 13.3s |      11 |    55855 |    24344 |      892     50 |        0 |        0
14.19/14.26	c 14.2s |      12 |    57915 |    25819 |      982     53 |        0 |        0
16.29/16.31	c 16.3s |      12 |    63480 |    29319 |      982     58 |        0 |        0
18.29/18.36	c 18.3s |      12 |    68182 |    32619 |      982     64 |        0 |        0
20.28/20.37	c 20.3s |      12 |    73358 |    35919 |      982     69 |        0 |        0
22.18/22.25	c 22.2s |      13 |    77213 |    38832 |     1081     74 |        0 |        0
24.19/24.28	c 24.3s |      13 |    85697 |    42532 |     1081     80 |        0 |        0
26.28/26.30	c 26.3s |      13 |    92810 |    46132 |     1081     85 |        0 |        0
28.28/28.36	c 28.3s |      13 |    99284 |    49632 |     1081     90 |        0 |        0
30.28/30.39	c 30.4s |      13 |   103431 |    52532 |     1081     95 |        0 |        0
32.38/32.45	c 32.4s |      13 |   109652 |    56032 |     1081    100 |        0 |        0
33.98/34.05	c 34.0s |      14 |   112741 |    58352 |     1190    103 |        0 |        0
35.98/36.07	c 36.0s |      14 |   117999 |    61552 |     1190    108 |        0 |        0
37.98/38.09	c 38.1s |      14 |   123306 |    64752 |     1190    113 |        0 |        0
40.08/40.13	c 40.1s |      14 |   128169 |    67852 |     1190    117 |        0 |        0
42.08/42.13	c 42.1s |      14 |   132183 |    70852 |     1190    121 |        0 |        0
44.08/44.16	c 44.1s |      14 |   136974 |    74052 |     1190    125 |        0 |        0
46.18/46.20	c 46.2s |      14 |   141717 |    77352 |     1190    130 |        0 |        0
48.17/48.22	c 48.2s |      14 |   146803 |    80552 |     1190    135 |        0 |        0
50.17/50.25	c 50.2s |      14 |   150886 |    83452 |     1190    139 |        0 |        0
52.18/52.30	c 52.3s |      14 |   158914 |    86952 |     1190    144 |        0 |        0
52.68/52.74	c 52.7s |      15 |   159874 |    87632 |     1309    144 |        0 |        0
54.68/54.79	c 54.8s |      15 |   168625 |    90632 |     1309    148 |        0 |        0
56.78/56.85	c 56.8s |      15 |   176344 |    93732 |     1309    152 |        0 |        0
58.78/58.87	c 58.8s |      15 |   182149 |    96432 |     1309    156 |        0 |        0
60.88/60.97	c 60.9s |      15 |   186730 |    99032 |     1309    159 |        0 |        0
62.98/63.02	c 63.0s |      15 |   193134 |   102032 |     1309    163 |        0 |        0
64.98/65.09	c 65.1s |      15 |   198952 |   104732 |     1309    167 |        0 |        0
67.08/67.17	c 67.1s |      15 |   204368 |   107332 |     1309    170 |        0 |        0
69.18/69.21	c 69.2s |      15 |   209143 |   109932 |     1309    173 |        0 |        0
71.18/71.24	c 71.2s |      15 |   212937 |   112432 |     1309    176 |        0 |        0
73.17/73.29	c 73.3s |      15 |   217184 |   114932 |     1309    180 |        0 |        0
75.27/75.32	c 75.3s |      15 |   222232 |   117732 |     1309    183 |        0 |        0
77.37/77.44	c 77.4s |      15 |   226648 |   120132 |     1309    186 |        0 |        0
79.47/79.50	c 79.5s |      15 |   232767 |   122932 |     1309    190 |        0 |        0
81.48/81.57	c 81.5s |      15 |   237516 |   125532 |     1309    193 |        0 |        0
83.58/83.63	c 83.6s |      15 |   240597 |   127832 |     1309    196 |        0 |        0
85.57/85.63	c 85.6s |      15 |   243684 |   130132 |     1309    199 |        0 |        0
86.47/86.57	c 86.5s |      16 |   246326 |   131552 |     1440    201 |        0 |        0
88.57/88.62	c 88.6s |      16 |   255675 |   135052 |     1440    205 |        0 |        0
90.57/90.65	c 90.6s |      16 |   261191 |   138452 |     1440    209 |        0 |        0
92.57/92.67	c 92.6s |      16 |   267381 |   141852 |     1440    213 |        0 |        0
94.57/94.67	c 94.6s |      16 |   273039 |   145152 |     1440    217 |        0 |        0
96.57/96.68	c 96.7s |      16 |   278466 |   148452 |     1440    221 |        0 |        0
98.67/98.74	c 98.7s |      16 |   283231 |   151552 |     1440    225 |        0 |        0
100.77/100.80	c  100s |      16 |   290256 |   154952 |     1440    229 |        0 |        0
102.76/102.81	c  102s |      16 |   294567 |   157852 |     1440    232 |        0 |        0
104.76/104.84	c  104s |      16 |   299741 |   160852 |     1440    236 |        0 |        0
106.77/106.89	c  106s |      16 |   305269 |   164052 |     1440    240 |        0 |        0
108.87/108.94	c  108s |      16 |   309288 |   166952 |     1440    243 |        0 |        0
110.86/110.98	c  110s |      16 |   313259 |   169852 |     1440    247 |        0 |        0
112.95/113.05	c  113s |      16 |   317212 |   172752 |     1440    250 |        0 |        0
114.95/115.06	c  115s |      16 |   320982 |   175452 |     1440    253 |        0 |        0
116.95/117.08	c  117s |      16 |   324256 |   178052 |     1440    256 |        0 |        0
119.05/119.13	c  119s |      16 |   329751 |   181252 |     1440    260 |        0 |        0
121.06/121.19	c  121s |      16 |   333823 |   184252 |     1440    264 |        0 |        0
123.16/123.23	c  123s |      16 |   338285 |   187252 |     1440    267 |        0 |        0
125.15/125.24	c  125s |      16 |   344507 |   190552 |     1440    271 |        0 |        0
127.15/127.26	c  127s |      16 |   348761 |   193452 |     1440    275 |        0 |        0
129.15/129.28	c  129s |      16 |   353420 |   196352 |     1585    278 |        0 |        0
129.85/129.99	c  129s |      17 |   355369 |   197432 |     1585    279 |        0 |        0
131.95/132.04	c  132s |      17 |   364033 |   200732 |     1585    283 |        0 |        0
133.94/134.04	c  134s |      17 |   370790 |   203832 |     1585    286 |        0 |        0
135.94/136.06	c  136s |      17 |   377062 |   206932 |     1585    290 |        0 |        0
138.04/138.11	c  138s |      17 |   381393 |   210032 |     1585    293 |        0 |        0
140.04/140.11	c  140s |      17 |   385345 |   212832 |     1585    296 |        0 |        0
142.04/142.16	c  142s |      17 |   389683 |   215832 |     1585    300 |        0 |        0
144.14/144.23	c  144s |      17 |   394453 |   218832 |     1585    303 |        0 |        0
146.13/146.27	c  146s |      17 |   399031 |   221832 |     1585    306 |        0 |        0
148.13/148.29	c  148s |      17 |   403369 |   224632 |     1585    309 |        0 |        0
150.23/150.34	c  150s |      17 |   407977 |   227532 |     1585    312 |        0 |        0
152.33/152.40	c  152s |      17 |   412514 |   230532 |     1585    316 |        0 |        0
154.33/154.43	c  154s |      17 |   416857 |   233332 |     1585    319 |        0 |        0
156.43/156.53	c  156s |      17 |   420205 |   235932 |     1585    322 |        0 |        0
158.44/158.54	c  158s |      17 |   423379 |   238432 |     1585    324 |        0 |        0
160.43/160.55	c  160s |      17 |   427602 |   241232 |     1585    327 |        0 |        0
162.43/162.57	c  162s |      17 |   431394 |   244132 |     1585    330 |        0 |        0
164.53/164.63	c  164s |      17 |   437288 |   247332 |     1585    334 |        0 |        0
166.52/166.66	c  166s |      17 |   442051 |   250332 |     1585    337 |        0 |        0
168.52/168.69	c  168s |      17 |   446437 |   253432 |     1585    341 |        0 |        0
170.53/170.69	c  170s |      17 |   450589 |   256432 |     1585    344 |        0 |        0
172.62/172.73	c  172s |      17 |   455603 |   259732 |     1585    347 |        0 |        0
174.62/174.79	c  174s |      17 |   461802 |   263032 |     1585    351 |        0 |        0
176.72/176.84	c  176s |      17 |   467347 |   266232 |     1585    355 |        0 |        0
178.72/178.86	c  178s |      17 |   472143 |   269132 |     1585    358 |        0 |        0
180.72/180.89	c  180s |      17 |   475895 |   271932 |     1585    361 |        0 |        0
182.82/182.94	c  182s |      17 |   480201 |   274932 |     1585    364 |        0 |        0
184.83/184.99	c  184s |      17 |   484144 |   277632 |     1585    367 |        0 |        0
186.82/186.99	c  186s |      17 |   489224 |   280732 |     1585    371 |        0 |        0
188.92/189.03	c  189s |      17 |   494778 |   283832 |     1585    374 |        0 |        0
190.92/191.06	c  191s |      17 |   498939 |   286632 |     1585    377 |        0 |        0
193.02/193.15	c  193s |      17 |   503081 |   289532 |     1585    380 |        0 |        0
195.12/195.20	c  195s |      17 |   507753 |   292532 |     1585    383 |        0 |        0
197.12/197.25	c  197s |      17 |   512401 |   295432 |     1744    386 |        0 |        0
197.72/197.89	c  197s |      18 |   513443 |   296252 |     1744    387 |        0 |        0
199.81/199.95	c  199s |      18 |   518085 |   299152 |     1744    390 |        0 |        0
201.81/201.98	c  201s |      18 |   522138 |   302052 |     1744    393 |        0 |        0
203.81/203.98	c  203s |      18 |   526189 |   304852 |     1744    396 |        0 |        0
205.91/206.02	c  205s |      18 |   530438 |   307652 |     1744    399 |        0 |        0
207.92/208.03	c  208s |      18 |   535578 |   310552 |     1744    402 |        0 |        0
209.91/210.07	c  210s |      18 |   540468 |   313552 |     1744    405 |        0 |        0
212.00/212.12	c  212s |      18 |   545909 |   316652 |     1744    408 |        0 |        0
214.00/214.12	c  214s |      18 |   551851 |   319652 |     1744    411 |        0 |        0
216.00/216.13	c  216s |      18 |   555904 |   322352 |     1744    413 |        0 |        0
218.10/218.21	c  218s |      18 |   559141 |   324852 |     1744    416 |        0 |        0
220.10/220.27	c  220s |      18 |   563373 |   327852 |     1744    419 |        0 |        0
222.20/222.32	c  222s |      18 |   566896 |   330552 |     1744    422 |        0 |        0
224.20/224.33	c  224s |      18 |   572998 |   333652 |     1744    425 |        0 |        0
226.20/226.35	c  226s |      18 |   579673 |   336852 |     1744    428 |        0 |        0
228.20/228.38	c  228s |      18 |   588129 |   340252 |     1744    431 |        0 |        0
230.30/230.40	c  230s |      18 |   595534 |   343352 |     1744    435 |        0 |        0
232.29/232.45	c  232s |      18 |   601862 |   346552 |     1744    438 |        0 |        0
234.30/234.48	c  234s |      18 |   608581 |   349752 |     1744    441 |        0 |        0
236.40/236.53	c  236s |      18 |   615487 |   352952 |     1744    444 |        0 |        0
238.39/238.53	c  238s |      18 |   619115 |   355552 |     1744    447 |        0 |        0
240.39/240.57	c  240s |      18 |   622855 |   358152 |     1744    449 |        0 |        0
242.49/242.61	c  242s |      18 |   626064 |   360652 |     1744    452 |        0 |        0
244.49/244.66	c  244s |      18 |   629924 |   363352 |     1744    455 |        0 |        0
246.49/246.69	c  246s |      18 |   633226 |   365852 |     1744    457 |        0 |        0
248.59/248.76	c  248s |      18 |   637055 |   368552 |     1744    460 |        0 |        0
250.59/250.76	c  250s |      18 |   641298 |   371352 |     1744    463 |        0 |        0
252.68/252.81	c  252s |      18 |   645508 |   374352 |     1744    466 |        0 |        0
254.68/254.82	c  254s |      18 |   649723 |   377152 |     1744    468 |        0 |        0
256.68/256.87	c  256s |      18 |   655437 |   380152 |     1744    471 |        0 |        0
258.68/258.89	c  258s |      18 |   661521 |   383252 |     1744    475 |        0 |        0
260.78/260.96	c  260s |      18 |   666085 |   386152 |     1744    478 |        0 |        0
262.88/263.05	c  263s |      18 |   671096 |   389152 |     1744    481 |        0 |        0
264.88/265.08	c  265s |      18 |   676910 |   392152 |     1744    484 |        0 |        0
266.98/267.14	c  267s |      18 |   683676 |   395352 |     1744    487 |        0 |        0
268.98/269.19	c  269s |      18 |   691053 |   398652 |     1744    490 |        0 |        0
271.08/271.21	c  271s |      18 |   695194 |   401452 |     1744    493 |        0 |        0
273.08/273.23	c  273s |      18 |   702640 |   404452 |     1744    496 |        0 |        0
275.08/275.24	c  275s |      18 |   708310 |   407452 |     1744    499 |        0 |        0
277.09/277.27	c  277s |      18 |   711633 |   410052 |     1744    502 |        0 |        0
279.18/279.33	c  279s |      18 |   715088 |   412552 |     1744    504 |        0 |        0
281.18/281.37	c  281s |      18 |   721653 |   415652 |     1744    507 |        0 |        0
283.27/283.40	c  283s |      18 |   726977 |   418552 |     1744    510 |        0 |        0
285.27/285.43	c  285s |      18 |   730994 |   421252 |     1744    513 |        0 |        0
287.27/287.47	c  287s |      18 |   734382 |   423852 |     1744    516 |        0 |        0
289.37/289.55	c  289s |      18 |   737806 |   426452 |     1744    518 |        0 |        0
291.38/291.57	c  291s |      18 |   741597 |   429152 |     1744    521 |        0 |        0
293.47/293.61	c  293s |      18 |   745163 |   431852 |     1744    524 |        0 |        0
295.47/295.69	c  295s |      18 |   748398 |   434452 |     1744    526 |        0 |        0
297.57/297.71	c  297s |      18 |   751776 |   436952 |     1744    529 |        0 |        0
299.57/299.76	c  299s |      18 |   755598 |   439752 |     1744    531 |        0 |        0
301.66/301.82	c  301s |      18 |   759846 |   442552 |     1919    534 |        0 |        0
303.06/303.24	c  303s |      19 |   763402 |   444482 |     1919    536 |        0 |        0
305.16/305.31	c  305s |      19 |   767297 |   447282 |     1919    538 |        0 |        0
307.16/307.38	c  307s |      19 |   771298 |   450082 |     1919    541 |        0 |        0
309.26/309.40	c  309s |      19 |   774814 |   452682 |     1919    543 |        0 |        0
311.27/311.44	c  311s |      19 |   781755 |   455782 |     1919    546 |        0 |        0
313.26/313.47	c  313s |      19 |   786486 |   458682 |     1919    549 |        0 |        0
315.25/315.47	c  315s |      19 |   790780 |   461382 |     1919    552 |        0 |        0
317.25/317.48	c  317s |      19 |   794476 |   463982 |     1919    554 |        0 |        0
319.35/319.56	c  319s |      19 |   798193 |   466682 |     1919    556 |        0 |        0
321.45/321.61	c  321s |      19 |   802303 |   469382 |     1919    559 |        0 |        0
323.45/323.63	c  323s |      19 |   805683 |   471882 |     1919    561 |        0 |        0
325.46/325.64	c  325s |      19 |   809036 |   474282 |     1919    563 |        0 |        0
327.45/327.69	c  327s |      19 |   813127 |   476882 |     1919    566 |        0 |        0
329.55/329.74	c  329s |      19 |   816475 |   479382 |     1919    568 |        0 |        0
331.54/331.75	c  331s |      19 |   819390 |   481682 |     1919    570 |        0 |        0
333.54/333.79	c  333s |      19 |   822679 |   484182 |     1919    573 |        0 |        0
335.64/335.81	c  335s |      19 |   826653 |   486982 |     1919    575 |        0 |        0
337.65/337.88	c  337s |      19 |   830633 |   489682 |     1919    578 |        0 |        0
339.64/339.89	c  339s |      19 |   834378 |   492282 |     1919    580 |        0 |        0
341.74/341.97	c  341s |      19 |   837946 |   494882 |     1919    582 |        0 |        0
343.84/344.03	c  344s |      19 |   841884 |   497482 |     1919    585 |        0 |        0
345.84/346.03	c  346s |      19 |   845995 |   500082 |     1919    587 |        0 |        0
347.84/348.09	c  348s |      19 |   850215 |   502882 |     1919    590 |        0 |        0
349.93/350.10	c  350s |      19 |   853801 |   505382 |     1919    592 |        0 |        0
351.94/352.13	c  352s |      19 |   857136 |   507882 |     1919    594 |        0 |        0
354.04/354.21	c  354s |      19 |   860579 |   510382 |     1919    597 |        0 |        0
356.03/356.23	c  356s |      19 |   863933 |   512882 |     1919    599 |        0 |        0
358.03/358.25	c  358s |      19 |   867209 |   515382 |     1919    601 |        0 |        0
360.03/360.25	c  360s |      19 |   871091 |   517982 |     1919    604 |        0 |        0
362.13/362.31	c  362s |      19 |   876780 |   520982 |     1919    607 |        0 |        0
364.12/364.31	c  364s |      19 |   880708 |   523682 |     1919    609 |        0 |        0
366.13/366.35	c  366s |      19 |   884900 |   526482 |     1919    612 |        0 |        0
368.12/368.37	c  368s |      19 |   889417 |   529182 |     1919    614 |        0 |        0
370.22/370.46	c  370s |      19 |   892345 |   531582 |     1919    616 |        0 |        0
372.32/372.52	c  372s |      19 |   896579 |   534382 |     1919    619 |        0 |        0
374.42/374.60	c  374s |      19 |   901515 |   537182 |     1919    621 |        0 |        0
376.42/376.64	c  376s |      19 |   905111 |   539782 |     1919    624 |        0 |        0
378.52/378.71	c  378s |      19 |   908533 |   542382 |     1919    626 |        0 |        0
380.53/380.78	c  380s |      19 |   911834 |   544982 |     1919    629 |        0 |        0
382.62/382.84	c  382s |      19 |   915711 |   547782 |     1919    631 |        0 |        0
384.62/384.89	c  384s |      19 |   920034 |   550582 |     1919    634 |        0 |        0
386.72/386.90	c  386s |      19 |   924332 |   553182 |     1919    636 |        0 |        0
388.72/388.96	c  388s |      19 |   928888 |   555882 |     1919    639 |        0 |        0
390.82/391.03	c  390s |      19 |   933651 |   558782 |     1919    642 |        0 |        0
392.81/393.03	c  393s |      19 |   938232 |   561582 |     1919    644 |        0 |        0
394.82/395.05	c  395s |      19 |   942600 |   564282 |     1919    647 |        0 |        0
396.81/397.08	c  397s |      19 |   946181 |   566882 |     1919    649 |        0 |        0
398.91/399.14	c  399s |      19 |   949284 |   569282 |     1919    651 |        0 |        0
401.01/401.20	c  401s |      19 |   952266 |   571582 |     1919    653 |        0 |        0
403.01/403.23	c  403s |      19 |   956508 |   574282 |     1919    656 |        0 |        0
405.01/405.26	c  405s |      19 |   960693 |   576882 |     1919    658 |        0 |        0
407.01/407.28	c  407s |      19 |   965732 |   579582 |     1919    661 |        0 |        0
409.11/409.35	c  409s |      19 |   969701 |   582282 |     1919    663 |        0 |        0
411.21/411.40	c  411s |      19 |   974278 |   584982 |     1919    666 |        0 |        0
413.20/413.49	c  413s |      19 |   977776 |   587582 |     1919    668 |        0 |        0
415.30/415.51	c  415s |      19 |   981417 |   590082 |     1919    670 |        0 |        0
417.30/417.55	c  417s |      19 |   984371 |   592482 |     1919    673 |        0 |        0
419.30/419.58	c  419s |      19 |   987330 |   594882 |     1919    675 |        0 |        0
421.40/421.64	c  421s |      19 |   990695 |   597382 |     1919    677 |        0 |        0
423.40/423.64	c  423s |      19 |   993889 |   599782 |     1919    679 |        0 |        0
425.40/425.69	c  425s |      19 |   997892 |   602682 |     1919    682 |        0 |        0
427.50/427.71	c  427s |      19 |  1001351 |   605282 |     1919    684 |        0 |        0
429.50/429.77	c  429s |      19 |  1005129 |   607982 |     1919    687 |        0 |        0
431.50/431.77	c  431s |      19 |  1008424 |   610482 |     1919    689 |        0 |        0
433.60/433.85	c  433s |      19 |  1012091 |   613082 |     1919    692 |        0 |        0
435.60/435.86	c  435s |      19 |  1016482 |   616082 |     1919    694 |        0 |        0
437.61/437.88	c  437s |      19 |  1020164 |   618782 |     1919    697 |        0 |        0
439.70/439.95	c  439s |      19 |  1024211 |   621582 |     1919    699 |        0 |        0
441.70/441.99	c  441s |      19 |  1027995 |   624282 |     1919    702 |        0 |        0
443.80/444.03	c  443s |      19 |  1032947 |   627182 |     1919    705 |        0 |        0
445.90/446.10	c  446s |      19 |  1036466 |   629882 |     1919    707 |        0 |        0
447.90/448.16	c  448s |      19 |  1040952 |   632782 |     1919    710 |        0 |        0
450.00/450.21	c  450s |      19 |  1044141 |   635282 |     1919    712 |        0 |        0
452.00/452.25	c  452s |      19 |  1047358 |   637782 |     1919    714 |        0 |        0
454.10/454.31	c  454s |      19 |  1050828 |   640382 |     1919    717 |        0 |        0
456.09/456.37	c  456s |      19 |  1054319 |   643082 |     1919    719 |        0 |        0
458.09/458.39	c  458s |      19 |  1058976 |   645682 |     1919    722 |        0 |        0
460.19/460.42	c  460s |      19 |  1063431 |   648482 |     1919    724 |        0 |        0
462.19/462.42	c  462s |      19 |  1068198 |   651282 |     1919    727 |        0 |        0
464.19/464.48	c  464s |      19 |  1073590 |   654182 |     1919    730 |        0 |        0
466.29/466.51	c  466s |      19 |  1077243 |   656882 |     1919    732 |        0 |        0
468.28/468.59	c  468s |      19 |  1081003 |   659682 |     1919    735 |        0 |        0
470.38/470.68	c  470s |      19 |  1085365 |   662482 |     2111    737 |        0 |        0
472.48/472.73	c  472s |      19 |  1089074 |   665082 |     2111    739 |        0 |        0
473.99/474.21	c  474s |      20 |  1091324 |   666827 |     2111    741 |        0 |        0
475.98/476.27	c  476s |      20 |  1096349 |   669727 |     2111    743 |        0 |        0
477.98/478.28	c  478s |      20 |  1101855 |   672527 |     2111    745 |        0 |        0
480.08/480.34	c  480s |      20 |  1106690 |   675327 |     2111    748 |        0 |        0
482.18/482.44	c  482s |      20 |  1110783 |   678027 |     2111    750 |        0 |        0
484.18/484.47	c  484s |      20 |  1114844 |   680627 |     2111    752 |        0 |        0
486.18/486.47	c  486s |      20 |  1117920 |   682927 |     2111    754 |        0 |        0
488.28/488.53	c  488s |      20 |  1121251 |   685427 |     2111    756 |        0 |        0
490.38/490.61	c  490s |      20 |  1125717 |   688127 |     2111    759 |        0 |        0
492.37/492.62	c  492s |      20 |  1128780 |   690527 |     2111    761 |        0 |        0
494.37/494.65	c  494s |      20 |  1131813 |   692927 |     2111    763 |        0 |        0
496.47/496.72	c  496s |      20 |  1135474 |   695527 |     2111    765 |        0 |        0
498.47/498.79	c  498s |      20 |  1139352 |   698127 |     2111    767 |        0 |        0
500.57/500.85	c  500s |      20 |  1142734 |   700627 |     2111    769 |        0 |        0
502.57/502.88	c  502s |      20 |  1145930 |   703027 |     2111    771 |        0 |        0
504.57/504.90	c  504s |      20 |  1148961 |   705427 |     2111    773 |        0 |        0
506.67/506.98	c  506s |      20 |  1152555 |   708027 |     2111    776 |        0 |        0
508.77/509.02	c  508s |      20 |  1156315 |   710527 |     2111    778 |        0 |        0
510.77/511.09	c  511s |      20 |  1160696 |   713127 |     2111    780 |        0 |        0
512.86/513.11	c  513s |      20 |  1164359 |   715627 |     2111    782 |        0 |        0
514.86/515.12	c  515s |      20 |  1168360 |   718227 |     2111    784 |        0 |        0
516.96/517.21	c  517s |      20 |  1171901 |   720827 |     2111    786 |        0 |        0
518.97/519.26	c  519s |      20 |  1175538 |   723327 |     2111    788 |        0 |        0
521.06/521.30	c  521s |      20 |  1178942 |   725827 |     2111    791 |        0 |        0
523.06/523.34	c  523s |      20 |  1182676 |   728427 |     2111    793 |        0 |        0
525.06/525.37	c  525s |      20 |  1185491 |   730727 |     2111    795 |        0 |        0
527.16/527.46	c  527s |      20 |  1188776 |   733227 |     2111    797 |        0 |        0
529.16/529.46	c  529s |      20 |  1191857 |   735527 |     2111    799 |        0 |        0
531.26/531.50	c  531s |      20 |  1194793 |   737827 |     2111    801 |        0 |        0
533.26/533.52	c  533s |      20 |  1198239 |   740327 |     2111    803 |        0 |        0
535.25/535.57	c  535s |      20 |  1202134 |   743027 |     2111    805 |        0 |        0
537.35/537.64	c  537s |      20 |  1206407 |   745827 |     2111    807 |        0 |        0
539.35/539.69	c  539s |      20 |  1209933 |   748427 |     2111    810 |        0 |        0
541.45/541.76	c  541s |      20 |  1213551 |   751027 |     2111    812 |        0 |        0
543.45/543.77	c  543s |      20 |  1216887 |   753527 |     2111    814 |        0 |        0
545.45/545.78	c  545s |      20 |  1222259 |   756227 |     2111    816 |        0 |        0
547.44/547.80	c  547s |      20 |  1225438 |   758527 |     2111    818 |        0 |        0
549.54/549.81	c  549s |      20 |  1230218 |   761227 |     2111    821 |        0 |        0
551.54/551.82	c  551s |      20 |  1234090 |   763827 |     2111    823 |        0 |        0
553.54/553.86	c  553s |      20 |  1237652 |   766327 |     2111    825 |        0 |        0
555.64/555.94	c  555s |      20 |  1240944 |   768827 |     2111    827 |        0 |        0
557.64/557.99	c  557s |      20 |  1244336 |   771327 |     2111    829 |        0 |        0
559.75/560.01	c  559s |      20 |  1247408 |   773727 |     2111    831 |        0 |        0
561.74/562.02	c  561s |      20 |  1250974 |   776127 |     2111    833 |        0 |        0
563.74/564.03	c  563s |      20 |  1253857 |   778427 |     2111    835 |        0 |        0
565.84/566.10	c  566s |      20 |  1256992 |   780827 |     2111    837 |        0 |        0
567.84/568.16	c  568s |      20 |  1260392 |   783327 |     2111    839 |        0 |        0
569.84/570.19	c  570s |      20 |  1265152 |   786027 |     2111    842 |        0 |        0
571.93/572.25	c  572s |      20 |  1269467 |   788727 |     2111    844 |        0 |        0
574.04/574.31	c  574s |      20 |  1274439 |   791527 |     2111    846 |        0 |        0
576.03/576.36	c  576s |      20 |  1279354 |   794127 |     2111    848 |        0 |        0
578.13/578.43	c  578s |      20 |  1283225 |   796727 |     2111    851 |        0 |        0
580.13/580.45	c  580s |      20 |  1286646 |   799227 |     2111    853 |        0 |        0
582.23/582.51	c  582s |      20 |  1290166 |   801527 |     2111    855 |        0 |        0
584.23/584.55	c  584s |      20 |  1294137 |   804127 |     2111    857 |        0 |        0
586.23/586.59	c  586s |      20 |  1299979 |   806927 |     2111    859 |        0 |        0
588.23/588.60	c  588s |      20 |  1306817 |   809827 |     2111    862 |        0 |        0
590.33/590.66	c  590s |      20 |  1310774 |   812427 |     2111    864 |        0 |        0
592.42/592.71	c  592s |      20 |  1314281 |   814927 |     2111    866 |        0 |        0
594.42/594.79	c  594s |      20 |  1319600 |   817627 |     2111    868 |        0 |        0
596.52/596.80	c  596s |      20 |  1325739 |   820527 |     2111    871 |        0 |        0
598.52/598.86	c  598s |      20 |  1330166 |   823227 |     2111    873 |        0 |        0
600.62/600.91	c  600s |      20 |  1337061 |   826127 |     2111    876 |        0 |        0
602.62/602.95	c  602s |      20 |  1341002 |   828727 |     2111    878 |        0 |        0
604.72/605.01	c  604s |      20 |  1345040 |   831227 |     2111    880 |        0 |        0
606.71/607.02	c  606s |      20 |  1351508 |   834127 |     2111    883 |        0 |        0
608.71/609.09	c  609s |      20 |  1356342 |   836827 |     2111    885 |        0 |        0
610.81/611.14	c  611s |      20 |  1360430 |   839427 |     2111    887 |        0 |        0
612.91/613.20	c  613s |      20 |  1364539 |   842027 |     2111    889 |        0 |        0
614.91/615.23	c  615s |      20 |  1369683 |   844827 |     2111    892 |        0 |        0
616.92/617.27	c  617s |      20 |  1373326 |   847327 |     2111    894 |        0 |        0
619.02/619.33	c  619s |      20 |  1376911 |   849827 |     2111    896 |        0 |        0
621.01/621.39	c  621s |      20 |  1381173 |   852527 |     2111    898 |        0 |        0
623.10/623.45	c  623s |      20 |  1384544 |   855127 |     2111    900 |        0 |        0
625.20/625.50	c  625s |      20 |  1387816 |   857627 |     2111    902 |        0 |        0
627.20/627.55	c  627s |      20 |  1391449 |   860227 |     2111    905 |        0 |        0
629.30/629.61	c  629s |      20 |  1394981 |   862727 |     2111    907 |        0 |        0
631.30/631.67	c  631s |      20 |  1398401 |   865127 |     2111    909 |        0 |        0
633.32/633.68	c  633s |      20 |  1401373 |   867327 |     2111    911 |        0 |        0
635.31/635.68	c  635s |      20 |  1404230 |   869627 |     2111    913 |        0 |        0
637.31/637.69	c  637s |      20 |  1407936 |   872027 |     2111    915 |        0 |        0
639.41/639.79	c  639s |      20 |  1411318 |   874427 |     2111    917 |        0 |        0
641.41/641.79	c  641s |      20 |  1414442 |   876727 |     2111    919 |        0 |        0
643.60/643.91	c  643s |      20 |  1417967 |   879127 |     2111    921 |        0 |        0
645.60/645.93	c  645s |      20 |  1420970 |   881427 |     2111    922 |        0 |        0
647.61/647.96	c  647s |      20 |  1424926 |   884027 |     2111    925 |        0 |        0
649.70/650.03	c  649s |      20 |  1429285 |   886827 |     2111    927 |        0 |        0
651.70/652.05	c  652s |      20 |  1433662 |   889527 |     2111    929 |        0 |        0
653.70/654.08	c  654s |      20 |  1436742 |   891927 |     2111    931 |        0 |        0
655.80/656.13	c  656s |      20 |  1441074 |   894627 |     2111    934 |        0 |        0
657.80/658.15	c  658s |      20 |  1444913 |   897127 |     2111    936 |        0 |        0
659.90/660.20	c  660s |      20 |  1449698 |   899727 |     2111    938 |        0 |        0
661.90/662.23	c  662s |      20 |  1453743 |   902327 |     2111    940 |        0 |        0
663.99/664.33	c  664s |      20 |  1458185 |   905127 |     2111    943 |        0 |        0
665.99/666.36	c  666s |      20 |  1462123 |   907627 |     2111    945 |        0 |        0
667.99/668.38	c  668s |      20 |  1465272 |   910027 |     2111    947 |        0 |        0
670.09/670.40	c  670s |      20 |  1468282 |   912327 |     2111    949 |        0 |        0
672.08/672.45	c  672s |      20 |  1472411 |   914927 |     2111    951 |        0 |        0
674.09/674.46	c  674s |      20 |  1477319 |   917627 |     2111    953 |        0 |        0
676.08/676.49	c  676s |      20 |  1482771 |   920327 |     2111    955 |        0 |        0
678.18/678.51	c  678s |      20 |  1485959 |   922727 |     2111    957 |        0 |        0
680.18/680.52	c  680s |      20 |  1489432 |   925127 |     2111    959 |        0 |        0
682.18/682.57	c  682s |      20 |  1494284 |   927727 |     2111    962 |        0 |        0
684.18/684.58	c  684s |      20 |  1497776 |   930227 |     2111    964 |        0 |        0
686.18/686.60	c  686s |      20 |  1501030 |   932627 |     2111    966 |        0 |        0
688.28/688.61	c  688s |      20 |  1504405 |   935027 |     2111    968 |        0 |        0
690.27/690.63	c  690s |      20 |  1507266 |   937327 |     2111    970 |        0 |        0
692.27/692.66	c  692s |      20 |  1510098 |   939627 |     2111    972 |        0 |        0
694.27/694.68	c  694s |      20 |  1513069 |   941927 |     2111    974 |        0 |        0
696.37/696.75	c  696s |      20 |  1516492 |   944427 |     2111    976 |        0 |        0
698.47/698.80	c  698s |      20 |  1519808 |   946827 |     2111    978 |        0 |        0
700.48/700.87	c  700s |      20 |  1522607 |   949027 |     2111    980 |        0 |        0
702.57/702.91	c  702s |      20 |  1528561 |   951727 |     2111    982 |        0 |        0
704.66/705.00	c  704s |      20 |  1533397 |   954327 |     2111    984 |        0 |        0
706.66/707.02	c  706s |      20 |  1537930 |   956827 |     2111    986 |        0 |        0
708.66/709.03	c  709s |      20 |  1541145 |   959127 |     2111    988 |        0 |        0
710.76/711.10	c  711s |      20 |  1547024 |   961827 |     2111    991 |        0 |        0
712.76/713.16	c  713s |      20 |  1550729 |   964227 |     2111    993 |        0 |        0
714.86/715.22	c  715s |      20 |  1554890 |   966827 |     2111    995 |        0 |        0
716.87/717.24	c  717s |      20 |  1559944 |   969427 |     2111    997 |        0 |        0
718.96/719.30	c  719s |      20 |  1564760 |   972027 |     2111    999 |        0 |        0
720.96/721.37	c  721s |      20 |  1568646 |   974527 |     2111   1001 |        0 |        0
723.05/723.46	c  723s |      20 |  1572076 |   976927 |     2111   1003 |        0 |        0
725.15/725.50	c  725s |      20 |  1577444 |   979627 |     2111   1006 |        0 |        0
727.15/727.57	c  727s |      20 |  1580668 |   982027 |     2111   1008 |        0 |        0
729.15/729.58	c  729s |      20 |  1585471 |   984527 |     2111   1010 |        0 |        0
731.26/731.63	c  731s |      20 |  1591373 |   987227 |     2111   1012 |        0 |        0
733.25/733.65	c  733s |      20 |  1595902 |   989627 |     2111   1014 |        0 |        0
735.35/735.70	c  735s |      20 |  1599326 |   991927 |     2111   1016 |        0 |        0
737.34/737.76	c  737s |      20 |  1602363 |   994127 |     2323   1018 |        0 |        0
739.34/739.77	c  739s |      20 |  1608432 |   996727 |     2323   1020 |        0 |        0
741.44/741.83	c  741s |      20 |  1612469 |   999327 |     2323   1022 |        0 |        0
742.25/742.61	c  742s |      21 |  1614701 |  1000345 |     2323   1023 |        0 |        0
744.24/744.70	c  744s |      21 |  1617814 |  1002645 |     2323   1024 |        0 |        0
746.34/746.73	c  746s |      21 |  1620705 |  1004945 |     2323   1026 |        0 |        0
748.34/748.79	c  748s |      21 |  1624753 |  1007445 |     2323   1028 |        0 |        0
750.44/750.84	c  750s |      21 |  1628620 |  1009845 |     2323   1030 |        0 |        0
752.44/752.86	c  752s |      21 |  1632558 |  1012245 |     2323   1032 |        0 |        0
754.54/754.90	c  754s |      21 |  1636337 |  1014645 |     2323   1034 |        0 |        0
756.55/756.93	c  756s |      21 |  1639217 |  1016845 |     2323   1035 |        0 |        0
758.54/758.97	c  758s |      21 |  1642102 |  1019045 |     2323   1037 |        0 |        0
760.54/760.99	c  760s |      21 |  1645916 |  1021345 |     2323   1039 |        0 |        0
762.64/763.07	c  763s |      21 |  1649476 |  1023745 |     2323   1041 |        0 |        0
764.74/765.17	c  765s |      21 |  1653101 |  1026145 |     2323   1043 |        0 |        0
766.84/767.24	c  767s |      21 |  1656189 |  1028445 |     2323   1044 |        0 |        0
768.84/769.27	c  769s |      21 |  1658860 |  1030445 |     2323   1046 |        0 |        0
770.85/771.28	c  771s |      21 |  1662244 |  1033045 |     2323   1048 |        0 |        0
772.95/773.32	c  773s |      21 |  1665735 |  1035545 |     2323   1050 |        0 |        0
774.95/775.38	c  775s |      21 |  1669821 |  1038245 |     2323   1052 |        0 |        0
777.05/777.43	c  777s |      21 |  1673535 |  1040745 |     2323   1054 |        0 |        0
779.05/779.46	c  779s |      21 |  1676657 |  1043145 |     2323   1056 |        0 |        0
781.05/781.48	c  781s |      21 |  1680340 |  1045745 |     2323   1058 |        0 |        0
783.15/783.50	c  783s |      21 |  1683998 |  1048245 |     2323   1060 |        0 |        0
785.15/785.52	c  785s |      21 |  1687916 |  1050745 |     2323   1062 |        0 |        0
787.14/787.56	c  787s |      21 |  1691566 |  1053145 |     2323   1064 |        0 |        0
789.24/789.61	c  789s |      21 |  1695448 |  1055645 |     2323   1065 |        0 |        0
791.24/791.69	c  791s |      21 |  1699974 |  1058245 |     2323   1068 |        0 |        0
793.34/793.73	c  793s |      21 |  1703646 |  1060745 |     2323   1069 |        0 |        0
795.44/795.81	c  795s |      21 |  1706863 |  1063045 |     2323   1071 |        0 |        0
797.44/797.87	c  797s |      21 |  1711419 |  1065545 |     2323   1073 |        0 |        0
799.54/799.92	c  799s |      21 |  1715364 |  1067945 |     2323   1075 |        0 |        0
801.55/801.97	c  801s |      21 |  1721038 |  1070445 |     2323   1077 |        0 |        0
803.54/803.98	c  803s |      21 |  1724320 |  1072645 |     2323   1079 |        0 |        0
805.54/805.99	c  805s |      21 |  1729251 |  1075145 |     2323   1081 |        0 |        0
807.64/808.01	c  807s |      21 |  1733267 |  1077645 |     2323   1083 |        0 |        0
809.64/810.05	c  810s |      21 |  1737536 |  1080045 |     2323   1084 |        0 |        0
811.74/812.10	c  812s |      21 |  1741924 |  1082445 |     2323   1086 |        0 |        0
813.75/814.17	c  814s |      21 |  1745489 |  1084845 |     2323   1088 |        0 |        0
815.85/816.21	c  816s |      21 |  1749566 |  1087345 |     2323   1090 |        0 |        0
817.84/818.26	c  818s |      21 |  1753200 |  1089745 |     2323   1092 |        0 |        0
819.84/820.27	c  820s |      21 |  1756391 |  1092045 |     2323   1094 |        0 |        0
821.94/822.33	c  822s |      21 |  1759638 |  1094445 |     2323   1096 |        0 |        0
823.94/824.35	c  824s |      21 |  1764131 |  1096945 |     2323   1098 |        0 |        0
826.04/826.40	c  826s |      21 |  1767625 |  1099345 |     2323   1099 |        0 |        0
828.04/828.44	c  828s |      21 |  1770823 |  1101645 |     2323   1101 |        0 |        0
830.04/830.46	c  830s |      21 |  1773875 |  1103845 |     2323   1103 |        0 |        0
832.03/832.46	c  832s |      21 |  1779945 |  1106445 |     2323   1105 |        0 |        0
834.13/834.53	c  834s |      21 |  1783824 |  1108945 |     2323   1107 |        0 |        0
836.13/836.57	c  836s |      21 |  1787157 |  1111245 |     2323   1109 |        0 |        0
838.23/838.62	c  838s |      21 |  1790593 |  1113545 |     2323   1111 |        0 |        0
840.23/840.67	c  840s |      21 |  1794270 |  1115945 |     2323   1112 |        0 |        0
842.34/842.73	c  842s |      21 |  1798164 |  1118445 |     2323   1114 |        0 |        0
844.44/844.82	c  844s |      21 |  1801812 |  1120845 |     2323   1116 |        0 |        0
846.53/846.90	c  846s |      21 |  1804649 |  1123045 |     2323   1118 |        0 |        0
848.53/848.93	c  848s |      21 |  1808989 |  1125445 |     2323   1120 |        0 |        0
850.53/850.95	c  850s |      21 |  1813069 |  1127945 |     2323   1122 |        0 |        0
852.53/852.99	c  852s |      21 |  1816794 |  1130245 |     2323   1124 |        0 |        0
854.63/855.09	c  855s |      21 |  1821251 |  1132745 |     2323   1125 |        0 |        0
856.63/857.09	c  857s |      21 |  1824097 |  1134945 |     2323   1127 |        0 |        0
858.73/859.13	c  859s |      21 |  1828345 |  1137245 |     2323   1129 |        0 |        0
860.73/861.13	c  861s |      21 |  1832126 |  1139645 |     2323   1131 |        0 |        0
862.73/863.17	c  863s |      21 |  1835622 |  1142145 |     2323   1133 |        0 |        0
864.83/865.23	c  865s |      21 |  1840358 |  1144645 |     2323   1135 |        0 |        0
866.83/867.24	c  867s |      21 |  1844046 |  1146945 |     2323   1136 |        0 |        0
868.83/869.24	c  869s |      21 |  1849589 |  1149345 |     2323   1138 |        0 |        0
870.83/871.30	c  871s |      21 |  1854644 |  1151845 |     2323   1140 |        0 |        0
872.93/873.37	c  873s |      21 |  1860645 |  1154445 |     2323   1142 |        0 |        0
875.03/875.41	c  875s |      21 |  1864737 |  1156845 |     2323   1144 |        0 |        0
877.02/877.44	c  877s |      21 |  1868297 |  1159145 |     2323   1146 |        0 |        0
879.02/879.49	c  879s |      21 |  1871496 |  1161345 |     2323   1148 |        0 |        0
881.12/881.57	c  881s |      21 |  1874223 |  1163445 |     2323   1149 |        0 |        0
883.22/883.64	c  883s |      21 |  1877273 |  1165745 |     2323   1151 |        0 |        0
885.32/885.73	c  885s |      21 |  1880219 |  1167745 |     2323   1153 |        0 |        0
887.33/887.74	c  887s |      21 |  1883406 |  1170145 |     2323   1155 |        0 |        0
889.32/889.76	c  889s |      21 |  1886241 |  1172445 |     2323   1156 |        0 |        0
891.32/891.79	c  891s |      21 |  1889330 |  1174745 |     2323   1158 |        0 |        0
893.42/893.83	c  893s |      21 |  1892754 |  1177145 |     2323   1160 |        0 |        0
895.42/895.86	c  895s |      21 |  1895738 |  1179445 |     2323   1162 |        0 |        0
897.52/897.93	c  897s |      21 |  1898785 |  1181745 |     2323   1164 |        0 |        0
899.53/899.96	c  899s |      21 |  1901944 |  1184045 |     2323   1165 |        0 |        0
901.52/902.00	c  901s |      21 |  1904581 |  1186245 |     2323   1167 |        0 |        0
903.62/904.05	c  904s |      21 |  1908096 |  1188445 |     2323   1169 |        0 |        0
905.72/906.11	c  906s |      21 |  1911176 |  1190745 |     2323   1171 |        0 |        0
907.72/908.14	c  908s |      21 |  1913915 |  1192945 |     2323   1172 |        0 |        0
909.72/910.15	c  910s |      21 |  1916653 |  1195045 |     2323   1174 |        0 |        0
911.72/912.18	c  912s |      21 |  1919399 |  1197045 |     2323   1175 |        0 |        0
913.73/914.19	c  914s |      21 |  1922178 |  1199245 |     2323   1177 |        0 |        0
915.82/916.26	c  916s |      21 |  1925080 |  1201345 |     2323   1179 |        0 |        0
917.92/918.31	c  918s |      21 |  1927967 |  1203445 |     2323   1180 |        0 |        0
919.92/920.33	c  920s |      21 |  1930490 |  1205445 |     2323   1182 |        0 |        0
921.92/922.38	c  922s |      21 |  1933294 |  1207545 |     2323   1184 |        0 |        0
924.02/924.42	c  924s |      21 |  1935834 |  1209545 |     2323   1185 |        0 |        0
926.02/926.44	c  926s |      21 |  1940302 |  1212145 |     2323   1187 |        0 |        0
928.03/928.45	c  928s |      21 |  1944432 |  1214745 |     2323   1189 |        0 |        0
930.12/930.52	c  930s |      21 |  1948511 |  1217345 |     2323   1191 |        0 |        0
932.12/932.55	c  932s |      21 |  1951688 |  1219645 |     2323   1193 |        0 |        0
934.12/934.56	c  934s |      21 |  1954888 |  1221945 |     2323   1195 |        0 |        0
936.22/936.60	c  936s |      21 |  1958192 |  1224245 |     2323   1197 |        0 |        0
938.22/938.65	c  938s |      21 |  1960906 |  1226345 |     2323   1198 |        0 |        0
940.23/940.65	c  940s |      21 |  1964326 |  1228745 |     2323   1200 |        0 |        0
942.33/942.72	c  942s |      21 |  1967374 |  1230945 |     2323   1202 |        0 |        0
944.32/944.75	c  944s |      21 |  1970157 |  1233045 |     2323   1203 |        0 |        0
946.42/946.80	c  946s |      21 |  1973893 |  1235545 |     2323   1205 |        0 |        0
948.42/948.85	c  948s |      21 |  1976845 |  1237845 |     2323   1207 |        0 |        0
950.52/950.91	c  950s |      21 |  1979523 |  1239945 |     2323   1209 |        0 |        0
952.52/952.98	c  952s |      21 |  1982595 |  1242145 |     2323   1210 |        0 |        0
954.62/955.02	c  954s |      21 |  1985622 |  1244445 |     2323   1212 |        0 |        0
956.63/957.03	c  956s |      21 |  1989123 |  1246645 |     2323   1214 |        0 |        0
958.62/959.08	c  959s |      21 |  1992879 |  1248945 |     2323   1216 |        0 |        0
960.72/961.14	c  961s |      21 |  1997002 |  1251345 |     2323   1218 |        0 |        0
962.82/963.20	c  963s |      21 |  1999881 |  1253645 |     2323   1219 |        0 |        0
964.82/965.22	c  965s |      21 |  2003248 |  1255945 |     2323   1221 |        0 |        0
966.82/967.27	c  967s |      21 |  2006461 |  1258245 |     2323   1223 |        0 |        0
968.91/969.34	c  969s |      21 |  2010408 |  1260645 |     2323   1225 |        0 |        0
970.92/971.34	c  971s |      21 |  2014826 |  1262945 |     2323   1227 |        0 |        0
972.91/973.37	c  973s |      21 |  2017792 |  1265145 |     2323   1228 |        0 |        0
974.91/975.39	c  975s |      21 |  2020909 |  1267345 |     2323   1230 |        0 |        0
977.01/977.46	c  977s |      21 |  2023636 |  1269445 |     2323   1232 |        0 |        0
979.11/979.50	c  979s |      21 |  2026591 |  1271645 |     2323   1233 |        0 |        0
981.11/981.52	c  981s |      21 |  2029162 |  1273745 |     2323   1235 |        0 |        0
983.21/983.62	c  983s |      21 |  2032134 |  1275945 |     2323   1237 |        0 |        0
985.22/985.70	c  985s |      21 |  2034720 |  1278045 |     2323   1238 |        0 |        0
987.31/987.76	c  987s |      21 |  2037585 |  1280245 |     2323   1240 |        0 |        0
989.31/989.77	c  989s |      21 |  2040891 |  1282445 |     2323   1242 |        0 |        0
991.31/991.79	c  991s |      21 |  2043640 |  1284545 |     2323   1243 |        0 |        0
993.41/993.82	c  993s |      21 |  2046108 |  1286545 |     2323   1245 |        0 |        0
995.41/995.88	c  995s |      21 |  2049386 |  1288845 |     2323   1247 |        0 |        0
997.51/997.90	c  997s |      21 |  2052056 |  1290945 |     2323   1248 |        0 |        0
999.51/999.91	c  999s |      21 |  2054579 |  1293045 |     2323   1250 |        0 |        0
1001.51/1001.95	c 1001s |      21 |  2057324 |  1295245 |     2323   1252 |        0 |        0
1003.61/1004.02	c 1003s |      21 |  2060300 |  1297545 |     2323   1253 |        0 |        0
1005.61/1006.05	c 1006s |      21 |  2064468 |  1300045 |     2323   1255 |        0 |        0
1007.61/1008.08	c 1008s |      21 |  2069074 |  1302645 |     2323   1257 |        0 |        0
1009.71/1010.13	c 1010s |      21 |  2073342 |  1305245 |     2323   1259 |        0 |        0
1011.81/1012.21	c 1012s |      21 |  2077216 |  1307845 |     2323   1262 |        0 |        0
1013.81/1014.26	c 1014s |      21 |  2080431 |  1310145 |     2323   1263 |        0 |        0
1015.90/1016.32	c 1016s |      21 |  2083318 |  1312345 |     2323   1265 |        0 |        0
1017.90/1018.38	c 1018s |      21 |  2087275 |  1314645 |     2323   1267 |        0 |        0
1019.90/1020.39	c 1020s |      21 |  2090116 |  1316845 |     2323   1268 |        0 |        0
1022.00/1022.43	c 1022s |      21 |  2093480 |  1319145 |     2323   1270 |        0 |        0
1024.00/1024.45	c 1024s |      21 |  2096386 |  1321345 |     2323   1272 |        0 |        0
1026.01/1026.48	c 1026s |      21 |  2099323 |  1323545 |     2323   1274 |        0 |        0
1028.11/1028.56	c 1028s |      21 |  2102858 |  1325945 |     2323   1276 |        0 |        0
1030.10/1030.59	c 1030s |      21 |  2105987 |  1328245 |     2323   1277 |        0 |        0
1032.20/1032.61	c 1032s |      21 |  2109183 |  1330545 |     2323   1279 |        0 |        0
1034.20/1034.62	c 1034s |      21 |  2112329 |  1332745 |     2323   1281 |        0 |        0
1036.20/1036.65	c 1036s |      21 |  2115099 |  1334845 |     2323   1283 |        0 |        0
1038.20/1038.66	c 1038s |      21 |  2118518 |  1337145 |     2323   1284 |        0 |        0
1040.30/1040.71	c 1040s |      21 |  2122998 |  1339545 |     2323   1286 |        0 |        0
1042.30/1042.79	c 1042s |      21 |  2126554 |  1341945 |     2323   1288 |        0 |        0
1044.40/1044.87	c 1044s |      21 |  2129625 |  1344245 |     2323   1290 |        0 |        0
1046.50/1046.90	c 1046s |      21 |  2133089 |  1346645 |     2323   1292 |        0 |        0
1048.50/1048.97	c 1048s |      21 |  2136858 |  1349045 |     2323   1294 |        0 |        0
1050.50/1050.98	c 1050s |      21 |  2141429 |  1351445 |     2323   1295 |        0 |        0
1052.60/1053.02	c 1052s |      21 |  2144741 |  1353745 |     2323   1297 |        0 |        0
1054.61/1055.06	c 1055s |      21 |  2147367 |  1355845 |     2323   1299 |        0 |        0
1056.60/1057.09	c 1057s |      21 |  2150036 |  1357945 |     2323   1301 |        0 |        0
1058.70/1059.14	c 1059s |      21 |  2153286 |  1360145 |     2323   1302 |        0 |        0
1060.70/1061.16	c 1061s |      21 |  2155814 |  1362145 |     2323   1304 |        0 |        0
1062.70/1063.18	c 1063s |      21 |  2158339 |  1364145 |     2323   1305 |        0 |        0
1064.70/1065.18	c 1065s |      21 |  2161075 |  1366245 |     2323   1307 |        0 |        0
1066.80/1067.26	c 1067s |      21 |  2164355 |  1368645 |     2323   1309 |        0 |        0
1068.91/1069.35	c 1069s |      21 |  2167840 |  1371045 |     2323   1311 |        0 |        0
1070.90/1071.36	c 1071s |      21 |  2171418 |  1373345 |     2323   1313 |        0 |        0
1073.00/1073.44	c 1073s |      21 |  2175302 |  1375845 |     2323   1314 |        0 |        0
1075.10/1075.50	c 1075s |      21 |  2178445 |  1378145 |     2323   1316 |        0 |        0
1077.10/1077.51	c 1077s |      21 |  2181696 |  1380445 |     2323   1318 |        0 |        0
1079.10/1079.57	c 1079s |      21 |  2186034 |  1382845 |     2323   1320 |        0 |        0
1081.10/1081.57	c 1081s |      21 |  2189726 |  1385245 |     2323   1322 |        0 |        0
1083.21/1083.62	c 1083s |      21 |  2192616 |  1387445 |     2323   1324 |        0 |        0
1085.31/1085.71	c 1085s |      21 |  2195353 |  1389545 |     2323   1325 |        0 |        0
1087.30/1087.76	c 1087s |      21 |  2198186 |  1391645 |     2323   1327 |        0 |        0
1089.40/1089.85	c 1089s |      21 |  2200987 |  1393745 |     2323   1328 |        0 |        0
1091.40/1091.89	c 1091s |      21 |  2204288 |  1396045 |     2323   1330 |        0 |        0
1093.50/1093.92	c 1093s |      21 |  2206748 |  1398045 |     2323   1332 |        0 |        0
1095.50/1095.94	c 1095s |      21 |  2209610 |  1400145 |     2323   1333 |        0 |        0
1097.60/1098.01	c 1097s |      21 |  2212494 |  1402345 |     2323   1335 |        0 |        0
1099.60/1100.02	c 1099s |      21 |  2215205 |  1404445 |     2323   1337 |        0 |        0
1101.70/1102.10	c 1102s |      21 |  2218194 |  1406645 |     2323   1338 |        0 |        0
1103.70/1104.17	c 1104s |      21 |  2220875 |  1408745 |     2323   1340 |        0 |        0
1105.80/1106.24	c 1106s |      21 |  2223734 |  1410745 |     2323   1342 |        0 |        0
1107.80/1108.26	c 1108s |      21 |  2226518 |  1412945 |     2323   1343 |        0 |        0
1109.90/1110.33	c 1110s |      21 |  2230033 |  1415345 |     2323   1345 |        0 |        0
1112.00/1112.41	c 1112s |      21 |  2233449 |  1417745 |     2323   1347 |        0 |        0
1114.00/1114.46	c 1114s |      21 |  2236913 |  1420145 |     2323   1349 |        0 |        0
1115.99/1116.46	c 1116s |      21 |  2241321 |  1422445 |     2323   1351 |        0 |        0
1117.99/1118.48	c 1118s |      21 |  2244547 |  1424745 |     2323   1352 |        0 |        0
1120.09/1120.53	c 1120s |      21 |  2248430 |  1427145 |     2323   1354 |        0 |        0
1122.19/1122.61	c 1122s |      21 |  2251806 |  1429445 |     2323   1356 |        0 |        0
1124.29/1124.70	c 1124s |      21 |  2254610 |  1431645 |     2323   1358 |        0 |        0
1126.29/1126.71	c 1126s |      21 |  2257517 |  1433745 |     2323   1359 |        0 |        0
1128.30/1128.72	c 1128s |      21 |  2260559 |  1435845 |     2323   1361 |        0 |        0
1130.29/1130.78	c 1130s |      21 |  2266065 |  1438445 |     2323   1363 |        0 |        0
1132.39/1132.81	c 1132s |      21 |  2269316 |  1440745 |     2323   1365 |        0 |        0
1134.39/1134.84	c 1134s |      21 |  2272813 |  1443045 |     2323   1367 |        0 |        0
1136.49/1136.94	c 1136s |      21 |  2276131 |  1445345 |     2323   1369 |        0 |        0
1138.49/1138.97	c 1138s |      21 |  2279832 |  1447745 |     2323   1370 |        0 |        0
1140.59/1141.01	c 1140s |      21 |  2282712 |  1449945 |     2323   1372 |        0 |        0
1142.60/1143.08	c 1143s |      21 |  2285772 |  1452145 |     2323   1374 |        0 |        0
1144.70/1145.15	c 1145s |      21 |  2288550 |  1454245 |     2323   1375 |        0 |        0
1146.79/1147.22	c 1147s |      21 |  2292132 |  1456645 |     2323   1377 |        0 |        0
1148.79/1149.29	c 1149s |      21 |  2296544 |  1459145 |     2323   1379 |        0 |        0
1150.89/1151.37	c 1151s |      21 |  2299337 |  1461345 |     2323   1381 |        0 |        0
1152.99/1153.46	c 1153s |      21 |  2302932 |  1463745 |     2323   1383 |        0 |        0
1154.99/1155.49	c 1155s |      21 |  2305927 |  1465945 |     2323   1385 |        0 |        0
1157.09/1157.53	c 1157s |      21 |  2308833 |  1468145 |     2323   1386 |        0 |        0
1159.09/1159.55	c 1159s |      21 |  2311881 |  1470445 |     2323   1388 |        0 |        0
1161.19/1161.62	c 1161s |      21 |  2315184 |  1472745 |     2323   1390 |        0 |        0
1163.18/1163.62	c 1163s |      21 |  2318709 |  1475045 |     2323   1392 |        0 |        0
1165.28/1165.71	c 1165s |      21 |  2321985 |  1477345 |     2323   1394 |        0 |        0
1167.28/1167.77	c 1167s |      21 |  2325884 |  1479745 |     2323   1395 |        0 |        0
1169.38/1169.86	c 1169s |      21 |  2329004 |  1482045 |     2323   1397 |        0 |        0
1171.48/1171.95	c 1171s |      21 |  2332153 |  1484345 |     2323   1399 |        0 |        0
1173.48/1173.97	c 1173s |      21 |  2336264 |  1486745 |     2323   1401 |        0 |        0
1175.49/1176.00	c 1175s |      21 |  2340212 |  1489145 |     2323   1403 |        0 |        0
1177.58/1178.03	c 1178s |      21 |  2344357 |  1491545 |     2556   1404 |        0 |        0
1179.68/1180.10	c 1180s |      21 |  2346996 |  1493645 |     2556   1406 |        0 |        0
1181.68/1182.13	c 1182s |      21 |  2349746 |  1495845 |     2556   1407 |        0 |        0
1183.68/1184.17	c 1184s |      21 |  2352704 |  1498045 |     2556   1409 |        0 |        0
1185.78/1186.25	c 1186s |      21 |  2356104 |  1500345 |     2556   1411 |        0 |        0
1185.98/1186.47	c 1186s |      22 |  2356485 |  1500622 |     2556   1411 |        0 |        0
1188.08/1188.58	c 1188s |      22 |  2360821 |  1503022 |     2556   1412 |        0 |        0
1190.18/1190.64	c 1190s |      22 |  2363740 |  1505122 |     2556   1414 |        0 |        0
1192.28/1192.72	c 1192s |      22 |  2366516 |  1507222 |     2556   1415 |        0 |        0
1194.29/1194.73	c 1194s |      22 |  2369192 |  1509222 |     2556   1417 |        0 |        0
1196.28/1196.78	c 1196s |      22 |  2371969 |  1511422 |     2556   1418 |        0 |        0
1198.38/1198.85	c 1198s |      22 |  2374710 |  1513522 |     2556   1420 |        0 |        0
1200.38/1200.86	c 1200s |      22 |  2377175 |  1515522 |     2556   1421 |        0 |        0
1202.48/1202.93	c 1202s |      22 |  2379910 |  1517622 |     2556   1423 |        0 |        0
1204.48/1204.98	c 1204s |      22 |  2382705 |  1519722 |     2556   1424 |        0 |        0
1206.58/1207.06	c 1207s |      22 |  2386483 |  1522022 |     2556   1426 |        0 |        0
1208.58/1209.08	c 1209s |      22 |  2389578 |  1524222 |     2556   1428 |        0 |        0
1210.68/1211.15	c 1211s |      22 |  2392618 |  1526422 |     2556   1429 |        0 |        0
1212.67/1213.19	c 1213s |      22 |  2395844 |  1528622 |     2556   1431 |        0 |        0
1214.77/1215.22	c 1215s |      22 |  2398427 |  1530622 |     2556   1432 |        0 |        0
1216.77/1217.26	c 1217s |      22 |  2401021 |  1532622 |     2556   1434 |        0 |        0
1218.77/1219.29	c 1219s |      22 |  2403975 |  1534722 |     2556   1435 |        0 |        0
1220.87/1221.32	c 1221s |      22 |  2406803 |  1536722 |     2556   1436 |        0 |        0
1222.97/1223.41	c 1223s |      22 |  2409639 |  1538922 |     2556   1438 |        0 |        0
1224.98/1225.47	c 1225s |      22 |  2412313 |  1541022 |     2556   1440 |        0 |        0
1226.97/1227.47	c 1227s |      22 |  2415039 |  1543122 |     2556   1441 |        0 |        0
1229.07/1229.54	c 1229s |      22 |  2418094 |  1545422 |     2556   1443 |        0 |        0
1231.17/1231.62	c 1231s |      22 |  2420800 |  1547522 |     2556   1444 |        0 |        0
1233.17/1233.62	c 1233s |      22 |  2423824 |  1549622 |     2556   1446 |        0 |        0
1235.17/1235.67	c 1235s |      22 |  2426599 |  1551822 |     2556   1447 |        0 |        0
1237.27/1237.73	c 1237s |      22 |  2429338 |  1553922 |     2556   1449 |        0 |        0
1239.28/1239.75	c 1239s |      22 |  2432221 |  1556022 |     2556   1450 |        0 |        0
1241.27/1241.78	c 1241s |      22 |  2435632 |  1558322 |     2556   1452 |        0 |        0
1243.37/1243.82	c 1243s |      22 |  2438266 |  1560422 |     2556   1453 |        0 |        0
1245.37/1245.89	c 1245s |      22 |  2440926 |  1562522 |     2556   1455 |        0 |        0
1247.47/1247.92	c 1247s |      22 |  2443615 |  1564622 |     2556   1456 |        0 |        0
1249.47/1249.93	c 1249s |      22 |  2446133 |  1566622 |     2556   1458 |        0 |        0
1251.57/1252.03	c 1252s |      22 |  2449009 |  1568822 |     2556   1459 |        0 |        0
1253.57/1254.09	c 1254s |      22 |  2453315 |  1571422 |     2556   1461 |        0 |        0
1255.67/1256.12	c 1256s |      22 |  2456118 |  1573622 |     2556   1463 |        0 |        0
1257.67/1258.13	c 1258s |      22 |  2459699 |  1575922 |     2556   1464 |        0 |        0
1259.67/1260.16	c 1260s |      22 |  2462977 |  1578222 |     2556   1466 |        0 |        0
1261.67/1262.19	c 1262s |      22 |  2466165 |  1580522 |     2556   1468 |        0 |        0
1263.76/1264.27	c 1264s |      22 |  2469776 |  1582922 |     2556   1469 |        0 |        0
1265.86/1266.30	c 1266s |      22 |  2472986 |  1585122 |     2556   1471 |        0 |        0
1267.87/1268.40	c 1268s |      22 |  2476087 |  1587422 |     2556   1473 |        0 |        0
1269.96/1270.48	c 1270s |      22 |  2479255 |  1589622 |     2556   1474 |        0 |        0
1272.06/1272.53	c 1272s |      22 |  2482416 |  1591822 |     2556   1476 |        0 |        0
1274.06/1274.57	c 1274s |      22 |  2485982 |  1593922 |     2556   1477 |        0 |        0
1276.16/1276.60	c 1276s |      22 |  2490046 |  1596422 |     2556   1479 |        0 |        0
1278.16/1278.61	c 1278s |      22 |  2494587 |  1599022 |     2556   1481 |        0 |        0
1280.16/1280.65	c 1280s |      22 |  2498855 |  1601522 |     2556   1483 |        0 |        0
1282.17/1282.70	c 1282s |      22 |  2503533 |  1604122 |     2556   1484 |        0 |        0
1284.26/1284.76	c 1284s |      22 |  2508291 |  1606722 |     2556   1486 |        0 |        0
1286.26/1286.76	c 1286s |      22 |  2513429 |  1609222 |     2556   1488 |        0 |        0
1288.36/1288.83	c 1288s |      22 |  2517002 |  1611822 |     2556   1490 |        0 |        0
1290.46/1290.90	c 1290s |      22 |  2521353 |  1614222 |     2556   1492 |        0 |        0
1292.46/1292.94	c 1292s |      22 |  2524625 |  1616622 |     2556   1493 |        0 |        0
1294.46/1294.98	c 1294s |      22 |  2529461 |  1619022 |     2556   1495 |        0 |        0
1296.57/1297.02	c 1296s |      22 |  2532894 |  1621322 |     2556   1497 |        0 |        0
1298.57/1299.03	c 1299s |      22 |  2535893 |  1623522 |     2556   1498 |        0 |        0
1300.57/1301.07	c 1301s |      22 |  2539205 |  1625922 |     2556   1500 |        0 |        0
1302.67/1303.15	c 1303s |      22 |  2543395 |  1628522 |     2556   1502 |        0 |        0
1304.66/1305.17	c 1305s |      22 |  2546500 |  1630922 |     2556   1504 |        0 |        0
1306.66/1307.18	c 1307s |      22 |  2552029 |  1633522 |     2556   1505 |        0 |        0
1308.76/1309.21	c 1309s |      22 |  2556139 |  1635922 |     2556   1507 |        0 |        0
1310.77/1311.29	c 1311s |      22 |  2559990 |  1638422 |     2556   1509 |        0 |        0
1312.86/1313.35	c 1313s |      22 |  2562811 |  1640622 |     2556   1510 |        0 |        0
1314.96/1315.42	c 1315s |      22 |  2566807 |  1643122 |     2556   1512 |        0 |        0
1317.06/1317.51	c 1317s |      22 |  2570525 |  1645422 |     2556   1514 |        0 |        0
1319.06/1319.56	c 1319s |      22 |  2573626 |  1647622 |     2556   1515 |        0 |        0
1321.16/1321.63	c 1321s |      22 |  2577008 |  1649922 |     2556   1517 |        0 |        0
1323.16/1323.68	c 1323s |      22 |  2581990 |  1652522 |     2556   1519 |        0 |        0
1325.26/1325.71	c 1325s |      22 |  2586955 |  1655022 |     2556   1521 |        0 |        0
1327.27/1327.75	c 1327s |      22 |  2592208 |  1657622 |     2556   1523 |        0 |        0
1329.26/1329.77	c 1329s |      22 |  2595729 |  1660022 |     2556   1524 |        0 |        0
1331.26/1331.78	c 1331s |      22 |  2598821 |  1662122 |     2556   1526 |        0 |        0
1333.36/1333.88	c 1333s |      22 |  2601929 |  1664322 |     2556   1527 |        0 |        0
1335.46/1335.92	c 1335s |      22 |  2604987 |  1666522 |     2556   1529 |        0 |        0
1337.46/1337.98	c 1337s |      22 |  2607790 |  1668622 |     2556   1530 |        0 |        0
1339.56/1340.00	c 1339s |      22 |  2612906 |  1671122 |     2556   1532 |        0 |        0
1341.56/1342.03	c 1342s |      22 |  2617564 |  1673722 |     2556   1534 |        0 |        0
1343.66/1344.11	c 1344s |      22 |  2621347 |  1676022 |     2556   1536 |        0 |        0
1345.76/1346.21	c 1346s |      22 |  2626753 |  1678722 |     2556   1538 |        0 |        0
1347.76/1348.24	c 1348s |      22 |  2632710 |  1681322 |     2556   1539 |        0 |        0
1349.85/1350.35	c 1350s |      22 |  2636545 |  1683722 |     2556   1541 |        0 |        0
1351.95/1352.41	c 1352s |      22 |  2641379 |  1686222 |     2556   1543 |        0 |        0
1353.95/1354.47	c 1354s |      22 |  2645924 |  1688822 |     2556   1545 |        0 |        0
1356.05/1356.58	c 1356s |      22 |  2649352 |  1691322 |     2556   1547 |        0 |        0
1358.16/1358.64	c 1358s |      22 |  2655898 |  1694122 |     2556   1549 |        0 |        0
1360.15/1360.67	c 1360s |      22 |  2660826 |  1696722 |     2556   1550 |        0 |        0
1362.25/1362.71	c 1362s |      22 |  2667732 |  1699522 |     2556   1552 |        0 |        0
1364.25/1364.76	c 1364s |      22 |  2671253 |  1701822 |     2556   1554 |        0 |        0
1366.25/1366.79	c 1366s |      22 |  2673844 |  1703822 |     2556   1555 |        0 |        0
1368.35/1368.86	c 1368s |      22 |  2676973 |  1706022 |     2556   1557 |        0 |        0
1370.45/1370.91	c 1370s |      22 |  2681066 |  1708322 |     2556   1559 |        0 |        0
1372.46/1372.92	c 1372s |      22 |  2684071 |  1710422 |     2556   1560 |        0 |        0
1374.45/1374.98	c 1374s |      22 |  2687823 |  1713022 |     2556   1562 |        0 |        0
1376.55/1377.04	c 1377s |      22 |  2692147 |  1715622 |     2556   1564 |        0 |        0
1378.55/1379.05	c 1379s |      22 |  2696647 |  1718122 |     2556   1566 |        0 |        0
1380.65/1381.10	c 1381s |      22 |  2700027 |  1720522 |     2556   1567 |        0 |        0
1382.65/1383.11	c 1383s |      22 |  2703154 |  1722722 |     2556   1569 |        0 |        0
1384.65/1385.16	c 1385s |      22 |  2706790 |  1725022 |     2556   1571 |        0 |        0
1386.65/1387.16	c 1387s |      22 |  2710853 |  1727422 |     2556   1572 |        0 |        0
1388.75/1389.22	c 1389s |      22 |  2714019 |  1729622 |     2556   1574 |        0 |        0
1390.85/1391.33	c 1391s |      22 |  2716837 |  1731822 |     2556   1576 |        0 |        0
1392.85/1393.38	c 1393s |      22 |  2720523 |  1734222 |     2556   1577 |        0 |        0
1394.95/1395.40	c 1395s |      22 |  2723348 |  1736422 |     2556   1579 |        0 |        0
1396.94/1397.45	c 1397s |      22 |  2727620 |  1739022 |     2556   1581 |        0 |        0
1399.04/1399.50	c 1399s |      22 |  2732672 |  1741722 |     2556   1583 |        0 |        0
1401.05/1401.52	c 1401s |      22 |  2736107 |  1744122 |     2556   1584 |        0 |        0
1403.04/1403.54	c 1403s |      22 |  2739446 |  1746422 |     2556   1586 |        0 |        0
1405.05/1405.56	c 1405s |      22 |  2742784 |  1748722 |     2556   1588 |        0 |        0
1407.05/1407.56	c 1407s |      22 |  2746070 |  1750922 |     2556   1589 |        0 |        0
1409.05/1409.58	c 1409s |      22 |  2751539 |  1753422 |     2556   1591 |        0 |        0
1411.15/1411.60	c 1411s |      22 |  2755401 |  1755822 |     2556   1593 |        0 |        0
1413.25/1413.70	c 1413s |      22 |  2758533 |  1758122 |     2556   1594 |        0 |        0
1415.26/1415.76	c 1415s |      22 |  2761527 |  1760322 |     2556   1596 |        0 |        0
1417.35/1417.85	c 1417s |      22 |  2765202 |  1762622 |     2556   1598 |        0 |        0
1419.35/1419.88	c 1419s |      22 |  2768543 |  1764822 |     2556   1599 |        0 |        0
1421.45/1421.92	c 1421s |      22 |  2773438 |  1767422 |     2556   1601 |        0 |        0
1423.45/1423.98	c 1423s |      22 |  2776726 |  1769622 |     2556   1603 |        0 |        0
1425.55/1426.00	c 1425s |      22 |  2781722 |  1772022 |     2556   1604 |        0 |        0
1427.55/1428.04	c 1428s |      22 |  2787131 |  1774622 |     2556   1606 |        0 |        0
1429.65/1430.11	c 1430s |      22 |  2792886 |  1777322 |     2556   1608 |        0 |        0
1431.65/1432.18	c 1432s |      22 |  2796725 |  1779622 |     2556   1610 |        0 |        0
1433.75/1434.24	c 1434s |      22 |  2802155 |  1782222 |     2556   1612 |        0 |        0
1435.75/1436.26	c 1436s |      22 |  2806216 |  1784622 |     2556   1613 |        0 |        0
1437.85/1438.32	c 1438s |      22 |  2809506 |  1786822 |     2556   1615 |        0 |        0
1439.95/1440.42	c 1440s |      22 |  2813342 |  1789222 |     2556   1617 |        0 |        0
1441.94/1442.44	c 1442s |      22 |  2816689 |  1791622 |     2556   1618 |        0 |        0
1443.95/1444.45	c 1444s |      22 |  2822656 |  1794022 |     2556   1620 |        0 |        0
1445.94/1446.50	c 1446s |      22 |  2829090 |  1796622 |     2556   1622 |        0 |        0
1448.04/1448.54	c 1448s |      22 |  2834034 |  1799122 |     2556   1624 |        0 |        0
1450.14/1450.63	c 1450s |      22 |  2838262 |  1801722 |     2556   1625 |        0 |        0
1452.14/1452.69	c 1452s |      22 |  2841212 |  1803922 |     2556   1627 |        0 |        0
1454.24/1454.75	c 1454s |      22 |  2844146 |  1806122 |     2556   1629 |        0 |        0
1456.34/1456.83	c 1456s |      22 |  2847092 |  1808422 |     2556   1630 |        0 |        0
1458.34/1458.88	c 1458s |      22 |  2849908 |  1810622 |     2556   1632 |        0 |        0
1460.45/1460.97	c 1460s |      22 |  2853066 |  1812922 |     2556   1633 |        0 |        0
1462.44/1462.97	c 1462s |      22 |  2855996 |  1815122 |     2556   1635 |        0 |        0
1464.54/1465.01	c 1464s |      22 |  2858782 |  1817222 |     2556   1636 |        0 |        0
1466.54/1467.04	c 1467s |      22 |  2861614 |  1819322 |     2556   1638 |        0 |        0
1468.54/1469.07	c 1469s |      22 |  2864466 |  1821422 |     2556   1639 |        0 |        0
1470.64/1471.14	c 1471s |      22 |  2867358 |  1823522 |     2556   1641 |        0 |        0
1472.64/1473.14	c 1473s |      22 |  2869899 |  1825522 |     2556   1642 |        0 |        0
1474.74/1475.22	c 1475s |      22 |  2872950 |  1827722 |     2556   1644 |        0 |        0
1476.74/1477.22	c 1477s |      22 |  2876579 |  1830022 |     2556   1646 |        0 |        0
1478.74/1479.28	c 1479s |      22 |  2880173 |  1832422 |     2556   1647 |        0 |        0
1480.74/1481.28	c 1481s |      22 |  2884562 |  1834922 |     2556   1649 |        0 |        0
1482.84/1483.34	c 1483s |      22 |  2887356 |  1837122 |     2556   1651 |        0 |        0
1484.84/1485.36	c 1485s |      22 |  2891145 |  1839522 |     2556   1652 |        0 |        0
1486.84/1487.38	c 1487s |      22 |  2894423 |  1841822 |     2556   1654 |        0 |        0
1488.94/1489.41	c 1489s |      22 |  2897770 |  1844322 |     2556   1656 |        0 |        0
1490.93/1491.49	c 1491s |      22 |  2901905 |  1846822 |     2556   1658 |        0 |        0
1493.03/1493.55	c 1493s |      22 |  2905984 |  1849422 |     2556   1659 |        0 |        0
1495.13/1495.60	c 1495s |      22 |  2910462 |  1852022 |     2556   1661 |        0 |        0
1497.13/1497.66	c 1497s |      22 |  2914779 |  1854522 |     2556   1663 |        0 |        0
1499.13/1499.69	c 1499s |      22 |  2919789 |  1857122 |     2556   1665 |        0 |        0
1501.23/1501.75	c 1501s |      22 |  2923566 |  1859622 |     2556   1667 |        0 |        0
1503.34/1503.83	c 1503s |      22 |  2926925 |  1862122 |     2556   1668 |        0 |        0
1505.44/1505.91	c 1505s |      22 |  2930926 |  1864622 |     2556   1670 |        0 |        0
1507.43/1507.94	c 1507s |      22 |  2935471 |  1867122 |     2556   1672 |        0 |        0
1509.43/1509.97	c 1509s |      22 |  2940133 |  1869722 |     2556   1674 |        0 |        0
1511.53/1512.02	c 1511s |      22 |  2943873 |  1872222 |     2556   1676 |        0 |        0
1513.53/1514.09	c 1514s |      22 |  2947659 |  1874722 |     2556   1677 |        0 |        0
1515.63/1516.14	c 1516s |      22 |  2951799 |  1877222 |     2556   1679 |        0 |        0
1517.64/1518.17	c 1518s |      22 |  2956035 |  1879622 |     2556   1681 |        0 |        0
1519.74/1520.25	c 1520s |      22 |  2959198 |  1881922 |     2556   1683 |        0 |        0
1521.83/1522.30	c 1522s |      22 |  2963356 |  1884422 |     2556   1684 |        0 |        0
1523.83/1524.31	c 1524s |      22 |  2967191 |  1886722 |     2556   1686 |        0 |        0
1525.83/1526.34	c 1526s |      22 |  2970132 |  1888922 |     2556   1688 |        0 |        0
1527.83/1528.39	c 1528s |      22 |  2973584 |  1891322 |     2556   1689 |        0 |        0
1529.93/1530.40	c 1530s |      22 |  2976457 |  1893522 |     2556   1691 |        0 |        0
1532.03/1532.50	c 1532s |      22 |  2979151 |  1895722 |     2556   1692 |        0 |        0
1534.03/1534.51	c 1534s |      22 |  2982108 |  1897922 |     2556   1694 |        0 |        0
1536.12/1536.62	c 1536s |      22 |  2984796 |  1900022 |     2556   1696 |        0 |        0
1538.12/1538.69	c 1538s |      22 |  2989131 |  1902622 |     2556   1697 |        0 |        0
1540.22/1540.72	c 1540s |      22 |  2992041 |  1904822 |     2556   1699 |        0 |        0
1542.22/1542.72	c 1542s |      22 |  2994974 |  1906922 |     2556   1700 |        0 |        0
1544.22/1544.74	c 1544s |      22 |  2999059 |  1909322 |     2556   1702 |        0 |        0
1546.23/1546.76	c 1546s |      22 |  3003084 |  1911622 |     2556   1704 |        0 |        0
1548.22/1548.79	c 1548s |      22 |  3006643 |  1914022 |     2556   1706 |        0 |        0
1550.32/1550.85	c 1550s |      22 |  3010790 |  1916522 |     2556   1707 |        0 |        0
1552.32/1552.88	c 1552s |      22 |  3015906 |  1919122 |     2556   1709 |        0 |        0
1554.42/1554.92	c 1554s |      22 |  3021257 |  1921722 |     2556   1711 |        0 |        0
1556.42/1556.99	c 1556s |      22 |  3026857 |  1924422 |     2556   1713 |        0 |        0
1558.52/1559.05	c 1559s |      22 |  3031687 |  1927022 |     2556   1715 |        0 |        0
1560.53/1561.09	c 1561s |      22 |  3034877 |  1929322 |     2556   1716 |        0 |        0
1562.52/1563.09	c 1563s |      22 |  3037994 |  1931522 |     2556   1718 |        0 |        0
1564.62/1565.10	c 1565s |      22 |  3040945 |  1933722 |     2556   1720 |        0 |        0
1566.62/1567.11	c 1567s |      22 |  3044044 |  1935922 |     2556   1721 |        0 |        0
1568.62/1569.19	c 1569s |      22 |  3046697 |  1938022 |     2556   1723 |        0 |        0
1570.72/1571.22	c 1571s |      22 |  3051495 |  1940422 |     2556   1724 |        0 |        0
1572.72/1573.24	c 1573s |      22 |  3055399 |  1942822 |     2556   1726 |        0 |        0
1574.73/1575.27	c 1575s |      22 |  3058813 |  1945122 |     2556   1728 |        0 |        0
1576.82/1577.30	c 1577s |      22 |  3062144 |  1947322 |     2556   1729 |        0 |        0
1578.82/1579.33	c 1579s |      22 |  3065013 |  1949422 |     2556   1731 |        0 |        0
1580.92/1581.41	c 1581s |      22 |  3068058 |  1951622 |     2556   1732 |        0 |        0
1582.92/1583.46	c 1583s |      22 |  3070874 |  1953922 |     2556   1734 |        0 |        0
1585.02/1585.50	c 1585s |      22 |  3074375 |  1956322 |     2556   1736 |        0 |        0
1587.12/1587.61	c 1587s |      22 |  3077984 |  1958822 |     2556   1738 |        0 |        0
1589.12/1589.64	c 1589s |      22 |  3081856 |  1961322 |     2556   1739 |        0 |        0
1591.12/1591.69	c 1591s |      22 |  3087606 |  1963822 |     2556   1741 |        0 |        0
1593.22/1593.78	c 1593s |      22 |  3091765 |  1966222 |     2556   1743 |        0 |        0
1595.31/1595.80	c 1595s |      22 |  3096187 |  1968622 |     2556   1745 |        0 |        0
1597.31/1597.81	c 1597s |      22 |  3100429 |  1971122 |     2556   1746 |        0 |        0
1599.31/1599.88	c 1599s |      22 |  3103549 |  1973322 |     2556   1748 |        0 |        0
1601.41/1601.94	c 1601s |      22 |  3108011 |  1975622 |     2556   1750 |        0 |        0
1603.51/1604.03	c 1604s |      22 |  3111956 |  1978222 |     2556   1751 |        0 |        0
1605.52/1606.08	c 1606s |      22 |  3114591 |  1980322 |     2556   1753 |        0 |        0
1607.62/1608.12	c 1608s |      22 |  3117264 |  1982422 |     2556   1754 |        0 |        0
1609.72/1610.20	c 1610s |      22 |  3122979 |  1985022 |     2556   1756 |        0 |        0
1611.72/1612.20	c 1612s |      22 |  3127262 |  1987422 |     2556   1758 |        0 |        0
1613.72/1614.21	c 1614s |      22 |  3132209 |  1989822 |     2556   1760 |        0 |        0
1615.72/1616.27	c 1616s |      22 |  3137334 |  1992322 |     2556   1761 |        0 |        0
1617.73/1618.30	c 1618s |      22 |  3140124 |  1994422 |     2556   1763 |        0 |        0
1619.83/1620.32	c 1620s |      22 |  3142984 |  1996522 |     2556   1764 |        0 |        0
1621.82/1622.37	c 1622s |      22 |  3147623 |  1999022 |     2556   1766 |        0 |        0
1623.92/1624.40	c 1624s |      22 |  3150670 |  2001122 |     2556   1768 |        0 |        0
1625.92/1626.46	c 1626s |      22 |  3155761 |  2003622 |     2556   1770 |        0 |        0
1628.02/1628.51	c 1628s |      22 |  3159616 |  2006022 |     2556   1771 |        0 |        0
1630.02/1630.59	c 1630s |      22 |  3163184 |  2008322 |     2556   1773 |        0 |        0
1632.12/1632.64	c 1632s |      22 |  3165803 |  2010422 |     2556   1774 |        0 |        0
1634.12/1634.67	c 1634s |      22 |  3168492 |  2012522 |     2556   1776 |        0 |        0
1636.12/1636.68	c 1636s |      22 |  3171551 |  2014622 |     2556   1777 |        0 |        0
1638.12/1638.68	c 1638s |      22 |  3174830 |  2016622 |     2556   1779 |        0 |        0
1640.21/1640.78	c 1640s |      22 |  3179295 |  2019122 |     2556   1781 |        0 |        0
1642.31/1642.85	c 1642s |      22 |  3182960 |  2021422 |     2556   1782 |        0 |        0
1644.31/1644.89	c 1644s |      22 |  3188119 |  2024022 |     2556   1784 |        0 |        0
1646.41/1646.93	c 1646s |      22 |  3191930 |  2026422 |     2556   1786 |        0 |        0
1648.42/1648.97	c 1648s |      22 |  3195263 |  2028622 |     2556   1787 |        0 |        0
1650.41/1650.97	c 1650s |      22 |  3197849 |  2030622 |     2556   1789 |        0 |        0
1652.51/1653.01	c 1652s |      22 |  3200587 |  2032722 |     2556   1790 |        0 |        0
1654.51/1655.05	c 1655s |      22 |  3205033 |  2035022 |     2556   1792 |        0 |        0
1656.51/1657.08	c 1657s |      22 |  3209501 |  2037422 |     2556   1794 |        0 |        0
1658.61/1659.16	c 1659s |      22 |  3213275 |  2039822 |     2556   1795 |        0 |        0
1660.62/1661.16	c 1661s |      22 |  3216484 |  2042022 |     2556   1797 |        0 |        0
1662.72/1663.22	c 1663s |      22 |  3220014 |  2044522 |     2556   1799 |        0 |        0
1664.71/1665.26	c 1665s |      22 |  3223147 |  2046822 |     2556   1800 |        0 |        0
1666.71/1667.27	c 1667s |      22 |  3226560 |  2049122 |     2556   1802 |        0 |        0
1668.71/1669.29	c 1669s |      22 |  3230734 |  2051422 |     2556   1804 |        0 |        0
1670.81/1671.35	c 1671s |      22 |  3234149 |  2053722 |     2556   1805 |        0 |        0
1672.91/1673.43	c 1673s |      22 |  3237341 |  2056022 |     2556   1807 |        0 |        0
1674.91/1675.44	c 1675s |      22 |  3242117 |  2058422 |     2556   1809 |        0 |        0
1676.91/1677.45	c 1677s |      22 |  3245074 |  2060622 |     2556   1810 |        0 |        0
1679.01/1679.54	c 1679s |      22 |  3249062 |  2063022 |     2556   1812 |        0 |        0
1681.01/1681.57	c 1681s |      22 |  3252926 |  2065322 |     2556   1813 |        0 |        0
1683.11/1683.62	c 1683s |      22 |  3256350 |  2067522 |     2556   1815 |        0 |        0
1685.10/1685.63	c 1685s |      22 |  3259553 |  2069722 |     2556   1817 |        0 |        0
1687.10/1687.64	c 1687s |      22 |  3262922 |  2072022 |     2556   1818 |        0 |        0
1689.21/1689.73	c 1689s |      22 |  3265887 |  2074222 |     2556   1820 |        0 |        0
1691.31/1691.82	c 1691s |      22 |  3268898 |  2076422 |     2556   1821 |        0 |        0
1693.30/1693.82	c 1693s |      22 |  3272058 |  2078422 |     2556   1823 |        0 |        0
1695.30/1695.84	c 1695s |      22 |  3274951 |  2080522 |     2556   1824 |        0 |        0
1697.30/1697.86	c 1697s |      22 |  3277634 |  2082522 |     2556   1826 |        0 |        0
1699.40/1699.92	c 1699s |      22 |  3280492 |  2084622 |     2556   1827 |        0 |        0
1701.40/1701.97	c 1701s |      22 |  3285017 |  2086922 |     2556   1829 |        0 |        0
1703.51/1704.02	c 1703s |      22 |  3289135 |  2089422 |     2556   1831 |        0 |        0
1705.50/1706.05	c 1706s |      22 |  3292434 |  2091722 |     2556   1832 |        0 |        0
1707.60/1708.13	c 1708s |      22 |  3295717 |  2094022 |     2556   1834 |        0 |        0
1709.70/1710.22	c 1710s |      22 |  3298900 |  2096222 |     2556   1836 |        0 |        0
1711.70/1712.25	c 1712s |      22 |  3301684 |  2098322 |     2556   1837 |        0 |        0
1713.70/1714.28	c 1714s |      22 |  3305186 |  2100622 |     2556   1839 |        0 |        0
1715.80/1716.36	c 1716s |      22 |  3309231 |  2103022 |     2556   1840 |        0 |        0
1717.90/1718.42	c 1718s |      22 |  3312002 |  2105122 |     2556   1842 |        0 |        0
1719.91/1720.47	c 1720s |      22 |  3315197 |  2107322 |     2556   1843 |        0 |        0
1722.00/1722.57	c 1722s |      22 |  3318202 |  2109522 |     2556   1845 |        0 |        0
1724.10/1724.66	c 1724s |      22 |  3320918 |  2111622 |     2556   1846 |        0 |        0
1726.20/1726.72	c 1726s |      22 |  3324405 |  2113922 |     2556   1848 |        0 |        0
1728.20/1728.77	c 1728s |      22 |  3327255 |  2116022 |     2556   1850 |        0 |        0
1730.20/1730.77	c 1730s |      22 |  3330091 |  2118022 |     2556   1851 |        0 |        0
1732.30/1732.85	c 1732s |      22 |  3333494 |  2120422 |     2556   1853 |        0 |        0
1734.40/1734.96	c 1734s |      22 |  3337507 |  2122922 |     2556   1855 |        0 |        0
1736.50/1737.02	c 1736s |      22 |  3341299 |  2125322 |     2556   1856 |        0 |        0
1738.50/1739.05	c 1739s |      22 |  3345617 |  2127722 |     2556   1858 |        0 |        0
1740.60/1741.12	c 1741s |      22 |  3349579 |  2129922 |     2556   1860 |        0 |        0
1742.60/1743.13	c 1743s |      22 |  3352496 |  2132122 |     2556   1861 |        0 |        0
1744.59/1745.19	c 1745s |      22 |  3356043 |  2134422 |     2556   1863 |        0 |        0
1746.69/1747.27	c 1747s |      22 |  3358784 |  2136522 |     2556   1864 |        0 |        0
1748.79/1749.36	c 1749s |      22 |  3361707 |  2138722 |     2556   1866 |        0 |        0
1750.89/1751.40	c 1751s |      22 |  3364530 |  2140822 |     2556   1867 |        0 |        0
1752.90/1753.47	c 1753s |      22 |  3367230 |  2142822 |     2556   1869 |        0 |        0
1754.89/1755.48	c 1755s |      22 |  3370305 |  2144922 |     2556   1870 |        0 |        0
1756.89/1757.48	c 1757s |      22 |  3373104 |  2147122 |     2556   1872 |        0 |        0
1758.89/1759.49	c 1759s |      22 |  3376552 |  2149422 |     2556   1873 |        0 |        0
1760.99/1761.51	c 1761s |      22 |  3379432 |  2151522 |     2556   1875 |        0 |        0
1762.99/1763.57	c 1763s |      22 |  3382560 |  2153722 |     2556   1877 |        0 |        0
1765.10/1765.61	c 1765s |      22 |  3386447 |  2156022 |     2556   1878 |        0 |        0
1767.09/1767.65	c 1767s |      22 |  3389892 |  2158122 |     2556   1880 |        0 |        0
1769.19/1769.70	c 1769s |      22 |  3393861 |  2160522 |     2556   1881 |        0 |        0
1771.19/1771.75	c 1771s |      22 |  3397166 |  2162722 |     2556   1883 |        0 |        0
1773.19/1773.77	c 1773s |      22 |  3400025 |  2164822 |     2556   1884 |        0 |        0
1775.29/1775.83	c 1775s |      22 |  3402835 |  2166922 |     2556   1886 |        0 |        0
1777.39/1777.91	c 1777s |      22 |  3405734 |  2169122 |     2556   1887 |        0 |        0
1779.40/1779.93	c 1779s |      22 |  3408824 |  2171322 |     2556   1889 |        0 |        0
1781.49/1782.03	c 1782s |      22 |  3411639 |  2173422 |     2556   1891 |        0 |        0
1783.49/1784.07	c 1784s |      22 |  3414434 |  2175522 |     2556   1892 |        0 |        0
1785.59/1786.14	c 1786s |      22 |  3417109 |  2177522 |     2556   1893 |        0 |        0
1787.59/1788.16	c 1788s |      22 |  3419984 |  2179622 |     2556   1895 |        0 |        0
1789.69/1790.21	c 1790s |      22 |  3423212 |  2181822 |     2556   1897 |        0 |        0
1791.69/1792.24	c 1792s |      22 |  3426015 |  2184022 |     2556   1898 |        0 |        0
1793.69/1794.27	c 1794s |      22 |  3429655 |  2186222 |     2556   1900 |        0 |        0
1795.69/1796.28	c 1796s |      22 |  3432825 |  2188422 |     2556   1901 |        0 |        0
1797.78/1798.30	c 1798s |      22 |  3435224 |  2190322 |     2556   1903 |        0 |        0
1799.78/1800.33	c 1800s |      22 |  3438063 |  2192422 |     2556   1904 |        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-4078709-1465218496/watcher-4078709-1465218496 -o /tmp/evaluation-result-4078709-1465218496/solver-4078709-1465218496 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078709-1465218496.opb 

pid=13432
running on 4 cores: 1,3,5,7

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.34 2.26 2.27 3/179 13435
/proc/meminfo: memFree=29453044/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=656828 CPUtime=0 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 2434 0 0 0 0 0 0 0 20 0 4 0 103781935 672591872 3306 33554432000 4194304 16246674 140734680786912 140734680786336 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13435/statm: 164719 3316 441 2943 0 161613 0
[pid=13435/tid=13436] ppid=13432 vsize=679356 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 695660544 3397 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=684476 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 700903424 3416 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=688572 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103781935 705097728 3431 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.34 2.26 2.27 3/179 13435
/proc/meminfo: memFree=29453044/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 25561 0 0 0 5 4 0 0 20 0 4 0 103781935 1247350784 26422 33554432000 4194304 16246674 140734680786912 140734680786336 12478189 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13435/statm: 304529 26433 716 2943 0 301423 0
[pid=13435/tid=13436] ppid=13432 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1247350784 26444 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1247350784 26450 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103781935 1247350784 26454 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200532 s]
/proc/loadavg: 2.34 2.26 2.27 3/179 13435
/proc/meminfo: memFree=29453044/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 51305 0 0 0 11 8 0 0 20 0 4 0 103781935 1247350784 52166 33554432000 4194304 16246674 140734680786912 140734680768832 5677277 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13435/statm: 304529 52171 716 2943 0 301423 0
[pid=13435/tid=13436] ppid=13432 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1247350784 52173 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1247350784 52177 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103781935 1247350784 52180 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300493 s]
/proc/loadavg: 2.34 2.26 2.27 3/179 13435
/proc/meminfo: memFree=29453044/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 77921 0 0 0 18 11 0 0 20 0 4 0 103781935 1247350784 78783 33554432000 4194304 16246674 140734680786912 140734680768832 5721660 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13435/statm: 304529 78801 716 2943 0 301423 0
[pid=13435/tid=13436] ppid=13432 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1247350784 78811 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1247350784 78821 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103781935 1247350784 78830 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700415 s]
/proc/loadavg: 2.34 2.26 2.27 3/179 13435
/proc/meminfo: memFree=29453044/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 190909 0 0 0 43 26 0 0 20 0 4 0 103781935 1247350784 191771 33554432000 4194304 16246674 140734680786912 140734680768832 5546181 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13435/statm: 304529 191789 723 2943 0 301423 0
[pid=13435/tid=13436] ppid=13432 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1247350784 191799 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1247350784 191809 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103781935 1247350784 191818 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.34 2.26 2.27 3/183 13439
/proc/meminfo: memFree=28467432/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 256986 0 0 0 113 36 0 0 20 0 4 0 103781935 1336479744 257828 33554432000 4194304 16246674 140734680786912 140734680768832 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13435/statm: 326289 257837 792 2943 0 323183 0
[pid=13435/tid=13436] ppid=13432 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1336479744 257842 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1336479744 257851 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103781935 1336479744 257860 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10042 s]
/proc/loadavg: 2.34 2.26 2.27 3/183 13439
/proc/meminfo: memFree=28380516/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 267479 0 0 0 272 37 0 0 20 0 4 0 103781935 1337528320 268320 33554432000 4194304 16246674 140734680786912 140734680769904 5824912 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13435/statm: 326545 268320 793 2943 0 323439 0
[pid=13435/tid=13436] ppid=13432 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1337528320 268320 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1337528320 268320 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103781935 1337528320 268320 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30044 s]
/proc/loadavg: 2.39 2.27 2.27 3/183 13439
/proc/meminfo: memFree=28379052/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 267792 0 0 0 592 37 0 0 20 0 4 0 103781935 1338576896 268633 33554432000 4194304 16246674 140734680786912 140734680769904 5599974 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13435/statm: 326801 268633 793 2943 0 323695 0
[pid=13435/tid=13436] ppid=13432 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1338576896 268633 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1338576896 268633 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103781935 1338576896 268633 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.44 2.28 2.28 4/183 13439
/proc/meminfo: memFree=28378740/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 267829 0 0 0 1232 37 0 0 20 0 4 0 103781935 1338576896 268670 33554432000 4194304 16246674 140734680786912 140734680768832 5523416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13435/statm: 326801 268670 793 2943 0 323695 0
[pid=13435/tid=13436] ppid=13432 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1338576896 268670 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1338576896 268670 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103781935 1338576896 268670 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.34 2.27 2.27 4/183 13439
/proc/meminfo: memFree=28379592/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1307204 CPUtime=25.48 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 267829 0 0 0 2511 37 0 0 20 0 4 0 103781935 1338576896 268670 33554432000 4194304 16246674 140734680786912 140734680768832 5832508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13435/statm: 326801 268670 793 2943 0 323695 0
[pid=13435/tid=13436] ppid=13432 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1338576896 268670 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1338576896 268670 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103781935 1338576896 268670 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.28 2.26 2.27 4/183 13439
/proc/meminfo: memFree=28377464/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1308228 CPUtime=51.07 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 268082 0 0 0 5070 37 0 0 20 0 4 0 103781935 1339625472 268923 33554432000 4194304 16246674 140734680786912 140734680768832 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13435/statm: 327057 268923 793 2943 0 323951 0
[pid=13435/tid=13436] ppid=13432 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1339625472 268923 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1339625472 268923 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103781935 1339625472 268923 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 2.24 2.25 2.27 3/183 13489
/proc/meminfo: memFree=28374764/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1309252 CPUtime=102.27 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 268350 0 0 0 10189 38 0 0 20 0 4 0 103781935 1340674048 269185 33554432000 4194304 16246674 140734680786912 140734680768832 6042879 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13435/statm: 327313 269185 793 2943 0 324207 0
[pid=13435/tid=13436] ppid=13432 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1340674048 269185 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1340674048 269185 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103781935 1340674048 269185 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1309252


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

/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1316420

[startup+1302.3 s]
/proc/loadavg: 2.32 2.30 2.27 4/183 13617
/proc/meminfo: memFree=28294752/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1316420 CPUtime=1301.87 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 270506 0 0 0 130141 46 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 140734680768832 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13435/statm: 329105 270980 796 2943 0 325999 0
[pid=13435/tid=13436] ppid=13432 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1316420

[startup+1362.3 s]
/proc/loadavg: 2.17 2.26 2.26 4/184 13621
/proc/meminfo: memFree=28252796/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1316420 CPUtime=1361.85 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 270506 0 0 0 136139 46 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 140734680768832 6011884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13435/statm: 329105 270980 796 2943 0 325999 0
[pid=13435/tid=13436] ppid=13432 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1316420

[startup+1422.3 s]
/proc/loadavg: 2.21 2.25 2.26 6/183 13623
/proc/meminfo: memFree=28252444/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1316420 CPUtime=1421.85 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 270506 0 0 0 142138 47 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 140734680768832 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13435/statm: 329105 270980 796 2943 0 325999 0
[pid=13435/tid=13436] ppid=13432 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1316420

[startup+1482.3 s]
/proc/loadavg: 2.17 2.23 2.25 4/183 13624
/proc/meminfo: memFree=28252616/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1316420 CPUtime=1481.84 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 270506 0 0 0 148137 47 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 140734680768832 12483272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13435/statm: 329105 270980 796 2943 0 325999 0
[pid=13435/tid=13436] ppid=13432 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1316420

[startup+1542.31 s]
/proc/loadavg: 2.28 2.25 2.25 5/183 13625
/proc/meminfo: memFree=28252148/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1316420 CPUtime=1541.83 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 270506 0 0 0 154136 47 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 140734680768832 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13435/statm: 329105 270980 796 2943 0 325999 0
[pid=13435/tid=13436] ppid=13432 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1316420

[startup+1602.3 s]
/proc/loadavg: 2.18 2.23 2.25 4/183 13626
/proc/meminfo: memFree=28252120/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1316420 CPUtime=1601.81 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 270506 0 0 0 160134 47 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 140734680768832 12483326 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13435/statm: 329105 270980 796 2943 0 325999 0
[pid=13435/tid=13436] ppid=13432 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103781935 1348014080 270980 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1316420

[startup+1662.3 s]
/proc/loadavg: 2.35 2.28 2.26 4/183 13627
/proc/meminfo: memFree=28251544/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1317444 CPUtime=1661.81 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 270652 0 0 0 166133 48 0 0 20 0 4 0 103781935 1349062656 271126 33554432000 4194304 16246674 140734680786912 140734680768832 5523709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13435/statm: 329361 271126 796 2943 0 326255 0
[pid=13435/tid=13436] ppid=13432 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1349062656 271126 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1349062656 271126 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103781935 1349062656 271126 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.29 2.27 2.26 5/182 13628
/proc/meminfo: memFree=28250940/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1317444 CPUtime=1721.8 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 270762 0 0 0 172132 48 0 0 20 0 4 0 103781935 1349062656 271236 33554432000 4194304 16246674 140734680786912 140734680768832 5545776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13435/statm: 329361 271236 796 2943 0 326255 0
[pid=13435/tid=13436] ppid=13432 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1349062656 271236 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1349062656 271236 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103781935 1349062656 271236 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1317444

[startup+1782.3 s]
/proc/loadavg: 2.22 2.25 2.25 4/183 13630
/proc/meminfo: memFree=28250704/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1317444 CPUtime=1781.79 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 270762 0 0 0 178131 48 0 0 20 0 4 0 103781935 1349062656 271236 33554432000 4194304 16246674 140734680786912 140734680768832 5721394 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13435/statm: 329361 271236 796 2943 0 326255 0
[pid=13435/tid=13436] ppid=13432 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1349062656 271236 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1349062656 271236 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103781935 1349062656 271236 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.22 2.25 2.25 4/183 13630
/proc/meminfo: memFree=28250704/32872528 swapFree=16636/1570076
[pid=13435] ppid=13432 vsize=1317444 CPUtime=1800.08 cores=1,3,5,7
/proc/13435/stat : 13435 (toysat) R 13432 13435 13075 0 -1 4202496 270762 0 0 0 179960 48 0 0 20 0 4 0 103781935 1349062656 271236 33554432000 4194304 16246674 140734680786912 140734680768832 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13435/statm: 329361 271236 796 2943 0 326255 0
[pid=13435/tid=13436] ppid=13432 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13436/stat : 13436 (toysat) S 13432 13435 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103781935 1349062656 271236 33554432000 4194304 16246674 140734680786912 139677247974640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=13435/tid=13437] ppid=13432 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13437/stat : 13437 (toysat) S 13432 13435 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 103781935 1349062656 271236 33554432000 4194304 16246674 140734680786912 139677168282864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13435/tid=13438] ppid=13432 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13435/task/13438/stat : 13438 (toysat) S 13432 13435 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103781935 1349062656 271236 33554432000 4194304 16246674 140734680786912 139677157809328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1317444

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.61
CPU system time (s): 0.488925
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.488925
maximum resident set size= 1084944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270762
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= 383
involuntary context switches= 2091

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6183 second user time and 6.92595 second system time

The end

Begin job on node140 at 2016-06-06 15:08:16
IDJOB=4078709
IDBENCH=1165
IDSOLVER=2542
FILE ID=node140/4078709-1465218496
RUNJOBID= node140-1465216678-13092
PBS_JOBID= 19843199
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army11.17ls.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078709-1465218496/watcher-4078709-1465218496 -o /tmp/evaluation-result-4078709-1465218496/solver-4078709-1465218496 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078709-1465218496.opb

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

MD5SUM BENCH= e92d33933b84b1c0ca9ffa19c28f7edc
RANDOM SEED=579398238

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29453656 kB
Buffers:            4296 kB
Cached:            70732 kB
SwapCached:         1752 kB
Active:          1127388 kB
Inactive:          20252 kB
Active(anon):    1072084 kB
Inactive(anon):     2644 kB
Active(file):      55304 kB
Inactive(file):    17608 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67097908 kB
Dirty:             32940 kB
Writeback:             0 kB
AnonPages:       2647868 kB
Mapped:            10336 kB
Shmem:                 0 kB
Slab:             567088 kB
SReclaimable:      11024 kB
SUnreclaim:       556064 kB
KernelStack:        1520 kB
PageTables:         9356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2786520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1564672 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= 71708 MiB
End job on node140 at 2016-06-06 15:38:17