0.00/0.00	c 2016-06-07T04:01:47+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-4078955-1465264907.opb"]
0.00/0.01	c use --random-gen="1254623968 393149841 3945413639 2701347209 950549453 2573717024 3797945348 601986396 3043567255 2485430862 1397481644 3201960735 3413804148 3355414334 1263600392 2986577421 2085527027 4176881943 4083994032 2459876395 2116240318 3072216210 154721835 1718160609 1278536400 3359512856 1531141645 1863091941 1438434474 987103010 2276105640 204736475 2989016409 1109905528 2339794523 2624737438 328442819 2886992749 1101037181 1631956569 3171744621 1369101215 2972139202 1081086512 1382374040 2463519085 938198840 3773994520 2046601208 601828931 1770692891 262081200 1052666124 3186135822 1120088787 3982508320 302414642 688297055 3697812325 2294545535 2798528200 138962615 3809824011 790682621 2199906448 648026055 2943133049 3440023604 3499252901 3087001217 3292301370 1183048925 3114005080 3554733779 3009339616 1165445551 1449513028 3385516198 3737059599 1473476874 2806389957 2128714758 3624222396 3921567179 1082697918 1721967185 1657761261 4274089223 1309782338 172030328 971685009 3635851602 3632284933 398480487 694151741 2437322519 605832851 362592419 1227787167 734486127 4111149232 817055595 2735079838 1576262799 3991992138 2531491618 1409351074 2132604484 2303374904 1582738186 1074985972 3768013794 455710648 315935912 1711806941 571437419 3560666545 1702513687 464325776 3144996187 773106896 2155662107 2349934596 2917550701 3700677113 109281024 2420971060 1615889240 2498327642 2892238980 3643327633 3619110090 1679600267 3558301800 2200627088 1779598948 4067943663 3652546465 1183557980 3494338924 2438307655 3944395269 234647979 1965098706 929135450 3885068758 569730409 3124480471 3954151140 269303012 3229490742 3481725512 2947613824 2226792752 514605240 2077153862 2270459765 201417951 3060882056 3594209149 248001808 2059657269 1186603695 1009666261 1278614417 3474848053 2859720543 983364053 2406292156 1686332834 933861183 3693076199 2381975738 415430332 1869466219 3189182240 2151588476 199151779 2715691770 4025775210 4110371178 540095105 3781109483 1358495741 2051048965 3286119468 1486300968 3459888582 1010800400 3195098281 1693497741 1287183782 2517642676 2475873368 2769580443 1582839529 3614630506 4117480832 935700803 3699802435 582008361 476298482 2860126329 3029577338 1320833156 2621522908 1170774964 2797903019 3417560620 70789104 1645824316 3241357561 3917111301 3251271229 4090134316 3451916454 1698210600 1134329772 2545231126 3746467139 3174640202 1090350781 3012569738 2531766788 337536143 3624424540 755395951 1296685238 3020742532 4230319284 2236431742 1554480772 650013872 2419704298 174213783 1369749251 4010857180 1973120759 416678943 3806910574 2343149300 1814133227 1419073818 3583885689 2679361321 557383669 1694303200 2356578201 3715716625 1251355613 3466272583 464132771 212720249 659425226 476379255 930904594 255 362436" option to reproduce the execution
0.00/0.03	c #vars 200
0.00/0.03	c #constraints 302
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.10	c  0.0s |       0 |        0 |        0 |     2217      0 |        0 |        0
0.09/0.15	c  0.1s |       1 |      253 |      100 |     2217      0 |        0 |        0
0.09/0.19	c  0.1s |       2 |     3416 |      250 |     2439      0 |        0 |        0
0.29/0.32	c  0.2s |       3 |     5623 |      475 |     2683      0 |        0 |        0
0.39/0.49	c  0.4s |       4 |     7060 |      813 |     2952      0 |        0 |        0
0.79/0.85	c  0.7s |       5 |    10118 |     1320 |     3248      0 |        0 |        0
1.20/1.25	c  1.2s |       6 |    15456 |     2081 |     3931      0 |        0 |        0
1.79/1.82	c  1.7s |       7 |    22703 |     3223 |     4325      0 |        0 |        0
2.69/2.77	c  2.7s |       8 |    35763 |     4936 |     4758      1 |        0 |        0
4.09/4.16	c  4.1s |       9 |    58415 |     7506 |     5234      2 |        0 |        0
5.89/5.94	c  5.8s |      10 |    93859 |    11361 |     5758      3 |        0 |        0
7.89/7.95	c  7.9s |      10 |   143231 |    15061 |     5758      4 |        0 |        0
8.90/8.93	c  8.8s |      11 |   162374 |    17144 |     6334      5 |        0 |        0
10.89/10.95	c 10.9s |      11 |   196976 |    20844 |     6334      6 |        0 |        0
12.99/13.00	c 12.9s |      11 |   239522 |    24944 |     6334      7 |        0 |        0
13.38/13.43	c 13.3s |      12 |   243971 |    25819 |     6968      7 |        0 |        0
15.40/15.46	c 15.4s |      12 |   277903 |    29919 |     6968      8 |        0 |        0
17.39/17.49	c 17.4s |      12 |   305625 |    33819 |     6968      9 |        0 |        0
19.49/19.51	c 19.4s |      12 |   322697 |    37119 |     6968     10 |        0 |        0
20.29/20.31	c 20.2s |      13 |   341181 |    38832 |     7665     11 |        0 |        0
22.29/22.33	c 22.2s |      13 |   371734 |    43332 |     7665     12 |        0 |        0
24.30/24.38	c 24.3s |      13 |   392020 |    47532 |     7665     13 |        0 |        0
26.39/26.40	c 26.3s |      13 |   417469 |    51432 |     7665     14 |        0 |        0
28.38/28.41	c 28.3s |      13 |   439506 |    55332 |     7665     15 |        0 |        0
29.79/29.88	c 29.8s |      14 |   456955 |    58352 |     8432     16 |        0 |        0
31.79/31.90	c 31.8s |      14 |   490675 |    62252 |     8432     16 |        0 |        0
33.88/33.91	c 33.8s |      14 |   503560 |    65552 |     8432     17 |        0 |        0
35.89/35.96	c 35.9s |      14 |   524378 |    69152 |     8432     18 |        0 |        0
37.89/37.98	c 37.9s |      14 |   534027 |    72452 |     8432     19 |        0 |        0
39.98/40.05	c 40.0s |      14 |   541798 |    75652 |     8432     20 |        0 |        0
41.98/42.06	c 42.0s |      14 |   547241 |    78352 |     8432     20 |        0 |        0
44.00/44.10	c 44.0s |      14 |   566458 |    82552 |     8432     21 |        0 |        0
46.09/46.12	c 46.0s |      14 |   578453 |    85952 |     8432     22 |        0 |        0
46.79/46.89	c 46.8s |      15 |   593717 |    87632 |     9276     22 |        0 |        0
48.89/48.92	c 48.8s |      15 |   617660 |    91532 |     9276     23 |        0 |        0
50.88/50.93	c 50.8s |      15 |   654460 |    95632 |     9276     24 |        0 |        0
52.89/52.93	c 52.8s |      15 |   679379 |    99532 |     9276     25 |        0 |        0
54.88/54.94	c 54.8s |      15 |   698468 |   102832 |     9276     25 |        0 |        0
56.89/56.95	c 56.8s |      15 |   731026 |   106732 |     9276     26 |        0 |        0
58.98/59.00	c 58.9s |      15 |   757525 |   111032 |     9276     27 |        0 |        0
60.98/61.04	c 60.9s |      15 |   772822 |   114932 |     9276     28 |        0 |        0
62.98/63.09	c 63.0s |      15 |   790364 |   118232 |     9276     29 |        0 |        0
65.08/65.12	c 65.0s |      15 |   808134 |   121832 |     9276     29 |        0 |        0
67.09/67.13	c 67.0s |      15 |   821370 |   125332 |     9276     30 |        0 |        0
69.08/69.18	c 69.1s |      15 |   852074 |   128832 |     9276     31 |        0 |        0
70.49/70.59	c 70.5s |      16 |   869156 |   131552 |    10204     31 |        0 |        0
72.48/72.59	c 72.5s |      16 |   900331 |   135252 |    10204     32 |        0 |        0
74.58/74.63	c 74.5s |      16 |   912580 |   138552 |    10204     33 |        0 |        0
76.58/76.67	c 76.6s |      16 |   922391 |   141752 |    10204     33 |        0 |        0
78.78/78.85	c 78.7s |      16 |   931850 |   144952 |    10204     34 |        0 |        0
80.78/80.89	c 80.8s |      16 |   949144 |   148852 |    10204     34 |        0 |        0
82.87/82.93	c 82.8s |      16 |   963368 |   152252 |    10204     35 |        0 |        0
84.88/84.95	c 84.9s |      16 |   971423 |   155552 |    10204     36 |        0 |        0
86.88/86.97	c 86.9s |      16 |   987854 |   158352 |    10204     36 |        0 |        0
88.88/88.99	c 88.9s |      16 |  1006291 |   162152 |    10204     37 |        0 |        0
90.98/91.00	c 90.9s |      16 |  1025800 |   165952 |    10204     38 |        0 |        0
92.98/93.02	c 92.9s |      16 |  1035583 |   169252 |    10204     38 |        0 |        0
94.98/95.03	c 94.9s |      16 |  1043775 |   172752 |    10204     39 |        0 |        0
96.98/97.05	c 97.0s |      16 |  1051400 |   176652 |    10204     40 |        0 |        0
98.99/99.05	c 99.0s |      16 |  1056987 |   180052 |    10204     40 |        0 |        0
100.98/101.06	c  100s |      16 |  1069657 |   183052 |    10204     41 |        0 |        0
102.98/103.06	c  102s |      16 |  1079224 |   185552 |    10204     41 |        0 |        0
104.97/105.08	c  104s |      16 |  1099988 |   189152 |    10204     42 |        0 |        0
106.97/107.09	c  106s |      16 |  1108436 |   192452 |    10204     43 |        0 |        0
109.07/109.13	c  109s |      16 |  1120953 |   195852 |    10204     43 |        0 |        0
110.08/110.18	c  110s |      17 |  1124629 |   197432 |    11225     44 |        0 |        0
112.18/112.22	c  112s |      17 |  1139145 |   199932 |    11225     44 |        0 |        0
114.17/114.29	c  114s |      17 |  1175306 |   203032 |    11225     45 |        0 |        0
116.28/116.34	c  116s |      17 |  1200872 |   206332 |    11225     45 |        0 |        0
118.27/118.37	c  118s |      17 |  1227053 |   209632 |    11225     46 |        0 |        0
120.37/120.40	c  120s |      17 |  1238866 |   212732 |    11225     46 |        0 |        0
122.37/122.45	c  122s |      17 |  1251898 |   215832 |    11225     47 |        0 |        0
124.38/124.47	c  124s |      17 |  1261385 |   218632 |    11225     47 |        0 |        0
126.47/126.52	c  126s |      17 |  1280284 |   221732 |    11225     48 |        0 |        0
128.48/128.54	c  128s |      17 |  1291401 |   225132 |    11225     48 |        0 |        0
130.47/130.58	c  130s |      17 |  1299658 |   227632 |    11225     49 |        0 |        0
132.47/132.59	c  132s |      17 |  1318834 |   231032 |    11225     49 |        0 |        0
134.57/134.63	c  134s |      17 |  1333786 |   234132 |    11225     50 |        0 |        0
136.57/136.64	c  136s |      17 |  1341451 |   236932 |    11225     50 |        0 |        0
138.58/138.68	c  138s |      17 |  1359591 |   239832 |    11225     51 |        0 |        0
140.67/140.70	c  140s |      17 |  1378101 |   243132 |    11225     52 |        0 |        0
142.67/142.72	c  142s |      17 |  1388268 |   246532 |    11225     52 |        0 |        0
144.67/144.76	c  144s |      17 |  1403546 |   249832 |    11225     53 |        0 |        0
146.67/146.79	c  146s |      17 |  1416299 |   252732 |    11225     53 |        0 |        0
148.77/148.80	c  148s |      17 |  1423151 |   255532 |    11225     54 |        0 |        0
150.77/150.84	c  150s |      17 |  1426396 |   257632 |    11225     54 |        0 |        0
152.76/152.89	c  152s |      17 |  1435511 |   260332 |    11225     54 |        0 |        0
154.86/154.91	c  154s |      17 |  1448293 |   263632 |    11225     55 |        0 |        0
156.86/156.97	c  156s |      17 |  1458796 |   266732 |    11225     56 |        0 |        0
158.96/159.00	c  158s |      17 |  1468811 |   269932 |    11225     56 |        0 |        0
160.96/161.04	c  160s |      17 |  1477038 |   272932 |    11225     57 |        0 |        0
162.96/163.07	c  162s |      17 |  1481627 |   275732 |    11225     57 |        0 |        0
164.98/165.09	c  164s |      17 |  1487318 |   278432 |    11225     58 |        0 |        0
167.06/167.12	c  167s |      17 |  1495055 |   280432 |    11225     58 |        0 |        0
169.16/169.21	c  169s |      17 |  1518728 |   283532 |    11225     59 |        0 |        0
171.17/171.21	c  171s |      17 |  1538798 |   286832 |    11225     59 |        0 |        0
173.16/173.25	c  173s |      17 |  1557143 |   290232 |    11225     60 |        0 |        0
175.17/175.26	c  175s |      17 |  1568377 |   293432 |    11225     60 |        0 |        0
177.07/177.15	c  177s |      18 |  1585354 |   296252 |    12348     61 |        0 |        0
179.16/179.24	c  179s |      18 |  1600255 |   298552 |    12348     61 |        0 |        0
181.16/181.25	c  181s |      18 |  1634545 |   302152 |    12348     61 |        0 |        0
183.17/183.29	c  183s |      18 |  1660723 |   305252 |    12348     62 |        0 |        0
185.26/185.32	c  185s |      18 |  1671951 |   308052 |    12348     62 |        0 |        0
187.26/187.33	c  187s |      18 |  1686345 |   310952 |    12348     63 |        0 |        0
189.36/189.40	c  189s |      18 |  1700634 |   313852 |    12348     63 |        0 |        0
191.56/191.66	c  191s |      18 |  1704742 |   315652 |    12348     64 |        0 |        0
193.66/193.72	c  193s |      18 |  1714186 |   318952 |    12348     64 |        0 |        0
195.77/195.85	c  195s |      18 |  1723102 |   321352 |    12348     65 |        0 |        0
197.76/197.89	c  197s |      18 |  1745434 |   324252 |    12348     65 |        0 |        0
199.76/199.89	c  199s |      18 |  1755240 |   326952 |    12348     65 |        0 |        0
201.86/201.93	c  201s |      18 |  1763746 |   329852 |    12348     66 |        0 |        0
203.86/203.94	c  203s |      18 |  1779404 |   332252 |    12348     66 |        0 |        0
205.86/205.95	c  205s |      18 |  1791690 |   334852 |    12348     67 |        0 |        0
207.86/207.97	c  207s |      18 |  1808094 |   337852 |    12348     67 |        0 |        0
209.96/210.08	c  209s |      18 |  1833550 |   340452 |    12348     68 |        0 |        0
212.05/212.13	c  212s |      18 |  1845306 |   343252 |    12348     68 |        0 |        0
214.05/214.19	c  214s |      18 |  1853133 |   345752 |    12348     68 |        0 |        0
216.16/216.25	c  216s |      18 |  1867893 |   348552 |    12348     69 |        0 |        0
218.26/218.33	c  218s |      18 |  1875235 |   350952 |    12348     69 |        0 |        0
220.26/220.36	c  220s |      18 |  1883252 |   353052 |    12348     70 |        0 |        0
222.26/222.37	c  222s |      18 |  1892953 |   355652 |    12348     70 |        0 |        0
224.25/224.37	c  224s |      18 |  1899263 |   358052 |    12348     70 |        0 |        0
226.35/226.43	c  226s |      18 |  1910233 |   360052 |    12348     71 |        0 |        0
228.35/228.46	c  228s |      18 |  1926008 |   362752 |    12348     71 |        0 |        0
230.36/230.47	c  230s |      18 |  1934707 |   365252 |    12348     72 |        0 |        0
232.36/232.48	c  232s |      18 |  1938180 |   367452 |    12348     72 |        0 |        0
234.36/234.49	c  234s |      18 |  1948329 |   370052 |    12348     72 |        0 |        0
236.36/236.50	c  236s |      18 |  1953187 |   372452 |    12348     73 |        0 |        0
238.46/238.58	c  238s |      18 |  1957880 |   375052 |    12348     73 |        0 |        0
240.56/240.61	c  240s |      18 |  1964731 |   376952 |    12348     73 |        0 |        0
242.56/242.68	c  242s |      18 |  1978180 |   379652 |    12348     74 |        0 |        0
244.65/244.70	c  244s |      18 |  1983099 |   382052 |    12348     74 |        0 |        0
246.65/246.72	c  246s |      18 |  1994091 |   384452 |    12348     75 |        0 |        0
248.66/248.78	c  248s |      18 |  1998367 |   386752 |    12348     75 |        0 |        0
250.76/250.82	c  250s |      18 |  2001547 |   388852 |    12348     75 |        0 |        0
252.76/252.87	c  252s |      18 |  2004325 |   391052 |    12348     76 |        0 |        0
254.75/254.89	c  254s |      18 |  2008202 |   393052 |    12348     76 |        0 |        0
256.86/256.92	c  256s |      18 |  2011175 |   393752 |    12348     76 |        0 |        0
258.95/259.02	c  258s |      18 |  2030310 |   396752 |    12348     77 |        0 |        0
260.95/261.07	c  260s |      18 |  2039670 |   399752 |    12348     77 |        0 |        0
263.05/263.14	c  263s |      18 |  2048090 |   402652 |    12348     77 |        0 |        0
265.06/265.19	c  265s |      18 |  2055498 |   405752 |    12348     78 |        0 |        0
267.15/267.24	c  267s |      18 |  2062969 |   408652 |    12348     78 |        0 |        0
269.15/269.26	c  269s |      18 |  2068147 |   411452 |    12348     79 |        0 |        0
271.25/271.31	c  271s |      18 |  2073964 |   414252 |    12348     79 |        0 |        0
273.25/273.34	c  273s |      18 |  2077225 |   416752 |    12348     80 |        0 |        0
275.25/275.35	c  275s |      18 |  2085968 |   419152 |    12348     80 |        0 |        0
277.35/277.42	c  277s |      18 |  2094858 |   421852 |    12348     80 |        0 |        0
279.36/279.45	c  279s |      18 |  2101375 |   424552 |    12348     81 |        0 |        0
281.35/281.49	c  281s |      18 |  2105727 |   427252 |    12348     81 |        0 |        0
283.45/283.56	c  283s |      18 |  2119544 |   429652 |    12348     82 |        0 |        0
285.54/285.60	c  285s |      18 |  2125753 |   432452 |    12348     82 |        0 |        0
287.55/287.64	c  287s |      18 |  2129899 |   434752 |    12348     83 |        0 |        0
289.55/289.65	c  289s |      18 |  2148376 |   437552 |    12348     83 |        0 |        0
291.55/291.65	c  291s |      18 |  2162805 |   440652 |    12348     83 |        0 |        0
293.54/293.67	c  293s |      18 |  2178219 |   443752 |    13583     84 |        0 |        0
294.04/294.13	c  294s |      19 |  2184186 |   444482 |    13583     84 |        0 |        0
296.04/296.18	c  296s |      19 |  2228313 |   447782 |    13583     84 |        0 |        0
298.05/298.19	c  298s |      19 |  2238995 |   449982 |    13583     85 |        0 |        0
300.15/300.22	c  300s |      19 |  2270374 |   453382 |    13583     85 |        0 |        0
302.14/302.25	c  302s |      19 |  2279533 |   456182 |    13583     86 |        0 |        0
304.14/304.27	c  304s |      19 |  2293004 |   459382 |    13583     86 |        0 |        0
306.24/306.35	c  306s |      19 |  2303945 |   462182 |    13583     86 |        0 |        0
308.34/308.40	c  308s |      19 |  2310086 |   464682 |    13583     87 |        0 |        0
310.34/310.40	c  310s |      19 |  2324072 |   467682 |    13583     87 |        0 |        0
312.74/312.84	c  312s |      19 |  2335251 |   470182 |    13583     88 |        0 |        0
314.75/314.85	c  314s |      19 |  2359340 |   473482 |    13583     88 |        0 |        0
316.75/316.90	c  316s |      19 |  2376993 |   476582 |    13583     89 |        0 |        0
318.84/318.93	c  318s |      19 |  2395270 |   479782 |    13583     89 |        0 |        0
320.84/320.97	c  320s |      19 |  2405368 |   482682 |    13583     89 |        0 |        0
323.14/323.28	c  323s |      19 |  2411167 |   484982 |    13583     90 |        0 |        0
325.24/325.33	c  325s |      19 |  2427460 |   488182 |    13583     90 |        0 |        0
327.24/327.34	c  327s |      19 |  2448808 |   491282 |    13583     91 |        0 |        0
329.24/329.38	c  329s |      19 |  2466160 |   494482 |    13583     91 |        0 |        0
331.34/331.42	c  331s |      19 |  2470470 |   496882 |    13583     91 |        0 |        0
333.34/333.44	c  333s |      19 |  2486118 |   499182 |    13583     92 |        0 |        0
335.34/335.47	c  335s |      19 |  2500225 |   502382 |    13583     92 |        0 |        0
337.44/337.50	c  337s |      19 |  2508600 |   505382 |    13583     93 |        0 |        0
339.44/339.54	c  339s |      19 |  2518085 |   508382 |    13583     93 |        0 |        0
341.54/341.60	c  341s |      19 |  2526622 |   511182 |    13583     94 |        0 |        0
343.54/343.62	c  343s |      19 |  2532051 |   513982 |    13583     94 |        0 |        0
345.64/345.70	c  345s |      19 |  2535142 |   516482 |    13583     94 |        0 |        0
347.64/347.75	c  347s |      19 |  2537965 |   518882 |    13583     95 |        0 |        0
349.75/349.82	c  349s |      19 |  2541512 |   521482 |    13583     95 |        0 |        0
351.84/351.90	c  351s |      19 |  2545023 |   523982 |    13583     95 |        0 |        0
353.84/353.92	c  353s |      19 |  2548667 |   525382 |    13583     96 |        0 |        0
355.84/355.97	c  355s |      19 |  2552145 |   527682 |    13583     96 |        0 |        0
357.94/358.00	c  357s |      19 |  2555005 |   528382 |    13583     96 |        0 |        0
359.94/360.03	c  359s |      19 |  2570002 |   530982 |    13583     96 |        0 |        0
362.03/362.17	c  362s |      19 |  2578853 |   533382 |    13583     97 |        0 |        0
364.04/364.18	c  364s |      19 |  2584102 |   535682 |    13583     97 |        0 |        0
366.04/366.18	c  366s |      19 |  2600007 |   538182 |    13583     97 |        0 |        0
368.13/368.21	c  368s |      19 |  2606768 |   540582 |    13583     98 |        0 |        0
370.13/370.23	c  370s |      19 |  2618814 |   543582 |    13583     98 |        0 |        0
372.13/372.26	c  372s |      19 |  2628956 |   546182 |    13583     99 |        0 |        0
374.23/374.31	c  374s |      19 |  2634688 |   548782 |    13583     99 |        0 |        0
376.24/376.35	c  376s |      19 |  2639939 |   551482 |    13583     99 |        0 |        0
378.34/378.42	c  378s |      19 |  2644566 |   554182 |    13583    100 |        0 |        0
380.34/380.49	c  380s |      19 |  2651537 |   556882 |    13583    100 |        0 |        0
382.43/382.57	c  382s |      19 |  2657883 |   559182 |    13583    100 |        0 |        0
384.43/384.58	c  384s |      19 |  2667576 |   561582 |    13583    101 |        0 |        0
386.83/387.00	c  386s |      19 |  2670953 |   563282 |    13583    101 |        0 |        0
388.94/389.01	c  388s |      19 |  2677289 |   565582 |    13583    101 |        0 |        0
390.93/391.01	c  390s |      19 |  2691245 |   568182 |    13583    102 |        0 |        0
392.93/393.02	c  392s |      19 |  2701896 |   570582 |    13583    102 |        0 |        0
395.03/395.10	c  394s |      19 |  2709351 |   573082 |    13583    102 |        0 |        0
397.04/397.11	c  397s |      19 |  2715875 |   575582 |    13583    103 |        0 |        0
399.13/399.20	c  399s |      19 |  2720880 |   578082 |    13583    103 |        0 |        0
401.63/401.73	c  401s |      19 |  2731302 |   580082 |    13583    103 |        0 |        0
403.64/403.74	c  403s |      19 |  2747573 |   583082 |    13583    104 |        0 |        0
405.73/405.80	c  405s |      19 |  2762536 |   585982 |    13583    104 |        0 |        0
407.73/407.86	c  407s |      19 |  2768976 |   588482 |    13583    105 |        0 |        0
409.83/409.90	c  409s |      19 |  2778712 |   590782 |    13583    105 |        0 |        0
411.83/411.94	c  411s |      19 |  2788955 |   593682 |    13583    105 |        0 |        0
413.83/413.96	c  413s |      19 |  2795280 |   596082 |    13583    106 |        0 |        0
415.93/416.04	c  415s |      19 |  2814891 |   599182 |    13583    106 |        0 |        0
417.94/418.09	c  417s |      19 |  2841146 |   602382 |    13583    107 |        0 |        0
419.93/420.09	c  419s |      19 |  2880982 |   605882 |    13583    107 |        0 |        0
422.03/422.12	c  422s |      19 |  2899404 |   608882 |    13583    108 |        0 |        0
424.03/424.17	c  424s |      19 |  2918004 |   612082 |    13583    108 |        0 |        0
426.03/426.17	c  426s |      19 |  2929123 |   614782 |    13583    108 |        0 |        0
428.03/428.18	c  428s |      19 |  2941190 |   617182 |    13583    109 |        0 |        0
430.13/430.21	c  430s |      19 |  2951234 |   620082 |    13583    109 |        0 |        0
432.12/432.21	c  432s |      19 |  2964570 |   622982 |    13583    110 |        0 |        0
434.12/434.21	c  434s |      19 |  2974516 |   626082 |    13583    110 |        0 |        0
436.82/436.92	c  436s |      19 |  2981822 |   628282 |    13583    110 |        0 |        0
438.83/438.95	c  438s |      19 |  2994123 |   630682 |    13583    111 |        0 |        0
440.82/440.96	c  440s |      19 |  3016810 |   633882 |    13583    111 |        0 |        0
442.92/443.00	c  442s |      19 |  3028221 |   636882 |    13583    112 |        0 |        0
444.93/445.05	c  444s |      19 |  3052564 |   640182 |    13583    112 |        0 |        0
446.93/447.08	c  446s |      19 |  3070731 |   642982 |    13583    113 |        0 |        0
449.03/449.12	c  449s |      19 |  3077834 |   645682 |    13583    113 |        0 |        0
451.03/451.16	c  451s |      19 |  3096846 |   649082 |    13583    113 |        0 |        0
453.13/453.22	c  453s |      19 |  3111549 |   652182 |    13583    114 |        0 |        0
455.13/455.26	c  455s |      19 |  3119343 |   654482 |    13583    114 |        0 |        0
457.22/457.30	c  457s |      19 |  3129991 |   656582 |    13583    115 |        0 |        0
459.22/459.35	c  459s |      19 |  3155210 |   659082 |    13583    115 |        0 |        0
461.32/461.42	c  461s |      19 |  3176048 |   661982 |    13583    115 |        0 |        0
463.32/463.43	c  463s |      19 |  3192715 |   664782 |    14942    116 |        0 |        0
464.72/464.80	c  464s |      20 |  3212731 |   666827 |    14942    116 |        0 |        0
466.72/466.86	c  466s |      20 |  3232363 |   668427 |    14942    116 |        0 |        0
468.71/468.90	c  468s |      20 |  3254047 |   671927 |    14942    116 |        0 |        0
470.83/470.92	c  470s |      20 |  3263063 |   674627 |    14942    117 |        0 |        0
472.82/473.00	c  472s |      20 |  3277944 |   677827 |    14942    117 |        0 |        0
474.92/475.05	c  474s |      20 |  3288783 |   680627 |    14942    118 |        0 |        0
476.92/477.07	c  476s |      20 |  3305545 |   683827 |    14942    118 |        0 |        0
479.02/479.12	c  479s |      20 |  3314590 |   686827 |    14942    118 |        0 |        0
481.92/482.05	c  481s |      20 |  3322794 |   689627 |    14942    119 |        0 |        0
483.92/484.07	c  483s |      20 |  3329931 |   693627 |    14942    119 |        0 |        0
485.92/486.07	c  485s |      20 |  3354604 |   696727 |    14942    120 |        0 |        0
487.92/488.07	c  487s |      20 |  3366353 |   699527 |    14942    120 |        0 |        0
490.02/490.13	c  490s |      20 |  3371578 |   702127 |    14942    120 |        0 |        0
492.12/492.21	c  492s |      20 |  3379583 |   704627 |    14942    121 |        0 |        0
494.12/494.22	c  494s |      20 |  3390484 |   707527 |    14942    121 |        0 |        0
496.12/496.25	c  496s |      20 |  3395002 |   710127 |    14942    121 |        0 |        0
498.12/498.29	c  498s |      20 |  3403114 |   712927 |    14942    122 |        0 |        0
500.21/500.34	c  500s |      20 |  3408708 |   715527 |    14942    122 |        0 |        0
502.31/502.45	c  502s |      20 |  3415647 |   718227 |    14942    123 |        0 |        0
504.41/504.51	c  504s |      20 |  3423244 |   721327 |    14942    123 |        0 |        0
506.42/506.53	c  506s |      20 |  3434407 |   723627 |    14942    123 |        0 |        0
508.42/508.57	c  508s |      20 |  3440541 |   726127 |    14942    124 |        0 |        0
510.51/510.64	c  510s |      20 |  3449952 |   728927 |    14942    124 |        0 |        0
512.52/512.65	c  512s |      20 |  3460665 |   731827 |    14942    124 |        0 |        0
514.61/514.70	c  514s |      20 |  3470786 |   733727 |    14942    125 |        0 |        0
516.61/516.76	c  516s |      20 |  3479558 |   736327 |    14942    125 |        0 |        0
518.61/518.76	c  518s |      20 |  3496195 |   738527 |    14942    125 |        0 |        0
520.71/520.81	c  520s |      20 |  3514592 |   741527 |    14942    126 |        0 |        0
522.71/522.85	c  522s |      20 |  3525739 |   744427 |    14942    126 |        0 |        0
524.72/524.87	c  524s |      20 |  3536048 |   747327 |    14942    126 |        0 |        0
526.82/526.92	c  526s |      20 |  3545210 |   750127 |    14942    127 |        0 |        0
528.80/528.96	c  528s |      20 |  3548665 |   752227 |    14942    127 |        0 |        0
530.91/531.01	c  530s |      20 |  3555692 |   754827 |    14942    127 |        0 |        0
533.01/533.11	c  533s |      20 |  3565490 |   757327 |    14942    128 |        0 |        0
535.01/535.11	c  535s |      20 |  3575280 |   758427 |    14942    128 |        0 |        0
537.01/537.14	c  537s |      20 |  3605241 |   761827 |    14942    128 |        0 |        0
539.02/539.17	c  539s |      20 |  3623274 |   764627 |    14942    129 |        0 |        0
541.12/541.22	c  541s |      20 |  3634495 |   767827 |    14942    129 |        0 |        0
543.11/543.26	c  543s |      20 |  3646086 |   770727 |    14942    129 |        0 |        0
545.11/545.29	c  545s |      20 |  3660038 |   773127 |    14942    130 |        0 |        0
547.21/547.34	c  547s |      20 |  3669935 |   776127 |    14942    130 |        0 |        0
549.21/549.38	c  549s |      20 |  3690179 |   778927 |    14942    131 |        0 |        0
551.31/551.41	c  551s |      20 |  3700516 |   781727 |    14942    131 |        0 |        0
553.31/553.44	c  553s |      20 |  3709978 |   784627 |    14942    131 |        0 |        0
555.41/555.51	c  555s |      20 |  3720162 |   787427 |    14942    132 |        0 |        0
557.41/557.59	c  557s |      20 |  3729481 |   790127 |    14942    132 |        0 |        0
559.51/559.66	c  559s |      20 |  3737688 |   792827 |    14942    132 |        0 |        0
562.81/562.90	c  562s |      20 |  3740849 |   794227 |    14942    133 |        0 |        0
564.80/564.94	c  564s |      20 |  3754396 |   796327 |    14942    133 |        0 |        0
566.80/566.96	c  566s |      20 |  3766494 |   799027 |    14942    133 |        0 |        0
569.00/569.16	c  569s |      20 |  3783905 |   801827 |    14942    134 |        0 |        0
571.00/571.19	c  571s |      20 |  3791392 |   804327 |    14942    134 |        0 |        0
573.11/573.22	c  573s |      20 |  3797358 |   806827 |    14942    134 |        0 |        0
575.11/575.29	c  575s |      20 |  3804346 |   809327 |    14942    134 |        0 |        0
577.21/577.30	c  577s |      20 |  3810225 |   811427 |    14942    135 |        0 |        0
579.20/579.32	c  579s |      20 |  3813989 |   813127 |    14942    135 |        0 |        0
581.20/581.33	c  581s |      20 |  3834894 |   815827 |    14942    135 |        0 |        0
583.21/583.34	c  583s |      20 |  3843395 |   818127 |    14942    136 |        0 |        0
585.21/585.39	c  585s |      20 |  3855630 |   820827 |    14942    136 |        0 |        0
587.31/587.42	c  587s |      20 |  3861750 |   822927 |    14942    136 |        0 |        0
589.30/589.47	c  589s |      20 |  3866722 |   824927 |    14942    137 |        0 |        0
591.40/591.56	c  591s |      20 |  3870234 |   827127 |    14942    137 |        0 |        0
593.50/593.68	c  593s |      20 |  3874737 |   829127 |    14942    137 |        0 |        0
595.60/595.77	c  595s |      20 |  3882273 |   831627 |    14942    137 |        0 |        0
597.70/597.81	c  597s |      20 |  3886562 |   832827 |    14942    138 |        0 |        0
599.70/599.87	c  599s |      20 |  3895043 |   835427 |    14942    138 |        0 |        0
601.80/601.99	c  601s |      20 |  3900001 |   837727 |    14942    138 |        0 |        0
603.90/604.05	c  603s |      20 |  3904104 |   839727 |    14942    139 |        0 |        0
606.01/606.10	c  606s |      20 |  3910108 |   842227 |    14942    139 |        0 |        0
608.00/608.17	c  608s |      20 |  3914000 |   844527 |    14942    139 |        0 |        0
610.19/610.30	c  610s |      20 |  3916458 |   846327 |    14942    139 |        0 |        0
612.19/612.31	c  612s |      20 |  3917661 |   847127 |    14942    139 |        0 |        0
614.19/614.31	c  614s |      20 |  3922563 |   850027 |    14942    140 |        0 |        0
616.20/616.31	c  616s |      20 |  3927576 |   852827 |    14942    140 |        0 |        0
618.40/618.55	c  618s |      20 |  3930080 |   854427 |    14942    140 |        0 |        0
620.50/620.62	c  620s |      20 |  3937953 |   857327 |    14942    141 |        0 |        0
622.50/622.70	c  622s |      20 |  3943521 |   860427 |    14942    141 |        0 |        0
624.60/624.72	c  624s |      20 |  3946821 |   862727 |    14942    142 |        0 |        0
626.60/626.76	c  626s |      20 |  3954647 |   865427 |    14942    142 |        0 |        0
628.69/628.81	c  628s |      20 |  3964097 |   868127 |    14942    142 |        0 |        0
630.69/630.83	c  630s |      20 |  3970910 |   870327 |    14942    143 |        0 |        0
632.79/632.92	c  632s |      20 |  3977001 |   872427 |    14942    143 |        0 |        0
634.79/634.98	c  634s |      20 |  3983647 |   874727 |    14942    143 |        0 |        0
636.90/637.07	c  636s |      20 |  3989042 |   876927 |    14942    143 |        0 |        0
639.01/639.13	c  639s |      20 |  3993956 |   879127 |    14942    144 |        0 |        0
641.09/641.23	c  641s |      20 |  3997428 |   881427 |    14942    144 |        0 |        0
643.09/643.23	c  643s |      20 |  4002763 |   883027 |    14942    144 |        0 |        0
645.09/645.29	c  645s |      20 |  4008971 |   885627 |    14942    145 |        0 |        0
647.19/647.36	c  647s |      20 |  4015290 |   888427 |    14942    145 |        0 |        0
649.29/649.40	c  649s |      20 |  4022128 |   891227 |    14942    145 |        0 |        0
651.29/651.45	c  651s |      20 |  4027374 |   893927 |    14942    146 |        0 |        0
653.29/653.46	c  653s |      20 |  4032087 |   896627 |    14942    146 |        0 |        0
655.39/655.52	c  655s |      20 |  4040823 |   899327 |    14942    146 |        0 |        0
657.39/657.56	c  657s |      20 |  4044443 |   901527 |    14942    147 |        0 |        0
659.39/659.58	c  659s |      20 |  4049653 |   904127 |    14942    147 |        0 |        0
661.49/661.61	c  661s |      20 |  4054445 |   906627 |    14942    147 |        0 |        0
663.89/664.03	c  663s |      20 |  4056455 |   907927 |    14942    147 |        0 |        0
665.89/666.06	c  665s |      20 |  4063493 |   909727 |    14942    148 |        0 |        0
667.89/668.09	c  667s |      20 |  4068377 |   912427 |    14942    148 |        0 |        0
669.99/670.11	c  670s |      20 |  4076215 |   915227 |    14942    148 |        0 |        0
672.00/672.16	c  672s |      20 |  4084834 |   917727 |    14942    149 |        0 |        0
674.09/674.21	c  674s |      20 |  4090655 |   920327 |    14942    149 |        0 |        0
676.09/676.23	c  676s |      20 |  4093859 |   922727 |    14942    149 |        0 |        0
678.19/678.30	c  678s |      20 |  4099290 |   924427 |    14942    150 |        0 |        0
680.19/680.34	c  680s |      20 |  4104564 |   927227 |    14942    150 |        0 |        0
682.29/682.40	c  682s |      20 |  4107919 |   929727 |    14942    150 |        0 |        0
684.29/684.41	c  684s |      20 |  4113421 |   932027 |    14942    151 |        0 |        0
686.29/686.41	c  686s |      20 |  4120077 |   934727 |    14942    151 |        0 |        0
688.28/688.44	c  688s |      20 |  4126113 |   937227 |    14942    151 |        0 |        0
690.28/690.48	c  690s |      20 |  4131631 |   939627 |    14942    152 |        0 |        0
692.29/692.48	c  692s |      20 |  4139696 |   941827 |    14942    152 |        0 |        0
694.29/694.49	c  694s |      20 |  4145629 |   944327 |    14942    152 |        0 |        0
696.39/696.56	c  696s |      20 |  4156297 |   946727 |    14942    153 |        0 |        0
698.49/698.62	c  698s |      20 |  4159083 |   947327 |    14942    153 |        0 |        0
700.48/700.63	c  700s |      20 |  4169346 |   950227 |    14942    153 |        0 |        0
702.49/702.68	c  702s |      20 |  4180186 |   952227 |    14942    153 |        0 |        0
704.78/704.97	c  704s |      20 |  4189356 |   954727 |    14942    154 |        0 |        0
706.78/706.98	c  706s |      20 |  4215533 |   958227 |    14942    154 |        0 |        0
708.89/709.04	c  708s |      20 |  4236900 |   961527 |    14942    154 |        0 |        0
710.89/711.07	c  710s |      20 |  4247553 |   964227 |    14942    155 |        0 |        0
712.98/713.13	c  713s |      20 |  4255946 |   967127 |    14942    155 |        0 |        0
714.99/715.13	c  715s |      20 |  4272002 |   970027 |    14942    156 |        0 |        0
716.98/717.16	c  717s |      20 |  4286884 |   972927 |    14942    156 |        0 |        0
718.98/719.18	c  719s |      20 |  4292424 |   975427 |    14942    156 |        0 |        0
721.08/721.21	c  721s |      20 |  4296476 |   977727 |    14942    157 |        0 |        0
723.08/723.22	c  723s |      20 |  4304131 |   980127 |    14942    157 |        0 |        0
725.08/725.28	c  725s |      20 |  4306401 |   980727 |    14942    157 |        0 |        0
727.09/727.29	c  727s |      20 |  4320114 |   983527 |    14942    157 |        0 |        0
729.19/729.35	c  729s |      20 |  4326792 |   986027 |    14942    158 |        0 |        0
731.17/731.38	c  731s |      20 |  4332476 |   988927 |    14942    158 |        0 |        0
733.17/733.39	c  733s |      20 |  4338201 |   991527 |    14942    158 |        0 |        0
735.27/735.41	c  735s |      20 |  4343540 |   992827 |    14942    159 |        0 |        0
737.28/737.45	c  737s |      20 |  4353316 |   995827 |    16437    159 |        0 |        0
739.28/739.48	c  739s |      20 |  4359680 |   998627 |    16437    159 |        0 |        0
740.58/740.77	c  740s |      21 |  4366119 |  1000345 |    16437    159 |        0 |        0
742.67/742.82	c  742s |      21 |  4376045 |  1002145 |    16437    160 |        0 |        0
744.68/744.85	c  744s |      21 |  4390837 |  1005345 |    16437    160 |        0 |        0
746.67/746.88	c  746s |      21 |  4416537 |  1008145 |    16437    160 |        0 |        0
748.77/748.95	c  748s |      21 |  4439059 |  1010845 |    16437    161 |        0 |        0
750.77/750.96	c  750s |      21 |  4459527 |  1013945 |    16437    161 |        0 |        0
752.87/753.00	c  752s |      21 |  4480018 |  1016645 |    16437    161 |        0 |        0
754.86/755.02	c  754s |      21 |  4493969 |  1018645 |    16437    162 |        0 |        0
756.86/757.08	c  756s |      21 |  4513159 |  1021645 |    16437    162 |        0 |        0
758.98/759.15	c  759s |      21 |  4526560 |  1024545 |    16437    162 |        0 |        0
760.97/761.15	c  761s |      21 |  4533946 |  1026745 |    16437    163 |        0 |        0
762.96/763.18	c  763s |      21 |  4543943 |  1028145 |    16437    163 |        0 |        0
765.06/765.22	c  765s |      21 |  4555763 |  1031145 |    16437    163 |        0 |        0
767.07/767.24	c  767s |      21 |  4563162 |  1033745 |    16437    163 |        0 |        0
769.37/769.53	c  769s |      21 |  4572595 |  1036045 |    16437    164 |        0 |        0
771.36/771.57	c  771s |      21 |  4583458 |  1037645 |    16437    164 |        0 |        0
773.36/773.58	c  773s |      21 |  4602275 |  1040845 |    16437    164 |        0 |        0
775.47/775.63	c  775s |      21 |  4610626 |  1043445 |    16437    165 |        0 |        0
777.46/777.69	c  777s |      21 |  4621851 |  1046145 |    16437    165 |        0 |        0
779.56/779.74	c  779s |      21 |  4630625 |  1048945 |    16437    165 |        0 |        0
781.66/781.83	c  781s |      21 |  4637936 |  1051345 |    16437    166 |        0 |        0
783.66/783.84	c  783s |      21 |  4649972 |  1055045 |    16437    166 |        0 |        0
785.65/785.89	c  785s |      21 |  4654651 |  1058045 |    16437    166 |        0 |        0
787.75/787.95	c  787s |      21 |  4662338 |  1060245 |    16437    167 |        0 |        0
789.76/789.96	c  789s |      21 |  4672571 |  1063045 |    16437    167 |        0 |        0
791.86/792.04	c  791s |      21 |  4679885 |  1065645 |    16437    167 |        0 |        0
793.85/794.06	c  793s |      21 |  4687747 |  1067945 |    16437    167 |        0 |        0
795.95/796.12	c  796s |      21 |  4694610 |  1070345 |    16437    168 |        0 |        0
797.94/798.16	c  798s |      21 |  4699373 |  1072845 |    16437    168 |        0 |        0
799.94/800.19	c  800s |      21 |  4702763 |  1075245 |    16437    168 |        0 |        0
802.24/802.47	c  802s |      21 |  4705271 |  1076445 |    16437    169 |        0 |        0
804.25/804.48	c  804s |      21 |  4711514 |  1079145 |    16437    169 |        0 |        0
806.34/806.52	c  806s |      21 |  4721919 |  1081845 |    16437    169 |        0 |        0
808.35/808.54	c  808s |      21 |  4727028 |  1083945 |    16437    169 |        0 |        0
810.34/810.55	c  810s |      21 |  4731556 |  1086145 |    16437    170 |        0 |        0
812.44/812.61	c  812s |      21 |  4735723 |  1088545 |    16437    170 |        0 |        0
814.44/814.64	c  814s |      21 |  4744279 |  1091145 |    16437    170 |        0 |        0
816.44/816.65	c  816s |      21 |  4752914 |  1093445 |    16437    171 |        0 |        0
818.44/818.65	c  818s |      21 |  4758610 |  1096045 |    16437    171 |        0 |        0
820.54/820.71	c  820s |      21 |  4764945 |  1098345 |    16437    171 |        0 |        0
822.53/822.71	c  822s |      21 |  4767284 |  1100245 |    16437    171 |        0 |        0
824.64/824.82	c  824s |      21 |  4770335 |  1102245 |    16437    172 |        0 |        0
827.64/827.84	c  827s |      21 |  4771956 |  1103545 |    16437    172 |        0 |        0
829.64/829.84	c  829s |      21 |  4775172 |  1103945 |    16437    172 |        0 |        0
831.63/831.88	c  831s |      21 |  4803119 |  1107545 |    16437    172 |        0 |        0
833.74/833.94	c  833s |      21 |  4821825 |  1109945 |    16437    173 |        0 |        0
835.73/835.99	c  835s |      21 |  4845267 |  1112845 |    16437    173 |        0 |        0
837.83/838.05	c  837s |      21 |  4866173 |  1115745 |    16437    173 |        0 |        0
839.83/840.05	c  839s |      21 |  4887873 |  1118245 |    16437    174 |        0 |        0
842.13/842.37	c  842s |      21 |  4898889 |  1119845 |    16437    174 |        0 |        0
844.23/844.42	c  844s |      21 |  4929797 |  1123045 |    16437    174 |        0 |        0
846.22/846.45	c  846s |      21 |  4945028 |  1125945 |    16437    174 |        0 |        0
848.32/848.53	c  848s |      21 |  4962498 |  1128245 |    16437    175 |        0 |        0
850.33/850.59	c  850s |      21 |  4984526 |  1131345 |    16437    175 |        0 |        0
852.44/852.66	c  852s |      21 |  5001760 |  1134145 |    16437    175 |        0 |        0
854.73/854.95	c  854s |      21 |  5012013 |  1135945 |    16437    176 |        0 |        0
856.83/857.01	c  856s |      21 |  5047594 |  1139545 |    16437    176 |        0 |        0
858.82/859.02	c  858s |      21 |  5063704 |  1142445 |    16437    176 |        0 |        0
860.82/861.05	c  860s |      21 |  5080956 |  1144645 |    16437    177 |        0 |        0
862.92/863.12	c  863s |      21 |  5099672 |  1147945 |    16437    177 |        0 |        0
864.92/865.13	c  865s |      21 |  5118734 |  1150645 |    16437    177 |        0 |        0
867.02/867.22	c  867s |      21 |  5142815 |  1153245 |    16437    178 |        0 |        0
869.12/869.30	c  869s |      21 |  5164045 |  1156145 |    16437    178 |        0 |        0
871.12/871.34	c  871s |      21 |  5177874 |  1158745 |    16437    178 |        0 |        0
873.12/873.39	c  873s |      21 |  5198070 |  1161045 |    16437    179 |        0 |        0
875.22/875.41	c  875s |      21 |  5219717 |  1163845 |    16437    179 |        0 |        0
877.21/877.47	c  877s |      21 |  5246363 |  1166745 |    16437    179 |        0 |        0
879.31/879.50	c  879s |      21 |  5262666 |  1169245 |    16437    180 |        0 |        0
881.31/881.54	c  881s |      21 |  5288387 |  1170845 |    16437    180 |        0 |        0
883.31/883.56	c  883s |      21 |  5310755 |  1173945 |    16437    180 |        0 |        0
885.32/885.59	c  885s |      21 |  5323327 |  1176445 |    16437    181 |        0 |        0
887.41/887.62	c  887s |      21 |  5335512 |  1179745 |    16437    181 |        0 |        0
889.41/889.69	c  889s |      21 |  5349733 |  1182645 |    16437    181 |        0 |        0
891.51/891.74	c  891s |      21 |  5361199 |  1185445 |    16437    182 |        0 |        0
893.51/893.79	c  893s |      21 |  5371782 |  1188245 |    16437    182 |        0 |        0
895.60/895.83	c  895s |      21 |  5375578 |  1190545 |    16437    182 |        0 |        0
897.61/897.89	c  897s |      21 |  5381267 |  1193045 |    16437    183 |        0 |        0
899.71/899.94	c  899s |      21 |  5393262 |  1196045 |    16437    183 |        0 |        0
901.70/901.98	c  901s |      21 |  5398865 |  1198845 |    16437    183 |        0 |        0
903.80/904.05	c  903s |      21 |  5406624 |  1201245 |    16437    183 |        0 |        0
905.91/906.15	c  906s |      21 |  5409587 |  1203445 |    16437    184 |        0 |        0
907.91/908.15	c  908s |      21 |  5412559 |  1205745 |    16437    184 |        0 |        0
909.90/910.18	c  910s |      21 |  5415899 |  1206945 |    16437    184 |        0 |        0
912.00/912.21	c  912s |      21 |  5423449 |  1209645 |    16437    184 |        0 |        0
914.01/914.28	c  914s |      21 |  5426549 |  1211045 |    16437    185 |        0 |        0
916.00/916.30	c  916s |      21 |  5432922 |  1214045 |    16437    185 |        0 |        0
918.10/918.37	c  918s |      21 |  5438247 |  1216645 |    16437    185 |        0 |        0
920.19/920.46	c  920s |      21 |  5442233 |  1218945 |    16437    186 |        0 |        0
922.30/922.54	c  922s |      21 |  5444886 |  1221145 |    16437    186 |        0 |        0
924.40/924.60	c  924s |      21 |  5454193 |  1223345 |    16437    186 |        0 |        0
926.40/926.65	c  926s |      21 |  5460687 |  1225845 |    16437    186 |        0 |        0
928.39/928.66	c  928s |      21 |  5464276 |  1228045 |    16437    187 |        0 |        0
930.50/930.72	c  930s |      21 |  5468671 |  1230745 |    16437    187 |        0 |        0
932.48/932.74	c  932s |      21 |  5475512 |  1233145 |    16437    187 |        0 |        0
934.48/934.78	c  934s |      21 |  5478516 |  1235045 |    16437    188 |        0 |        0
937.19/937.41	c  937s |      21 |  5482567 |  1237045 |    16437    188 |        0 |        0
939.19/939.42	c  939s |      21 |  5492291 |  1239845 |    16437    188 |        0 |        0
941.18/941.42	c  941s |      21 |  5497586 |  1242345 |    16437    188 |        0 |        0
943.19/943.46	c  943s |      21 |  5502786 |  1244945 |    16437    189 |        0 |        0
945.28/945.53	c  945s |      21 |  5511043 |  1247845 |    16437    189 |        0 |        0
947.38/947.60	c  947s |      21 |  5517763 |  1250445 |    16437    189 |        0 |        0
949.38/949.61	c  949s |      21 |  5523261 |  1252645 |    16437    190 |        0 |        0
951.39/951.64	c  951s |      21 |  5534171 |  1255645 |    16437    190 |        0 |        0
953.38/953.66	c  953s |      21 |  5537137 |  1257845 |    16437    190 |        0 |        0
955.48/955.75	c  955s |      21 |  5540657 |  1260045 |    16437    191 |        0 |        0
957.57/957.83	c  957s |      21 |  5545610 |  1262545 |    16437    191 |        0 |        0
959.57/959.85	c  959s |      21 |  5550339 |  1264945 |    16437    191 |        0 |        0
961.57/961.88	c  961s |      21 |  5553252 |  1267045 |    16437    191 |        0 |        0
963.67/963.92	c  963s |      21 |  5557343 |  1269045 |    16437    192 |        0 |        0
965.67/965.96	c  965s |      21 |  5560082 |  1271145 |    16437    192 |        0 |        0
967.78/968.01	c  967s |      21 |  5562889 |  1273645 |    16437    192 |        0 |        0
969.88/970.10	c  970s |      21 |  5567161 |  1275645 |    16437    192 |        0 |        0
971.87/972.16	c  972s |      21 |  5570486 |  1277645 |    16437    193 |        0 |        0
973.87/974.18	c  974s |      21 |  5573190 |  1279745 |    16437    193 |        0 |        0
975.97/976.20	c  976s |      21 |  5575644 |  1281645 |    16437    193 |        0 |        0
977.97/978.25	c  978s |      21 |  5578783 |  1283545 |    16437    193 |        0 |        0
979.97/980.28	c  980s |      21 |  5580700 |  1285145 |    16437    194 |        0 |        0
982.17/982.46	c  982s |      21 |  5582561 |  1286845 |    16437    194 |        0 |        0
984.27/984.50	c  984s |      21 |  5586558 |  1288645 |    16437    194 |        0 |        0
989.46/989.78	c  989s |      21 |  5589548 |  1289545 |    16437    194 |        0 |        0
991.56/991.83	c  991s |      21 |  5598708 |  1290545 |    16437    194 |        0 |        0
993.66/993.96	c  993s |      21 |  5620432 |  1293245 |    16437    195 |        0 |        0
995.66/996.00	c  995s |      21 |  5639613 |  1296045 |    16437    195 |        0 |        0
997.76/998.01	c  997s |      21 |  5657187 |  1298745 |    16437    195 |        0 |        0
999.77/1000.02	c  999s |      21 |  5668664 |  1300245 |    16437    195 |        0 |        0
1001.76/1002.05	c 1001s |      21 |  5692964 |  1302645 |    16437    196 |        0 |        0
1003.76/1004.08	c 1003s |      21 |  5704841 |  1305345 |    16437    196 |        0 |        0
1005.86/1006.12	c 1006s |      21 |  5734967 |  1307645 |    16437    196 |        0 |        0
1007.96/1008.26	c 1008s |      21 |  5769536 |  1310245 |    16437    197 |        0 |        0
1010.06/1010.30	c 1010s |      21 |  5781876 |  1313045 |    16437    197 |        0 |        0
1012.05/1012.34	c 1012s |      21 |  5794001 |  1315545 |    16437    197 |        0 |        0
1014.06/1014.38	c 1014s |      21 |  5809483 |  1318045 |    16437    197 |        0 |        0
1016.16/1016.42	c 1016s |      21 |  5829709 |  1320645 |    16437    198 |        0 |        0
1018.15/1018.48	c 1018s |      21 |  5844914 |  1323045 |    16437    198 |        0 |        0
1020.25/1020.51	c 1020s |      21 |  5847832 |  1324945 |    16437    198 |        0 |        0
1022.25/1022.57	c 1022s |      21 |  5852477 |  1326845 |    16437    199 |        0 |        0
1024.25/1024.59	c 1024s |      21 |  5856880 |  1328945 |    16437    199 |        0 |        0
1026.35/1026.60	c 1026s |      21 |  5858991 |  1330745 |    16437    199 |        0 |        0
1028.36/1028.62	c 1028s |      21 |  5861500 |  1332745 |    16437    199 |        0 |        0
1030.35/1030.62	c 1030s |      21 |  5863687 |  1333445 |    16437    199 |        0 |        0
1032.35/1032.65	c 1032s |      21 |  5875901 |  1335845 |    16437    200 |        0 |        0
1034.45/1034.70	c 1034s |      21 |  5884398 |  1338545 |    16437    200 |        0 |        0
1036.44/1036.75	c 1036s |      21 |  5892464 |  1340845 |    16437    200 |        0 |        0
1038.54/1038.83	c 1038s |      21 |  5899121 |  1342945 |    16437    200 |        0 |        0
1040.55/1040.87	c 1040s |      21 |  5907869 |  1345345 |    16437    201 |        0 |        0
1042.65/1042.91	c 1042s |      21 |  5913426 |  1347445 |    16437    201 |        0 |        0
1044.64/1044.92	c 1044s |      21 |  5915243 |  1349145 |    16437    201 |        0 |        0
1047.05/1047.39	c 1047s |      21 |  5925878 |  1350845 |    16437    201 |        0 |        0
1049.15/1049.49	c 1049s |      21 |  5944458 |  1353245 |    16437    202 |        0 |        0
1051.24/1051.53	c 1051s |      21 |  5954298 |  1355745 |    16437    202 |        0 |        0
1053.73/1054.01	c 1053s |      21 |  5959220 |  1357345 |    16437    202 |        0 |        0
1055.74/1056.08	c 1055s |      21 |  5979356 |  1359745 |    16437    203 |        0 |        0
1057.73/1058.09	c 1057s |      21 |  5991509 |  1362045 |    16437    203 |        0 |        0
1059.83/1060.14	c 1060s |      21 |  6010247 |  1365145 |    16437    203 |        0 |        0
1061.83/1062.19	c 1062s |      21 |  6029578 |  1367845 |    16437    203 |        0 |        0
1063.93/1064.20	c 1064s |      21 |  6040823 |  1369945 |    16437    204 |        0 |        0
1065.93/1066.22	c 1066s |      21 |  6065964 |  1372945 |    16437    204 |        0 |        0
1067.94/1068.29	c 1068s |      21 |  6094399 |  1375845 |    16437    204 |        0 |        0
1070.04/1070.35	c 1070s |      21 |  6103496 |  1378645 |    16437    205 |        0 |        0
1072.03/1072.37	c 1072s |      21 |  6117586 |  1380945 |    16437    205 |        0 |        0
1074.13/1074.46	c 1074s |      21 |  6126276 |  1383245 |    16437    205 |        0 |        0
1076.22/1076.54	c 1076s |      21 |  6131668 |  1385245 |    16437    206 |        0 |        0
1078.33/1078.61	c 1078s |      21 |  6135491 |  1387445 |    16437    206 |        0 |        0
1080.33/1080.69	c 1080s |      21 |  6141732 |  1388345 |    16437    206 |        0 |        0
1082.42/1082.71	c 1082s |      21 |  6165070 |  1391145 |    16437    206 |        0 |        0
1084.43/1084.72	c 1084s |      21 |  6174767 |  1393245 |    16437    207 |        0 |        0
1086.42/1086.76	c 1086s |      21 |  6184657 |  1395545 |    16437    207 |        0 |        0
1088.52/1088.88	c 1088s |      21 |  6194817 |  1397945 |    16437    207 |        0 |        0
1090.62/1090.91	c 1090s |      21 |  6213024 |  1400145 |    16437    207 |        0 |        0
1092.61/1092.96	c 1092s |      21 |  6225230 |  1402445 |    16437    208 |        0 |        0
1094.62/1095.00	c 1094s |      21 |  6237293 |  1404945 |    16437    208 |        0 |        0
1096.72/1097.00	c 1096s |      21 |  6255399 |  1407845 |    16437    208 |        0 |        0
1098.73/1099.01	c 1098s |      21 |  6275613 |  1410245 |    16437    209 |        0 |        0
1100.72/1101.04	c 1100s |      21 |  6291422 |  1412845 |    16437    209 |        0 |        0
1102.71/1103.06	c 1102s |      21 |  6300484 |  1415045 |    16437    209 |        0 |        0
1104.71/1105.09	c 1104s |      21 |  6322310 |  1417445 |    16437    209 |        0 |        0
1106.81/1107.13	c 1107s |      21 |  6333121 |  1419845 |    16437    210 |        0 |        0
1108.91/1109.21	c 1109s |      21 |  6348421 |  1422545 |    16437    210 |        0 |        0
1110.90/1111.29	c 1111s |      21 |  6359905 |  1424745 |    16437    210 |        0 |        0
1112.92/1113.29	c 1113s |      21 |  6372438 |  1426945 |    16437    211 |        0 |        0
1114.91/1115.29	c 1115s |      21 |  6385032 |  1429545 |    16437    211 |        0 |        0
1117.01/1117.31	c 1117s |      21 |  6393375 |  1431745 |    16437    211 |        0 |        0
1119.01/1119.32	c 1119s |      21 |  6404259 |  1434045 |    16437    211 |        0 |        0
1121.01/1121.33	c 1121s |      21 |  6413332 |  1436345 |    16437    212 |        0 |        0
1123.00/1123.35	c 1123s |      21 |  6418401 |  1438445 |    16437    212 |        0 |        0
1125.00/1125.39	c 1125s |      21 |  6419353 |  1439145 |    16437    212 |        0 |        0
1127.10/1127.42	c 1127s |      21 |  6426495 |  1440945 |    16437    212 |        0 |        0
1129.20/1129.55	c 1129s |      21 |  6431993 |  1442745 |    16437    213 |        0 |        0
1131.29/1131.62	c 1131s |      21 |  6439152 |  1444945 |    16437    213 |        0 |        0
1133.30/1133.69	c 1133s |      21 |  6446493 |  1447045 |    16437    213 |        0 |        0
1135.30/1135.70	c 1135s |      21 |  6452171 |  1449145 |    16437    213 |        0 |        0
1137.40/1137.72	c 1137s |      21 |  6455278 |  1451045 |    16437    213 |        0 |        0
1139.41/1139.76	c 1139s |      21 |  6459622 |  1452845 |    16437    214 |        0 |        0
1141.40/1141.76	c 1141s |      21 |  6464877 |  1454845 |    16437    214 |        0 |        0
1143.40/1143.77	c 1143s |      21 |  6467460 |  1456645 |    16437    214 |        0 |        0
1145.49/1145.85	c 1145s |      21 |  6474991 |  1458845 |    16437    214 |        0 |        0
1147.59/1147.90	c 1147s |      21 |  6481181 |  1460645 |    16437    215 |        0 |        0
1149.59/1149.95	c 1149s |      21 |  6484949 |  1462645 |    16437    215 |        0 |        0
1151.68/1152.05	c 1151s |      21 |  6487513 |  1464345 |    16437    215 |        0 |        0
1153.69/1154.08	c 1153s |      21 |  6490596 |  1466045 |    16437    215 |        0 |        0
1155.79/1156.10	c 1156s |      21 |  6492797 |  1467745 |    16437    215 |        0 |        0
1157.79/1158.18	c 1158s |      21 |  6497919 |  1469745 |    16437    216 |        0 |        0
1159.89/1160.25	c 1160s |      21 |  6501782 |  1471745 |    16437    216 |        0 |        0
1161.98/1162.34	c 1162s |      21 |  6507325 |  1473945 |    16437    216 |        0 |        0
1164.08/1164.42	c 1164s |      21 |  6510981 |  1475845 |    16437    216 |        0 |        0
1166.08/1166.49	c 1166s |      21 |  6515509 |  1477845 |    16437    217 |        0 |        0
1168.18/1168.57	c 1168s |      21 |  6520169 |  1480045 |    16437    217 |        0 |        0
1170.28/1170.64	c 1170s |      21 |  6522792 |  1481945 |    16437    217 |        0 |        0
1172.28/1172.68	c 1172s |      21 |  6525238 |  1483645 |    16437    217 |        0 |        0
1176.27/1176.65	c 1176s |      21 |  6528015 |  1484745 |    16437    218 |        0 |        0
1178.68/1179.09	c 1178s |      21 |  6528199 |  1484845 |    16437    218 |        0 |        0
1180.77/1181.15	c 1181s |      21 |  6542751 |  1487245 |    16437    218 |        0 |        0
1182.78/1183.19	c 1183s |      21 |  6557513 |  1489845 |    16437    218 |        0 |        0
1184.98/1185.30	c 1185s |      21 |  6571342 |  1492245 |    18081    218 |        0 |        0
1187.07/1187.43	c 1187s |      21 |  6585155 |  1494445 |    18081    219 |        0 |        0
1189.07/1189.49	c 1189s |      21 |  6601108 |  1497045 |    18081    219 |        0 |        0
1191.17/1191.60	c 1191s |      21 |  6616116 |  1499745 |    18081    219 |        0 |        0
1191.97/1192.30	c 1192s |      22 |  6624066 |  1500622 |    18081    219 |        0 |        0
1193.97/1194.33	c 1194s |      22 |  6636808 |  1503022 |    18081    219 |        0 |        0
1198.96/1199.36	c 1199s |      22 |  6647263 |  1505222 |    18081    220 |        0 |        0
1201.67/1202.04	c 1201s |      22 |  6668405 |  1506722 |    18081    220 |        0 |        0
1203.67/1204.08	c 1203s |      22 |  6705705 |  1509622 |    18081    220 |        0 |        0
1205.67/1206.08	c 1205s |      22 |  6741778 |  1512322 |    18081    220 |        0 |        0
1207.66/1208.09	c 1207s |      22 |  6766907 |  1515222 |    18081    221 |        0 |        0
1209.67/1210.10	c 1209s |      22 |  6780618 |  1517922 |    18081    221 |        0 |        0
1211.75/1212.17	c 1212s |      22 |  6790279 |  1520322 |    18081    221 |        0 |        0
1213.85/1214.26	c 1214s |      22 |  6792441 |  1522222 |    18081    222 |        0 |        0
1216.56/1216.94	c 1216s |      22 |  6809670 |  1524122 |    18081    222 |        0 |        0
1218.66/1219.00	c 1218s |      22 |  6830139 |  1526722 |    18081    222 |        0 |        0
1220.66/1221.03	c 1220s |      22 |  6853702 |  1529022 |    18081    222 |        0 |        0
1222.65/1223.07	c 1222s |      22 |  6875286 |  1531222 |    18081    223 |        0 |        0
1224.65/1225.07	c 1224s |      22 |  6886160 |  1533722 |    18081    223 |        0 |        0
1226.75/1227.15	c 1227s |      22 |  6905192 |  1536222 |    18081    223 |        0 |        0
1228.75/1229.15	c 1229s |      22 |  6929044 |  1538922 |    18081    223 |        0 |        0
1230.75/1231.19	c 1231s |      22 |  6945274 |  1541522 |    18081    224 |        0 |        0
1232.85/1233.25	c 1233s |      22 |  6960467 |  1544022 |    18081    224 |        0 |        0
1234.96/1235.31	c 1235s |      22 |  6975344 |  1546922 |    18081    224 |        0 |        0
1236.95/1237.39	c 1237s |      22 |  6989017 |  1549122 |    18081    224 |        0 |        0
1239.05/1239.50	c 1239s |      22 |  6992730 |  1551122 |    18081    225 |        0 |        0
1241.15/1241.51	c 1241s |      22 |  7002114 |  1553522 |    18081    225 |        0 |        0
1243.14/1243.51	c 1243s |      22 |  7018622 |  1555822 |    18081    225 |        0 |        0
1245.14/1245.54	c 1245s |      22 |  7027379 |  1557922 |    18081    225 |        0 |        0
1247.15/1247.56	c 1247s |      22 |  7034725 |  1560122 |    18081    226 |        0 |        0
1249.25/1249.62	c 1249s |      22 |  7038103 |  1562022 |    18081    226 |        0 |        0
1251.34/1251.71	c 1251s |      22 |  7040475 |  1563822 |    18081    226 |        0 |        0
1253.53/1253.94	c 1253s |      22 |  7041416 |  1564622 |    18081    226 |        0 |        0
1255.54/1255.98	c 1255s |      22 |  7056004 |  1567222 |    18081    226 |        0 |        0
1257.63/1258.00	c 1257s |      22 |  7066786 |  1569622 |    18081    227 |        0 |        0
1259.63/1260.04	c 1259s |      22 |  7084970 |  1572322 |    18081    227 |        0 |        0
1261.63/1262.06	c 1261s |      22 |  7101206 |  1574722 |    18081    227 |        0 |        0
1263.64/1264.08	c 1263s |      22 |  7115571 |  1577222 |    18081    228 |        0 |        0
1265.74/1266.11	c 1266s |      22 |  7127082 |  1579722 |    18081    228 |        0 |        0
1267.73/1268.12	c 1268s |      22 |  7134460 |  1581922 |    18081    228 |        0 |        0
1269.83/1270.22	c 1270s |      22 |  7145378 |  1584022 |    18081    228 |        0 |        0
1272.03/1272.46	c 1272s |      22 |  7150479 |  1586022 |    18081    229 |        0 |        0
1274.13/1274.55	c 1274s |      22 |  7152933 |  1588022 |    18081    229 |        0 |        0
1277.23/1277.61	c 1277s |      22 |  7156272 |  1589022 |    18081    229 |        0 |        0
1279.23/1279.67	c 1279s |      22 |  7161541 |  1590622 |    18081    229 |        0 |        0
1281.33/1281.70	c 1281s |      22 |  7181510 |  1593222 |    18081    229 |        0 |        0
1283.33/1283.76	c 1283s |      22 |  7188795 |  1595622 |    18081    230 |        0 |        0
1285.63/1286.08	c 1285s |      22 |  7192328 |  1597322 |    18081    230 |        0 |        0
1287.62/1288.08	c 1287s |      22 |  7205654 |  1600022 |    18081    230 |        0 |        0
1289.73/1290.10	c 1289s |      22 |  7223257 |  1602922 |    18081    230 |        0 |        0
1291.72/1292.11	c 1292s |      22 |  7235481 |  1605822 |    18081    231 |        0 |        0
1293.72/1294.16	c 1294s |      22 |  7246095 |  1608822 |    18081    231 |        0 |        0
1295.82/1296.21	c 1296s |      22 |  7256237 |  1611522 |    18081    231 |        0 |        0
1297.82/1298.22	c 1298s |      22 |  7263656 |  1613722 |    18081    232 |        0 |        0
1299.82/1300.26	c 1300s |      22 |  7269638 |  1616322 |    18081    232 |        0 |        0
1301.81/1302.30	c 1302s |      22 |  7275522 |  1618522 |    18081    232 |        0 |        0
1303.91/1304.34	c 1304s |      22 |  7286636 |  1621122 |    18081    232 |        0 |        0
1305.91/1306.36	c 1306s |      22 |  7298374 |  1623622 |    18081    233 |        0 |        0
1307.91/1308.37	c 1308s |      22 |  7305507 |  1626222 |    18081    233 |        0 |        0
1309.91/1310.39	c 1310s |      22 |  7315825 |  1628722 |    18081    233 |        0 |        0
1312.01/1312.46	c 1312s |      22 |  7325123 |  1630822 |    18081    233 |        0 |        0
1314.00/1314.47	c 1314s |      22 |  7333444 |  1633122 |    18081    234 |        0 |        0
1316.11/1316.53	c 1316s |      22 |  7339592 |  1635522 |    18081    234 |        0 |        0
1318.11/1318.59	c 1318s |      22 |  7341689 |  1637422 |    18081    234 |        0 |        0
1320.21/1320.61	c 1320s |      22 |  7347325 |  1639422 |    18081    234 |        0 |        0
1322.20/1322.65	c 1322s |      22 |  7351442 |  1641422 |    18081    235 |        0 |        0
1324.20/1324.66	c 1324s |      22 |  7354458 |  1643522 |    18081    235 |        0 |        0
1326.21/1326.70	c 1326s |      22 |  7356693 |  1644622 |    18081    235 |        0 |        0
1328.30/1328.74	c 1328s |      22 |  7360603 |  1646922 |    18081    235 |        0 |        0
1330.30/1330.75	c 1330s |      22 |  7364707 |  1649122 |    18081    235 |        0 |        0
1332.91/1333.35	c 1333s |      22 |  7365865 |  1649422 |    18081    235 |        0 |        0
1336.40/1336.87	c 1336s |      22 |  7372816 |  1650022 |    18081    235 |        0 |        0
1338.50/1338.97	c 1338s |      22 |  7374603 |  1650822 |    18081    236 |        0 |        0
1340.61/1341.02	c 1340s |      22 |  7386955 |  1653322 |    18081    236 |        0 |        0
1342.59/1343.03	c 1342s |      22 |  7397805 |  1655822 |    18081    236 |        0 |        0
1344.69/1345.10	c 1345s |      22 |  7411056 |  1658322 |    18081    236 |        0 |        0
1346.70/1347.15	c 1347s |      22 |  7422371 |  1660722 |    18081    237 |        0 |        0
1348.70/1349.17	c 1349s |      22 |  7452130 |  1663522 |    18081    237 |        0 |        0
1350.70/1351.18	c 1351s |      22 |  7473430 |  1666322 |    18081    237 |        0 |        0
1352.79/1353.24	c 1353s |      22 |  7492198 |  1669022 |    18081    238 |        0 |        0
1354.80/1355.29	c 1355s |      22 |  7517791 |  1672022 |    18081    238 |        0 |        0
1356.89/1357.35	c 1357s |      22 |  7529037 |  1674422 |    18081    238 |        0 |        0
1358.99/1359.46	c 1359s |      22 |  7534342 |  1676522 |    18081    238 |        0 |        0
1361.09/1361.53	c 1361s |      22 |  7537022 |  1677922 |    18081    239 |        0 |        0
1363.20/1363.60	c 1363s |      22 |  7554240 |  1681122 |    18081    239 |        0 |        0
1365.20/1365.66	c 1365s |      22 |  7560193 |  1683322 |    18081    239 |        0 |        0
1367.20/1367.68	c 1367s |      22 |  7570636 |  1685922 |    18081    239 |        0 |        0
1369.29/1369.70	c 1369s |      22 |  7575768 |  1688322 |    18081    240 |        0 |        0
1371.30/1371.73	c 1371s |      22 |  7583789 |  1690222 |    18081    240 |        0 |        0
1373.69/1374.17	c 1374s |      22 |  7591023 |  1691522 |    18081    240 |        0 |        0
1375.70/1376.20	c 1376s |      22 |  7624337 |  1694622 |    18081    240 |        0 |        0
1377.79/1378.21	c 1378s |      22 |  7646313 |  1697222 |    18081    241 |        0 |        0
1379.79/1380.26	c 1380s |      22 |  7660723 |  1700022 |    18081    241 |        0 |        0
1381.89/1382.30	c 1382s |      22 |  7676660 |  1702622 |    18081    241 |        0 |        0
1383.99/1384.49	c 1384s |      22 |  7697046 |  1705322 |    18081    242 |        0 |        0
1386.09/1386.50	c 1386s |      22 |  7702833 |  1707622 |    18081    242 |        0 |        0
1388.09/1388.53	c 1388s |      22 |  7713801 |  1710222 |    18081    242 |        0 |        0
1390.10/1390.59	c 1390s |      22 |  7730798 |  1712722 |    18081    242 |        0 |        0
1392.19/1392.63	c 1392s |      22 |  7743433 |  1715122 |    18081    243 |        0 |        0
1394.18/1394.69	c 1394s |      22 |  7755026 |  1717622 |    18081    243 |        0 |        0
1396.29/1396.74	c 1396s |      22 |  7766288 |  1720322 |    18081    243 |        0 |        0
1398.39/1398.80	c 1398s |      22 |  7786965 |  1723422 |    18081    243 |        0 |        0
1400.38/1400.81	c 1400s |      22 |  7793547 |  1725922 |    18081    244 |        0 |        0
1402.38/1402.87	c 1402s |      22 |  7796821 |  1726822 |    18081    244 |        0 |        0
1404.38/1404.89	c 1404s |      22 |  7813465 |  1729322 |    18081    244 |        0 |        0
1406.49/1406.94	c 1406s |      22 |  7825814 |  1732322 |    18081    244 |        0 |        0
1409.08/1409.53	c 1409s |      22 |  7830783 |  1734322 |    18081    245 |        0 |        0
1411.08/1411.56	c 1411s |      22 |  7860604 |  1736922 |    18081    245 |        0 |        0
1413.09/1413.56	c 1413s |      22 |  7884613 |  1739622 |    18081    245 |        0 |        0
1415.08/1415.57	c 1415s |      22 |  7889244 |  1741722 |    18081    245 |        0 |        0
1417.18/1417.63	c 1417s |      22 |  7891736 |  1743722 |    18081    246 |        0 |        0
1419.18/1419.65	c 1419s |      22 |  7898804 |  1745622 |    18081    246 |        0 |        0
1421.18/1421.67	c 1421s |      22 |  7905146 |  1747922 |    18081    246 |        0 |        0
1423.28/1423.71	c 1423s |      22 |  7909594 |  1750222 |    18081    246 |        0 |        0
1425.29/1425.77	c 1425s |      22 |  7918944 |  1752422 |    18081    247 |        0 |        0
1427.28/1427.80	c 1427s |      22 |  7931438 |  1755222 |    18081    247 |        0 |        0
1429.38/1429.82	c 1429s |      22 |  7944136 |  1757822 |    18081    247 |        0 |        0
1431.37/1431.83	c 1431s |      22 |  7954231 |  1760222 |    18081    247 |        0 |        0
1433.37/1433.88	c 1433s |      22 |  7962053 |  1762822 |    18081    248 |        0 |        0
1435.38/1435.89	c 1435s |      22 |  7974127 |  1765422 |    18081    248 |        0 |        0
1437.47/1437.93	c 1437s |      22 |  7981473 |  1767622 |    18081    248 |        0 |        0
1439.49/1439.99	c 1439s |      22 |  7987721 |  1769822 |    18081    249 |        0 |        0
1441.48/1441.99	c 1441s |      22 |  7993817 |  1772622 |    18081    249 |        0 |        0
1443.58/1444.00	c 1443s |      22 |  8005997 |  1775822 |    18081    249 |        0 |        0
1445.58/1446.04	c 1445s |      22 |  8017022 |  1778322 |    18081    249 |        0 |        0
1447.58/1448.09	c 1447s |      22 |  8024032 |  1780922 |    18081    250 |        0 |        0
1449.68/1450.17	c 1450s |      22 |  8031824 |  1783422 |    18081    250 |        0 |        0
1451.77/1452.20	c 1452s |      22 |  8046595 |  1786122 |    18081    250 |        0 |        0
1453.78/1454.20	c 1454s |      22 |  8051377 |  1788422 |    18081    251 |        0 |        0
1455.77/1456.25	c 1456s |      22 |  8054212 |  1791022 |    18081    251 |        0 |        0
1457.77/1458.27	c 1458s |      22 |  8058188 |  1793822 |    18081    251 |        0 |        0
1459.87/1460.33	c 1460s |      22 |  8061008 |  1796022 |    18081    251 |        0 |        0
1461.87/1462.39	c 1462s |      22 |  8065029 |  1798422 |    18081    252 |        0 |        0
1463.98/1464.47	c 1464s |      22 |  8068822 |  1801322 |    18081    252 |        0 |        0
1465.98/1466.47	c 1466s |      22 |  8071918 |  1803522 |    18081    252 |        0 |        0
1468.08/1468.52	c 1468s |      22 |  8075991 |  1805322 |    18081    252 |        0 |        0
1470.07/1470.58	c 1470s |      22 |  8077480 |  1806122 |    18081    252 |        0 |        0
1472.17/1472.62	c 1472s |      22 |  8081532 |  1807522 |    18081    253 |        0 |        0
1474.17/1474.63	c 1474s |      22 |  8088996 |  1809922 |    18081    253 |        0 |        0
1476.17/1476.63	c 1476s |      22 |  8093533 |  1812022 |    18081    253 |        0 |        0
1478.17/1478.64	c 1478s |      22 |  8099540 |  1814022 |    18081    253 |        0 |        0
1480.17/1480.68	c 1480s |      22 |  8105677 |  1815922 |    18081    254 |        0 |        0
1482.27/1482.71	c 1482s |      22 |  8108425 |  1817322 |    18081    254 |        0 |        0
1484.26/1484.79	c 1484s |      22 |  8109063 |  1817522 |    18081    254 |        0 |        0
1486.37/1486.88	c 1486s |      22 |  8117277 |  1820222 |    18081    254 |        0 |        0
1488.47/1488.96	c 1488s |      22 |  8124809 |  1822722 |    18081    254 |        0 |        0
1490.47/1490.97	c 1490s |      22 |  8131297 |  1824722 |    18081    255 |        0 |        0
1492.57/1493.01	c 1492s |      22 |  8139537 |  1827722 |    18081    255 |        0 |        0
1494.57/1495.08	c 1494s |      22 |  8144819 |  1830322 |    18081    255 |        0 |        0
1496.67/1497.14	c 1497s |      22 |  8150905 |  1832622 |    18081    255 |        0 |        0
1498.66/1499.17	c 1499s |      22 |  8156307 |  1834922 |    18081    256 |        0 |        0
1500.77/1501.22	c 1501s |      22 |  8158725 |  1836722 |    18081    256 |        0 |        0
1502.77/1503.24	c 1503s |      22 |  8168606 |  1839722 |    18081    256 |        0 |        0
1504.76/1505.28	c 1505s |      22 |  8181558 |  1842622 |    18081    256 |        0 |        0
1506.86/1507.34	c 1507s |      22 |  8189976 |  1845222 |    18081    257 |        0 |        0
1508.88/1509.39	c 1509s |      22 |  8202759 |  1848322 |    18081    257 |        0 |        0
1510.98/1511.40	c 1511s |      22 |  8209183 |  1850822 |    18081    257 |        0 |        0
1512.97/1513.41	c 1513s |      22 |  8220994 |  1853522 |    18081    258 |        0 |        0
1514.97/1515.44	c 1515s |      22 |  8229202 |  1856522 |    18081    258 |        0 |        0
1517.07/1517.50	c 1517s |      22 |  8239578 |  1859322 |    18081    258 |        0 |        0
1519.06/1519.56	c 1519s |      22 |  8245037 |  1861722 |    18081    259 |        0 |        0
1521.06/1521.57	c 1521s |      22 |  8249928 |  1864222 |    18081    259 |        0 |        0
1523.17/1523.63	c 1523s |      22 |  8254738 |  1866822 |    18081    259 |        0 |        0
1525.27/1525.77	c 1525s |      22 |  8257466 |  1868122 |    18081    259 |        0 |        0
1527.36/1527.81	c 1527s |      22 |  8261538 |  1870222 |    18081    259 |        0 |        0
1529.36/1529.83	c 1529s |      22 |  8267604 |  1872222 |    18081    260 |        0 |        0
1531.36/1531.88	c 1531s |      22 |  8273024 |  1874922 |    18081    260 |        0 |        0
1533.46/1533.92	c 1533s |      22 |  8280118 |  1877222 |    18081    260 |        0 |        0
1535.46/1535.97	c 1535s |      22 |  8286095 |  1879722 |    18081    260 |        0 |        0
1537.56/1538.02	c 1537s |      22 |  8292928 |  1882422 |    18081    261 |        0 |        0
1539.57/1540.09	c 1539s |      22 |  8295646 |  1884622 |    18081    261 |        0 |        0
1541.66/1542.16	c 1542s |      22 |  8299204 |  1886722 |    18081    261 |        0 |        0
1543.66/1544.19	c 1544s |      22 |  8305376 |  1889122 |    18081    262 |        0 |        0
1545.76/1546.26	c 1546s |      22 |  8308777 |  1891522 |    18081    262 |        0 |        0
1547.76/1548.28	c 1548s |      22 |  8312571 |  1893922 |    18081    262 |        0 |        0
1549.86/1550.35	c 1550s |      22 |  8317354 |  1896322 |    18081    262 |        0 |        0
1551.96/1552.40	c 1552s |      22 |  8320539 |  1898422 |    18081    263 |        0 |        0
1553.97/1554.43	c 1554s |      22 |  8324822 |  1900722 |    18081    263 |        0 |        0
1556.07/1556.52	c 1556s |      22 |  8327631 |  1902922 |    18081    263 |        0 |        0
1558.06/1558.59	c 1558s |      22 |  8331614 |  1905222 |    18081    263 |        0 |        0
1560.16/1560.64	c 1560s |      22 |  8333714 |  1907122 |    18081    263 |        0 |        0
1562.16/1562.68	c 1562s |      22 |  8335803 |  1909022 |    18081    264 |        0 |        0
1564.25/1564.74	c 1564s |      22 |  8337851 |  1911022 |    18081    264 |        0 |        0
1570.46/1570.97	c 1570s |      22 |  8339532 |  1912422 |    18081    264 |        0 |        0
1572.96/1573.42	c 1573s |      22 |  8340013 |  1912522 |    18081    264 |        0 |        0
1575.86/1576.30	c 1576s |      22 |  8340200 |  1912622 |    18081    264 |        0 |        0
1577.86/1578.33	c 1578s |      22 |  8345916 |  1915022 |    18081    264 |        0 |        0
1579.85/1580.37	c 1580s |      22 |  8358961 |  1916922 |    18081    265 |        0 |        0
1581.85/1582.39	c 1582s |      22 |  8375703 |  1919222 |    18081    265 |        0 |        0
1583.95/1584.43	c 1584s |      22 |  8387637 |  1920922 |    18081    265 |        0 |        0
1585.96/1586.44	c 1586s |      22 |  8397991 |  1923822 |    18081    265 |        0 |        0
1587.96/1588.49	c 1588s |      22 |  8410141 |  1926422 |    18081    266 |        0 |        0
1591.75/1592.26	c 1592s |      22 |  8420047 |  1929222 |    18081    266 |        0 |        0
1593.75/1594.27	c 1594s |      22 |  8439365 |  1932422 |    18081    266 |        0 |        0
1595.85/1596.35	c 1596s |      22 |  8451556 |  1934722 |    18081    267 |        0 |        0
1597.86/1598.38	c 1598s |      22 |  8464770 |  1937322 |    18081    267 |        0 |        0
1599.95/1600.40	c 1600s |      22 |  8474241 |  1940022 |    18081    267 |        0 |        0
1601.95/1602.45	c 1602s |      22 |  8491750 |  1942722 |    18081    267 |        0 |        0
1604.25/1604.73	c 1604s |      22 |  8507947 |  1944322 |    18081    268 |        0 |        0
1606.25/1606.78	c 1606s |      22 |  8530537 |  1947422 |    18081    268 |        0 |        0
1608.35/1608.80	c 1608s |      22 |  8543354 |  1950422 |    18081    268 |        0 |        0
1610.55/1611.02	c 1610s |      22 |  8566395 |  1952922 |    18081    269 |        0 |        0
1612.95/1613.40	c 1613s |      22 |  8581965 |  1955322 |    18081    269 |        0 |        0
1614.95/1615.41	c 1615s |      22 |  8609693 |  1957822 |    18081    269 |        0 |        0
1616.95/1617.46	c 1617s |      22 |  8634786 |  1960722 |    18081    269 |        0 |        0
1618.95/1619.47	c 1619s |      22 |  8654642 |  1963722 |    18081    270 |        0 |        0
1620.95/1621.49	c 1621s |      22 |  8671903 |  1965622 |    18081    270 |        0 |        0
1623.05/1623.55	c 1623s |      22 |  8696947 |  1968422 |    18081    270 |        0 |        0
1625.15/1625.62	c 1625s |      22 |  8715376 |  1970722 |    18081    270 |        0 |        0
1627.15/1627.66	c 1627s |      22 |  8732507 |  1973322 |    18081    271 |        0 |        0
1629.24/1629.71	c 1629s |      22 |  8744055 |  1976022 |    18081    271 |        0 |        0
1631.34/1631.81	c 1631s |      22 |  8755257 |  1978522 |    18081    271 |        0 |        0
1633.35/1633.81	c 1633s |      22 |  8765096 |  1979722 |    18081    271 |        0 |        0
1635.36/1635.85	c 1635s |      22 |  8789461 |  1982722 |    18081    272 |        0 |        0
1637.35/1637.85	c 1637s |      22 |  8804647 |  1985922 |    18081    272 |        0 |        0
1639.34/1639.87	c 1639s |      22 |  8820212 |  1987622 |    18081    272 |        0 |        0
1641.44/1641.91	c 1641s |      22 |  8844202 |  1990522 |    18081    273 |        0 |        0
1643.44/1643.97	c 1643s |      22 |  8858121 |  1993822 |    18081    273 |        0 |        0
1645.54/1646.01	c 1645s |      22 |  8872070 |  1995322 |    18081    273 |        0 |        0
1647.55/1648.04	c 1647s |      22 |  8886246 |  1997422 |    18081    273 |        0 |        0
1649.55/1650.09	c 1649s |      22 |  8901681 |  1999522 |    18081    274 |        0 |        0
1651.64/1652.11	c 1652s |      22 |  8920826 |  2002122 |    18081    274 |        0 |        0
1653.64/1654.17	c 1654s |      22 |  8939971 |  2004922 |    18081    274 |        0 |        0
1655.74/1656.20	c 1656s |      22 |  8948950 |  2007522 |    18081    274 |        0 |        0
1657.74/1658.20	c 1658s |      22 |  8962927 |  2009122 |    18081    275 |        0 |        0
1659.74/1660.27	c 1660s |      22 |  8985224 |  2011822 |    18081    275 |        0 |        0
1661.84/1662.37	c 1662s |      22 |  9006871 |  2014422 |    18081    275 |        0 |        0
1663.94/1664.44	c 1664s |      22 |  9024357 |  2016622 |    18081    275 |        0 |        0
1666.24/1666.71	c 1666s |      22 |  9031750 |  2018222 |    18081    276 |        0 |        0
1668.25/1668.73	c 1668s |      22 |  9051597 |  2021422 |    18081    276 |        0 |        0
1670.24/1670.79	c 1670s |      22 |  9061618 |  2024522 |    18081    276 |        0 |        0
1672.25/1672.79	c 1672s |      22 |  9080718 |  2026622 |    18081    277 |        0 |        0
1674.34/1674.84	c 1674s |      22 |  9099183 |  2029222 |    18081    277 |        0 |        0
1676.74/1677.25	c 1677s |      22 |  9109572 |  2030922 |    18081    277 |        0 |        0
1678.74/1679.29	c 1679s |      22 |  9125386 |  2033522 |    18081    277 |        0 |        0
1680.84/1681.31	c 1681s |      22 |  9134526 |  2036022 |    18081    278 |        0 |        0
1682.84/1683.34	c 1683s |      22 |  9147491 |  2038722 |    18081    278 |        0 |        0
1684.94/1685.40	c 1685s |      22 |  9159040 |  2041722 |    18081    278 |        0 |        0
1686.94/1687.42	c 1687s |      22 |  9167877 |  2044522 |    18081    279 |        0 |        0
1688.94/1689.47	c 1689s |      22 |  9174261 |  2046922 |    18081    279 |        0 |        0
1691.04/1691.57	c 1691s |      22 |  9182864 |  2049522 |    18081    279 |        0 |        0
1693.14/1693.63	c 1693s |      22 |  9185592 |  2051622 |    18081    279 |        0 |        0
1695.23/1695.71	c 1695s |      22 |  9189524 |  2053822 |    18081    280 |        0 |        0
1697.63/1698.12	c 1698s |      22 |  9194977 |  2056322 |    18081    280 |        0 |        0
1699.73/1700.20	c 1700s |      22 |  9202533 |  2058322 |    18081    280 |        0 |        0
1701.73/1702.22	c 1702s |      22 |  9208150 |  2060322 |    18081    280 |        0 |        0
1703.83/1704.30	c 1704s |      22 |  9213503 |  2062422 |    18081    280 |        0 |        0
1705.84/1706.32	c 1706s |      22 |  9216007 |  2064122 |    18081    281 |        0 |        0
1707.85/1708.35	c 1708s |      22 |  9218179 |  2066122 |    18081    281 |        0 |        0
1709.94/1710.41	c 1710s |      22 |  9223714 |  2068322 |    18081    281 |        0 |        0
1711.94/1712.42	c 1712s |      22 |  9226877 |  2070522 |    18081    281 |        0 |        0
1713.93/1714.48	c 1714s |      22 |  9233504 |  2072622 |    18081    282 |        0 |        0
1716.04/1716.57	c 1716s |      22 |  9237511 |  2074722 |    18081    282 |        0 |        0
1718.04/1718.58	c 1718s |      22 |  9243878 |  2077022 |    18081    282 |        0 |        0
1720.14/1720.63	c 1720s |      22 |  9248149 |  2079122 |    18081    282 |        0 |        0
1722.14/1722.69	c 1722s |      22 |  9250299 |  2081022 |    18081    282 |        0 |        0
1724.23/1724.78	c 1724s |      22 |  9253101 |  2083022 |    18081    283 |        0 |        0
1726.33/1726.85	c 1726s |      22 |  9256001 |  2085222 |    18081    283 |        0 |        0
1729.23/1729.79	c 1729s |      22 |  9256172 |  2085322 |    18081    283 |        0 |        0
1732.44/1732.93	c 1732s |      22 |  9256286 |  2085422 |    18081    283 |        0 |        0
1734.44/1734.93	c 1734s |      22 |  9263095 |  2088122 |    18081    283 |        0 |        0
1736.44/1736.97	c 1736s |      22 |  9274089 |  2090922 |    18081    284 |        0 |        0
1738.43/1738.97	c 1738s |      22 |  9283217 |  2093722 |    18081    284 |        0 |        0
1740.53/1741.01	c 1740s |      22 |  9291541 |  2096522 |    18081    284 |        0 |        0
1742.53/1743.04	c 1742s |      22 |  9299633 |  2098922 |    18081    284 |        0 |        0
1744.53/1745.06	c 1744s |      22 |  9308785 |  2100922 |    18081    285 |        0 |        0
1746.53/1747.07	c 1746s |      22 |  9319745 |  2103522 |    18081    285 |        0 |        0
1748.64/1749.11	c 1749s |      22 |  9336480 |  2106022 |    18081    285 |        0 |        0
1750.63/1751.18	c 1751s |      22 |  9350971 |  2108622 |    18081    286 |        0 |        0
1752.73/1753.20	c 1753s |      22 |  9354785 |  2109622 |    18081    286 |        0 |        0
1754.73/1755.24	c 1755s |      22 |  9365255 |  2112322 |    18081    286 |        0 |        0
1756.83/1757.31	c 1757s |      22 |  9373029 |  2114622 |    18081    286 |        0 |        0
1758.83/1759.33	c 1759s |      22 |  9378679 |  2116822 |    18081    286 |        0 |        0
1760.83/1761.38	c 1761s |      22 |  9389331 |  2119222 |    18081    287 |        0 |        0
1762.93/1763.43	c 1763s |      22 |  9394354 |  2121622 |    18081    287 |        0 |        0
1764.92/1765.45	c 1765s |      22 |  9400681 |  2124122 |    18081    287 |        0 |        0
1767.03/1767.52	c 1767s |      22 |  9407194 |  2126022 |    18081    287 |        0 |        0
1769.03/1769.55	c 1769s |      22 |  9413751 |  2127922 |    18081    288 |        0 |        0
1771.12/1771.64	c 1771s |      22 |  9417568 |  2129722 |    18081    288 |        0 |        0
1773.13/1773.66	c 1773s |      22 |  9420584 |  2131622 |    18081    288 |        0 |        0
1775.23/1775.71	c 1775s |      22 |  9424481 |  2133522 |    18081    288 |        0 |        0
1777.23/1777.77	c 1777s |      22 |  9429010 |  2135622 |    18081    288 |        0 |        0
1779.33/1779.84	c 1779s |      22 |  9434171 |  2137922 |    18081    289 |        0 |        0
1781.42/1781.92	c 1781s |      22 |  9438402 |  2140422 |    18081    289 |        0 |        0
1783.43/1783.96	c 1783s |      22 |  9442636 |  2141022 |    18081    289 |        0 |        0
1785.42/1785.98	c 1785s |      22 |  9451134 |  2143422 |    18081    289 |        0 |        0
1787.52/1788.02	c 1787s |      22 |  9462470 |  2145822 |    18081    290 |        0 |        0
1789.52/1790.06	c 1789s |      22 |  9471279 |  2148522 |    18081    290 |        0 |        0
1791.53/1792.09	c 1791s |      22 |  9481220 |  2150922 |    18081    290 |        0 |        0
1793.63/1794.11	c 1794s |      22 |  9490302 |  2153322 |    18081    290 |        0 |        0
1795.62/1796.13	c 1796s |      22 |  9496490 |  2155422 |    18081    291 |        0 |        0
1797.62/1798.16	c 1798s |      22 |  9508497 |  2157822 |    18081    291 |        0 |        0
1799.72/1800.22	c 1800s |      22 |  9515939 |  2160222 |    18081    291 |        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-4078955-1465264907/watcher-4078955-1465264907 -o /tmp/evaluation-result-4078955-1465264907/solver-4078955-1465264907 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5582 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078955-1465264907.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.07 2.08 2.03 2/181 6991
/proc/meminfo: memFree=31512692/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=809404 CPUtime=0 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 3033 0 0 0 0 0 0 0 20 0 4 0 108425406 828829696 3394 33554432000 4194304 16246674 140734288763536 140734288762960 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 202863 3403 441 2943 0 199757 0
[pid=6991/tid=6992] ppid=6988 vsize=826812 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 846655488 3462 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=830908 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 850849792 3479 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=836028 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108425406 856092672 3496 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.07 2.08 2.03 2/181 6991
/proc/meminfo: memFree=31512692/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1222212 CPUtime=0.09 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 21861 0 0 0 6 3 0 0 20 0 4 0 108425406 1251545088 22168 33554432000 4194304 16246674 140734288763536 140734288762848 6758272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 305553 22168 837 2943 0 302447 0
[pid=6991/tid=6992] ppid=6988 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1251545088 22168 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1251545088 22168 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1251545088 22168 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1222212

[startup+0.20045 s]
/proc/loadavg: 2.07 2.08 2.03 2/181 6991
/proc/meminfo: memFree=31512692/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1222212 CPUtime=0.19 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 40378 0 0 0 13 6 0 0 20 0 4 0 108425406 1251545088 40685 33554432000 4194304 16246674 140734288763536 140734288762848 5532301 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 305553 40693 875 2943 0 302447 0
[pid=6991/tid=6992] ppid=6988 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1251545088 40699 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1251545088 40704 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1251545088 40709 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1222212

[startup+0.300436 s]
/proc/loadavg: 2.07 2.08 2.03 2/181 6991
/proc/meminfo: memFree=31512692/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1222212 CPUtime=0.29 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 66197 0 0 0 20 9 0 0 20 0 4 0 108425406 1251545088 66505 33554432000 4194304 16246674 140734288763536 140734288762848 5675010 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 305553 66511 875 2943 0 302447 0
[pid=6991/tid=6992] ppid=6988 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1251545088 66515 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1251545088 66521 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1251545088 66527 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1222212

[startup+0.700385 s]
/proc/loadavg: 2.07 2.08 2.03 2/181 6991
/proc/meminfo: memFree=31512692/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1222212 CPUtime=0.69 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 174413 0 0 0 47 22 0 0 20 0 4 0 108425406 1251545088 174721 33554432000 4194304 16246674 140734288763536 140734288745408 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 305553 174733 875 2943 0 302447 0
[pid=6991/tid=6992] ppid=6988 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1251545088 174741 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1251545088 174754 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1251545088 174765 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.50039 s]
/proc/loadavg: 2.07 2.08 2.03 3/185 6995
/proc/meminfo: memFree=29546724/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 266267 0 0 0 114 35 0 0 20 0 4 0 108425406 1332285440 266574 33554432000 4194304 16246674 140734288763536 140734288745408 13950202 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 325265 266574 878 2943 0 322159 0
[pid=6991/tid=6992] ppid=6988 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1332285440 266574 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1332285440 266574 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1332285440 266574 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10041 s]
/proc/loadavg: 2.07 2.08 2.03 3/185 6995
/proc/meminfo: memFree=29533448/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 267969 0 0 0 274 35 0 0 20 0 4 0 108425406 1338576896 268276 33554432000 4194304 16246674 140734288763536 140734288745408 5523515 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 326801 268276 888 2943 0 323695 0
[pid=6991/tid=6992] ppid=6988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1338576896 268276 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1338576896 268276 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1338576896 268276 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.06 2.08 2.03 3/185 6995
/proc/meminfo: memFree=29519280/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1315396 CPUtime=6.29 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 270018 0 0 0 593 36 0 0 20 0 4 0 108425406 1346965504 270325 33554432000 4194304 16246674 140734288763536 140734288745408 5667484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 328849 270325 889 2943 0 325743 0
[pid=6991/tid=6992] ppid=6988 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1346965504 270325 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1346965504 270325 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1346965504 270325 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.06 2.08 2.03 3/185 6995
/proc/meminfo: memFree=29515988/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1315396 CPUtime=12.69 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 270018 0 0 0 1233 36 0 0 20 0 4 0 108425406 1346965504 270325 33554432000 4194304 16246674 140734288763536 140734288745408 5545916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 328849 270325 889 2943 0 325743 0
[pid=6991/tid=6992] ppid=6988 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1346965504 270325 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1346965504 270325 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1346965504 270325 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.04 2.07 2.02 4/184 6995
/proc/meminfo: memFree=29515588/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1315396 CPUtime=25.48 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 270018 0 0 0 2510 38 0 0 20 0 4 0 108425406 1346965504 270325 33554432000 4194304 16246674 140734288763536 140734288745408 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 328849 270325 889 2943 0 325743 0
[pid=6991/tid=6992] ppid=6988 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1346965504 270325 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1346965504 270325 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1346965504 270325 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.17 2.10 2.03 3/184 6996
/proc/meminfo: memFree=29501436/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1325636 CPUtime=51.08 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 272578 0 0 0 5066 42 0 0 20 0 4 0 108425406 1357451264 272885 33554432000 4194304 16246674 140734288763536 140734288745408 6011585 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 331409 272885 889 2943 0 328303 0
[pid=6991/tid=6992] ppid=6988 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1357451264 272885 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1357451264 272885 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1357451264 272885 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1325636

[startup+102.301 s]
/proc/loadavg: 2.13 2.10 2.03 3/184 6997
/proc/meminfo: memFree=29491984/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1331780 CPUtime=102.28 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 274114 0 0 0 10180 48 0 0 20 0 4 0 108425406 1363742720 274421 33554432000 4194304 16246674 140734288763536 140734288745408 5808585 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 332945 274421 889 2943 0 329839 0
[pid=6991/tid=6992] ppid=6988 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1363742720 274421 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1363742720 274421 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1363742720 274421 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1331780


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

/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1379471360 278265 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1347140

[startup+1362.3 s]
/proc/loadavg: 2.13 2.10 2.07 3/184 7028
/proc/meminfo: memFree=29429924/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1347140 CPUtime=1361.9 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 278332 0 0 0 135830 360 0 0 20 0 4 0 108425406 1379471360 278265 33554432000 4194304 16246674 140734288763536 140734288745408 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 336785 278265 890 2943 0 333679 0
[pid=6991/tid=6992] ppid=6988 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1379471360 278265 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1379471360 278265 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1379471360 278265 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1347140

[startup+1422.3 s]
/proc/loadavg: 2.12 2.10 2.07 3/184 7029
/proc/meminfo: memFree=29430164/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1347140 CPUtime=1421.88 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 278345 0 0 0 141808 380 0 0 20 0 4 0 108425406 1379471360 278265 33554432000 4194304 16246674 140734288763536 140734288745408 5721529 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 336785 278265 890 2943 0 333679 0
[pid=6991/tid=6992] ppid=6988 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1379471360 278265 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1379471360 278265 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1379471360 278265 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1347140

[startup+1482.3 s]
/proc/loadavg: 2.18 2.13 2.08 3/184 7030
/proc/meminfo: memFree=29420864/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1356356 CPUtime=1481.86 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 280649 0 0 0 147797 389 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140734288745408 5808388 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 339089 280569 890 2943 0 335983 0
[pid=6991/tid=6992] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1356356

[startup+1542.31 s]
/proc/loadavg: 2.19 2.14 2.09 3/184 7031
/proc/meminfo: memFree=29420984/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1356356 CPUtime=1541.87 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 280649 0 0 0 153785 402 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140734288745408 5722656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 339089 280569 890 2943 0 335983 0
[pid=6991/tid=6992] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1356356

[startup+1602.3 s]
/proc/loadavg: 2.11 2.13 2.09 3/184 7033
/proc/meminfo: memFree=29419556/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1356356 CPUtime=1601.85 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 280649 0 0 0 159754 431 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140734288745408 5572324 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 339089 280569 890 2943 0 335983 0
[pid=6991/tid=6992] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1356356

[startup+1662.3 s]
/proc/loadavg: 2.19 2.15 2.09 3/184 7034
/proc/meminfo: memFree=29420700/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1356356 CPUtime=1661.84 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 280649 0 0 0 165732 452 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140734288745408 5823615 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 339089 280569 890 2943 0 335983 0
[pid=6991/tid=6992] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1356356

[startup+1722.3 s]
/proc/loadavg: 2.07 2.12 2.09 3/185 7038
/proc/meminfo: memFree=29420896/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1356356 CPUtime=1721.83 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 280649 0 0 0 171719 464 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140734288745408 5673807 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 339089 280569 890 2943 0 335983 0
[pid=6991/tid=6992] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1356356

[startup+1782.3 s]
/proc/loadavg: 2.07 2.11 2.09 3/183 7039
/proc/meminfo: memFree=29420544/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1356356 CPUtime=1781.82 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 280649 0 0 0 177692 490 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140734288745408 13902244 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 339089 280569 890 2943 0 335983 0
[pid=6991/tid=6992] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1356356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.05 2.10 2.08 3/184 7040
/proc/meminfo: memFree=29419680/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1356356 CPUtime=1800.02 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 280649 0 0 0 179507 495 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140734288745408 5667777 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 339089 280569 890 2943 0 335983 0
[pid=6991/tid=6992] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1356356

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

[startup+1800.5 s]
/proc/loadavg: 2.05 2.10 2.08 3/184 7040
/proc/meminfo: memFree=29419680/32872528 swapFree=12744/274376
[pid=6991] ppid=6988 vsize=1356356 CPUtime=1800.02 cores=0,2,4,6
/proc/6991/stat : 6991 (toysat) R 6988 6991 5566 0 -1 4202496 280649 0 0 0 179507 495 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140734288745408 5667777 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6991/statm: 339089 280569 890 2943 0 335983 0
[pid=6991/tid=6992] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6992/stat : 6992 (toysat) S 6988 6991 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329602755824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6991/tid=6993] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6993/stat : 6993 (toysat) S 6988 6991 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329592265968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6991/tid=6994] ppid=6988 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/6991/task/6994/stat : 6994 (toysat) S 6988 6991 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108425406 1388908544 280569 33554432000 4194304 16246674 140734288763536 140329581792432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1356356

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1795.08
CPU system time (s): 4.95325
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 1356356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.08
system time used= 4.95325
maximum resident set size= 1122276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280649
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= 404
involuntary context switches= 1846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8534 second user time and 17.5213 second system time

The end

Begin job on node107 at 2016-06-07 04:01:47
IDJOB=4078955
IDBENCH=48376
IDSOLVER=2542
FILE ID=node107/4078955-1465264907
RUNJOBID= node107-1465255895-5582
PBS_JOBID= 19843278
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= b437bd5db918ab114396d43dfca73285
RANDOM SEED=1050704415

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.441
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:        31528116 kB
Buffers:           61828 kB
Cached:           152172 kB
SwapCached:         1724 kB
Active:           262336 kB
Inactive:         101276 kB
Active(anon):     151452 kB
Inactive(anon):      440 kB
Active(file):     110884 kB
Inactive(file):   100836 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098448 kB
Dirty:             33208 kB
Writeback:             0 kB
AnonPages:        423232 kB
Mapped:            10508 kB
Shmem:                 0 kB
Slab:             572756 kB
SReclaimable:      14608 kB
SUnreclaim:       558148 kB
KernelStack:        1392 kB
PageTables:         6356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1408200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 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= 71716 MiB
End job on node107 at 2016-06-07 04:31:47