0.00/0.00	c 2016-06-19T01:41:44+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4109112-1466293304.opb"]
0.00/0.01	c use --random-gen="3701607501 2789797070 239478732 530303091 219976047 333782306 319402712 388963684 1582333631 1147959941 1470433281 1502291662 1711674037 3371065252 3076170262 9866197 2419838669 2805201715 2370552181 836810615 4113217102 1353357702 3738892701 980458620 904609709 623736598 3963433694 2367540578 304791181 804641222 996591347 744727636 1257003735 507699121 2646294100 1062484458 2318192274 568481287 2483521836 3017649492 1364868179 670314294 3639071505 3688700321 1367975676 2048513018 1573269440 2565752637 10093260 4212589213 152702696 2163806861 3461898794 2465166795 178617392 2218388431 1923724200 4052344461 3279000797 3583400596 3854319897 1370474533 2964822124 2751670981 1188177511 4244985593 338788358 210478321 847728159 2536120176 719735418 1444885123 627278706 2752186053 511748639 695259280 2406560589 3145758921 1238431177 3334597896 4169990356 3357145266 3527512515 4228417022 691668477 2080122631 122003014 4166105590 102171322 3996367060 3301683235 2904681042 443550960 1339748543 4153758093 304465810 2530180275 2421516704 4194720719 1434297553 649052543 1326204751 3961940965 990996847 4159357142 391768078 3135612778 60718182 1883778963 273442978 587504052 1934094654 596136632 1505145185 4037780791 1393064303 1686930313 2664764918 196726005 2417235685 2949460660 1119807254 2476888174 1273559423 1210782937 2015452966 2123776869 2608658886 3358158774 1343845374 3942291854 3711064446 3308212836 227324038 3738320091 3782633707 1098617842 2586844720 762539422 106213369 784876727 3923072721 3234039373 2815593907 2116898287 2884840644 1863508514 3917892346 3267941271 1354768270 337489667 3567951456 1201818861 2466874694 4066927499 1064092129 366344287 3618615695 2091730883 1834249710 3591252105 2503984159 2855238826 4151176227 2617223874 1119634418 2305631342 3502167407 582656218 1679068936 1345573789 3803075799 1859221399 193647148 1240680920 1236040690 4059171993 2915820564 2422970268 1427155039 3613762077 95760520 1114826528 207650885 3345912703 2514020649 3127030965 735243853 2567572790 1279083492 4153512786 472508907 2732882803 3831038773 3036895852 1745313645 518129996 1089037605 195595894 2055849882 3680367130 4057069546 1503659939 1775401289 1456374641 196950505 4203117783 433537177 2953656627 2505838580 212251950 3645050864 3719650668 3547580102 4018753703 3104098654 2969963945 3949564663 152746642 197473655 1953701399 3191478700 2261030028 3165161481 666121023 3557009916 1396132963 3241444213 760535410 446911764 937056083 466092800 95639861 268724724 1742767426 1077003602 2102448083 3390190386 3858792372 2672900012 1199460989 1114211621 2547592345 1102067104 3471809034 1839413754 2346642981 2145979502 785386189 2387467250 653367025 1515586589 4224091274 1946328968 2795947524 1825111899 255 362436" option to reproduce the execution
0.00/0.02	c #vars 352
0.00/0.02	c #constraints 433
0.00/0.04	c BCD2: Hardening is enabled.
0.00/0.04	c BCD2: BiasedSearch is enabled.
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      272      0 |        0 |        0
0.00/0.07	c  0.0s |       1 |      160 |      100 |      272      0 |        0 |        0
0.09/0.11	c  0.1s |       2 |     2126 |      250 |      300      0 |        0 |        0
0.09/0.18	c  0.1s |       3 |     2486 |      475 |      330      1 |        0 |        0
0.29/0.30	c  0.3s |       4 |     3391 |      813 |      364      1 |        0 |        0
0.39/0.48	c  0.4s |       5 |     4108 |     1320 |      401      3 |        0 |        0
0.69/0.75	c  0.7s |       6 |     6342 |     2081 |      487      5 |        0 |        0
1.10/1.18	c  1.1s |       7 |     7590 |     3223 |      536      9 |        0 |        0
1.69/1.70	c  1.7s |       8 |    11709 |     4936 |      590     13 |        0 |        0
2.30/2.36	c  2.3s |       9 |    14464 |     7506 |      649     20 |        0 |        0
3.49/3.50	c  3.5s |      10 |    19710 |    11361 |      714     29 |        0 |        0
5.39/5.49	c  5.5s |      11 |    26857 |    17144 |      786     42 |        0 |        0
7.49/7.50	c  7.5s |      11 |    39500 |    24944 |      786     58 |        0 |        0
7.80/7.84	c  7.8s |      12 |    40483 |    25819 |      865     59 |        0 |        0
9.79/9.86	c  9.8s |      12 |    53735 |    33419 |      865     73 |        0 |        0
11.29/11.32	c 11.3s |      13 |    59883 |    38832 |      952     83 |        0 |        0
13.30/13.34	c 13.3s |      13 |    66596 |    45232 |      952     95 |        0 |        0
15.29/15.38	c 15.3s |      13 |    73706 |    51732 |      952    107 |        0 |        0
17.29/17.39	c 17.4s |      13 |    80536 |    56532 |      952    115 |        0 |        0
18.09/18.17	c 18.1s |      14 |    83182 |    58352 |     1048    118 |        0 |        0
20.09/20.18	c 20.1s |      14 |    92647 |    65452 |     1048    129 |        0 |        0
22.09/22.19	c 22.2s |      14 |   101211 |    73152 |     1048    141 |        0 |        0
24.09/24.20	c 24.2s |      14 |   112660 |    79852 |     1048    152 |        0 |        0
26.19/26.22	c 26.2s |      14 |   121518 |    86452 |     1048    163 |        0 |        0
26.49/26.52	c 26.5s |      15 |   123280 |    87632 |     1153    164 |        0 |        0
28.48/28.53	c 28.5s |      15 |   130674 |    94532 |     1153    175 |        0 |        0
30.48/30.54	c 30.5s |      15 |   136825 |   100132 |     1153    184 |        0 |        0
32.48/32.58	c 32.5s |      15 |   141226 |   104132 |     1153    190 |        0 |        0
34.48/34.58	c 34.5s |      15 |   146509 |   109032 |     1153    197 |        0 |        0
36.58/36.61	c 36.6s |      15 |   151740 |   113832 |     1153    204 |        0 |        0
38.59/38.64	c 38.6s |      15 |   156937 |   118632 |     1153    212 |        0 |        0
40.58/40.65	c 40.6s |      15 |   163129 |   123432 |     1153    219 |        0 |        0
42.58/42.66	c 42.6s |      15 |   167224 |   127232 |     1153    225 |        0 |        0
44.58/44.68	c 44.6s |      15 |   171467 |   131132 |     1269    231 |        0 |        0
44.78/44.84	c 44.8s |      16 |   171899 |   131552 |     1269    231 |        0 |        0
46.78/46.87	c 46.8s |      16 |   179604 |   136852 |     1269    238 |        0 |        0
48.88/48.90	c 48.9s |      16 |   184009 |   140152 |     1269    243 |        0 |        0
50.88/50.92	c 50.9s |      16 |   188726 |   143552 |     1269    247 |        0 |        0
52.89/52.94	c 52.9s |      16 |   200163 |   150352 |     1269    256 |        0 |        0
54.89/54.95	c 54.9s |      16 |   208236 |   157352 |     1269    266 |        0 |        0
56.89/56.95	c 56.9s |      16 |   216994 |   165352 |     1269    276 |        0 |        0
58.89/58.95	c 58.9s |      16 |   225731 |   171852 |     1269    285 |        0 |        0
60.88/60.96	c 60.9s |      16 |   235805 |   178352 |     1269    294 |        0 |        0
62.88/62.99	c 63.0s |      16 |   243561 |   184852 |     1269    302 |        0 |        0
64.89/65.00	c 65.0s |      16 |   249628 |   189852 |     1269    309 |        0 |        0
66.78/66.80	c 66.8s |      17 |   261076 |   197432 |     1396    319 |        0 |        0
68.78/68.82	c 68.8s |      17 |   268195 |   202832 |     1396    326 |        0 |        0
70.78/70.84	c 70.8s |      17 |   276204 |   209532 |     1396    335 |        0 |        0
72.78/72.84	c 72.8s |      17 |   282054 |   215032 |     1396    342 |        0 |        0
74.79/74.88	c 74.8s |      17 |   288180 |   220232 |     1396    349 |        0 |        0
76.78/76.88	c 76.8s |      17 |   294369 |   224932 |     1396    355 |        0 |        0
78.78/78.88	c 78.8s |      17 |   298728 |   228132 |     1396    359 |        0 |        0
80.78/80.89	c 80.9s |      17 |   302786 |   231332 |     1396    363 |        0 |        0
82.88/82.91	c 82.9s |      17 |   306567 |   234332 |     1396    367 |        0 |        0
84.88/84.93	c 84.9s |      17 |   312787 |   238832 |     1396    372 |        0 |        0
86.89/86.93	c 86.9s |      17 |   317561 |   242532 |     1396    377 |        0 |        0
88.88/88.99	c 89.0s |      17 |   322929 |   246332 |     1396    382 |        0 |        0
90.98/91.01	c 91.0s |      17 |   329835 |   251132 |     1396    388 |        0 |        0
92.98/93.01	c 93.0s |      17 |   336562 |   255932 |     1396    395 |        0 |        0
94.98/95.03	c 95.0s |      17 |   342927 |   260732 |     1396    401 |        0 |        0
96.98/97.04	c 97.0s |      17 |   349162 |   265332 |     1396    407 |        0 |        0
98.98/99.06	c 99.0s |      17 |   355620 |   270032 |     1396    413 |        0 |        0
100.98/101.09	c  101s |      17 |   362139 |   274732 |     1396    419 |        0 |        0
103.08/103.11	c  103s |      17 |   369470 |   279532 |     1396    425 |        0 |        0
105.07/105.14	c  105s |      17 |   375743 |   284232 |     1396    431 |        0 |        0
107.07/107.16	c  107s |      17 |   382231 |   288732 |     1396    437 |        0 |        0
109.07/109.18	c  109s |      17 |   390727 |   294832 |     1536    445 |        0 |        0
109.57/109.68	c  109s |      18 |   392675 |   296252 |     1536    446 |        0 |        0
111.67/111.71	c  111s |      18 |   400582 |   302752 |     1536    453 |        0 |        0
113.67/113.74	c  113s |      18 |   406515 |   308652 |     1536    460 |        0 |        0
115.67/115.75	c  115s |      18 |   412338 |   314452 |     1536    466 |        0 |        0
117.68/117.78	c  117s |      18 |   418157 |   320252 |     1536    473 |        0 |        0
119.78/119.80	c  119s |      18 |   423979 |   326052 |     1536    479 |        0 |        0
121.78/121.82	c  121s |      18 |   429708 |   331752 |     1536    486 |        0 |        0
123.78/123.83	c  123s |      18 |   435910 |   337852 |     1536    493 |        0 |        0
125.77/125.86	c  125s |      18 |   441854 |   343052 |     1536    498 |        0 |        0
127.87/127.92	c  127s |      18 |   444631 |   345352 |     1536    501 |        0 |        0
129.97/130.03	c  129s |      18 |   447181 |   347552 |     1536    504 |        0 |        0
131.98/132.04	c  132s |      18 |   449721 |   349752 |     1536    506 |        0 |        0
134.07/134.15	c  134s |      18 |   452083 |   351952 |     1536    509 |        0 |        0
136.17/136.20	c  136s |      18 |   454359 |   354052 |     1536    511 |        0 |        0
138.17/138.25	c  138s |      18 |   456651 |   356152 |     1536    513 |        0 |        0
140.17/140.29	c  140s |      18 |   458697 |   358052 |     1536    515 |        0 |        0
142.27/142.32	c  142s |      18 |   461022 |   360152 |     1536    518 |        0 |        0
144.37/144.41	c  144s |      18 |   463161 |   362152 |     1536    520 |        0 |        0
146.37/146.43	c  146s |      18 |   465582 |   364152 |     1536    522 |        0 |        0
148.37/148.49	c  148s |      18 |   467940 |   366252 |     1536    525 |        0 |        0
150.47/150.50	c  150s |      18 |   470488 |   368352 |     1536    527 |        0 |        0
152.56/152.60	c  152s |      18 |   472692 |   370352 |     1536    529 |        0 |        0
154.56/154.67	c  154s |      18 |   475258 |   372452 |     1536    532 |        0 |        0
156.56/156.67	c  156s |      18 |   477650 |   374452 |     1536    534 |        0 |        0
158.56/158.69	c  158s |      18 |   479854 |   376352 |     1536    536 |        0 |        0
160.76/160.80	c  160s |      18 |   482071 |   378352 |     1536    539 |        0 |        0
162.77/162.87	c  162s |      18 |   484592 |   380452 |     1536    541 |        0 |        0
164.76/164.87	c  164s |      18 |   486690 |   382352 |     1536    543 |        0 |        0
166.86/166.91	c  166s |      18 |   488999 |   384252 |     1536    545 |        0 |        0
168.96/169.03	c  168s |      18 |   491322 |   386352 |     1536    548 |        0 |        0
170.96/171.04	c  171s |      18 |   493414 |   388252 |     1536    550 |        0 |        0
172.96/173.04	c  173s |      18 |   495217 |   389952 |     1536    552 |        0 |        0
174.97/175.04	c  175s |      18 |   497344 |   391852 |     1536    554 |        0 |        0
176.96/177.10	c  177s |      18 |   499774 |   393952 |     1536    556 |        0 |        0
179.06/179.15	c  179s |      18 |   501788 |   395852 |     1536    558 |        0 |        0
181.16/181.21	c  181s |      18 |   503837 |   397752 |     1536    561 |        0 |        0
183.16/183.26	c  183s |      18 |   505802 |   399552 |     1536    563 |        0 |        0
185.16/185.28	c  185s |      18 |   507640 |   401252 |     1536    565 |        0 |        0
187.26/187.31	c  187s |      18 |   509475 |   402952 |     1536    566 |        0 |        0
189.26/189.32	c  189s |      18 |   511318 |   404652 |     1536    568 |        0 |        0
191.26/191.37	c  191s |      18 |   513383 |   406552 |     1536    571 |        0 |        0
193.36/193.41	c  193s |      18 |   515490 |   408452 |     1536    573 |        0 |        0
195.36/195.48	c  195s |      18 |   517470 |   410252 |     1536    575 |        0 |        0
197.47/197.56	c  197s |      18 |   519509 |   412052 |     1536    577 |        0 |        0
199.56/199.60	c  199s |      18 |   521855 |   413952 |     1536    579 |        0 |        0
201.66/201.70	c  201s |      18 |   524228 |   416052 |     1536    581 |        0 |        0
203.76/203.81	c  203s |      18 |   526536 |   418052 |     1536    584 |        0 |        0
205.86/205.91	c  205s |      18 |   528616 |   419952 |     1536    586 |        0 |        0
207.97/208.01	c  207s |      18 |   530731 |   421852 |     1536    588 |        0 |        0
209.96/210.09	c  210s |      18 |   533162 |   423752 |     1536    590 |        0 |        0
212.06/212.12	c  212s |      18 |   535365 |   425652 |     1536    592 |        0 |        0
214.06/214.16	c  214s |      18 |   537437 |   427452 |     1536    594 |        0 |        0
216.16/216.20	c  216s |      18 |   541082 |   430152 |     1536    597 |        0 |        0
218.16/218.21	c  218s |      18 |   546627 |   435052 |     1536    603 |        0 |        0
220.16/220.26	c  220s |      18 |   551824 |   439752 |     1536    608 |        0 |        0
222.17/222.30	c  222s |      18 |   553930 |   441652 |     1690    610 |        0 |        0
224.26/224.40	c  224s |      18 |   556201 |   443652 |     1690    612 |        0 |        0
225.26/225.32	c  225s |      19 |   557142 |   444482 |     1690    613 |        0 |        0
227.26/227.32	c  227s |      19 |   566635 |   451882 |     1690    621 |        0 |        0
229.26/229.36	c  229s |      19 |   573815 |   458582 |     1690    628 |        0 |        0
231.26/231.38	c  231s |      19 |   580486 |   464882 |     1690    635 |        0 |        0
233.36/233.40	c  233s |      19 |   586900 |   470982 |     1690    641 |        0 |        0
235.36/235.42	c  235s |      19 |   594097 |   477782 |     1690    648 |        0 |        0
237.36/237.44	c  237s |      19 |   601276 |   484482 |     1690    655 |        0 |        0
239.36/239.48	c  239s |      19 |   609311 |   491382 |     1690    663 |        0 |        0
241.46/241.50	c  241s |      19 |   617434 |   498182 |     1690    670 |        0 |        0
243.46/243.53	c  243s |      19 |   623477 |   504182 |     1690    676 |        0 |        0
245.45/245.53	c  245s |      19 |   629418 |   509982 |     1690    682 |        0 |        0
247.46/247.54	c  247s |      19 |   637716 |   516682 |     1690    689 |        0 |        0
249.45/249.56	c  249s |      19 |   645924 |   523382 |     1690    696 |        0 |        0
251.45/251.59	c  251s |      19 |   651854 |   529282 |     1690    702 |        0 |        0
253.55/253.62	c  253s |      19 |   657395 |   534782 |     1690    708 |        0 |        0
255.55/255.63	c  255s |      19 |   663058 |   540382 |     1690    713 |        0 |        0
257.55/257.65	c  257s |      19 |   669386 |   546382 |     1690    720 |        0 |        0
259.56/259.66	c  259s |      19 |   676901 |   553382 |     1690    727 |        0 |        0
261.55/261.68	c  261s |      19 |   683867 |   559682 |     1690    733 |        0 |        0
263.55/263.68	c  263s |      19 |   690602 |   566282 |     1690    740 |        0 |        0
265.65/265.72	c  265s |      19 |   697636 |   573182 |     1690    748 |        0 |        0
267.65/267.73	c  267s |      19 |   704438 |   579882 |     1690    755 |        0 |        0
269.65/269.73	c  269s |      19 |   712612 |   587782 |     1690    763 |        0 |        0
271.66/271.75	c  271s |      19 |   720753 |   595782 |     1690    771 |        0 |        0
273.65/273.76	c  273s |      19 |   728489 |   603382 |     1690    779 |        0 |        0
275.75/275.81	c  275s |      19 |   733188 |   606782 |     1690    783 |        0 |        0
277.74/277.85	c  277s |      19 |   736118 |   609182 |     1690    785 |        0 |        0
279.74/279.86	c  279s |      19 |   739649 |   611882 |     1690    788 |        0 |        0
281.84/281.91	c  281s |      19 |   742834 |   614182 |     1690    790 |        0 |        0
283.85/283.94	c  283s |      19 |   745962 |   616482 |     1690    793 |        0 |        0
285.84/285.96	c  285s |      19 |   749189 |   618682 |     1690    795 |        0 |        0
287.94/288.01	c  287s |      19 |   755724 |   623782 |     1690    800 |        0 |        0
289.94/290.05	c  290s |      19 |   759262 |   626582 |     1690    803 |        0 |        0
291.94/292.08	c  292s |      19 |   763047 |   629282 |     1690    806 |        0 |        0
294.04/294.19	c  294s |      19 |   765668 |   631282 |     1690    808 |        0 |        0
296.15/296.21	c  296s |      19 |   768295 |   633282 |     1690    810 |        0 |        0
298.25/298.33	c  298s |      19 |   770919 |   635182 |     1690    812 |        0 |        0
300.26/300.35	c  300s |      19 |   773697 |   637282 |     1690    814 |        0 |        0
302.35/302.41	c  302s |      19 |   776633 |   639382 |     1690    817 |        0 |        0
304.35/304.43	c  304s |      19 |   779083 |   641282 |     1690    819 |        0 |        0
306.35/306.47	c  306s |      19 |   781977 |   643482 |     1690    821 |        0 |        0
308.35/308.48	c  308s |      19 |   785758 |   646082 |     1690    824 |        0 |        0
310.35/310.48	c  310s |      19 |   794881 |   652282 |     1690    830 |        0 |        0
312.35/312.50	c  312s |      19 |   801490 |   658482 |     1690    836 |        0 |        0
314.45/314.50	c  314s |      19 |   810496 |   665982 |     1860    844 |        0 |        0
314.65/314.73	c  314s |      20 |   811414 |   666827 |     1860    845 |        0 |        0
316.65/316.75	c  316s |      20 |   818270 |   672727 |     1860    851 |        0 |        0
318.65/318.77	c  318s |      20 |   823668 |   677327 |     1860    855 |        0 |        0
320.75/320.80	c  320s |      20 |   828792 |   682027 |     1860    860 |        0 |        0
322.75/322.85	c  322s |      20 |   834011 |   686927 |     1860    865 |        0 |        0
324.75/324.87	c  324s |      20 |   840070 |   692527 |     1860    870 |        0 |        0
326.75/326.89	c  326s |      20 |   846830 |   698627 |     1860    876 |        0 |        0
328.85/328.92	c  328s |      20 |   851295 |   703027 |     1860    881 |        0 |        0
330.84/330.94	c  330s |      20 |   857011 |   708427 |     1860    886 |        0 |        0
332.84/332.95	c  332s |      20 |   860256 |   711427 |     1860    889 |        0 |        0
334.84/334.98	c  334s |      20 |   864140 |   714827 |     1860    892 |        0 |        0
336.94/337.06	c  337s |      20 |   867882 |   718227 |     1860    896 |        0 |        0
338.94/339.06	c  339s |      20 |   872808 |   722427 |     1860    900 |        0 |        0
340.95/341.08	c  341s |      20 |   880985 |   729427 |     1860    907 |        0 |        0
343.04/343.11	c  343s |      20 |   888192 |   736227 |     1860    913 |        0 |        0
345.04/345.12	c  345s |      20 |   894305 |   741727 |     1860    919 |        0 |        0
347.04/347.13	c  347s |      20 |   900283 |   747227 |     1860    924 |        0 |        0
349.04/349.16	c  349s |      20 |   907170 |   753027 |     1860    930 |        0 |        0
351.14/351.20	c  351s |      20 |   912918 |   757927 |     1860    935 |        0 |        0
353.14/353.23	c  353s |      20 |   918078 |   762427 |     1860    940 |        0 |        0
355.14/355.23	c  355s |      20 |   923305 |   767127 |     1860    944 |        0 |        0
357.14/357.26	c  357s |      20 |   928032 |   771327 |     1860    948 |        0 |        0
359.14/359.27	c  359s |      20 |   932703 |   775427 |     1860    952 |        0 |        0
361.14/361.27	c  361s |      20 |   937355 |   779427 |     1860    956 |        0 |        0
363.23/363.31	c  363s |      20 |   943920 |   785127 |     1860    962 |        0 |        0
365.24/365.34	c  365s |      20 |   949406 |   789927 |     1860    967 |        0 |        0
367.23/367.34	c  367s |      20 |   955274 |   795127 |     1860    972 |        0 |        0
369.23/369.35	c  369s |      20 |   962029 |   800527 |     1860    977 |        0 |        0
371.23/371.37	c  371s |      20 |   967733 |   804927 |     1860    982 |        0 |        0
373.23/373.37	c  373s |      20 |   975010 |   810827 |     1860    987 |        0 |        0
375.33/375.45	c  375s |      20 |   980395 |   814927 |     1860    992 |        0 |        0
377.34/377.46	c  377s |      20 |   985085 |   818627 |     1860    995 |        0 |        0
379.33/379.48	c  379s |      20 |   990155 |   822627 |     1860    999 |        0 |        0
381.33/381.49	c  381s |      20 |   995466 |   826527 |     1860   1003 |        0 |        0
383.43/383.50	c  383s |      20 |  1000284 |   830327 |     1860   1007 |        0 |        0
385.43/385.51	c  385s |      20 |  1005674 |   834227 |     1860   1011 |        0 |        0
387.43/387.52	c  387s |      20 |  1010572 |   837927 |     1860   1014 |        0 |        0
389.43/389.55	c  389s |      20 |  1015938 |   842127 |     1860   1018 |        0 |        0
391.44/391.56	c  391s |      20 |  1020291 |   845827 |     1860   1022 |        0 |        0
393.54/393.61	c  393s |      20 |  1025636 |   849727 |     1860   1026 |        0 |        0
395.53/395.68	c  395s |      20 |  1030257 |   853027 |     1860   1029 |        0 |        0
397.53/397.69	c  397s |      20 |  1034090 |   856327 |     1860   1032 |        0 |        0
399.63/399.71	c  399s |      20 |  1040570 |   861327 |     1860   1037 |        0 |        0
401.63/401.75	c  401s |      20 |  1045559 |   865027 |     1860   1041 |        0 |        0
403.64/403.76	c  403s |      20 |  1050085 |   868527 |     1860   1044 |        0 |        0
405.63/405.78	c  405s |      20 |  1055251 |   872127 |     1860   1048 |        0 |        0
407.73/407.82	c  407s |      20 |  1059973 |   875827 |     1860   1051 |        0 |        0
409.73/409.84	c  409s |      20 |  1063021 |   878327 |     1860   1054 |        0 |        0
411.73/411.86	c  411s |      20 |  1068485 |   881827 |     1860   1057 |        0 |        0
413.73/413.86	c  413s |      20 |  1072388 |   884627 |     1860   1060 |        0 |        0
415.74/415.90	c  415s |      20 |  1075451 |   887427 |     1860   1062 |        0 |        0
417.83/417.91	c  417s |      20 |  1078687 |   890027 |     1860   1065 |        0 |        0
419.83/419.92	c  419s |      20 |  1082619 |   893027 |     1860   1068 |        0 |        0
421.83/421.92	c  421s |      20 |  1086822 |   896127 |     1860   1070 |        0 |        0
423.83/423.95	c  423s |      20 |  1090926 |   899227 |     1860   1073 |        0 |        0
425.83/425.99	c  425s |      20 |  1098389 |   904827 |     1860   1079 |        0 |        0
427.93/428.01	c  427s |      20 |  1103891 |   908827 |     1860   1083 |        0 |        0
429.93/430.04	c  430s |      20 |  1108671 |   912427 |     1860   1087 |        0 |        0
431.93/432.08	c  432s |      20 |  1113567 |   916027 |     1860   1090 |        0 |        0
433.93/434.08	c  434s |      20 |  1118279 |   919527 |     1860   1094 |        0 |        0
436.03/436.12	c  436s |      20 |  1123514 |   923427 |     1860   1098 |        0 |        0
438.03/438.12	c  438s |      20 |  1128182 |   926627 |     1860   1101 |        0 |        0
440.13/440.20	c  440s |      20 |  1132282 |   929227 |     1860   1103 |        0 |        0
442.13/442.21	c  442s |      20 |  1136078 |   931527 |     1860   1105 |        0 |        0
444.12/444.28	c  444s |      20 |  1139240 |   933827 |     1860   1107 |        0 |        0
446.22/446.31	c  446s |      20 |  1143514 |   937027 |     1860   1111 |        0 |        0
448.22/448.34	c  448s |      20 |  1149272 |   940527 |     1860   1114 |        0 |        0
450.32/450.41	c  450s |      20 |  1151987 |   942627 |     1860   1116 |        0 |        0
452.32/452.42	c  452s |      20 |  1156899 |   945727 |     1860   1119 |        0 |        0
454.33/454.47	c  454s |      20 |  1159547 |   947727 |     1860   1121 |        0 |        0
456.43/456.56	c  456s |      20 |  1162837 |   949727 |     1860   1123 |        0 |        0
458.52/458.61	c  458s |      20 |  1167720 |   952927 |     1860   1126 |        0 |        0
460.52/460.62	c  460s |      20 |  1173825 |   957127 |     1860   1130 |        0 |        0
462.52/462.63	c  462s |      20 |  1178053 |   959927 |     1860   1133 |        0 |        0
464.52/464.64	c  464s |      20 |  1180835 |   962127 |     1860   1135 |        0 |        0
466.62/466.70	c  466s |      20 |  1183859 |   964727 |     1860   1138 |        0 |        0
468.62/468.74	c  468s |      20 |  1188443 |   968227 |     1860   1141 |        0 |        0
470.62/470.75	c  470s |      20 |  1193699 |   972127 |     1860   1145 |        0 |        0
472.62/472.77	c  472s |      20 |  1197246 |   975127 |     1860   1147 |        0 |        0
474.72/474.82	c  474s |      20 |  1200201 |   977827 |     1860   1150 |        0 |        0
476.71/476.85	c  476s |      20 |  1203915 |   980827 |     1860   1153 |        0 |        0
478.71/478.86	c  478s |      20 |  1209104 |   985127 |     1860   1157 |        0 |        0
480.81/480.92	c  480s |      20 |  1214063 |   988727 |     1860   1161 |        0 |        0
482.82/482.96	c  482s |      20 |  1218933 |   992127 |     1860   1164 |        0 |        0
484.81/484.97	c  484s |      20 |  1223039 |   995127 |     2047   1166 |        0 |        0
486.92/487.02	c  486s |      20 |  1227498 |   998627 |     2047   1170 |        0 |        0
487.92/488.07	c  488s |      21 |  1229413 |  1000345 |     2047   1171 |        0 |        0
489.92/490.08	c  490s |      21 |  1238332 |  1007445 |     2047   1177 |        0 |        0
492.02/492.10	c  492s |      21 |  1248398 |  1013945 |     2047   1183 |        0 |        0
494.02/494.13	c  494s |      21 |  1256281 |  1021245 |     2047   1190 |        0 |        0
496.03/496.13	c  496s |      21 |  1264800 |  1027745 |     2047   1195 |        0 |        0
498.02/498.14	c  498s |      21 |  1272822 |  1034045 |     2047   1201 |        0 |        0
500.02/500.15	c  500s |      21 |  1276673 |  1037145 |     2047   1204 |        0 |        0
502.02/502.15	c  502s |      21 |  1284716 |  1044145 |     2047   1210 |        0 |        0
504.02/504.17	c  504s |      21 |  1293354 |  1052145 |     2047   1217 |        0 |        0
506.02/506.18	c  506s |      21 |  1302270 |  1058345 |     2047   1222 |        0 |        0
508.02/508.20	c  508s |      21 |  1309387 |  1064645 |     2047   1228 |        0 |        0
510.12/510.23	c  510s |      21 |  1317648 |  1071245 |     2047   1234 |        0 |        0
512.12/512.24	c  512s |      21 |  1331758 |  1078045 |     2047   1240 |        0 |        0
514.11/514.24	c  514s |      21 |  1339305 |  1083545 |     2047   1245 |        0 |        0
516.11/516.27	c  516s |      21 |  1348058 |  1090345 |     2047   1251 |        0 |        0
518.12/518.28	c  518s |      21 |  1355241 |  1095945 |     2047   1256 |        0 |        0
520.11/520.28	c  520s |      21 |  1363088 |  1102445 |     2047   1261 |        0 |        0
522.21/522.32	c  522s |      21 |  1372440 |  1109545 |     2047   1268 |        0 |        0
524.21/524.33	c  524s |      21 |  1382088 |  1116245 |     2047   1274 |        0 |        0
526.21/526.37	c  526s |      21 |  1391950 |  1122845 |     2047   1279 |        0 |        0
528.21/528.37	c  528s |      21 |  1399223 |  1127445 |     2047   1284 |        0 |        0
530.31/530.40	c  530s |      21 |  1408573 |  1133445 |     2047   1289 |        0 |        0
532.32/532.41	c  532s |      21 |  1417046 |  1139345 |     2047   1294 |        0 |        0
534.31/534.42	c  534s |      21 |  1424416 |  1144445 |     2047   1299 |        0 |        0
536.31/536.43	c  536s |      21 |  1434413 |  1150745 |     2047   1304 |        0 |        0
538.41/538.52	c  538s |      21 |  1442178 |  1155145 |     2047   1308 |        0 |        0
540.41/540.58	c  540s |      21 |  1444378 |  1157145 |     2047   1310 |        0 |        0
542.51/542.67	c  542s |      21 |  1446389 |  1159045 |     2047   1311 |        0 |        0
544.51/544.69	c  544s |      21 |  1448422 |  1160845 |     2047   1313 |        0 |        0
546.61/546.74	c  546s |      21 |  1450273 |  1162645 |     2047   1314 |        0 |        0
548.60/548.77	c  548s |      21 |  1456429 |  1167045 |     2047   1318 |        0 |        0
550.60/550.78	c  550s |      21 |  1465120 |  1173445 |     2047   1324 |        0 |        0
552.60/552.79	c  552s |      21 |  1472607 |  1178845 |     2047   1329 |        0 |        0
554.70/554.80	c  554s |      21 |  1483276 |  1184945 |     2047   1334 |        0 |        0
556.70/556.81	c  556s |      21 |  1491698 |  1190545 |     2047   1339 |        0 |        0
558.71/558.82	c  558s |      21 |  1496287 |  1194045 |     2047   1342 |        0 |        0
560.70/560.84	c  560s |      21 |  1506890 |  1200345 |     2047   1348 |        0 |        0
562.70/562.85	c  562s |      21 |  1514759 |  1207345 |     2047   1354 |        0 |        0
564.71/564.89	c  564s |      21 |  1522316 |  1214745 |     2047   1361 |        0 |        0
566.81/566.90	c  566s |      21 |  1529448 |  1221045 |     2047   1366 |        0 |        0
568.81/568.93	c  568s |      21 |  1536057 |  1225045 |     2047   1370 |        0 |        0
570.82/570.95	c  570s |      21 |  1542497 |  1230745 |     2047   1375 |        0 |        0
572.81/572.97	c  572s |      21 |  1549582 |  1235745 |     2047   1379 |        0 |        0
574.81/574.97	c  574s |      21 |  1556614 |  1240945 |     2047   1384 |        0 |        0
576.91/577.01	c  576s |      21 |  1563202 |  1246245 |     2047   1388 |        0 |        0
578.91/579.03	c  578s |      21 |  1567936 |  1250645 |     2047   1392 |        0 |        0
580.91/581.03	c  580s |      21 |  1574746 |  1256245 |     2047   1397 |        0 |        0
582.91/583.04	c  583s |      21 |  1582806 |  1262445 |     2047   1403 |        0 |        0
584.91/585.05	c  585s |      21 |  1591578 |  1268745 |     2047   1408 |        0 |        0
586.90/587.05	c  587s |      21 |  1601004 |  1274045 |     2047   1413 |        0 |        0
588.90/589.05	c  589s |      21 |  1612158 |  1280345 |     2047   1419 |        0 |        0
590.90/591.06	c  591s |      21 |  1620047 |  1286345 |     2047   1424 |        0 |        0
593.00/593.10	c  593s |      21 |  1625532 |  1291345 |     2047   1428 |        0 |        0
595.01/595.10	c  595s |      21 |  1631307 |  1296845 |     2047   1433 |        0 |        0
597.00/597.12	c  597s |      21 |  1636497 |  1301545 |     2047   1437 |        0 |        0
599.00/599.14	c  599s |      21 |  1642204 |  1306745 |     2047   1442 |        0 |        0
601.00/601.14	c  601s |      21 |  1648115 |  1312245 |     2047   1447 |        0 |        0
603.00/603.15	c  603s |      21 |  1654137 |  1317945 |     2047   1452 |        0 |        0
605.00/605.17	c  605s |      21 |  1659930 |  1323245 |     2047   1456 |        0 |        0
607.10/607.27	c  607s |      21 |  1662511 |  1325545 |     2047   1458 |        0 |        0
609.20/609.30	c  609s |      21 |  1664461 |  1327345 |     2047   1460 |        0 |        0
611.20/611.33	c  611s |      21 |  1666157 |  1328945 |     2047   1461 |        0 |        0
613.30/613.40	c  613s |      21 |  1667958 |  1330645 |     2047   1463 |        0 |        0
615.30/615.46	c  615s |      21 |  1669658 |  1332245 |     2047   1464 |        0 |        0
617.40/617.57	c  617s |      21 |  1671425 |  1333945 |     2047   1466 |        0 |        0
619.49/619.63	c  619s |      21 |  1673166 |  1335645 |     2047   1467 |        0 |        0
621.50/621.66	c  621s |      21 |  1674840 |  1337245 |     2047   1469 |        0 |        0
623.49/623.70	c  623s |      21 |  1676519 |  1338845 |     2047   1470 |        0 |        0
625.69/625.80	c  625s |      21 |  1678321 |  1340445 |     2047   1471 |        0 |        0
627.69/627.82	c  627s |      21 |  1680009 |  1342045 |     2047   1473 |        0 |        0
629.69/629.89	c  629s |      21 |  1681701 |  1343645 |     2047   1474 |        0 |        0
631.79/631.98	c  631s |      21 |  1683360 |  1345245 |     2047   1476 |        0 |        0
633.89/634.10	c  634s |      21 |  1685030 |  1346845 |     2047   1477 |        0 |        0
635.99/636.12	c  636s |      21 |  1686707 |  1348445 |     2047   1478 |        0 |        0
638.09/638.21	c  638s |      21 |  1688314 |  1349945 |     2047   1480 |        0 |        0
640.10/640.22	c  640s |      21 |  1692883 |  1353045 |     2047   1482 |        0 |        0
642.09/642.24	c  642s |      21 |  1699225 |  1358645 |     2047   1487 |        0 |        0
644.09/644.24	c  644s |      21 |  1706977 |  1364345 |     2047   1492 |        0 |        0
646.09/646.25	c  646s |      21 |  1713340 |  1369545 |     2047   1497 |        0 |        0
648.09/648.28	c  648s |      21 |  1719079 |  1374445 |     2047   1501 |        0 |        0
650.10/650.28	c  650s |      21 |  1725240 |  1380245 |     2047   1506 |        0 |        0
652.19/652.31	c  652s |      21 |  1731082 |  1385645 |     2047   1511 |        0 |        0
654.19/654.31	c  654s |      21 |  1736963 |  1391245 |     2047   1516 |        0 |        0
656.20/656.37	c  656s |      21 |  1742574 |  1396345 |     2047   1521 |        0 |        0
658.19/658.39	c  658s |      21 |  1748366 |  1401645 |     2047   1525 |        0 |        0
660.29/660.41	c  660s |      21 |  1755512 |  1407845 |     2047   1531 |        0 |        0
662.29/662.43	c  662s |      21 |  1761819 |  1413145 |     2047   1535 |        0 |        0
664.30/664.46	c  664s |      21 |  1767171 |  1417945 |     2047   1539 |        0 |        0
666.29/666.49	c  666s |      21 |  1772749 |  1422645 |     2047   1543 |        0 |        0
668.39/668.50	c  668s |      21 |  1777876 |  1427145 |     2047   1547 |        0 |        0
670.39/670.52	c  670s |      21 |  1783198 |  1431545 |     2047   1551 |        0 |        0
672.49/672.60	c  672s |      21 |  1786437 |  1434445 |     2047   1554 |        0 |        0
674.49/674.64	c  674s |      21 |  1788674 |  1436445 |     2047   1556 |        0 |        0
676.59/676.70	c  676s |      21 |  1790825 |  1438445 |     2047   1557 |        0 |        0
678.60/678.78	c  678s |      21 |  1792570 |  1440145 |     2047   1559 |        0 |        0
680.69/680.88	c  680s |      21 |  1794478 |  1441945 |     2047   1560 |        0 |        0
682.69/682.89	c  682s |      21 |  1796219 |  1443645 |     2047   1562 |        0 |        0
684.79/684.91	c  684s |      21 |  1798287 |  1445445 |     2047   1563 |        0 |        0
686.79/686.92	c  686s |      21 |  1799927 |  1447045 |     2047   1565 |        0 |        0
688.89/689.04	c  689s |      21 |  1802162 |  1449045 |     2047   1567 |        0 |        0
690.99/691.16	c  691s |      21 |  1804085 |  1450845 |     2047   1568 |        0 |        0
692.99/693.17	c  693s |      21 |  1808176 |  1454245 |     2047   1571 |        0 |        0
694.98/695.19	c  695s |      21 |  1815342 |  1459945 |     2047   1576 |        0 |        0
697.08/697.24	c  697s |      21 |  1821115 |  1464845 |     2047   1580 |        0 |        0
699.08/699.26	c  699s |      21 |  1828217 |  1470645 |     2047   1585 |        0 |        0
701.08/701.26	c  701s |      21 |  1836038 |  1476745 |     2047   1591 |        0 |        0
703.08/703.27	c  703s |      21 |  1843096 |  1482545 |     2047   1596 |        0 |        0
705.09/705.29	c  705s |      21 |  1848543 |  1487445 |     2047   1600 |        0 |        0
707.19/707.36	c  707s |      21 |  1855883 |  1492945 |     2252   1605 |        0 |        0
709.18/709.37	c  709s |      21 |  1859896 |  1496545 |     2252   1607 |        0 |        0
711.18/711.33	c  711s |      22 |  1865684 |  1500622 |     2252   1611 |        0 |        0
713.18/713.36	c  713s |      22 |  1873019 |  1506922 |     2252   1616 |        0 |        0
715.18/715.38	c  715s |      22 |  1877200 |  1510522 |     2252   1619 |        0 |        0
717.19/717.39	c  717s |      22 |  1882320 |  1514422 |     2252   1622 |        0 |        0
719.29/719.43	c  719s |      22 |  1885809 |  1517122 |     2252   1624 |        0 |        0
721.28/721.45	c  721s |      22 |  1888652 |  1519622 |     2252   1626 |        0 |        0
723.38/723.50	c  723s |      22 |  1891366 |  1521922 |     2252   1628 |        0 |        0
725.38/725.51	c  725s |      22 |  1894228 |  1524222 |     2252   1630 |        0 |        0
727.48/727.60	c  727s |      22 |  1897793 |  1526922 |     2252   1632 |        0 |        0
729.48/729.63	c  729s |      22 |  1900907 |  1529422 |     2252   1634 |        0 |        0
731.48/731.69	c  731s |      22 |  1904335 |  1532122 |     2252   1636 |        0 |        0
733.58/733.71	c  733s |      22 |  1907294 |  1534322 |     2252   1638 |        0 |        0
735.57/735.73	c  735s |      22 |  1910129 |  1536622 |     2252   1640 |        0 |        0
737.57/737.77	c  737s |      22 |  1913201 |  1538922 |     2252   1641 |        0 |        0
739.57/739.78	c  739s |      22 |  1916045 |  1541122 |     2252   1643 |        0 |        0
741.67/741.85	c  741s |      22 |  1918757 |  1543322 |     2252   1645 |        0 |        0
743.77/743.92	c  743s |      22 |  1921202 |  1545422 |     2252   1647 |        0 |        0
745.78/745.96	c  745s |      22 |  1925887 |  1548522 |     2252   1649 |        0 |        0
747.78/748.00	c  747s |      22 |  1928745 |  1550822 |     2252   1651 |        0 |        0
749.88/750.05	c  750s |      22 |  1931638 |  1553022 |     2252   1653 |        0 |        0
751.98/752.12	c  752s |      22 |  1934397 |  1555122 |     2252   1655 |        0 |        0
753.98/754.12	c  754s |      22 |  1937477 |  1557322 |     2252   1656 |        0 |        0
756.08/756.23	c  756s |      22 |  1940118 |  1559322 |     2252   1658 |        0 |        0
758.07/758.25	c  758s |      22 |  1942520 |  1561222 |     2252   1659 |        0 |        0
760.17/760.30	c  760s |      22 |  1945246 |  1563222 |     2252   1661 |        0 |        0
762.18/762.35	c  762s |      22 |  1947299 |  1564822 |     2252   1662 |        0 |        0
764.17/764.39	c  764s |      22 |  1949832 |  1566822 |     2252   1664 |        0 |        0
766.27/766.41	c  766s |      22 |  1952784 |  1568922 |     2252   1666 |        0 |        0
768.27/768.45	c  768s |      22 |  1958656 |  1572822 |     2252   1669 |        0 |        0
770.27/770.47	c  770s |      22 |  1966829 |  1578922 |     2252   1674 |        0 |        0
772.27/772.49	c  772s |      22 |  1973220 |  1584222 |     2252   1678 |        0 |        0
774.37/774.55	c  774s |      22 |  1978387 |  1587822 |     2252   1681 |        0 |        0
776.37/776.58	c  776s |      22 |  1984857 |  1591922 |     2252   1684 |        0 |        0
778.46/778.62	c  778s |      22 |  1989892 |  1594922 |     2252   1687 |        0 |        0
780.46/780.63	c  780s |      22 |  1996608 |  1599822 |     2252   1691 |        0 |        0
782.46/782.64	c  782s |      22 |  2002291 |  1603622 |     2252   1694 |        0 |        0
784.46/784.67	c  784s |      22 |  2005088 |  1606022 |     2252   1696 |        0 |        0
786.56/786.71	c  786s |      22 |  2008857 |  1608822 |     2252   1698 |        0 |        0
788.56/788.72	c  788s |      22 |  2013001 |  1611622 |     2252   1700 |        0 |        0
790.55/790.73	c  790s |      22 |  2016726 |  1614222 |     2252   1702 |        0 |        0
792.55/792.79	c  792s |      22 |  2020541 |  1616922 |     2252   1705 |        0 |        0
794.65/794.85	c  794s |      22 |  2023898 |  1619322 |     2252   1707 |        0 |        0
796.65/796.85	c  796s |      22 |  2027359 |  1621722 |     2252   1708 |        0 |        0
798.65/798.87	c  798s |      22 |  2032776 |  1624822 |     2252   1711 |        0 |        0
800.76/800.91	c  800s |      22 |  2039754 |  1630022 |     2252   1715 |        0 |        0
802.75/802.92	c  802s |      22 |  2043907 |  1633122 |     2252   1718 |        0 |        0
804.75/804.99	c  804s |      22 |  2047817 |  1636022 |     2252   1720 |        0 |        0
806.85/807.01	c  806s |      22 |  2053006 |  1639422 |     2252   1723 |        0 |        0
808.85/809.03	c  808s |      22 |  2057389 |  1642322 |     2252   1725 |        0 |        0
810.84/811.05	c  811s |      22 |  2061051 |  1645022 |     2252   1727 |        0 |        0
812.85/813.06	c  813s |      22 |  2065969 |  1648822 |     2252   1730 |        0 |        0
814.95/815.12	c  815s |      22 |  2069998 |  1652022 |     2252   1733 |        0 |        0
816.94/817.14	c  817s |      22 |  2075231 |  1655822 |     2252   1736 |        0 |        0
819.04/819.23	c  819s |      22 |  2079402 |  1658822 |     2252   1739 |        0 |        0
821.04/821.25	c  821s |      22 |  2085546 |  1662722 |     2252   1742 |        0 |        0
823.14/823.30	c  823s |      22 |  2089197 |  1665422 |     2252   1744 |        0 |        0
825.14/825.36	c  825s |      22 |  2093163 |  1668122 |     2252   1746 |        0 |        0
827.24/827.41	c  827s |      22 |  2096342 |  1670422 |     2252   1748 |        0 |        0
829.24/829.44	c  829s |      22 |  2099614 |  1672822 |     2252   1750 |        0 |        0
831.23/831.47	c  831s |      22 |  2102853 |  1675222 |     2252   1752 |        0 |        0
833.33/833.51	c  833s |      22 |  2106025 |  1677522 |     2252   1754 |        0 |        0
835.33/835.52	c  835s |      22 |  2109584 |  1680022 |     2252   1756 |        0 |        0
837.33/837.54	c  837s |      22 |  2112339 |  1682222 |     2252   1758 |        0 |        0
839.33/839.54	c  839s |      22 |  2115019 |  1684322 |     2252   1759 |        0 |        0
841.44/841.63	c  841s |      22 |  2118324 |  1686822 |     2252   1761 |        0 |        0
843.43/843.68	c  843s |      22 |  2121719 |  1689122 |     2252   1763 |        0 |        0
845.53/845.70	c  845s |      22 |  2124731 |  1691322 |     2252   1765 |        0 |        0
847.53/847.74	c  847s |      22 |  2127552 |  1693522 |     2252   1767 |        0 |        0
849.52/849.76	c  849s |      22 |  2131530 |  1696422 |     2252   1769 |        0 |        0
851.62/851.82	c  851s |      22 |  2135525 |  1699322 |     2252   1771 |        0 |        0
853.62/853.86	c  853s |      22 |  2138240 |  1701422 |     2252   1773 |        0 |        0
855.63/855.87	c  855s |      22 |  2141706 |  1703922 |     2252   1775 |        0 |        0
857.72/857.94	c  857s |      22 |  2144460 |  1706122 |     2252   1777 |        0 |        0
859.72/859.96	c  859s |      22 |  2147434 |  1708422 |     2252   1779 |        0 |        0
861.82/862.02	c  861s |      22 |  2150952 |  1710822 |     2252   1781 |        0 |        0
863.82/864.06	c  864s |      22 |  2154009 |  1713022 |     2252   1783 |        0 |        0
865.82/866.08	c  866s |      22 |  2157004 |  1715122 |     2252   1784 |        0 |        0
867.92/868.18	c  868s |      22 |  2159874 |  1717222 |     2252   1786 |        0 |        0
869.92/870.20	c  870s |      22 |  2163275 |  1719822 |     2252   1788 |        0 |        0
872.02/872.27	c  872s |      22 |  2166734 |  1722322 |     2252   1790 |        0 |        0
874.02/874.28	c  874s |      22 |  2169358 |  1724422 |     2252   1792 |        0 |        0
876.11/876.32	c  876s |      22 |  2172009 |  1726522 |     2252   1793 |        0 |        0
878.11/878.39	c  878s |      22 |  2174591 |  1728522 |     2252   1795 |        0 |        0
880.21/880.46	c  880s |      22 |  2178117 |  1731022 |     2252   1797 |        0 |        0
882.21/882.47	c  882s |      22 |  2180986 |  1733222 |     2252   1799 |        0 |        0
884.22/884.48	c  884s |      22 |  2183733 |  1735322 |     2252   1801 |        0 |        0
886.31/886.52	c  886s |      22 |  2186454 |  1737422 |     2252   1802 |        0 |        0
888.31/888.53	c  888s |      22 |  2189507 |  1739622 |     2252   1804 |        0 |        0
890.31/890.56	c  890s |      22 |  2192501 |  1741922 |     2252   1806 |        0 |        0
892.31/892.57	c  892s |      22 |  2194989 |  1743922 |     2252   1808 |        0 |        0
894.41/894.67	c  894s |      22 |  2198274 |  1746222 |     2252   1809 |        0 |        0
896.42/896.69	c  896s |      22 |  2200833 |  1748222 |     2252   1811 |        0 |        0
898.51/898.75	c  898s |      22 |  2203276 |  1750222 |     2252   1813 |        0 |        0
900.61/900.82	c  900s |      22 |  2205596 |  1752222 |     2252   1814 |        0 |        0
902.60/902.86	c  902s |      22 |  2207939 |  1754122 |     2252   1816 |        0 |        0
904.60/904.87	c  904s |      22 |  2211418 |  1756422 |     2252   1818 |        0 |        0
906.70/906.94	c  906s |      22 |  2214581 |  1758722 |     2252   1819 |        0 |        0
908.80/909.02	c  908s |      22 |  2217301 |  1760822 |     2252   1821 |        0 |        0
910.80/911.05	c  911s |      22 |  2219730 |  1762722 |     2252   1823 |        0 |        0
912.90/913.12	c  913s |      22 |  2222373 |  1764722 |     2252   1824 |        0 |        0
915.00/915.22	c  915s |      22 |  2224877 |  1766622 |     2252   1826 |        0 |        0
917.09/917.30	c  917s |      22 |  2228250 |  1768922 |     2252   1828 |        0 |        0
919.09/919.36	c  919s |      22 |  2231120 |  1771122 |     2252   1830 |        0 |        0
921.09/921.38	c  921s |      22 |  2233527 |  1773122 |     2252   1831 |        0 |        0
923.19/923.49	c  923s |      22 |  2236286 |  1775222 |     2252   1833 |        0 |        0
925.29/925.52	c  925s |      22 |  2238825 |  1777122 |     2252   1834 |        0 |        0
927.29/927.55	c  927s |      22 |  2241115 |  1778922 |     2252   1836 |        0 |        0
929.39/929.63	c  929s |      22 |  2243886 |  1781022 |     2252   1838 |        0 |        0
931.49/931.72	c  931s |      22 |  2247084 |  1783422 |     2252   1840 |        0 |        0
933.49/933.75	c  933s |      22 |  2252554 |  1787822 |     2252   1843 |        0 |        0
935.48/935.76	c  935s |      22 |  2255750 |  1790222 |     2252   1845 |        0 |        0
937.58/937.86	c  937s |      22 |  2258827 |  1792422 |     2252   1847 |        0 |        0
939.58/939.87	c  939s |      22 |  2263621 |  1796222 |     2252   1850 |        0 |        0
941.69/941.91	c  941s |      22 |  2268512 |  1799622 |     2252   1853 |        0 |        0
943.69/943.96	c  943s |      22 |  2272167 |  1802222 |     2252   1855 |        0 |        0
945.79/946.01	c  945s |      22 |  2275102 |  1804522 |     2252   1857 |        0 |        0
947.78/948.07	c  948s |      22 |  2278731 |  1807322 |     2252   1859 |        0 |        0
949.88/950.10	c  950s |      22 |  2282715 |  1809722 |     2252   1861 |        0 |        0
951.88/952.19	c  952s |      22 |  2288235 |  1813122 |     2252   1864 |        0 |        0
953.98/954.20	c  954s |      22 |  2293338 |  1816322 |     2252   1866 |        0 |        0
955.98/956.24	c  956s |      22 |  2298051 |  1819422 |     2252   1869 |        0 |        0
957.98/958.29	c  958s |      22 |  2302588 |  1822522 |     2252   1871 |        0 |        0
960.08/960.34	c  960s |      22 |  2306997 |  1825722 |     2252   1874 |        0 |        0
962.08/962.35	c  962s |      22 |  2314713 |  1831422 |     2252   1878 |        0 |        0
964.08/964.38	c  964s |      22 |  2320092 |  1836622 |     2252   1883 |        0 |        0
966.18/966.44	c  966s |      22 |  2324120 |  1840322 |     2252   1886 |        0 |        0
968.17/968.50	c  968s |      22 |  2327458 |  1843422 |     2252   1888 |        0 |        0
970.27/970.50	c  970s |      22 |  2332050 |  1847322 |     2252   1891 |        0 |        0
972.28/972.54	c  972s |      22 |  2336883 |  1850622 |     2252   1894 |        0 |        0
974.38/974.61	c  974s |      22 |  2340884 |  1853422 |     2252   1896 |        0 |        0
976.37/976.63	c  976s |      22 |  2345483 |  1856622 |     2252   1899 |        0 |        0
978.37/978.69	c  978s |      22 |  2348956 |  1859322 |     2252   1901 |        0 |        0
980.47/980.71	c  980s |      22 |  2355072 |  1864022 |     2252   1905 |        0 |        0
982.46/982.73	c  982s |      22 |  2362352 |  1870022 |     2252   1910 |        0 |        0
984.46/984.75	c  984s |      22 |  2369773 |  1875222 |     2252   1914 |        0 |        0
986.57/986.81	c  986s |      22 |  2376911 |  1879722 |     2252   1918 |        0 |        0
988.56/988.85	c  988s |      22 |  2382051 |  1882922 |     2252   1921 |        0 |        0
990.66/990.91	c  990s |      22 |  2386495 |  1885922 |     2252   1923 |        0 |        0
992.66/992.94	c  992s |      22 |  2391820 |  1889822 |     2252   1926 |        0 |        0
994.66/994.95	c  994s |      22 |  2398281 |  1895522 |     2252   1931 |        0 |        0
996.76/997.04	c  996s |      22 |  2404279 |  1900022 |     2252   1935 |        0 |        0
998.76/999.04	c  999s |      22 |  2407333 |  1902422 |     2252   1936 |        0 |        0
1000.76/1001.09	c 1001s |      22 |  2410148 |  1904622 |     2252   1938 |        0 |        0
1002.85/1003.11	c 1003s |      22 |  2413155 |  1906922 |     2252   1940 |        0 |        0
1004.85/1005.14	c 1005s |      22 |  2417778 |  1909922 |     2252   1943 |        0 |        0
1006.85/1007.18	c 1007s |      22 |  2421251 |  1912422 |     2252   1945 |        0 |        0
1008.95/1009.20	c 1009s |      22 |  2426203 |  1916122 |     2252   1948 |        0 |        0
1010.95/1011.29	c 1011s |      22 |  2430273 |  1919422 |     2252   1950 |        0 |        0
1012.96/1013.29	c 1013s |      22 |  2435220 |  1923122 |     2252   1953 |        0 |        0
1015.06/1015.35	c 1015s |      22 |  2440229 |  1926622 |     2252   1956 |        0 |        0
1017.15/1017.41	c 1017s |      22 |  2443823 |  1929422 |     2252   1959 |        0 |        0
1019.15/1019.46	c 1019s |      22 |  2451509 |  1934922 |     2252   1963 |        0 |        0
1021.14/1021.49	c 1021s |      22 |  2455854 |  1938222 |     2252   1966 |        0 |        0
1023.24/1023.56	c 1023s |      22 |  2460328 |  1941422 |     2252   1968 |        0 |        0
1025.24/1025.57	c 1025s |      22 |  2465873 |  1945222 |     2252   1971 |        0 |        0
1027.34/1027.65	c 1027s |      22 |  2470957 |  1948822 |     2252   1974 |        0 |        0
1029.35/1029.69	c 1029s |      22 |  2474519 |  1951422 |     2252   1977 |        0 |        0
1031.44/1031.74	c 1031s |      22 |  2478110 |  1954022 |     2252   1979 |        0 |        0
1033.44/1033.76	c 1033s |      22 |  2483858 |  1958222 |     2252   1982 |        0 |        0
1035.44/1035.77	c 1035s |      22 |  2490662 |  1963422 |     2252   1986 |        0 |        0
1037.53/1037.81	c 1037s |      22 |  2495421 |  1966822 |     2252   1989 |        0 |        0
1039.53/1039.86	c 1039s |      22 |  2499473 |  1970122 |     2252   1992 |        0 |        0
1041.54/1041.88	c 1041s |      22 |  2503259 |  1973122 |     2252   1994 |        0 |        0
1043.53/1043.89	c 1043s |      22 |  2507743 |  1976422 |     2252   1997 |        0 |        0
1045.63/1045.91	c 1045s |      22 |  2511729 |  1979122 |     2252   1999 |        0 |        0
1047.63/1047.98	c 1047s |      22 |  2515236 |  1981622 |     2252   2001 |        0 |        0
1049.73/1050.04	c 1050s |      22 |  2518786 |  1984322 |     2252   2004 |        0 |        0
1051.73/1052.06	c 1052s |      22 |  2522031 |  1987122 |     2252   2006 |        0 |        0
1053.83/1054.12	c 1054s |      22 |  2525213 |  1989622 |     2252   2008 |        0 |        0
1055.83/1056.17	c 1056s |      22 |  2528597 |  1992322 |     2252   2010 |        0 |        0
1057.93/1058.24	c 1058s |      22 |  2531839 |  1994922 |     2252   2012 |        0 |        0
1059.92/1060.25	c 1060s |      22 |  2535646 |  1997522 |     2252   2014 |        0 |        0
1062.02/1062.30	c 1062s |      22 |  2539619 |  2000122 |     2252   2016 |        0 |        0
1064.02/1064.35	c 1064s |      22 |  2543980 |  2003122 |     2252   2019 |        0 |        0
1066.02/1066.38	c 1066s |      22 |  2548211 |  2006022 |     2252   2021 |        0 |        0
1068.12/1068.42	c 1068s |      22 |  2551255 |  2008622 |     2252   2023 |        0 |        0
1070.22/1070.50	c 1070s |      22 |  2554414 |  2011122 |     2252   2025 |        0 |        0
1072.23/1072.56	c 1072s |      22 |  2558653 |  2013822 |     2252   2028 |        0 |        0
1074.22/1074.58	c 1074s |      22 |  2563438 |  2017222 |     2252   2030 |        0 |        0
1076.22/1076.58	c 1076s |      22 |  2568058 |  2020322 |     2252   2033 |        0 |        0
1078.31/1078.66	c 1078s |      22 |  2571706 |  2023122 |     2252   2035 |        0 |        0
1080.41/1080.70	c 1080s |      22 |  2575303 |  2025822 |     2252   2038 |        0 |        0
1082.41/1082.75	c 1082s |      22 |  2578193 |  2028222 |     2252   2039 |        0 |        0
1084.51/1084.83	c 1084s |      22 |  2581758 |  2030722 |     2252   2042 |        0 |        0
1086.52/1086.84	c 1086s |      22 |  2588670 |  2035422 |     2252   2045 |        0 |        0
1088.61/1088.90	c 1088s |      22 |  2593896 |  2038822 |     2252   2048 |        0 |        0
1090.61/1090.90	c 1090s |      22 |  2598741 |  2042622 |     2252   2051 |        0 |        0
1092.61/1092.93	c 1092s |      22 |  2603152 |  2045722 |     2252   2054 |        0 |        0
1094.61/1094.97	c 1094s |      22 |  2607449 |  2048722 |     2252   2056 |        0 |        0
1096.70/1097.00	c 1096s |      22 |  2611354 |  2051522 |     2252   2059 |        0 |        0
1098.71/1099.03	c 1098s |      22 |  2614401 |  2054022 |     2252   2061 |        0 |        0
1100.70/1101.08	c 1101s |      22 |  2617462 |  2056522 |     2252   2063 |        0 |        0
1102.81/1103.10	c 1103s |      22 |  2622830 |  2061022 |     2252   2066 |        0 |        0
1104.81/1105.11	c 1105s |      22 |  2628166 |  2064722 |     2252   2069 |        0 |        0
1106.81/1107.16	c 1107s |      22 |  2631104 |  2067222 |     2252   2071 |        0 |        0
1108.81/1109.19	c 1109s |      22 |  2635089 |  2069922 |     2252   2074 |        0 |        0
1110.81/1111.19	c 1111s |      22 |  2638238 |  2072522 |     2252   2076 |        0 |        0
1112.91/1113.24	c 1113s |      22 |  2641782 |  2075122 |     2252   2078 |        0 |        0
1114.90/1115.26	c 1115s |      22 |  2645751 |  2077822 |     2252   2080 |        0 |        0
1116.90/1117.26	c 1117s |      22 |  2648521 |  2080022 |     2252   2082 |        0 |        0
1119.00/1119.34	c 1119s |      22 |  2652274 |  2082622 |     2252   2084 |        0 |        0
1121.10/1121.44	c 1121s |      22 |  2656206 |  2085622 |     2252   2087 |        0 |        0
1123.10/1123.47	c 1123s |      22 |  2660124 |  2088722 |     2252   2089 |        0 |        0
1125.10/1125.49	c 1125s |      22 |  2663024 |  2091222 |     2252   2091 |        0 |        0
1127.20/1127.54	c 1127s |      22 |  2666041 |  2093722 |     2252   2093 |        0 |        0
1129.29/1129.60	c 1129s |      22 |  2668797 |  2096122 |     2252   2095 |        0 |        0
1131.29/1131.61	c 1131s |      22 |  2671562 |  2098422 |     2252   2097 |        0 |        0
1133.29/1133.69	c 1133s |      22 |  2674118 |  2100622 |     2252   2099 |        0 |        0
1135.39/1135.76	c 1135s |      22 |  2676859 |  2102922 |     2252   2101 |        0 |        0
1137.49/1137.81	c 1137s |      22 |  2680069 |  2105322 |     2252   2103 |        0 |        0
1139.49/1139.85	c 1139s |      22 |  2684020 |  2107922 |     2252   2105 |        0 |        0
1141.50/1141.87	c 1141s |      22 |  2687375 |  2110322 |     2252   2107 |        0 |        0
1143.59/1143.90	c 1143s |      22 |  2690998 |  2112822 |     2252   2109 |        0 |        0
1145.59/1145.92	c 1145s |      22 |  2696109 |  2116122 |     2252   2111 |        0 |        0
1147.59/1147.94	c 1147s |      22 |  2701956 |  2120222 |     2252   2115 |        0 |        0
1149.59/1149.95	c 1149s |      22 |  2708223 |  2124722 |     2252   2119 |        0 |        0
1151.59/1151.99	c 1151s |      22 |  2713462 |  2128422 |     2252   2122 |        0 |        0
1153.69/1154.01	c 1153s |      22 |  2717750 |  2131322 |     2252   2124 |        0 |        0
1155.68/1156.08	c 1156s |      22 |  2720666 |  2133722 |     2252   2126 |        0 |        0
1157.68/1158.09	c 1158s |      22 |  2723507 |  2135922 |     2252   2128 |        0 |        0
1159.68/1160.09	c 1160s |      22 |  2726976 |  2138522 |     2252   2130 |        0 |        0
1161.88/1162.20	c 1162s |      22 |  2730730 |  2141222 |     2252   2132 |        0 |        0
1163.88/1164.23	c 1164s |      22 |  2734211 |  2143722 |     2252   2134 |        0 |        0
1165.98/1166.30	c 1166s |      22 |  2737211 |  2146022 |     2252   2136 |        0 |        0
1167.98/1168.36	c 1168s |      22 |  2740391 |  2148422 |     2252   2138 |        0 |        0
1169.98/1170.40	c 1170s |      22 |  2743851 |  2150822 |     2252   2140 |        0 |        0
1172.08/1172.41	c 1172s |      22 |  2748738 |  2154022 |     2252   2143 |        0 |        0
1174.08/1174.43	c 1174s |      22 |  2752400 |  2156622 |     2252   2145 |        0 |        0
1176.08/1176.49	c 1176s |      22 |  2758904 |  2161322 |     2252   2149 |        0 |        0
1178.17/1178.53	c 1178s |      22 |  2762739 |  2164022 |     2252   2151 |        0 |        0
1180.17/1180.53	c 1180s |      22 |  2766638 |  2166622 |     2252   2153 |        0 |        0
1182.18/1182.58	c 1182s |      22 |  2770491 |  2169422 |     2252   2155 |        0 |        0
1184.27/1184.63	c 1184s |      22 |  2773783 |  2172022 |     2252   2157 |        0 |        0
1186.27/1186.64	c 1186s |      22 |  2777068 |  2174422 |     2252   2159 |        0 |        0
1188.27/1188.69	c 1188s |      22 |  2780393 |  2176922 |     2252   2161 |        0 |        0
1190.37/1190.79	c 1190s |      22 |  2783625 |  2179322 |     2252   2163 |        0 |        0
1192.37/1192.79	c 1192s |      22 |  2787476 |  2181922 |     2252   2165 |        0 |        0
1194.47/1194.85	c 1194s |      22 |  2791441 |  2184622 |     2252   2168 |        0 |        0
1196.47/1196.88	c 1196s |      22 |  2795093 |  2187122 |     2252   2170 |        0 |        0
1198.56/1198.90	c 1198s |      22 |  2799366 |  2190522 |     2252   2172 |        0 |        0
1200.56/1200.98	c 1200s |      22 |  2804568 |  2194422 |     2252   2176 |        0 |        0
1202.66/1203.04	c 1203s |      22 |  2808871 |  2197222 |     2252   2178 |        0 |        0
1204.66/1205.05	c 1205s |      22 |  2812805 |  2199922 |     2252   2180 |        0 |        0
1206.66/1207.09	c 1207s |      22 |  2816165 |  2202622 |     2252   2182 |        0 |        0
1208.75/1209.12	c 1209s |      22 |  2819598 |  2205122 |     2252   2184 |        0 |        0
1210.76/1211.12	c 1211s |      22 |  2823178 |  2207822 |     2252   2187 |        0 |        0
1212.75/1213.19	c 1213s |      22 |  2826246 |  2210322 |     2252   2189 |        0 |        0
1214.85/1215.24	c 1215s |      22 |  2830302 |  2213222 |     2252   2191 |        0 |        0
1216.85/1217.25	c 1217s |      22 |  2834263 |  2216022 |     2252   2193 |        0 |        0
1218.95/1219.31	c 1219s |      22 |  2837409 |  2218322 |     2252   2195 |        0 |        0
1220.95/1221.34	c 1221s |      22 |  2841281 |  2221122 |     2252   2197 |        0 |        0
1222.95/1223.34	c 1223s |      22 |  2847613 |  2225922 |     2252   2201 |        0 |        0
1224.95/1225.39	c 1225s |      22 |  2854248 |  2231222 |     2252   2206 |        0 |        0
1227.04/1227.43	c 1227s |      22 |  2858351 |  2233922 |     2252   2208 |        0 |        0
1229.04/1229.44	c 1229s |      22 |  2862412 |  2236722 |     2478   2210 |        0 |        0
1231.04/1231.49	c 1231s |      22 |  2865662 |  2239222 |     2478   2212 |        0 |        0
1233.14/1233.51	c 1233s |      22 |  2870494 |  2242722 |     2478   2215 |        0 |        0
1235.14/1235.55	c 1235s |      22 |  2879088 |  2249822 |     2478   2220 |        0 |        0
1235.64/1236.00	c 1235s |      23 |  2880704 |  2251038 |     2478   2221 |        0 |        0
1237.64/1238.03	c 1237s |      23 |  2886209 |  2256038 |     2478   2225 |        0 |        0
1239.64/1240.06	c 1240s |      23 |  2891346 |  2260138 |     2478   2228 |        0 |        0
1241.74/1242.11	c 1242s |      23 |  2896016 |  2263838 |     2478   2231 |        0 |        0
1243.74/1244.12	c 1244s |      23 |  2902463 |  2268838 |     2478   2234 |        0 |        0
1245.74/1246.15	c 1246s |      23 |  2907159 |  2272738 |     2478   2237 |        0 |        0
1247.73/1248.19	c 1248s |      23 |  2912791 |  2277538 |     2478   2241 |        0 |        0
1249.83/1250.22	c 1250s |      23 |  2918620 |  2281838 |     2478   2244 |        0 |        0
1251.83/1252.28	c 1252s |      23 |  2922841 |  2285438 |     2478   2247 |        0 |        0
1253.93/1254.31	c 1254s |      23 |  2927727 |  2289138 |     2478   2250 |        0 |        0
1255.94/1256.33	c 1256s |      23 |  2931985 |  2292438 |     2478   2252 |        0 |        0
1257.92/1258.33	c 1258s |      23 |  2936153 |  2295738 |     2478   2255 |        0 |        0
1259.92/1260.39	c 1260s |      23 |  2940820 |  2299438 |     2478   2258 |        0 |        0
1262.03/1262.42	c 1262s |      23 |  2946456 |  2303838 |     2478   2261 |        0 |        0
1264.03/1264.44	c 1264s |      23 |  2951610 |  2307838 |     2478   2264 |        0 |        0
1266.03/1266.45	c 1266s |      23 |  2957466 |  2312038 |     2478   2267 |        0 |        0
1268.13/1268.50	c 1268s |      23 |  2963356 |  2316238 |     2478   2270 |        0 |        0
1270.14/1270.52	c 1270s |      23 |  2968463 |  2320138 |     2478   2273 |        0 |        0
1272.13/1272.56	c 1272s |      23 |  2973637 |  2324038 |     2478   2276 |        0 |        0
1274.13/1274.57	c 1274s |      23 |  2979047 |  2328138 |     2478   2279 |        0 |        0
1276.23/1276.61	c 1276s |      23 |  2984634 |  2332138 |     2478   2282 |        0 |        0
1278.22/1278.66	c 1278s |      23 |  2989958 |  2336138 |     2478   2285 |        0 |        0
1280.32/1280.71	c 1280s |      23 |  2994900 |  2339938 |     2478   2288 |        0 |        0
1282.33/1282.73	c 1282s |      23 |  2999487 |  2343638 |     2478   2291 |        0 |        0
1284.32/1284.77	c 1284s |      23 |  3004322 |  2347338 |     2478   2294 |        0 |        0
1286.42/1286.83	c 1286s |      23 |  3008974 |  2351038 |     2478   2297 |        0 |        0
1288.42/1288.85	c 1288s |      23 |  3013633 |  2354638 |     2478   2300 |        0 |        0
1290.42/1290.88	c 1290s |      23 |  3018468 |  2358338 |     2478   2302 |        0 |        0
1292.52/1292.93	c 1292s |      23 |  3023095 |  2362238 |     2478   2305 |        0 |        0
1294.52/1294.94	c 1294s |      23 |  3028854 |  2367138 |     2478   2309 |        0 |        0
1296.52/1296.95	c 1296s |      23 |  3033986 |  2371138 |     2478   2312 |        0 |        0
1298.51/1298.97	c 1298s |      23 |  3039815 |  2376138 |     2478   2316 |        0 |        0
1300.61/1301.01	c 1300s |      23 |  3044692 |  2380238 |     2478   2319 |        0 |        0
1302.61/1303.04	c 1303s |      23 |  3050039 |  2384638 |     2478   2322 |        0 |        0
1304.61/1305.06	c 1305s |      23 |  3054152 |  2388538 |     2478   2325 |        0 |        0
1306.61/1307.09	c 1307s |      23 |  3058536 |  2392538 |     2478   2328 |        0 |        0
1308.72/1309.11	c 1309s |      23 |  3062748 |  2396438 |     2478   2331 |        0 |        0
1310.71/1311.17	c 1311s |      23 |  3066918 |  2400238 |     2478   2334 |        0 |        0
1312.71/1313.18	c 1313s |      23 |  3071019 |  2403938 |     2478   2337 |        0 |        0
1314.81/1315.21	c 1315s |      23 |  3074881 |  2407638 |     2478   2340 |        0 |        0
1316.81/1317.24	c 1317s |      23 |  3078426 |  2411038 |     2478   2342 |        0 |        0
1318.80/1319.30	c 1319s |      23 |  3082493 |  2414938 |     2478   2345 |        0 |        0
1320.90/1321.31	c 1321s |      23 |  3086662 |  2418938 |     2478   2348 |        0 |        0
1322.91/1323.32	c 1323s |      23 |  3091011 |  2423138 |     2478   2352 |        0 |        0
1324.90/1325.34	c 1325s |      23 |  3094631 |  2426538 |     2478   2354 |        0 |        0
1326.90/1327.36	c 1327s |      23 |  3100873 |  2431138 |     2478   2358 |        0 |        0
1328.90/1329.38	c 1329s |      23 |  3107205 |  2435538 |     2478   2361 |        0 |        0
1331.00/1331.42	c 1331s |      23 |  3111978 |  2439238 |     2478   2364 |        0 |        0
1333.00/1333.44	c 1333s |      23 |  3116310 |  2442738 |     2478   2366 |        0 |        0
1335.00/1335.49	c 1335s |      23 |  3120861 |  2446338 |     2478   2369 |        0 |        0
1337.09/1337.51	c 1337s |      23 |  3125128 |  2449838 |     2478   2372 |        0 |        0
1339.09/1339.52	c 1339s |      23 |  3130562 |  2453838 |     2478   2375 |        0 |        0
1341.09/1341.56	c 1341s |      23 |  3136530 |  2458538 |     2478   2378 |        0 |        0
1343.09/1343.56	c 1343s |      23 |  3141830 |  2462538 |     2478   2381 |        0 |        0
1345.19/1345.63	c 1345s |      23 |  3147251 |  2466538 |     2478   2385 |        0 |        0
1347.19/1347.67	c 1347s |      23 |  3152736 |  2470538 |     2478   2388 |        0 |        0
1349.29/1349.75	c 1349s |      23 |  3157414 |  2474338 |     2478   2391 |        0 |        0
1351.29/1351.78	c 1351s |      23 |  3162183 |  2478038 |     2478   2393 |        0 |        0
1353.38/1353.80	c 1353s |      23 |  3167023 |  2481638 |     2478   2396 |        0 |        0
1355.38/1355.81	c 1355s |      23 |  3171725 |  2485238 |     2478   2399 |        0 |        0
1357.38/1357.83	c 1357s |      23 |  3177684 |  2490038 |     2478   2402 |        0 |        0
1359.38/1359.89	c 1359s |      23 |  3182225 |  2493738 |     2478   2405 |        0 |        0
1361.39/1361.90	c 1361s |      23 |  3186754 |  2497538 |     2478   2408 |        0 |        0
1363.48/1363.91	c 1363s |      23 |  3191515 |  2501538 |     2478   2411 |        0 |        0
1365.48/1365.95	c 1365s |      23 |  3196281 |  2505638 |     2478   2414 |        0 |        0
1367.58/1368.00	c 1367s |      23 |  3201253 |  2509538 |     2478   2417 |        0 |        0
1369.58/1370.05	c 1370s |      23 |  3206311 |  2513438 |     2478   2420 |        0 |        0
1371.58/1372.05	c 1372s |      23 |  3211130 |  2517038 |     2478   2423 |        0 |        0
1373.68/1374.10	c 1374s |      23 |  3217438 |  2521038 |     2478   2426 |        0 |        0
1375.68/1376.12	c 1376s |      23 |  3223838 |  2525138 |     2478   2429 |        0 |        0
1377.67/1378.14	c 1378s |      23 |  3228860 |  2529038 |     2478   2432 |        0 |        0
1379.67/1380.15	c 1380s |      23 |  3234073 |  2532738 |     2478   2435 |        0 |        0
1381.67/1382.17	c 1382s |      23 |  3238575 |  2536038 |     2478   2437 |        0 |        0
1383.67/1384.18	c 1384s |      23 |  3242647 |  2539138 |     2478   2440 |        0 |        0
1385.77/1386.22	c 1386s |      23 |  3247248 |  2542538 |     2478   2442 |        0 |        0
1387.77/1388.26	c 1388s |      23 |  3251564 |  2545938 |     2478   2445 |        0 |        0
1389.87/1390.31	c 1390s |      23 |  3257497 |  2550438 |     2478   2448 |        0 |        0
1391.87/1392.33	c 1392s |      23 |  3262813 |  2554038 |     2478   2451 |        0 |        0
1393.87/1394.40	c 1394s |      23 |  3267797 |  2557438 |     2478   2453 |        0 |        0
1395.97/1396.40	c 1396s |      23 |  3272105 |  2560938 |     2478   2456 |        0 |        0
1397.97/1398.45	c 1398s |      23 |  3277237 |  2564638 |     2478   2459 |        0 |        0
1399.98/1400.48	c 1400s |      23 |  3281696 |  2567938 |     2478   2461 |        0 |        0
1401.97/1402.49	c 1402s |      23 |  3287806 |  2572138 |     2478   2465 |        0 |        0
1403.97/1404.49	c 1404s |      23 |  3293780 |  2576038 |     2478   2468 |        0 |        0
1406.07/1406.54	c 1406s |      23 |  3298785 |  2579638 |     2478   2470 |        0 |        0
1408.07/1408.57	c 1408s |      23 |  3304249 |  2583338 |     2478   2473 |        0 |        0
1410.07/1410.58	c 1410s |      23 |  3309981 |  2587238 |     2478   2476 |        0 |        0
1412.17/1412.63	c 1412s |      23 |  3314855 |  2590538 |     2478   2478 |        0 |        0
1414.18/1414.65	c 1414s |      23 |  3319162 |  2593738 |     2478   2481 |        0 |        0
1416.17/1416.68	c 1416s |      23 |  3323109 |  2596638 |     2478   2483 |        0 |        0
1418.27/1418.75	c 1418s |      23 |  3326831 |  2599438 |     2478   2485 |        0 |        0
1420.27/1420.77	c 1420s |      23 |  3331484 |  2602938 |     2478   2488 |        0 |        0
1422.37/1422.81	c 1422s |      23 |  3335185 |  2605838 |     2478   2490 |        0 |        0
1424.37/1424.87	c 1424s |      23 |  3339357 |  2609138 |     2478   2492 |        0 |        0
1426.47/1426.90	c 1426s |      23 |  3344078 |  2612438 |     2478   2495 |        0 |        0
1428.47/1428.95	c 1428s |      23 |  3348501 |  2615538 |     2478   2497 |        0 |        0
1430.47/1430.99	c 1430s |      23 |  3353207 |  2618838 |     2478   2500 |        0 |        0
1432.57/1433.00	c 1432s |      23 |  3357935 |  2621938 |     2478   2502 |        0 |        0
1434.57/1435.05	c 1435s |      23 |  3362373 |  2625138 |     2478   2504 |        0 |        0
1436.57/1437.08	c 1437s |      23 |  3368215 |  2629338 |     2478   2508 |        0 |        0
1438.67/1439.10	c 1439s |      23 |  3373341 |  2633138 |     2478   2510 |        0 |        0
1440.67/1441.11	c 1441s |      23 |  3378212 |  2636338 |     2478   2513 |        0 |        0
1442.67/1443.12	c 1443s |      23 |  3383858 |  2640138 |     2478   2516 |        0 |        0
1444.67/1445.13	c 1445s |      23 |  3388653 |  2643438 |     2478   2518 |        0 |        0
1446.67/1447.18	c 1447s |      23 |  3393135 |  2646938 |     2478   2521 |        0 |        0
1448.66/1449.18	c 1449s |      23 |  3396936 |  2650138 |     2478   2523 |        0 |        0
1450.76/1451.20	c 1451s |      23 |  3401731 |  2653738 |     2478   2526 |        0 |        0
1452.77/1453.22	c 1453s |      23 |  3406810 |  2657538 |     2478   2529 |        0 |        0
1454.76/1455.27	c 1455s |      23 |  3412249 |  2661238 |     2478   2532 |        0 |        0
1456.86/1457.30	c 1457s |      23 |  3416745 |  2664538 |     2478   2534 |        0 |        0
1458.86/1459.34	c 1459s |      23 |  3421469 |  2668038 |     2478   2537 |        0 |        0
1460.96/1461.40	c 1461s |      23 |  3424619 |  2670638 |     2478   2539 |        0 |        0
1462.96/1463.43	c 1463s |      23 |  3427248 |  2672738 |     2478   2540 |        0 |        0
1464.96/1465.47	c 1465s |      23 |  3430630 |  2675338 |     2478   2542 |        0 |        0
1466.97/1467.48	c 1467s |      23 |  3435697 |  2678738 |     2478   2545 |        0 |        0
1468.96/1469.48	c 1469s |      23 |  3442100 |  2682338 |     2478   2548 |        0 |        0
1471.06/1471.52	c 1471s |      23 |  3447357 |  2686038 |     2478   2550 |        0 |        0
1473.06/1473.54	c 1473s |      23 |  3452323 |  2689738 |     2478   2553 |        0 |        0
1475.06/1475.56	c 1475s |      23 |  3457367 |  2693438 |     2478   2556 |        0 |        0
1477.06/1477.57	c 1477s |      23 |  3463109 |  2697038 |     2478   2559 |        0 |        0
1479.07/1479.59	c 1479s |      23 |  3468243 |  2700838 |     2478   2561 |        0 |        0
1481.16/1481.66	c 1481s |      23 |  3472504 |  2703838 |     2478   2564 |        0 |        0
1483.16/1483.67	c 1483s |      23 |  3476720 |  2706938 |     2478   2566 |        0 |        0
1485.26/1485.72	c 1485s |      23 |  3481402 |  2710338 |     2478   2569 |        0 |        0
1487.26/1487.74	c 1487s |      23 |  3486422 |  2713838 |     2478   2571 |        0 |        0
1489.26/1489.74	c 1489s |      23 |  3492243 |  2717338 |     2478   2574 |        0 |        0
1491.36/1491.84	c 1491s |      23 |  3496645 |  2720838 |     2478   2577 |        0 |        0
1493.36/1493.87	c 1493s |      23 |  3500661 |  2723838 |     2478   2579 |        0 |        0
1495.45/1495.92	c 1495s |      23 |  3504231 |  2726738 |     2478   2581 |        0 |        0
1497.45/1497.96	c 1497s |      23 |  3508032 |  2729738 |     2478   2583 |        0 |        0
1499.45/1499.96	c 1499s |      23 |  3511378 |  2732538 |     2478   2585 |        0 |        0
1501.45/1501.98	c 1501s |      23 |  3514849 |  2735538 |     2478   2587 |        0 |        0
1503.55/1504.01	c 1503s |      23 |  3519248 |  2738938 |     2478   2590 |        0 |        0
1505.56/1506.02	c 1505s |      23 |  3525736 |  2743238 |     2478   2593 |        0 |        0
1507.55/1508.07	c 1508s |      23 |  3530982 |  2747038 |     2478   2596 |        0 |        0
1509.65/1510.13	c 1510s |      23 |  3534618 |  2750038 |     2478   2598 |        0 |        0
1511.65/1512.17	c 1512s |      23 |  3538733 |  2753238 |     2478   2601 |        0 |        0
1513.65/1514.18	c 1514s |      23 |  3543665 |  2756738 |     2478   2603 |        0 |        0
1515.65/1516.18	c 1516s |      23 |  3547174 |  2759538 |     2478   2605 |        0 |        0
1517.75/1518.22	c 1518s |      23 |  3550942 |  2762538 |     2478   2608 |        0 |        0
1519.76/1520.28	c 1520s |      23 |  3555193 |  2765738 |     2478   2610 |        0 |        0
1521.75/1522.29	c 1522s |      23 |  3559301 |  2768938 |     2478   2612 |        0 |        0
1523.85/1524.31	c 1524s |      23 |  3564595 |  2772738 |     2478   2615 |        0 |        0
1525.85/1526.34	c 1526s |      23 |  3569389 |  2776238 |     2478   2618 |        0 |        0
1527.85/1528.38	c 1528s |      23 |  3575128 |  2780138 |     2478   2621 |        0 |        0
1529.95/1530.41	c 1530s |      23 |  3581631 |  2784338 |     2478   2624 |        0 |        0
1531.95/1532.45	c 1532s |      23 |  3588017 |  2788538 |     2478   2627 |        0 |        0
1533.94/1534.50	c 1534s |      23 |  3591987 |  2791538 |     2478   2629 |        0 |        0
1536.04/1536.55	c 1536s |      23 |  3595501 |  2794138 |     2478   2631 |        0 |        0
1538.14/1538.61	c 1538s |      23 |  3600026 |  2797138 |     2478   2634 |        0 |        0
1540.14/1540.64	c 1540s |      23 |  3603310 |  2799738 |     2478   2636 |        0 |        0
1542.14/1542.67	c 1542s |      23 |  3606495 |  2802138 |     2478   2637 |        0 |        0
1544.14/1544.68	c 1544s |      23 |  3611211 |  2805338 |     2478   2640 |        0 |        0
1546.25/1546.71	c 1546s |      23 |  3614180 |  2807738 |     2478   2642 |        0 |        0
1548.24/1548.74	c 1548s |      23 |  3616718 |  2809938 |     2478   2643 |        0 |        0
1550.34/1550.82	c 1550s |      23 |  3619598 |  2812338 |     2478   2645 |        0 |        0
1552.34/1552.86	c 1552s |      23 |  3624633 |  2815738 |     2478   2648 |        0 |        0
1554.34/1554.87	c 1554s |      23 |  3628661 |  2818838 |     2478   2650 |        0 |        0
1556.34/1556.90	c 1556s |      23 |  3632427 |  2821738 |     2478   2652 |        0 |        0
1558.45/1558.91	c 1558s |      23 |  3637697 |  2825338 |     2478   2655 |        0 |        0
1560.46/1560.95	c 1560s |      23 |  3642975 |  2828938 |     2478   2658 |        0 |        0
1562.45/1562.98	c 1562s |      23 |  3649630 |  2833338 |     2478   2661 |        0 |        0
1564.45/1564.99	c 1564s |      23 |  3656606 |  2837638 |     2478   2664 |        0 |        0
1566.55/1567.01	c 1566s |      23 |  3662676 |  2841738 |     2478   2667 |        0 |        0
1568.55/1569.05	c 1569s |      23 |  3668385 |  2845638 |     2478   2670 |        0 |        0
1570.55/1571.06	c 1571s |      23 |  3673135 |  2849038 |     2478   2673 |        0 |        0
1572.55/1573.06	c 1573s |      23 |  3678454 |  2852738 |     2478   2676 |        0 |        0
1574.55/1575.09	c 1575s |      23 |  3683939 |  2856438 |     2478   2678 |        0 |        0
1576.64/1577.12	c 1577s |      23 |  3689469 |  2860038 |     2478   2681 |        0 |        0
1578.64/1579.13	c 1579s |      23 |  3694558 |  2863738 |     2478   2684 |        0 |        0
1580.64/1581.16	c 1581s |      23 |  3699067 |  2867138 |     2478   2686 |        0 |        0
1582.64/1583.20	c 1583s |      23 |  3704040 |  2870638 |     2478   2689 |        0 |        0
1584.65/1585.20	c 1585s |      23 |  3709745 |  2874738 |     2478   2692 |        0 |        0
1586.74/1587.26	c 1587s |      23 |  3713371 |  2877638 |     2478   2694 |        0 |        0
1588.74/1589.28	c 1589s |      23 |  3717470 |  2880538 |     2478   2696 |        0 |        0
1590.74/1591.28	c 1591s |      23 |  3721564 |  2883438 |     2478   2699 |        0 |        0
1592.84/1593.32	c 1593s |      23 |  3726067 |  2886338 |     2478   2701 |        0 |        0
1594.84/1595.36	c 1595s |      23 |  3729779 |  2889138 |     2478   2703 |        0 |        0
1596.85/1597.38	c 1597s |      23 |  3733823 |  2892238 |     2478   2705 |        0 |        0
1598.95/1599.43	c 1599s |      23 |  3738255 |  2895538 |     2478   2708 |        0 |        0
1600.94/1601.47	c 1601s |      23 |  3742578 |  2899038 |     2478   2710 |        0 |        0
1603.04/1603.51	c 1603s |      23 |  3745933 |  2901738 |     2478   2712 |        0 |        0
1605.04/1605.55	c 1605s |      23 |  3749736 |  2904638 |     2478   2714 |        0 |        0
1607.14/1607.60	c 1607s |      23 |  3754884 |  2908438 |     2478   2717 |        0 |        0
1609.14/1609.63	c 1609s |      23 |  3759207 |  2911638 |     2478   2720 |        0 |        0
1611.15/1611.63	c 1611s |      23 |  3763905 |  2915238 |     2478   2722 |        0 |        0
1613.14/1613.65	c 1613s |      23 |  3767687 |  2918338 |     2478   2725 |        0 |        0
1615.14/1615.67	c 1615s |      23 |  3772137 |  2921738 |     2478   2727 |        0 |        0
1617.24/1617.72	c 1617s |      23 |  3775885 |  2924738 |     2478   2729 |        0 |        0
1619.24/1619.76	c 1619s |      23 |  3779808 |  2927638 |     2478   2732 |        0 |        0
1621.34/1621.80	c 1621s |      23 |  3783894 |  2930438 |     2478   2734 |        0 |        0
1623.34/1623.83	c 1623s |      23 |  3787537 |  2933038 |     2478   2736 |        0 |        0
1625.34/1625.86	c 1625s |      23 |  3791284 |  2935838 |     2478   2738 |        0 |        0
1627.34/1627.89	c 1627s |      23 |  3795372 |  2938738 |     2478   2740 |        0 |        0
1629.44/1629.90	c 1629s |      23 |  3798896 |  2941338 |     2478   2742 |        0 |        0
1631.44/1631.91	c 1631s |      23 |  3802577 |  2944038 |     2478   2744 |        0 |        0
1633.43/1633.99	c 1633s |      23 |  3806169 |  2946638 |     2478   2746 |        0 |        0
1635.53/1636.05	c 1636s |      23 |  3809521 |  2949138 |     2478   2748 |        0 |        0
1637.54/1638.07	c 1638s |      23 |  3814000 |  2952238 |     2478   2750 |        0 |        0
1639.64/1640.13	c 1640s |      23 |  3817035 |  2954738 |     2478   2752 |        0 |        0
1641.63/1642.19	c 1642s |      23 |  3820667 |  2957538 |     2478   2754 |        0 |        0
1643.73/1644.23	c 1644s |      23 |  3824145 |  2960138 |     2478   2756 |        0 |        0
1645.73/1646.24	c 1646s |      23 |  3827345 |  2962638 |     2478   2758 |        0 |        0
1647.73/1648.28	c 1648s |      23 |  3831924 |  2965838 |     2478   2760 |        0 |        0
1649.83/1650.34	c 1650s |      23 |  3835126 |  2968238 |     2478   2762 |        0 |        0
1651.84/1652.35	c 1652s |      23 |  3838214 |  2970638 |     2478   2764 |        0 |        0
1653.83/1654.37	c 1654s |      23 |  3841073 |  2972938 |     2478   2766 |        0 |        0
1655.93/1656.42	c 1656s |      23 |  3845312 |  2975938 |     2478   2768 |        0 |        0
1657.93/1658.46	c 1658s |      23 |  3851483 |  2980138 |     2478   2771 |        0 |        0
1659.93/1660.49	c 1660s |      23 |  3855736 |  2983338 |     2478   2773 |        0 |        0
1662.03/1662.51	c 1662s |      23 |  3860164 |  2986638 |     2478   2776 |        0 |        0
1664.03/1664.55	c 1664s |      23 |  3864572 |  2989638 |     2478   2778 |        0 |        0
1666.03/1666.59	c 1666s |      23 |  3868911 |  2992838 |     2478   2781 |        0 |        0
1668.13/1668.66	c 1668s |      23 |  3873398 |  2996138 |     2478   2783 |        0 |        0
1670.23/1670.74	c 1670s |      23 |  3877977 |  2999438 |     2478   2786 |        0 |        0
1672.23/1672.79	c 1672s |      23 |  3882444 |  3002638 |     2478   2788 |        0 |        0
1674.33/1674.82	c 1674s |      23 |  3886694 |  3005938 |     2478   2790 |        0 |        0
1676.33/1676.83	c 1676s |      23 |  3891652 |  3009338 |     2478   2793 |        0 |        0
1678.32/1678.85	c 1678s |      23 |  3896026 |  3012438 |     2478   2795 |        0 |        0
1680.33/1680.89	c 1680s |      23 |  3900661 |  3015838 |     2478   2798 |        0 |        0
1682.42/1682.93	c 1682s |      23 |  3905328 |  3019638 |     2478   2801 |        0 |        0
1684.42/1684.97	c 1684s |      23 |  3909963 |  3023338 |     2478   2803 |        0 |        0
1686.42/1686.99	c 1686s |      23 |  3914634 |  3026538 |     2478   2806 |        0 |        0
1688.52/1689.07	c 1689s |      23 |  3919870 |  3030238 |     2478   2809 |        0 |        0
1690.62/1691.11	c 1691s |      23 |  3925615 |  3033938 |     2478   2811 |        0 |        0
1692.62/1693.14	c 1693s |      23 |  3930757 |  3037538 |     2478   2814 |        0 |        0
1694.63/1695.14	c 1695s |      23 |  3935724 |  3040838 |     2478   2817 |        0 |        0
1696.62/1697.19	c 1697s |      23 |  3941100 |  3044638 |     2478   2819 |        0 |        0
1698.72/1699.23	c 1699s |      23 |  3944144 |  3047138 |     2478   2821 |        0 |        0
1700.72/1701.29	c 1701s |      23 |  3947797 |  3050038 |     2478   2823 |        0 |        0
1702.82/1703.33	c 1703s |      23 |  3951490 |  3052938 |     2478   2826 |        0 |        0
1704.82/1705.34	c 1705s |      23 |  3956223 |  3056538 |     2478   2828 |        0 |        0
1706.83/1707.39	c 1707s |      23 |  3961510 |  3060338 |     2478   2831 |        0 |        0
1708.93/1709.44	c 1709s |      23 |  3966031 |  3063638 |     2478   2834 |        0 |        0
1710.92/1711.47	c 1711s |      23 |  3971082 |  3067338 |     2478   2836 |        0 |        0
1713.02/1713.51	c 1713s |      23 |  3975377 |  3070538 |     2478   2839 |        0 |        0
1715.02/1715.53	c 1715s |      23 |  3979815 |  3073938 |     2478   2841 |        0 |        0
1717.02/1717.55	c 1717s |      23 |  3983380 |  3076938 |     2478   2844 |        0 |        0
1719.02/1719.57	c 1719s |      23 |  3988231 |  3080538 |     2478   2846 |        0 |        0
1721.12/1721.61	c 1721s |      23 |  3992532 |  3083838 |     2478   2849 |        0 |        0
1723.12/1723.68	c 1723s |      23 |  3996177 |  3086938 |     2478   2851 |        0 |        0
1725.22/1725.76	c 1725s |      23 |  4000111 |  3090038 |     2478   2854 |        0 |        0
1727.22/1727.78	c 1727s |      23 |  4004477 |  3093338 |     2478   2856 |        0 |        0
1729.32/1729.83	c 1729s |      23 |  4008607 |  3096338 |     2478   2858 |        0 |        0
1731.31/1731.85	c 1731s |      23 |  4012433 |  3099338 |     2478   2860 |        0 |        0
1733.31/1733.89	c 1733s |      23 |  4016312 |  3102438 |     2478   2863 |        0 |        0
1735.42/1735.93	c 1735s |      23 |  4020315 |  3105638 |     2478   2865 |        0 |        0
1737.41/1737.97	c 1737s |      23 |  4024068 |  3108738 |     2478   2868 |        0 |        0
1739.41/1739.98	c 1739s |      23 |  4027937 |  3111838 |     2478   2870 |        0 |        0
1741.51/1742.00	c 1741s |      23 |  4031992 |  3114938 |     2478   2872 |        0 |        0
1743.51/1744.05	c 1744s |      23 |  4035119 |  3117638 |     2478   2874 |        0 |        0
1745.61/1746.15	c 1746s |      23 |  4039288 |  3120838 |     2478   2877 |        0 |        0
1747.61/1748.16	c 1748s |      23 |  4043237 |  3123838 |     2478   2879 |        0 |        0
1749.62/1750.19	c 1750s |      23 |  4046564 |  3126738 |     2478   2881 |        0 |        0
1751.71/1752.24	c 1752s |      23 |  4050168 |  3129738 |     2478   2883 |        0 |        0
1753.71/1754.29	c 1754s |      23 |  4053757 |  3132638 |     2478   2885 |        0 |        0
1755.81/1756.35	c 1756s |      23 |  4057002 |  3135438 |     2478   2887 |        0 |        0
1757.91/1758.44	c 1758s |      23 |  4060177 |  3138138 |     2478   2889 |        0 |        0
1759.91/1760.48	c 1760s |      23 |  4063530 |  3140938 |     2478   2892 |        0 |        0
1762.01/1762.55	c 1762s |      23 |  4066819 |  3143638 |     2478   2894 |        0 |        0
1764.02/1764.58	c 1764s |      23 |  4069980 |  3146338 |     2478   2896 |        0 |        0
1766.12/1766.64	c 1766s |      23 |  4074747 |  3149938 |     2478   2898 |        0 |        0
1768.11/1768.68	c 1768s |      23 |  4078578 |  3153038 |     2478   2901 |        0 |        0
1770.21/1770.73	c 1770s |      23 |  4082593 |  3156138 |     2478   2903 |        0 |        0
1772.22/1772.77	c 1772s |      23 |  4086356 |  3159338 |     2478   2905 |        0 |        0
1774.22/1774.79	c 1774s |      23 |  4089710 |  3162138 |     2478   2907 |        0 |        0
1776.32/1776.82	c 1776s |      23 |  4093844 |  3165338 |     2478   2910 |        0 |        0
1778.32/1778.86	c 1778s |      23 |  4098075 |  3168638 |     2478   2912 |        0 |        0
1780.32/1780.88	c 1780s |      23 |  4102027 |  3171838 |     2478   2915 |        0 |        0
1782.32/1782.88	c 1782s |      23 |  4105347 |  3174738 |     2478   2917 |        0 |        0
1784.31/1784.89	c 1784s |      23 |  4109285 |  3177838 |     2478   2919 |        0 |        0
1786.41/1786.96	c 1786s |      23 |  4113320 |  3181238 |     2478   2922 |        0 |        0
1788.41/1788.96	c 1788s |      23 |  4118133 |  3184838 |     2478   2924 |        0 |        0
1790.51/1791.01	c 1790s |      23 |  4123162 |  3189238 |     2478   2928 |        0 |        0
1792.52/1793.03	c 1792s |      23 |  4128125 |  3192938 |     2478   2930 |        0 |        0
1794.51/1795.10	c 1795s |      23 |  4132673 |  3196438 |     2478   2933 |        0 |        0
1796.61/1797.13	c 1797s |      23 |  4137034 |  3199838 |     2478   2935 |        0 |        0
1798.61/1799.13	c 1799s |      23 |  4141089 |  3203138 |     2478   2938 |        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-4109112-1466293304/watcher-4109112-1466293304 -o /tmp/evaluation-result-4109112-1466293304/solver-4109112-1466293304 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466291484-16244 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4109112-1466293304.opb 

pid=16514
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.27 2.28 2.18 3/179 16517
/proc/meminfo: memFree=29277876/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=675260 CPUtime=0 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 2510 0 0 0 0 0 0 0 20 0 4 0 31377205 691466240 2360 33554432000 4194304 16246674 140737308106944 140737308106368 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 169327 2370 441 2943 0 166221 0
[pid=16517/tid=16518] ppid=16514 vsize=692668 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 709292032 2427 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=696764 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 713486336 2445 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=700860 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31377205 717680640 2462 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100162 s]
/proc/loadavg: 2.27 2.28 2.18 3/179 16517
/proc/meminfo: memFree=29277876/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 24035 0 0 0 6 3 0 0 20 0 4 0 31377205 1247350784 23874 33554432000 4194304 16246674 140737308106944 140737308106368 6021007 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 304529 23886 743 2943 0 301423 0
[pid=16517/tid=16518] ppid=16514 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1247350784 23893 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1247350784 23903 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31377205 1247350784 23911 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20053 s]
/proc/loadavg: 2.27 2.28 2.18 3/179 16517
/proc/meminfo: memFree=29277876/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 41344 0 0 0 14 5 0 0 20 0 4 0 31377205 1247350784 41183 33554432000 4194304 16246674 140737308106944 140737308106368 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 304529 41193 750 2943 0 301423 0
[pid=16517/tid=16518] ppid=16514 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1247350784 41199 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1247350784 41209 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31377205 1247350784 41216 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.27 2.28 2.18 3/179 16517
/proc/meminfo: memFree=29277876/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 65394 0 0 0 20 9 0 0 20 0 4 0 31377205 1247350784 65232 33554432000 4194304 16246674 140737308106944 140737308106368 13759916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 304529 65241 750 2943 0 301423 0
[pid=16517/tid=16518] ppid=16514 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1247350784 65249 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1247350784 65257 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31377205 1247350784 65269 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700416 s]
/proc/loadavg: 2.27 2.28 2.18 3/179 16517
/proc/meminfo: memFree=29277876/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 149737 0 0 0 48 21 0 0 20 0 4 0 31377205 1247350784 149576 33554432000 4194304 16246674 140737308106944 140737308088832 5724508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 304529 149592 750 2943 0 301423 0
[pid=16517/tid=16518] ppid=16514 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1247350784 149602 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1247350784 149612 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31377205 1247350784 149619 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.25 2.28 2.18 3/183 16521
/proc/meminfo: memFree=28407240/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1220164 CPUtime=1.49 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 246031 0 0 0 116 33 0 0 20 0 4 0 31377205 1249447936 245846 33554432000 4194304 16246674 140737308106944 140737308106256 13966742 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 305041 245846 825 2943 0 301935 0
[pid=16517/tid=16518] ppid=16514 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1249447936 245846 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1249447936 245846 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31377205 1249447936 245846 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.10043 s]
/proc/loadavg: 2.25 2.28 2.18 3/183 16521
/proc/meminfo: memFree=28212188/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 267461 0 0 0 272 37 0 0 20 0 4 0 31377205 1337528320 267276 33554432000 4194304 16246674 140737308106944 140737308088832 7250418 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 326545 267276 826 2943 0 323439 0
[pid=16517/tid=16518] ppid=16514 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1337528320 267276 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1337528320 267276 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31377205 1337528320 267276 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.25 2.28 2.18 3/183 16521
/proc/meminfo: memFree=28208276/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 267821 0 0 0 592 37 0 0 20 0 4 0 31377205 1338576896 267636 33554432000 4194304 16246674 140737308106944 140737308088832 6837238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 326801 267636 826 2943 0 323695 0
[pid=16517/tid=16518] ppid=16514 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1338576896 267636 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1338576896 267636 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31377205 1338576896 267636 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.29 2.28 2.18 3/183 16521
/proc/meminfo: memFree=28200896/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 267970 0 0 0 1232 37 0 0 20 0 4 0 31377205 1339625472 267785 33554432000 4194304 16246674 140737308106944 140737308088832 12483512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 327057 267785 828 2943 0 323951 0
[pid=16517/tid=16518] ppid=16514 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1339625472 267785 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1339625472 267785 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31377205 1339625472 267785 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.24 2.27 2.18 3/183 16521
/proc/meminfo: memFree=28193352/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1312324 CPUtime=25.49 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 268934 0 0 0 2512 37 0 0 20 0 4 0 31377205 1343819776 268749 33554432000 4194304 16246674 140737308106944 140737308088832 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 328081 268749 828 2943 0 324975 0
[pid=16517/tid=16518] ppid=16514 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1343819776 268749 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1343819776 268749 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31377205 1343819776 268749 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.30 2.28 2.19 3/183 16521
/proc/meminfo: memFree=28185264/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 269156 0 0 0 5071 37 0 0 20 0 4 0 31377205 1343819776 268971 33554432000 4194304 16246674 140737308106944 140737308088832 12477844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 328081 268971 828 2943 0 324975 0
[pid=16517/tid=16518] ppid=16514 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1343819776 268971 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1343819776 268971 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31377205 1343819776 268971 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.17 2.25 2.18 3/183 16523
/proc/meminfo: memFree=28158132/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 269668 0 0 0 10190 38 0 0 20 0 4 0 31377205 1345916928 269483 33554432000 4194304 16246674 140737308106944 140737308088832 5659568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 328593 269483 828 2943 0 325487 0
[pid=16517/tid=16518] ppid=16514 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1345916928 269483 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1345916928 269483 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31377205 1345916928 269483 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1322564

[startup+1362.3 s]
/proc/loadavg: 2.25 2.23 2.18 3/183 16577
/proc/meminfo: memFree=28122888/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1322564 CPUtime=1361.88 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 272129 0 0 0 136139 49 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140737308088832 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 330641 271789 830 2943 0 327535 0
[pid=16517/tid=16518] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1322564

[startup+1422.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/183 16578
/proc/meminfo: memFree=28123032/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1322564 CPUtime=1421.88 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 272151 0 0 0 142138 50 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140737308088832 5825441 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 330641 271789 830 2943 0 327535 0
[pid=16517/tid=16518] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1322564

[startup+1482.3 s]
/proc/loadavg: 2.25 2.22 2.18 4/183 16579
/proc/meminfo: memFree=28123252/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1322564 CPUtime=1481.86 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 272151 0 0 0 148136 50 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140737308088832 12483317 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 330641 271789 830 2943 0 327535 0
[pid=16517/tid=16518] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1322564

[startup+1542.31 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 16580
/proc/meminfo: memFree=28123264/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1322564 CPUtime=1541.85 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 272151 0 0 0 154135 50 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140737308088832 5546243 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 330641 271789 830 2943 0 327535 0
[pid=16517/tid=16518] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1322564

[startup+1602.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/182 16581
/proc/meminfo: memFree=28123392/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1322564 CPUtime=1601.84 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 272151 0 0 0 160133 51 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140737308088832 5672230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 330641 271789 830 2943 0 327535 0
[pid=16517/tid=16518] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1322564

[startup+1662.3 s]
/proc/loadavg: 2.32 2.23 2.19 4/183 16583
/proc/meminfo: memFree=28123268/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1322564 CPUtime=1661.83 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 272151 0 0 0 166132 51 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140737308088832 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 330641 271789 830 2943 0 327535 0
[pid=16517/tid=16518] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1322564

[startup+1722.3 s]
/proc/loadavg: 2.25 2.23 2.19 3/184 16587
/proc/meminfo: memFree=28123044/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1322564 CPUtime=1721.82 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 272151 0 0 0 172131 51 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140737308088832 5712672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 330641 271789 830 2943 0 327535 0
[pid=16517/tid=16518] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1322564

[startup+1782.3 s]
/proc/loadavg: 2.17 2.22 2.18 3/183 16588
/proc/meminfo: memFree=28122680/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1322564 CPUtime=1781.82 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 272151 0 0 0 178130 52 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140737308088832 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 330641 271789 830 2943 0 327535 0
[pid=16517/tid=16518] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1322564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.99 2.17 2.17 3/173 16619
/proc/meminfo: memFree=29296452/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1322564 CPUtime=1800.01 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 272151 0 0 0 179949 52 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140737308088832 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 330641 271789 830 2943 0 327535 0
[pid=16517/tid=16518] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1322564

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16517 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 1.99 2.17 2.17 3/173 16619
/proc/meminfo: memFree=29296452/32872528 swapFree=1286400/1433568
[pid=16517] ppid=16514 vsize=1322564 CPUtime=1800.01 cores=1,3,5,7
/proc/16517/stat : 16517 (toysat) R 16514 16517 16227 0 -1 4202496 272151 0 0 0 179949 52 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140737308088832 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16517/statm: 330641 271789 830 2943 0 327535 0
[pid=16517/tid=16518] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16518/stat : 16518 (toysat) S 16514 16517 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445819579632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16517/tid=16519] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16519/stat : 16519 (toysat) S 16514 16517 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445809089776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16517/tid=16520] ppid=16514 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/16517/task/16520/stat : 16520 (toysat) S 16514 16517 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31377205 1354305536 271789 33554432000 4194304 16246674 140737308106944 140445798616240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1322564

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.5
CPU system time (s): 0.52292
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 1322564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.52292
maximum resident set size= 1087156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272151
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= 447
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42033 second user time and 7.10392 second system time

The end

Begin job on node130 at 2016-06-19 01:41:44
IDJOB=4109112
IDBENCH=89868
IDSOLVER=2542
FILE ID=node130/4109112-1466293304
RUNJOBID= node130-1466291484-16244
PBS_JOBID= 19918279
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos788725.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109112-1466293304/watcher-4109112-1466293304 -o /tmp/evaluation-result-4109112-1466293304/solver-4109112-1466293304 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466291484-16244 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4109112-1466293304.opb

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

MD5SUM BENCH= 8629904c9ea425e42543cd04547905ca
RANDOM SEED=914933589

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29278512 kB
Buffers:           72048 kB
Cached:           257300 kB
SwapCached:         1872 kB
Active:          1187964 kB
Inactive:         232776 kB
Active(anon):    1091656 kB
Inactive(anon):     2212 kB
Active(file):      96308 kB
Inactive(file):   230564 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67098744 kB
Dirty:             33368 kB
Writeback:             0 kB
AnonPages:       2524316 kB
Mapped:            10500 kB
Shmem:                 0 kB
Slab:             605248 kB
SReclaimable:      48620 kB
SUnreclaim:       556628 kB
KernelStack:        1456 kB
PageTables:         9016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2669088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 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= 71732 MiB
End job on node130 at 2016-06-19 02:11:45