0.00/0.00	c 2016-06-30T21:43:54+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-4121906-1467315834.opb"]
0.00/0.01	c use --random-gen="106056418 3006817599 1866844257 1580614383 396892900 2878242837 3707667732 1279681543 4097965944 3238717949 2379756698 1772223130 3394697130 3526254965 863471807 1093085624 883720238 180184658 3196212362 1837907708 718060021 331775307 1353055432 2487439779 1181502843 2859246931 18989961 1361079962 1105681335 3165787039 1946265024 2636346595 2741303199 52766863 207403750 1382210939 1397103802 3896906516 2995746871 3447592195 3292168275 1506323282 1022286189 412011073 2205548636 2740455619 1675402982 3178880647 1746825015 3775008256 1202412560 1154720000 2878905142 3874383177 990750041 220927054 1411165647 3733400324 4166247587 1915280953 2348348906 2507659532 1989196185 1328007173 3659585003 2018550017 3531098954 2688083539 343448598 1392189797 2646531397 164889842 3724312349 2036865802 1199413673 4244383540 4196232601 3352644129 1964848346 4032945663 922401933 193126845 1027189098 1710519141 3176783226 3468965580 2666881824 3218488689 2225563729 3302418540 4189005331 3281512187 828488592 3516098128 3264694132 3548331940 466977615 2264226192 1920312553 1083876655 4197674967 3434937895 4256316446 2432554000 844903337 3398521590 513021573 699256279 1301607521 574929756 1868261007 1189242412 1705118784 751397689 3436670908 3202548188 38232616 3416052361 1463598570 3084108528 2539620033 3662295718 2463359435 1374260021 1951610385 3258093647 553884057 363287380 2523789359 913802112 164062813 1505443480 1288635763 763716666 2935897875 3814698864 3668779516 2326345040 3042147708 1084455883 3697779425 1272692972 1292099436 1491964334 411499597 1181700372 4069492543 479823420 591871574 985200532 3491564902 2427536322 986223102 2717073306 1851060996 3856112608 793172336 2857119383 2153381908 1010940508 3083827636 1530215000 3425708988 3878274044 3716458095 270457841 2944691280 692912801 3205070574 1724196298 2957534547 3815814943 2094629812 951444987 1371300605 4040710527 55130510 2761399570 629412446 3222740166 1473863837 3845482089 333372849 3547051337 1929518743 2749770705 1744231032 3918970215 874495697 2042293282 1503037372 2411685546 680296073 523315069 3867529433 601267207 648758452 882526596 3855707936 986601223 3796668237 3941452923 1925880471 940848461 374378848 637345685 598964876 3315314134 702749585 1989683885 380804899 1349063221 122867498 3546247019 3311996606 3823897738 3251592950 4108444985 1977578602 1364433875 3381625614 3938197590 444330754 3825562248 48999853 330449120 882459216 3806665819 2325807962 1356895157 1576238633 1052441905 2362975257 2633350523 2397924675 229042788 1993926925 858254698 2563052399 457935966 749868942 3757895035 2907987923 3251651711 3458457343 914625965 2506430995 1154340732 1115113844 1371158937 2345090299 431839621 454742727 2579290386 1316164186 468992799 255 362436" option to reproduce the execution
0.00/0.01	c #vars 97
0.00/0.01	c #constraints 96
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 |       64      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      147 |      100 |       64      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      348 |      250 |       71      4 |        0 |        0
0.00/0.06	c  0.0s |       3 |      670 |      475 |       79      8 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1222 |      813 |       87     14 |        0 |        0
0.08/0.13	c  0.1s |       5 |     2012 |     1320 |       96     23 |        0 |        0
0.18/0.21	c  0.2s |       6 |     2955 |     2081 |      117     32 |        0 |        0
0.28/0.32	c  0.3s |       7 |     4587 |     3223 |      129     48 |        0 |        0
0.39/0.49	c  0.5s |       8 |     7005 |     4936 |      142     71 |        0 |        0
0.69/0.72	c  0.7s |       9 |    11330 |     7506 |      157    101 |        0 |        0
0.99/1.10	c  1.1s |      10 |    16749 |    11361 |      173    142 |        0 |        0
1.39/1.48	c  1.5s |      11 |    24778 |    17144 |      191    203 |        0 |        0
2.08/2.14	c  2.1s |      12 |    36149 |    25819 |      211    284 |        0 |        0
2.98/3.05	c  3.0s |      13 |    52697 |    38832 |      233    394 |        0 |        0
4.28/4.36	c  4.3s |      14 |    79123 |    58352 |      257    548 |        0 |        0
6.18/6.30	c  6.3s |      15 |   121728 |    87632 |      283    756 |        0 |        0
8.28/8.30	c  8.3s |      15 |   163880 |   117432 |      283    954 |        0 |        0
9.18/9.26	c  9.2s |      16 |   183374 |   131552 |      312   1049 |        0 |        0
11.18/11.27	c 11.3s |      16 |   222272 |   159652 |      312   1218 |        0 |        0
13.19/13.27	c 13.3s |      16 |   266056 |   188852 |      312   1396 |        0 |        0
13.78/13.86	c 13.8s |      17 |   278414 |   197432 |      344   1447 |        0 |        0
15.78/15.86	c 15.8s |      17 |   324911 |   227232 |      344   1612 |        0 |        0
17.78/17.87	c 17.9s |      17 |   363791 |   254932 |      344   1765 |        0 |        0
19.79/19.87	c 19.9s |      17 |   402732 |   282332 |      344   1915 |        0 |        0
20.78/20.87	c 20.9s |      18 |   422104 |   296252 |      379   1990 |        0 |        0
22.78/22.87	c 22.9s |      18 |   461327 |   324152 |      379   2132 |        0 |        0
24.78/24.88	c 24.9s |      18 |   498131 |   351852 |      379   2272 |        0 |        0
26.78/26.88	c 26.9s |      18 |   537901 |   380452 |      379   2418 |        0 |        0
28.78/28.89	c 28.9s |      18 |   575323 |   407952 |      379   2559 |        0 |        0
30.78/30.89	c 30.9s |      18 |   609284 |   433752 |      379   2690 |        0 |        0
31.67/31.70	c 31.7s |      19 |   623303 |   444482 |      417   2743 |        0 |        0
33.67/33.70	c 33.7s |      19 |   655742 |   468982 |      417   2855 |        0 |        0
35.67/35.71	c 35.7s |      19 |   690639 |   494582 |      417   2973 |        0 |        0
37.67/37.71	c 37.7s |      19 |   720687 |   517882 |      417   3080 |        0 |        0
39.68/39.71	c 39.7s |      19 |   748000 |   539782 |      417   3181 |        0 |        0
41.67/41.71	c 41.7s |      19 |   781033 |   564282 |      417   3293 |        0 |        0
43.68/43.72	c 43.7s |      19 |   813985 |   589082 |      417   3407 |        0 |        0
45.68/45.72	c 45.7s |      19 |   845694 |   613782 |      417   3522 |        0 |        0
47.68/47.72	c 47.7s |      19 |   877380 |   637982 |      417   3634 |        0 |        0
49.68/49.73	c 49.7s |      19 |   905946 |   660782 |      417   3739 |        0 |        0
50.18/50.29	c 50.3s |      20 |   913361 |   666827 |      459   3764 |        0 |        0
52.27/52.30	c 52.3s |      20 |   943671 |   689727 |      459   3860 |        0 |        0
54.27/54.31	c 54.3s |      20 |   975426 |   713027 |      459   3957 |        0 |        0
56.27/56.31	c 56.3s |      20 |  1008057 |   737527 |      459   4059 |        0 |        0
58.28/58.32	c 58.3s |      20 |  1037478 |   760027 |      459   4153 |        0 |        0
60.27/60.32	c 60.3s |      20 |  1070095 |   784227 |      459   4255 |        0 |        0
62.27/62.32	c 62.3s |      20 |  1104037 |   809627 |      459   4361 |        0 |        0
64.27/64.33	c 64.3s |      20 |  1140886 |   836127 |      459   4473 |        0 |        0
66.26/66.33	c 66.3s |      20 |  1175419 |   861627 |      459   4583 |        0 |        0
68.28/68.33	c 68.3s |      20 |  1209160 |   886927 |      459   4692 |        0 |        0
70.27/70.34	c 70.3s |      20 |  1248184 |   914527 |      459   4809 |        0 |        0
72.27/72.34	c 72.3s |      20 |  1287102 |   942327 |      459   4928 |        0 |        0
74.27/74.34	c 74.3s |      20 |  1326104 |   969527 |      459   5044 |        0 |        0
76.27/76.35	c 76.3s |      20 |  1363320 |   996127 |      505   5156 |        0 |        0
76.67/76.70	c 76.7s |      21 |  1369046 |  1000345 |      505   5172 |        0 |        0
78.67/78.70	c 78.7s |      21 |  1395508 |  1021745 |      505   5254 |        0 |        0
80.67/80.71	c 80.7s |      21 |  1423735 |  1044645 |      505   5341 |        0 |        0
82.67/82.71	c 82.7s |      21 |  1451433 |  1066745 |      505   5426 |        0 |        0
84.67/84.72	c 84.7s |      21 |  1478407 |  1088545 |      505   5509 |        0 |        0
86.67/86.72	c 86.7s |      21 |  1510269 |  1112745 |      505   5602 |        0 |        0
88.67/88.73	c 88.7s |      21 |  1542100 |  1136945 |      505   5695 |        0 |        0
90.67/90.73	c 90.7s |      21 |  1570992 |  1159745 |      505   5783 |        0 |        0
92.66/92.74	c 92.7s |      21 |  1599463 |  1181745 |      505   5866 |        0 |        0
94.67/94.75	c 94.7s |      21 |  1627803 |  1204145 |      505   5952 |        0 |        0
96.66/96.75	c 96.7s |      21 |  1655078 |  1226045 |      505   6037 |        0 |        0
98.66/98.76	c 98.7s |      21 |  1683896 |  1248745 |      505   6123 |        0 |        0
100.67/100.76	c  100s |      21 |  1711725 |  1271045 |      505   6209 |        0 |        0
102.66/102.77	c  102s |      21 |  1742744 |  1294845 |      505   6300 |        0 |        0
104.66/104.77	c  104s |      21 |  1770876 |  1317445 |      505   6386 |        0 |        0
106.67/106.78	c  106s |      21 |  1800929 |  1341045 |      505   6476 |        0 |        0
108.66/108.78	c  108s |      21 |  1832306 |  1364945 |      505   6568 |        0 |        0
110.66/110.78	c  110s |      21 |  1866283 |  1390045 |      505   6665 |        0 |        0
112.66/112.78	c  112s |      21 |  1897464 |  1414145 |      505   6758 |        0 |        0
114.66/114.79	c  114s |      21 |  1928576 |  1437645 |      505   6849 |        0 |        0
116.67/116.79	c  116s |      21 |  1961135 |  1461945 |      505   6943 |        0 |        0
118.66/118.80	c  118s |      21 |  1989251 |  1484645 |      505   7030 |        0 |        0
120.16/120.24	c  120s |      22 |  2009262 |  1500622 |      556   7087 |        0 |        0
122.17/122.25	c  122s |      22 |  2040569 |  1524122 |      556   7169 |        0 |        0
124.16/124.25	c  124s |      22 |  2067725 |  1545622 |      556   7244 |        0 |        0
126.16/126.26	c  126s |      22 |  2096271 |  1568522 |      556   7324 |        0 |        0
128.16/128.26	c  128s |      22 |  2121692 |  1589422 |      556   7396 |        0 |        0
130.16/130.27	c  130s |      22 |  2151918 |  1612722 |      556   7478 |        0 |        0
132.16/132.27	c  132s |      22 |  2179753 |  1635122 |      556   7556 |        0 |        0
134.16/134.28	c  134s |      22 |  2201679 |  1654122 |      556   7621 |        0 |        0
136.15/136.28	c  136s |      22 |  2226390 |  1674822 |      556   7692 |        0 |        0
138.16/138.29	c  138s |      22 |  2252218 |  1696322 |      556   7766 |        0 |        0
140.26/140.30	c  140s |      22 |  2277617 |  1717722 |      556   7840 |        0 |        0
142.26/142.30	c  142s |      22 |  2304481 |  1739522 |      556   7916 |        0 |        0
144.26/144.31	c  144s |      22 |  2332018 |  1761922 |      556   7993 |        0 |        0
146.27/146.31	c  146s |      22 |  2359804 |  1784122 |      556   8070 |        0 |        0
148.26/148.32	c  148s |      22 |  2389905 |  1807622 |      556   8152 |        0 |        0
150.26/150.32	c  150s |      22 |  2416237 |  1829122 |      556   8226 |        0 |        0
152.26/152.33	c  152s |      22 |  2441995 |  1850422 |      556   8300 |        0 |        0
154.26/154.33	c  154s |      22 |  2471013 |  1873322 |      556   8379 |        0 |        0
156.26/156.33	c  156s |      22 |  2502509 |  1898222 |      556   8467 |        0 |        0
158.26/158.34	c  158s |      22 |  2537725 |  1923622 |      556   8556 |        0 |        0
160.25/160.35	c  160s |      22 |  2573042 |  1949522 |      556   8648 |        0 |        0
162.25/162.35	c  162s |      22 |  2603884 |  1974022 |      556   8734 |        0 |        0
164.25/164.36	c  164s |      22 |  2636340 |  1999022 |      556   8822 |        0 |        0
166.25/166.37	c  166s |      22 |  2671669 |  2024722 |      556   8913 |        0 |        0
168.27/168.37	c  168s |      22 |  2707061 |  2050122 |      556   9002 |        0 |        0
170.26/170.37	c  170s |      22 |  2738406 |  2074022 |      556   9086 |        0 |        0
172.26/172.38	c  172s |      22 |  2766762 |  2096722 |      556   9166 |        0 |        0
174.26/174.38	c  174s |      22 |  2793484 |  2118422 |      556   9242 |        0 |        0
176.26/176.38	c  176s |      22 |  2823236 |  2141422 |      556   9322 |        0 |        0
178.26/178.38	c  178s |      22 |  2853444 |  2164522 |      556   9403 |        0 |        0
180.25/180.39	c  180s |      22 |  2883286 |  2187422 |      556   9483 |        0 |        0
182.25/182.39	c  182s |      22 |  2912478 |  2210122 |      556   9563 |        0 |        0
184.25/184.39	c  184s |      22 |  2939903 |  2232322 |      556   9641 |        0 |        0
186.05/186.14	c  186s |      23 |  2963216 |  2251038 |      612   9701 |        0 |        0
188.05/188.15	c  188s |      23 |  2995332 |  2274438 |      612   9775 |        0 |        0
190.05/190.15	c  190s |      23 |  3023229 |  2296338 |      612   9844 |        0 |        0
192.04/192.15	c  192s |      23 |  3051708 |  2318638 |      612   9915 |        0 |        0
194.04/194.15	c  194s |      23 |  3081855 |  2341338 |      612   9987 |        0 |        0
196.04/196.16	c  196s |      23 |  3113398 |  2364738 |      612  10062 |        0 |        0
198.05/198.16	c  198s |      23 |  3145470 |  2388538 |      612  10138 |        0 |        0
200.04/200.17	c  200s |      23 |  3175995 |  2411938 |      612  10213 |        0 |        0
202.04/202.17	c  202s |      23 |  3206241 |  2434638 |      612  10285 |        0 |        0
204.04/204.17	c  204s |      23 |  3234290 |  2456438 |      612  10355 |        0 |        0
206.04/206.18	c  206s |      23 |  3261964 |  2478338 |      612  10425 |        0 |        0
208.04/208.18	c  208s |      23 |  3291643 |  2501238 |      612  10498 |        0 |        0
210.04/210.19	c  210s |      23 |  3323347 |  2525238 |      612  10575 |        0 |        0
212.03/212.19	c  212s |      23 |  3354024 |  2548438 |      612  10649 |        0 |        0
214.03/214.19	c  214s |      23 |  3384565 |  2571238 |      612  10722 |        0 |        0
216.03/216.19	c  216s |      23 |  3414914 |  2594238 |      612  10795 |        0 |        0
218.14/218.20	c  218s |      23 |  3445822 |  2617538 |      612  10870 |        0 |        0
220.14/220.21	c  220s |      23 |  3476984 |  2640938 |      612  10945 |        0 |        0
222.15/222.21	c  222s |      23 |  3506101 |  2663838 |      612  11018 |        0 |        0
224.14/224.22	c  224s |      23 |  3533104 |  2685438 |      612  11087 |        0 |        0
226.14/226.22	c  226s |      23 |  3565357 |  2709238 |      612  11163 |        0 |        0
228.14/228.22	c  228s |      23 |  3598893 |  2733338 |      612  11240 |        0 |        0
230.14/230.22	c  230s |      23 |  3630886 |  2757138 |      612  11316 |        0 |        0
232.14/232.23	c  232s |      23 |  3663653 |  2781538 |      612  11395 |        0 |        0
234.13/234.23	c  234s |      23 |  3696406 |  2805538 |      612  11472 |        0 |        0
236.13/236.23	c  236s |      23 |  3730673 |  2829638 |      612  11549 |        0 |        0
238.13/238.23	c  238s |      23 |  3759460 |  2852038 |      612  11621 |        0 |        0
240.13/240.24	c  240s |      23 |  3787243 |  2874138 |      612  11692 |        0 |        0
242.13/242.24	c  242s |      23 |  3816593 |  2896738 |      612  11764 |        0 |        0
244.13/244.24	c  244s |      23 |  3846760 |  2919738 |      612  11838 |        0 |        0
246.13/246.25	c  246s |      23 |  3876353 |  2942438 |      612  11910 |        0 |        0
248.13/248.26	c  248s |      23 |  3907064 |  2965438 |      612  11984 |        0 |        0
250.13/250.26	c  250s |      23 |  3936540 |  2987938 |      612  12056 |        0 |        0
252.12/252.26	c  252s |      23 |  3967189 |  3011038 |      612  12129 |        0 |        0
254.13/254.27	c  254s |      23 |  3998127 |  3034238 |      612  12204 |        0 |        0
256.12/256.27	c  256s |      23 |  4031265 |  3058338 |      612  12280 |        0 |        0
258.12/258.27	c  258s |      23 |  4061962 |  3081538 |      612  12355 |        0 |        0
260.12/260.28	c  260s |      23 |  4094239 |  3105738 |      612  12432 |        0 |        0
262.11/262.28	c  262s |      23 |  4124589 |  3129038 |      612  12506 |        0 |        0
264.11/264.28	c  264s |      23 |  4154258 |  3152338 |      612  12580 |        0 |        0
266.12/266.28	c  266s |      23 |  4183219 |  3174738 |      612  12651 |        0 |        0
268.11/268.29	c  268s |      23 |  4208095 |  3195338 |      612  12716 |        0 |        0
270.21/270.30	c  270s |      23 |  4236858 |  3217438 |      612  12787 |        0 |        0
272.20/272.30	c  272s |      23 |  4262949 |  3238638 |      612  12854 |        0 |        0
274.20/274.30	c  274s |      23 |  4289895 |  3260238 |      612  12923 |        0 |        0
276.20/276.30	c  276s |      23 |  4318918 |  3282538 |      612  12995 |        0 |        0
278.21/278.31	c  278s |      23 |  4346809 |  3304638 |      612  13065 |        0 |        0
280.20/280.31	c  280s |      23 |  4376448 |  3327138 |      612  13138 |        0 |        0
282.20/282.31	c  282s |      23 |  4405354 |  3349138 |      612  13208 |        0 |        0
284.20/284.32	c  284s |      23 |  4433060 |  3370938 |      674  13271 |        0 |        0
284.70/284.83	c  284s |      24 |  4440598 |  3376662 |      674  13288 |        0 |        0
286.70/286.84	c  286s |      24 |  4469076 |  3398362 |      674  13351 |        0 |        0
288.71/288.84	c  288s |      24 |  4498709 |  3420862 |      674  13416 |        0 |        0
290.71/290.85	c  290s |      24 |  4526829 |  3442362 |      674  13478 |        0 |        0
292.71/292.86	c  292s |      24 |  4552812 |  3463062 |      674  13538 |        0 |        0
294.71/294.86	c  294s |      24 |  4578195 |  3483962 |      674  13599 |        0 |        0
296.70/296.87	c  296s |      24 |  4606091 |  3505762 |      674  13662 |        0 |        0
298.70/298.87	c  298s |      24 |  4631981 |  3526762 |      674  13722 |        0 |        0
300.70/300.88	c  300s |      24 |  4662536 |  3549462 |      674  13788 |        0 |        0
302.70/302.88	c  302s |      24 |  4691668 |  3571562 |      674  13852 |        0 |        0
304.71/304.89	c  304s |      24 |  4722707 |  3594162 |      674  13918 |        0 |        0
306.70/306.89	c  306s |      24 |  4750229 |  3615762 |      674  13980 |        0 |        0
308.80/308.90	c  308s |      24 |  4779931 |  3637862 |      674  14045 |        0 |        0
310.80/310.91	c  310s |      24 |  4807105 |  3659162 |      674  14106 |        0 |        0
312.80/312.92	c  312s |      24 |  4837971 |  3681662 |      674  14171 |        0 |        0
314.80/314.92	c  314s |      24 |  4868676 |  3704362 |      674  14237 |        0 |        0
316.80/316.93	c  316s |      24 |  4902355 |  3728462 |      674  14307 |        0 |        0
318.80/318.93	c  318s |      24 |  4931490 |  3750562 |      674  14371 |        0 |        0
320.79/320.93	c  320s |      24 |  4957352 |  3771462 |      674  14431 |        0 |        0
322.79/322.93	c  322s |      24 |  4987848 |  3793862 |      674  14496 |        0 |        0
324.79/324.94	c  324s |      24 |  5017683 |  3816162 |      674  14561 |        0 |        0
326.79/326.95	c  326s |      24 |  5048009 |  3838562 |      674  14625 |        0 |        0
328.80/328.95	c  328s |      24 |  5078168 |  3861162 |      674  14691 |        0 |        0
330.79/330.95	c  330s |      24 |  5108540 |  3884162 |      674  14758 |        0 |        0
332.79/332.95	c  332s |      24 |  5142482 |  3908162 |      674  14827 |        0 |        0
334.79/334.96	c  334s |      24 |  5174577 |  3931662 |      674  14895 |        0 |        0
336.79/336.96	c  336s |      24 |  5205202 |  3954662 |      674  14962 |        0 |        0
338.79/338.97	c  338s |      24 |  5237323 |  3977962 |      674  15030 |        0 |        0
340.78/340.97	c  340s |      24 |  5269940 |  4001162 |      674  15097 |        0 |        0
342.79/342.97	c  342s |      24 |  5302822 |  4024562 |      674  15165 |        0 |        0
344.79/344.98	c  344s |      24 |  5332030 |  4046862 |      674  15230 |        0 |        0
346.79/346.99	c  346s |      24 |  5363897 |  4070262 |      674  15298 |        0 |        0
348.79/348.99	c  348s |      24 |  5394260 |  4093162 |      674  15365 |        0 |        0
350.79/351.00	c  350s |      24 |  5423392 |  4115462 |      674  15429 |        0 |        0
352.88/353.00	c  352s |      24 |  5451632 |  4137162 |      674  15491 |        0 |        0
354.88/355.00	c  354s |      24 |  5480857 |  4158962 |      674  15554 |        0 |        0
356.88/357.01	c  356s |      24 |  5509051 |  4180662 |      674  15617 |        0 |        0
358.88/359.01	c  358s |      24 |  5536405 |  4202262 |      674  15679 |        0 |        0
360.88/361.01	c  360s |      24 |  5563992 |  4223562 |      674  15741 |        0 |        0
362.89/363.02	c  363s |      24 |  5593520 |  4245462 |      674  15805 |        0 |        0
364.88/365.02	c  365s |      24 |  5620786 |  4266562 |      674  15866 |        0 |        0
366.88/367.03	c  367s |      24 |  5649287 |  4288262 |      674  15929 |        0 |        0
368.88/369.04	c  369s |      24 |  5676518 |  4309462 |      674  15991 |        0 |        0
370.87/371.04	c  371s |      24 |  5705330 |  4331062 |      674  16054 |        0 |        0
372.88/373.05	c  373s |      24 |  5732007 |  4352262 |      674  16116 |        0 |        0
374.87/375.05	c  375s |      24 |  5759874 |  4373462 |      674  16177 |        0 |        0
376.87/377.06	c  377s |      24 |  5787922 |  4395162 |      674  16240 |        0 |        0
378.87/379.07	c  379s |      24 |  5816200 |  4416762 |      674  16302 |        0 |        0
380.87/381.07	c  381s |      24 |  5844961 |  4438462 |      674  16365 |        0 |        0
382.87/383.07	c  383s |      24 |  5871868 |  4459662 |      674  16426 |        0 |        0
384.88/385.07	c  385s |      24 |  5897435 |  4480162 |      674  16485 |        0 |        0
386.88/387.08	c  387s |      24 |  5926264 |  4501862 |      674  16548 |        0 |        0
388.87/389.08	c  389s |      24 |  5956671 |  4523862 |      674  16612 |        0 |        0
390.87/391.08	c  391s |      24 |  5986241 |  4545962 |      674  16676 |        0 |        0
392.87/393.09	c  393s |      24 |  6015173 |  4567762 |      674  16739 |        0 |        0
394.88/395.09	c  395s |      24 |  6042581 |  4589362 |      674  16802 |        0 |        0
396.87/397.09	c  397s |      24 |  6073969 |  4612762 |      674  16869 |        0 |        0
398.97/399.10	c  399s |      24 |  6105792 |  4636362 |      674  16938 |        0 |        0
400.96/401.10	c  401s |      24 |  6138549 |  4659962 |      674  17007 |        0 |        0
402.96/403.11	c  403s |      24 |  6168076 |  4682362 |      674  17072 |        0 |        0
404.96/405.12	c  405s |      24 |  6196510 |  4704362 |      674  17136 |        0 |        0
406.97/407.12	c  407s |      24 |  6229786 |  4728262 |      674  17205 |        0 |        0
408.96/409.12	c  409s |      24 |  6255462 |  4748962 |      674  17265 |        0 |        0
410.96/411.13	c  411s |      24 |  6281265 |  4769562 |      674  17325 |        0 |        0
412.96/413.14	c  413s |      24 |  6308312 |  4790762 |      674  17387 |        0 |        0
414.96/415.14	c  415s |      24 |  6335618 |  4812062 |      674  17448 |        0 |        0
416.96/417.15	c  417s |      24 |  6362792 |  4833262 |      674  17510 |        0 |        0
418.97/419.15	c  419s |      24 |  6390451 |  4854862 |      674  17574 |        0 |        0
420.96/421.16	c  421s |      24 |  6421479 |  4877962 |      674  17641 |        0 |        0
422.96/423.16	c  423s |      24 |  6447966 |  4899362 |      674  17703 |        0 |        0
424.96/425.16	c  425s |      24 |  6476723 |  4921262 |      674  17767 |        0 |        0
426.96/427.17	c  427s |      24 |  6502706 |  4941862 |      674  17826 |        0 |        0
428.96/429.17	c  429s |      24 |  6530401 |  4963362 |      674  17888 |        0 |        0
430.95/431.18	c  431s |      24 |  6558848 |  4985062 |      674  17952 |        0 |        0
432.95/433.18	c  433s |      24 |  6587772 |  5007562 |      674  18017 |        0 |        0
434.95/435.18	c  435s |      24 |  6616449 |  5030362 |      742  18083 |        0 |        0
436.95/437.19	c  437s |      24 |  6643920 |  5051862 |      742  18140 |        0 |        0
438.35/438.53	c  438s |      25 |  6660989 |  5065098 |      742  18174 |        0 |        0
440.35/440.53	c  440s |      25 |  6686535 |  5085298 |      742  18227 |        0 |        0
442.35/442.54	c  442s |      25 |  6709177 |  5103998 |      742  18276 |        0 |        0
444.35/444.55	c  444s |      25 |  6733555 |  5123798 |      742  18328 |        0 |        0
446.35/446.55	c  446s |      25 |  6761056 |  5144898 |      742  18384 |        0 |        0
448.34/448.55	c  448s |      25 |  6788161 |  5165398 |      742  18438 |        0 |        0
450.34/450.55	c  450s |      25 |  6812723 |  5185198 |      742  18490 |        0 |        0
452.34/452.56	c  452s |      25 |  6838243 |  5204598 |      742  18541 |        0 |        0
454.34/454.56	c  454s |      25 |  6865804 |  5224998 |      742  18595 |        0 |        0
456.35/456.56	c  456s |      25 |  6892923 |  5245698 |      742  18650 |        0 |        0
458.35/458.57	c  458s |      25 |  6918831 |  5265998 |      742  18704 |        0 |        0
460.35/460.57	c  460s |      25 |  6942567 |  5285198 |      742  18754 |        0 |        0
462.34/462.58	c  462s |      25 |  6965527 |  5304198 |      742  18804 |        0 |        0
464.34/464.59	c  464s |      25 |  6991131 |  5324498 |      742  18858 |        0 |        0
466.35/466.59	c  466s |      25 |  7012956 |  5343098 |      742  18907 |        0 |        0
468.34/468.60	c  468s |      25 |  7034144 |  5360898 |      742  18954 |        0 |        0
470.44/470.60	c  470s |      25 |  7057840 |  5380098 |      742  19004 |        0 |        0
472.44/472.61	c  472s |      25 |  7079652 |  5398398 |      742  19053 |        0 |        0
474.43/474.62	c  474s |      25 |  7099773 |  5415698 |      742  19098 |        0 |        0
476.43/476.62	c  476s |      25 |  7120289 |  5433398 |      742  19145 |        0 |        0
478.44/478.63	c  478s |      25 |  7142041 |  5451498 |      742  19192 |        0 |        0
480.43/480.63	c  480s |      25 |  7164887 |  5470098 |      742  19242 |        0 |        0
482.43/482.64	c  482s |      25 |  7187222 |  5488398 |      742  19290 |        0 |        0
484.43/484.65	c  484s |      25 |  7209532 |  5506798 |      742  19339 |        0 |        0
486.43/486.65	c  486s |      25 |  7230099 |  5524198 |      742  19385 |        0 |        0
488.43/488.65	c  488s |      25 |  7251446 |  5542198 |      742  19432 |        0 |        0
490.43/490.66	c  490s |      25 |  7273789 |  5560898 |      742  19481 |        0 |        0
492.42/492.66	c  492s |      25 |  7297564 |  5580598 |      742  19533 |        0 |        0
494.42/494.67	c  494s |      25 |  7322011 |  5600498 |      742  19585 |        0 |        0
496.42/496.68	c  496s |      25 |  7345782 |  5619998 |      742  19637 |        0 |        0
498.42/498.68	c  498s |      25 |  7369586 |  5639798 |      742  19689 |        0 |        0
500.43/500.69	c  500s |      25 |  7392752 |  5658898 |      742  19739 |        0 |        0
502.52/502.70	c  502s |      25 |  7416469 |  5678698 |      742  19792 |        0 |        0
504.51/504.71	c  504s |      25 |  7441779 |  5698698 |      742  19844 |        0 |        0
506.52/506.72	c  506s |      25 |  7465821 |  5718398 |      742  19896 |        0 |        0
508.52/508.73	c  508s |      25 |  7492476 |  5739298 |      742  19952 |        0 |        0
510.51/510.73	c  510s |      25 |  7516323 |  5758798 |      742  20003 |        0 |        0
512.52/512.74	c  512s |      25 |  7541695 |  5778798 |      742  20056 |        0 |        0
514.51/514.74	c  514s |      25 |  7566500 |  5798298 |      742  20108 |        0 |        0
516.51/516.75	c  516s |      25 |  7592147 |  5818398 |      742  20161 |        0 |        0
518.51/518.76	c  518s |      25 |  7618420 |  5838998 |      742  20215 |        0 |        0
520.50/520.76	c  520s |      25 |  7641501 |  5858098 |      742  20266 |        0 |        0
522.50/522.77	c  522s |      25 |  7667184 |  5878398 |      742  20319 |        0 |        0
524.51/524.78	c  524s |      25 |  7692153 |  5898198 |      742  20371 |        0 |        0
526.50/526.79	c  526s |      25 |  7721507 |  5919998 |      742  20429 |        0 |        0
528.50/528.79	c  528s |      25 |  7745289 |  5939798 |      742  20481 |        0 |        0
530.60/530.80	c  530s |      25 |  7770227 |  5959298 |      742  20532 |        0 |        0
532.60/532.80	c  532s |      25 |  7797732 |  5979898 |      742  20586 |        0 |        0
534.60/534.80	c  534s |      25 |  7824058 |  6000398 |      742  20641 |        0 |        0
536.60/536.81	c  536s |      25 |  7847606 |  6019498 |      742  20691 |        0 |        0
538.59/538.81	c  538s |      25 |  7871471 |  6038998 |      742  20742 |        0 |        0
540.59/540.81	c  540s |      25 |  7892532 |  6056798 |      742  20789 |        0 |        0
542.60/542.82	c  542s |      25 |  7916928 |  6076198 |      742  20840 |        0 |        0
544.59/544.83	c  544s |      25 |  7941231 |  6095498 |      742  20891 |        0 |        0
546.60/546.84	c  546s |      25 |  7964909 |  6114598 |      742  20942 |        0 |        0
548.59/548.84	c  548s |      25 |  7988110 |  6133398 |      742  20991 |        0 |        0
550.59/550.85	c  550s |      25 |  8009671 |  6151398 |      742  21039 |        0 |        0
552.59/552.86	c  552s |      25 |  8034030 |  6170898 |      742  21090 |        0 |        0
554.59/554.86	c  554s |      25 |  8058256 |  6190498 |      742  21142 |        0 |        0
556.59/556.86	c  556s |      25 |  8082296 |  6209098 |      742  21191 |        0 |        0
558.59/558.86	c  558s |      25 |  8106574 |  6228198 |      742  21242 |        0 |        0
560.58/560.86	c  560s |      25 |  8128788 |  6246498 |      742  21290 |        0 |        0
562.58/562.87	c  562s |      25 |  8152992 |  6265998 |      742  21341 |        0 |        0
564.58/564.88	c  564s |      25 |  8177019 |  6285398 |      742  21392 |        0 |        0
566.58/566.89	c  566s |      25 |  8201619 |  6304898 |      742  21444 |        0 |        0
568.59/568.89	c  568s |      25 |  8223701 |  6323298 |      742  21492 |        0 |        0
570.57/570.90	c  570s |      25 |  8245579 |  6341598 |      742  21540 |        0 |        0
572.67/572.91	c  572s |      25 |  8267443 |  6359798 |      742  21588 |        0 |        0
574.68/574.91	c  574s |      25 |  8290281 |  6378598 |      742  21638 |        0 |        0
576.68/576.92	c  576s |      25 |  8313258 |  6397698 |      742  21688 |        0 |        0
578.68/578.92	c  578s |      25 |  8337378 |  6417298 |      742  21740 |        0 |        0
580.68/580.93	c  580s |      25 |  8362082 |  6436898 |      742  21791 |        0 |        0
582.67/582.93	c  582s |      25 |  8388230 |  6457598 |      742  21846 |        0 |        0
584.67/584.95	c  584s |      25 |  8412593 |  6477098 |      742  21897 |        0 |        0
586.67/586.95	c  586s |      25 |  8439716 |  6497698 |      742  21951 |        0 |        0
588.67/588.95	c  588s |      25 |  8465674 |  6517898 |      742  22005 |        0 |        0
590.67/590.96	c  590s |      25 |  8491298 |  6538298 |      742  22058 |        0 |        0
592.67/592.96	c  592s |      25 |  8518565 |  6558698 |      742  22112 |        0 |        0
594.66/594.96	c  594s |      25 |  8543771 |  6578898 |      742  22165 |        0 |        0
596.66/596.97	c  596s |      25 |  8569421 |  6598998 |      742  22218 |        0 |        0
598.66/598.98	c  598s |      25 |  8596271 |  6619198 |      742  22272 |        0 |        0
600.66/600.99	c  600s |      25 |  8619358 |  6637798 |      742  22321 |        0 |        0
602.66/602.99	c  602s |      25 |  8640933 |  6656098 |      742  22369 |        0 |        0
604.66/605.00	c  604s |      25 |  8664368 |  6674998 |      742  22419 |        0 |        0
606.75/607.00	c  606s |      25 |  8688223 |  6694598 |      742  22470 |        0 |        0
608.75/609.01	c  608s |      25 |  8712468 |  6714398 |      742  22523 |        0 |        0
610.75/611.02	c  611s |      25 |  8737106 |  6734198 |      742  22575 |        0 |        0
612.75/613.03	c  613s |      25 |  8760952 |  6753298 |      742  22626 |        0 |        0
614.76/615.03	c  615s |      25 |  8786104 |  6773098 |      742  22678 |        0 |        0
616.76/617.03	c  617s |      25 |  8810692 |  6792898 |      742  22730 |        0 |        0
618.76/619.03	c  619s |      25 |  8837058 |  6813098 |      742  22784 |        0 |        0
620.75/621.04	c  621s |      25 |  8861733 |  6832298 |      742  22834 |        0 |        0
622.75/623.04	c  623s |      25 |  8886072 |  6851198 |      742  22884 |        0 |        0
624.75/625.04	c  625s |      25 |  8910366 |  6870398 |      742  22935 |        0 |        0
626.75/627.05	c  627s |      25 |  8935938 |  6890398 |      742  22988 |        0 |        0
628.75/629.05	c  629s |      25 |  8960750 |  6910198 |      742  23041 |        0 |        0
630.74/631.05	c  631s |      25 |  8985460 |  6930098 |      742  23094 |        0 |        0
632.74/633.06	c  633s |      25 |  9009965 |  6949698 |      742  23146 |        0 |        0
634.74/635.06	c  635s |      25 |  9033319 |  6968398 |      742  23196 |        0 |        0
636.75/637.06	c  637s |      25 |  9060415 |  6988898 |      742  23250 |        0 |        0
638.74/639.06	c  639s |      25 |  9086304 |  7009198 |      742  23304 |        0 |        0
640.73/641.07	c  641s |      25 |  9109512 |  7028298 |      742  23354 |        0 |        0
642.73/643.08	c  643s |      25 |  9133266 |  7047498 |      742  23404 |        0 |        0
644.74/645.08	c  645s |      25 |  9156945 |  7066698 |      742  23454 |        0 |        0
646.74/647.09	c  647s |      25 |  9181063 |  7085898 |      742  23504 |        0 |        0
648.75/649.09	c  649s |      25 |  9206829 |  7105898 |      742  23557 |        0 |        0
650.74/651.10	c  651s |      25 |  9232010 |  7125798 |      742  23609 |        0 |        0
652.83/653.10	c  653s |      25 |  9257017 |  7145898 |      742  23662 |        0 |        0
654.83/655.11	c  655s |      25 |  9280914 |  7165298 |      742  23713 |        0 |        0
656.83/657.11	c  657s |      25 |  9306575 |  7185298 |      742  23766 |        0 |        0
658.83/659.11	c  659s |      25 |  9334974 |  7206198 |      742  23821 |        0 |        0
660.83/661.12	c  661s |      25 |  9361381 |  7226098 |      742  23874 |        0 |        0
662.83/663.13	c  663s |      25 |  9391943 |  7248098 |      742  23932 |        0 |        0
664.82/665.13	c  665s |      25 |  9423205 |  7270198 |      742  23990 |        0 |        0
666.82/667.14	c  667s |      25 |  9450343 |  7291098 |      742  24046 |        0 |        0
668.82/669.14	c  669s |      25 |  9476581 |  7311498 |      742  24099 |        0 |        0
670.83/671.15	c  671s |      25 |  9505652 |  7332798 |      742  24156 |        0 |        0
672.82/673.15	c  673s |      25 |  9533965 |  7354098 |      742  24212 |        0 |        0
674.82/675.16	c  675s |      25 |  9562147 |  7375798 |      742  24269 |        0 |        0
676.82/677.16	c  677s |      25 |  9592153 |  7398098 |      742  24328 |        0 |        0
678.82/679.17	c  679s |      25 |  9615602 |  7417498 |      742  24379 |        0 |        0
680.81/681.17	c  681s |      25 |  9637593 |  7435598 |      742  24427 |        0 |        0
682.82/683.18	c  683s |      25 |  9658873 |  7453598 |      742  24474 |        0 |        0
684.81/685.18	c  685s |      25 |  9683187 |  7473098 |      742  24526 |        0 |        0
686.81/687.19	c  687s |      25 |  9707040 |  7492098 |      742  24576 |        0 |        0
688.81/689.19	c  689s |      25 |  9733114 |  7512298 |      742  24629 |        0 |        0
690.81/691.19	c  691s |      25 |  9760686 |  7532798 |      742  24684 |        0 |        0
692.81/693.19	c  693s |      25 |  9787012 |  7552498 |      817  24734 |        0 |        0
694.91/695.20	c  695s |      25 |  9812012 |  7571598 |      817  24780 |        0 |        0
696.90/697.20	c  697s |      25 |  9835409 |  7590598 |      817  24825 |        0 |        0
697.60/697.91	c  697s |      26 |  9845057 |  7597752 |      817  24842 |        0 |        0
699.61/699.92	c  699s |      26 |  9877150 |  7620052 |      817  24896 |        0 |        0
701.62/701.92	c  701s |      26 |  9905971 |  7641352 |      817  24947 |        0 |        0
703.61/703.92	c  703s |      26 |  9936558 |  7663152 |      817  25000 |        0 |        0
705.61/705.92	c  705s |      26 |  9967924 |  7685152 |      817  25053 |        0 |        0
707.61/707.93	c  707s |      26 |  9997334 |  7706952 |      817  25105 |        0 |        0
709.61/709.93	c  709s |      26 | 10026611 |  7728552 |      817  25157 |        0 |        0
711.60/711.93	c  711s |      26 | 10057064 |  7750752 |      817  25211 |        0 |        0
713.61/713.94	c  713s |      26 | 10085358 |  7771152 |      817  25260 |        0 |        0
715.60/715.95	c  715s |      26 | 10109283 |  7790152 |      817  25306 |        0 |        0
717.60/717.95	c  717s |      26 | 10136327 |  7810852 |      817  25355 |        0 |        0
719.60/719.95	c  719s |      26 | 10165736 |  7832452 |      817  25408 |        0 |        0
721.59/721.95	c  721s |      26 | 10194355 |  7853452 |      817  25458 |        0 |        0
723.60/723.96	c  723s |      26 | 10222224 |  7874452 |      817  25509 |        0 |        0
725.59/725.97	c  725s |      26 | 10248933 |  7894552 |      817  25557 |        0 |        0
727.59/727.97	c  727s |      26 | 10279958 |  7916552 |      817  25610 |        0 |        0
729.59/729.98	c  729s |      26 | 10309338 |  7937852 |      817  25662 |        0 |        0
731.59/731.99	c  731s |      26 | 10338064 |  7959152 |      817  25713 |        0 |        0
733.59/733.99	c  733s |      26 | 10365812 |  7979752 |      817  25763 |        0 |        0
735.59/736.00	c  735s |      26 | 10392728 |  7999652 |      817  25811 |        0 |        0
737.68/738.00	c  737s |      26 | 10421615 |  8020552 |      817  25861 |        0 |        0
739.68/740.01	c  739s |      26 | 10446784 |  8040152 |      817  25909 |        0 |        0
741.68/742.01	c  741s |      26 | 10471366 |  8059552 |      817  25955 |        0 |        0
743.68/744.02	c  744s |      26 | 10498749 |  8080052 |      817  26005 |        0 |        0
745.68/746.03	c  746s |      26 | 10528586 |  8101752 |      817  26057 |        0 |        0
747.68/748.03	c  748s |      26 | 10557874 |  8123252 |      817  26109 |        0 |        0
749.67/750.04	c  750s |      26 | 10587963 |  8144852 |      817  26161 |        0 |        0
751.67/752.04	c  752s |      26 | 10616731 |  8165752 |      817  26212 |        0 |        0
753.67/754.04	c  754s |      26 | 10646985 |  8186852 |      817  26263 |        0 |        0
755.68/756.05	c  756s |      26 | 10673738 |  8206952 |      817  26311 |        0 |        0
757.68/758.05	c  758s |      26 | 10702149 |  8228052 |      817  26361 |        0 |        0
759.67/760.06	c  760s |      26 | 10731320 |  8249152 |      817  26412 |        0 |        0
761.67/762.06	c  762s |      26 | 10755277 |  8268252 |      817  26458 |        0 |        0
763.67/764.06	c  764s |      26 | 10782056 |  8288752 |      817  26507 |        0 |        0
765.67/766.07	c  766s |      26 | 10811798 |  8310452 |      817  26560 |        0 |        0
767.67/768.08	c  768s |      26 | 10838885 |  8330752 |      817  26609 |        0 |        0
769.68/770.08	c  770s |      26 | 10867542 |  8351352 |      817  26658 |        0 |        0
771.67/772.09	c  772s |      26 | 10894890 |  8371752 |      817  26707 |        0 |        0
773.67/774.09	c  774s |      26 | 10921444 |  8391352 |      817  26755 |        0 |        0
775.67/776.10	c  776s |      26 | 10950268 |  8412452 |      817  26805 |        0 |        0
777.77/778.10	c  778s |      26 | 10975419 |  8431752 |      817  26852 |        0 |        0
779.77/780.11	c  780s |      26 | 11001639 |  8452052 |      817  26901 |        0 |        0
781.77/782.11	c  782s |      26 | 11026385 |  8471652 |      817  26949 |        0 |        0
783.76/784.11	c  784s |      26 | 11056823 |  8493052 |      817  27000 |        0 |        0
785.76/786.12	c  786s |      26 | 11088269 |  8514752 |      817  27053 |        0 |        0
787.76/788.12	c  788s |      26 | 11119906 |  8536352 |      817  27105 |        0 |        0
789.76/790.12	c  790s |      26 | 11153026 |  8558252 |      817  27158 |        0 |        0
791.76/792.12	c  792s |      26 | 11183341 |  8580052 |      817  27211 |        0 |        0
793.76/794.13	c  794s |      26 | 11210973 |  8600852 |      817  27261 |        0 |        0
795.76/796.14	c  796s |      26 | 11236105 |  8620752 |      817  27309 |        0 |        0
797.76/798.14	c  798s |      26 | 11263645 |  8641452 |      817  27359 |        0 |        0
799.76/800.15	c  800s |      26 | 11291269 |  8662552 |      817  27410 |        0 |        0
801.76/802.15	c  802s |      26 | 11317999 |  8683252 |      817  27460 |        0 |        0
803.76/804.16	c  804s |      26 | 11348908 |  8705652 |      817  27514 |        0 |        0
805.75/806.17	c  806s |      26 | 11376234 |  8726252 |      817  27564 |        0 |        0
807.75/808.18	c  808s |      26 | 11403289 |  8746952 |      817  27614 |        0 |        0
809.75/810.18	c  810s |      26 | 11433534 |  8768552 |      817  27666 |        0 |        0
811.75/812.19	c  812s |      26 | 11462478 |  8789352 |      817  27716 |        0 |        0
813.76/814.19	c  814s |      26 | 11491155 |  8810452 |      817  27767 |        0 |        0
815.75/816.19	c  816s |      26 | 11518391 |  8830952 |      817  27817 |        0 |        0
817.75/818.19	c  818s |      26 | 11544761 |  8850752 |      817  27865 |        0 |        0
819.85/820.20	c  820s |      26 | 11572474 |  8870652 |      817  27913 |        0 |        0
821.85/822.20	c  822s |      26 | 11600605 |  8891252 |      817  27962 |        0 |        0
823.85/824.20	c  824s |      26 | 11629520 |  8912152 |      817  28013 |        0 |        0
825.86/826.21	c  826s |      26 | 11657300 |  8932352 |      817  28061 |        0 |        0
827.85/828.21	c  828s |      26 | 11684285 |  8952252 |      817  28109 |        0 |        0
829.85/830.21	c  830s |      26 | 11711761 |  8972352 |      817  28158 |        0 |        0
831.85/832.23	c  832s |      26 | 11737766 |  8992152 |      817  28206 |        0 |        0
833.85/834.24	c  834s |      26 | 11764477 |  9012252 |      817  28254 |        0 |        0
835.85/836.24	c  836s |      26 | 11793223 |  9033552 |      817  28305 |        0 |        0
837.86/838.24	c  838s |      26 | 11823330 |  9055352 |      817  28358 |        0 |        0
839.85/840.25	c  840s |      26 | 11852317 |  9076052 |      817  28408 |        0 |        0
841.85/842.25	c  842s |      26 | 11876729 |  9094952 |      817  28453 |        0 |        0
843.85/844.25	c  844s |      26 | 11903716 |  9114652 |      817  28500 |        0 |        0
845.85/846.25	c  846s |      26 | 11928191 |  9134252 |      817  28548 |        0 |        0
847.85/848.25	c  848s |      26 | 11952525 |  9153352 |      817  28593 |        0 |        0
849.84/850.26	c  850s |      26 | 11978524 |  9173452 |      817  28642 |        0 |        0
851.84/852.27	c  852s |      26 | 12003643 |  9193152 |      817  28689 |        0 |        0
853.84/854.28	c  854s |      26 | 12027573 |  9212152 |      817  28734 |        0 |        0
855.84/856.28	c  856s |      26 | 12052664 |  9232252 |      817  28783 |        0 |        0
857.84/858.29	c  858s |      26 | 12077423 |  9252052 |      817  28830 |        0 |        0
859.85/860.30	c  860s |      26 | 12103510 |  9272352 |      817  28879 |        0 |        0
861.95/862.30	c  862s |      26 | 12130435 |  9292352 |      817  28927 |        0 |        0
863.95/864.30	c  864s |      26 | 12156833 |  9312352 |      817  28975 |        0 |        0
865.95/866.30	c  866s |      26 | 12183872 |  9332552 |      817  29024 |        0 |        0
867.95/868.31	c  868s |      26 | 12208578 |  9351952 |      817  29070 |        0 |        0
869.94/870.31	c  870s |      26 | 12233843 |  9371652 |      817  29118 |        0 |        0
871.95/872.31	c  872s |      26 | 12260858 |  9392152 |      817  29167 |        0 |        0
873.94/874.32	c  874s |      26 | 12287910 |  9412552 |      817  29216 |        0 |        0
875.94/876.32	c  876s |      26 | 12311858 |  9431652 |      817  29262 |        0 |        0
877.94/878.33	c  878s |      26 | 12335415 |  9450652 |      817  29307 |        0 |        0
879.94/880.34	c  880s |      26 | 12361693 |  9470352 |      817  29355 |        0 |        0
881.95/882.34	c  882s |      26 | 12387954 |  9490252 |      817  29403 |        0 |        0
883.94/884.35	c  884s |      26 | 12413865 |  9510252 |      817  29451 |        0 |        0
885.94/886.35	c  886s |      26 | 12441035 |  9530552 |      817  29500 |        0 |        0
887.94/888.36	c  888s |      26 | 12466924 |  9550252 |      817  29547 |        0 |        0
889.94/890.37	c  890s |      26 | 12490220 |  9568952 |      817  29592 |        0 |        0
891.94/892.37	c  892s |      26 | 12511154 |  9586252 |      817  29633 |        0 |        0
893.95/894.37	c  894s |      26 | 12533403 |  9604252 |      817  29677 |        0 |        0
895.94/896.37	c  896s |      26 | 12553111 |  9620652 |      817  29716 |        0 |        0
897.94/898.38	c  898s |      26 | 12574834 |  9638252 |      817  29759 |        0 |        0
899.94/900.39	c  900s |      26 | 12599113 |  9657052 |      817  29804 |        0 |        0
902.04/902.40	c  902s |      26 | 12623745 |  9676352 |      817  29850 |        0 |        0
904.04/904.40	c  904s |      26 | 12648914 |  9695552 |      817  29896 |        0 |        0
906.04/906.41	c  906s |      26 | 12671288 |  9713252 |      817  29938 |        0 |        0
908.04/908.41	c  908s |      26 | 12690762 |  9729652 |      817  29978 |        0 |        0
910.03/910.41	c  910s |      26 | 12711831 |  9747352 |      817  30020 |        0 |        0
912.03/912.41	c  912s |      26 | 12735144 |  9765952 |      817  30065 |        0 |        0
914.03/914.41	c  914s |      26 | 12757515 |  9784352 |      817  30109 |        0 |        0
916.05/916.42	c  916s |      26 | 12782403 |  9803752 |      817  30156 |        0 |        0
918.04/918.43	c  918s |      26 | 12805677 |  9822252 |      817  30200 |        0 |        0
920.04/920.43	c  920s |      26 | 12827754 |  9840252 |      817  30243 |        0 |        0
922.04/922.44	c  922s |      26 | 12851841 |  9859052 |      817  30289 |        0 |        0
924.04/924.45	c  924s |      26 | 12876796 |  9878052 |      817  30335 |        0 |        0
926.04/926.45	c  926s |      26 | 12902673 |  9897652 |      817  30382 |        0 |        0
928.04/928.46	c  928s |      26 | 12927732 |  9916852 |      817  30428 |        0 |        0
930.04/930.46	c  930s |      26 | 12950806 |  9934952 |      817  30472 |        0 |        0
932.04/932.47	c  932s |      26 | 12976626 |  9954452 |      817  30519 |        0 |        0
934.04/934.47	c  934s |      26 | 13002958 |  9974052 |      817  30566 |        0 |        0
936.03/936.47	c  936s |      26 | 13027791 |  9993152 |      817  30612 |        0 |        0
938.04/938.47	c  938s |      26 | 13053924 | 10012852 |      817  30659 |        0 |        0
940.03/940.48	c  940s |      26 | 13080789 | 10032752 |      817  30707 |        0 |        0
942.03/942.49	c  942s |      26 | 13103013 | 10050552 |      817  30750 |        0 |        0
944.03/944.49	c  944s |      26 | 13127539 | 10069552 |      817  30796 |        0 |        0
946.03/946.49	c  946s |      26 | 13151906 | 10088352 |      817  30841 |        0 |        0
948.13/948.50	c  948s |      26 | 13176595 | 10107352 |      817  30887 |        0 |        0
950.04/950.50	c  950s |      26 | 13198252 | 10125052 |      817  30929 |        0 |        0
952.13/952.50	c  952s |      26 | 13218635 | 10142152 |      817  30970 |        0 |        0
954.13/954.51	c  954s |      26 | 13239250 | 10159552 |      817  31012 |        0 |        0
956.13/956.51	c  956s |      26 | 13260631 | 10177252 |      817  31054 |        0 |        0
958.13/958.51	c  958s |      26 | 13283693 | 10195552 |      817  31098 |        0 |        0
960.13/960.52	c  960s |      26 | 13305722 | 10213252 |      817  31141 |        0 |        0
962.13/962.52	c  962s |      26 | 13327599 | 10231052 |      817  31184 |        0 |        0
964.13/964.53	c  964s |      26 | 13349321 | 10249152 |      817  31227 |        0 |        0
966.13/966.54	c  966s |      26 | 13374718 | 10268552 |      817  31274 |        0 |        0
968.13/968.54	c  968s |      26 | 13399900 | 10288352 |      817  31321 |        0 |        0
970.13/970.54	c  970s |      26 | 13422684 | 10306552 |      817  31365 |        0 |        0
972.14/972.55	c  972s |      26 | 13442247 | 10323052 |      817  31405 |        0 |        0
974.13/974.55	c  974s |      26 | 13462075 | 10339652 |      817  31445 |        0 |        0
976.13/976.56	c  976s |      26 | 13484432 | 10357652 |      817  31488 |        0 |        0
978.13/978.57	c  978s |      26 | 13510319 | 10376552 |      817  31534 |        0 |        0
980.13/980.58	c  980s |      26 | 13538298 | 10396552 |      817  31582 |        0 |        0
982.13/982.58	c  982s |      26 | 13567567 | 10417152 |      817  31632 |        0 |        0
984.14/984.59	c  984s |      26 | 13597960 | 10438652 |      817  31684 |        0 |        0
986.13/986.59	c  986s |      26 | 13625312 | 10458952 |      817  31733 |        0 |        0
988.13/988.59	c  988s |      26 | 13652627 | 10479252 |      817  31782 |        0 |        0
990.23/990.60	c  990s |      26 | 13680667 | 10499852 |      817  31832 |        0 |        0
992.23/992.60	c  992s |      26 | 13706737 | 10519752 |      817  31880 |        0 |        0
994.23/994.61	c  994s |      26 | 13733462 | 10540252 |      817  31930 |        0 |        0
996.23/996.62	c  996s |      26 | 13760412 | 10560352 |      817  31979 |        0 |        0
998.23/998.62	c  998s |      26 | 13783082 | 10578652 |      817  32023 |        0 |        0
1000.22/1000.62	c 1000s |      26 | 13810458 | 10599152 |      817  32073 |        0 |        0
1002.22/1002.63	c 1002s |      26 | 13839065 | 10620152 |      817  32123 |        0 |        0
1004.22/1004.64	c 1004s |      26 | 13865093 | 10640352 |      817  32172 |        0 |        0
1006.23/1006.64	c 1006s |      26 | 13888310 | 10659252 |      817  32218 |        0 |        0
1008.22/1008.65	c 1008s |      26 | 13910071 | 10677552 |      817  32263 |        0 |        0
1010.22/1010.66	c 1010s |      26 | 13935358 | 10697052 |      817  32310 |        0 |        0
1012.22/1012.66	c 1012s |      26 | 13962637 | 10717252 |      817  32359 |        0 |        0
1014.22/1014.66	c 1014s |      26 | 13987424 | 10736652 |      817  32406 |        0 |        0
1016.22/1016.67	c 1016s |      26 | 14012819 | 10756452 |      817  32454 |        0 |        0
1018.22/1018.67	c 1018s |      26 | 14041409 | 10777452 |      817  32504 |        0 |        0
1020.22/1020.68	c 1020s |      26 | 14068886 | 10798052 |      817  32554 |        0 |        0
1022.22/1022.68	c 1022s |      26 | 14098039 | 10819252 |      817  32605 |        0 |        0
1024.22/1024.69	c 1024s |      26 | 14125103 | 10839652 |      817  32655 |        0 |        0
1026.22/1026.69	c 1026s |      26 | 14150808 | 10859552 |      817  32703 |        0 |        0
1028.23/1028.70	c 1028s |      26 | 14178767 | 10880352 |      817  32753 |        0 |        0
1030.33/1030.70	c 1030s |      26 | 14207356 | 10901352 |      817  32804 |        0 |        0
1032.32/1032.71	c 1032s |      26 | 14234501 | 10921852 |      817  32853 |        0 |        0
1034.32/1034.72	c 1034s |      26 | 14261720 | 10942452 |      817  32903 |        0 |        0
1036.32/1036.72	c 1036s |      26 | 14285310 | 10961552 |      817  32949 |        0 |        0
1038.32/1038.72	c 1038s |      26 | 14310302 | 10980852 |      817  32995 |        0 |        0
1040.33/1040.73	c 1040s |      26 | 14337213 | 11001452 |      817  33045 |        0 |        0
1042.32/1042.74	c 1042s |      26 | 14363567 | 11021752 |      817  33094 |        0 |        0
1044.32/1044.74	c 1044s |      26 | 14389945 | 11041852 |      817  33143 |        0 |        0
1046.32/1046.75	c 1046s |      26 | 14414898 | 11061252 |      817  33190 |        0 |        0
1048.32/1048.75	c 1048s |      26 | 14439815 | 11080452 |      817  33236 |        0 |        0
1050.32/1050.75	c 1050s |      26 | 14464569 | 11099752 |      817  33283 |        0 |        0
1052.33/1052.76	c 1052s |      26 | 14489939 | 11119252 |      817  33330 |        0 |        0
1054.32/1054.76	c 1054s |      26 | 14514928 | 11138552 |      817  33377 |        0 |        0
1056.32/1056.77	c 1056s |      26 | 14538883 | 11157752 |      817  33423 |        0 |        0
1058.32/1058.78	c 1058s |      26 | 14566109 | 11178152 |      817  33473 |        0 |        0
1060.32/1060.79	c 1060s |      26 | 14593819 | 11198752 |      817  33523 |        0 |        0
1062.32/1062.79	c 1062s |      26 | 14621143 | 11219252 |      817  33572 |        0 |        0
1064.32/1064.79	c 1064s |      26 | 14647464 | 11239252 |      817  33621 |        0 |        0
1066.41/1066.80	c 1066s |      26 | 14675138 | 11259952 |      817  33671 |        0 |        0
1068.41/1068.80	c 1068s |      26 | 14699041 | 11278752 |      817  33717 |        0 |        0
1070.41/1070.81	c 1070s |      26 | 14724900 | 11298852 |      817  33766 |        0 |        0
1072.41/1072.81	c 1072s |      26 | 14748287 | 11317452 |      899  33810 |        0 |        0
1074.42/1074.82	c 1074s |      26 | 14772672 | 11336552 |      899  33852 |        0 |        0
1076.41/1076.83	c 1076s |      26 | 14796363 | 11355052 |      899  33893 |        0 |        0
1078.41/1078.84	c 1078s |      26 | 14817983 | 11372852 |      899  33932 |        0 |        0
1080.41/1080.84	c 1080s |      26 | 14840711 | 11391052 |      899  33972 |        0 |        0
1081.02/1081.49	c 1081s |      27 | 14847227 | 11396733 |      899  33984 |        0 |        0
1083.01/1083.49	c 1083s |      27 | 14870469 | 11415433 |      899  34025 |        0 |        0
1085.01/1085.49	c 1085s |      27 | 14896952 | 11435933 |      899  34070 |        0 |        0
1087.01/1087.49	c 1087s |      27 | 14924603 | 11456533 |      899  34115 |        0 |        0
1089.11/1089.50	c 1089s |      27 | 14951152 | 11476533 |      899  34159 |        0 |        0
1091.11/1091.50	c 1091s |      27 | 14977909 | 11496533 |      899  34202 |        0 |        0
1093.11/1093.51	c 1093s |      27 | 15003655 | 11516533 |      899  34246 |        0 |        0
1095.11/1095.52	c 1095s |      27 | 15031941 | 11537233 |      899  34292 |        0 |        0
1097.10/1097.52	c 1097s |      27 | 15057834 | 11557233 |      899  34336 |        0 |        0
1099.11/1099.53	c 1099s |      27 | 15083866 | 11577333 |      899  34380 |        0 |        0
1101.11/1101.55	c 1101s |      27 | 15107233 | 11596033 |      899  34421 |        0 |        0
1103.11/1103.55	c 1103s |      27 | 15131342 | 11614833 |      899  34462 |        0 |        0
1105.12/1105.56	c 1105s |      27 | 15156720 | 11634033 |      899  34503 |        0 |        0
1107.11/1107.57	c 1107s |      27 | 15181126 | 11652833 |      899  34544 |        0 |        0
1109.11/1109.57	c 1109s |      27 | 15205045 | 11671633 |      899  34585 |        0 |        0
1111.11/1111.57	c 1111s |      27 | 15227057 | 11689333 |      899  34624 |        0 |        0
1113.11/1113.57	c 1113s |      27 | 15250443 | 11707733 |      899  34664 |        0 |        0
1115.11/1115.58	c 1115s |      27 | 15272302 | 11726033 |      899  34704 |        0 |        0
1117.11/1117.59	c 1117s |      27 | 15295249 | 11744033 |      899  34744 |        0 |        0
1119.21/1119.60	c 1119s |      27 | 15317359 | 11761833 |      899  34783 |        0 |        0
1121.21/1121.60	c 1121s |      27 | 15337597 | 11778833 |      899  34820 |        0 |        0
1123.21/1123.60	c 1123s |      27 | 15360816 | 11796933 |      899  34859 |        0 |        0
1125.21/1125.60	c 1125s |      27 | 15386368 | 11815733 |      899  34900 |        0 |        0
1127.21/1127.61	c 1127s |      27 | 15412449 | 11835133 |      899  34943 |        0 |        0
1129.20/1129.61	c 1129s |      27 | 15438383 | 11854733 |      899  34986 |        0 |        0
1131.20/1131.62	c 1131s |      27 | 15463950 | 11874133 |      899  35029 |        0 |        0
1133.20/1133.63	c 1133s |      27 | 15490146 | 11893933 |      899  35072 |        0 |        0
1135.20/1135.63	c 1135s |      27 | 15517792 | 11914033 |      899  35116 |        0 |        0
1137.20/1137.64	c 1137s |      27 | 15544507 | 11933833 |      899  35160 |        0 |        0
1139.21/1139.64	c 1139s |      27 | 15569575 | 11952833 |      899  35201 |        0 |        0
1141.20/1141.65	c 1141s |      27 | 15595163 | 11971733 |      899  35243 |        0 |        0
1143.20/1143.66	c 1143s |      27 | 15622225 | 11991633 |      899  35286 |        0 |        0
1145.20/1145.67	c 1145s |      27 | 15647807 | 12010933 |      899  35329 |        0 |        0
1147.20/1147.67	c 1147s |      27 | 15673225 | 12030433 |      899  35371 |        0 |        0
1149.21/1149.67	c 1149s |      27 | 15700820 | 12050733 |      899  35416 |        0 |        0
1151.20/1151.68	c 1151s |      27 | 15726411 | 12069833 |      899  35458 |        0 |        0
1153.20/1153.68	c 1153s |      27 | 15751013 | 12088533 |      899  35499 |        0 |        0
1155.20/1155.69	c 1155s |      27 | 15775757 | 12107433 |      899  35541 |        0 |        0
1157.30/1157.70	c 1157s |      27 | 15801459 | 12126733 |      899  35583 |        0 |        0
1159.30/1159.71	c 1159s |      27 | 15826153 | 12145133 |      899  35624 |        0 |        0
1161.30/1161.71	c 1161s |      27 | 15853343 | 12164633 |      899  35667 |        0 |        0
1163.29/1163.72	c 1163s |      27 | 15880351 | 12184533 |      899  35710 |        0 |        0
1165.29/1165.72	c 1165s |      27 | 15908197 | 12204733 |      899  35755 |        0 |        0
1167.29/1167.72	c 1167s |      27 | 15934466 | 12224833 |      899  35799 |        0 |        0
1169.29/1169.72	c 1169s |      27 | 15958920 | 12243833 |      899  35841 |        0 |        0
1171.29/1171.72	c 1171s |      27 | 15983812 | 12262733 |      899  35883 |        0 |        0
1173.31/1173.72	c 1173s |      27 | 16011486 | 12282733 |      899  35927 |        0 |        0
1175.30/1175.74	c 1175s |      27 | 16034562 | 12301133 |      899  35968 |        0 |        0
1177.30/1177.74	c 1177s |      27 | 16059146 | 12319933 |      899  36009 |        0 |        0
1179.30/1179.75	c 1179s |      27 | 16084630 | 12339233 |      899  36052 |        0 |        0
1181.30/1181.75	c 1181s |      27 | 16109951 | 12358433 |      899  36094 |        0 |        0
1183.30/1183.76	c 1183s |      27 | 16135972 | 12378233 |      899  36137 |        0 |        0
1185.29/1185.76	c 1185s |      27 | 16161575 | 12397633 |      899  36180 |        0 |        0
1187.29/1187.77	c 1187s |      27 | 16186807 | 12417033 |      899  36222 |        0 |        0
1189.29/1189.78	c 1189s |      27 | 16213464 | 12436833 |      899  36266 |        0 |        0
1191.29/1191.78	c 1191s |      27 | 16241584 | 12457133 |      899  36310 |        0 |        0
1193.29/1193.79	c 1193s |      27 | 16265701 | 12475933 |      899  36352 |        0 |        0
1195.31/1195.79	c 1195s |      27 | 16287388 | 12493833 |      899  36391 |        0 |        0
1197.30/1197.80	c 1197s |      27 | 16313728 | 12513833 |      899  36435 |        0 |        0
1199.40/1199.80	c 1199s |      27 | 16338454 | 12533033 |      899  36477 |        0 |        0
1201.40/1201.80	c 1201s |      27 | 16365084 | 12553133 |      899  36521 |        0 |        0
1203.40/1203.80	c 1203s |      27 | 16391703 | 12573033 |      899  36565 |        0 |        0
1205.40/1205.81	c 1205s |      27 | 16417559 | 12592733 |      899  36608 |        0 |        0
1207.40/1207.81	c 1207s |      27 | 16440915 | 12611333 |      899  36649 |        0 |        0
1209.40/1209.82	c 1209s |      27 | 16466237 | 12630633 |      899  36692 |        0 |        0
1211.40/1211.83	c 1211s |      27 | 16493160 | 12650633 |      899  36735 |        0 |        0
1213.40/1213.83	c 1213s |      27 | 16519035 | 12670333 |      899  36779 |        0 |        0
1215.39/1215.83	c 1215s |      27 | 16545607 | 12690533 |      899  36823 |        0 |        0
1217.40/1217.84	c 1217s |      27 | 16571483 | 12710233 |      899  36867 |        0 |        0
1219.39/1219.85	c 1219s |      27 | 16599756 | 12731233 |      899  36913 |        0 |        0
1221.39/1221.86	c 1221s |      27 | 16626718 | 12751733 |      899  36958 |        0 |        0
1223.39/1223.86	c 1223s |      27 | 16652681 | 12771733 |      899  37002 |        0 |        0
1225.39/1225.87	c 1225s |      27 | 16678186 | 12791633 |      899  37046 |        0 |        0
1227.39/1227.87	c 1227s |      27 | 16705866 | 12812033 |      899  37091 |        0 |        0
1229.40/1229.87	c 1229s |      27 | 16734624 | 12832933 |      899  37137 |        0 |        0
1231.39/1231.88	c 1231s |      27 | 16760978 | 12852733 |      899  37181 |        0 |        0
1233.39/1233.89	c 1233s |      27 | 16785383 | 12872033 |      899  37223 |        0 |        0
1235.39/1235.89	c 1235s |      27 | 16809675 | 12890733 |      899  37264 |        0 |        0
1237.49/1237.90	c 1237s |      27 | 16833576 | 12909433 |      899  37305 |        0 |        0
1239.49/1239.91	c 1239s |      27 | 16859227 | 12928933 |      899  37348 |        0 |        0
1241.49/1241.92	c 1241s |      27 | 16884203 | 12948033 |      899  37389 |        0 |        0
1243.48/1243.93	c 1243s |      27 | 16905440 | 12965433 |      899  37428 |        0 |        0
1245.48/1245.93	c 1245s |      27 | 16928315 | 12983433 |      899  37467 |        0 |        0
1247.48/1247.94	c 1247s |      27 | 16954119 | 13003233 |      899  37511 |        0 |        0
1249.48/1249.94	c 1249s |      27 | 16979863 | 13022233 |      899  37553 |        0 |        0
1251.49/1251.95	c 1251s |      27 | 17004649 | 13041233 |      899  37595 |        0 |        0
1253.48/1253.96	c 1253s |      27 | 17030241 | 13061033 |      899  37638 |        0 |        0
1255.49/1255.97	c 1255s |      27 | 17053827 | 13079633 |      899  37679 |        0 |        0
1257.49/1257.98	c 1257s |      27 | 17077554 | 13098433 |      899  37720 |        0 |        0
1259.49/1259.99	c 1259s |      27 | 17100404 | 13116333 |      899  37760 |        0 |        0
1261.59/1262.00	c 1261s |      27 | 17121116 | 13133333 |      899  37797 |        0 |        0
1263.49/1264.00	c 1263s |      27 | 17142213 | 13150633 |      899  37835 |        0 |        0
1265.59/1266.01	c 1265s |      27 | 17163423 | 13168133 |      899  37873 |        0 |        0
1267.59/1268.01	c 1267s |      27 | 17187798 | 13186833 |      899  37915 |        0 |        0
1269.58/1270.02	c 1270s |      27 | 17214062 | 13206333 |      899  37958 |        0 |        0
1271.58/1272.03	c 1272s |      27 | 17239235 | 13225233 |      899  37999 |        0 |        0
1273.58/1274.03	c 1274s |      27 | 17264837 | 13244533 |      899  38042 |        0 |        0
1275.59/1276.04	c 1276s |      27 | 17292236 | 13264633 |      899  38086 |        0 |        0
1277.58/1278.05	c 1278s |      27 | 17318900 | 13284433 |      899  38130 |        0 |        0
1279.58/1280.05	c 1280s |      27 | 17345701 | 13304233 |      899  38174 |        0 |        0
1281.58/1282.06	c 1282s |      27 | 17371621 | 13323533 |      899  38216 |        0 |        0
1283.58/1284.06	c 1284s |      27 | 17398635 | 13343833 |      899  38260 |        0 |        0
1285.58/1286.07	c 1286s |      27 | 17424479 | 13363733 |      899  38304 |        0 |        0
1287.58/1288.08	c 1288s |      27 | 17452227 | 13383933 |      899  38348 |        0 |        0
1289.58/1290.09	c 1290s |      27 | 17478137 | 13403733 |      899  38392 |        0 |        0
1291.58/1292.09	c 1292s |      27 | 17505819 | 13424533 |      899  38437 |        0 |        0
1293.57/1294.09	c 1294s |      27 | 17532584 | 13444633 |      899  38481 |        0 |        0
1295.68/1296.10	c 1296s |      27 | 17558636 | 13464433 |      899  38525 |        0 |        0
1297.69/1298.11	c 1298s |      27 | 17585450 | 13484633 |      899  38569 |        0 |        0
1299.68/1300.11	c 1300s |      27 | 17612629 | 13504833 |      899  38614 |        0 |        0
1301.68/1302.11	c 1302s |      27 | 17641453 | 13525833 |      899  38660 |        0 |        0
1303.68/1304.11	c 1304s |      27 | 17665439 | 13544933 |      899  38702 |        0 |        0
1305.68/1306.12	c 1306s |      27 | 17688973 | 13563933 |      899  38744 |        0 |        0
1307.68/1308.13	c 1308s |      27 | 17713635 | 13583133 |      899  38786 |        0 |        0
1309.69/1310.13	c 1310s |      27 | 17737966 | 13602533 |      899  38828 |        0 |        0
1311.68/1312.14	c 1312s |      27 | 17763050 | 13621433 |      899  38870 |        0 |        0
1313.68/1314.14	c 1314s |      27 | 17787963 | 13640533 |      899  38911 |        0 |        0
1315.68/1316.15	c 1316s |      27 | 17814570 | 13660533 |      899  38955 |        0 |        0
1317.68/1318.15	c 1318s |      27 | 17840873 | 13680233 |      899  38999 |        0 |        0
1319.68/1320.16	c 1320s |      27 | 17865942 | 13699833 |      899  39041 |        0 |        0
1321.68/1322.17	c 1322s |      27 | 17890902 | 13718933 |      899  39083 |        0 |        0
1323.68/1324.17	c 1324s |      27 | 17915250 | 13737633 |      899  39124 |        0 |        0
1325.68/1326.17	c 1326s |      27 | 17937494 | 13755333 |      899  39163 |        0 |        0
1327.68/1328.18	c 1328s |      27 | 17961224 | 13774033 |      899  39204 |        0 |        0
1329.67/1330.19	c 1330s |      27 | 17985550 | 13793033 |      899  39245 |        0 |        0
1331.68/1332.19	c 1332s |      27 | 18008353 | 13811133 |      899  39285 |        0 |        0
1333.77/1334.20	c 1334s |      27 | 18033807 | 13830433 |      899  39327 |        0 |        0
1335.77/1336.20	c 1336s |      27 | 18059428 | 13849933 |      899  39370 |        0 |        0
1337.77/1338.21	c 1338s |      27 | 18084168 | 13868833 |      899  39411 |        0 |        0
1339.77/1340.21	c 1340s |      27 | 18108895 | 13887433 |      899  39452 |        0 |        0
1341.77/1342.22	c 1342s |      27 | 18135265 | 13907133 |      899  39496 |        0 |        0
1343.78/1344.23	c 1344s |      27 | 18161288 | 13926733 |      899  39539 |        0 |        0
1345.77/1346.23	c 1346s |      27 | 18186673 | 13946133 |      899  39581 |        0 |        0
1347.77/1348.24	c 1348s |      27 | 18213088 | 13965633 |      899  39624 |        0 |        0
1349.77/1350.25	c 1350s |      27 | 18239538 | 13984933 |      899  39667 |        0 |        0
1351.77/1352.25	c 1352s |      27 | 18266585 | 14005033 |      899  39711 |        0 |        0
1353.77/1354.26	c 1354s |      27 | 18294400 | 14025633 |      899  39756 |        0 |        0
1355.77/1356.26	c 1356s |      27 | 18321575 | 14046133 |      899  39801 |        0 |        0
1357.77/1358.27	c 1358s |      27 | 18349190 | 14066533 |      899  39846 |        0 |        0
1359.77/1360.27	c 1360s |      27 | 18378982 | 14087433 |      899  39892 |        0 |        0
1361.77/1362.28	c 1362s |      27 | 18403045 | 14106433 |      899  39934 |        0 |        0
1363.77/1364.29	c 1364s |      27 | 18422612 | 14123233 |      899  39970 |        0 |        0
1365.78/1366.29	c 1366s |      27 | 18448257 | 14142733 |      899  40013 |        0 |        0
1367.77/1368.29	c 1368s |      27 | 18473966 | 14162033 |      899  40056 |        0 |        0
1369.87/1370.30	c 1370s |      27 | 18499621 | 14181433 |      899  40099 |        0 |        0
1371.87/1372.30	c 1372s |      27 | 18527669 | 14202233 |      899  40144 |        0 |        0
1373.87/1374.30	c 1374s |      27 | 18555390 | 14222933 |      899  40190 |        0 |        0
1375.87/1376.31	c 1376s |      27 | 18581209 | 14242833 |      899  40234 |        0 |        0
1377.87/1378.31	c 1378s |      27 | 18608837 | 14263333 |      899  40279 |        0 |        0
1379.87/1380.32	c 1380s |      27 | 18633421 | 14282433 |      899  40321 |        0 |        0
1381.86/1382.32	c 1382s |      27 | 18659995 | 14302233 |      899  40365 |        0 |        0
1383.86/1384.32	c 1384s |      27 | 18688092 | 14322733 |      899  40410 |        0 |        0
1385.86/1386.33	c 1386s |      27 | 18716690 | 14343733 |      899  40456 |        0 |        0
1387.87/1388.34	c 1388s |      27 | 18742762 | 14363733 |      899  40501 |        0 |        0
1389.86/1390.34	c 1390s |      27 | 18769060 | 14384033 |      899  40545 |        0 |        0
1391.86/1392.34	c 1392s |      27 | 18796372 | 14404733 |      899  40591 |        0 |        0
1393.86/1394.35	c 1394s |      27 | 18823251 | 14425133 |      899  40637 |        0 |        0
1395.86/1396.36	c 1396s |      27 | 18852359 | 14446033 |      899  40682 |        0 |        0
1397.86/1398.37	c 1398s |      27 | 18879236 | 14466333 |      899  40727 |        0 |        0
1399.87/1400.37	c 1400s |      27 | 18908810 | 14487333 |      899  40773 |        0 |        0
1401.86/1402.37	c 1402s |      27 | 18937895 | 14508433 |      899  40820 |        0 |        0
1403.86/1404.38	c 1404s |      27 | 18968285 | 14529733 |      899  40867 |        0 |        0
1405.86/1406.38	c 1406s |      27 | 18996802 | 14550333 |      899  40912 |        0 |        0
1407.86/1408.38	c 1408s |      27 | 19024719 | 14571033 |      899  40958 |        0 |        0
1409.87/1410.39	c 1410s |      27 | 19054459 | 14592533 |      899  41005 |        0 |        0
1411.86/1412.40	c 1412s |      27 | 19080514 | 14612133 |      899  41048 |        0 |        0
1413.96/1414.40	c 1414s |      27 | 19107147 | 14632233 |      899  41093 |        0 |        0
1415.96/1416.41	c 1416s |      27 | 19133501 | 14651733 |      899  41135 |        0 |        0
1417.96/1418.42	c 1418s |      27 | 19161136 | 14672133 |      899  41180 |        0 |        0
1419.96/1420.42	c 1420s |      27 | 19187115 | 14691433 |      899  41223 |        0 |        0
1421.97/1422.43	c 1422s |      27 | 19211952 | 14710533 |      899  41265 |        0 |        0
1423.96/1424.44	c 1424s |      27 | 19236303 | 14729633 |      899  41307 |        0 |        0
1425.96/1426.45	c 1426s |      27 | 19263641 | 14749933 |      899  41352 |        0 |        0
1427.96/1428.46	c 1428s |      27 | 19288027 | 14769033 |      899  41394 |        0 |        0
1429.96/1430.46	c 1430s |      27 | 19312589 | 14788433 |      899  41437 |        0 |        0
1431.96/1432.47	c 1432s |      27 | 19337475 | 14807933 |      899  41480 |        0 |        0
1433.96/1434.48	c 1434s |      27 | 19363213 | 14827433 |      899  41522 |        0 |        0
1435.96/1436.48	c 1436s |      27 | 19390210 | 14847733 |      899  41567 |        0 |        0
1437.96/1438.48	c 1438s |      27 | 19417995 | 14868333 |      899  41612 |        0 |        0
1439.96/1440.49	c 1440s |      27 | 19444266 | 14888033 |      899  41656 |        0 |        0
1441.95/1442.50	c 1442s |      27 | 19469094 | 14907333 |      899  41698 |        0 |        0
1444.05/1444.50	c 1444s |      27 | 19495738 | 14927333 |      899  41743 |        0 |        0
1445.95/1446.50	c 1446s |      27 | 19522299 | 14947233 |      899  41786 |        0 |        0
1448.05/1448.51	c 1448s |      27 | 19549839 | 14967233 |      899  41831 |        0 |        0
1450.05/1450.52	c 1450s |      27 | 19578129 | 14987933 |      899  41877 |        0 |        0
1452.05/1452.52	c 1452s |      27 | 19604975 | 15008133 |      899  41921 |        0 |        0
1454.05/1454.53	c 1454s |      27 | 19633290 | 15028333 |      899  41966 |        0 |        0
1456.06/1456.53	c 1456s |      27 | 19659557 | 15047433 |      899  42008 |        0 |        0
1458.05/1458.54	c 1458s |      27 | 19685631 | 15067233 |      899  42051 |        0 |        0
1460.06/1460.54	c 1460s |      27 | 19712637 | 15087133 |      899  42095 |        0 |        0
1462.06/1462.55	c 1462s |      27 | 19740104 | 15107133 |      899  42139 |        0 |        0
1464.06/1464.55	c 1464s |      27 | 19766745 | 15126833 |      899  42183 |        0 |        0
1466.06/1466.56	c 1466s |      27 | 19789980 | 15145133 |      899  42223 |        0 |        0
1468.06/1468.56	c 1468s |      27 | 19813729 | 15163633 |      899  42263 |        0 |        0
1470.05/1470.56	c 1470s |      27 | 19839420 | 15182533 |      899  42304 |        0 |        0
1472.05/1472.56	c 1472s |      27 | 19863751 | 15201333 |      899  42345 |        0 |        0
1474.05/1474.57	c 1474s |      27 | 19888686 | 15220433 |      899  42387 |        0 |        0
1476.05/1476.57	c 1476s |      27 | 19911763 | 15238533 |      899  42426 |        0 |        0
1478.06/1478.58	c 1478s |      27 | 19938936 | 15258733 |      899  42470 |        0 |        0
1480.05/1480.58	c 1480s |      27 | 19963267 | 15277433 |      899  42511 |        0 |        0
1482.05/1482.58	c 1482s |      27 | 19986989 | 15295833 |      899  42551 |        0 |        0
1484.05/1484.60	c 1484s |      27 | 20011105 | 15314433 |      899  42592 |        0 |        0
1486.05/1486.60	c 1486s |      27 | 20032979 | 15332033 |      899  42630 |        0 |        0
1488.15/1488.60	c 1488s |      27 | 20057659 | 15350833 |      899  42671 |        0 |        0
1490.16/1490.60	c 1490s |      27 | 20082750 | 15369733 |      899  42712 |        0 |        0
1492.15/1492.61	c 1492s |      27 | 20108090 | 15388533 |      899  42753 |        0 |        0
1494.15/1494.61	c 1494s |      27 | 20131014 | 15406633 |      899  42792 |        0 |        0
1496.15/1496.62	c 1496s |      27 | 20154716 | 15425433 |      899  42833 |        0 |        0
1498.15/1498.63	c 1498s |      27 | 20177351 | 15443633 |      899  42873 |        0 |        0
1500.15/1500.64	c 1500s |      27 | 20200980 | 15462133 |      899  42913 |        0 |        0
1502.15/1502.64	c 1502s |      27 | 20222868 | 15480133 |      899  42953 |        0 |        0
1504.15/1504.65	c 1504s |      27 | 20245033 | 15498133 |      899  42992 |        0 |        0
1506.15/1506.65	c 1506s |      27 | 20267775 | 15516633 |      899  43033 |        0 |        0
1508.14/1508.66	c 1508s |      27 | 20295493 | 15537033 |      899  43077 |        0 |        0
1510.14/1510.67	c 1510s |      27 | 20322754 | 15557133 |      899  43122 |        0 |        0
1512.15/1512.67	c 1512s |      27 | 20351169 | 15577233 |      899  43166 |        0 |        0
1514.15/1514.67	c 1514s |      27 | 20378419 | 15596933 |      899  43209 |        0 |        0
1516.15/1516.68	c 1516s |      27 | 20400994 | 15614933 |      899  43248 |        0 |        0
1518.15/1518.68	c 1518s |      27 | 20421585 | 15631733 |      899  43284 |        0 |        0
1520.15/1520.69	c 1520s |      27 | 20440938 | 15648233 |      899  43320 |        0 |        0
1522.25/1522.70	c 1522s |      27 | 20460213 | 15664733 |      899  43356 |        0 |        0
1524.26/1524.70	c 1524s |      27 | 20480607 | 15681633 |      899  43393 |        0 |        0
1526.25/1526.71	c 1526s |      27 | 20502141 | 15698833 |      899  43430 |        0 |        0
1528.24/1528.72	c 1528s |      27 | 20530772 | 15719233 |      899  43475 |        0 |        0
1530.24/1530.72	c 1530s |      27 | 20559333 | 15740033 |      899  43520 |        0 |        0
1532.24/1532.72	c 1532s |      27 | 20589997 | 15761833 |      899  43568 |        0 |        0
1534.24/1534.73	c 1534s |      27 | 20618394 | 15783033 |      899  43615 |        0 |        0
1536.25/1536.74	c 1536s |      27 | 20648932 | 15804633 |      899  43662 |        0 |        0
1538.24/1538.75	c 1538s |      27 | 20680640 | 15827233 |      899  43712 |        0 |        0
1540.24/1540.75	c 1540s |      27 | 20710024 | 15848533 |      899  43759 |        0 |        0
1542.24/1542.75	c 1542s |      27 | 20739043 | 15869333 |      899  43804 |        0 |        0
1544.24/1544.76	c 1544s |      27 | 20768717 | 15890533 |      899  43851 |        0 |        0
1546.25/1546.77	c 1546s |      27 | 20797351 | 15911233 |      899  43897 |        0 |        0
1548.24/1548.77	c 1548s |      27 | 20820748 | 15929733 |      899  43937 |        0 |        0
1550.24/1550.78	c 1550s |      27 | 20845449 | 15948733 |      899  43979 |        0 |        0
1552.24/1552.79	c 1552s |      27 | 20870903 | 15967933 |      899  44022 |        0 |        0
1554.34/1554.80	c 1554s |      27 | 20901134 | 15989233 |      899  44068 |        0 |        0
1556.34/1556.80	c 1556s |      27 | 20930988 | 16010633 |      899  44116 |        0 |        0
1558.34/1558.81	c 1558s |      27 | 20957367 | 16030433 |      899  44159 |        0 |        0
1560.34/1560.81	c 1560s |      27 | 20983296 | 16049933 |      899  44202 |        0 |        0
1562.34/1562.81	c 1562s |      27 | 21009795 | 16069633 |      899  44245 |        0 |        0
1564.34/1564.81	c 1564s |      27 | 21036323 | 16089133 |      899  44288 |        0 |        0
1566.34/1566.81	c 1566s |      27 | 21065067 | 16109633 |      899  44333 |        0 |        0
1568.34/1568.82	c 1568s |      27 | 21091869 | 16129933 |      899  44378 |        0 |        0
1570.35/1570.83	c 1570s |      27 | 21120484 | 16150933 |      899  44424 |        0 |        0
1572.34/1572.83	c 1572s |      27 | 21149682 | 16171333 |      899  44469 |        0 |        0
1574.34/1574.84	c 1574s |      27 | 21178223 | 16192033 |      899  44515 |        0 |        0
1576.34/1576.84	c 1576s |      27 | 21207794 | 16213333 |      899  44561 |        0 |        0
1578.34/1578.84	c 1578s |      27 | 21237815 | 16234733 |      899  44608 |        0 |        0
1580.34/1580.84	c 1580s |      27 | 21266825 | 16255533 |      899  44654 |        0 |        0
1582.33/1582.85	c 1582s |      27 | 21296383 | 16276533 |      899  44700 |        0 |        0
1584.33/1584.86	c 1584s |      27 | 21326549 | 16298033 |      899  44747 |        0 |        0
1586.33/1586.87	c 1586s |      27 | 21351724 | 16317533 |      899  44790 |        0 |        0
1588.33/1588.87	c 1588s |      27 | 21379967 | 16338433 |      899  44836 |        0 |        0
1590.33/1590.87	c 1590s |      27 | 21410062 | 16360033 |      899  44884 |        0 |        0
1592.34/1592.88	c 1592s |      27 | 21440452 | 16381833 |      899  44932 |        0 |        0
1594.33/1594.88	c 1594s |      27 | 21467014 | 16401733 |      899  44976 |        0 |        0
1596.33/1596.88	c 1596s |      27 | 21493114 | 16421733 |      899  45020 |        0 |        0
1598.33/1598.88	c 1598s |      27 | 21517127 | 16440933 |      899  45062 |        0 |        0
1600.34/1600.89	c 1600s |      27 | 21543486 | 16460933 |      899  45106 |        0 |        0
1602.43/1602.90	c 1602s |      27 | 21570821 | 16481533 |      899  45151 |        0 |        0
1604.33/1604.90	c 1604s |      27 | 21595383 | 16500333 |      899  45192 |        0 |        0
1606.43/1606.91	c 1606s |      27 | 21620537 | 16519733 |      899  45235 |        0 |        0
1608.43/1608.91	c 1608s |      27 | 21644791 | 16538633 |      899  45276 |        0 |        0
1610.43/1610.91	c 1610s |      27 | 21671694 | 16558933 |      899  45321 |        0 |        0
1612.43/1612.92	c 1612s |      27 | 21699709 | 16579533 |      899  45367 |        0 |        0
1614.44/1614.92	c 1614s |      27 | 21725368 | 16599033 |      899  45409 |        0 |        0
1616.43/1616.93	c 1616s |      27 | 21753630 | 16619933 |      899  45455 |        0 |        0
1618.43/1618.93	c 1618s |      27 | 21782858 | 16641333 |      899  45503 |        0 |        0
1620.43/1620.94	c 1620s |      27 | 21808150 | 16661133 |      899  45546 |        0 |        0
1622.43/1622.94	c 1622s |      27 | 21838912 | 16682433 |      899  45593 |        0 |        0
1624.43/1624.95	c 1624s |      27 | 21869147 | 16703933 |      899  45641 |        0 |        0
1626.43/1626.95	c 1626s |      27 | 21900628 | 16726033 |      899  45689 |        0 |        0
1628.43/1628.96	c 1628s |      27 | 21930156 | 16747333 |      899  45737 |        0 |        0
1630.43/1630.97	c 1630s |      27 | 21959764 | 16768433 |      899  45783 |        0 |        0
1632.42/1632.97	c 1632s |      27 | 21988542 | 16789833 |      899  45830 |        0 |        0
1634.43/1634.97	c 1634s |      27 | 22017859 | 16811733 |      899  45878 |        0 |        0
1636.44/1636.98	c 1636s |      27 | 22044533 | 16831733 |      899  45922 |        0 |        0
1638.43/1638.98	c 1638s |      27 | 22071342 | 16851833 |      899  45966 |        0 |        0
1640.43/1640.98	c 1640s |      27 | 22097236 | 16871633 |      899  46010 |        0 |        0
1642.43/1642.98	c 1642s |      27 | 22124201 | 16891733 |      899  46054 |        0 |        0
1644.43/1644.99	c 1644s |      27 | 22150097 | 16911433 |      899  46098 |        0 |        0
1646.53/1647.00	c 1646s |      27 | 22176816 | 16931633 |      899  46142 |        0 |        0
1648.53/1649.01	c 1648s |      27 | 22205899 | 16952833 |      899  46189 |        0 |        0
1650.52/1651.02	c 1651s |      27 | 22235206 | 16973733 |      989  46235 |        0 |        0
1652.52/1653.03	c 1653s |      27 | 22262889 | 16994133 |      989  46275 |        0 |        0
1654.52/1655.04	c 1655s |      27 | 22291158 | 17014633 |      989  46317 |        0 |        0
1656.52/1657.04	c 1657s |      27 | 22320196 | 17035333 |      989  46358 |        0 |        0
1658.52/1659.04	c 1659s |      27 | 22349415 | 17056333 |      989  46400 |        0 |        0
1660.53/1661.05	c 1661s |      27 | 22374868 | 17076033 |      989  46440 |        0 |        0
1662.43/1662.96	c 1662s |      28 | 22401164 | 17095205 |      989  46478 |        0 |        0
1664.43/1664.96	c 1664s |      28 | 22426687 | 17114005 |      989  46515 |        0 |        0
1666.43/1666.96	c 1666s |      28 | 22449115 | 17131705 |      989  46550 |        0 |        0
1668.43/1668.97	c 1668s |      28 | 22472511 | 17150005 |      989  46587 |        0 |        0
1670.43/1670.98	c 1670s |      28 | 22493359 | 17167205 |      989  46621 |        0 |        0
1672.42/1672.99	c 1672s |      28 | 22515412 | 17185005 |      989  46656 |        0 |        0
1674.42/1674.99	c 1674s |      28 | 22540749 | 17204205 |      989  46694 |        0 |        0
1676.52/1677.00	c 1676s |      28 | 22565593 | 17223305 |      989  46732 |        0 |        0
1678.52/1679.01	c 1678s |      28 | 22589118 | 17241405 |      989  46768 |        0 |        0
1680.52/1681.01	c 1680s |      28 | 22607017 | 17256805 |      989  46799 |        0 |        0
1682.53/1683.02	c 1683s |      28 | 22630189 | 17274705 |      989  46834 |        0 |        0
1684.52/1685.03	c 1685s |      28 | 22655449 | 17293705 |      989  46872 |        0 |        0
1686.52/1687.03	c 1687s |      28 | 22681570 | 17313205 |      989  46911 |        0 |        0
1688.52/1689.04	c 1689s |      28 | 22707499 | 17332905 |      989  46950 |        0 |        0
1690.52/1691.04	c 1691s |      28 | 22733627 | 17352205 |      989  46988 |        0 |        0
1692.52/1693.05	c 1693s |      28 | 22757629 | 17370705 |      989  47025 |        0 |        0
1694.52/1695.05	c 1695s |      28 | 22785063 | 17391005 |      989  47066 |        0 |        0
1696.52/1697.06	c 1697s |      28 | 22810688 | 17410205 |      989  47104 |        0 |        0
1698.51/1699.07	c 1699s |      28 | 22835391 | 17429305 |      989  47142 |        0 |        0
1700.51/1701.07	c 1701s |      28 | 22857917 | 17447105 |      989  47178 |        0 |        0
1702.51/1703.08	c 1703s |      28 | 22881070 | 17465405 |      989  47214 |        0 |        0
1704.52/1705.08	c 1705s |      28 | 22902965 | 17482905 |      989  47249 |        0 |        0
1706.51/1707.09	c 1707s |      28 | 22928127 | 17502005 |      989  47287 |        0 |        0
1708.51/1709.10	c 1709s |      28 | 22954007 | 17521405 |      989  47326 |        0 |        0
1710.51/1711.10	c 1711s |      28 | 22978904 | 17540005 |      989  47363 |        0 |        0
1712.61/1713.10	c 1713s |      28 | 23002341 | 17558405 |      989  47400 |        0 |        0
1714.62/1715.11	c 1715s |      28 | 23025220 | 17576505 |      989  47436 |        0 |        0
1716.63/1717.11	c 1717s |      28 | 23051592 | 17596305 |      989  47476 |        0 |        0
1718.62/1719.11	c 1719s |      28 | 23079326 | 17616705 |      989  47516 |        0 |        0
1720.62/1721.12	c 1721s |      28 | 23106800 | 17636605 |      989  47556 |        0 |        0
1722.62/1723.12	c 1723s |      28 | 23136209 | 17657505 |      989  47598 |        0 |        0
1724.61/1725.13	c 1725s |      28 | 23161192 | 17676705 |      989  47637 |        0 |        0
1726.62/1727.13	c 1727s |      28 | 23185846 | 17695805 |      989  47675 |        0 |        0
1728.61/1729.14	c 1729s |      28 | 23210413 | 17714705 |      989  47713 |        0 |        0
1730.61/1731.15	c 1731s |      28 | 23237827 | 17734605 |      989  47752 |        0 |        0
1732.61/1733.16	c 1733s |      28 | 23266175 | 17755005 |      989  47793 |        0 |        0
1734.61/1735.17	c 1735s |      28 | 23294743 | 17775605 |      989  47834 |        0 |        0
1736.61/1737.17	c 1737s |      28 | 23319552 | 17794905 |      989  47873 |        0 |        0
1738.62/1739.18	c 1739s |      28 | 23344142 | 17813905 |      989  47911 |        0 |        0
1740.61/1741.18	c 1741s |      28 | 23371152 | 17833805 |      989  47951 |        0 |        0
1742.61/1743.19	c 1743s |      28 | 23397605 | 17853505 |      989  47990 |        0 |        0
1744.71/1745.20	c 1745s |      28 | 23423951 | 17873205 |      989  48030 |        0 |        0
1746.71/1747.20	c 1747s |      28 | 23451681 | 17893305 |      989  48070 |        0 |        0
1748.71/1749.21	c 1749s |      28 | 23479060 | 17913405 |      989  48111 |        0 |        0
1750.71/1751.22	c 1751s |      28 | 23504925 | 17932605 |      989  48149 |        0 |        0
1752.71/1753.22	c 1753s |      28 | 23530129 | 17951705 |      989  48187 |        0 |        0
1754.71/1755.22	c 1755s |      28 | 23552859 | 17969305 |      989  48222 |        0 |        0
1756.71/1757.23	c 1757s |      28 | 23580092 | 17989305 |      989  48262 |        0 |        0
1758.70/1759.23	c 1759s |      28 | 23605400 | 18008605 |      989  48300 |        0 |        0
1760.71/1761.23	c 1761s |      28 | 23630888 | 18027705 |      989  48339 |        0 |        0
1762.70/1763.24	c 1763s |      28 | 23655213 | 18046405 |      989  48376 |        0 |        0
1764.70/1765.25	c 1765s |      28 | 23681045 | 18065805 |      989  48415 |        0 |        0
1766.70/1767.25	c 1767s |      28 | 23704807 | 18084505 |      989  48453 |        0 |        0
1768.70/1769.25	c 1769s |      28 | 23729022 | 18103305 |      989  48490 |        0 |        0
1770.70/1771.26	c 1771s |      28 | 23753709 | 18122005 |      989  48528 |        0 |        0
1772.71/1773.26	c 1773s |      28 | 23781369 | 18141905 |      989  48568 |        0 |        0
1774.70/1775.26	c 1775s |      28 | 23808837 | 18161805 |      989  48607 |        0 |        0
1776.70/1777.26	c 1777s |      28 | 23834409 | 18180805 |      989  48645 |        0 |        0
1778.70/1779.27	c 1779s |      28 | 23862838 | 18200705 |      989  48685 |        0 |        0
1780.70/1781.27	c 1781s |      28 | 23886691 | 18218805 |      989  48721 |        0 |        0
1782.71/1783.28	c 1783s |      28 | 23912469 | 18238005 |      989  48759 |        0 |        0
1784.70/1785.29	c 1785s |      28 | 23939194 | 18257905 |      989  48799 |        0 |        0
1786.80/1787.30	c 1787s |      28 | 23966887 | 18277905 |      989  48839 |        0 |        0
1788.81/1789.30	c 1789s |      28 | 23993045 | 18297305 |      989  48878 |        0 |        0
1790.81/1791.30	c 1791s |      28 | 24017647 | 18316005 |      989  48915 |        0 |        0
1792.81/1793.31	c 1793s |      28 | 24040665 | 18334005 |      989  48951 |        0 |        0
1794.81/1795.31	c 1795s |      28 | 24064494 | 18352305 |      989  48988 |        0 |        0
1796.81/1797.32	c 1797s |      28 | 24087188 | 18370505 |      989  49024 |        0 |        0
1798.81/1799.32	c 1799s |      28 | 24107131 | 18387105 |      989  49057 |        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-4121906-1467315834/watcher-4121906-1467315834 -o /tmp/evaluation-result-4121906-1467315834/solver-4121906-1467315834 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467310764-16425 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121906-1467315834.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.05 2.01 3/243 18117
/proc/meminfo: memFree=30119384/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=301500 CPUtime=0 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 1050 0 0 0 0 0 0 0 20 0 4 0 12689904 308736000 899 33554432000 4194304 16246674 140736709762464 140736709761888 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18117/statm: 75887 910 441 2943 0 72781 0
[pid=18117/tid=18118] ppid=18114 vsize=316860 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 324464640 962 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=320956 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 328658944 977 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=325052 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12689905 332853248 993 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100205 s]
/proc/loadavg: 2.08 2.05 2.01 3/243 18117
/proc/meminfo: memFree=30119384/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 24329 0 0 0 5 3 0 0 20 0 4 0 12689904 1247350784 24168 33554432000 4194304 16246674 140736709762464 140736709761888 13954518 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18117/statm: 304529 24177 708 2943 0 301423 0
[pid=18117/tid=18118] ppid=18114 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1247350784 24183 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1247350784 24189 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12689905 1247350784 24196 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.2005 s]
/proc/loadavg: 2.08 2.05 2.01 3/243 18117
/proc/meminfo: memFree=30119384/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 47313 0 0 0 12 6 0 0 20 0 4 0 12689904 1247350784 47151 33554432000 4194304 16246674 140736709762464 140736709745464 5661217 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18117/statm: 304529 47163 708 2943 0 301423 0
[pid=18117/tid=18118] ppid=18114 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1247350784 47169 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1247350784 47177 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12689905 1247350784 47185 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300491 s]
/proc/loadavg: 2.08 2.05 2.01 3/243 18117
/proc/meminfo: memFree=30119384/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 70243 0 0 0 19 9 0 0 20 0 4 0 12689904 1247350784 70082 33554432000 4194304 16246674 140736709762464 140736709745464 5724508 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18117/statm: 304529 70092 708 2943 0 301423 0
[pid=18117/tid=18118] ppid=18114 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1247350784 70099 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1247350784 70106 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12689905 1247350784 70112 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700413 s]
/proc/loadavg: 2.08 2.05 2.01 3/243 18117
/proc/meminfo: memFree=30119384/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 161332 0 0 0 46 23 0 0 20 0 4 0 12689904 1247350784 161170 33554432000 4194304 16246674 140736709762464 140736709744384 13191638 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18117/statm: 304529 161182 708 2943 0 301423 0
[pid=18117/tid=18118] ppid=18114 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1247350784 161188 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1247350784 161194 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12689905 1247350784 161199 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.08 2.05 2.01 3/247 18121
/proc/meminfo: memFree=29139480/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 245470 0 0 0 113 36 0 0 20 0 4 0 12689904 1247350784 245288 33554432000 4194304 16246674 140736709762464 140736709761776 6010469 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18117/statm: 304529 245288 783 2943 0 301423 0
[pid=18117/tid=18118] ppid=18114 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1247350784 245288 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1247350784 245288 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689905 1247350784 245288 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10041 s]
/proc/loadavg: 2.07 2.05 2.01 3/247 18121
/proc/meminfo: memFree=29051440/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 267394 0 0 0 269 39 0 0 20 0 4 0 12689904 1337528320 267212 33554432000 4194304 16246674 140736709762464 140736709745464 15015658 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18117/statm: 326545 267212 784 2943 0 323439 0
[pid=18117/tid=18118] ppid=18114 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1337528320 267212 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1337528320 267212 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689905 1337528320 267212 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.07 2.05 2.01 3/247 18121
/proc/meminfo: memFree=29051076/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 267410 0 0 0 589 39 0 0 20 0 4 0 12689904 1337528320 267228 33554432000 4194304 16246674 140736709762464 140736709745456 14073233 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18117/statm: 326545 267228 786 2943 0 323439 0
[pid=18117/tid=18118] ppid=18114 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1337528320 267228 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1337528320 267228 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689905 1337528320 267228 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.06 2.05 2.00 3/247 18121
/proc/meminfo: memFree=29051776/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 267417 0 0 0 1228 40 0 0 20 0 4 0 12689904 1337528320 267235 33554432000 4194304 16246674 140736709762464 140736709745464 12479038 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18117/statm: 326545 267235 786 2943 0 323439 0
[pid=18117/tid=18118] ppid=18114 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1337528320 267235 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1337528320 267235 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689905 1337528320 267235 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.05 2.05 2.00 3/247 18121
/proc/meminfo: memFree=29052960/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 267417 0 0 0 2507 41 0 0 20 0 4 0 12689904 1337528320 267235 33554432000 4194304 16246674 140736709762464 140736709745456 6020553 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18117/statm: 326545 267235 786 2943 0 323439 0
[pid=18117/tid=18118] ppid=18114 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1337528320 267235 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1337528320 267235 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689905 1337528320 267235 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.03 2.04 2.00 3/247 18121
/proc/meminfo: memFree=29052844/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1306180 CPUtime=51.07 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 267419 0 0 0 5065 42 0 0 20 0 4 0 12689904 1337528320 267237 33554432000 4194304 16246674 140736709762464 140736709745464 5523460 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18117/statm: 326545 267237 786 2943 0 323439 0
[pid=18117/tid=18118] ppid=18114 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1337528320 267237 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1337528320 267237 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689905 1337528320 267237 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/247 18122
/proc/meminfo: memFree=29051236/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1306180 CPUtime=102.27 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 267437 0 0 0 10183 44 0 0 20 0 4 0 12689904 1337528320 267255 33554432000 4194304 16246674 140736709762464 140736709745464 6012116 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18117/statm: 326545 267255 787 2943 0 323439 0
[pid=18117/tid=18118] ppid=18114 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1337528320 267255 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1337528320 267255 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689905 1337528320 267255 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1306180


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

/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689905 1338576896 267404 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/247 18371
/proc/meminfo: memFree=29044608/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1307204 CPUtime=1361.87 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 267914 0 0 0 136114 73 0 0 20 0 4 0 12689904 1338576896 267404 33554432000 4194304 16246674 140736709762464 140736709745464 5823258 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18117/statm: 326801 267404 789 2943 0 323695 0
[pid=18117/tid=18118] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1338576896 267404 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1338576896 267404 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689905 1338576896 267404 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/247 18372
/proc/meminfo: memFree=29044508/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1307204 CPUtime=1421.87 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 267914 0 0 0 142113 74 0 0 20 0 4 0 12689904 1338576896 267404 33554432000 4194304 16246674 140736709762464 140736709745464 5667881 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18117/statm: 326801 267404 789 2943 0 323695 0
[pid=18117/tid=18118] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1338576896 267404 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1338576896 267404 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689905 1338576896 267404 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/247 18373
/proc/meminfo: memFree=29042056/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1307204 CPUtime=1481.85 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 267914 0 0 0 148110 75 0 0 20 0 4 0 12689904 1338576896 267404 33554432000 4194304 16246674 140736709762464 140736709745464 6020690 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18117/statm: 326801 267404 789 2943 0 323695 0
[pid=18117/tid=18118] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1338576896 267404 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1338576896 267404 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689905 1338576896 267404 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.01 2.04 2.00 3/247 18375
/proc/meminfo: memFree=29042288/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1307204 CPUtime=1541.85 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 267914 0 0 0 154109 76 0 0 20 0 4 0 12689904 1338576896 267404 33554432000 4194304 16246674 140736709762464 140736709744384 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18117/statm: 326801 267404 789 2943 0 323695 0
[pid=18117/tid=18118] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1338576896 267404 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1338576896 267404 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689905 1338576896 267404 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/248 18379
/proc/meminfo: memFree=29042088/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1307204 CPUtime=1601.83 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 267914 0 0 0 160105 78 0 0 20 0 4 0 12689904 1338576896 267404 33554432000 4194304 16246674 140736709762464 140736709745464 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18117/statm: 326801 267404 789 2943 0 323695 0
[pid=18117/tid=18118] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1338576896 267404 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1338576896 267404 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689905 1338576896 267404 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.16 2.08 2.01 3/247 18380
/proc/meminfo: memFree=29039796/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1307204 CPUtime=1661.83 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 267933 0 0 0 166103 80 0 0 20 0 4 0 12689904 1338576896 267678 33554432000 4194304 16246674 140736709762464 140736709745464 12467404 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18117/statm: 326801 267678 789 2943 0 323695 0
[pid=18117/tid=18118] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1338576896 267678 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1338576896 267678 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689905 1338576896 267678 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.19 2.09 2.02 3/247 18381
/proc/meminfo: memFree=29039448/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1307204 CPUtime=1721.82 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 268016 0 0 0 172101 81 0 0 20 0 4 0 12689904 1338576896 267761 33554432000 4194304 16246674 140736709762464 140736709745464 5708437 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18117/statm: 326801 267761 789 2943 0 323695 0
[pid=18117/tid=18118] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1338576896 267761 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1338576896 267761 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689905 1338576896 267761 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.10 2.09 2.02 3/247 18382
/proc/meminfo: memFree=29039332/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1307204 CPUtime=1781.8 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 268016 0 0 0 178099 81 0 0 20 0 4 0 12689904 1338576896 267761 33554432000 4194304 16246674 140736709762464 140736709745464 13943600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18117/statm: 326801 267761 789 2943 0 323695 0
[pid=18117/tid=18118] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1338576896 267761 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1338576896 267761 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689905 1338576896 267761 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.08 2.08 2.02 3/247 18383
/proc/meminfo: memFree=29039456/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1307204 CPUtime=1800.01 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 268016 0 0 0 179919 82 0 0 20 0 4 0 12689904 1338576896 267761 33554432000 4194304 16246674 140736709762464 140736709744384 5662265 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18117/statm: 326801 267761 789 2943 0 323695 0
[pid=18117/tid=18118] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1338576896 267761 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1338576896 267761 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689905 1338576896 267761 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1307204

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

[startup+1800.5 s]
/proc/loadavg: 2.08 2.08 2.02 3/247 18383
/proc/meminfo: memFree=29039456/32872528 swapFree=189444/189444
[pid=18117] ppid=18114 vsize=1307204 CPUtime=1800.01 cores=1,3,5,7
/proc/18117/stat : 18117 (toysat) R 18114 18117 13211 0 -1 4202496 268016 0 0 0 179919 82 0 0 20 0 4 0 12689904 1338576896 267761 33554432000 4194304 16246674 140736709762464 140736709744384 5662265 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18117/statm: 326801 267761 789 2943 0 323695 0
[pid=18117/tid=18118] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18118/stat : 18118 (toysat) S 18114 18117 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12689904 1338576896 267761 33554432000 4194304 16246674 140736709762464 140706401201392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18117/tid=18119] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18119/stat : 18119 (toysat) S 18114 18117 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12689904 1338576896 267761 33554432000 4194304 16246674 140736709762464 140706390711536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18117/tid=18120] ppid=18114 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18117/task/18120/stat : 18120 (toysat) S 18114 18117 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12689905 1338576896 267761 33554432000 4194304 16246674 140736709762464 140706380238000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.2
CPU system time (s): 0.820875
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.2
system time used= 0.820875
maximum resident set size= 1071044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268016
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= 345
involuntary context switches= 1900

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.79927 second user time and 6.72398 second system time

The end

Begin job on node102 at 2016-06-30 21:43:54
IDJOB=4121906
IDBENCH=110756
IDSOLVER=2542
FILE ID=node102/4121906-1467315834
RUNJOBID= node102-1467310764-16425
PBS_JOBID= 20005272
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-24.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4121906-1467315834/watcher-4121906-1467315834 -o /tmp/evaluation-result-4121906-1467315834/solver-4121906-1467315834 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467310764-16425 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121906-1467315834.opb

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

MD5SUM BENCH= 23b21aa062fc2b265217c45624327324
RANDOM SEED=1670191396

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30119656 kB
Buffers:          161232 kB
Cached:           571460 kB
SwapCached:            0 kB
Active:          1396284 kB
Inactive:         422316 kB
Active(anon):    1088724 kB
Inactive(anon):        0 kB
Active(file):     307560 kB
Inactive(file):   422316 kB
Unevictable:      189444 kB
Mlocked:          189444 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16348 kB
Writeback:             0 kB
AnonPages:       1275340 kB
Mapped:            17572 kB
Shmem:               204 kB
Slab:             609508 kB
SReclaimable:      53388 kB
SUnreclaim:       556120 kB
KernelStack:        1992 kB
PageTables:         6848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1424000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1069056 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= 71636 MiB
End job on node102 at 2016-06-30 22:13:54