0.00/0.00	c 2016-06-15T22:08:59+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-4089092-1466021339.opb"]
0.00/0.01	c use --random-gen="929284928 1073527011 1407505767 4247592780 4196135999 2672362185 1931737289 1741902235 1511975270 2396532166 2374851572 3913729163 634496205 4176708367 1195035095 1635155412 1698869979 2977363540 3965261888 411674903 3964279863 2746861639 1681774244 2750034602 4158716759 350356273 2119045113 2428157399 3592131992 2224099111 4023254082 676588093 1851541660 2371522665 3796092820 657591402 2489406233 1883509813 394094928 3107446617 233258229 1882752058 3711827763 2437088885 2137720275 229565552 2001617295 1077053558 533334269 3881566292 2181349804 515165234 4061503012 1299168263 1461006580 3473217611 2361670884 1012448313 2616410355 3565059191 3402434004 426109645 4240338090 1824151403 2384328116 4200297278 1843884093 1539458210 4226625588 222364844 1200972336 1598136587 3040931406 3907881534 985389021 2797568422 2131376823 1932779899 1606842118 2692908067 663103857 2086191899 2560913290 3992480370 597096065 1625504706 1476216766 3259241700 3241421301 3385123443 293111582 1856527138 2277846569 495059843 3451462362 374807679 3752543622 3974705791 2947446789 560031099 2360870960 1177581902 2669787524 2898517559 3080029293 3166896430 3258070651 3511261450 1863489293 132931501 1074819388 2465105976 1831513203 3209749823 938855257 3865671513 3431408712 581875157 1519193591 852900731 2169245017 1410733592 196434384 1099214762 447855742 2226683430 3110891340 1802753743 4276673154 377396148 4142793376 3212226975 4241075015 3366384828 3113998935 402522866 2930414772 798138732 3294896143 3473745366 1337015843 3617114334 370630443 2025709046 756076912 688453749 3457876454 3337428674 1472574447 1019095340 1856857180 3183054031 2591027217 1528010466 1360713301 1381292273 3457934452 444338986 1259768569 1754302007 1649102323 3824381981 1401670266 1879762927 712796291 1099938176 3290429065 3270737259 91575941 3834285695 3486604638 347475115 1898716546 3070051867 3646182747 764355826 4256742469 2617461267 809231619 1704084708 1409673560 1766345776 1453522334 1675395545 790731821 893703175 701014384 395552924 1879635667 364442945 3368346216 4226054461 3373183917 2505649597 3230773029 577022464 780549632 3806637454 258086550 2358932643 2599504569 1812368235 588546539 1204182470 502402553 666299630 3520114873 3961442760 3691966349 4278976636 4206151325 4037758109 3091293251 1725562839 1083724959 545838192 1541260210 107633003 2536525583 3771542628 2700387988 3922395381 4275171533 1921163719 2946768305 3079232901 2438232298 3862447879 3056176309 343675331 1332337518 2285995206 123727029 943861235 3741949283 3894561827 2840406213 2137498554 3987525858 1004902194 423999822 2197643943 2475377751 3163915817 865163144 2911247072 4249425461 1710244323 1154346103 4289781661 3116832377 3410603510 1483787923 3414471504 3871705715 2788053747 255 362436" option to reproduce the execution
0.00/0.01	c #vars 138
0.00/0.01	c #constraints 277
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      138      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      163 |      100 |      138      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      389 |      250 |      152      1 |        0 |        0
0.00/0.09	c  0.1s |       3 |      677 |      475 |      168      3 |        0 |        0
0.08/0.16	c  0.1s |       4 |     1079 |      813 |      185      5 |        0 |        0
0.19/0.26	c  0.2s |       5 |     1668 |     1320 |      204      9 |        0 |        0
0.39/0.41	c  0.4s |       6 |     2505 |     2081 |      248     15 |        0 |        0
0.59/0.64	c  0.6s |       7 |     3719 |     3223 |      273     22 |        0 |        0
0.89/0.93	c  0.9s |       8 |     5523 |     4936 |      301     32 |        0 |        0
1.20/1.27	c  1.3s |       9 |     8161 |     7506 |      332     46 |        0 |        0
1.79/1.80	c  1.8s |      10 |    12104 |    11361 |      366     66 |        0 |        0
2.49/2.57	c  2.6s |      11 |    18158 |    17144 |      403     93 |        0 |        0
3.69/3.76	c  3.7s |      12 |    27028 |    25819 |      444    130 |        0 |        0
5.49/5.53	c  5.5s |      13 |    40517 |    38832 |      489    182 |        0 |        0
7.48/7.53	c  7.5s |      13 |    55361 |    53232 |      489    235 |        0 |        0
8.18/8.26	c  8.2s |      14 |    60672 |    58352 |      538    253 |        0 |        0
10.18/10.27	c 10.3s |      14 |    75581 |    72852 |      538    302 |        0 |        0
12.19/12.28	c 12.3s |      14 |    90450 |    87252 |      592    350 |        0 |        0
12.28/12.34	c 12.3s |      15 |    90861 |    87632 |      592    351 |        0 |        0
14.29/14.35	c 14.3s |      15 |   105618 |   101932 |      592    395 |        0 |        0
16.28/16.35	c 16.3s |      15 |   120219 |   116032 |      592    439 |        0 |        0
18.28/18.36	c 18.4s |      15 |   134794 |   129932 |      592    482 |        0 |        0
18.48/18.59	c 18.6s |      16 |   136529 |   131552 |      652    486 |        0 |        0
20.58/20.61	c 20.6s |      16 |   151637 |   146052 |      652    527 |        0 |        0
22.58/22.62	c 22.6s |      16 |   166379 |   160152 |      652    567 |        0 |        0
24.58/24.62	c 24.6s |      16 |   181188 |   174052 |      652    606 |        0 |        0
26.59/26.63	c 26.6s |      16 |   195994 |   188352 |      652    647 |        0 |        0
27.89/27.94	c 27.9s |      17 |   205487 |   197432 |      718    672 |        0 |        0
29.89/29.96	c 29.9s |      17 |   220184 |   211432 |      718    708 |        0 |        0
31.89/31.97	c 32.0s |      17 |   234583 |   225232 |      718    744 |        0 |        0
33.89/33.97	c 34.0s |      17 |   248867 |   238632 |      718    778 |        0 |        0
35.89/35.98	c 36.0s |      17 |   263061 |   252032 |      718    813 |        0 |        0
37.89/37.99	c 38.0s |      17 |   276896 |   265232 |      718    847 |        0 |        0
39.99/40.00	c 40.0s |      17 |   290630 |   278432 |      718    881 |        0 |        0
41.98/42.01	c 42.0s |      17 |   304404 |   291532 |      718    915 |        0 |        0
42.58/42.70	c 42.7s |      18 |   309459 |   296252 |      790    927 |        0 |        0
44.68/44.70	c 44.7s |      18 |   323882 |   309852 |      790    959 |        0 |        0
46.68/46.70	c 46.7s |      18 |   338131 |   323352 |      790    991 |        0 |        0
48.68/48.71	c 48.7s |      18 |   352276 |   336752 |      790   1022 |        0 |        0
50.69/50.72	c 50.7s |      18 |   366512 |   350252 |      790   1054 |        0 |        0
52.68/52.73	c 52.7s |      18 |   380354 |   363452 |      790   1086 |        0 |        0
54.68/54.74	c 54.7s |      18 |   394537 |   376752 |      790   1117 |        0 |        0
56.68/56.75	c 56.7s |      18 |   408659 |   390152 |      790   1149 |        0 |        0
58.68/58.76	c 58.7s |      18 |   422902 |   403652 |      790   1181 |        0 |        0
60.68/60.76	c 60.7s |      18 |   436890 |   417052 |      790   1212 |        0 |        0
62.69/62.78	c 62.8s |      18 |   451356 |   430252 |      790   1244 |        0 |        0
64.68/64.78	c 64.8s |      18 |   465382 |   443652 |      870   1275 |        0 |        0
64.78/64.90	c 64.9s |      19 |   466237 |   444482 |      870   1276 |        0 |        0
66.88/66.91	c 66.9s |      19 |   480662 |   458182 |      870   1306 |        0 |        0
68.88/68.92	c 68.9s |      19 |   494747 |   471582 |      870   1335 |        0 |        0
70.88/70.93	c 70.9s |      19 |   509111 |   485082 |      870   1364 |        0 |        0
72.87/72.94	c 72.9s |      19 |   522981 |   498182 |      870   1392 |        0 |        0
74.88/74.94	c 74.9s |      19 |   537106 |   511482 |      870   1421 |        0 |        0
76.87/76.95	c 76.9s |      19 |   551185 |   524482 |      870   1449 |        0 |        0
78.88/78.97	c 79.0s |      19 |   565783 |   537982 |      870   1478 |        0 |        0
80.88/80.97	c 81.0s |      19 |   579886 |   551282 |      870   1507 |        0 |        0
82.88/82.98	c 83.0s |      19 |   593746 |   564182 |      870   1535 |        0 |        0
84.88/84.98	c 85.0s |      19 |   607217 |   577082 |      870   1563 |        0 |        0
86.89/86.99	c 87.0s |      19 |   621027 |   590182 |      870   1591 |        0 |        0
88.98/89.00	c 89.0s |      19 |   634729 |   603182 |      870   1619 |        0 |        0
90.98/91.01	c 91.0s |      19 |   648369 |   615882 |      870   1647 |        0 |        0
92.98/93.03	c 93.0s |      19 |   662329 |   628782 |      870   1675 |        0 |        0
94.98/95.03	c 95.0s |      19 |   675850 |   641782 |      870   1703 |        0 |        0
96.98/97.03	c 97.0s |      19 |   689410 |   654782 |      870   1731 |        0 |        0
98.88/98.93	c 98.9s |      20 |   702051 |   666827 |      958   1756 |        0 |        0
100.88/100.93	c  100s |      20 |   715739 |   679727 |      958   1781 |        0 |        0
102.88/102.94	c  102s |      20 |   729626 |   692727 |      958   1807 |        0 |        0
104.88/104.96	c  104s |      20 |   743593 |   705627 |      958   1833 |        0 |        0
106.87/106.97	c  106s |      20 |   757293 |   718527 |      958   1858 |        0 |        0
108.88/108.98	c  108s |      20 |   770519 |   731227 |      958   1883 |        0 |        0
110.87/110.99	c  110s |      20 |   783962 |   744027 |      958   1908 |        0 |        0
112.97/113.00	c  112s |      20 |   797608 |   756727 |      958   1933 |        0 |        0
114.97/115.00	c  114s |      20 |   811026 |   769527 |      958   1959 |        0 |        0
116.97/117.01	c  116s |      20 |   824084 |   782027 |      958   1983 |        0 |        0
118.97/119.02	c  119s |      20 |   837449 |   794727 |      958   2009 |        0 |        0
120.98/121.03	c  121s |      20 |   850812 |   807327 |      958   2034 |        0 |        0
122.97/123.04	c  123s |      20 |   865563 |   820627 |      958   2060 |        0 |        0
124.97/125.04	c  125s |      20 |   879449 |   833627 |      958   2085 |        0 |        0
126.97/127.04	c  127s |      20 |   892824 |   846427 |      958   2111 |        0 |        0
128.97/129.05	c  129s |      20 |   907056 |   859427 |      958   2137 |        0 |        0
130.97/131.06	c  131s |      20 |   921051 |   872127 |      958   2162 |        0 |        0
132.97/133.07	c  133s |      20 |   934528 |   885127 |      958   2187 |        0 |        0
134.97/135.08	c  135s |      20 |   947732 |   897827 |      958   2213 |        0 |        0
136.97/137.09	c  137s |      20 |   960684 |   910327 |      958   2237 |        0 |        0
139.06/139.10	c  139s |      20 |   973978 |   923027 |      958   2262 |        0 |        0
141.07/141.11	c  141s |      20 |   987140 |   935727 |      958   2288 |        0 |        0
143.08/143.12	c  143s |      20 |  1000395 |   948427 |      958   2313 |        0 |        0
145.07/145.13	c  145s |      20 |  1013682 |   961027 |      958   2338 |        0 |        0
147.07/147.15	c  147s |      20 |  1026938 |   973727 |      958   2363 |        0 |        0
149.07/149.16	c  149s |      20 |  1040026 |   986227 |      958   2388 |        0 |        0
151.07/151.16	c  151s |      20 |  1052931 |   998227 |     1054   2410 |        0 |        0
151.37/151.49	c  151s |      21 |  1055118 |  1000345 |     1054   2414 |        0 |        0
153.37/153.49	c  153s |      21 |  1068323 |  1012845 |     1054   2437 |        0 |        0
155.47/155.51	c  155s |      21 |  1081673 |  1025545 |     1054   2460 |        0 |        0
157.47/157.52	c  157s |      21 |  1095431 |  1038145 |     1054   2482 |        0 |        0
159.47/159.52	c  159s |      21 |  1108702 |  1050645 |     1054   2505 |        0 |        0
161.47/161.53	c  161s |      21 |  1121903 |  1063245 |     1054   2528 |        0 |        0
163.47/163.53	c  163s |      21 |  1134977 |  1075645 |     1054   2550 |        0 |        0
165.46/165.54	c  165s |      21 |  1147905 |  1087645 |     1054   2571 |        0 |        0
167.46/167.54	c  167s |      21 |  1160931 |  1100045 |     1054   2594 |        0 |        0
169.47/169.55	c  169s |      21 |  1173978 |  1112645 |     1054   2617 |        0 |        0
171.46/171.55	c  171s |      21 |  1186950 |  1125045 |     1054   2639 |        0 |        0
173.46/173.56	c  173s |      21 |  1199889 |  1137445 |     1054   2661 |        0 |        0
175.46/175.56	c  175s |      21 |  1212709 |  1149845 |     1054   2684 |        0 |        0
177.46/177.57	c  177s |      21 |  1225590 |  1162145 |     1054   2706 |        0 |        0
179.46/179.57	c  179s |      21 |  1238253 |  1174445 |     1054   2728 |        0 |        0
181.47/181.57	c  181s |      21 |  1250852 |  1186645 |     1054   2750 |        0 |        0
183.46/183.58	c  183s |      21 |  1263771 |  1199045 |     1054   2772 |        0 |        0
185.46/185.58	c  185s |      21 |  1276489 |  1211345 |     1054   2795 |        0 |        0
187.46/187.58	c  187s |      21 |  1289215 |  1223645 |     1054   2817 |        0 |        0
189.46/189.58	c  189s |      21 |  1302009 |  1235645 |     1054   2839 |        0 |        0
191.46/191.59	c  191s |      21 |  1314980 |  1247845 |     1054   2861 |        0 |        0
193.46/193.60	c  193s |      21 |  1327838 |  1260145 |     1054   2883 |        0 |        0
195.56/195.61	c  195s |      21 |  1340458 |  1272245 |     1054   2904 |        0 |        0
197.56/197.62	c  197s |      21 |  1353101 |  1284445 |     1054   2926 |        0 |        0
199.56/199.63	c  199s |      21 |  1365889 |  1296445 |     1054   2948 |        0 |        0
201.56/201.64	c  201s |      21 |  1378354 |  1308145 |     1054   2969 |        0 |        0
203.56/203.66	c  203s |      21 |  1392119 |  1320545 |     1054   2992 |        0 |        0
205.56/205.67	c  205s |      21 |  1405217 |  1333145 |     1054   3014 |        0 |        0
207.56/207.69	c  207s |      21 |  1418427 |  1345645 |     1054   3037 |        0 |        0
209.56/209.69	c  209s |      21 |  1431191 |  1357945 |     1054   3059 |        0 |        0
211.65/211.70	c  211s |      21 |  1444112 |  1370045 |     1054   3081 |        0 |        0
213.65/213.71	c  213s |      21 |  1456966 |  1382345 |     1054   3103 |        0 |        0
215.66/215.71	c  215s |      21 |  1470161 |  1394745 |     1054   3125 |        0 |        0
217.65/217.73	c  217s |      21 |  1482939 |  1407045 |     1054   3148 |        0 |        0
219.65/219.74	c  219s |      21 |  1495596 |  1419245 |     1054   3170 |        0 |        0
221.65/221.74	c  221s |      21 |  1508754 |  1431645 |     1054   3192 |        0 |        0
223.65/223.75	c  223s |      21 |  1521679 |  1444045 |     1054   3214 |        0 |        0
225.65/225.77	c  225s |      21 |  1534536 |  1456345 |     1054   3237 |        0 |        0
227.66/227.78	c  227s |      21 |  1547184 |  1468545 |     1054   3259 |        0 |        0
229.65/229.78	c  229s |      21 |  1559841 |  1480645 |     1054   3281 |        0 |        0
231.65/231.79	c  231s |      21 |  1572988 |  1493145 |     1160   3302 |        0 |        0
232.95/233.01	c  233s |      22 |  1580902 |  1500622 |     1160   3315 |        0 |        0
234.96/235.02	c  235s |      22 |  1593836 |  1512822 |     1160   3335 |        0 |        0
236.96/237.03	c  237s |      22 |  1606628 |  1525122 |     1160   3355 |        0 |        0
238.96/239.04	c  239s |      22 |  1619253 |  1537122 |     1160   3375 |        0 |        0
240.96/241.05	c  241s |      22 |  1632484 |  1549722 |     1160   3395 |        0 |        0
242.96/243.06	c  243s |      22 |  1645838 |  1562222 |     1160   3416 |        0 |        0
244.96/245.07	c  245s |      22 |  1658773 |  1574522 |     1160   3436 |        0 |        0
246.96/247.08	c  247s |      22 |  1671671 |  1586622 |     1160   3456 |        0 |        0
248.95/249.09	c  249s |      22 |  1684417 |  1598622 |     1160   3476 |        0 |        0
250.95/251.09	c  251s |      22 |  1697736 |  1611122 |     1160   3497 |        0 |        0
253.06/253.10	c  253s |      22 |  1710856 |  1623522 |     1160   3517 |        0 |        0
255.05/255.11	c  255s |      22 |  1723967 |  1635922 |     1160   3537 |        0 |        0
257.05/257.11	c  257s |      22 |  1737161 |  1648022 |     1160   3557 |        0 |        0
259.05/259.12	c  259s |      22 |  1749840 |  1659922 |     1160   3577 |        0 |        0
261.05/261.13	c  261s |      22 |  1762586 |  1671922 |     1160   3597 |        0 |        0
263.05/263.14	c  263s |      22 |  1775720 |  1683922 |     1160   3616 |        0 |        0
265.06/265.15	c  265s |      22 |  1788453 |  1696122 |     1160   3636 |        0 |        0
267.05/267.15	c  267s |      22 |  1800811 |  1707922 |     1160   3656 |        0 |        0
269.05/269.15	c  269s |      22 |  1813470 |  1719822 |     1160   3675 |        0 |        0
271.05/271.16	c  271s |      22 |  1825985 |  1731722 |     1160   3695 |        0 |        0
273.05/273.17	c  273s |      22 |  1838535 |  1743522 |     1160   3714 |        0 |        0
275.06/275.18	c  275s |      22 |  1851062 |  1755622 |     1160   3734 |        0 |        0
277.05/277.20	c  277s |      22 |  1863703 |  1767722 |     1160   3754 |        0 |        0
279.15/279.21	c  279s |      22 |  1876333 |  1779822 |     1160   3774 |        0 |        0
281.15/281.22	c  281s |      22 |  1889289 |  1792022 |     1160   3794 |        0 |        0
283.15/283.22	c  283s |      22 |  1902184 |  1804122 |     1160   3814 |        0 |        0
285.15/285.23	c  285s |      22 |  1915184 |  1816122 |     1160   3834 |        0 |        0
287.15/287.24	c  287s |      22 |  1927949 |  1828322 |     1160   3854 |        0 |        0
289.15/289.26	c  289s |      22 |  1940690 |  1840222 |     1160   3874 |        0 |        0
291.14/291.27	c  291s |      22 |  1953047 |  1852122 |     1160   3893 |        0 |        0
293.14/293.28	c  293s |      22 |  1965562 |  1864122 |     1160   3913 |        0 |        0
295.14/295.29	c  295s |      22 |  1978203 |  1876322 |     1160   3933 |        0 |        0
297.14/297.29	c  297s |      22 |  1990644 |  1888122 |     1160   3953 |        0 |        0
299.15/299.30	c  299s |      22 |  2003194 |  1900022 |     1160   3972 |        0 |        0
301.24/301.31	c  301s |      22 |  2015664 |  1911822 |     1160   3992 |        0 |        0
303.24/303.32	c  303s |      22 |  2028424 |  1923722 |     1160   4011 |        0 |        0
305.24/305.33	c  305s |      22 |  2041044 |  1935522 |     1160   4031 |        0 |        0
307.24/307.34	c  307s |      22 |  2053783 |  1947422 |     1160   4050 |        0 |        0
309.24/309.34	c  309s |      22 |  2066892 |  1959422 |     1160   4070 |        0 |        0
311.24/311.35	c  311s |      22 |  2079909 |  1971522 |     1160   4090 |        0 |        0
313.24/313.36	c  313s |      22 |  2092404 |  1983422 |     1160   4110 |        0 |        0
315.24/315.38	c  315s |      22 |  2104879 |  1995322 |     1160   4129 |        0 |        0
317.24/317.39	c  317s |      22 |  2117402 |  2007122 |     1160   4149 |        0 |        0
319.24/319.39	c  319s |      22 |  2130256 |  2018622 |     1160   4168 |        0 |        0
321.34/321.40	c  321s |      22 |  2142727 |  2030022 |     1160   4186 |        0 |        0
323.35/323.41	c  323s |      22 |  2155341 |  2041222 |     1160   4205 |        0 |        0
325.35/325.42	c  325s |      22 |  2167844 |  2053022 |     1160   4224 |        0 |        0
327.34/327.44	c  327s |      22 |  2180432 |  2064622 |     1160   4243 |        0 |        0
329.34/329.45	c  329s |      22 |  2192695 |  2076122 |     1160   4262 |        0 |        0
331.34/331.45	c  331s |      22 |  2204875 |  2087422 |     1160   4281 |        0 |        0
333.35/333.47	c  333s |      22 |  2217457 |  2099122 |     1160   4300 |        0 |        0
335.34/335.47	c  335s |      22 |  2229545 |  2110622 |     1160   4319 |        0 |        0
337.34/337.47	c  337s |      22 |  2241917 |  2122422 |     1160   4339 |        0 |        0
339.34/339.49	c  339s |      22 |  2254582 |  2134222 |     1160   4358 |        0 |        0
341.44/341.50	c  341s |      22 |  2266953 |  2146022 |     1160   4378 |        0 |        0
343.44/343.52	c  343s |      22 |  2279744 |  2157822 |     1160   4397 |        0 |        0
345.44/345.52	c  345s |      22 |  2291973 |  2169422 |     1160   4416 |        0 |        0
347.44/347.53	c  347s |      22 |  2304464 |  2181222 |     1160   4436 |        0 |        0
349.43/349.55	c  349s |      22 |  2316839 |  2192722 |     1160   4455 |        0 |        0
351.43/351.56	c  351s |      22 |  2328969 |  2204222 |     1160   4474 |        0 |        0
353.43/353.57	c  353s |      22 |  2341825 |  2216322 |     1160   4494 |        0 |        0
355.43/355.57	c  355s |      22 |  2354606 |  2228422 |     1160   4514 |        0 |        0
357.44/357.59	c  357s |      22 |  2367014 |  2240422 |     1276   4533 |        0 |        0
359.24/359.35	c  359s |      23 |  2378081 |  2251038 |     1276   4549 |        0 |        0
361.24/361.36	c  361s |      23 |  2390844 |  2263138 |     1276   4567 |        0 |        0
363.24/363.37	c  363s |      23 |  2403683 |  2275238 |     1276   4585 |        0 |        0
365.25/365.38	c  365s |      23 |  2416457 |  2287338 |     1276   4603 |        0 |        0
367.24/367.39	c  367s |      23 |  2429052 |  2299238 |     1276   4621 |        0 |        0
369.34/369.40	c  369s |      23 |  2442119 |  2311338 |     1276   4639 |        0 |        0
371.34/371.41	c  371s |      23 |  2455276 |  2323338 |     1276   4657 |        0 |        0
373.34/373.41	c  373s |      23 |  2468062 |  2335238 |     1276   4675 |        0 |        0
375.34/375.43	c  375s |      23 |  2481153 |  2347438 |     1276   4694 |        0 |        0
377.34/377.44	c  377s |      23 |  2493760 |  2359538 |     1276   4712 |        0 |        0
379.34/379.45	c  379s |      23 |  2506337 |  2371438 |     1276   4730 |        0 |        0
381.33/381.47	c  381s |      23 |  2518712 |  2383338 |     1276   4748 |        0 |        0
383.33/383.47	c  383s |      23 |  2531830 |  2395738 |     1276   4766 |        0 |        0
385.33/385.48	c  385s |      23 |  2544312 |  2407638 |     1276   4784 |        0 |        0
387.33/387.48	c  387s |      23 |  2556859 |  2419538 |     1276   4802 |        0 |        0
389.34/389.49	c  389s |      23 |  2569476 |  2431438 |     1276   4820 |        0 |        0
391.33/391.49	c  391s |      23 |  2582482 |  2443638 |     1276   4838 |        0 |        0
393.43/393.50	c  393s |      23 |  2595378 |  2455938 |     1276   4857 |        0 |        0
395.43/395.51	c  395s |      23 |  2608102 |  2468138 |     1276   4875 |        0 |        0
397.43/397.52	c  397s |      23 |  2620595 |  2480138 |     1276   4893 |        0 |        0
399.43/399.53	c  399s |      23 |  2632942 |  2491938 |     1276   4911 |        0 |        0
401.44/401.53	c  401s |      23 |  2645345 |  2503738 |     1276   4929 |        0 |        0
403.43/403.54	c  403s |      23 |  2657695 |  2515538 |     1276   4947 |        0 |        0
405.43/405.54	c  405s |      23 |  2669982 |  2527338 |     1276   4964 |        0 |        0
407.43/407.55	c  407s |      23 |  2682460 |  2538838 |     1276   4982 |        0 |        0
409.43/409.55	c  409s |      23 |  2695180 |  2550638 |     1276   4999 |        0 |        0
411.44/411.56	c  411s |      23 |  2707615 |  2562338 |     1276   5017 |        0 |        0
413.43/413.56	c  413s |      23 |  2720167 |  2574238 |     1276   5035 |        0 |        0
415.43/415.58	c  415s |      23 |  2732501 |  2585938 |     1276   5053 |        0 |        0
417.43/417.58	c  417s |      23 |  2745046 |  2597938 |     1276   5071 |        0 |        0
419.43/419.59	c  419s |      23 |  2757657 |  2609938 |     1276   5089 |        0 |        0
421.42/421.59	c  421s |      23 |  2770072 |  2621938 |     1276   5107 |        0 |        0
423.43/423.60	c  423s |      23 |  2782690 |  2633738 |     1276   5125 |        0 |        0
425.52/425.62	c  425s |      23 |  2795120 |  2645638 |     1276   5143 |        0 |        0
427.52/427.62	c  427s |      23 |  2807434 |  2657238 |     1276   5160 |        0 |        0
429.52/429.63	c  429s |      23 |  2819724 |  2668738 |     1276   5177 |        0 |        0
431.52/431.64	c  431s |      23 |  2831838 |  2680238 |     1276   5195 |        0 |        0
433.52/433.65	c  433s |      23 |  2844440 |  2692238 |     1276   5213 |        0 |        0
435.53/435.67	c  435s |      23 |  2856938 |  2704238 |     1276   5231 |        0 |        0
437.52/437.68	c  437s |      23 |  2869371 |  2716038 |     1276   5248 |        0 |        0
439.52/439.69	c  439s |      23 |  2881737 |  2727738 |     1276   5266 |        0 |        0
441.62/441.70	c  441s |      23 |  2894280 |  2739638 |     1276   5284 |        0 |        0
443.62/443.70	c  443s |      23 |  2906367 |  2751338 |     1276   5301 |        0 |        0
445.62/445.72	c  445s |      23 |  2918408 |  2762938 |     1276   5319 |        0 |        0
447.62/447.73	c  447s |      23 |  2930890 |  2774738 |     1276   5337 |        0 |        0
449.62/449.74	c  449s |      23 |  2943079 |  2786338 |     1276   5354 |        0 |        0
451.62/451.76	c  451s |      23 |  2955300 |  2797938 |     1276   5372 |        0 |        0
453.62/453.76	c  453s |      23 |  2968144 |  2810038 |     1276   5390 |        0 |        0
455.63/455.79	c  455s |      23 |  2980772 |  2821938 |     1276   5408 |        0 |        0
457.63/457.79	c  457s |      23 |  2992925 |  2833638 |     1276   5425 |        0 |        0
459.73/459.81	c  459s |      23 |  3005211 |  2845238 |     1276   5443 |        0 |        0
461.72/461.82	c  461s |      23 |  3017454 |  2856938 |     1276   5460 |        0 |        0
463.72/463.82	c  463s |      23 |  3029962 |  2868638 |     1276   5478 |        0 |        0
465.72/465.83	c  465s |      23 |  3042126 |  2879838 |     1276   5495 |        0 |        0
467.72/467.84	c  467s |      23 |  3054432 |  2891538 |     1276   5512 |        0 |        0
469.73/469.86	c  469s |      23 |  3066564 |  2903038 |     1276   5530 |        0 |        0
471.72/471.87	c  471s |      23 |  3078634 |  2914338 |     1276   5547 |        0 |        0
473.72/473.87	c  473s |      23 |  3091024 |  2925938 |     1276   5564 |        0 |        0
475.72/475.88	c  475s |      23 |  3103422 |  2937638 |     1276   5582 |        0 |        0
477.72/477.89	c  477s |      23 |  3115491 |  2949138 |     1276   5599 |        0 |        0
479.82/479.91	c  479s |      23 |  3127429 |  2960538 |     1276   5616 |        0 |        0
481.83/481.92	c  481s |      23 |  3139559 |  2971938 |     1276   5633 |        0 |        0
483.82/483.93	c  483s |      23 |  3152097 |  2983838 |     1276   5651 |        0 |        0
485.82/485.93	c  485s |      23 |  3164479 |  2995738 |     1276   5669 |        0 |        0
487.82/487.94	c  487s |      23 |  3176739 |  3007338 |     1276   5687 |        0 |        0
489.82/489.94	c  489s |      23 |  3188868 |  3018738 |     1276   5704 |        0 |        0
491.82/491.95	c  491s |      23 |  3200786 |  3030138 |     1276   5721 |        0 |        0
493.82/493.95	c  493s |      23 |  3212888 |  3041738 |     1276   5739 |        0 |        0
495.82/495.96	c  495s |      23 |  3224932 |  3053338 |     1276   5756 |        0 |        0
497.82/497.97	c  497s |      23 |  3237271 |  3065038 |     1276   5774 |        0 |        0
499.82/499.99	c  499s |      23 |  3249842 |  3077038 |     1276   5792 |        0 |        0
501.92/502.00	c  501s |      23 |  3262178 |  3088638 |     1276   5809 |        0 |        0
503.92/504.01	c  503s |      23 |  3274803 |  3100438 |     1276   5827 |        0 |        0
505.92/506.02	c  506s |      23 |  3287453 |  3112238 |     1276   5844 |        0 |        0
507.91/508.03	c  508s |      23 |  3299843 |  3123738 |     1276   5862 |        0 |        0
509.91/510.04	c  510s |      23 |  3312080 |  3135438 |     1276   5879 |        0 |        0
511.91/512.05	c  512s |      23 |  3324625 |  3147238 |     1276   5897 |        0 |        0
513.91/514.06	c  514s |      23 |  3336856 |  3158738 |     1276   5914 |        0 |        0
515.92/516.07	c  516s |      23 |  3348959 |  3170338 |     1276   5932 |        0 |        0
517.91/518.07	c  518s |      23 |  3361023 |  3181838 |     1276   5949 |        0 |        0
519.91/520.08	c  520s |      23 |  3373279 |  3193738 |     1276   5967 |        0 |        0
521.91/522.08	c  522s |      23 |  3385531 |  3205538 |     1276   5985 |        0 |        0
523.91/524.09	c  524s |      23 |  3397640 |  3217238 |     1276   6003 |        0 |        0
526.01/526.11	c  526s |      23 |  3409815 |  3228838 |     1276   6020 |        0 |        0
528.02/528.13	c  528s |      23 |  3422186 |  3240438 |     1276   6038 |        0 |        0
530.01/530.14	c  530s |      23 |  3434389 |  3252038 |     1276   6055 |        0 |        0
532.01/532.15	c  532s |      23 |  3446348 |  3263638 |     1276   6072 |        0 |        0
534.01/534.16	c  534s |      23 |  3458311 |  3275138 |     1276   6090 |        0 |        0
536.01/536.17	c  536s |      23 |  3470561 |  3286938 |     1276   6107 |        0 |        0
538.01/538.19	c  538s |      23 |  3482946 |  3298938 |     1276   6126 |        0 |        0
540.01/540.20	c  540s |      23 |  3495012 |  3310638 |     1276   6143 |        0 |        0
542.10/542.21	c  542s |      23 |  3507158 |  3322338 |     1276   6161 |        0 |        0
544.10/544.22	c  544s |      23 |  3519169 |  3333938 |     1276   6178 |        0 |        0
546.11/546.23	c  546s |      23 |  3531235 |  3345438 |     1276   6196 |        0 |        0
548.11/548.24	c  548s |      23 |  3543221 |  3356838 |     1404   6212 |        0 |        0
550.11/550.25	c  550s |      23 |  3555249 |  3368438 |     1404   6228 |        0 |        0
551.51/551.70	c  551s |      24 |  3563738 |  3376662 |     1404   6239 |        0 |        0
553.61/553.70	c  553s |      24 |  3575665 |  3388162 |     1404   6255 |        0 |        0
555.61/555.71	c  555s |      24 |  3587790 |  3399662 |     1404   6271 |        0 |        0
557.62/557.73	c  557s |      24 |  3599939 |  3411262 |     1404   6287 |        0 |        0
559.61/559.74	c  559s |      24 |  3611909 |  3422862 |     1404   6302 |        0 |        0
561.61/561.75	c  561s |      24 |  3623913 |  3434462 |     1404   6318 |        0 |        0
563.61/563.76	c  563s |      24 |  3635904 |  3445962 |     1404   6334 |        0 |        0
565.61/565.77	c  565s |      24 |  3647733 |  3457362 |     1404   6350 |        0 |        0
567.61/567.77	c  567s |      24 |  3660022 |  3469162 |     1404   6366 |        0 |        0
569.61/569.79	c  569s |      24 |  3671729 |  3480362 |     1404   6381 |        0 |        0
571.71/571.80	c  571s |      24 |  3683371 |  3491462 |     1404   6396 |        0 |        0
573.70/573.81	c  573s |      24 |  3695632 |  3503062 |     1404   6412 |        0 |        0
575.70/575.81	c  575s |      24 |  3707818 |  3514562 |     1404   6428 |        0 |        0
577.70/577.82	c  577s |      24 |  3719615 |  3525762 |     1404   6443 |        0 |        0
579.71/579.83	c  579s |      24 |  3732158 |  3537862 |     1404   6460 |        0 |        0
581.70/581.83	c  581s |      24 |  3744546 |  3549762 |     1404   6476 |        0 |        0
583.70/583.83	c  583s |      24 |  3756557 |  3561462 |     1404   6492 |        0 |        0
585.70/585.83	c  585s |      24 |  3768495 |  3572962 |     1404   6508 |        0 |        0
587.70/587.85	c  587s |      24 |  3780280 |  3584262 |     1404   6523 |        0 |        0
589.70/589.85	c  589s |      24 |  3792086 |  3595762 |     1404   6539 |        0 |        0
591.71/591.85	c  591s |      24 |  3803889 |  3607262 |     1404   6555 |        0 |        0
593.70/593.85	c  593s |      24 |  3816003 |  3619062 |     1404   6571 |        0 |        0
595.70/595.86	c  595s |      24 |  3827935 |  3630562 |     1404   6587 |        0 |        0
597.70/597.88	c  597s |      24 |  3839864 |  3642262 |     1404   6603 |        0 |        0
599.70/599.89	c  599s |      24 |  3851857 |  3653962 |     1404   6619 |        0 |        0
601.80/601.91	c  601s |      24 |  3863724 |  3665562 |     1404   6635 |        0 |        0
603.81/603.91	c  603s |      24 |  3875912 |  3677162 |     1404   6650 |        0 |        0
605.80/605.92	c  605s |      24 |  3887476 |  3688362 |     1404   6666 |        0 |        0
607.80/607.93	c  607s |      24 |  3899301 |  3699662 |     1404   6681 |        0 |        0
609.80/609.93	c  609s |      24 |  3911345 |  3711362 |     1404   6697 |        0 |        0
611.80/611.94	c  611s |      24 |  3923467 |  3722962 |     1404   6713 |        0 |        0
613.80/613.95	c  613s |      24 |  3935465 |  3734462 |     1404   6729 |        0 |        0
615.80/615.95	c  615s |      24 |  3947388 |  3745762 |     1404   6744 |        0 |        0
617.80/617.96	c  617s |      24 |  3959345 |  3757162 |     1404   6760 |        0 |        0
619.79/619.97	c  619s |      24 |  3971121 |  3768562 |     1404   6776 |        0 |        0
621.79/621.98	c  621s |      24 |  3983347 |  3779962 |     1404   6791 |        0 |        0
623.79/623.99	c  623s |      24 |  3995549 |  3791562 |     1404   6807 |        0 |        0
625.90/626.00	c  625s |      24 |  4007463 |  3802962 |     1404   6823 |        0 |        0
627.89/628.01	c  627s |      24 |  4019367 |  3814162 |     1404   6838 |        0 |        0
629.89/630.01	c  629s |      24 |  4031305 |  3825262 |     1404   6853 |        0 |        0
631.89/632.01	c  631s |      24 |  4043157 |  3836462 |     1404   6869 |        0 |        0
633.89/634.02	c  634s |      24 |  4055008 |  3847862 |     1404   6884 |        0 |        0
635.89/636.02	c  636s |      24 |  4066613 |  3858962 |     1404   6900 |        0 |        0
637.90/638.03	c  638s |      24 |  4078522 |  3870362 |     1404   6915 |        0 |        0
639.89/640.05	c  640s |      24 |  4090796 |  3881962 |     1404   6931 |        0 |        0
641.89/642.05	c  642s |      24 |  4102698 |  3893362 |     1404   6947 |        0 |        0
643.89/644.06	c  644s |      24 |  4114445 |  3904562 |     1404   6962 |        0 |        0
645.89/646.06	c  646s |      24 |  4126170 |  3915562 |     1404   6977 |        0 |        0
647.90/648.07	c  648s |      24 |  4138437 |  3927262 |     1404   6993 |        0 |        0
649.89/650.08	c  650s |      24 |  4151328 |  3939162 |     1404   7009 |        0 |        0
651.89/652.09	c  652s |      24 |  4163948 |  3951062 |     1404   7026 |        0 |        0
653.89/654.09	c  654s |      24 |  4176681 |  3962862 |     1404   7042 |        0 |        0
655.89/656.09	c  656s |      24 |  4188682 |  3974462 |     1404   7058 |        0 |        0
657.99/658.10	c  658s |      24 |  4200860 |  3986162 |     1404   7074 |        0 |        0
659.99/660.11	c  660s |      24 |  4213184 |  3997862 |     1404   7090 |        0 |        0
661.99/662.11	c  662s |      24 |  4225419 |  4009362 |     1404   7106 |        0 |        0
663.99/664.12	c  664s |      24 |  4237330 |  4020562 |     1404   7121 |        0 |        0
665.99/666.12	c  666s |      24 |  4249137 |  4032062 |     1404   7137 |        0 |        0
667.99/668.13	c  668s |      24 |  4261440 |  4043662 |     1404   7153 |        0 |        0
669.99/670.15	c  670s |      24 |  4273920 |  4055362 |     1404   7169 |        0 |        0
672.00/672.17	c  672s |      24 |  4286332 |  4067062 |     1404   7185 |        0 |        0
673.99/674.18	c  674s |      24 |  4298500 |  4078662 |     1404   7200 |        0 |        0
675.99/676.19	c  676s |      24 |  4310477 |  4090262 |     1404   7216 |        0 |        0
678.09/678.20	c  678s |      24 |  4322403 |  4101762 |     1404   7232 |        0 |        0
680.09/680.21	c  680s |      24 |  4334415 |  4113162 |     1404   7248 |        0 |        0
682.09/682.22	c  682s |      24 |  4345768 |  4124162 |     1404   7263 |        0 |        0
684.10/684.23	c  684s |      24 |  4357652 |  4135562 |     1404   7278 |        0 |        0
686.09/686.23	c  686s |      24 |  4369720 |  4147162 |     1404   7294 |        0 |        0
688.09/688.24	c  688s |      24 |  4381212 |  4158262 |     1404   7310 |        0 |        0
690.09/690.24	c  690s |      24 |  4393016 |  4169662 |     1404   7325 |        0 |        0
692.09/692.24	c  692s |      24 |  4404843 |  4180862 |     1404   7341 |        0 |        0
694.09/694.24	c  694s |      24 |  4416879 |  4192262 |     1404   7356 |        0 |        0
696.09/696.24	c  696s |      24 |  4428645 |  4203562 |     1404   7372 |        0 |        0
698.09/698.25	c  698s |      24 |  4440392 |  4214662 |     1404   7387 |        0 |        0
700.09/700.26	c  700s |      24 |  4452282 |  4225962 |     1404   7402 |        0 |        0
702.09/702.28	c  702s |      24 |  4464470 |  4237562 |     1404   7418 |        0 |        0
704.09/704.29	c  704s |      24 |  4476466 |  4248962 |     1404   7434 |        0 |        0
706.09/706.30	c  706s |      24 |  4488395 |  4260362 |     1404   7449 |        0 |        0
708.18/708.31	c  708s |      24 |  4500441 |  4271762 |     1404   7465 |        0 |        0
710.18/710.32	c  710s |      24 |  4512048 |  4282962 |     1404   7480 |        0 |        0
712.18/712.32	c  712s |      24 |  4524020 |  4294362 |     1404   7496 |        0 |        0
714.18/714.33	c  714s |      24 |  4536117 |  4305662 |     1404   7511 |        0 |        0
716.18/716.35	c  716s |      24 |  4548017 |  4316862 |     1404   7527 |        0 |        0
718.19/718.35	c  718s |      24 |  4559270 |  4327762 |     1404   7542 |        0 |        0
720.18/720.36	c  720s |      24 |  4571264 |  4339162 |     1404   7557 |        0 |        0
722.18/722.37	c  722s |      24 |  4583557 |  4350962 |     1404   7574 |        0 |        0
724.18/724.38	c  724s |      24 |  4595592 |  4362662 |     1404   7590 |        0 |        0
726.18/726.39	c  726s |      24 |  4607660 |  4373962 |     1404   7605 |        0 |        0
728.19/728.39	c  728s |      24 |  4619516 |  4385462 |     1404   7621 |        0 |        0
730.18/730.40	c  730s |      24 |  4631379 |  4396862 |     1404   7636 |        0 |        0
732.28/732.41	c  732s |      24 |  4643715 |  4408562 |     1404   7652 |        0 |        0
734.28/734.42	c  734s |      24 |  4655912 |  4419962 |     1404   7668 |        0 |        0
736.28/736.43	c  736s |      24 |  4667914 |  4431362 |     1404   7683 |        0 |        0
738.28/738.44	c  738s |      24 |  4679895 |  4442762 |     1404   7699 |        0 |        0
740.28/740.44	c  740s |      24 |  4692210 |  4454462 |     1404   7715 |        0 |        0
742.28/742.45	c  742s |      24 |  4704398 |  4466062 |     1404   7731 |        0 |        0
744.28/744.45	c  744s |      24 |  4716512 |  4477562 |     1404   7747 |        0 |        0
746.28/746.46	c  746s |      24 |  4728535 |  4489062 |     1404   7762 |        0 |        0
748.28/748.47	c  748s |      24 |  4740442 |  4500462 |     1404   7778 |        0 |        0
750.28/750.47	c  750s |      24 |  4752378 |  4511862 |     1404   7794 |        0 |        0
752.28/752.48	c  752s |      24 |  4764233 |  4523162 |     1404   7809 |        0 |        0
754.37/754.50	c  754s |      24 |  4776018 |  4534462 |     1404   7825 |        0 |        0
756.37/756.50	c  756s |      24 |  4787685 |  4545762 |     1404   7840 |        0 |        0
758.37/758.52	c  758s |      24 |  4799739 |  4556862 |     1404   7855 |        0 |        0
760.37/760.52	c  760s |      24 |  4811792 |  4568362 |     1404   7871 |        0 |        0
762.37/762.52	c  762s |      24 |  4823855 |  4579762 |     1404   7887 |        0 |        0
764.38/764.53	c  764s |      24 |  4836064 |  4591362 |     1404   7903 |        0 |        0
766.37/766.55	c  766s |      24 |  4848519 |  4602962 |     1404   7918 |        0 |        0
768.37/768.56	c  768s |      24 |  4860698 |  4614362 |     1404   7934 |        0 |        0
770.38/770.57	c  770s |      24 |  4872702 |  4625662 |     1404   7950 |        0 |        0
772.38/772.58	c  772s |      24 |  4884771 |  4637162 |     1404   7965 |        0 |        0
774.38/774.59	c  774s |      24 |  4896516 |  4648362 |     1404   7981 |        0 |        0
776.38/776.60	c  776s |      24 |  4908259 |  4659462 |     1404   7996 |        0 |        0
778.47/778.61	c  778s |      24 |  4920369 |  4671062 |     1404   8012 |        0 |        0
780.47/780.62	c  780s |      24 |  4932332 |  4682362 |     1404   8027 |        0 |        0
782.47/782.63	c  782s |      24 |  4944308 |  4693662 |     1404   8043 |        0 |        0
784.47/784.64	c  784s |      24 |  4956599 |  4705162 |     1404   8059 |        0 |        0
786.48/786.66	c  786s |      24 |  4969170 |  4716362 |     1404   8074 |        0 |        0
788.47/788.67	c  788s |      24 |  4981126 |  4727562 |     1404   8089 |        0 |        0
790.47/790.67	c  790s |      24 |  4993017 |  4738462 |     1404   8104 |        0 |        0
792.47/792.67	c  792s |      24 |  5005201 |  4749562 |     1404   8119 |        0 |        0
794.47/794.68	c  794s |      24 |  5017063 |  4760762 |     1404   8135 |        0 |        0
796.46/796.68	c  796s |      24 |  5029105 |  4771962 |     1404   8150 |        0 |        0
798.48/798.68	c  798s |      24 |  5041001 |  4783362 |     1404   8166 |        0 |        0
800.57/800.70	c  800s |      24 |  5053109 |  4794662 |     1404   8181 |        0 |        0
802.57/802.72	c  802s |      24 |  5065432 |  4806062 |     1404   8197 |        0 |        0
804.57/804.72	c  804s |      24 |  5077473 |  4817562 |     1404   8212 |        0 |        0
806.57/806.72	c  806s |      24 |  5089671 |  4829262 |     1404   8228 |        0 |        0
808.57/808.74	c  808s |      24 |  5101700 |  4840662 |     1404   8244 |        0 |        0
810.58/810.75	c  810s |      24 |  5113852 |  4852062 |     1404   8260 |        0 |        0
812.57/812.75	c  812s |      24 |  5125822 |  4863162 |     1404   8275 |        0 |        0
814.57/814.77	c  814s |      24 |  5137987 |  4874562 |     1404   8290 |        0 |        0
816.57/816.78	c  816s |      24 |  5149871 |  4885762 |     1404   8306 |        0 |        0
818.57/818.78	c  818s |      24 |  5161884 |  4897062 |     1404   8321 |        0 |        0
820.58/820.78	c  820s |      24 |  5173474 |  4907862 |     1404   8336 |        0 |        0
822.57/822.80	c  822s |      24 |  5185235 |  4919262 |     1404   8352 |        0 |        0
824.67/824.81	c  824s |      24 |  5197019 |  4930162 |     1404   8367 |        0 |        0
826.67/826.82	c  826s |      24 |  5208964 |  4941462 |     1404   8382 |        0 |        0
828.67/828.83	c  828s |      24 |  5221556 |  4953562 |     1404   8399 |        0 |        0
830.67/830.84	c  830s |      24 |  5234033 |  4965562 |     1404   8415 |        0 |        0
832.67/832.85	c  832s |      24 |  5246138 |  4977262 |     1404   8431 |        0 |        0
834.66/834.85	c  834s |      24 |  5258243 |  4988862 |     1404   8447 |        0 |        0
836.66/836.86	c  836s |      24 |  5270201 |  5000262 |     1404   8462 |        0 |        0
838.66/838.86	c  838s |      24 |  5282526 |  5011762 |     1404   8478 |        0 |        0
840.66/840.86	c  840s |      24 |  5294384 |  5023162 |     1404   8494 |        0 |        0
842.66/842.87	c  842s |      24 |  5305990 |  5034462 |     1545   8508 |        0 |        0
844.66/844.88	c  844s |      24 |  5317851 |  5045862 |     1545   8522 |        0 |        0
846.76/846.90	c  846s |      24 |  5329532 |  5057262 |     1545   8537 |        0 |        0
848.16/848.31	c  848s |      25 |  5337604 |  5065098 |     1545   8546 |        0 |        0
850.16/850.31	c  850s |      25 |  5350207 |  5076798 |     1545   8561 |        0 |        0
852.16/852.32	c  852s |      25 |  5362670 |  5088398 |     1545   8575 |        0 |        0
854.16/854.34	c  854s |      25 |  5375112 |  5099798 |     1545   8590 |        0 |        0
856.16/856.34	c  856s |      25 |  5386763 |  5110698 |     1545   8603 |        0 |        0
858.16/858.35	c  858s |      25 |  5398971 |  5121898 |     1545   8617 |        0 |        0
860.17/860.36	c  860s |      25 |  5410627 |  5132898 |     1545   8631 |        0 |        0
862.16/862.37	c  862s |      25 |  5422493 |  5144098 |     1545   8645 |        0 |        0
864.16/864.38	c  864s |      25 |  5434735 |  5155498 |     1545   8659 |        0 |        0
866.16/866.39	c  866s |      25 |  5446543 |  5166898 |     1545   8673 |        0 |        0
868.26/868.41	c  868s |      25 |  5458316 |  5178198 |     1545   8687 |        0 |        0
870.26/870.41	c  870s |      25 |  5469936 |  5189198 |     1545   8701 |        0 |        0
872.26/872.43	c  872s |      25 |  5481895 |  5200698 |     1545   8715 |        0 |        0
874.26/874.43	c  874s |      25 |  5493647 |  5211898 |     1545   8729 |        0 |        0
876.26/876.44	c  876s |      25 |  5505607 |  5223298 |     1545   8743 |        0 |        0
878.26/878.45	c  878s |      25 |  5517795 |  5234698 |     1545   8758 |        0 |        0
880.25/880.47	c  880s |      25 |  5529443 |  5245798 |     1545   8772 |        0 |        0
882.25/882.48	c  882s |      25 |  5541062 |  5256698 |     1545   8785 |        0 |        0
884.26/884.49	c  884s |      25 |  5553517 |  5268098 |     1545   8799 |        0 |        0
886.25/886.49	c  886s |      25 |  5565467 |  5279398 |     1545   8813 |        0 |        0
888.35/888.51	c  888s |      25 |  5577895 |  5290598 |     1545   8827 |        0 |        0
890.35/890.51	c  890s |      25 |  5589960 |  5301698 |     1545   8841 |        0 |        0
892.35/892.52	c  892s |      25 |  5601939 |  5312898 |     1545   8855 |        0 |        0
894.35/894.52	c  894s |      25 |  5613972 |  5324098 |     1545   8869 |        0 |        0
896.36/896.53	c  896s |      25 |  5626174 |  5335198 |     1545   8883 |        0 |        0
898.35/898.54	c  898s |      25 |  5638316 |  5346498 |     1545   8897 |        0 |        0
900.35/900.54	c  900s |      25 |  5650254 |  5357698 |     1545   8911 |        0 |        0
902.35/902.56	c  902s |      25 |  5662387 |  5368898 |     1545   8925 |        0 |        0
904.35/904.57	c  904s |      25 |  5674538 |  5380198 |     1545   8939 |        0 |        0
906.36/906.58	c  906s |      25 |  5686485 |  5391298 |     1545   8953 |        0 |        0
908.35/908.59	c  908s |      25 |  5698873 |  5402598 |     1545   8967 |        0 |        0
910.46/910.60	c  910s |      25 |  5710870 |  5413598 |     1545   8981 |        0 |        0
912.46/912.60	c  912s |      25 |  5722942 |  5424898 |     1545   8995 |        0 |        0
914.46/914.61	c  914s |      25 |  5735146 |  5436298 |     1545   9009 |        0 |        0
916.45/916.61	c  916s |      25 |  5746786 |  5447298 |     1545   9023 |        0 |        0
918.46/918.63	c  918s |      25 |  5758395 |  5458598 |     1545   9037 |        0 |        0
920.45/920.63	c  920s |      25 |  5769974 |  5469798 |     1545   9051 |        0 |        0
922.45/922.64	c  922s |      25 |  5781953 |  5481398 |     1545   9065 |        0 |        0
924.45/924.66	c  924s |      25 |  5793741 |  5492698 |     1545   9079 |        0 |        0
926.45/926.68	c  926s |      25 |  5805406 |  5503998 |     1545   9093 |        0 |        0
928.45/928.69	c  928s |      25 |  5817114 |  5515298 |     1545   9107 |        0 |        0
930.56/930.70	c  930s |      25 |  5828962 |  5526598 |     1545   9122 |        0 |        0
932.55/932.71	c  932s |      25 |  5840460 |  5537798 |     1545   9136 |        0 |        0
934.55/934.73	c  934s |      25 |  5852075 |  5548998 |     1545   9150 |        0 |        0
936.55/936.73	c  936s |      25 |  5863182 |  5559698 |     1545   9163 |        0 |        0
938.55/938.74	c  938s |      25 |  5875245 |  5571098 |     1545   9177 |        0 |        0
940.55/940.75	c  940s |      25 |  5887555 |  5582798 |     1545   9192 |        0 |        0
942.55/942.75	c  942s |      25 |  5899780 |  5594298 |     1545   9206 |        0 |        0
944.55/944.76	c  944s |      25 |  5912002 |  5605698 |     1545   9220 |        0 |        0
946.55/946.77	c  946s |      25 |  5924204 |  5617098 |     1545   9234 |        0 |        0
948.55/948.78	c  948s |      25 |  5936554 |  5628298 |     1545   9248 |        0 |        0
950.55/950.79	c  950s |      25 |  5948744 |  5639298 |     1545   9262 |        0 |        0
952.55/952.79	c  952s |      25 |  5960818 |  5650698 |     1545   9276 |        0 |        0
954.54/954.80	c  954s |      25 |  5972329 |  5661598 |     1545   9290 |        0 |        0
956.64/956.82	c  956s |      25 |  5984356 |  5672698 |     1545   9304 |        0 |        0
958.64/958.82	c  958s |      25 |  5996296 |  5683398 |     1545   9317 |        0 |        0
960.64/960.82	c  960s |      25 |  6008060 |  5694098 |     1545   9330 |        0 |        0
962.64/962.83	c  962s |      25 |  6019823 |  5705098 |     1545   9344 |        0 |        0
964.65/964.84	c  964s |      25 |  6031679 |  5716298 |     1545   9358 |        0 |        0
966.64/966.85	c  966s |      25 |  6043511 |  5727498 |     1545   9372 |        0 |        0
968.64/968.85	c  968s |      25 |  6055562 |  5738898 |     1545   9386 |        0 |        0
970.64/970.86	c  970s |      25 |  6067660 |  5750098 |     1545   9400 |        0 |        0
972.64/972.87	c  972s |      25 |  6079360 |  5761198 |     1545   9414 |        0 |        0
974.64/974.88	c  974s |      25 |  6091461 |  5772498 |     1545   9428 |        0 |        0
976.64/976.88	c  976s |      25 |  6102924 |  5783398 |     1545   9442 |        0 |        0
978.64/978.90	c  978s |      25 |  6114393 |  5794398 |     1545   9455 |        0 |        0
980.74/980.91	c  980s |      25 |  6126218 |  5805698 |     1545   9469 |        0 |        0
982.74/982.91	c  982s |      25 |  6138376 |  5817198 |     1545   9484 |        0 |        0
984.74/984.91	c  984s |      25 |  6150142 |  5828598 |     1545   9498 |        0 |        0
986.74/986.93	c  986s |      25 |  6162146 |  5839998 |     1545   9512 |        0 |        0
988.75/988.94	c  988s |      25 |  6174065 |  5851198 |     1545   9526 |        0 |        0
990.74/990.94	c  990s |      25 |  6186215 |  5862698 |     1545   9541 |        0 |        0
992.74/992.95	c  992s |      25 |  6198205 |  5873798 |     1545   9554 |        0 |        0
994.74/994.96	c  994s |      25 |  6209974 |  5884798 |     1545   9568 |        0 |        0
996.74/996.96	c  996s |      25 |  6221501 |  5895798 |     1545   9582 |        0 |        0
998.75/998.97	c  998s |      25 |  6233362 |  5906798 |     1545   9596 |        0 |        0
1000.74/1000.97	c 1000s |      25 |  6245441 |  5917798 |     1545   9609 |        0 |        0
1002.74/1002.99	c 1002s |      25 |  6257232 |  5928898 |     1545   9623 |        0 |        0
1004.84/1005.00	c 1004s |      25 |  6268944 |  5940098 |     1545   9637 |        0 |        0
1006.84/1007.01	c 1006s |      25 |  6281171 |  5951598 |     1545   9652 |        0 |        0
1008.84/1009.01	c 1008s |      25 |  6293167 |  5962798 |     1545   9666 |        0 |        0
1010.85/1011.02	c 1011s |      25 |  6305475 |  5973898 |     1545   9679 |        0 |        0
1012.84/1013.03	c 1013s |      25 |  6317463 |  5985198 |     1545   9693 |        0 |        0
1014.84/1015.04	c 1015s |      25 |  6329836 |  5996698 |     1545   9708 |        0 |        0
1016.84/1017.05	c 1017s |      25 |  6341614 |  6007698 |     1545   9721 |        0 |        0
1018.84/1019.06	c 1019s |      25 |  6353623 |  6018998 |     1545   9735 |        0 |        0
1020.84/1021.07	c 1021s |      25 |  6365786 |  6029798 |     1545   9749 |        0 |        0
1022.84/1023.08	c 1023s |      25 |  6378451 |  6040498 |     1545   9762 |        0 |        0
1024.83/1025.09	c 1025s |      25 |  6390448 |  6051598 |     1545   9776 |        0 |        0
1026.83/1027.09	c 1027s |      25 |  6402566 |  6062798 |     1545   9790 |        0 |        0
1028.93/1029.11	c 1029s |      25 |  6414639 |  6074398 |     1545   9805 |        0 |        0
1030.93/1031.13	c 1031s |      25 |  6426711 |  6085698 |     1545   9819 |        0 |        0
1032.93/1033.14	c 1033s |      25 |  6438642 |  6096698 |     1545   9832 |        0 |        0
1034.94/1035.16	c 1035s |      25 |  6450677 |  6107898 |     1545   9846 |        0 |        0
1036.93/1037.17	c 1037s |      25 |  6462874 |  6118498 |     1545   9860 |        0 |        0
1038.93/1039.19	c 1039s |      25 |  6475110 |  6129798 |     1545   9874 |        0 |        0
1041.03/1041.20	c 1041s |      25 |  6486910 |  6140798 |     1545   9887 |        0 |        0
1043.03/1043.21	c 1043s |      25 |  6499101 |  6151898 |     1545   9901 |        0 |        0
1045.03/1045.22	c 1045s |      25 |  6510964 |  6163198 |     1545   9915 |        0 |        0
1047.03/1047.24	c 1047s |      25 |  6522904 |  6174198 |     1545   9929 |        0 |        0
1049.03/1049.24	c 1049s |      25 |  6534494 |  6184998 |     1545   9942 |        0 |        0
1051.03/1051.26	c 1051s |      25 |  6546182 |  6195798 |     1545   9956 |        0 |        0
1053.03/1053.26	c 1053s |      25 |  6557618 |  6206498 |     1545   9969 |        0 |        0
1055.03/1055.27	c 1055s |      25 |  6569112 |  6217298 |     1545   9983 |        0 |        0
1057.03/1057.28	c 1057s |      25 |  6580531 |  6228098 |     1545   9996 |        0 |        0
1059.03/1059.30	c 1059s |      25 |  6592046 |  6238798 |     1545  10010 |        0 |        0
1061.13/1061.31	c 1061s |      25 |  6603315 |  6249598 |     1545  10023 |        0 |        0
1063.13/1063.32	c 1063s |      25 |  6615011 |  6260698 |     1545  10037 |        0 |        0
1065.13/1065.34	c 1065s |      25 |  6626656 |  6271698 |     1545  10051 |        0 |        0
1067.13/1067.35	c 1067s |      25 |  6638607 |  6283098 |     1545  10065 |        0 |        0
1069.14/1069.35	c 1069s |      25 |  6650404 |  6294198 |     1545  10079 |        0 |        0
1071.13/1071.36	c 1071s |      25 |  6662253 |  6305198 |     1545  10092 |        0 |        0
1073.13/1073.37	c 1073s |      25 |  6674714 |  6315998 |     1545  10106 |        0 |        0
1075.13/1075.38	c 1075s |      25 |  6686811 |  6326798 |     1545  10119 |        0 |        0
1077.13/1077.39	c 1077s |      25 |  6698146 |  6337698 |     1545  10133 |        0 |        0
1079.13/1079.39	c 1079s |      25 |  6709824 |  6348498 |     1545  10146 |        0 |        0
1081.23/1081.41	c 1081s |      25 |  6721437 |  6359298 |     1545  10160 |        0 |        0
1083.23/1083.42	c 1083s |      25 |  6733077 |  6370198 |     1545  10173 |        0 |        0
1085.23/1085.43	c 1085s |      25 |  6744993 |  6381598 |     1545  10188 |        0 |        0
1087.23/1087.44	c 1087s |      25 |  6757137 |  6393098 |     1545  10202 |        0 |        0
1089.23/1089.45	c 1089s |      25 |  6768904 |  6404298 |     1545  10216 |        0 |        0
1091.23/1091.46	c 1091s |      25 |  6780555 |  6415398 |     1545  10230 |        0 |        0
1093.23/1093.47	c 1093s |      25 |  6792463 |  6426698 |     1545  10244 |        0 |        0
1095.23/1095.48	c 1095s |      25 |  6804165 |  6437798 |     1545  10258 |        0 |        0
1097.23/1097.49	c 1097s |      25 |  6815905 |  6449098 |     1545  10272 |        0 |        0
1099.32/1099.51	c 1099s |      25 |  6828012 |  6460698 |     1545  10286 |        0 |        0
1101.32/1101.52	c 1101s |      25 |  6839999 |  6471998 |     1545  10300 |        0 |        0
1103.32/1103.53	c 1103s |      25 |  6851837 |  6483398 |     1545  10314 |        0 |        0
1105.33/1105.54	c 1105s |      25 |  6863611 |  6494498 |     1545  10328 |        0 |        0
1107.32/1107.55	c 1107s |      25 |  6875586 |  6505798 |     1545  10342 |        0 |        0
1109.32/1109.56	c 1109s |      25 |  6887444 |  6516998 |     1545  10356 |        0 |        0
1111.32/1111.56	c 1111s |      25 |  6899260 |  6528198 |     1545  10370 |        0 |        0
1113.32/1113.56	c 1113s |      25 |  6911249 |  6539598 |     1545  10384 |        0 |        0
1115.33/1115.57	c 1115s |      25 |  6922885 |  6550698 |     1545  10398 |        0 |        0
1117.32/1117.58	c 1117s |      25 |  6934870 |  6561998 |     1545  10412 |        0 |        0
1119.32/1119.58	c 1119s |      25 |  6946951 |  6572998 |     1545  10426 |        0 |        0
1121.32/1121.59	c 1121s |      25 |  6958647 |  6584198 |     1545  10440 |        0 |        0
1123.32/1123.59	c 1123s |      25 |  6970370 |  6595298 |     1545  10454 |        0 |        0
1125.32/1125.59	c 1125s |      25 |  6982010 |  6606098 |     1545  10467 |        0 |        0
1127.43/1127.61	c 1127s |      25 |  6993602 |  6617198 |     1545  10481 |        0 |        0
1129.42/1129.62	c 1129s |      25 |  7005503 |  6628398 |     1545  10495 |        0 |        0
1131.42/1131.64	c 1131s |      25 |  7016999 |  6639198 |     1545  10509 |        0 |        0
1133.42/1133.65	c 1133s |      25 |  7028602 |  6650198 |     1545  10522 |        0 |        0
1135.42/1135.65	c 1135s |      25 |  7040479 |  6661598 |     1545  10537 |        0 |        0
1137.42/1137.68	c 1137s |      25 |  7052468 |  6672998 |     1545  10551 |        0 |        0
1139.42/1139.68	c 1139s |      25 |  7064352 |  6684298 |     1545  10565 |        0 |        0
1141.41/1141.68	c 1141s |      25 |  7076131 |  6695598 |     1545  10579 |        0 |        0
1143.41/1143.69	c 1143s |      25 |  7087538 |  6706498 |     1545  10593 |        0 |        0
1145.51/1145.70	c 1145s |      25 |  7099505 |  6717898 |     1545  10607 |        0 |        0
1147.51/1147.71	c 1147s |      25 |  7111362 |  6729098 |     1545  10621 |        0 |        0
1149.51/1149.73	c 1149s |      25 |  7123182 |  6739998 |     1545  10635 |        0 |        0
1151.52/1151.73	c 1151s |      25 |  7135255 |  6751198 |     1545  10649 |        0 |        0
1153.51/1153.73	c 1153s |      25 |  7147172 |  6762198 |     1545  10662 |        0 |        0
1155.51/1155.74	c 1155s |      25 |  7159392 |  6773298 |     1545  10676 |        0 |        0
1157.51/1157.74	c 1157s |      25 |  7170928 |  6784398 |     1545  10690 |        0 |        0
1159.51/1159.76	c 1159s |      25 |  7182505 |  6795598 |     1545  10704 |        0 |        0
1161.53/1161.76	c 1161s |      25 |  7194161 |  6806398 |     1545  10718 |        0 |        0
1163.52/1163.77	c 1163s |      25 |  7205544 |  6817298 |     1545  10731 |        0 |        0
1165.52/1165.79	c 1165s |      25 |  7216846 |  6827998 |     1545  10745 |        0 |        0
1167.52/1167.79	c 1167s |      25 |  7228916 |  6838898 |     1545  10758 |        0 |        0
1169.62/1169.80	c 1169s |      25 |  7240458 |  6849998 |     1545  10772 |        0 |        0
1171.61/1171.82	c 1171s |      25 |  7252192 |  6861198 |     1545  10786 |        0 |        0
1173.62/1173.83	c 1173s |      25 |  7263888 |  6872398 |     1545  10800 |        0 |        0
1175.61/1175.84	c 1175s |      25 |  7275167 |  6883098 |     1545  10813 |        0 |        0
1177.61/1177.85	c 1177s |      25 |  7286608 |  6893998 |     1545  10827 |        0 |        0
1179.61/1179.86	c 1179s |      25 |  7298186 |  6904898 |     1545  10841 |        0 |        0
1181.61/1181.87	c 1181s |      25 |  7310371 |  6915498 |     1545  10854 |        0 |        0
1183.61/1183.88	c 1183s |      25 |  7322240 |  6926698 |     1545  10868 |        0 |        0
1185.62/1185.90	c 1185s |      25 |  7334429 |  6937698 |     1545  10882 |        0 |        0
1187.71/1187.90	c 1187s |      25 |  7346673 |  6948998 |     1545  10896 |        0 |        0
1189.71/1189.91	c 1189s |      25 |  7358591 |  6959998 |     1545  10909 |        0 |        0
1191.71/1191.92	c 1191s |      25 |  7370506 |  6971098 |     1545  10923 |        0 |        0
1193.71/1193.92	c 1193s |      25 |  7382491 |  6982398 |     1545  10937 |        0 |        0
1195.71/1195.94	c 1195s |      25 |  7394250 |  6993498 |     1545  10951 |        0 |        0
1197.71/1197.95	c 1197s |      25 |  7406043 |  7004698 |     1545  10965 |        0 |        0
1199.71/1199.96	c 1199s |      25 |  7417965 |  7015898 |     1545  10979 |        0 |        0
1201.70/1201.99	c 1201s |      25 |  7429529 |  7026698 |     1545  10993 |        0 |        0
1203.70/1203.99	c 1203s |      25 |  7440954 |  7037698 |     1545  11007 |        0 |        0
1205.80/1206.01	c 1205s |      25 |  7452477 |  7048698 |     1545  11020 |        0 |        0
1207.80/1208.01	c 1207s |      25 |  7463976 |  7059698 |     1545  11034 |        0 |        0
1209.81/1210.02	c 1210s |      25 |  7475532 |  7070498 |     1545  11048 |        0 |        0
1211.79/1212.02	c 1212s |      25 |  7487234 |  7081598 |     1545  11061 |        0 |        0
1213.79/1214.03	c 1214s |      25 |  7498770 |  7092498 |     1545  11075 |        0 |        0
1215.79/1216.04	c 1216s |      25 |  7510143 |  7103198 |     1545  11088 |        0 |        0
1217.79/1218.04	c 1218s |      25 |  7521459 |  7113798 |     1545  11102 |        0 |        0
1219.80/1220.06	c 1220s |      25 |  7532919 |  7124898 |     1545  11116 |        0 |        0
1221.79/1222.07	c 1222s |      25 |  7544267 |  7135698 |     1545  11129 |        0 |        0
1223.79/1224.08	c 1224s |      25 |  7555879 |  7146598 |     1545  11143 |        0 |        0
1225.89/1226.10	c 1226s |      25 |  7567313 |  7157498 |     1545  11156 |        0 |        0
1227.89/1228.10	c 1228s |      25 |  7578479 |  7168198 |     1545  11170 |        0 |        0
1229.89/1230.12	c 1230s |      25 |  7590789 |  7179598 |     1545  11184 |        0 |        0
1231.89/1232.12	c 1232s |      25 |  7602602 |  7190898 |     1545  11198 |        0 |        0
1233.89/1234.13	c 1234s |      25 |  7614248 |  7201898 |     1545  11212 |        0 |        0
1235.89/1236.14	c 1236s |      25 |  7626154 |  7213298 |     1545  11226 |        0 |        0
1237.89/1238.14	c 1238s |      25 |  7637953 |  7224598 |     1545  11240 |        0 |        0
1239.89/1240.15	c 1240s |      25 |  7649492 |  7235698 |     1545  11254 |        0 |        0
1241.89/1242.16	c 1242s |      25 |  7661306 |  7247098 |     1545  11268 |        0 |        0
1243.89/1244.17	c 1244s |      25 |  7673214 |  7258298 |     1545  11282 |        0 |        0
1245.88/1246.18	c 1246s |      25 |  7685387 |  7269298 |     1545  11296 |        0 |        0
1247.88/1248.18	c 1248s |      25 |  7696963 |  7280198 |     1545  11310 |        0 |        0
1249.98/1250.20	c 1250s |      25 |  7709217 |  7291398 |     1545  11324 |        0 |        0
1251.98/1252.22	c 1252s |      25 |  7721025 |  7302498 |     1545  11337 |        0 |        0
1253.98/1254.22	c 1254s |      25 |  7732734 |  7313398 |     1545  11351 |        0 |        0
1255.98/1256.23	c 1256s |      25 |  7744282 |  7324298 |     1545  11365 |        0 |        0
1257.97/1258.24	c 1258s |      25 |  7755989 |  7335398 |     1545  11379 |        0 |        0
1259.97/1260.26	c 1260s |      25 |  7768294 |  7346598 |     1545  11393 |        0 |        0
1261.97/1262.27	c 1262s |      25 |  7780275 |  7357398 |     1545  11406 |        0 |        0
1263.97/1264.29	c 1264s |      25 |  7792383 |  7368298 |     1545  11420 |        0 |        0
1266.07/1266.31	c 1266s |      25 |  7804214 |  7379198 |     1545  11433 |        0 |        0
1268.08/1268.32	c 1268s |      25 |  7816115 |  7390198 |     1545  11447 |        0 |        0
1270.08/1270.32	c 1270s |      25 |  7827787 |  7401198 |     1545  11461 |        0 |        0
1272.07/1272.33	c 1272s |      25 |  7839857 |  7412498 |     1545  11475 |        0 |        0
1274.07/1274.34	c 1274s |      25 |  7851964 |  7423698 |     1545  11489 |        0 |        0
1276.07/1276.34	c 1276s |      25 |  7863549 |  7434598 |     1545  11503 |        0 |        0
1278.08/1278.34	c 1278s |      25 |  7875353 |  7445198 |     1545  11516 |        0 |        0
1280.07/1280.36	c 1280s |      25 |  7887092 |  7455998 |     1545  11529 |        0 |        0
1282.07/1282.36	c 1282s |      25 |  7898160 |  7466698 |     1545  11543 |        0 |        0
1284.07/1284.36	c 1284s |      25 |  7909983 |  7477698 |     1545  11556 |        0 |        0
1286.07/1286.37	c 1286s |      25 |  7922086 |  7488998 |     1545  11570 |        0 |        0
1288.07/1288.37	c 1288s |      25 |  7933871 |  7500198 |     1545  11584 |        0 |        0
1290.07/1290.38	c 1290s |      25 |  7945647 |  7511198 |     1545  11598 |        0 |        0
1292.06/1292.38	c 1292s |      25 |  7957339 |  7522098 |     1545  11612 |        0 |        0
1294.16/1294.40	c 1294s |      25 |  7969353 |  7533298 |     1545  11626 |        0 |        0
1296.16/1296.40	c 1296s |      25 |  7981193 |  7544498 |     1700  11639 |        0 |        0
1298.16/1298.41	c 1298s |      25 |  7993146 |  7555498 |     1700  11652 |        0 |        0
1300.16/1300.41	c 1300s |      25 |  8004739 |  7566098 |     1700  11664 |        0 |        0
1302.16/1302.42	c 1302s |      25 |  8016316 |  7576998 |     1700  11676 |        0 |        0
1304.15/1304.42	c 1304s |      25 |  8028066 |  7588198 |     1700  11689 |        0 |        0
1305.85/1306.18	c 1306s |      26 |  8038063 |  7597752 |     1700  11700 |        0 |        0
1307.85/1308.19	c 1308s |      26 |  8049959 |  7608952 |     1700  11712 |        0 |        0
1309.86/1310.20	c 1310s |      26 |  8061994 |  7620152 |     1700  11725 |        0 |        0
1311.94/1312.22	c 1312s |      26 |  8073973 |  7631352 |     1700  11738 |        0 |        0
1313.94/1314.23	c 1314s |      26 |  8085784 |  7642552 |     1700  11751 |        0 |        0
1315.94/1316.23	c 1316s |      26 |  8097748 |  7653852 |     1700  11763 |        0 |        0
1317.94/1318.25	c 1318s |      26 |  8109494 |  7664652 |     1700  11776 |        0 |        0
1319.94/1320.25	c 1320s |      26 |  8120635 |  7675252 |     1700  11788 |        0 |        0
1321.94/1322.26	c 1322s |      26 |  8132162 |  7686252 |     1700  11800 |        0 |        0
1323.94/1324.26	c 1324s |      26 |  8143747 |  7697052 |     1700  11812 |        0 |        0
1325.94/1326.27	c 1326s |      26 |  8155484 |  7708052 |     1700  11825 |        0 |        0
1327.94/1328.28	c 1328s |      26 |  8167045 |  7719152 |     1700  11838 |        0 |        0
1329.94/1330.28	c 1330s |      26 |  8178652 |  7730152 |     1700  11850 |        0 |        0
1331.94/1332.29	c 1332s |      26 |  8190242 |  7741152 |     1700  11863 |        0 |        0
1333.93/1334.30	c 1334s |      26 |  8201726 |  7751952 |     1700  11875 |        0 |        0
1336.03/1336.31	c 1336s |      26 |  8212723 |  7762352 |     1700  11887 |        0 |        0
1338.03/1338.32	c 1338s |      26 |  8224104 |  7772952 |     1700  11899 |        0 |        0
1340.03/1340.34	c 1340s |      26 |  8235862 |  7784252 |     1700  11912 |        0 |        0
1342.03/1342.35	c 1342s |      26 |  8247528 |  7795152 |     1700  11924 |        0 |        0
1344.04/1344.36	c 1344s |      26 |  8259030 |  7805852 |     1700  11936 |        0 |        0
1346.03/1346.36	c 1346s |      26 |  8270891 |  7816752 |     1700  11949 |        0 |        0
1348.03/1348.37	c 1348s |      26 |  8283367 |  7827752 |     1700  11961 |        0 |        0
1350.03/1350.38	c 1350s |      26 |  8294501 |  7838152 |     1700  11973 |        0 |        0
1352.03/1352.38	c 1352s |      26 |  8305570 |  7848452 |     1700  11985 |        0 |        0
1354.03/1354.39	c 1354s |      26 |  8316688 |  7859052 |     1700  11997 |        0 |        0
1356.03/1356.40	c 1356s |      26 |  8327839 |  7869852 |     1700  12009 |        0 |        0
1358.13/1358.40	c 1358s |      26 |  8339047 |  7880652 |     1700  12021 |        0 |        0
1360.13/1360.40	c 1360s |      26 |  8351214 |  7892352 |     1700  12034 |        0 |        0
1362.12/1362.42	c 1362s |      26 |  8363187 |  7903752 |     1700  12047 |        0 |        0
1364.12/1364.43	c 1364s |      26 |  8374911 |  7914952 |     1700  12060 |        0 |        0
1366.12/1366.45	c 1366s |      26 |  8386296 |  7925852 |     1700  12072 |        0 |        0
1368.13/1368.46	c 1368s |      26 |  8397740 |  7936852 |     1700  12085 |        0 |        0
1370.12/1370.46	c 1370s |      26 |  8409235 |  7947652 |     1700  12097 |        0 |        0
1372.12/1372.48	c 1372s |      26 |  8420672 |  7958552 |     1700  12110 |        0 |        0
1374.12/1374.49	c 1374s |      26 |  8432090 |  7969352 |     1700  12122 |        0 |        0
1376.21/1376.50	c 1376s |      26 |  8443574 |  7980252 |     1700  12134 |        0 |        0
1378.21/1378.50	c 1378s |      26 |  8455122 |  7991252 |     1700  12147 |        0 |        0
1380.22/1380.51	c 1380s |      26 |  8466417 |  8001952 |     1700  12159 |        0 |        0
1382.21/1382.53	c 1382s |      26 |  8478632 |  8013052 |     1700  12171 |        0 |        0
1384.21/1384.54	c 1384s |      26 |  8490260 |  8023852 |     1700  12184 |        0 |        0
1386.21/1386.56	c 1386s |      26 |  8501473 |  8034652 |     1700  12196 |        0 |        0
1388.21/1388.56	c 1388s |      26 |  8512565 |  8045252 |     1700  12208 |        0 |        0
1390.21/1390.57	c 1390s |      26 |  8523926 |  8055952 |     1700  12220 |        0 |        0
1392.20/1392.58	c 1392s |      26 |  8535786 |  8066452 |     1700  12232 |        0 |        0
1394.20/1394.59	c 1394s |      26 |  8547139 |  8077052 |     1700  12244 |        0 |        0
1396.30/1396.60	c 1396s |      26 |  8558489 |  8087452 |     1700  12256 |        0 |        0
1398.30/1398.60	c 1398s |      26 |  8569915 |  8098052 |     1700  12268 |        0 |        0
1400.30/1400.62	c 1400s |      26 |  8581385 |  8108452 |     1700  12280 |        0 |        0
1402.30/1402.64	c 1402s |      26 |  8592496 |  8118952 |     1700  12292 |        0 |        0
1404.30/1404.64	c 1404s |      26 |  8603846 |  8129552 |     1700  12304 |        0 |        0
1406.30/1406.66	c 1406s |      26 |  8615011 |  8140152 |     1700  12316 |        0 |        0
1408.30/1408.66	c 1408s |      26 |  8626579 |  8151252 |     1700  12329 |        0 |        0
1410.30/1410.68	c 1410s |      26 |  8638460 |  8162252 |     1700  12341 |        0 |        0
1412.30/1412.68	c 1412s |      26 |  8649796 |  8172952 |     1700  12353 |        0 |        0
1414.31/1414.69	c 1414s |      26 |  8661324 |  8183752 |     1700  12365 |        0 |        0
1416.40/1416.70	c 1416s |      26 |  8672646 |  8194252 |     1700  12377 |        0 |        0
1418.40/1418.70	c 1418s |      26 |  8683978 |  8205152 |     1700  12390 |        0 |        0
1420.40/1420.71	c 1420s |      26 |  8695322 |  8216152 |     1700  12402 |        0 |        0
1422.39/1422.71	c 1422s |      26 |  8707017 |  8227152 |     1700  12415 |        0 |        0
1424.39/1424.73	c 1424s |      26 |  8718408 |  8237752 |     1700  12427 |        0 |        0
1426.40/1426.74	c 1426s |      26 |  8729619 |  8248552 |     1700  12439 |        0 |        0
1428.39/1428.75	c 1428s |      26 |  8740797 |  8259352 |     1700  12451 |        0 |        0
1430.39/1430.75	c 1430s |      26 |  8752125 |  8270152 |     1700  12464 |        0 |        0
1432.39/1432.76	c 1432s |      26 |  8763375 |  8280852 |     1700  12476 |        0 |        0
1434.39/1434.77	c 1434s |      26 |  8774502 |  8291452 |     1700  12488 |        0 |        0
1436.40/1436.77	c 1436s |      26 |  8785808 |  8302052 |     1700  12500 |        0 |        0
1438.39/1438.79	c 1438s |      26 |  8796894 |  8312752 |     1700  12512 |        0 |        0
1440.49/1440.80	c 1440s |      26 |  8807713 |  8323252 |     1700  12524 |        0 |        0
1442.48/1442.81	c 1442s |      26 |  8818927 |  8333852 |     1700  12536 |        0 |        0
1444.48/1444.82	c 1444s |      26 |  8830007 |  8344252 |     1700  12548 |        0 |        0
1446.48/1446.82	c 1446s |      26 |  8841909 |  8355452 |     1700  12560 |        0 |        0
1448.49/1448.83	c 1448s |      26 |  8853694 |  8366252 |     1700  12573 |        0 |        0
1450.48/1450.83	c 1450s |      26 |  8864912 |  8376852 |     1700  12585 |        0 |        0
1452.47/1452.84	c 1452s |      26 |  8876208 |  8387152 |     1700  12596 |        0 |        0
1454.47/1454.84	c 1454s |      26 |  8886950 |  8397352 |     1700  12608 |        0 |        0
1456.47/1456.85	c 1456s |      26 |  8898013 |  8407752 |     1700  12620 |        0 |        0
1458.47/1458.87	c 1458s |      26 |  8909458 |  8418552 |     1700  12632 |        0 |        0
1460.48/1460.87	c 1460s |      26 |  8920531 |  8429052 |     1700  12644 |        0 |        0
1462.47/1462.88	c 1462s |      26 |  8931913 |  8439552 |     1700  12656 |        0 |        0
1464.47/1464.89	c 1464s |      26 |  8943138 |  8449852 |     1700  12668 |        0 |        0
1466.57/1466.90	c 1466s |      26 |  8954195 |  8460352 |     1700  12679 |        0 |        0
1468.56/1468.92	c 1468s |      26 |  8965413 |  8471052 |     1700  12692 |        0 |        0
1470.56/1470.93	c 1470s |      26 |  8976545 |  8481852 |     1700  12704 |        0 |        0
1472.57/1472.94	c 1472s |      26 |  8987714 |  8492652 |     1700  12716 |        0 |        0
1474.56/1474.95	c 1474s |      26 |  8999142 |  8503652 |     1700  12729 |        0 |        0
1476.56/1476.96	c 1476s |      26 |  9010491 |  8514452 |     1700  12741 |        0 |        0
1478.56/1478.96	c 1478s |      26 |  9021336 |  8524852 |     1700  12753 |        0 |        0
1480.56/1480.97	c 1480s |      26 |  9032518 |  8535652 |     1700  12765 |        0 |        0
1482.56/1482.98	c 1482s |      26 |  9043581 |  8546052 |     1700  12777 |        0 |        0
1484.56/1484.98	c 1484s |      26 |  9054694 |  8556252 |     1700  12788 |        0 |        0
1486.55/1486.99	c 1486s |      26 |  9065549 |  8566452 |     1700  12800 |        0 |        0
1488.65/1489.00	c 1488s |      26 |  9076453 |  8576952 |     1700  12812 |        0 |        0
1490.65/1491.01	c 1490s |      26 |  9087583 |  8587352 |     1700  12824 |        0 |        0
1492.65/1493.02	c 1493s |      26 |  9098597 |  8597852 |     1700  12836 |        0 |        0
1494.65/1495.02	c 1495s |      26 |  9110038 |  8608552 |     1700  12848 |        0 |        0
1496.65/1497.04	c 1497s |      26 |  9121364 |  8619352 |     1700  12860 |        0 |        0
1498.66/1499.05	c 1499s |      26 |  9132678 |  8629952 |     1700  12872 |        0 |        0
1500.65/1501.06	c 1501s |      26 |  9143439 |  8640352 |     1700  12884 |        0 |        0
1502.65/1503.07	c 1503s |      26 |  9154452 |  8650952 |     1700  12896 |        0 |        0
1504.65/1505.08	c 1505s |      26 |  9165402 |  8661452 |     1700  12908 |        0 |        0
1506.66/1507.10	c 1507s |      26 |  9177211 |  8672152 |     1700  12920 |        0 |        0
1508.75/1509.10	c 1509s |      26 |  9188404 |  8682852 |     1700  12932 |        0 |        0
1510.75/1511.12	c 1511s |      26 |  9199534 |  8693552 |     1700  12945 |        0 |        0
1512.75/1513.13	c 1513s |      26 |  9210729 |  8704352 |     1700  12957 |        0 |        0
1514.74/1515.14	c 1515s |      26 |  9221850 |  8715052 |     1700  12969 |        0 |        0
1516.74/1517.16	c 1517s |      26 |  9233276 |  8725852 |     1700  12981 |        0 |        0
1518.75/1519.17	c 1519s |      26 |  9244314 |  8736452 |     1700  12993 |        0 |        0
1520.74/1521.19	c 1521s |      26 |  9255353 |  8747152 |     1700  13006 |        0 |        0
1522.84/1523.20	c 1523s |      26 |  9266541 |  8757752 |     1700  13018 |        0 |        0
1524.84/1525.20	c 1525s |      26 |  9277659 |  8768252 |     1700  13030 |        0 |        0
1526.84/1527.21	c 1527s |      26 |  9288987 |  8778852 |     1700  13042 |        0 |        0
1528.84/1529.22	c 1529s |      26 |  9300138 |  8789252 |     1700  13053 |        0 |        0
1530.84/1531.23	c 1531s |      26 |  9310700 |  8799152 |     1700  13065 |        0 |        0
1532.83/1533.25	c 1533s |      26 |  9321892 |  8809952 |     1700  13077 |        0 |        0
1534.83/1535.26	c 1535s |      26 |  9333312 |  8820552 |     1700  13089 |        0 |        0
1536.83/1537.28	c 1537s |      26 |  9344856 |  8831452 |     1700  13101 |        0 |        0
1538.83/1539.29	c 1539s |      26 |  9355748 |  8841852 |     1700  13113 |        0 |        0
1540.83/1541.29	c 1541s |      26 |  9366629 |  8852352 |     1700  13125 |        0 |        0
1542.83/1543.29	c 1543s |      26 |  9377725 |  8863052 |     1700  13137 |        0 |        0
1544.93/1545.30	c 1545s |      26 |  9388884 |  8873652 |     1700  13149 |        0 |        0
1546.93/1547.31	c 1547s |      26 |  9399713 |  8884252 |     1700  13161 |        0 |        0
1548.93/1549.32	c 1549s |      26 |  9410570 |  8894752 |     1700  13173 |        0 |        0
1550.92/1551.32	c 1551s |      26 |  9421860 |  8905752 |     1700  13186 |        0 |        0
1552.93/1553.33	c 1553s |      26 |  9433175 |  8916652 |     1700  13198 |        0 |        0
1554.92/1555.34	c 1555s |      26 |  9444317 |  8927452 |     1700  13210 |        0 |        0
1556.92/1557.35	c 1557s |      26 |  9455369 |  8938052 |     1700  13222 |        0 |        0
1558.92/1559.37	c 1559s |      26 |  9466204 |  8948452 |     1700  13234 |        0 |        0
1560.91/1561.38	c 1561s |      26 |  9477394 |  8958852 |     1700  13246 |        0 |        0
1562.91/1563.39	c 1563s |      26 |  9488481 |  8969452 |     1700  13258 |        0 |        0
1564.93/1565.40	c 1565s |      26 |  9499529 |  8980052 |     1700  13270 |        0 |        0
1567.02/1567.41	c 1567s |      26 |  9510645 |  8990652 |     1700  13282 |        0 |        0
1569.02/1569.42	c 1569s |      26 |  9521713 |  9001352 |     1700  13294 |        0 |        0
1571.01/1571.44	c 1571s |      26 |  9532477 |  9011652 |     1700  13306 |        0 |        0
1573.01/1573.45	c 1573s |      26 |  9543644 |  9022252 |     1700  13318 |        0 |        0
1575.01/1575.45	c 1575s |      26 |  9555036 |  9032852 |     1700  13330 |        0 |        0
1577.02/1577.46	c 1577s |      26 |  9566079 |  9043152 |     1700  13342 |        0 |        0
1579.01/1579.46	c 1579s |      26 |  9577043 |  9053552 |     1700  13354 |        0 |        0
1581.01/1581.47	c 1581s |      26 |  9587900 |  9063952 |     1700  13366 |        0 |        0
1583.01/1583.48	c 1583s |      26 |  9599175 |  9074552 |     1700  13378 |        0 |        0
1585.11/1585.51	c 1585s |      26 |  9610379 |  9085052 |     1700  13390 |        0 |        0
1587.11/1587.53	c 1587s |      26 |  9621570 |  9095652 |     1700  13402 |        0 |        0
1589.11/1589.54	c 1589s |      26 |  9632976 |  9106452 |     1700  13414 |        0 |        0
1591.10/1591.54	c 1591s |      26 |  9643955 |  9116652 |     1700  13426 |        0 |        0
1593.10/1593.56	c 1593s |      26 |  9655216 |  9127152 |     1700  13437 |        0 |        0
1595.10/1595.57	c 1595s |      26 |  9666706 |  9138152 |     1700  13450 |        0 |        0
1597.10/1597.59	c 1597s |      26 |  9677980 |  9148852 |     1700  13462 |        0 |        0
1599.11/1599.59	c 1599s |      26 |  9689115 |  9159552 |     1700  13474 |        0 |        0
1601.20/1601.61	c 1601s |      26 |  9700221 |  9169952 |     1700  13486 |        0 |        0
1603.19/1603.62	c 1603s |      26 |  9711563 |  9180752 |     1700  13498 |        0 |        0
1605.19/1605.63	c 1605s |      26 |  9722313 |  9191252 |     1700  13510 |        0 |        0
1607.19/1607.64	c 1607s |      26 |  9733488 |  9201952 |     1700  13523 |        0 |        0
1609.19/1609.64	c 1609s |      26 |  9744451 |  9212452 |     1700  13534 |        0 |        0
1611.20/1611.66	c 1611s |      26 |  9755514 |  9222852 |     1700  13546 |        0 |        0
1613.19/1613.67	c 1613s |      26 |  9766223 |  9232852 |     1700  13558 |        0 |        0
1615.19/1615.68	c 1615s |      26 |  9777366 |  9243452 |     1700  13570 |        0 |        0
1617.19/1617.69	c 1617s |      26 |  9788335 |  9253752 |     1700  13581 |        0 |        0
1619.29/1619.70	c 1619s |      26 |  9799447 |  9264252 |     1700  13593 |        0 |        0
1621.28/1621.72	c 1621s |      26 |  9809930 |  9274052 |     1700  13605 |        0 |        0
1623.29/1623.73	c 1623s |      26 |  9821042 |  9284652 |     1700  13617 |        0 |        0
1625.28/1625.73	c 1625s |      26 |  9832229 |  9295052 |     1700  13628 |        0 |        0
1627.28/1627.74	c 1627s |      26 |  9843536 |  9305352 |     1700  13640 |        0 |        0
1629.28/1629.75	c 1629s |      26 |  9854461 |  9315452 |     1700  13652 |        0 |        0
1631.28/1631.76	c 1631s |      26 |  9865515 |  9325852 |     1700  13664 |        0 |        0
1633.28/1633.77	c 1633s |      26 |  9876155 |  9336052 |     1700  13675 |        0 |        0
1635.28/1635.77	c 1635s |      26 |  9887296 |  9346152 |     1700  13687 |        0 |        0
1637.28/1637.77	c 1637s |      26 |  9897771 |  9355752 |     1700  13698 |        0 |        0
1639.28/1639.79	c 1639s |      26 |  9909190 |  9366452 |     1700  13710 |        0 |        0
1641.37/1641.80	c 1641s |      26 |  9920511 |  9377252 |     1700  13722 |        0 |        0
1643.37/1643.80	c 1643s |      26 |  9931607 |  9387952 |     1700  13734 |        0 |        0
1645.37/1645.80	c 1645s |      26 |  9943118 |  9398652 |     1700  13746 |        0 |        0
1647.37/1647.81	c 1647s |      26 |  9953902 |  9409052 |     1700  13758 |        0 |        0
1649.37/1649.83	c 1649s |      26 |  9965161 |  9419652 |     1700  13770 |        0 |        0
1651.37/1651.84	c 1651s |      26 |  9975982 |  9430052 |     1700  13782 |        0 |        0
1653.37/1653.84	c 1653s |      26 |  9986890 |  9440452 |     1700  13794 |        0 |        0
1655.37/1655.86	c 1655s |      26 |  9997935 |  9450652 |     1700  13805 |        0 |        0
1657.38/1657.87	c 1657s |      26 | 10008601 |  9460452 |     1700  13816 |        0 |        0
1659.37/1659.88	c 1659s |      26 | 10019564 |  9470852 |     1700  13828 |        0 |        0
1661.37/1661.88	c 1661s |      26 | 10030322 |  9481152 |     1700  13840 |        0 |        0
1663.37/1663.89	c 1663s |      26 | 10041059 |  9491552 |     1700  13852 |        0 |        0
1665.37/1665.89	c 1665s |      26 | 10051879 |  9501752 |     1700  13863 |        0 |        0
1667.47/1667.90	c 1667s |      26 | 10062586 |  9511952 |     1700  13875 |        0 |        0
1669.47/1669.92	c 1669s |      26 | 10073517 |  9522452 |     1700  13887 |        0 |        0
1671.46/1671.94	c 1671s |      26 | 10084290 |  9532852 |     1700  13899 |        0 |        0
1673.46/1673.95	c 1673s |      26 | 10095308 |  9543352 |     1700  13911 |        0 |        0
1675.46/1675.96	c 1675s |      26 | 10106194 |  9553852 |     1700  13923 |        0 |        0
1677.46/1677.97	c 1677s |      26 | 10117130 |  9564252 |     1700  13934 |        0 |        0
1679.46/1679.98	c 1679s |      26 | 10128062 |  9574552 |     1700  13946 |        0 |        0
1681.45/1681.99	c 1681s |      26 | 10138578 |  9584752 |     1700  13958 |        0 |        0
1683.55/1684.01	c 1683s |      26 | 10149676 |  9595352 |     1700  13970 |        0 |        0
1685.55/1686.02	c 1686s |      26 | 10160555 |  9605652 |     1700  13982 |        0 |        0
1687.55/1688.03	c 1688s |      26 | 10171337 |  9616052 |     1700  13993 |        0 |        0
1689.54/1690.04	c 1690s |      26 | 10181956 |  9626252 |     1700  14005 |        0 |        0
1691.54/1692.04	c 1692s |      26 | 10193060 |  9636652 |     1700  14017 |        0 |        0
1693.55/1694.06	c 1694s |      26 | 10204154 |  9647152 |     1700  14029 |        0 |        0
1695.54/1696.06	c 1696s |      26 | 10215394 |  9657252 |     1700  14040 |        0 |        0
1697.54/1698.08	c 1698s |      26 | 10226505 |  9667552 |     1700  14052 |        0 |        0
1699.55/1700.08	c 1700s |      26 | 10237212 |  9677752 |     1700  14064 |        0 |        0
1701.54/1702.08	c 1702s |      26 | 10247961 |  9687952 |     1700  14075 |        0 |        0
1703.55/1704.09	c 1704s |      26 | 10259029 |  9698352 |     1700  14087 |        0 |        0
1705.54/1706.09	c 1706s |      26 | 10269997 |  9708752 |     1700  14099 |        0 |        0
1707.64/1708.10	c 1708s |      26 | 10280690 |  9719052 |     1700  14111 |        0 |        0
1709.64/1710.10	c 1710s |      26 | 10291587 |  9729552 |     1700  14123 |        0 |        0
1711.63/1712.11	c 1712s |      26 | 10302246 |  9739752 |     1700  14134 |        0 |        0
1713.63/1714.12	c 1714s |      26 | 10313083 |  9749652 |     1700  14146 |        0 |        0
1715.64/1716.12	c 1716s |      26 | 10324514 |  9760152 |     1700  14157 |        0 |        0
1717.63/1718.13	c 1718s |      26 | 10335622 |  9770552 |     1700  14169 |        0 |        0
1719.63/1720.14	c 1720s |      26 | 10346498 |  9780952 |     1700  14181 |        0 |        0
1721.63/1722.16	c 1722s |      26 | 10357548 |  9791452 |     1700  14193 |        0 |        0
1723.63/1724.16	c 1724s |      26 | 10368508 |  9801952 |     1700  14205 |        0 |        0
1725.63/1726.17	c 1726s |      26 | 10379386 |  9812252 |     1700  14217 |        0 |        0
1727.64/1728.18	c 1728s |      26 | 10390066 |  9822352 |     1700  14228 |        0 |        0
1729.73/1730.20	c 1730s |      26 | 10401192 |  9832552 |     1700  14240 |        0 |        0
1731.73/1732.21	c 1732s |      26 | 10412108 |  9843052 |     1700  14252 |        0 |        0
1733.73/1734.22	c 1734s |      26 | 10422705 |  9853152 |     1700  14263 |        0 |        0
1735.73/1736.22	c 1736s |      26 | 10433777 |  9863252 |     1700  14275 |        0 |        0
1737.72/1738.22	c 1738s |      26 | 10444661 |  9873752 |     1700  14287 |        0 |        0
1739.73/1740.23	c 1740s |      26 | 10455715 |  9884152 |     1700  14298 |        0 |        0
1741.72/1742.24	c 1742s |      26 | 10466609 |  9894452 |     1700  14310 |        0 |        0
1743.72/1744.25	c 1744s |      26 | 10476936 |  9904452 |     1700  14322 |        0 |        0
1745.72/1746.26	c 1746s |      26 | 10487621 |  9914452 |     1700  14333 |        0 |        0
1747.72/1748.27	c 1748s |      26 | 10498261 |  9924552 |     1700  14344 |        0 |        0
1749.73/1750.28	c 1750s |      26 | 10508941 |  9934452 |     1700  14356 |        0 |        0
1751.71/1752.28	c 1752s |      26 | 10519908 |  9944752 |     1700  14367 |        0 |        0
1753.71/1754.29	c 1754s |      26 | 10530915 |  9955252 |     1700  14379 |        0 |        0
1755.81/1756.31	c 1756s |      26 | 10541796 |  9965552 |     1700  14391 |        0 |        0
1757.81/1758.31	c 1758s |      26 | 10552345 |  9975752 |     1700  14403 |        0 |        0
1759.81/1760.32	c 1760s |      26 | 10562954 |  9985752 |     1700  14414 |        0 |        0
1761.82/1762.32	c 1762s |      26 | 10573399 |  9995652 |     1700  14425 |        0 |        0
1763.82/1764.34	c 1764s |      26 | 10583703 | 10005552 |     1700  14437 |        0 |        0
1765.82/1766.35	c 1766s |      26 | 10594437 | 10015652 |     1700  14448 |        0 |        0
1767.82/1768.36	c 1768s |      26 | 10605192 | 10025952 |     1700  14460 |        0 |        0
1769.82/1770.37	c 1770s |      26 | 10615819 | 10036252 |     1700  14472 |        0 |        0
1771.81/1772.37	c 1772s |      26 | 10626270 | 10046352 |     1700  14483 |        0 |        0
1773.82/1774.38	c 1774s |      26 | 10637222 | 10056752 |     1700  14495 |        0 |        0
1775.81/1776.38	c 1776s |      26 | 10649191 | 10067652 |     1700  14507 |        0 |        0
1777.81/1778.38	c 1778s |      26 | 10660365 | 10078052 |     1700  14519 |        0 |        0
1779.81/1780.38	c 1780s |      26 | 10671338 | 10087952 |     1700  14530 |        0 |        0
1781.80/1782.38	c 1782s |      26 | 10682565 | 10098252 |     1700  14542 |        0 |        0
1783.81/1784.38	c 1784s |      26 | 10694135 | 10109052 |     1700  14554 |        0 |        0
1785.80/1786.40	c 1786s |      26 | 10705571 | 10119752 |     1700  14566 |        0 |        0
1787.90/1788.41	c 1788s |      26 | 10716698 | 10130252 |     1700  14578 |        0 |        0
1789.90/1790.41	c 1790s |      26 | 10727899 | 10140652 |     1700  14590 |        0 |        0
1791.89/1792.45	c 1792s |      26 | 10739656 | 10151052 |     1700  14602 |        0 |        0
1793.89/1794.45	c 1794s |      26 | 10751484 | 10161552 |     1700  14614 |        0 |        0
1795.90/1796.45	c 1796s |      26 | 10762209 | 10171852 |     1700  14626 |        0 |        0
1797.89/1798.47	c 1798s |      26 | 10773374 | 10181952 |     1700  14637 |        0 |        0
1799.89/1800.47	c 1800s |      26 | 10783806 | 10191752 |     1700  14648 |        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-4089092-1466021339/watcher-4089092-1466021339 -o /tmp/evaluation-result-4089092-1466021339/solver-4089092-1466021339 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5838 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089092-1466021339.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.24 2.20 4/179 6931
/proc/meminfo: memFree=29469880/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=781756 CPUtime=0 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 2926 0 0 0 0 0 0 0 20 0 4 0 4180390 800518144 2776 33554432000 4194304 16246674 140735646929168 140735646928592 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 195951 2786 441 2943 0 192845 0
[pid=6931/tid=6932] ppid=6928 vsize=799164 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 818343936 2847 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=805308 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 824635392 2868 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=808380 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4180390 827781120 2883 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.10012 s]
/proc/loadavg: 2.22 2.24 2.20 4/179 6931
/proc/meminfo: memFree=29469880/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 29000 0 0 0 5 3 0 0 20 0 4 0 4180390 1247350784 28838 33554432000 4194304 16246674 140735646929168 140735646928592 5530837 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 304529 28851 713 2943 0 301423 0
[pid=6931/tid=6932] ppid=6928 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1247350784 28861 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1247350784 28870 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4180390 1247350784 28880 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200455 s]
/proc/loadavg: 2.22 2.24 2.20 4/179 6931
/proc/meminfo: memFree=29469880/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 57134 0 0 0 12 7 0 0 20 0 4 0 4180390 1247350784 56973 33554432000 4194304 16246674 140735646929168 140735646928592 6021133 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 304529 56989 713 2943 0 301423 0
[pid=6931/tid=6932] ppid=6928 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1247350784 56999 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1247350784 57008 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4180390 1247350784 57015 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300443 s]
/proc/loadavg: 2.22 2.24 2.20 4/179 6931
/proc/meminfo: memFree=29469880/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 86184 0 0 0 18 11 0 0 20 0 4 0 4180390 1247350784 86022 33554432000 4194304 16246674 140735646929168 140735646928592 12875570 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 304529 86039 713 2943 0 301423 0
[pid=6931/tid=6932] ppid=6928 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1247350784 86048 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1247350784 86056 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4180390 1247350784 86060 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700388 s]
/proc/loadavg: 2.22 2.24 2.20 4/179 6931
/proc/meminfo: memFree=29469880/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 200521 0 0 0 44 25 0 0 20 0 4 0 4180390 1247350784 200360 33554432000 4194304 16246674 140735646929168 140735646928592 5589602 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 304529 200375 713 2943 0 301423 0
[pid=6931/tid=6932] ppid=6928 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1247350784 200386 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1247350784 200397 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4180390 1247350784 200407 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.22 2.24 2.20 4/183 6935
/proc/meminfo: memFree=28489016/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 267222 0 0 0 115 34 0 0 20 0 4 0 4180390 1336479744 267040 33554432000 4194304 16246674 140735646929168 140735646928480 5546093 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 326289 267040 789 2943 0 323183 0
[pid=6931/tid=6932] ppid=6928 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1336479744 267040 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1336479744 267040 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4180390 1336479744 267040 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10039 s]
/proc/loadavg: 2.22 2.24 2.20 4/183 6935
/proc/meminfo: memFree=28401720/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 267467 0 0 0 275 34 0 0 20 0 4 0 4180390 1337528320 267285 33554432000 4194304 16246674 140735646929168 140735646911040 6010993 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 326545 267285 789 2943 0 323439 0
[pid=6931/tid=6932] ppid=6928 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1337528320 267285 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1337528320 267285 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4180390 1337528320 267285 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30045 s]
/proc/loadavg: 2.20 2.23 2.20 3/183 6935
/proc/meminfo: memFree=28400512/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 267471 0 0 0 595 34 0 0 20 0 4 0 4180390 1337528320 267289 33554432000 4194304 16246674 140735646929168 140735646912168 6071239 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 326545 267289 789 2943 0 323439 0
[pid=6931/tid=6932] ppid=6928 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1337528320 267289 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1337528320 267289 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4180390 1337528320 267289 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.27 2.25 2.20 3/182 6935
/proc/meminfo: memFree=28400776/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 267529 0 0 0 1234 34 0 0 20 0 4 0 4180390 1337528320 267347 33554432000 4194304 16246674 140735646929168 140735646912168 5669490 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 326545 267347 790 2943 0 323439 0
[pid=6931/tid=6932] ppid=6928 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1337528320 267347 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1337528320 267347 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4180390 1337528320 267347 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.21 2.23 2.20 3/183 6936
/proc/meminfo: memFree=28401364/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 267576 0 0 0 2514 35 0 0 20 0 4 0 4180390 1337528320 267394 33554432000 4194304 16246674 140735646929168 140735646912168 5823905 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 326545 267394 790 2943 0 323439 0
[pid=6931/tid=6932] ppid=6928 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1337528320 267394 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1337528320 267394 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4180390 1337528320 267394 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.21 2.23 2.20 3/183 6936
/proc/meminfo: memFree=28401244/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 267602 0 0 0 5073 35 0 0 20 0 4 0 4180390 1338576896 267420 33554432000 4194304 16246674 140735646929168 140735646912168 5722604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 326801 267420 790 2943 0 323695 0
[pid=6931/tid=6932] ppid=6928 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1338576896 267420 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1338576896 267420 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4180390 1338576896 267420 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.26 2.24 2.20 4/184 6940
/proc/meminfo: memFree=28398460/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1308228 CPUtime=102.28 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 267924 0 0 0 10192 36 0 0 20 0 4 0 4180390 1339625472 267742 33554432000 4194304 16246674 140735646929168 140735646912168 13963936 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 327057 267742 792 2943 0 323951 0
[pid=6931/tid=6932] ppid=6928 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1339625472 267742 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1339625472 267742 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4180390 1339625472 267742 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4180390 1345916928 269702 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.41 2.31 2.21 3/184 6971
/proc/meminfo: memFree=28382976/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1314372 CPUtime=1302.05 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 269710 0 0 0 130153 52 0 0 20 0 4 0 4180390 1345916928 269702 33554432000 4194304 16246674 140735646929168 140735646911040 5823250 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 328593 269702 794 2943 0 325487 0
[pid=6931/tid=6932] ppid=6928 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1345916928 269702 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1345916928 269702 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4180390 1345916928 269702 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.36 2.31 2.22 4/183 6972
/proc/meminfo: memFree=28383492/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1314372 CPUtime=1362.02 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 269755 0 0 0 136149 53 0 0 20 0 4 0 4180390 1345916928 269702 33554432000 4194304 16246674 140735646929168 140735646912168 6845864 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 328593 269702 794 2943 0 325487 0
[pid=6931/tid=6932] ppid=6928 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1345916928 269702 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1345916928 269702 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4180390 1345916928 269702 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.26 2.28 2.21 3/183 6973
/proc/meminfo: memFree=28383520/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1314372 CPUtime=1422 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 269797 0 0 0 142146 54 0 0 20 0 4 0 4180390 1345916928 269702 33554432000 4194304 16246674 140735646929168 140735646911040 13963968 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 328593 269702 794 2943 0 325487 0
[pid=6931/tid=6932] ppid=6928 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1345916928 269702 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1345916928 269702 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4180390 1345916928 269702 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.35 2.30 2.22 3/183 6974
/proc/meminfo: memFree=28381200/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1316420 CPUtime=1481.96 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 270350 0 0 0 148142 54 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140735646911040 5674088 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 329105 270214 794 2943 0 325999 0
[pid=6931/tid=6932] ppid=6928 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1316420

[startup+1542.31 s]
/proc/loadavg: 2.45 2.34 2.23 3/183 7025
/proc/meminfo: memFree=28392296/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1316420 CPUtime=1541.93 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 270388 0 0 0 154138 55 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140735646911040 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 329105 270214 794 2943 0 325999 0
[pid=6931/tid=6932] ppid=6928 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1316420

[startup+1602.3 s]
/proc/loadavg: 2.35 2.33 2.24 3/183 7026
/proc/meminfo: memFree=28391952/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1316420 CPUtime=1601.9 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 270428 0 0 0 160134 56 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140735646912168 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 329105 270214 794 2943 0 325999 0
[pid=6931/tid=6932] ppid=6928 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1316420

[startup+1662.3 s]
/proc/loadavg: 2.41 2.36 2.25 3/183 7027
/proc/meminfo: memFree=28390476/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1316420 CPUtime=1661.87 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 270469 0 0 0 166130 57 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140735646912168 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 329105 270214 794 2943 0 325999 0
[pid=6931/tid=6932] ppid=6928 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1316420

[startup+1722.3 s]
/proc/loadavg: 2.62 2.43 2.28 3/183 7028
/proc/meminfo: memFree=28390500/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1316420 CPUtime=1721.83 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 270509 0 0 0 172125 58 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140735646911040 12875520 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 329105 270214 794 2943 0 325999 0
[pid=6931/tid=6932] ppid=6928 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1316420

[startup+1782.3 s]
/proc/loadavg: 2.50 2.43 2.29 3/183 7029
/proc/meminfo: memFree=28389912/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1316420 CPUtime=1781.8 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 270546 0 0 0 178121 59 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140735646911040 5669432 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 329105 270214 794 2943 0 325999 0
[pid=6931/tid=6932] ppid=6928 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4180390 1348014080 270214 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1316420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.53 2.44 2.29 3/183 7029
/proc/meminfo: memFree=28390268/32872528 swapFree=1369816/1516984
[pid=6931] ppid=6928 vsize=1318468 CPUtime=1800.09 cores=0,2,4,6
/proc/6931/stat : 6931 (toysat) R 6928 6931 5822 0 -1 4202496 271014 0 0 0 179950 59 0 0 20 0 4 0 4180390 1350111232 270676 33554432000 4194304 16246674 140735646929168 140735646912168 5667556 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6931/statm: 329617 270676 794 2943 0 326511 0
[pid=6931/tid=6932] ppid=6928 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6932/stat : 6932 (toysat) S 6928 6931 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4180390 1350111232 270676 33554432000 4194304 16246674 140735646929168 140045097872624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6931/tid=6933] ppid=6928 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6933/stat : 6933 (toysat) S 6928 6931 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4180390 1350111232 270676 33554432000 4194304 16246674 140735646929168 140045087382768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6931/tid=6934] ppid=6928 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/6931/task/6934/stat : 6934 (toysat) S 6928 6931 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4180390 1350111232 270676 33554432000 4194304 16246674 140735646929168 140045076909232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1318468

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.51
CPU system time (s): 0.597909
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.597909
maximum resident set size= 1082704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271014
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= 429
involuntary context switches= 1842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2392 second user time and 7.30089 second system time

The end

Begin job on node129 at 2016-06-15 22:08:59
IDJOB=4089092
IDBENCH=107357
IDSOLVER=2542
FILE ID=node129/4089092-1466021339
RUNJOBID= node129-1466013843-5838
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 39cfa865384afc152e3837a6f975b8ab
RANDOM SEED=54220147

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29470036 kB
Buffers:           14108 kB
Cached:            74316 kB
SwapCached:        20176 kB
Active:          1134416 kB
Inactive:          49216 kB
Active(anon):    1077716 kB
Inactive(anon):    20104 kB
Active(file):      56700 kB
Inactive(file):    29112 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081528 kB
Dirty:             16548 kB
Writeback:             0 kB
AnonPages:       2593752 kB
Mapped:            10268 kB
Shmem:                 0 kB
Slab:             566676 kB
SReclaimable:      10728 kB
SUnreclaim:       555948 kB
KernelStack:        1464 kB
PageTables:         9228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2735228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node129 at 2016-06-15 22:39:00