0.00/0.00	c 2016-06-16T20:00:51+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-4095994-1466100051.opb"]
0.00/0.01	c use --random-gen="4206885250 3773977444 3904899127 739800911 3236769407 582542219 1517493544 126757693 3162449244 2560100504 2644271782 3557459601 734320581 10646598 1686096568 1636009742 2279684342 4044431984 2983929188 1422915369 513547101 1638935184 4114659667 1147179377 3707299880 2549311892 1461834187 2460931392 3517318061 3579985256 3681962892 3518134582 165457841 4038577052 18214590 1869522806 1859867306 2627660048 1447855580 882831172 2259896060 4269777829 42456369 1009152943 2594618500 3263948364 4070359876 2590033438 254276778 1131845068 2765580865 2043210614 829814316 3031789148 2827166449 1180045461 193591267 250830261 3537770072 2546710925 1146442369 3792868790 2924400104 1510848438 2909920847 3871537030 465150026 2560836036 2800707887 2509406059 2952112721 4231119721 1816133622 3111275121 508069467 1270421501 1740303129 3415735955 4182513147 1032929784 171700979 619516462 4062320423 4250259174 763362263 1889904992 3783408268 28937597 446742934 2126565987 1390449596 3684105705 3042714141 2200963522 427480622 996759471 3607688379 2592577810 1215992002 1406655243 919556820 353379620 3832305918 1706567485 3567555013 2642866300 563970742 3143851180 3292729357 1456318225 2259993416 2486068101 2851615363 1487738323 2809465739 3925197858 3132402338 3121425112 3735449274 3528789589 1883586039 2192386 3066297819 2136837775 3336333416 640812423 1475726241 2282278151 111229986 2443939768 3886928612 147408312 1763943454 3718268105 2071517315 1293243605 1259147994 1122162235 944723492 2203279522 4071270138 3810763028 768695370 2352874748 3318837507 2229827693 153067643 878277139 1278311921 1266116796 3001090408 434618007 1709694691 3977748384 3975215591 3120257441 367136561 1932342684 153326762 3192858384 572235554 734013777 524438806 2491568472 275788179 1496912883 1249168219 1089369297 250145197 2350539073 4098182894 2741346251 1588750133 1240562524 2153969056 1351701319 2426650589 297146455 138728571 3772688443 140138241 3021049406 3451648002 2880862673 293024037 696380839 2139167841 83133499 3810577819 2257786670 144140019 2534512869 3631676262 1741293445 3561680631 2715267957 4001557463 2532483603 19611617 1081148974 2987333051 2084688179 1347339181 3095069497 3997150963 3136332085 1097451418 2814956307 1647225084 2044861987 1956447714 98893856 1180304635 4056739709 361086700 1126052831 2726532840 1602678189 841769607 3936652709 700126910 891200048 426286544 1587859064 2394581041 95617964 470276780 698870097 206476963 3694092430 979337771 3856378236 3627375100 1984221258 3683871384 372271620 2517888788 801998659 4239986871 1171100052 3273249242 650030319 332549416 653323884 2059985123 3027970667 958795374 885442839 1580986697 1884396939 1144612135 1323397245 3459172673 239440838 2834093153 1659933596 255 362436" option to reproduce the execution
0.00/0.01	c #vars 281
0.00/0.01	c #constraints 140
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      187      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      242 |      100 |      187      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      594 |      250 |      206      0 |        0 |        0
0.09/0.10	c  0.1s |       3 |     1071 |      475 |      227      1 |        0 |        0
0.09/0.16	c  0.1s |       4 |     1663 |      813 |      250      3 |        0 |        0
0.18/0.25	c  0.2s |       5 |     2933 |     1320 |      275      6 |        0 |        0
0.39/0.42	c  0.4s |       6 |     4366 |     2081 |      334     10 |        0 |        0
0.68/0.91	c  0.7s |       7 |     6637 |     3223 |      368     15 |        0 |        0
1.09/1.10	c  1.1s |       8 |     9998 |     4936 |      405     22 |        0 |        0
1.49/1.57	c  1.6s |       9 |    14005 |     7506 |      446     32 |        0 |        0
2.19/2.23	c  2.2s |      10 |    18824 |    11361 |      491     45 |        0 |        0
3.19/3.23	c  3.2s |      11 |    29774 |    17144 |      541     64 |        0 |        0
4.70/4.75	c  4.7s |      12 |    43565 |    25819 |      596     90 |        0 |        0
6.69/6.75	c  6.7s |      12 |    55263 |    35719 |      596    118 |        0 |        0
7.29/7.39	c  7.4s |      13 |    58810 |    38832 |      656    126 |        0 |        0
9.39/9.40	c  9.4s |      13 |    70622 |    48632 |      656    152 |        0 |        0
11.39/11.41	c 11.4s |      13 |    81608 |    58332 |      722    177 |        0 |        0
11.39/11.41	c 11.4s |      14 |    81637 |    58352 |      722    177 |        0 |        0
13.39/13.43	c 13.4s |      14 |    93951 |    68552 |      722    202 |        0 |        0
15.39/15.44	c 15.4s |      14 |   107041 |    79052 |      722    228 |        0 |        0
17.09/17.12	c 17.1s |      15 |   117494 |    87632 |      795    248 |        0 |        0
19.08/19.12	c 19.1s |      15 |   132167 |    97632 |      795    270 |        0 |        0
21.09/21.13	c 21.1s |      15 |   144701 |   106932 |      795    291 |        0 |        0
23.08/23.14	c 23.1s |      15 |   156668 |   116332 |      795    312 |        0 |        0
25.08/25.16	c 25.1s |      15 |   168297 |   125832 |      795    333 |        0 |        0
26.38/26.42	c 26.4s |      16 |   174698 |   131552 |      875    346 |        0 |        0
28.38/28.44	c 28.4s |      16 |   189433 |   142252 |      875    368 |        0 |        0
30.38/30.45	c 30.4s |      16 |   204806 |   153152 |      875    390 |        0 |        0
32.38/32.47	c 32.5s |      16 |   221542 |   164152 |      875    413 |        0 |        0
34.40/34.48	c 34.5s |      16 |   234719 |   173752 |      875    432 |        0 |        0
36.39/36.49	c 36.5s |      16 |   251633 |   184252 |      875    454 |        0 |        0
38.49/38.51	c 38.5s |      16 |   266502 |   194452 |      875    475 |        0 |        0
38.99/39.08	c 39.1s |      17 |   270903 |   197432 |      963    481 |        0 |        0
41.09/41.10	c 41.1s |      17 |   283516 |   206632 |      963    499 |        0 |        0
43.09/43.11	c 43.1s |      17 |   296758 |   216532 |      963    517 |        0 |        0
45.08/45.12	c 45.1s |      17 |   312064 |   226632 |      963    536 |        0 |        0
47.08/47.13	c 47.1s |      17 |   324398 |   235932 |      963    554 |        0 |        0
49.08/49.15	c 49.1s |      17 |   337493 |   245232 |      963    571 |        0 |        0
51.08/51.15	c 51.1s |      17 |   348019 |   253532 |      963    586 |        0 |        0
53.09/53.16	c 53.1s |      17 |   361147 |   262432 |      963    603 |        0 |        0
55.08/55.18	c 55.2s |      17 |   375322 |   272032 |      963    621 |        0 |        0
57.08/57.19	c 57.2s |      17 |   390626 |   281732 |      963    640 |        0 |        0
59.08/59.20	c 59.2s |      17 |   407608 |   291532 |      963    658 |        0 |        0
60.08/60.13	c 60.1s |      18 |   414888 |   296252 |     1060    666 |        0 |        0
62.08/62.13	c 62.1s |      18 |   431822 |   306152 |     1060    683 |        0 |        0
64.08/64.13	c 64.1s |      18 |   447366 |   316252 |     1060    701 |        0 |        0
66.08/66.14	c 66.1s |      18 |   465593 |   327252 |     1060    720 |        0 |        0
68.08/68.15	c 68.1s |      18 |   478712 |   336952 |     1060    736 |        0 |        0
70.08/70.16	c 70.1s |      18 |   492348 |   346852 |     1060    754 |        0 |        0
72.08/72.17	c 72.2s |      18 |   505235 |   356552 |     1060    770 |        0 |        0
74.07/74.18	c 74.2s |      18 |   519852 |   366352 |     1060    787 |        0 |        0
76.08/76.18	c 76.2s |      18 |   534761 |   376352 |     1060    804 |        0 |        0
78.17/78.20	c 78.2s |      18 |   545692 |   385252 |     1060    819 |        0 |        0
80.17/80.21	c 80.2s |      18 |   556935 |   394052 |     1060    834 |        0 |        0
82.17/82.22	c 82.2s |      18 |   569605 |   402952 |     1060    850 |        0 |        0
84.17/84.23	c 84.2s |      18 |   583321 |   411752 |     1060    865 |        0 |        0
86.17/86.24	c 86.2s |      18 |   596525 |   421352 |     1060    881 |        0 |        0
88.18/88.25	c 88.2s |      18 |   609885 |   430652 |     1060    896 |        0 |        0
90.17/90.26	c 90.2s |      18 |   624681 |   439752 |     1060    912 |        0 |        0
91.17/91.27	c 91.3s |      19 |   632774 |   444482 |     1166    919 |        0 |        0
93.17/93.28	c 93.3s |      19 |   644050 |   453382 |     1166    933 |        0 |        0
95.17/95.30	c 95.3s |      19 |   655644 |   462782 |     1166    948 |        0 |        0
97.27/97.30	c 97.3s |      19 |   667044 |   471682 |     1166    962 |        0 |        0
99.28/99.31	c 99.3s |      19 |   677726 |   480382 |     1166    976 |        0 |        0
101.27/101.32	c  101s |      19 |   689348 |   489382 |     1166    991 |        0 |        0
103.27/103.32	c  103s |      19 |   700878 |   498282 |     1166   1005 |        0 |        0
105.27/105.32	c  105s |      19 |   711371 |   507282 |     1166   1019 |        0 |        0
107.27/107.34	c  107s |      19 |   722321 |   516282 |     1166   1033 |        0 |        0
109.28/109.35	c  109s |      19 |   734259 |   525582 |     1166   1048 |        0 |        0
111.28/111.36	c  111s |      19 |   744758 |   534282 |     1166   1062 |        0 |        0
113.28/113.38	c  113s |      19 |   753860 |   542482 |     1166   1075 |        0 |        0
115.28/115.39	c  115s |      19 |   763341 |   550582 |     1166   1088 |        0 |        0
117.38/117.40	c  117s |      19 |   772757 |   558782 |     1166   1101 |        0 |        0
119.37/119.42	c  119s |      19 |   782648 |   567382 |     1166   1115 |        0 |        0
121.37/121.42	c  121s |      19 |   794563 |   577082 |     1166   1130 |        0 |        0
123.38/123.45	c  123s |      19 |   805700 |   586082 |     1166   1144 |        0 |        0
125.37/125.47	c  125s |      19 |   817132 |   595382 |     1166   1159 |        0 |        0
127.37/127.48	c  127s |      19 |   828429 |   604882 |     1166   1174 |        0 |        0
129.37/129.49	c  129s |      19 |   839510 |   613482 |     1166   1188 |        0 |        0
131.47/131.51	c  131s |      19 |   851309 |   622882 |     1166   1203 |        0 |        0
133.47/133.51	c  133s |      19 |   862293 |   631782 |     1166   1217 |        0 |        0
135.48/135.52	c  135s |      19 |   873179 |   640182 |     1166   1231 |        0 |        0
137.47/137.53	c  137s |      19 |   884929 |   648882 |     1166   1245 |        0 |        0
139.47/139.54	c  139s |      19 |   896644 |   657582 |     1166   1259 |        0 |        0
141.47/141.55	c  141s |      19 |   908893 |   666582 |     1283   1272 |        0 |        0
141.57/141.60	c  141s |      20 |   909238 |   666827 |     1283   1273 |        0 |        0
143.57/143.61	c  143s |      20 |   921856 |   675727 |     1283   1286 |        0 |        0
145.57/145.62	c  145s |      20 |   933159 |   684427 |     1283   1298 |        0 |        0
147.57/147.63	c  147s |      20 |   944619 |   693027 |     1283   1311 |        0 |        0
149.56/149.65	c  149s |      20 |   955753 |   701327 |     1283   1323 |        0 |        0
151.56/151.65	c  151s |      20 |   967592 |   709627 |     1283   1335 |        0 |        0
153.56/153.66	c  153s |      20 |   978010 |   717727 |     1283   1346 |        0 |        0
155.56/155.69	c  155s |      20 |   988407 |   725727 |     1283   1358 |        0 |        0
157.66/157.70	c  157s |      20 |  1001955 |   734727 |     1283   1371 |        0 |        0
159.67/159.72	c  159s |      20 |  1013849 |   743127 |     1283   1383 |        0 |        0
161.66/161.72	c  161s |      20 |  1024295 |   751227 |     1283   1395 |        0 |        0
163.66/163.75	c  163s |      20 |  1036300 |   759827 |     1283   1407 |        0 |        0
165.66/165.76	c  165s |      20 |  1046876 |   767827 |     1283   1419 |        0 |        0
167.66/167.77	c  167s |      20 |  1057196 |   775827 |     1283   1430 |        0 |        0
169.67/169.77	c  169s |      20 |  1068566 |   784027 |     1283   1442 |        0 |        0
171.66/171.78	c  171s |      20 |  1080353 |   792427 |     1283   1455 |        0 |        0
173.76/173.80	c  173s |      20 |  1095209 |   801427 |     1283   1468 |        0 |        0
175.77/175.83	c  175s |      20 |  1108371 |   810027 |     1283   1480 |        0 |        0
177.77/177.85	c  177s |      20 |  1120766 |   818527 |     1283   1492 |        0 |        0
179.77/179.85	c  179s |      20 |  1131630 |   826627 |     1283   1504 |        0 |        0
181.77/181.86	c  181s |      20 |  1142857 |   834627 |     1283   1515 |        0 |        0
183.77/183.87	c  183s |      20 |  1152189 |   842027 |     1283   1526 |        0 |        0
185.77/185.88	c  185s |      20 |  1163929 |   850127 |     1283   1538 |        0 |        0
187.87/187.90	c  187s |      20 |  1176240 |   858727 |     1283   1550 |        0 |        0
189.87/189.91	c  189s |      20 |  1187865 |   867127 |     1283   1562 |        0 |        0
191.86/191.92	c  191s |      20 |  1200024 |   876227 |     1283   1575 |        0 |        0
193.87/193.94	c  193s |      20 |  1212213 |   885227 |     1283   1589 |        0 |        0
195.86/195.97	c  195s |      20 |  1224370 |   894127 |     1283   1601 |        0 |        0
197.86/197.99	c  197s |      20 |  1234781 |   902327 |     1283   1613 |        0 |        0
199.86/199.99	c  199s |      20 |  1245036 |   910427 |     1283   1625 |        0 |        0
201.86/201.99	c  201s |      20 |  1255509 |   918527 |     1283   1636 |        0 |        0
203.96/204.00	c  203s |      20 |  1265825 |   926227 |     1283   1648 |        0 |        0
205.97/206.01	c  205s |      20 |  1278192 |   935327 |     1283   1661 |        0 |        0
207.96/208.02	c  208s |      20 |  1290126 |   944027 |     1283   1674 |        0 |        0
209.96/210.03	c  210s |      20 |  1301390 |   952627 |     1283   1686 |        0 |        0
211.96/212.05	c  212s |      20 |  1312342 |   961327 |     1283   1698 |        0 |        0
213.96/214.07	c  214s |      20 |  1322244 |   969527 |     1283   1710 |        0 |        0
215.96/216.09	c  216s |      20 |  1332399 |   977427 |     1283   1722 |        0 |        0
217.97/218.10	c  218s |      20 |  1341198 |   984627 |     1283   1732 |        0 |        0
220.06/220.10	c  220s |      20 |  1349957 |   991627 |     1283   1742 |        0 |        0
222.06/222.11	c  222s |      20 |  1360607 |   999027 |     1412   1752 |        0 |        0
222.37/222.48	c  222s |      21 |  1362595 |  1000345 |     1412   1753 |        0 |        0
224.36/224.49	c  224s |      21 |  1371995 |  1008245 |     1412   1764 |        0 |        0
226.46/226.51	c  226s |      21 |  1380632 |  1015745 |     1412   1773 |        0 |        0
228.46/228.51	c  228s |      21 |  1389239 |  1023145 |     1412   1783 |        0 |        0
230.46/230.54	c  230s |      21 |  1398901 |  1031045 |     1412   1794 |        0 |        0
232.46/232.55	c  232s |      21 |  1408529 |  1039145 |     1412   1804 |        0 |        0
234.46/234.55	c  234s |      21 |  1416740 |  1046145 |     1412   1813 |        0 |        0
236.45/236.57	c  236s |      21 |  1425646 |  1053545 |     1412   1823 |        0 |        0
238.55/238.60	c  238s |      21 |  1434881 |  1060945 |     1412   1833 |        0 |        0
240.55/240.61	c  240s |      21 |  1444292 |  1068845 |     1412   1843 |        0 |        0
242.55/242.62	c  242s |      21 |  1453926 |  1076645 |     1412   1853 |        0 |        0
244.55/244.63	c  244s |      21 |  1464373 |  1085045 |     1412   1864 |        0 |        0
246.56/246.64	c  246s |      21 |  1473743 |  1092945 |     1412   1875 |        0 |        0
248.55/248.66	c  248s |      21 |  1484457 |  1101545 |     1412   1886 |        0 |        0
250.55/250.68	c  250s |      21 |  1494017 |  1109345 |     1412   1896 |        0 |        0
252.55/252.68	c  252s |      21 |  1504726 |  1117345 |     1412   1907 |        0 |        0
254.55/254.69	c  254s |      21 |  1514928 |  1125245 |     1412   1917 |        0 |        0
256.65/256.70	c  256s |      21 |  1523947 |  1132545 |     1412   1926 |        0 |        0
258.66/258.71	c  258s |      21 |  1534199 |  1140645 |     1412   1937 |        0 |        0
260.65/260.71	c  260s |      21 |  1544825 |  1148845 |     1412   1948 |        0 |        0
262.65/262.73	c  262s |      21 |  1556386 |  1157245 |     1412   1959 |        0 |        0
264.65/264.75	c  264s |      21 |  1566393 |  1165345 |     1412   1970 |        0 |        0
266.65/266.76	c  266s |      21 |  1577441 |  1174045 |     1412   1981 |        0 |        0
268.65/268.77	c  268s |      21 |  1587762 |  1182645 |     1412   1992 |        0 |        0
270.65/270.78	c  270s |      21 |  1598113 |  1190945 |     1412   2003 |        0 |        0
272.65/272.79	c  272s |      21 |  1608247 |  1199145 |     1412   2014 |        0 |        0
274.75/274.80	c  274s |      21 |  1617710 |  1206945 |     1412   2024 |        0 |        0
276.75/276.81	c  276s |      21 |  1627365 |  1214845 |     1412   2034 |        0 |        0
278.74/278.82	c  278s |      21 |  1636594 |  1222745 |     1412   2044 |        0 |        0
280.75/280.82	c  280s |      21 |  1647737 |  1231545 |     1412   2056 |        0 |        0
282.74/282.83	c  282s |      21 |  1658554 |  1240345 |     1412   2067 |        0 |        0
284.74/284.84	c  284s |      21 |  1669312 |  1248945 |     1412   2079 |        0 |        0
286.75/286.85	c  286s |      21 |  1679691 |  1257245 |     1412   2090 |        0 |        0
288.75/288.87	c  288s |      21 |  1689189 |  1265345 |     1412   2100 |        0 |        0
290.75/290.89	c  290s |      21 |  1700190 |  1274245 |     1412   2112 |        0 |        0
292.75/292.89	c  292s |      21 |  1710133 |  1282445 |     1412   2123 |        0 |        0
294.85/294.90	c  294s |      21 |  1719497 |  1290245 |     1412   2133 |        0 |        0
296.85/296.91	c  296s |      21 |  1728519 |  1297845 |     1412   2143 |        0 |        0
298.85/298.92	c  298s |      21 |  1737446 |  1305545 |     1412   2153 |        0 |        0
300.85/300.95	c  300s |      21 |  1746445 |  1313245 |     1412   2163 |        0 |        0
302.85/302.97	c  302s |      21 |  1756158 |  1321045 |     1412   2173 |        0 |        0
304.85/304.99	c  304s |      21 |  1765218 |  1328545 |     1412   2183 |        0 |        0
306.94/307.01	c  306s |      21 |  1774255 |  1336145 |     1412   2193 |        0 |        0
308.94/309.02	c  309s |      21 |  1783295 |  1343745 |     1412   2203 |        0 |        0
310.94/311.04	c  311s |      21 |  1792556 |  1351445 |     1412   2213 |        0 |        0
312.94/313.05	c  313s |      21 |  1801122 |  1358745 |     1412   2222 |        0 |        0
314.94/315.06	c  315s |      21 |  1809306 |  1365745 |     1412   2231 |        0 |        0
316.95/317.08	c  317s |      21 |  1817172 |  1372645 |     1412   2240 |        0 |        0
319.04/319.11	c  319s |      21 |  1824607 |  1379145 |     1412   2248 |        0 |        0
321.04/321.14	c  321s |      21 |  1833093 |  1386245 |     1412   2258 |        0 |        0
323.04/323.16	c  323s |      21 |  1841643 |  1393345 |     1412   2267 |        0 |        0
325.04/325.18	c  325s |      21 |  1850048 |  1400245 |     1412   2276 |        0 |        0
327.14/327.20	c  327s |      21 |  1859570 |  1407845 |     1412   2286 |        0 |        0
329.15/329.22	c  329s |      21 |  1869617 |  1415745 |     1412   2296 |        0 |        0
331.14/331.22	c  331s |      21 |  1879530 |  1423545 |     1412   2307 |        0 |        0
333.14/333.24	c  333s |      21 |  1890745 |  1432545 |     1412   2318 |        0 |        0
335.14/335.25	c  335s |      21 |  1902190 |  1441345 |     1412   2330 |        0 |        0
337.14/337.27	c  337s |      21 |  1912057 |  1449445 |     1412   2341 |        0 |        0
339.14/339.27	c  339s |      21 |  1921269 |  1457245 |     1412   2351 |        0 |        0
341.14/341.28	c  341s |      21 |  1931315 |  1465145 |     1412   2361 |        0 |        0
343.24/343.30	c  343s |      21 |  1941354 |  1473045 |     1412   2372 |        0 |        0
345.24/345.32	c  345s |      21 |  1950830 |  1481245 |     1412   2383 |        0 |        0
347.24/347.33	c  347s |      21 |  1960470 |  1489345 |     1412   2393 |        0 |        0
349.23/349.33	c  349s |      21 |  1970607 |  1497745 |     1554   2403 |        0 |        0
349.94/350.03	c  350s |      22 |  1974191 |  1500622 |     1554   2407 |        0 |        0
351.93/352.06	c  352s |      22 |  1986938 |  1509622 |     1554   2417 |        0 |        0
353.93/354.07	c  354s |      22 |  1997929 |  1518122 |     1554   2428 |        0 |        0
355.93/356.08	c  356s |      22 |  2009278 |  1526322 |     1554   2438 |        0 |        0
358.03/358.10	c  358s |      22 |  2019200 |  1534422 |     1554   2447 |        0 |        0
360.03/360.11	c  360s |      22 |  2028407 |  1541722 |     1554   2456 |        0 |        0
362.04/362.12	c  362s |      22 |  2038629 |  1549322 |     1554   2465 |        0 |        0
364.03/364.12	c  364s |      22 |  2048848 |  1557022 |     1554   2474 |        0 |        0
366.03/366.14	c  366s |      22 |  2057606 |  1564022 |     1554   2483 |        0 |        0
368.03/368.16	c  368s |      22 |  2066272 |  1571322 |     1554   2492 |        0 |        0
370.03/370.16	c  370s |      22 |  2075220 |  1578822 |     1554   2501 |        0 |        0
372.04/372.17	c  372s |      22 |  2083429 |  1585822 |     1554   2509 |        0 |        0
374.03/374.18	c  374s |      22 |  2092953 |  1593422 |     1554   2518 |        0 |        0
376.03/376.18	c  376s |      22 |  2103209 |  1601022 |     1554   2527 |        0 |        0
378.13/378.20	c  378s |      22 |  2114767 |  1609322 |     1554   2537 |        0 |        0
380.13/380.23	c  380s |      22 |  2126085 |  1617322 |     1554   2547 |        0 |        0
382.13/382.23	c  382s |      22 |  2136721 |  1625022 |     1554   2556 |        0 |        0
384.13/384.25	c  384s |      22 |  2147861 |  1633122 |     1554   2566 |        0 |        0
386.13/386.27	c  386s |      22 |  2157520 |  1640722 |     1554   2575 |        0 |        0
388.13/388.28	c  388s |      22 |  2166958 |  1648222 |     1554   2584 |        0 |        0
390.13/390.29	c  390s |      22 |  2177364 |  1655922 |     1554   2593 |        0 |        0
392.23/392.30	c  392s |      22 |  2187152 |  1663522 |     1554   2602 |        0 |        0
394.23/394.33	c  394s |      22 |  2197558 |  1671822 |     1554   2612 |        0 |        0
396.24/396.34	c  396s |      22 |  2207957 |  1680222 |     1554   2622 |        0 |        0
398.23/398.34	c  398s |      22 |  2217797 |  1688222 |     1554   2632 |        0 |        0
400.23/400.36	c  400s |      22 |  2227607 |  1696222 |     1554   2642 |        0 |        0
402.23/402.38	c  402s |      22 |  2238519 |  1704222 |     1554   2651 |        0 |        0
404.23/404.39	c  404s |      22 |  2248363 |  1711722 |     1554   2660 |        0 |        0
406.33/406.41	c  406s |      22 |  2257992 |  1719322 |     1554   2669 |        0 |        0
408.34/408.43	c  408s |      22 |  2266987 |  1726722 |     1554   2678 |        0 |        0
410.33/410.43	c  410s |      22 |  2275739 |  1733922 |     1554   2687 |        0 |        0
412.33/412.44	c  412s |      22 |  2283983 |  1740922 |     1554   2695 |        0 |        0
414.33/414.46	c  414s |      22 |  2293478 |  1749022 |     1554   2705 |        0 |        0
416.33/416.47	c  416s |      22 |  2303991 |  1757422 |     1554   2715 |        0 |        0
418.33/418.47	c  418s |      22 |  2314155 |  1765722 |     1554   2725 |        0 |        0
420.33/420.49	c  420s |      22 |  2325756 |  1774122 |     1554   2735 |        0 |        0
422.32/422.49	c  422s |      22 |  2335902 |  1782022 |     1554   2745 |        0 |        0
424.42/424.50	c  424s |      22 |  2346187 |  1790222 |     1554   2755 |        0 |        0
426.42/426.53	c  426s |      22 |  2355610 |  1798122 |     1554   2764 |        0 |        0
428.42/428.53	c  428s |      22 |  2364718 |  1805622 |     1554   2773 |        0 |        0
430.42/430.54	c  430s |      22 |  2373686 |  1813122 |     1554   2782 |        0 |        0
432.43/432.55	c  432s |      22 |  2381540 |  1820022 |     1554   2791 |        0 |        0
434.42/434.58	c  434s |      22 |  2391301 |  1827622 |     1554   2800 |        0 |        0
436.52/436.60	c  436s |      22 |  2400135 |  1834822 |     1554   2808 |        0 |        0
438.52/438.61	c  438s |      22 |  2409360 |  1842422 |     1554   2817 |        0 |        0
440.52/440.63	c  440s |      22 |  2418706 |  1849922 |     1554   2826 |        0 |        0
442.52/442.64	c  442s |      22 |  2428175 |  1857522 |     1554   2835 |        0 |        0
444.53/444.67	c  444s |      22 |  2437158 |  1865222 |     1554   2845 |        0 |        0
446.52/446.68	c  446s |      22 |  2445772 |  1872722 |     1554   2854 |        0 |        0
448.52/448.69	c  448s |      22 |  2455572 |  1880822 |     1554   2863 |        0 |        0
450.62/450.70	c  450s |      22 |  2465473 |  1888922 |     1554   2873 |        0 |        0
452.62/452.71	c  452s |      22 |  2475560 |  1897222 |     1554   2883 |        0 |        0
454.62/454.72	c  454s |      22 |  2486617 |  1906222 |     1554   2894 |        0 |        0
456.62/456.73	c  456s |      22 |  2496400 |  1914422 |     1554   2904 |        0 |        0
458.62/458.73	c  458s |      22 |  2506401 |  1922622 |     1554   2914 |        0 |        0
460.62/460.75	c  460s |      22 |  2517496 |  1931522 |     1554   2924 |        0 |        0
462.61/462.77	c  462s |      22 |  2527560 |  1939722 |     1554   2934 |        0 |        0
464.61/464.77	c  464s |      22 |  2538953 |  1948422 |     1554   2945 |        0 |        0
466.62/466.79	c  466s |      22 |  2548635 |  1956522 |     1554   2954 |        0 |        0
468.72/468.81	c  468s |      22 |  2557849 |  1964322 |     1554   2964 |        0 |        0
470.71/470.83	c  470s |      22 |  2567084 |  1971722 |     1554   2973 |        0 |        0
472.71/472.84	c  472s |      22 |  2574926 |  1978622 |     1554   2981 |        0 |        0
474.71/474.85	c  474s |      22 |  2583671 |  1986222 |     1554   2990 |        0 |        0
476.72/476.85	c  476s |      22 |  2592879 |  1994022 |     1554   3000 |        0 |        0
478.73/478.86	c  478s |      22 |  2601311 |  2001322 |     1554   3008 |        0 |        0
480.72/480.88	c  480s |      22 |  2610904 |  2009222 |     1554   3018 |        0 |        0
482.82/482.90	c  482s |      22 |  2620109 |  2016922 |     1554   3027 |        0 |        0
484.82/484.91	c  484s |      22 |  2629037 |  2024522 |     1554   3036 |        0 |        0
486.82/486.93	c  486s |      22 |  2638462 |  2032122 |     1554   3045 |        0 |        0
488.82/488.95	c  488s |      22 |  2648596 |  2040022 |     1554   3055 |        0 |        0
490.82/490.96	c  490s |      22 |  2658558 |  2047822 |     1554   3064 |        0 |        0
492.82/492.96	c  492s |      22 |  2667850 |  2055322 |     1554   3073 |        0 |        0
494.82/494.97	c  494s |      22 |  2677655 |  2063522 |     1554   3083 |        0 |        0
496.82/496.98	c  496s |      22 |  2687079 |  2071322 |     1554   3092 |        0 |        0
498.92/499.00	c  498s |      22 |  2697637 |  2079422 |     1554   3102 |        0 |        0
500.91/501.01	c  500s |      22 |  2707683 |  2087522 |     1554   3112 |        0 |        0
502.92/503.02	c  503s |      22 |  2717903 |  2095922 |     1554   3122 |        0 |        0
504.91/505.03	c  505s |      22 |  2727527 |  2103922 |     1554   3132 |        0 |        0
506.91/507.05	c  507s |      22 |  2736839 |  2111722 |     1554   3141 |        0 |        0
508.91/509.05	c  509s |      22 |  2746607 |  2120022 |     1554   3151 |        0 |        0
510.91/511.07	c  511s |      22 |  2755009 |  2127522 |     1554   3160 |        0 |        0
512.91/513.09	c  513s |      22 |  2763711 |  2135222 |     1554   3169 |        0 |        0
515.02/515.11	c  515s |      22 |  2772687 |  2142922 |     1554   3179 |        0 |        0
517.01/517.12	c  517s |      22 |  2781677 |  2150722 |     1554   3188 |        0 |        0
519.01/519.13	c  519s |      22 |  2790484 |  2158422 |     1554   3198 |        0 |        0
521.01/521.13	c  521s |      22 |  2799807 |  2166422 |     1554   3207 |        0 |        0
523.01/523.13	c  523s |      22 |  2808390 |  2173922 |     1554   3216 |        0 |        0
525.01/525.15	c  525s |      22 |  2817204 |  2181422 |     1554   3225 |        0 |        0
527.01/527.17	c  527s |      22 |  2825676 |  2188822 |     1554   3234 |        0 |        0
529.01/529.18	c  529s |      22 |  2833708 |  2196022 |     1554   3243 |        0 |        0
531.01/531.18	c  531s |      22 |  2842836 |  2203722 |     1554   3252 |        0 |        0
533.01/533.19	c  533s |      22 |  2851563 |  2211222 |     1554   3261 |        0 |        0
535.10/535.21	c  535s |      22 |  2860087 |  2218522 |     1554   3270 |        0 |        0
537.10/537.23	c  537s |      22 |  2869310 |  2226322 |     1554   3279 |        0 |        0
539.11/539.24	c  539s |      22 |  2879760 |  2234822 |     1554   3290 |        0 |        0
541.11/541.26	c  541s |      22 |  2889328 |  2242722 |     1710   3298 |        0 |        0
543.11/543.27	c  543s |      22 |  2898953 |  2250622 |     1710   3307 |        0 |        0
543.21/543.37	c  543s |      23 |  2899462 |  2251038 |     1710   3308 |        0 |        0
545.21/545.38	c  545s |      23 |  2910788 |  2259938 |     1710   3317 |        0 |        0
547.21/547.40	c  547s |      23 |  2920301 |  2267838 |     1710   3326 |        0 |        0
549.31/549.40	c  549s |      23 |  2930739 |  2276238 |     1710   3336 |        0 |        0
551.32/551.40	c  551s |      23 |  2941223 |  2284538 |     1710   3345 |        0 |        0
553.31/553.41	c  553s |      23 |  2951361 |  2292938 |     1710   3354 |        0 |        0
555.31/555.44	c  555s |      23 |  2961699 |  2301238 |     1710   3364 |        0 |        0
557.31/557.45	c  557s |      23 |  2971343 |  2309138 |     1710   3372 |        0 |        0
559.31/559.45	c  559s |      23 |  2980292 |  2317038 |     1710   3381 |        0 |        0
561.31/561.46	c  561s |      23 |  2989069 |  2324738 |     1710   3390 |        0 |        0
563.31/563.47	c  563s |      23 |  2998491 |  2332838 |     1710   3399 |        0 |        0
565.31/565.48	c  565s |      23 |  3008861 |  2341238 |     1710   3408 |        0 |        0
567.41/567.50	c  567s |      23 |  3018337 |  2349138 |     1710   3417 |        0 |        0
569.41/569.53	c  569s |      23 |  3030032 |  2358038 |     1710   3427 |        0 |        0
571.41/571.53	c  571s |      23 |  3040483 |  2366438 |     1710   3436 |        0 |        0
573.40/573.54	c  573s |      23 |  3051532 |  2375038 |     1710   3445 |        0 |        0
575.41/575.55	c  575s |      23 |  3063110 |  2383938 |     1710   3455 |        0 |        0
577.40/577.56	c  577s |      23 |  3074509 |  2392838 |     1710   3465 |        0 |        0
579.40/579.57	c  579s |      23 |  3085461 |  2401338 |     1710   3475 |        0 |        0
581.40/581.58	c  581s |      23 |  3095898 |  2409738 |     1710   3484 |        0 |        0
583.40/583.59	c  583s |      23 |  3108181 |  2419138 |     1710   3495 |        0 |        0
585.50/585.60	c  585s |      23 |  3120178 |  2428338 |     1710   3505 |        0 |        0
587.51/587.60	c  587s |      23 |  3132511 |  2437538 |     1710   3515 |        0 |        0
589.50/589.61	c  589s |      23 |  3144720 |  2446338 |     1710   3525 |        0 |        0
591.50/591.62	c  591s |      23 |  3156274 |  2455138 |     1710   3534 |        0 |        0
593.50/593.63	c  593s |      23 |  3167092 |  2463638 |     1710   3544 |        0 |        0
595.50/595.63	c  595s |      23 |  3177111 |  2471638 |     1710   3553 |        0 |        0
597.50/597.64	c  597s |      23 |  3188651 |  2480538 |     1710   3563 |        0 |        0
599.50/599.65	c  599s |      23 |  3199407 |  2489138 |     1710   3572 |        0 |        0
601.49/601.66	c  601s |      23 |  3211048 |  2497838 |     1710   3582 |        0 |        0
603.49/603.68	c  603s |      23 |  3222677 |  2506838 |     1710   3592 |        0 |        0
605.49/605.69	c  605s |      23 |  3233766 |  2515438 |     1710   3601 |        0 |        0
607.59/607.70	c  607s |      23 |  3244359 |  2523938 |     1710   3610 |        0 |        0
609.61/609.72	c  609s |      23 |  3257098 |  2532938 |     1710   3620 |        0 |        0
611.60/611.74	c  611s |      23 |  3268122 |  2541638 |     1710   3630 |        0 |        0
613.60/613.75	c  613s |      23 |  3277661 |  2549938 |     1710   3639 |        0 |        0
615.60/615.76	c  615s |      23 |  3287670 |  2558238 |     1710   3648 |        0 |        0
617.60/617.77	c  617s |      23 |  3297345 |  2566338 |     1710   3657 |        0 |        0
619.60/619.78	c  619s |      23 |  3307849 |  2574738 |     1710   3666 |        0 |        0
621.61/621.78	c  621s |      23 |  3317922 |  2582938 |     1710   3675 |        0 |        0
623.70/623.81	c  623s |      23 |  3328113 |  2591138 |     1710   3684 |        0 |        0
625.70/625.83	c  625s |      23 |  3338435 |  2599438 |     1710   3694 |        0 |        0
627.70/627.84	c  627s |      23 |  3348808 |  2607738 |     1710   3703 |        0 |        0
629.70/629.86	c  629s |      23 |  3357965 |  2615438 |     1710   3711 |        0 |        0
631.70/631.87	c  631s |      23 |  3368165 |  2623738 |     1710   3720 |        0 |        0
633.70/633.88	c  633s |      23 |  3378009 |  2631738 |     1710   3729 |        0 |        0
635.70/635.89	c  635s |      23 |  3388507 |  2639938 |     1710   3738 |        0 |        0
637.70/637.89	c  637s |      23 |  3397512 |  2647638 |     1710   3747 |        0 |        0
639.70/639.89	c  639s |      23 |  3408005 |  2656038 |     1710   3756 |        0 |        0
641.80/641.91	c  641s |      23 |  3419496 |  2664638 |     1710   3766 |        0 |        0
643.80/643.91	c  643s |      23 |  3430502 |  2673438 |     1710   3775 |        0 |        0
645.80/645.94	c  645s |      23 |  3442611 |  2682638 |     1710   3786 |        0 |        0
647.79/647.96	c  647s |      23 |  3453014 |  2690938 |     1710   3795 |        0 |        0
649.79/649.96	c  649s |      23 |  3463822 |  2699338 |     1710   3804 |        0 |        0
651.79/651.98	c  651s |      23 |  3475172 |  2707838 |     1710   3813 |        0 |        0
653.79/653.98	c  653s |      23 |  3485449 |  2716038 |     1710   3822 |        0 |        0
655.89/656.00	c  655s |      23 |  3495564 |  2724138 |     1710   3831 |        0 |        0
657.90/658.01	c  657s |      23 |  3505947 |  2732238 |     1710   3840 |        0 |        0
659.89/660.01	c  659s |      23 |  3517065 |  2740738 |     1710   3850 |        0 |        0
661.89/662.02	c  662s |      23 |  3528114 |  2748938 |     1710   3859 |        0 |        0
663.89/664.03	c  664s |      23 |  3538473 |  2757138 |     1710   3868 |        0 |        0
665.89/666.03	c  666s |      23 |  3548774 |  2765438 |     1710   3877 |        0 |        0
667.90/668.05	c  668s |      23 |  3557594 |  2773038 |     1710   3886 |        0 |        0
669.89/670.06	c  670s |      23 |  3567345 |  2781138 |     1710   3895 |        0 |        0
671.89/672.06	c  672s |      23 |  3576850 |  2789038 |     1710   3904 |        0 |        0
673.89/674.08	c  674s |      23 |  3586526 |  2796938 |     1710   3912 |        0 |        0
675.99/676.11	c  676s |      23 |  3596242 |  2804838 |     1710   3921 |        0 |        0
677.98/678.12	c  678s |      23 |  3605451 |  2812838 |     1710   3930 |        0 |        0
679.99/680.13	c  680s |      23 |  3614484 |  2820538 |     1710   3939 |        0 |        0
681.98/682.16	c  682s |      23 |  3624758 |  2828638 |     1710   3948 |        0 |        0
683.98/684.17	c  684s |      23 |  3633146 |  2835838 |     1710   3956 |        0 |        0
685.98/686.19	c  686s |      23 |  3641532 |  2843038 |     1710   3964 |        0 |        0
688.08/688.20	c  688s |      23 |  3651151 |  2851138 |     1710   3972 |        0 |        0
690.08/690.20	c  690s |      23 |  3660561 |  2859138 |     1710   3981 |        0 |        0
692.09/692.21	c  692s |      23 |  3669473 |  2866738 |     1710   3990 |        0 |        0
694.08/694.23	c  694s |      23 |  3680240 |  2875538 |     1710   3999 |        0 |        0
696.08/696.24	c  696s |      23 |  3690142 |  2883638 |     1710   4008 |        0 |        0
698.08/698.24	c  698s |      23 |  3700156 |  2891638 |     1710   4017 |        0 |        0
700.08/700.26	c  700s |      23 |  3710451 |  2899838 |     1710   4026 |        0 |        0
702.08/702.27	c  702s |      23 |  3720075 |  2907638 |     1710   4035 |        0 |        0
704.08/704.28	c  704s |      23 |  3729172 |  2915238 |     1710   4043 |        0 |        0
706.07/706.28	c  706s |      23 |  3738854 |  2923138 |     1710   4052 |        0 |        0
708.18/708.30	c  708s |      23 |  3748519 |  2930938 |     1710   4061 |        0 |        0
710.18/710.32	c  710s |      23 |  3758019 |  2938738 |     1710   4069 |        0 |        0
712.18/712.33	c  712s |      23 |  3766430 |  2945938 |     1710   4077 |        0 |        0
714.18/714.33	c  714s |      23 |  3775496 |  2953438 |     1710   4086 |        0 |        0
716.18/716.35	c  716s |      23 |  3784692 |  2961038 |     1710   4094 |        0 |        0
718.17/718.38	c  718s |      23 |  3793936 |  2968738 |     1710   4102 |        0 |        0
720.27/720.40	c  720s |      23 |  3803345 |  2976638 |     1710   4111 |        0 |        0
722.27/722.41	c  722s |      23 |  3813928 |  2985238 |     1710   4121 |        0 |        0
724.27/724.42	c  724s |      23 |  3823655 |  2993238 |     1710   4129 |        0 |        0
726.27/726.44	c  726s |      23 |  3833424 |  3001038 |     1710   4138 |        0 |        0
728.28/728.46	c  728s |      23 |  3842475 |  3008538 |     1710   4146 |        0 |        0
730.27/730.48	c  730s |      23 |  3851823 |  3016338 |     1710   4155 |        0 |        0
732.27/732.48	c  732s |      23 |  3861283 |  3024138 |     1710   4163 |        0 |        0
734.26/734.48	c  734s |      23 |  3870943 |  3032038 |     1710   4172 |        0 |        0
736.26/736.49	c  736s |      23 |  3881487 |  3040238 |     1710   4181 |        0 |        0
738.36/738.50	c  738s |      23 |  3891272 |  3048038 |     1710   4189 |        0 |        0
740.26/740.50	c  740s |      23 |  3900380 |  3055638 |     1710   4198 |        0 |        0
742.36/742.51	c  742s |      23 |  3910229 |  3063738 |     1710   4207 |        0 |        0
744.36/744.52	c  744s |      23 |  3919147 |  3071138 |     1710   4215 |        0 |        0
746.36/746.53	c  746s |      23 |  3930560 |  3079638 |     1710   4224 |        0 |        0
748.36/748.55	c  748s |      23 |  3941639 |  3088238 |     1710   4234 |        0 |        0
750.36/750.56	c  750s |      23 |  3951883 |  3096638 |     1710   4243 |        0 |        0
752.36/752.58	c  752s |      23 |  3962027 |  3104938 |     1710   4252 |        0 |        0
754.35/754.59	c  754s |      23 |  3971201 |  3112638 |     1710   4260 |        0 |        0
756.45/756.61	c  756s |      23 |  3981681 |  3121038 |     1710   4270 |        0 |        0
758.45/758.61	c  758s |      23 |  3991885 |  3129338 |     1710   4279 |        0 |        0
760.45/760.63	c  760s |      23 |  4002540 |  3137838 |     1710   4288 |        0 |        0
762.46/762.63	c  762s |      23 |  4013258 |  3146238 |     1710   4297 |        0 |        0
764.44/764.65	c  764s |      23 |  4023999 |  3154338 |     1710   4306 |        0 |        0
766.44/766.67	c  766s |      23 |  4034440 |  3162638 |     1710   4315 |        0 |        0
768.44/768.69	c  768s |      23 |  4044945 |  3170938 |     1710   4325 |        0 |        0
770.54/770.71	c  770s |      23 |  4055655 |  3179238 |     1710   4334 |        0 |        0
772.54/772.71	c  772s |      23 |  4066420 |  3187438 |     1710   4343 |        0 |        0
774.55/774.73	c  774s |      23 |  4076635 |  3195538 |     1710   4352 |        0 |        0
776.54/776.75	c  776s |      23 |  4087047 |  3203738 |     1710   4361 |        0 |        0
778.54/778.76	c  778s |      23 |  4098251 |  3212338 |     1710   4370 |        0 |        0
780.54/780.78	c  780s |      23 |  4109770 |  3220738 |     1710   4380 |        0 |        0
782.53/782.78	c  782s |      23 |  4121589 |  3229638 |     1710   4389 |        0 |        0
784.53/784.78	c  784s |      23 |  4130987 |  3237438 |     1710   4398 |        0 |        0
786.54/786.80	c  786s |      23 |  4142593 |  3246238 |     1710   4408 |        0 |        0
788.63/788.82	c  788s |      23 |  4153649 |  3254638 |     1710   4417 |        0 |        0
790.63/790.83	c  790s |      23 |  4163301 |  3262438 |     1710   4426 |        0 |        0
792.62/792.84	c  792s |      23 |  4172081 |  3269938 |     1710   4434 |        0 |        0
794.62/794.86	c  794s |      23 |  4184117 |  3278538 |     1710   4444 |        0 |        0
796.62/796.87	c  796s |      23 |  4194769 |  3287038 |     1710   4453 |        0 |        0
798.63/798.89	c  798s |      23 |  4207507 |  3296138 |     1710   4463 |        0 |        0
800.72/800.90	c  800s |      23 |  4221117 |  3305438 |     1710   4474 |        0 |        0
802.72/802.90	c  802s |      23 |  4232929 |  3314138 |     1710   4483 |        0 |        0
804.72/804.93	c  804s |      23 |  4243376 |  3322238 |     1710   4492 |        0 |        0
806.73/806.96	c  806s |      23 |  4256357 |  3331538 |     1710   4503 |        0 |        0
808.73/808.99	c  808s |      23 |  4268980 |  3340538 |     1710   4513 |        0 |        0
810.83/811.01	c  810s |      23 |  4280963 |  3349438 |     1710   4522 |        0 |        0
812.82/813.02	c  813s |      23 |  4290286 |  3357138 |     1882   4530 |        0 |        0
814.82/815.03	c  815s |      23 |  4301118 |  3365338 |     1882   4539 |        0 |        0
816.82/817.03	c  817s |      23 |  4312542 |  3373538 |     1882   4547 |        0 |        0
817.52/817.80	c  817s |      24 |  4316480 |  3376662 |     1882   4550 |        0 |        0
819.53/819.80	c  819s |      24 |  4326290 |  3384462 |     1882   4558 |        0 |        0
821.62/821.80	c  821s |      24 |  4337594 |  3392862 |     1882   4567 |        0 |        0
823.61/823.82	c  823s |      24 |  4347985 |  3400562 |     1882   4574 |        0 |        0
825.61/825.82	c  825s |      24 |  4359158 |  3408362 |     1882   4582 |        0 |        0
827.61/827.85	c  827s |      24 |  4369622 |  3415662 |     1882   4590 |        0 |        0
829.61/829.89	c  829s |      24 |  4377271 |  3422362 |     1882   4597 |        0 |        0
831.62/831.90	c  831s |      24 |  4385113 |  3429062 |     1882   4603 |        0 |        0
833.71/833.91	c  833s |      24 |  4393250 |  3435662 |     1882   4610 |        0 |        0
835.71/835.93	c  835s |      24 |  4401075 |  3442162 |     1882   4616 |        0 |        0
837.71/837.94	c  837s |      24 |  4410040 |  3448962 |     1882   4623 |        0 |        0
839.71/839.96	c  839s |      24 |  4419356 |  3456162 |     1882   4630 |        0 |        0
841.70/841.97	c  841s |      24 |  4430046 |  3463762 |     1882   4638 |        0 |        0
843.71/843.99	c  843s |      24 |  4439772 |  3471262 |     1882   4646 |        0 |        0
845.70/846.00	c  845s |      24 |  4451562 |  3479262 |     1882   4654 |        0 |        0
847.80/848.02	c  848s |      24 |  4461084 |  3486562 |     1882   4661 |        0 |        0
849.80/850.04	c  850s |      24 |  4470615 |  3493762 |     1882   4668 |        0 |        0
851.80/852.06	c  852s |      24 |  4480455 |  3500862 |     1882   4676 |        0 |        0
853.79/854.09	c  854s |      24 |  4489124 |  3507762 |     1882   4683 |        0 |        0
855.90/856.11	c  856s |      24 |  4499385 |  3514962 |     1882   4690 |        0 |        0
857.89/858.11	c  858s |      24 |  4510624 |  3522962 |     1882   4698 |        0 |        0
859.89/860.11	c  860s |      24 |  4520608 |  3530162 |     1882   4705 |        0 |        0
861.89/862.14	c  862s |      24 |  4530217 |  3537162 |     1882   4712 |        0 |        0
863.89/864.16	c  864s |      24 |  4539505 |  3543862 |     1882   4719 |        0 |        0
865.89/866.17	c  866s |      24 |  4548427 |  3550862 |     1882   4726 |        0 |        0
867.89/868.18	c  868s |      24 |  4557944 |  3558462 |     1882   4734 |        0 |        0
869.98/870.20	c  870s |      24 |  4568103 |  3566062 |     1882   4741 |        0 |        0
871.98/872.21	c  872s |      24 |  4577629 |  3573162 |     1882   4749 |        0 |        0
873.98/874.23	c  874s |      24 |  4587620 |  3580562 |     1882   4756 |        0 |        0
875.98/876.25	c  876s |      24 |  4597142 |  3587862 |     1882   4763 |        0 |        0
877.98/878.27	c  878s |      24 |  4607215 |  3595562 |     1882   4771 |        0 |        0
879.98/880.29	c  880s |      24 |  4616539 |  3602762 |     1882   4778 |        0 |        0
882.07/882.30	c  882s |      24 |  4624352 |  3609362 |     1882   4785 |        0 |        0
884.07/884.31	c  884s |      24 |  4632645 |  3616262 |     1882   4792 |        0 |        0
886.07/886.32	c  886s |      24 |  4640880 |  3622962 |     1882   4799 |        0 |        0
888.07/888.33	c  888s |      24 |  4648566 |  3629362 |     1882   4805 |        0 |        0
890.07/890.35	c  890s |      24 |  4657860 |  3636862 |     1882   4813 |        0 |        0
892.07/892.36	c  892s |      24 |  4667647 |  3644662 |     1882   4821 |        0 |        0
894.06/894.37	c  894s |      24 |  4677864 |  3652562 |     1882   4829 |        0 |        0
896.16/896.40	c  896s |      24 |  4687668 |  3660262 |     1882   4836 |        0 |        0
898.16/898.43	c  898s |      24 |  4696030 |  3667262 |     1882   4843 |        0 |        0
900.17/900.44	c  900s |      24 |  4705274 |  3675062 |     1882   4851 |        0 |        0
902.17/902.46	c  902s |      24 |  4713967 |  3682462 |     1882   4859 |        0 |        0
904.17/904.46	c  904s |      24 |  4723737 |  3690062 |     1882   4866 |        0 |        0
906.16/906.48	c  906s |      24 |  4733533 |  3697262 |     1882   4874 |        0 |        0
908.16/908.49	c  908s |      24 |  4743393 |  3704762 |     1882   4881 |        0 |        0
910.26/910.52	c  910s |      24 |  4752635 |  3711862 |     1882   4888 |        0 |        0
912.26/912.55	c  912s |      24 |  4762426 |  3719562 |     1882   4896 |        0 |        0
914.26/914.55	c  914s |      24 |  4771050 |  3726662 |     1882   4903 |        0 |        0
916.26/916.56	c  916s |      24 |  4779177 |  3733562 |     1882   4910 |        0 |        0
918.26/918.59	c  918s |      24 |  4787895 |  3740662 |     1882   4918 |        0 |        0
920.36/920.60	c  920s |      24 |  4798468 |  3748462 |     1882   4925 |        0 |        0
922.36/922.62	c  922s |      24 |  4807901 |  3756062 |     1882   4933 |        0 |        0
924.35/924.65	c  924s |      24 |  4816790 |  3763262 |     1882   4940 |        0 |        0
926.35/926.68	c  926s |      24 |  4825579 |  3770362 |     1882   4948 |        0 |        0
928.36/928.69	c  928s |      24 |  4833631 |  3777062 |     1882   4954 |        0 |        0
930.45/930.71	c  930s |      24 |  4841384 |  3783662 |     1882   4961 |        0 |        0
932.45/932.74	c  932s |      24 |  4848908 |  3790162 |     1882   4968 |        0 |        0
934.44/934.75	c  934s |      24 |  4856840 |  3796962 |     1882   4974 |        0 |        0
936.44/936.77	c  936s |      24 |  4867203 |  3805362 |     1882   4983 |        0 |        0
938.44/938.78	c  938s |      24 |  4876956 |  3813262 |     1882   4991 |        0 |        0
940.45/940.78	c  940s |      24 |  4885955 |  3820562 |     1882   4998 |        0 |        0
942.44/942.79	c  942s |      24 |  4894580 |  3827662 |     1882   5005 |        0 |        0
944.54/944.81	c  944s |      24 |  4903609 |  3835062 |     1882   5013 |        0 |        0
946.54/946.82	c  946s |      24 |  4912475 |  3842562 |     1882   5020 |        0 |        0
948.54/948.82	c  948s |      24 |  4922020 |  3850162 |     1882   5028 |        0 |        0
950.54/950.84	c  950s |      24 |  4931466 |  3857462 |     1882   5035 |        0 |        0
952.54/952.86	c  952s |      24 |  4940150 |  3864662 |     1882   5043 |        0 |        0
954.53/954.89	c  954s |      24 |  4948962 |  3871662 |     1882   5050 |        0 |        0
956.63/956.91	c  956s |      24 |  4956412 |  3878362 |     1882   5056 |        0 |        0
958.63/958.93	c  958s |      24 |  4964001 |  3884962 |     1882   5063 |        0 |        0
960.63/960.95	c  960s |      24 |  4972553 |  3891862 |     1882   5070 |        0 |        0
962.62/962.96	c  962s |      24 |  4981615 |  3899362 |     1882   5077 |        0 |        0
964.63/964.98	c  964s |      24 |  4990659 |  3907062 |     1882   5085 |        0 |        0
966.62/966.99	c  966s |      24 |  4999574 |  3914562 |     1882   5093 |        0 |        0
968.62/968.99	c  968s |      24 |  5007870 |  3921462 |     1882   5100 |        0 |        0
970.72/971.01	c  970s |      24 |  5015953 |  3928262 |     1882   5107 |        0 |        0
972.72/973.02	c  973s |      24 |  5024123 |  3935362 |     1882   5114 |        0 |        0
974.72/975.03	c  975s |      24 |  5032453 |  3942562 |     1882   5121 |        0 |        0
976.72/977.03	c  977s |      24 |  5040626 |  3949662 |     1882   5128 |        0 |        0
978.72/979.03	c  979s |      24 |  5048556 |  3956462 |     1882   5135 |        0 |        0
980.72/981.05	c  981s |      24 |  5057230 |  3963762 |     1882   5142 |        0 |        0
982.71/983.08	c  983s |      24 |  5066904 |  3971562 |     1882   5150 |        0 |        0
984.71/985.09	c  985s |      24 |  5075876 |  3978962 |     1882   5158 |        0 |        0
986.72/987.09	c  987s |      24 |  5084239 |  3985962 |     1882   5165 |        0 |        0
988.82/989.12	c  989s |      24 |  5093675 |  3993462 |     1882   5172 |        0 |        0
990.81/991.12	c  991s |      24 |  5102191 |  4000662 |     1882   5179 |        0 |        0
992.81/993.13	c  993s |      24 |  5109810 |  4007262 |     1882   5186 |        0 |        0
994.80/995.14	c  995s |      24 |  5118921 |  4014662 |     1882   5194 |        0 |        0
996.80/997.17	c  997s |      24 |  5127327 |  4021762 |     1882   5201 |        0 |        0
998.81/999.18	c  999s |      24 |  5135595 |  4028562 |     1882   5207 |        0 |        0
1000.80/1001.19	c 1001s |      24 |  5143188 |  4035062 |     1882   5214 |        0 |        0
1002.80/1003.20	c 1003s |      24 |  5150340 |  4041462 |     1882   5220 |        0 |        0
1004.90/1005.21	c 1005s |      24 |  5157481 |  4047862 |     1882   5227 |        0 |        0
1006.90/1007.24	c 1007s |      24 |  5165056 |  4054362 |     1882   5233 |        0 |        0
1008.90/1009.26	c 1009s |      24 |  5172139 |  4060762 |     1882   5240 |        0 |        0
1011.00/1011.30	c 1011s |      24 |  5179984 |  4067362 |     1882   5246 |        0 |        0
1013.00/1013.32	c 1013s |      24 |  5187034 |  4073562 |     1882   5253 |        0 |        0
1014.99/1015.35	c 1015s |      24 |  5194220 |  4079962 |     1882   5259 |        0 |        0
1016.99/1017.35	c 1017s |      24 |  5201385 |  4086262 |     1882   5265 |        0 |        0
1018.99/1019.37	c 1019s |      24 |  5208431 |  4092562 |     1882   5272 |        0 |        0
1020.99/1021.39	c 1021s |      24 |  5215301 |  4098762 |     1882   5278 |        0 |        0
1022.99/1023.39	c 1023s |      24 |  5222200 |  4104762 |     1882   5284 |        0 |        0
1025.09/1025.42	c 1025s |      24 |  5229211 |  4110962 |     1882   5290 |        0 |        0
1027.09/1027.43	c 1027s |      24 |  5236946 |  4117662 |     1882   5297 |        0 |        0
1029.09/1029.44	c 1029s |      24 |  5245114 |  4124462 |     1882   5304 |        0 |        0
1031.09/1031.45	c 1031s |      24 |  5253438 |  4131362 |     1882   5311 |        0 |        0
1033.09/1033.48	c 1033s |      24 |  5261599 |  4138362 |     1882   5318 |        0 |        0
1035.09/1035.49	c 1035s |      24 |  5269816 |  4144962 |     1882   5325 |        0 |        0
1037.09/1037.50	c 1037s |      24 |  5276766 |  4151362 |     1882   5331 |        0 |        0
1039.19/1039.52	c 1039s |      24 |  5284842 |  4158262 |     1882   5338 |        0 |        0
1041.19/1041.53	c 1041s |      24 |  5292981 |  4165162 |     1882   5345 |        0 |        0
1043.18/1043.56	c 1043s |      24 |  5301023 |  4172162 |     1882   5352 |        0 |        0
1045.18/1045.58	c 1045s |      24 |  5308831 |  4179062 |     1882   5359 |        0 |        0
1047.28/1047.60	c 1047s |      24 |  5316729 |  4185962 |     1882   5366 |        0 |        0
1049.29/1049.64	c 1049s |      24 |  5324611 |  4192562 |     1882   5373 |        0 |        0
1051.28/1051.65	c 1051s |      24 |  5333641 |  4199762 |     1882   5380 |        0 |        0
1053.28/1053.65	c 1053s |      24 |  5342554 |  4206862 |     1882   5387 |        0 |        0
1055.28/1055.69	c 1055s |      24 |  5350025 |  4213162 |     1882   5394 |        0 |        0
1057.28/1057.69	c 1057s |      24 |  5359264 |  4220362 |     1882   5401 |        0 |        0
1059.37/1059.71	c 1059s |      24 |  5369363 |  4228062 |     1882   5409 |        0 |        0
1061.38/1061.73	c 1061s |      24 |  5379076 |  4235662 |     1882   5416 |        0 |        0
1063.37/1063.75	c 1063s |      24 |  5389017 |  4243062 |     1882   5424 |        0 |        0
1065.37/1065.76	c 1065s |      24 |  5397437 |  4249662 |     1882   5430 |        0 |        0
1067.37/1067.77	c 1067s |      24 |  5408500 |  4257362 |     1882   5438 |        0 |        0
1069.37/1069.77	c 1069s |      24 |  5418530 |  4264462 |     1882   5445 |        0 |        0
1071.37/1071.77	c 1071s |      24 |  5427873 |  4271162 |     1882   5452 |        0 |        0
1073.36/1073.80	c 1073s |      24 |  5437842 |  4278362 |     1882   5459 |        0 |        0
1075.46/1075.81	c 1075s |      24 |  5446975 |  4285162 |     1882   5466 |        0 |        0
1077.46/1077.84	c 1077s |      24 |  5456756 |  4292062 |     1882   5473 |        0 |        0
1079.46/1079.85	c 1079s |      24 |  5465332 |  4298862 |     1882   5480 |        0 |        0
1081.46/1081.85	c 1081s |      24 |  5474380 |  4305862 |     1882   5487 |        0 |        0
1083.46/1083.86	c 1083s |      24 |  5484212 |  4313462 |     1882   5495 |        0 |        0
1085.45/1085.88	c 1085s |      24 |  5493475 |  4320762 |     1882   5502 |        0 |        0
1087.45/1087.89	c 1087s |      24 |  5501118 |  4327262 |     1882   5509 |        0 |        0
1089.55/1089.90	c 1089s |      24 |  5509778 |  4334262 |     1882   5516 |        0 |        0
1091.55/1091.91	c 1091s |      24 |  5518344 |  4340962 |     1882   5522 |        0 |        0
1093.55/1093.93	c 1093s |      24 |  5525915 |  4347362 |     1882   5529 |        0 |        0
1095.55/1095.95	c 1095s |      24 |  5534465 |  4354162 |     1882   5536 |        0 |        0
1097.54/1097.96	c 1097s |      24 |  5543790 |  4361462 |     1882   5543 |        0 |        0
1099.54/1099.96	c 1099s |      24 |  5552996 |  4368262 |     1882   5550 |        0 |        0
1101.54/1101.98	c 1101s |      24 |  5561085 |  4374762 |     1882   5556 |        0 |        0
1103.64/1104.01	c 1103s |      24 |  5569101 |  4380962 |     1882   5563 |        0 |        0
1105.64/1106.03	c 1106s |      24 |  5576628 |  4387262 |     1882   5569 |        0 |        0
1107.64/1108.05	c 1108s |      24 |  5584778 |  4393762 |     1882   5575 |        0 |        0
1109.64/1110.06	c 1110s |      24 |  5593651 |  4400762 |     1882   5582 |        0 |        0
1111.64/1112.06	c 1112s |      24 |  5602614 |  4407962 |     1882   5590 |        0 |        0
1113.63/1114.06	c 1114s |      24 |  5610676 |  4414762 |     1882   5596 |        0 |        0
1115.63/1116.07	c 1116s |      24 |  5618536 |  4421262 |     1882   5603 |        0 |        0
1117.63/1118.08	c 1118s |      24 |  5627440 |  4428362 |     1882   5610 |        0 |        0
1119.64/1120.09	c 1120s |      24 |  5635995 |  4435362 |     1882   5617 |        0 |        0
1121.73/1122.10	c 1122s |      24 |  5643564 |  4441962 |     1882   5624 |        0 |        0
1123.72/1124.11	c 1124s |      24 |  5651203 |  4448562 |     1882   5630 |        0 |        0
1125.72/1126.13	c 1126s |      24 |  5659285 |  4455262 |     1882   5637 |        0 |        0
1127.72/1128.16	c 1128s |      24 |  5667915 |  4462262 |     1882   5644 |        0 |        0
1129.73/1130.18	c 1130s |      24 |  5675228 |  4468462 |     1882   5650 |        0 |        0
1131.74/1132.18	c 1132s |      24 |  5682650 |  4474862 |     1882   5657 |        0 |        0
1133.83/1134.21	c 1134s |      24 |  5689723 |  4481062 |     1882   5663 |        0 |        0
1135.83/1136.22	c 1136s |      24 |  5697407 |  4487562 |     1882   5670 |        0 |        0
1137.82/1138.24	c 1138s |      24 |  5706414 |  4494962 |     1882   5677 |        0 |        0
1139.82/1140.24	c 1140s |      24 |  5714283 |  4501662 |     1882   5684 |        0 |        0
1141.82/1142.25	c 1142s |      24 |  5722097 |  4508362 |     1882   5691 |        0 |        0
1143.83/1144.27	c 1144s |      24 |  5729959 |  4514962 |     1882   5697 |        0 |        0
1145.82/1146.29	c 1146s |      24 |  5737400 |  4521362 |     1882   5704 |        0 |        0
1147.92/1148.30	c 1148s |      24 |  5744234 |  4527362 |     1882   5710 |        0 |        0
1149.92/1150.32	c 1150s |      24 |  5751097 |  4533462 |     1882   5716 |        0 |        0
1151.92/1152.34	c 1152s |      24 |  5758969 |  4540162 |     1882   5723 |        0 |        0
1153.91/1154.37	c 1154s |      24 |  5767220 |  4547162 |     1882   5730 |        0 |        0
1155.92/1156.40	c 1156s |      24 |  5775363 |  4553762 |     1882   5736 |        0 |        0
1158.01/1158.41	c 1158s |      24 |  5783578 |  4560362 |     1882   5743 |        0 |        0
1160.01/1160.41	c 1160s |      24 |  5791474 |  4566862 |     1882   5750 |        0 |        0
1162.01/1162.43	c 1162s |      24 |  5799859 |  4573662 |     1882   5756 |        0 |        0
1164.00/1164.43	c 1164s |      24 |  5807875 |  4580762 |     1882   5764 |        0 |        0
1166.00/1166.45	c 1166s |      24 |  5817407 |  4588262 |     1882   5771 |        0 |        0
1168.01/1168.45	c 1168s |      24 |  5825549 |  4595162 |     1882   5778 |        0 |        0
1170.01/1170.46	c 1170s |      24 |  5833597 |  4601962 |     1882   5785 |        0 |        0
1172.01/1172.48	c 1172s |      24 |  5841328 |  4608762 |     1882   5792 |        0 |        0
1174.00/1174.49	c 1174s |      24 |  5849834 |  4615862 |     1882   5799 |        0 |        0
1176.10/1176.50	c 1176s |      24 |  5858664 |  4622962 |     1882   5806 |        0 |        0
1178.10/1178.52	c 1178s |      24 |  5866487 |  4629762 |     1882   5813 |        0 |        0
1180.11/1180.54	c 1180s |      24 |  5874547 |  4636562 |     1882   5820 |        0 |        0
1182.10/1182.56	c 1182s |      24 |  5882071 |  4642962 |     1882   5827 |        0 |        0
1184.10/1184.59	c 1184s |      24 |  5890558 |  4649962 |     1882   5834 |        0 |        0
1186.20/1186.61	c 1186s |      24 |  5897722 |  4656262 |     1882   5840 |        0 |        0
1188.20/1188.64	c 1188s |      24 |  5905925 |  4662962 |     1882   5847 |        0 |        0
1190.20/1190.67	c 1190s |      24 |  5913629 |  4669462 |     1882   5853 |        0 |        0
1192.20/1192.68	c 1192s |      24 |  5921117 |  4675962 |     1882   5860 |        0 |        0
1194.29/1194.73	c 1194s |      24 |  5928203 |  4682362 |     1882   5867 |        0 |        0
1196.29/1196.73	c 1196s |      24 |  5935740 |  4688862 |     1882   5873 |        0 |        0
1198.29/1198.74	c 1198s |      24 |  5943128 |  4695162 |     1882   5879 |        0 |        0
1200.29/1200.76	c 1200s |      24 |  5949804 |  4701162 |     1882   5885 |        0 |        0
1202.29/1202.77	c 1202s |      24 |  5958930 |  4708462 |     1882   5893 |        0 |        0
1204.29/1204.78	c 1204s |      24 |  5969282 |  4716362 |     1882   5901 |        0 |        0
1206.38/1206.81	c 1206s |      24 |  5978953 |  4724062 |     1882   5909 |        0 |        0
1208.38/1208.82	c 1208s |      24 |  5987639 |  4731262 |     1882   5916 |        0 |        0
1210.38/1210.83	c 1210s |      24 |  5996862 |  4738562 |     1882   5923 |        0 |        0
1212.38/1212.84	c 1212s |      24 |  6005687 |  4745862 |     1882   5931 |        0 |        0
1214.38/1214.85	c 1214s |      24 |  6013861 |  4752762 |     1882   5938 |        0 |        0
1216.38/1216.85	c 1216s |      24 |  6022163 |  4759862 |     1882   5945 |        0 |        0
1218.38/1218.86	c 1218s |      24 |  6031968 |  4767362 |     1882   5952 |        0 |        0
1220.38/1220.86	c 1220s |      24 |  6041097 |  4774462 |     1882   5959 |        0 |        0
1222.38/1222.86	c 1222s |      24 |  6049635 |  4781162 |     1882   5966 |        0 |        0
1224.37/1224.87	c 1224s |      24 |  6057119 |  4787662 |     1882   5973 |        0 |        0
1226.38/1226.89	c 1226s |      24 |  6065321 |  4794762 |     1882   5980 |        0 |        0
1228.37/1228.90	c 1228s |      24 |  6073437 |  4801762 |     1882   5987 |        0 |        0
1230.47/1230.92	c 1230s |      24 |  6080872 |  4808162 |     1882   5993 |        0 |        0
1232.47/1232.93	c 1232s |      24 |  6088908 |  4815062 |     1882   6000 |        0 |        0
1234.46/1234.94	c 1234s |      24 |  6097191 |  4822062 |     1882   6007 |        0 |        0
1236.46/1236.95	c 1236s |      24 |  6105428 |  4828862 |     1882   6014 |        0 |        0
1238.47/1238.97	c 1238s |      24 |  6112700 |  4835162 |     1882   6020 |        0 |        0
1240.46/1240.97	c 1240s |      24 |  6120650 |  4841862 |     1882   6027 |        0 |        0
1242.46/1242.98	c 1242s |      24 |  6128572 |  4848462 |     1882   6034 |        0 |        0
1244.56/1245.01	c 1244s |      24 |  6135592 |  4854762 |     1882   6040 |        0 |        0
1246.56/1247.01	c 1246s |      24 |  6142670 |  4861062 |     1882   6046 |        0 |        0
1248.56/1249.01	c 1249s |      24 |  6149889 |  4867362 |     1882   6053 |        0 |        0
1250.56/1251.03	c 1251s |      24 |  6156580 |  4873262 |     1882   6059 |        0 |        0
1252.55/1253.04	c 1253s |      24 |  6164387 |  4879962 |     1882   6065 |        0 |        0
1254.55/1255.05	c 1255s |      24 |  6172738 |  4886862 |     1882   6072 |        0 |        0
1256.55/1257.05	c 1257s |      24 |  6179612 |  4892762 |     1882   6078 |        0 |        0
1258.55/1259.07	c 1259s |      24 |  6186228 |  4898462 |     1882   6084 |        0 |        0
1260.55/1261.07	c 1261s |      24 |  6193795 |  4904762 |     1882   6090 |        0 |        0
1262.66/1263.12	c 1263s |      24 |  6200838 |  4910862 |     1882   6097 |        0 |        0
1264.65/1265.14	c 1265s |      24 |  6207916 |  4916962 |     1882   6103 |        0 |        0
1266.65/1267.14	c 1267s |      24 |  6215183 |  4923362 |     1882   6109 |        0 |        0
1268.65/1269.16	c 1269s |      24 |  6223422 |  4930362 |     1882   6116 |        0 |        0
1270.65/1271.18	c 1271s |      24 |  6231694 |  4937462 |     1882   6123 |        0 |        0
1272.64/1273.19	c 1273s |      24 |  6240638 |  4944962 |     1882   6131 |        0 |        0
1274.65/1275.20	c 1275s |      24 |  6249490 |  4952162 |     1882   6138 |        0 |        0
1276.74/1277.21	c 1277s |      24 |  6257932 |  4959162 |     1882   6145 |        0 |        0
1278.74/1279.22	c 1279s |      24 |  6266183 |  4966062 |     1882   6152 |        0 |        0
1280.74/1281.22	c 1281s |      24 |  6274852 |  4973062 |     1882   6159 |        0 |        0
1282.74/1283.25	c 1283s |      24 |  6283330 |  4980062 |     1882   6166 |        0 |        0
1284.74/1285.25	c 1285s |      24 |  6291791 |  4986962 |     1882   6173 |        0 |        0
1286.74/1287.27	c 1287s |      24 |  6299980 |  4993762 |     1882   6180 |        0 |        0
1288.74/1289.29	c 1289s |      24 |  6308507 |  5000762 |     1882   6187 |        0 |        0
1290.84/1291.31	c 1291s |      24 |  6316908 |  5007862 |     1882   6194 |        0 |        0
1292.84/1293.33	c 1293s |      24 |  6324977 |  5014862 |     1882   6201 |        0 |        0
1294.84/1295.34	c 1295s |      24 |  6333451 |  5021862 |     1882   6208 |        0 |        0
1296.84/1297.35	c 1297s |      24 |  6340760 |  5028462 |     1882   6215 |        0 |        0
1298.84/1299.35	c 1299s |      24 |  6348300 |  5034962 |     2071   6221 |        0 |        0
1300.84/1301.35	c 1301s |      24 |  6356570 |  5041862 |     2071   6227 |        0 |        0
1302.83/1303.36	c 1303s |      24 |  6364497 |  5048462 |     2071   6233 |        0 |        0
1304.83/1305.38	c 1305s |      24 |  6371891 |  5054862 |     2071   6239 |        0 |        0
1306.93/1307.40	c 1307s |      24 |  6380857 |  5061662 |     2071   6245 |        0 |        0
1307.93/1308.46	c 1308s |      25 |  6385266 |  5065098 |     2071   6249 |        0 |        0
1309.94/1310.46	c 1310s |      25 |  6394196 |  5072198 |     2071   6255 |        0 |        0
1311.93/1312.48	c 1312s |      25 |  6402622 |  5079098 |     2071   6261 |        0 |        0
1314.02/1314.51	c 1314s |      25 |  6410613 |  5085598 |     2071   6268 |        0 |        0
1316.02/1316.53	c 1316s |      25 |  6418527 |  5092098 |     2071   6273 |        0 |        0
1318.02/1318.54	c 1318s |      25 |  6425548 |  5097998 |     2071   6279 |        0 |        0
1320.02/1320.56	c 1320s |      25 |  6432689 |  5104198 |     2071   6285 |        0 |        0
1322.03/1322.58	c 1322s |      25 |  6439454 |  5110198 |     2071   6290 |        0 |        0
1324.02/1324.58	c 1324s |      25 |  6446165 |  5115998 |     2071   6295 |        0 |        0
1326.12/1326.60	c 1326s |      25 |  6453466 |  5122098 |     2071   6301 |        0 |        0
1328.12/1328.62	c 1328s |      25 |  6461324 |  5128698 |     2071   6307 |        0 |        0
1330.11/1330.65	c 1330s |      25 |  6468928 |  5134998 |     2071   6313 |        0 |        0
1332.11/1332.66	c 1332s |      25 |  6476021 |  5141198 |     2071   6318 |        0 |        0
1334.12/1334.67	c 1334s |      25 |  6483319 |  5147498 |     2071   6324 |        0 |        0
1336.11/1336.68	c 1336s |      25 |  6490092 |  5153498 |     2071   6330 |        0 |        0
1338.21/1338.70	c 1338s |      25 |  6496928 |  5159298 |     2071   6335 |        0 |        0
1340.21/1340.71	c 1340s |      25 |  6504302 |  5165398 |     2071   6341 |        0 |        0
1342.21/1342.72	c 1342s |      25 |  6511052 |  5171198 |     2071   6346 |        0 |        0
1344.20/1344.76	c 1344s |      25 |  6518434 |  5177198 |     2071   6352 |        0 |        0
1346.21/1346.78	c 1346s |      25 |  6525665 |  5183298 |     2071   6357 |        0 |        0
1348.20/1348.79	c 1348s |      25 |  6532708 |  5189298 |     2071   6363 |        0 |        0
1350.30/1350.82	c 1350s |      25 |  6540097 |  5195598 |     2071   6368 |        0 |        0
1352.30/1352.85	c 1352s |      25 |  6547648 |  5201998 |     2071   6374 |        0 |        0
1354.30/1354.86	c 1354s |      25 |  6555460 |  5208598 |     2071   6380 |        0 |        0
1356.30/1356.88	c 1356s |      25 |  6563479 |  5215298 |     2071   6387 |        0 |        0
1358.31/1358.89	c 1358s |      25 |  6572188 |  5222198 |     2071   6393 |        0 |        0
1360.30/1360.90	c 1360s |      25 |  6580448 |  5228898 |     2071   6399 |        0 |        0
1362.40/1362.91	c 1362s |      25 |  6588764 |  5235498 |     2071   6405 |        0 |        0
1364.40/1364.91	c 1364s |      25 |  6597466 |  5242298 |     2071   6411 |        0 |        0
1366.40/1366.92	c 1366s |      25 |  6605279 |  5248698 |     2071   6417 |        0 |        0
1368.40/1368.92	c 1368s |      25 |  6612949 |  5255098 |     2071   6423 |        0 |        0
1370.40/1370.94	c 1370s |      25 |  6622025 |  5261998 |     2071   6429 |        0 |        0
1372.40/1372.96	c 1372s |      25 |  6630953 |  5268698 |     2071   6436 |        0 |        0
1374.40/1374.98	c 1374s |      25 |  6639796 |  5275298 |     2071   6442 |        0 |        0
1376.50/1377.00	c 1376s |      25 |  6647426 |  5281498 |     2071   6447 |        0 |        0
1378.50/1379.03	c 1379s |      25 |  6654792 |  5287598 |     2071   6453 |        0 |        0
1380.50/1381.06	c 1381s |      25 |  6663364 |  5293898 |     2071   6459 |        0 |        0
1382.50/1383.06	c 1383s |      25 |  6670458 |  5299698 |     2071   6464 |        0 |        0
1384.50/1385.07	c 1385s |      25 |  6677781 |  5305798 |     2071   6470 |        0 |        0
1386.60/1387.10	c 1387s |      25 |  6685038 |  5311698 |     2071   6475 |        0 |        0
1388.60/1389.13	c 1389s |      25 |  6691895 |  5317498 |     2071   6480 |        0 |        0
1390.60/1391.16	c 1391s |      25 |  6698941 |  5323098 |     2071   6486 |        0 |        0
1392.60/1393.17	c 1393s |      25 |  6705681 |  5328798 |     2071   6491 |        0 |        0
1394.61/1395.18	c 1395s |      25 |  6712670 |  5334398 |     2071   6496 |        0 |        0
1396.71/1397.21	c 1397s |      25 |  6721092 |  5340798 |     2071   6502 |        0 |        0
1398.70/1399.22	c 1399s |      25 |  6728161 |  5346798 |     2071   6507 |        0 |        0
1400.70/1401.24	c 1401s |      25 |  6735153 |  5352798 |     2071   6513 |        0 |        0
1402.70/1403.25	c 1403s |      25 |  6743041 |  5358898 |     2071   6518 |        0 |        0
1404.70/1405.28	c 1405s |      25 |  6750983 |  5365198 |     2071   6524 |        0 |        0
1406.80/1407.30	c 1407s |      25 |  6758513 |  5371498 |     2071   6530 |        0 |        0
1408.70/1409.30	c 1409s |      25 |  6765293 |  5377398 |     2071   6536 |        0 |        0
1410.80/1411.32	c 1411s |      25 |  6771695 |  5383198 |     2071   6541 |        0 |        0
1412.80/1413.33	c 1413s |      25 |  6777467 |  5388398 |     2071   6546 |        0 |        0
1414.80/1415.35	c 1415s |      25 |  6783918 |  5393798 |     2071   6551 |        0 |        0
1416.80/1417.36	c 1417s |      25 |  6791295 |  5399498 |     2071   6556 |        0 |        0
1418.81/1419.37	c 1419s |      25 |  6798377 |  5405298 |     2071   6561 |        0 |        0
1420.80/1421.37	c 1421s |      25 |  6806242 |  5411398 |     2071   6567 |        0 |        0
1422.90/1423.40	c 1423s |      25 |  6813586 |  5417498 |     2071   6573 |        0 |        0
1424.90/1425.43	c 1425s |      25 |  6821049 |  5423698 |     2071   6578 |        0 |        0
1426.90/1427.43	c 1427s |      25 |  6827812 |  5429498 |     2071   6584 |        0 |        0
1428.90/1429.43	c 1429s |      25 |  6835177 |  5435698 |     2071   6589 |        0 |        0
1430.90/1431.43	c 1431s |      25 |  6842429 |  5441798 |     2071   6595 |        0 |        0
1432.90/1433.45	c 1433s |      25 |  6849915 |  5447898 |     2071   6601 |        0 |        0
1434.89/1435.46	c 1435s |      25 |  6856794 |  5453798 |     2071   6606 |        0 |        0
1436.89/1437.49	c 1437s |      25 |  6863849 |  5459798 |     2071   6612 |        0 |        0
1438.99/1439.51	c 1439s |      25 |  6870070 |  5465298 |     2071   6617 |        0 |        0
1440.99/1441.52	c 1441s |      25 |  6876986 |  5471098 |     2071   6622 |        0 |        0
1443.00/1443.55	c 1443s |      25 |  6882944 |  5476298 |     2071   6627 |        0 |        0
1444.99/1445.56	c 1445s |      25 |  6889027 |  5481398 |     2071   6631 |        0 |        0
1446.99/1447.58	c 1447s |      25 |  6894798 |  5486498 |     2071   6636 |        0 |        0
1449.09/1449.61	c 1449s |      25 |  6901158 |  5491798 |     2071   6641 |        0 |        0
1451.09/1451.61	c 1451s |      25 |  6908602 |  5497498 |     2071   6646 |        0 |        0
1453.09/1453.62	c 1453s |      25 |  6915767 |  5503198 |     2071   6651 |        0 |        0
1455.09/1455.64	c 1455s |      25 |  6922288 |  5508698 |     2071   6657 |        0 |        0
1457.09/1457.65	c 1457s |      25 |  6928591 |  5514098 |     2071   6661 |        0 |        0
1459.09/1459.68	c 1459s |      25 |  6935840 |  5520298 |     2071   6667 |        0 |        0
1461.09/1461.68	c 1461s |      25 |  6943192 |  5525998 |     2071   6672 |        0 |        0
1463.19/1463.73	c 1463s |      25 |  6950122 |  5531598 |     2071   6678 |        0 |        0
1465.19/1465.73	c 1465s |      25 |  6956366 |  5537198 |     2071   6683 |        0 |        0
1467.19/1467.74	c 1467s |      25 |  6962771 |  5542698 |     2071   6688 |        0 |        0
1469.19/1469.75	c 1469s |      25 |  6969617 |  5548298 |     2071   6693 |        0 |        0
1471.19/1471.76	c 1471s |      25 |  6977119 |  5554298 |     2071   6698 |        0 |        0
1473.19/1473.77	c 1473s |      25 |  6985780 |  5561098 |     2071   6705 |        0 |        0
1475.18/1475.79	c 1475s |      25 |  6993526 |  5567498 |     2071   6710 |        0 |        0
1477.18/1477.79	c 1477s |      25 |  7000758 |  5573298 |     2071   6716 |        0 |        0
1479.19/1479.80	c 1479s |      25 |  7007646 |  5579198 |     2071   6721 |        0 |        0
1481.28/1481.83	c 1481s |      25 |  7014222 |  5584798 |     2071   6726 |        0 |        0
1483.28/1483.86	c 1483s |      25 |  7021016 |  5590498 |     2071   6732 |        0 |        0
1485.28/1485.87	c 1485s |      25 |  7027823 |  5596098 |     2071   6737 |        0 |        0
1487.38/1487.90	c 1487s |      25 |  7035039 |  5602098 |     2071   6742 |        0 |        0
1489.38/1489.92	c 1489s |      25 |  7042092 |  5608098 |     2071   6748 |        0 |        0
1491.39/1491.94	c 1491s |      25 |  7049888 |  5614398 |     2071   6753 |        0 |        0
1493.38/1493.98	c 1493s |      25 |  7058225 |  5620998 |     2071   6760 |        0 |        0
1495.48/1496.02	c 1496s |      25 |  7066500 |  5627198 |     2071   6765 |        0 |        0
1497.48/1498.05	c 1498s |      25 |  7074210 |  5632998 |     2071   6771 |        0 |        0
1499.48/1500.08	c 1500s |      25 |  7081255 |  5638698 |     2071   6776 |        0 |        0
1501.48/1502.08	c 1502s |      25 |  7088957 |  5644698 |     2071   6781 |        0 |        0
1503.49/1504.09	c 1504s |      25 |  7098280 |  5651398 |     2071   6787 |        0 |        0
1505.59/1506.13	c 1506s |      25 |  7105128 |  5657398 |     2071   6793 |        0 |        0
1507.58/1508.15	c 1508s |      25 |  7111991 |  5663198 |     2071   6798 |        0 |        0
1509.58/1510.16	c 1510s |      25 |  7119019 |  5669098 |     2071   6804 |        0 |        0
1511.58/1512.17	c 1512s |      25 |  7127239 |  5675598 |     2071   6810 |        0 |        0
1513.58/1514.18	c 1514s |      25 |  7136040 |  5682498 |     2071   6816 |        0 |        0
1515.68/1516.22	c 1516s |      25 |  7145806 |  5689498 |     2071   6823 |        0 |        0
1517.69/1518.26	c 1518s |      25 |  7153915 |  5695998 |     2071   6829 |        0 |        0
1519.68/1520.27	c 1520s |      25 |  7161303 |  5702098 |     2071   6834 |        0 |        0
1521.68/1522.29	c 1522s |      25 |  7169693 |  5708398 |     2071   6840 |        0 |        0
1523.78/1524.31	c 1524s |      25 |  7178752 |  5715298 |     2071   6846 |        0 |        0
1525.78/1526.32	c 1526s |      25 |  7187712 |  5722098 |     2071   6853 |        0 |        0
1527.78/1528.32	c 1528s |      25 |  7196620 |  5728598 |     2071   6859 |        0 |        0
1529.79/1530.35	c 1530s |      25 |  7204771 |  5735198 |     2071   6865 |        0 |        0
1531.78/1532.35	c 1532s |      25 |  7213040 |  5741598 |     2071   6871 |        0 |        0
1533.78/1534.36	c 1534s |      25 |  7221980 |  5748098 |     2071   6877 |        0 |        0
1535.78/1536.40	c 1536s |      25 |  7230023 |  5754498 |     2071   6883 |        0 |        0
1537.88/1538.42	c 1538s |      25 |  7238003 |  5760998 |     2071   6889 |        0 |        0
1539.88/1540.43	c 1540s |      25 |  7246088 |  5767298 |     2071   6894 |        0 |        0
1541.88/1542.44	c 1542s |      25 |  7253699 |  5773398 |     2071   6900 |        0 |        0
1543.88/1544.46	c 1544s |      25 |  7260635 |  5779398 |     2071   6905 |        0 |        0
1545.88/1546.48	c 1546s |      25 |  7268529 |  5785598 |     2071   6911 |        0 |        0
1547.87/1548.49	c 1548s |      25 |  7276066 |  5791698 |     2071   6917 |        0 |        0
1549.97/1550.51	c 1550s |      25 |  7284940 |  5798298 |     2071   6923 |        0 |        0
1551.97/1552.52	c 1552s |      25 |  7292649 |  5804198 |     2071   6928 |        0 |        0
1553.98/1554.54	c 1554s |      25 |  7302429 |  5810698 |     2071   6934 |        0 |        0
1555.97/1556.54	c 1556s |      25 |  7313401 |  5817898 |     2071   6941 |        0 |        0
1557.97/1558.54	c 1558s |      25 |  7325283 |  5825198 |     2071   6948 |        0 |        0
1559.97/1560.57	c 1560s |      25 |  7334550 |  5831798 |     2071   6954 |        0 |        0
1561.97/1562.59	c 1562s |      25 |  7343092 |  5837998 |     2071   6959 |        0 |        0
1564.07/1564.62	c 1564s |      25 |  7350701 |  5844098 |     2071   6965 |        0 |        0
1566.08/1566.64	c 1566s |      25 |  7358029 |  5850198 |     2071   6970 |        0 |        0
1568.07/1568.64	c 1568s |      25 |  7365164 |  5856198 |     2071   6976 |        0 |        0
1570.07/1570.65	c 1570s |      25 |  7372370 |  5862398 |     2071   6982 |        0 |        0
1572.07/1572.69	c 1572s |      25 |  7379267 |  5868498 |     2071   6987 |        0 |        0
1574.17/1574.71	c 1574s |      25 |  7386511 |  5874698 |     2071   6993 |        0 |        0
1576.17/1576.72	c 1576s |      25 |  7393236 |  5880598 |     2071   6998 |        0 |        0
1578.17/1578.74	c 1578s |      25 |  7399883 |  5886398 |     2071   7004 |        0 |        0
1580.17/1580.75	c 1580s |      25 |  7406737 |  5892298 |     2071   7009 |        0 |        0
1582.17/1582.76	c 1582s |      25 |  7413187 |  5898098 |     2071   7014 |        0 |        0
1584.17/1584.76	c 1584s |      25 |  7419917 |  5903998 |     2071   7020 |        0 |        0
1586.17/1586.79	c 1586s |      25 |  7426479 |  5909798 |     2071   7025 |        0 |        0
1588.27/1588.81	c 1588s |      25 |  7433816 |  5915998 |     2071   7031 |        0 |        0
1590.27/1590.82	c 1590s |      25 |  7440561 |  5921798 |     2071   7036 |        0 |        0
1592.26/1592.83	c 1592s |      25 |  7447456 |  5927798 |     2071   7042 |        0 |        0
1594.26/1594.86	c 1594s |      25 |  7454433 |  5933698 |     2071   7047 |        0 |        0
1596.36/1596.91	c 1596s |      25 |  7461070 |  5939498 |     2071   7053 |        0 |        0
1598.36/1598.92	c 1598s |      25 |  7468233 |  5945698 |     2071   7058 |        0 |        0
1600.36/1600.93	c 1600s |      25 |  7475479 |  5951898 |     2071   7064 |        0 |        0
1602.37/1602.94	c 1602s |      25 |  7482574 |  5957998 |     2071   7070 |        0 |        0
1604.36/1604.96	c 1604s |      25 |  7490027 |  5964098 |     2071   7075 |        0 |        0
1606.36/1606.98	c 1606s |      25 |  7497315 |  5970098 |     2071   7081 |        0 |        0
1608.46/1609.01	c 1608s |      25 |  7503575 |  5975498 |     2071   7086 |        0 |        0
1610.47/1611.02	c 1611s |      25 |  7509773 |  5980798 |     2071   7091 |        0 |        0
1612.47/1613.03	c 1613s |      25 |  7516026 |  5986398 |     2071   7096 |        0 |        0
1614.48/1615.07	c 1615s |      25 |  7522579 |  5992098 |     2071   7101 |        0 |        0
1616.47/1617.09	c 1617s |      25 |  7528350 |  5997298 |     2071   7106 |        0 |        0
1618.57/1619.11	c 1619s |      25 |  7534960 |  6002898 |     2071   7111 |        0 |        0
1620.57/1621.13	c 1621s |      25 |  7541222 |  6008498 |     2071   7116 |        0 |        0
1622.57/1623.13	c 1623s |      25 |  7547702 |  6014098 |     2071   7121 |        0 |        0
1624.57/1625.15	c 1625s |      25 |  7554278 |  6019898 |     2071   7127 |        0 |        0
1626.57/1627.17	c 1627s |      25 |  7560525 |  6025498 |     2071   7132 |        0 |        0
1628.57/1629.18	c 1629s |      25 |  7566483 |  6030798 |     2071   7137 |        0 |        0
1630.57/1631.18	c 1631s |      25 |  7573088 |  6036598 |     2071   7142 |        0 |        0
1632.67/1633.20	c 1633s |      25 |  7580020 |  6042798 |     2071   7148 |        0 |        0
1634.67/1635.22	c 1635s |      25 |  7586625 |  6048698 |     2071   7153 |        0 |        0
1636.67/1637.23	c 1637s |      25 |  7593604 |  6054798 |     2071   7159 |        0 |        0
1638.67/1639.26	c 1639s |      25 |  7601263 |  6061298 |     2071   7165 |        0 |        0
1640.76/1641.30	c 1641s |      25 |  7609125 |  6067798 |     2071   7171 |        0 |        0
1642.76/1643.31	c 1643s |      25 |  7616470 |  6073798 |     2071   7176 |        0 |        0
1644.76/1645.33	c 1645s |      25 |  7623366 |  6079598 |     2071   7181 |        0 |        0
1646.76/1647.34	c 1647s |      25 |  7629704 |  6085198 |     2071   7187 |        0 |        0
1648.76/1649.36	c 1649s |      25 |  7636430 |  6091098 |     2071   7192 |        0 |        0
1650.77/1651.38	c 1651s |      25 |  7642794 |  6096798 |     2071   7197 |        0 |        0
1652.86/1653.40	c 1653s |      25 |  7650029 |  6102598 |     2071   7203 |        0 |        0
1654.86/1655.42	c 1655s |      25 |  7657190 |  6108498 |     2071   7208 |        0 |        0
1656.86/1657.43	c 1657s |      25 |  7664141 |  6114398 |     2071   7213 |        0 |        0
1658.86/1659.45	c 1659s |      25 |  7671643 |  6120698 |     2071   7219 |        0 |        0
1660.86/1661.48	c 1661s |      25 |  7678193 |  6126498 |     2071   7225 |        0 |        0
1662.87/1663.48	c 1663s |      25 |  7685148 |  6132298 |     2071   7230 |        0 |        0
1664.96/1665.51	c 1665s |      25 |  7691287 |  6137698 |     2071   7235 |        0 |        0
1666.96/1667.55	c 1667s |      25 |  7697918 |  6143498 |     2071   7240 |        0 |        0
1668.96/1669.57	c 1669s |      25 |  7704260 |  6149198 |     2071   7245 |        0 |        0
1671.06/1671.61	c 1671s |      25 |  7710751 |  6154898 |     2071   7251 |        0 |        0
1673.06/1673.63	c 1673s |      25 |  7717412 |  6160698 |     2071   7256 |        0 |        0
1675.06/1675.63	c 1675s |      25 |  7724007 |  6166298 |     2071   7261 |        0 |        0
1677.06/1677.67	c 1677s |      25 |  7729647 |  6171198 |     2071   7266 |        0 |        0
1679.16/1679.70	c 1679s |      25 |  7735947 |  6176698 |     2071   7271 |        0 |        0
1681.16/1681.71	c 1681s |      25 |  7742802 |  6182498 |     2071   7276 |        0 |        0
1683.16/1683.72	c 1683s |      25 |  7749968 |  6188598 |     2071   7282 |        0 |        0
1685.15/1685.75	c 1685s |      25 |  7756702 |  6194398 |     2071   7287 |        0 |        0
1687.16/1687.79	c 1687s |      25 |  7763779 |  6200298 |     2071   7293 |        0 |        0
1689.15/1689.79	c 1689s |      25 |  7771298 |  6206298 |     2071   7298 |        0 |        0
1691.25/1691.82	c 1691s |      25 |  7778409 |  6211998 |     2071   7303 |        0 |        0
1693.25/1693.84	c 1693s |      25 |  7785231 |  6217698 |     2071   7309 |        0 |        0
1695.25/1695.85	c 1695s |      25 |  7792442 |  6223598 |     2071   7314 |        0 |        0
1697.25/1697.87	c 1697s |      25 |  7799471 |  6229298 |     2071   7319 |        0 |        0
1699.26/1699.87	c 1699s |      25 |  7806581 |  6235198 |     2071   7325 |        0 |        0
1701.25/1701.89	c 1701s |      25 |  7813560 |  6241098 |     2071   7330 |        0 |        0
1703.35/1703.92	c 1703s |      25 |  7820209 |  6246898 |     2071   7335 |        0 |        0
1705.35/1705.93	c 1705s |      25 |  7827399 |  6252898 |     2071   7341 |        0 |        0
1707.35/1707.93	c 1707s |      25 |  7834669 |  6258798 |     2071   7346 |        0 |        0
1709.35/1709.94	c 1709s |      25 |  7841934 |  6264798 |     2071   7352 |        0 |        0
1711.36/1711.95	c 1711s |      25 |  7848896 |  6270298 |     2071   7357 |        0 |        0
1713.35/1713.99	c 1713s |      25 |  7855760 |  6276198 |     2071   7363 |        0 |        0
1715.45/1716.00	c 1715s |      25 |  7863332 |  6282398 |     2071   7368 |        0 |        0
1717.45/1718.01	c 1717s |      25 |  7871314 |  6288698 |     2071   7374 |        0 |        0
1719.45/1720.03	c 1720s |      25 |  7881234 |  6295598 |     2071   7381 |        0 |        0
1721.45/1722.04	c 1722s |      25 |  7889816 |  6302098 |     2071   7387 |        0 |        0
1723.45/1724.07	c 1724s |      25 |  7898935 |  6308998 |     2071   7393 |        0 |        0
1725.45/1726.08	c 1726s |      25 |  7907369 |  6315298 |     2071   7399 |        0 |        0
1727.45/1728.09	c 1728s |      25 |  7915039 |  6321398 |     2071   7404 |        0 |        0
1729.55/1730.11	c 1730s |      25 |  7923326 |  6327898 |     2071   7410 |        0 |        0
1731.55/1732.14	c 1732s |      25 |  7932419 |  6334398 |     2071   7416 |        0 |        0
1733.55/1734.16	c 1734s |      25 |  7941987 |  6341398 |     2071   7423 |        0 |        0
1735.55/1736.18	c 1736s |      25 |  7951200 |  6348398 |     2071   7429 |        0 |        0
1737.65/1738.20	c 1738s |      25 |  7961292 |  6355498 |     2071   7436 |        0 |        0
1739.64/1740.21	c 1740s |      25 |  7969173 |  6361898 |     2071   7442 |        0 |        0
1741.64/1742.22	c 1742s |      25 |  7977088 |  6368198 |     2071   7448 |        0 |        0
1743.64/1744.24	c 1744s |      25 |  7986819 |  6375298 |     2071   7454 |        0 |        0
1745.64/1746.26	c 1746s |      25 |  7994835 |  6381498 |     2071   7460 |        0 |        0
1747.65/1748.27	c 1748s |      25 |  8003800 |  6387998 |     2071   7466 |        0 |        0
1749.64/1750.28	c 1750s |      25 |  8011469 |  6394398 |     2071   7472 |        0 |        0
1751.74/1752.30	c 1752s |      25 |  8019223 |  6400698 |     2071   7478 |        0 |        0
1753.74/1754.33	c 1754s |      25 |  8027291 |  6407298 |     2071   7484 |        0 |        0
1755.74/1756.34	c 1756s |      25 |  8035342 |  6413798 |     2071   7490 |        0 |        0
1757.74/1758.35	c 1758s |      25 |  8043900 |  6420498 |     2071   7496 |        0 |        0
1759.75/1760.35	c 1760s |      25 |  8052112 |  6426798 |     2071   7502 |        0 |        0
1761.74/1762.38	c 1762s |      25 |  8059592 |  6433298 |     2071   7508 |        0 |        0
1763.74/1764.39	c 1764s |      25 |  8067283 |  6439798 |     2071   7514 |        0 |        0
1765.74/1766.39	c 1766s |      25 |  8074312 |  6445998 |     2071   7520 |        0 |        0
1767.85/1768.42	c 1768s |      25 |  8081183 |  6452198 |     2071   7525 |        0 |        0
1769.85/1770.42	c 1770s |      25 |  8087816 |  6458098 |     2071   7531 |        0 |        0
1771.85/1772.44	c 1772s |      25 |  8095848 |  6464698 |     2071   7537 |        0 |        0
1773.85/1774.45	c 1774s |      25 |  8102839 |  6470798 |     2071   7543 |        0 |        0
1775.84/1776.48	c 1776s |      25 |  8110484 |  6477298 |     2071   7549 |        0 |        0
1777.84/1778.49	c 1778s |      25 |  8117622 |  6483498 |     2071   7554 |        0 |        0
1779.94/1780.51	c 1780s |      25 |  8124856 |  6489698 |     2071   7560 |        0 |        0
1781.94/1782.51	c 1782s |      25 |  8132251 |  6495998 |     2071   7566 |        0 |        0
1783.95/1784.53	c 1784s |      25 |  8139698 |  6502298 |     2071   7572 |        0 |        0
1785.94/1786.54	c 1786s |      25 |  8147839 |  6508898 |     2071   7578 |        0 |        0
1787.94/1788.56	c 1788s |      25 |  8155073 |  6515198 |     2071   7583 |        0 |        0
1789.94/1790.57	c 1790s |      25 |  8162200 |  6521198 |     2071   7589 |        0 |        0
1791.94/1792.58	c 1792s |      25 |  8169901 |  6527498 |     2071   7595 |        0 |        0
1794.04/1794.61	c 1794s |      25 |  8177337 |  6533798 |     2071   7601 |        0 |        0
1796.04/1796.65	c 1796s |      25 |  8184433 |  6539698 |     2071   7606 |        0 |        0
1798.03/1798.68	c 1798s |      25 |  8190813 |  6545198 |     2071   7611 |        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-4095994-1466100051/watcher-4095994-1466100051 -o /tmp/evaluation-result-4095994-1466100051/solver-4095994-1466100051 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466098250-27995 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095994-1466100051.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.21 2.18 3/180 28170
/proc/meminfo: memFree=30338556/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=785852 CPUtime=0 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 2944 0 0 0 0 0 0 0 20 0 4 0 12053849 804712448 2794 33554432000 4194304 16246674 140736437381232 140736437380656 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 197231 2805 441 2943 0 194125 0
[pid=28170/tid=28171] ppid=28167 vsize=804284 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 823586816 2866 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=807356 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 826732544 2881 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=812476 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12053850 831975424 2898 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.22 2.21 2.18 3/180 28170
/proc/meminfo: memFree=30338556/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 25280 0 0 0 6 3 0 0 20 0 4 0 12053849 1247350784 25120 33554432000 4194304 16246674 140736437381232 140736437380656 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 304529 25127 712 2943 0 301423 0
[pid=28170/tid=28171] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1247350784 25132 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1247350784 25138 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12053850 1247350784 25146 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200479 s]
/proc/loadavg: 2.22 2.21 2.18 3/180 28170
/proc/meminfo: memFree=30338556/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 47905 0 0 0 12 6 0 0 20 0 4 0 12053849 1247350784 47745 33554432000 4194304 16246674 140736437381232 140736437364232 12478189 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 304529 47758 712 2943 0 301423 0
[pid=28170/tid=28171] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1247350784 47767 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1247350784 47775 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12053850 1247350784 47783 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300493 s]
/proc/loadavg: 2.22 2.21 2.18 3/180 28170
/proc/meminfo: memFree=30338556/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 70598 0 0 0 19 10 0 0 20 0 4 0 12053849 1247350784 70437 33554432000 4194304 16246674 140736437381232 140736437364232 5724508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 304529 70450 712 2943 0 301423 0
[pid=28170/tid=28171] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1247350784 70456 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1247350784 70462 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12053850 1247350784 70467 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700419 s]
/proc/loadavg: 2.22 2.21 2.18 3/180 28170
/proc/meminfo: memFree=30338556/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 169069 0 0 0 46 22 0 0 20 0 4 0 12053849 1247350784 168908 33554432000 4194304 16246674 140736437381232 140736437364232 5516804 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 304529 168917 712 2943 0 301423 0
[pid=28170/tid=28171] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1247350784 168922 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1247350784 168928 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12053850 1247350784 168933 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50051 s]
/proc/loadavg: 2.52 2.27 2.20 4/184 28174
/proc/meminfo: memFree=28488684/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 245611 0 0 0 115 34 0 0 20 0 4 0 12053849 1248399360 245430 33554432000 4194304 16246674 140736437381232 140736437363136 13191441 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 304785 245430 787 2943 0 301679 0
[pid=28170/tid=28171] ppid=28167 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1248399360 245430 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1248399360 245430 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053850 1248399360 245430 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10043 s]
/proc/loadavg: 2.52 2.27 2.20 4/184 28174
/proc/meminfo: memFree=28314588/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 267413 0 0 0 272 37 0 0 20 0 4 0 12053849 1337528320 267232 33554432000 4194304 16246674 140736437381232 140736437363136 6836125 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 326545 267232 787 2943 0 323439 0
[pid=28170/tid=28171] ppid=28167 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1337528320 267232 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1337528320 267232 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053850 1337528320 267232 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30037 s]
/proc/loadavg: 2.48 2.27 2.20 3/184 28174
/proc/meminfo: memFree=28313752/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 267489 0 0 0 592 37 0 0 20 0 4 0 12053849 1337528320 267308 33554432000 4194304 16246674 140736437381232 140736437363136 12483411 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 326545 267308 788 2943 0 323439 0
[pid=28170/tid=28171] ppid=28167 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1337528320 267308 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1337528320 267308 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053850 1337528320 267308 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.52 2.28 2.20 3/184 28197
/proc/meminfo: memFree=28312316/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 267596 0 0 0 1232 37 0 0 20 0 4 0 12053849 1338576896 267415 33554432000 4194304 16246674 140736437381232 140736437363136 5708466 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 326801 267415 788 2943 0 323695 0
[pid=28170/tid=28171] ppid=28167 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1338576896 267415 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1338576896 267415 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053850 1338576896 267415 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5004 s]
/proc/loadavg: 2.44 2.27 2.20 4/183 28197
/proc/meminfo: memFree=28311524/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 267597 0 0 0 2512 37 0 0 20 0 4 0 12053849 1338576896 267416 33554432000 4194304 16246674 140736437381232 140736437364232 5672184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 326801 267416 788 2943 0 323695 0
[pid=28170/tid=28171] ppid=28167 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1338576896 267416 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1338576896 267416 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053850 1338576896 267416 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1004 s]
/proc/loadavg: 2.26 2.24 2.19 3/184 28198
/proc/meminfo: memFree=28309732/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 267830 0 0 0 5070 38 0 0 20 0 4 0 12053849 1338576896 267649 33554432000 4194304 16246674 140736437381232 140736437363136 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 326801 267649 790 2943 0 323695 0
[pid=28170/tid=28171] ppid=28167 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1338576896 267649 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1338576896 267649 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053850 1338576896 267649 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.35 2.26 2.20 3/183 28199
/proc/meminfo: memFree=28308796/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1307204 CPUtime=102.27 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 267830 0 0 0 10189 38 0 0 20 0 4 0 12053849 1338576896 267649 33554432000 4194304 16246674 140736437381232 140736437363136 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 326801 267649 790 2943 0 323695 0
[pid=28170/tid=28171] ppid=28167 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1338576896 267649 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1338576896 267649 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053850 1338576896 267649 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053850 1340674048 268264 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1309252

[startup+1302.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 28229
/proc/meminfo: memFree=28300136/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1309252 CPUtime=1301.84 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 268620 0 0 0 130132 52 0 0 20 0 4 0 12053849 1340674048 268264 33554432000 4194304 16246674 140736437381232 140736437363136 5824140 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 327313 268264 793 2943 0 324207 0
[pid=28170/tid=28171] ppid=28167 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1340674048 268264 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1340674048 268264 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053850 1340674048 268264 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1309252

[startup+1362.3 s]
/proc/loadavg: 2.21 2.20 2.18 4/183 28230
/proc/meminfo: memFree=28299784/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1309252 CPUtime=1361.8 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 268775 0 0 0 136128 52 0 0 20 0 4 0 12053849 1340674048 268377 33554432000 4194304 16246674 140736437381232 140736437363136 6010981 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 327313 268377 793 2943 0 324207 0
[pid=28170/tid=28171] ppid=28167 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1340674048 268377 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1340674048 268377 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053850 1340674048 268377 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1309252

[startup+1422.3 s]
/proc/loadavg: 2.35 2.24 2.19 3/183 28231
/proc/meminfo: memFree=28300384/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1309252 CPUtime=1421.8 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 268818 0 0 0 142127 53 0 0 20 0 4 0 12053849 1340674048 268420 33554432000 4194304 16246674 140736437381232 140736437363136 5589576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 327313 268420 793 2943 0 324207 0
[pid=28170/tid=28171] ppid=28167 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1340674048 268420 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1340674048 268420 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053850 1340674048 268420 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1309252

[startup+1482.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/183 28232
/proc/meminfo: memFree=28299232/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1309252 CPUtime=1481.78 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 268818 0 0 0 148125 53 0 0 20 0 4 0 12053849 1340674048 268420 33554432000 4194304 16246674 140736437381232 140736437364232 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 327313 268420 793 2943 0 324207 0
[pid=28170/tid=28171] ppid=28167 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1340674048 268420 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1340674048 268420 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053850 1340674048 268420 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1309252

[startup+1542.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 28233
/proc/meminfo: memFree=28297992/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1309252 CPUtime=1541.78 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 268818 0 0 0 154124 54 0 0 20 0 4 0 12053849 1340674048 268420 33554432000 4194304 16246674 140736437381232 140736437363136 13006856 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 327313 268420 793 2943 0 324207 0
[pid=28170/tid=28171] ppid=28167 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1340674048 268420 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1340674048 268420 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053850 1340674048 268420 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1309252

[startup+1602.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 28235
/proc/meminfo: memFree=28297624/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1310276 CPUtime=1601.76 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 268911 0 0 0 160122 54 0 0 20 0 4 0 12053849 1341722624 268513 33554432000 4194304 16246674 140736437381232 140736437364232 5822432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 327569 268513 793 2943 0 324463 0
[pid=28170/tid=28171] ppid=28167 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1341722624 268513 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1341722624 268513 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053850 1341722624 268513 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1310276

[startup+1662.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/183 28236
/proc/meminfo: memFree=28297376/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1310276 CPUtime=1661.77 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 268950 0 0 0 166122 55 0 0 20 0 4 0 12053849 1341722624 268552 33554432000 4194304 16246674 140736437381232 140736437363136 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 327569 268552 793 2943 0 324463 0
[pid=28170/tid=28171] ppid=28167 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1341722624 268552 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1341722624 268552 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053850 1341722624 268552 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1310276

[startup+1722.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/183 28237
/proc/meminfo: memFree=28297568/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1310276 CPUtime=1721.75 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 268950 0 0 0 172120 55 0 0 20 0 4 0 12053849 1341722624 268552 33554432000 4194304 16246674 140736437381232 140736437363136 6026720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 327569 268552 793 2943 0 324463 0
[pid=28170/tid=28171] ppid=28167 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1341722624 268552 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1341722624 268552 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053850 1341722624 268552 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1310276

[startup+1782.31 s]
/proc/loadavg: 2.18 2.20 2.18 3/184 28241
/proc/meminfo: memFree=28296360/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1310276 CPUtime=1781.75 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 269074 0 0 0 178119 56 0 0 20 0 4 0 12053849 1341722624 268676 33554432000 4194304 16246674 140736437381232 140736437363136 13950188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 327569 268676 793 2943 0 324463 0
[pid=28170/tid=28171] ppid=28167 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1341722624 268676 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1341722624 268676 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053850 1341722624 268676 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1310276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.21 2.21 2.18 3/184 28241
/proc/meminfo: memFree=28296360/32872528 swapFree=1430864/1543284
[pid=28170] ppid=28167 vsize=1310276 CPUtime=1800.03 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 27978 0 -1 4202496 269074 0 0 0 179947 56 0 0 20 0 4 0 12053849 1341722624 268676 33554432000 4194304 16246674 140736437381232 140736437363136 6012046 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 327569 268676 793 2943 0 324463 0
[pid=28170/tid=28171] ppid=28167 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053850 1341722624 268676 33554432000 4194304 16246674 140736437381232 140357049232624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053850 1341722624 268676 33554432000 4194304 16246674 140736437381232 140357038742768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053850 1341722624 268676 33554432000 4194304 16246674 140736437381232 140357028269232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1310276

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.48
CPU system time (s): 0.568913
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.568913
maximum resident set size= 1074704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269074
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= 488
involuntary context switches= 1842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6013 second user time and 6.91395 second system time

The end

Begin job on node116 at 2016-06-16 20:00:51
IDJOB=4095994
IDBENCH=107551
IDSOLVER=2542
FILE ID=node116/4095994-1466100051
RUNJOBID= node116-1466098250-27995
PBS_JOBID= 19904066
Free space on /tmp= 71620 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-eq-random4regular-70.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4095994-1466100051/watcher-4095994-1466100051 -o /tmp/evaluation-result-4095994-1466100051/solver-4095994-1466100051 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466098250-27995 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095994-1466100051.opb

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

MD5SUM BENCH= 87ed61143608cc0f172084ebd885062a
RANDOM SEED=2110131238

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30354336 kB
Buffers:           39440 kB
Cached:           128344 kB
SwapCached:         2820 kB
Active:           197856 kB
Inactive:          71096 kB
Active(anon):     101188 kB
Inactive(anon):     1948 kB
Active(file):      96668 kB
Inactive(file):    69148 kB
Unevictable:     1543284 kB
Mlocked:         1430864 kB
SwapTotal:      67108856 kB
SwapFree:       67099404 kB
Dirty:             32608 kB
Writeback:             0 kB
AnonPages:       1714108 kB
Mapped:             9876 kB
Shmem:                 0 kB
Slab:             570200 kB
SReclaimable:      14724 kB
SUnreclaim:       555476 kB
KernelStack:        1528 kB
PageTables:         8804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2670536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 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= 71604 MiB
End job on node116 at 2016-06-16 20:30:52