0.00/0.00	c 2016-06-16T02:30:05+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-4090023-1466037005.opb"]
0.00/0.01	c use --random-gen="487229182 2508931958 34275384 3895008545 3758503880 1544644397 3157931770 4292641103 3196771890 2321417324 344761758 2223584327 398120130 7205500 2890962256 1885782807 2616482113 1206268810 1612408679 588263266 491891711 1600828053 817451800 3020804469 3626318759 2920629228 2399626824 2182398174 459459669 18309580 1485501344 252823858 3144478166 2416743039 4127308078 2876191295 2282541338 1511726653 4192954912 497992936 3838588148 2437227181 3915029698 2788809694 3305260935 4156624366 3914727976 823220743 135544371 2462275413 2567945859 538871863 3493656275 2434008509 2263712088 1560878345 2159104156 2924175992 2526903223 2231723252 134346287 3694952286 4107066703 3034384445 3948351735 1611074642 3040794010 1485398776 1029649759 3056157444 2408409923 2193415171 1419353854 1487510436 174410284 2877090727 3196230420 1421157305 4116355445 1940717538 1582441249 1008578831 2703875968 3664488261 2089190138 4182321673 2727095358 249340349 2748121927 67297114 4013000331 3780082308 208803124 1279501997 1476707684 3803671053 183449015 2770595353 441721692 1745870975 3557797316 776129636 4116714674 3202827089 4101842941 3754261619 145562890 3287423990 59760443 4048934935 4280200672 3080835531 2993476430 2567062104 830048008 4280630480 3202576235 2830028048 3595807594 3093874541 482002619 1067599148 250975761 1055179175 309463974 572999838 3600041112 4071335872 1513769547 3297808892 573956192 4115403835 771214704 3513188149 3039614463 334319183 3108383446 1474213387 1121282421 1174720239 2926363067 1971983294 1236560106 243323984 3106234638 812618620 435265239 652952815 2138188902 106687500 61046122 2769043719 783052818 3419456457 3760219565 2102498921 494220834 1262771818 919358611 1090345594 1066116358 1957539326 73552099 3219384517 698159452 4126102359 1512636356 1479512415 2246392284 3889553484 3282012899 328871096 856889424 486253178 1892905148 2857028567 1254159403 3651488874 322333770 696754595 1542578044 2464788995 2937205428 1438582996 533660333 248451023 2789743347 4072595677 3944978980 1070608858 2718815771 1630201436 1216097375 735225031 2098036535 2995315642 1533632001 109789992 3834962665 2815382928 3031883756 2253566525 945774826 3893032434 1422125562 879099135 473799364 2173776741 837135359 2848162941 204565081 2566714829 1995310177 298883809 18403461 910579596 499631397 572206329 3928640796 2171344498 2658732785 3969831657 969327495 595875465 647587823 1860804484 234158364 756798608 1106215672 2527661128 1658814589 713488080 3452195981 1783976012 645185909 1530643976 4148960616 1004305317 1783211174 526251052 3301050578 2070839642 109691627 3003791068 884776570 4245528236 305468919 688335841 96964435 665842929 2094770561 1592572846 2258610353 1777997625 643717119 3313116205 255 362436" option to reproduce the execution
0.00/0.01	c #vars 303
0.00/0.01	c #constraints 101
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 |      168      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      141 |      100 |      168      0 |        0 |        0
0.00/0.07	c  0.1s |       2 |      409 |      250 |      185      0 |        0 |        0
0.09/0.13	c  0.1s |       3 |      755 |      475 |      204      1 |        0 |        0
0.19/0.25	c  0.2s |       4 |     1248 |      813 |      225      3 |        0 |        0
0.29/0.39	c  0.4s |       5 |     1941 |     1320 |      248      5 |        0 |        0
0.59/0.63	c  0.6s |       6 |     2891 |     2081 |      301      8 |        0 |        0
0.89/0.90	c  0.9s |       7 |     4330 |     3223 |      332     13 |        0 |        0
1.20/1.22	c  1.2s |       8 |     6293 |     4936 |      366     18 |        0 |        0
1.69/1.78	c  1.8s |       9 |     9326 |     7506 |      403     27 |        0 |        0
2.49/2.58	c  2.6s |      10 |    13607 |    11361 |      444     39 |        0 |        0
3.69/3.78	c  3.8s |      11 |    20159 |    17144 |      489     56 |        0 |        0
5.60/5.66	c  5.6s |      12 |    29719 |    25819 |      538     80 |        0 |        0
7.59/7.68	c  7.7s |      12 |    39317 |    34419 |      538    103 |        0 |        0
8.69/8.72	c  8.7s |      13 |    44173 |    38832 |      592    115 |        0 |        0
10.69/10.73	c 10.7s |      13 |    54090 |    48032 |      592    138 |        0 |        0
12.69/12.74	c 12.7s |      13 |    62960 |    55832 |      592    158 |        0 |        0
13.49/13.50	c 13.5s |      14 |    65712 |    58352 |      652    164 |        0 |        0
15.49/15.53	c 15.5s |      14 |    75836 |    66752 |      652    184 |        0 |        0
17.49/17.53	c 17.5s |      14 |    84185 |    73852 |      652    202 |        0 |        0
19.49/19.54	c 19.5s |      14 |    91330 |    80352 |      652    217 |        0 |        0
21.49/21.55	c 21.5s |      14 |    98749 |    86952 |      652    233 |        0 |        0
21.69/21.76	c 21.7s |      15 |    99502 |    87632 |      718    234 |        0 |        0
23.69/23.78	c 23.8s |      15 |   108133 |    95132 |      718    251 |        0 |        0
25.69/25.79	c 25.8s |      15 |   115963 |   102232 |      718    267 |        0 |        0
27.78/27.82	c 27.8s |      15 |   124248 |   109432 |      718    284 |        0 |        0
29.79/29.83	c 29.8s |      15 |   131728 |   116132 |      718    299 |        0 |        0
31.78/31.85	c 31.8s |      15 |   140111 |   123332 |      718    315 |        0 |        0
33.78/33.88	c 33.9s |      15 |   147987 |   130332 |      718    331 |        0 |        0
34.19/34.23	c 34.2s |      16 |   149346 |   131552 |      790    334 |        0 |        0
36.18/36.26	c 36.2s |      16 |   158052 |   138652 |      790    348 |        0 |        0
38.18/38.26	c 38.2s |      16 |   167044 |   146052 |      790    364 |        0 |        0
40.18/40.27	c 40.3s |      16 |   176021 |   153452 |      790    380 |        0 |        0
42.18/42.29	c 42.3s |      16 |   184715 |   160452 |      790    394 |        0 |        0
44.18/44.29	c 44.3s |      16 |   193160 |   167352 |      790    409 |        0 |        0
46.19/46.29	c 46.3s |      16 |   201095 |   174452 |      790    424 |        0 |        0
48.28/48.30	c 48.3s |      16 |   208772 |   181152 |      790    438 |        0 |        0
50.28/50.30	c 50.3s |      16 |   215950 |   187352 |      790    451 |        0 |        0
52.28/52.31	c 52.3s |      16 |   222896 |   193552 |      790    464 |        0 |        0
53.58/53.67	c 53.7s |      17 |   227268 |   197432 |      870    471 |        0 |        0
55.58/55.67	c 55.7s |      17 |   235499 |   204832 |      870    485 |        0 |        0
57.68/57.70	c 57.7s |      17 |   243324 |   211932 |      870    498 |        0 |        0
59.68/59.73	c 59.7s |      17 |   251544 |   219232 |      870    512 |        0 |        0
61.68/61.74	c 61.7s |      17 |   258439 |   225532 |      870    524 |        0 |        0
63.68/63.77	c 63.8s |      17 |   266052 |   232332 |      870    537 |        0 |        0
65.78/65.81	c 65.8s |      17 |   274632 |   239832 |      870    551 |        0 |        0
67.78/67.81	c 67.8s |      17 |   282758 |   247132 |      870    564 |        0 |        0
69.78/69.82	c 69.8s |      17 |   290710 |   254232 |      870    577 |        0 |        0
71.78/71.84	c 71.8s |      17 |   298569 |   261232 |      870    591 |        0 |        0
73.78/73.84	c 73.8s |      17 |   306814 |   268432 |      870    604 |        0 |        0
75.77/75.84	c 75.8s |      17 |   314551 |   275332 |      870    617 |        0 |        0
77.78/77.86	c 77.8s |      17 |   322960 |   282632 |      870    631 |        0 |        0
79.78/79.89	c 79.9s |      17 |   330753 |   289532 |      870    644 |        0 |        0
81.68/81.76	c 81.7s |      18 |   338242 |   296252 |      958    656 |        0 |        0
83.69/83.76	c 83.7s |      18 |   346497 |   303552 |      958    668 |        0 |        0
85.68/85.78	c 85.8s |      18 |   354249 |   310652 |      958    680 |        0 |        0
87.78/87.80	c 87.8s |      18 |   361946 |   317652 |      958    692 |        0 |        0
89.78/89.82	c 89.8s |      18 |   368655 |   323952 |      958    703 |        0 |        0
91.78/91.83	c 91.8s |      18 |   376395 |   331052 |      958    715 |        0 |        0
93.78/93.85	c 93.8s |      18 |   383859 |   337852 |      958    726 |        0 |        0
95.79/95.85	c 95.8s |      18 |   390621 |   344052 |      958    737 |        0 |        0
97.78/97.88	c 97.9s |      18 |   397942 |   350652 |      958    749 |        0 |        0
99.88/99.90	c 99.9s |      18 |   405486 |   357552 |      958    760 |        0 |        0
101.88/101.91	c  101s |      18 |   412649 |   363952 |      958    772 |        0 |        0
103.88/103.92	c  103s |      18 |   420612 |   370952 |      958    784 |        0 |        0
105.88/105.93	c  105s |      18 |   427438 |   377252 |      958    795 |        0 |        0
107.88/107.94	c  107s |      18 |   434342 |   383652 |      958    806 |        0 |        0
109.87/109.94	c  109s |      18 |   441100 |   389852 |      958    817 |        0 |        0
111.87/111.95	c  111s |      18 |   447635 |   395852 |      958    827 |        0 |        0
113.87/113.97	c  113s |      18 |   454451 |   401952 |      958    838 |        0 |        0
115.87/115.98	c  115s |      18 |   461050 |   407852 |      958    848 |        0 |        0
117.87/117.99	c  117s |      18 |   467512 |   413652 |      958    858 |        0 |        0
119.98/120.00	c  119s |      18 |   474407 |   419752 |      958    869 |        0 |        0
121.97/122.02	c  122s |      18 |   481732 |   426252 |      958    880 |        0 |        0
123.97/124.05	c  124s |      18 |   488584 |   432352 |      958    891 |        0 |        0
125.97/126.08	c  126s |      18 |   495728 |   438552 |      958    902 |        0 |        0
127.97/128.09	c  128s |      18 |   501986 |   444252 |     1054    911 |        0 |        0
128.07/128.17	c  128s |      19 |   502237 |   444482 |     1054    912 |        0 |        0
130.17/130.20	c  130s |      19 |   509738 |   451482 |     1054    923 |        0 |        0
132.17/132.21	c  132s |      19 |   516634 |   457782 |     1054    933 |        0 |        0
134.17/134.24	c  134s |      19 |   523334 |   464082 |     1054    943 |        0 |        0
136.17/136.27	c  136s |      19 |   529354 |   469782 |     1054    952 |        0 |        0
138.17/138.29	c  138s |      19 |   535316 |   475382 |     1054    960 |        0 |        0
140.27/140.31	c  140s |      19 |   541307 |   480982 |     1054    969 |        0 |        0
142.27/142.35	c  142s |      19 |   547812 |   486982 |     1054    979 |        0 |        0
144.27/144.38	c  144s |      19 |   553552 |   492382 |     1054    987 |        0 |        0
146.27/146.38	c  146s |      19 |   559626 |   497982 |     1054    996 |        0 |        0
148.36/148.40	c  148s |      19 |   566598 |   504282 |     1054   1006 |        0 |        0
150.36/150.41	c  150s |      19 |   572785 |   509982 |     1054   1015 |        0 |        0
152.36/152.41	c  152s |      19 |   578889 |   515582 |     1054   1024 |        0 |        0
154.36/154.45	c  154s |      19 |   584728 |   520882 |     1054   1032 |        0 |        0
156.36/156.46	c  156s |      19 |   590842 |   526482 |     1054   1041 |        0 |        0
158.37/158.49	c  158s |      19 |   597555 |   532782 |     1054   1051 |        0 |        0
160.46/160.51	c  160s |      19 |   603896 |   538782 |     1054   1060 |        0 |        0
162.46/162.54	c  162s |      19 |   609771 |   544282 |     1054   1069 |        0 |        0
164.47/164.57	c  164s |      19 |   615939 |   549982 |     1054   1078 |        0 |        0
166.47/166.59	c  166s |      19 |   621869 |   555482 |     1054   1087 |        0 |        0
168.57/168.63	c  168s |      19 |   627885 |   561082 |     1054   1095 |        0 |        0
170.58/170.66	c  170s |      19 |   633416 |   566282 |     1054   1104 |        0 |        0
172.57/172.66	c  172s |      19 |   638972 |   571482 |     1054   1112 |        0 |        0
174.57/174.68	c  174s |      19 |   644901 |   576982 |     1054   1120 |        0 |        0
176.67/176.70	c  176s |      19 |   650717 |   582282 |     1054   1129 |        0 |        0
178.67/178.71	c  178s |      19 |   656254 |   587482 |     1054   1137 |        0 |        0
180.67/180.77	c  180s |      19 |   661825 |   592682 |     1054   1145 |        0 |        0
182.77/182.80	c  182s |      19 |   667051 |   597582 |     1054   1153 |        0 |        0
184.77/184.83	c  184s |      19 |   673478 |   603582 |     1054   1162 |        0 |        0
186.77/186.85	c  186s |      19 |   680282 |   609782 |     1054   1172 |        0 |        0
188.76/188.86	c  188s |      19 |   686593 |   615682 |     1054   1181 |        0 |        0
190.76/190.87	c  190s |      19 |   692627 |   621282 |     1054   1190 |        0 |        0
192.76/192.87	c  192s |      19 |   698306 |   626582 |     1054   1199 |        0 |        0
194.86/194.91	c  194s |      19 |   703979 |   631882 |     1054   1207 |        0 |        0
196.87/196.93	c  196s |      19 |   710174 |   637482 |     1054   1216 |        0 |        0
198.86/198.96	c  198s |      19 |   716073 |   642982 |     1054   1225 |        0 |        0
200.86/200.96	c  200s |      19 |   721556 |   648082 |     1054   1233 |        0 |        0
202.86/202.97	c  202s |      19 |   727032 |   653182 |     1054   1241 |        0 |        0
204.96/205.00	c  204s |      19 |   732796 |   658482 |     1054   1249 |        0 |        0
206.96/207.00	c  206s |      19 |   738400 |   663682 |     1160   1257 |        0 |        0
208.25/208.31	c  208s |      20 |   741804 |   666827 |     1160   1262 |        0 |        0
210.25/210.35	c  210s |      20 |   748824 |   673027 |     1160   1271 |        0 |        0
212.26/212.37	c  212s |      20 |   756061 |   679327 |     1160   1280 |        0 |        0
214.25/214.39	c  214s |      20 |   763176 |   685627 |     1160   1289 |        0 |        0
216.35/216.41	c  216s |      20 |   770462 |   691927 |     1160   1298 |        0 |        0
218.35/218.43	c  218s |      20 |   777256 |   697927 |     1160   1307 |        0 |        0
220.34/220.44	c  220s |      20 |   784056 |   704027 |     1160   1316 |        0 |        0
222.34/222.45	c  222s |      20 |   790594 |   709827 |     1160   1325 |        0 |        0
224.35/224.47	c  224s |      20 |   796530 |   715227 |     1160   1333 |        0 |        0
226.34/226.49	c  226s |      20 |   802122 |   720327 |     1160   1340 |        0 |        0
228.44/228.51	c  228s |      20 |   808319 |   725927 |     1160   1348 |        0 |        0
230.44/230.53	c  230s |      20 |   814544 |   731427 |     1160   1356 |        0 |        0
232.44/232.53	c  232s |      20 |   820250 |   736727 |     1160   1364 |        0 |        0
234.44/234.56	c  234s |      20 |   825495 |   741627 |     1160   1371 |        0 |        0
236.45/236.56	c  236s |      20 |   831685 |   747227 |     1160   1380 |        0 |        0
238.44/238.59	c  238s |      20 |   837501 |   752427 |     1160   1387 |        0 |        0
240.54/240.61	c  240s |      20 |   843210 |   757427 |     1160   1395 |        0 |        0
242.54/242.63	c  242s |      20 |   848798 |   762427 |     1160   1402 |        0 |        0
244.54/244.64	c  244s |      20 |   854919 |   767927 |     1160   1410 |        0 |        0
246.53/246.65	c  246s |      20 |   860466 |   772927 |     1160   1418 |        0 |        0
248.54/248.66	c  248s |      20 |   866258 |   778027 |     1160   1425 |        0 |        0
250.63/250.70	c  250s |      20 |   872049 |   783127 |     1160   1433 |        0 |        0
252.63/252.73	c  252s |      20 |   877542 |   787927 |     1160   1440 |        0 |        0
254.63/254.75	c  254s |      20 |   882475 |   792327 |     1160   1446 |        0 |        0
256.64/256.75	c  256s |      20 |   887468 |   796927 |     1160   1453 |        0 |        0
258.63/258.76	c  258s |      20 |   892363 |   801427 |     1160   1460 |        0 |        0
260.64/260.77	c  260s |      20 |   898361 |   806827 |     1160   1468 |        0 |        0
262.63/262.77	c  262s |      20 |   904071 |   812027 |     1160   1475 |        0 |        0
264.63/264.79	c  264s |      20 |   909605 |   816927 |     1160   1482 |        0 |        0
266.73/266.81	c  266s |      20 |   914770 |   821627 |     1160   1489 |        0 |        0
268.73/268.82	c  268s |      20 |   919984 |   826327 |     1160   1496 |        0 |        0
270.73/270.85	c  270s |      20 |   925469 |   831227 |     1160   1503 |        0 |        0
272.74/272.87	c  272s |      20 |   931254 |   836427 |     1160   1511 |        0 |        0
274.73/274.89	c  274s |      20 |   936820 |   841427 |     1160   1519 |        0 |        0
276.83/276.94	c  276s |      20 |   942164 |   846227 |     1160   1526 |        0 |        0
278.82/278.95	c  278s |      20 |   947856 |   851427 |     1160   1533 |        0 |        0
280.82/280.95	c  280s |      20 |   953322 |   856427 |     1160   1541 |        0 |        0
282.82/282.97	c  282s |      20 |   958963 |   861527 |     1160   1548 |        0 |        0
284.93/285.00	c  284s |      20 |   964402 |   866527 |     1160   1555 |        0 |        0
286.92/287.03	c  287s |      20 |   969911 |   871527 |     1160   1563 |        0 |        0
288.92/289.05	c  289s |      20 |   974924 |   876127 |     1160   1569 |        0 |        0
290.92/291.08	c  291s |      20 |   980021 |   880727 |     1160   1576 |        0 |        0
293.02/293.10	c  293s |      20 |   985038 |   885227 |     1160   1583 |        0 |        0
295.01/295.13	c  295s |      20 |   990572 |   890327 |     1160   1590 |        0 |        0
297.02/297.18	c  297s |      20 |   995529 |   894927 |     1160   1597 |        0 |        0
299.12/299.21	c  299s |      20 |  1000477 |   899527 |     1160   1604 |        0 |        0
301.11/301.21	c  301s |      20 |  1005754 |   904327 |     1160   1611 |        0 |        0
303.11/303.21	c  303s |      20 |  1011409 |   909427 |     1160   1618 |        0 |        0
305.11/305.21	c  305s |      20 |  1016532 |   914127 |     1160   1625 |        0 |        0
307.10/307.24	c  307s |      20 |  1022074 |   919027 |     1160   1633 |        0 |        0
309.11/309.29	c  309s |      20 |  1027450 |   923727 |     1160   1640 |        0 |        0
311.21/311.32	c  311s |      20 |  1032218 |   928027 |     1160   1646 |        0 |        0
313.21/313.33	c  313s |      20 |  1036982 |   932427 |     1160   1652 |        0 |        0
315.21/315.36	c  315s |      20 |  1042593 |   937627 |     1160   1660 |        0 |        0
317.20/317.37	c  317s |      20 |  1047962 |   942527 |     1160   1667 |        0 |        0
319.30/319.40	c  319s |      20 |  1052639 |   946827 |     1160   1673 |        0 |        0
321.30/321.41	c  321s |      20 |  1057131 |   950927 |     1160   1679 |        0 |        0
323.31/323.44	c  323s |      20 |  1061535 |   955027 |     1160   1685 |        0 |        0
325.30/325.46	c  325s |      20 |  1066389 |   959427 |     1160   1692 |        0 |        0
327.30/327.48	c  327s |      20 |  1072763 |   965127 |     1160   1700 |        0 |        0
329.40/329.50	c  329s |      20 |  1078469 |   970327 |     1160   1708 |        0 |        0
331.40/331.52	c  331s |      20 |  1083788 |   975327 |     1160   1715 |        0 |        0
333.40/333.55	c  333s |      20 |  1089704 |   980727 |     1160   1723 |        0 |        0
335.40/335.57	c  335s |      20 |  1095799 |   986227 |     1160   1731 |        0 |        0
337.39/337.58	c  337s |      20 |  1100828 |   990927 |     1160   1738 |        0 |        0
339.39/339.58	c  339s |      20 |  1105473 |   995327 |     1276   1744 |        0 |        0
341.49/341.63	c  341s |      20 |  1110054 |   999627 |     1276   1750 |        0 |        0
341.79/341.96	c  341s |      21 |  1110851 |  1000345 |     1276   1751 |        0 |        0
343.79/343.98	c  343s |      21 |  1118219 |  1006845 |     1276   1759 |        0 |        0
345.89/346.01	c  345s |      21 |  1124332 |  1012445 |     1276   1767 |        0 |        0
347.89/348.01	c  347s |      21 |  1130504 |  1017945 |     1276   1774 |        0 |        0
349.88/350.02	c  350s |      21 |  1136609 |  1023445 |     1276   1782 |        0 |        0
351.89/352.03	c  352s |      21 |  1142702 |  1028945 |     1276   1789 |        0 |        0
353.88/354.06	c  354s |      21 |  1149147 |  1034745 |     1276   1797 |        0 |        0
355.98/356.12	c  356s |      21 |  1155138 |  1040245 |     1276   1805 |        0 |        0
357.98/358.12	c  358s |      21 |  1160414 |  1045145 |     1276   1811 |        0 |        0
359.98/360.13	c  360s |      21 |  1165912 |  1050145 |     1276   1818 |        0 |        0
361.98/362.14	c  362s |      21 |  1171526 |  1055245 |     1276   1825 |        0 |        0
363.98/364.14	c  364s |      21 |  1177318 |  1060645 |     1276   1832 |        0 |        0
365.98/366.15	c  366s |      21 |  1183049 |  1065945 |     1276   1839 |        0 |        0
367.97/368.17	c  368s |      21 |  1188443 |  1070945 |     1276   1846 |        0 |        0
370.07/370.20	c  370s |      21 |  1194310 |  1076345 |     1276   1853 |        0 |        0
372.07/372.20	c  372s |      21 |  1199942 |  1081545 |     1276   1860 |        0 |        0
374.07/374.22	c  374s |      21 |  1204972 |  1086245 |     1276   1867 |        0 |        0
376.08/376.23	c  376s |      21 |  1210087 |  1090945 |     1276   1873 |        0 |        0
378.06/378.25	c  378s |      21 |  1215122 |  1095545 |     1276   1879 |        0 |        0
380.06/380.26	c  380s |      21 |  1220465 |  1100345 |     1276   1886 |        0 |        0
382.06/382.26	c  382s |      21 |  1226044 |  1105545 |     1276   1893 |        0 |        0
384.06/384.29	c  384s |      21 |  1231621 |  1110745 |     1276   1900 |        0 |        0
386.16/386.32	c  386s |      21 |  1237048 |  1115845 |     1276   1907 |        0 |        0
388.16/388.32	c  388s |      21 |  1243157 |  1121345 |     1276   1914 |        0 |        0
390.15/390.33	c  390s |      21 |  1249140 |  1126845 |     1276   1921 |        0 |        0
392.15/392.34	c  392s |      21 |  1254166 |  1131545 |     1276   1928 |        0 |        0
394.15/394.34	c  394s |      21 |  1259301 |  1136345 |     1276   1934 |        0 |        0
396.15/396.35	c  396s |      21 |  1265117 |  1141645 |     1276   1941 |        0 |        0
398.16/398.38	c  398s |      21 |  1271236 |  1147145 |     1276   1949 |        0 |        0
400.15/400.39	c  400s |      21 |  1276806 |  1152345 |     1276   1956 |        0 |        0
402.25/402.41	c  402s |      21 |  1282306 |  1157445 |     1276   1963 |        0 |        0
404.25/404.43	c  404s |      21 |  1287872 |  1162545 |     1276   1970 |        0 |        0
406.26/406.44	c  406s |      21 |  1293909 |  1168145 |     1276   1977 |        0 |        0
408.25/408.44	c  408s |      21 |  1299609 |  1173345 |     1276   1984 |        0 |        0
410.26/410.46	c  410s |      21 |  1305251 |  1178545 |     1276   1991 |        0 |        0
412.25/412.50	c  412s |      21 |  1310610 |  1183445 |     1276   1998 |        0 |        0
414.35/414.50	c  414s |      21 |  1315787 |  1188245 |     1276   2005 |        0 |        0
416.35/416.52	c  416s |      21 |  1321114 |  1193145 |     1276   2011 |        0 |        0
418.35/418.55	c  418s |      21 |  1326665 |  1198145 |     1276   2018 |        0 |        0
420.35/420.56	c  420s |      21 |  1331827 |  1202845 |     1276   2025 |        0 |        0
422.36/422.58	c  422s |      21 |  1337800 |  1208345 |     1276   2032 |        0 |        0
424.35/424.60	c  424s |      21 |  1343256 |  1213445 |     1276   2039 |        0 |        0
426.45/426.63	c  426s |      21 |  1348846 |  1218645 |     1276   2046 |        0 |        0
428.44/428.63	c  428s |      21 |  1353988 |  1223445 |     1276   2053 |        0 |        0
430.44/430.65	c  430s |      21 |  1359031 |  1228145 |     1276   2059 |        0 |        0
432.44/432.69	c  432s |      21 |  1363936 |  1232645 |     1276   2065 |        0 |        0
434.54/434.71	c  434s |      21 |  1368472 |  1236845 |     1276   2071 |        0 |        0
436.55/436.74	c  436s |      21 |  1373500 |  1241445 |     1276   2077 |        0 |        0
438.54/438.75	c  438s |      21 |  1378974 |  1246445 |     1276   2084 |        0 |        0
440.54/440.75	c  440s |      21 |  1384436 |  1251545 |     1276   2091 |        0 |        0
442.54/442.77	c  442s |      21 |  1389915 |  1256545 |     1276   2097 |        0 |        0
444.54/444.79	c  444s |      21 |  1395045 |  1261245 |     1276   2104 |        0 |        0
446.64/446.80	c  446s |      21 |  1399739 |  1265545 |     1276   2110 |        0 |        0
448.64/448.83	c  448s |      21 |  1404341 |  1269745 |     1276   2115 |        0 |        0
450.63/450.86	c  450s |      21 |  1408626 |  1273745 |     1276   2121 |        0 |        0
452.63/452.88	c  452s |      21 |  1413743 |  1278345 |     1276   2127 |        0 |        0
454.63/454.89	c  454s |      21 |  1418618 |  1282845 |     1276   2133 |        0 |        0
456.73/456.90	c  456s |      21 |  1424059 |  1287845 |     1276   2140 |        0 |        0
458.73/458.95	c  458s |      21 |  1428840 |  1292245 |     1276   2146 |        0 |        0
460.74/460.99	c  460s |      21 |  1433839 |  1296945 |     1276   2152 |        0 |        0
462.83/463.02	c  463s |      21 |  1438480 |  1301245 |     1276   2158 |        0 |        0
464.83/465.04	c  465s |      21 |  1442598 |  1305045 |     1276   2163 |        0 |        0
466.83/467.06	c  467s |      21 |  1447853 |  1309945 |     1276   2170 |        0 |        0
468.82/469.07	c  469s |      21 |  1453145 |  1314745 |     1276   2176 |        0 |        0
470.82/471.08	c  471s |      21 |  1457872 |  1319145 |     1276   2182 |        0 |        0
472.93/473.12	c  473s |      21 |  1462975 |  1323745 |     1276   2188 |        0 |        0
474.92/475.14	c  475s |      21 |  1467964 |  1328345 |     1276   2195 |        0 |        0
476.92/477.18	c  477s |      21 |  1472608 |  1332545 |     1276   2200 |        0 |        0
479.02/479.21	c  479s |      21 |  1477153 |  1336645 |     1276   2206 |        0 |        0
481.02/481.22	c  481s |      21 |  1481445 |  1340545 |     1276   2211 |        0 |        0
483.02/483.22	c  483s |      21 |  1486399 |  1345045 |     1276   2217 |        0 |        0
485.02/485.27	c  485s |      21 |  1491256 |  1349445 |     1276   2223 |        0 |        0
487.01/487.28	c  487s |      21 |  1495562 |  1353445 |     1276   2229 |        0 |        0
489.11/489.30	c  489s |      21 |  1499902 |  1357445 |     1276   2234 |        0 |        0
491.11/491.30	c  491s |      21 |  1505585 |  1362545 |     1276   2241 |        0 |        0
493.11/493.33	c  493s |      21 |  1511700 |  1368045 |     1276   2248 |        0 |        0
495.11/495.36	c  495s |      21 |  1517347 |  1373245 |     1276   2255 |        0 |        0
497.20/497.40	c  497s |      21 |  1523135 |  1378545 |     1276   2263 |        0 |        0
499.22/499.43	c  499s |      21 |  1528615 |  1383545 |     1276   2269 |        0 |        0
501.21/501.47	c  501s |      21 |  1533494 |  1388045 |     1276   2276 |        0 |        0
503.21/503.48	c  503s |      21 |  1539134 |  1393245 |     1276   2283 |        0 |        0
505.31/505.51	c  505s |      21 |  1544255 |  1398045 |     1276   2289 |        0 |        0
507.30/507.55	c  507s |      21 |  1549326 |  1402845 |     1276   2296 |        0 |        0
509.30/509.60	c  509s |      21 |  1554602 |  1407745 |     1276   2302 |        0 |        0
511.41/511.63	c  511s |      21 |  1559685 |  1412445 |     1276   2309 |        0 |        0
513.40/513.66	c  513s |      21 |  1564861 |  1417245 |     1276   2315 |        0 |        0
515.40/515.66	c  515s |      21 |  1569699 |  1421745 |     1276   2321 |        0 |        0
517.40/517.70	c  517s |      21 |  1575422 |  1426945 |     1276   2328 |        0 |        0
519.50/519.72	c  519s |      21 |  1580594 |  1431745 |     1276   2335 |        0 |        0
521.50/521.75	c  521s |      21 |  1585637 |  1436445 |     1276   2341 |        0 |        0
523.51/523.77	c  523s |      21 |  1590319 |  1440745 |     1276   2347 |        0 |        0
525.50/525.77	c  525s |      21 |  1595118 |  1445245 |     1276   2353 |        0 |        0
527.59/527.82	c  527s |      21 |  1600367 |  1450045 |     1276   2359 |        0 |        0
529.59/529.82	c  529s |      21 |  1605014 |  1454345 |     1276   2365 |        0 |        0
531.59/531.84	c  531s |      21 |  1609718 |  1458745 |     1276   2371 |        0 |        0
533.59/533.87	c  533s |      21 |  1614885 |  1463545 |     1276   2378 |        0 |        0
535.69/535.90	c  535s |      21 |  1619837 |  1468145 |     1276   2384 |        0 |        0
537.70/537.91	c  537s |      21 |  1624874 |  1472745 |     1276   2390 |        0 |        0
539.69/539.92	c  539s |      21 |  1630430 |  1477745 |     1276   2397 |        0 |        0
541.69/541.94	c  541s |      21 |  1635280 |  1482245 |     1276   2403 |        0 |        0
543.69/543.97	c  543s |      21 |  1640168 |  1486745 |     1276   2409 |        0 |        0
545.69/545.97	c  545s |      21 |  1644985 |  1491045 |     1404   2415 |        0 |        0
547.69/547.99	c  547s |      21 |  1649446 |  1495145 |     1404   2420 |        0 |        0
549.79/550.01	c  549s |      21 |  1654004 |  1499345 |     1404   2425 |        0 |        0
550.38/550.65	c  550s |      22 |  1655383 |  1500622 |     1404   2427 |        0 |        0
552.38/552.67	c  552s |      22 |  1661768 |  1505922 |     1404   2434 |        0 |        0
554.38/554.69	c  554s |      22 |  1667516 |  1510722 |     1404   2440 |        0 |        0
556.49/556.72	c  556s |      22 |  1673077 |  1515422 |     1404   2446 |        0 |        0
558.47/558.75	c  558s |      22 |  1678530 |  1520122 |     1404   2452 |        0 |        0
560.47/560.76	c  560s |      22 |  1683443 |  1524322 |     1404   2457 |        0 |        0
562.47/562.76	c  562s |      22 |  1688685 |  1528922 |     1404   2463 |        0 |        0
564.47/564.77	c  564s |      22 |  1693879 |  1533422 |     1404   2469 |        0 |        0
566.47/566.79	c  566s |      22 |  1699549 |  1538222 |     1404   2475 |        0 |        0
568.48/568.79	c  568s |      22 |  1705252 |  1543122 |     1404   2481 |        0 |        0
570.47/570.80	c  570s |      22 |  1711065 |  1548222 |     1404   2487 |        0 |        0
572.57/572.81	c  572s |      22 |  1716448 |  1553022 |     1404   2493 |        0 |        0
574.57/574.85	c  574s |      22 |  1721328 |  1557422 |     1404   2499 |        0 |        0
576.57/576.86	c  576s |      22 |  1726403 |  1562022 |     1404   2505 |        0 |        0
578.57/578.88	c  578s |      22 |  1731376 |  1566522 |     1404   2510 |        0 |        0
580.67/580.93	c  580s |      22 |  1736086 |  1570822 |     1404   2516 |        0 |        0
582.66/582.95	c  582s |      22 |  1740486 |  1574822 |     1404   2521 |        0 |        0
584.66/584.98	c  584s |      22 |  1745905 |  1579622 |     1404   2527 |        0 |        0
586.66/586.99	c  586s |      22 |  1751597 |  1584522 |     1404   2533 |        0 |        0
588.76/589.03	c  589s |      22 |  1757172 |  1589522 |     1404   2539 |        0 |        0
590.76/591.04	c  591s |      22 |  1762422 |  1594222 |     1404   2545 |        0 |        0
592.77/593.06	c  593s |      22 |  1767733 |  1598722 |     1404   2551 |        0 |        0
594.76/595.07	c  595s |      22 |  1772978 |  1603422 |     1404   2557 |        0 |        0
596.86/597.12	c  597s |      22 |  1778122 |  1608122 |     1404   2563 |        0 |        0
598.85/599.13	c  599s |      22 |  1783261 |  1612722 |     1404   2569 |        0 |        0
600.85/601.18	c  601s |      22 |  1788596 |  1617422 |     1404   2575 |        0 |        0
602.85/603.18	c  603s |      22 |  1793588 |  1621922 |     1404   2580 |        0 |        0
604.86/605.20	c  605s |      22 |  1798737 |  1626422 |     1404   2586 |        0 |        0
606.95/607.21	c  607s |      22 |  1803411 |  1630622 |     1404   2591 |        0 |        0
608.94/609.24	c  609s |      22 |  1808321 |  1635022 |     1404   2597 |        0 |        0
610.95/611.27	c  611s |      22 |  1813486 |  1639722 |     1404   2603 |        0 |        0
613.05/613.32	c  613s |      22 |  1818540 |  1644222 |     1404   2609 |        0 |        0
615.05/615.35	c  615s |      22 |  1823183 |  1648422 |     1404   2614 |        0 |        0
617.05/617.39	c  617s |      22 |  1828000 |  1652822 |     1404   2620 |        0 |        0
619.05/619.40	c  619s |      22 |  1832567 |  1657022 |     1404   2625 |        0 |        0
621.14/621.44	c  621s |      22 |  1838641 |  1662322 |     1404   2632 |        0 |        0
623.14/623.44	c  623s |      22 |  1844429 |  1667422 |     1404   2638 |        0 |        0
625.14/625.45	c  625s |      22 |  1850456 |  1672622 |     1404   2645 |        0 |        0
627.14/627.49	c  627s |      22 |  1855648 |  1677322 |     1404   2651 |        0 |        0
629.24/629.50	c  629s |      22 |  1861381 |  1682322 |     1404   2657 |        0 |        0
631.24/631.55	c  631s |      22 |  1866621 |  1686822 |     1404   2663 |        0 |        0
633.23/633.57	c  633s |      22 |  1872138 |  1691522 |     1404   2669 |        0 |        0
635.23/635.58	c  635s |      22 |  1877613 |  1696122 |     1404   2675 |        0 |        0
637.23/637.59	c  637s |      22 |  1883637 |  1701222 |     1404   2681 |        0 |        0
639.33/639.61	c  639s |      22 |  1889261 |  1706322 |     1404   2688 |        0 |        0
641.33/641.62	c  641s |      22 |  1894767 |  1711322 |     1404   2694 |        0 |        0
643.33/643.65	c  643s |      22 |  1900230 |  1716222 |     1404   2700 |        0 |        0
645.33/645.68	c  645s |      22 |  1905850 |  1721222 |     1404   2707 |        0 |        0
647.32/647.69	c  647s |      22 |  1911068 |  1726022 |     1404   2713 |        0 |        0
649.42/649.72	c  649s |      22 |  1916073 |  1730622 |     1404   2719 |        0 |        0
651.42/651.72	c  651s |      22 |  1921462 |  1735522 |     1404   2725 |        0 |        0
653.42/653.75	c  653s |      22 |  1926875 |  1740422 |     1404   2731 |        0 |        0
655.42/655.76	c  655s |      22 |  1932062 |  1745122 |     1404   2737 |        0 |        0
657.41/657.79	c  657s |      22 |  1937397 |  1749922 |     1404   2744 |        0 |        0
659.41/659.79	c  659s |      22 |  1942515 |  1754622 |     1404   2750 |        0 |        0
661.41/661.80	c  661s |      22 |  1947621 |  1759222 |     1404   2756 |        0 |        0
663.51/663.84	c  663s |      22 |  1952679 |  1763822 |     1404   2761 |        0 |        0
665.51/665.89	c  665s |      22 |  1957731 |  1768422 |     1404   2767 |        0 |        0
667.60/667.92	c  667s |      22 |  1962811 |  1773022 |     1404   2773 |        0 |        0
669.61/669.97	c  669s |      22 |  1967931 |  1777722 |     1404   2779 |        0 |        0
671.61/671.97	c  671s |      22 |  1973098 |  1782322 |     1404   2785 |        0 |        0
673.71/674.01	c  673s |      22 |  1978504 |  1787222 |     1404   2791 |        0 |        0
675.71/676.04	c  676s |      22 |  1983633 |  1791922 |     1404   2797 |        0 |        0
677.70/678.07	c  678s |      22 |  1988949 |  1796722 |     1404   2804 |        0 |        0
679.70/680.09	c  680s |      22 |  1994276 |  1801522 |     1404   2810 |        0 |        0
681.81/682.11	c  682s |      22 |  1999302 |  1806222 |     1404   2816 |        0 |        0
683.80/684.15	c  684s |      22 |  2004975 |  1811322 |     1404   2822 |        0 |        0
685.80/686.19	c  686s |      22 |  2009945 |  1815922 |     1404   2828 |        0 |        0
687.90/688.20	c  688s |      22 |  2014570 |  1820122 |     1404   2834 |        0 |        0
689.90/690.24	c  690s |      22 |  2019539 |  1824622 |     1404   2839 |        0 |        0
691.89/692.25	c  692s |      22 |  2024375 |  1829022 |     1404   2845 |        0 |        0
693.90/694.27	c  694s |      22 |  2029389 |  1833622 |     1404   2851 |        0 |        0
695.89/696.29	c  696s |      22 |  2034555 |  1838422 |     1404   2857 |        0 |        0
697.99/698.30	c  698s |      22 |  2039618 |  1843122 |     1404   2863 |        0 |        0
699.99/700.33	c  700s |      22 |  2044406 |  1847522 |     1404   2869 |        0 |        0
701.99/702.38	c  702s |      22 |  2049502 |  1852222 |     1404   2875 |        0 |        0
703.99/704.39	c  704s |      22 |  2054664 |  1856922 |     1404   2881 |        0 |        0
706.09/706.42	c  706s |      22 |  2059390 |  1861322 |     1404   2886 |        0 |        0
708.09/708.43	c  708s |      22 |  2064301 |  1865822 |     1404   2892 |        0 |        0
710.08/710.46	c  710s |      22 |  2068994 |  1870222 |     1404   2898 |        0 |        0
712.18/712.51	c  712s |      22 |  2073673 |  1874522 |     1404   2903 |        0 |        0
714.18/714.56	c  714s |      22 |  2077926 |  1878422 |     1404   2908 |        0 |        0
716.18/716.59	c  716s |      22 |  2082770 |  1882822 |     1404   2914 |        0 |        0
718.27/718.60	c  718s |      22 |  2087374 |  1887122 |     1404   2919 |        0 |        0
720.28/720.64	c  720s |      22 |  2092404 |  1891722 |     1404   2925 |        0 |        0
722.27/722.65	c  722s |      22 |  2097723 |  1896622 |     1404   2931 |        0 |        0
724.27/724.67	c  724s |      22 |  2102565 |  1901122 |     1404   2937 |        0 |        0
726.27/726.68	c  726s |      22 |  2107520 |  1905622 |     1404   2943 |        0 |        0
728.37/728.71	c  728s |      22 |  2112329 |  1910022 |     1404   2949 |        0 |        0
730.38/730.73	c  730s |      22 |  2117072 |  1914422 |     1404   2954 |        0 |        0
732.38/732.75	c  732s |      22 |  2121415 |  1918522 |     1404   2959 |        0 |        0
734.38/734.78	c  734s |      22 |  2125638 |  1922522 |     1404   2965 |        0 |        0
736.47/736.81	c  736s |      22 |  2130450 |  1926922 |     1404   2970 |        0 |        0
738.47/738.82	c  738s |      22 |  2135637 |  1931622 |     1404   2976 |        0 |        0
740.47/740.86	c  740s |      22 |  2140756 |  1936222 |     1404   2982 |        0 |        0
742.47/742.89	c  742s |      22 |  2145878 |  1940822 |     1404   2988 |        0 |        0
744.57/744.93	c  744s |      22 |  2150736 |  1945222 |     1404   2994 |        0 |        0
746.57/746.97	c  746s |      22 |  2155778 |  1949722 |     1404   2999 |        0 |        0
748.66/749.00	c  748s |      22 |  2160722 |  1954122 |     1404   3005 |        0 |        0
750.66/751.02	c  751s |      22 |  2165521 |  1958422 |     1404   3010 |        0 |        0
752.66/753.04	c  753s |      22 |  2170501 |  1962922 |     1404   3016 |        0 |        0
754.66/755.07	c  755s |      22 |  2175854 |  1967722 |     1404   3022 |        0 |        0
756.66/757.09	c  757s |      22 |  2181063 |  1972322 |     1404   3028 |        0 |        0
758.76/759.12	c  759s |      22 |  2185973 |  1976622 |     1404   3034 |        0 |        0
760.76/761.16	c  761s |      22 |  2190565 |  1980722 |     1404   3039 |        0 |        0
762.86/763.20	c  763s |      22 |  2195533 |  1985222 |     1404   3045 |        0 |        0
764.85/765.21	c  765s |      22 |  2200514 |  1989722 |     1404   3051 |        0 |        0
766.85/767.24	c  767s |      22 |  2205007 |  1993822 |     1404   3056 |        0 |        0
768.85/769.26	c  769s |      22 |  2209482 |  1997922 |     1404   3061 |        0 |        0
770.85/771.28	c  771s |      22 |  2213946 |  2002022 |     1404   3066 |        0 |        0
772.85/773.29	c  773s |      22 |  2218742 |  2006422 |     1404   3072 |        0 |        0
774.95/775.33	c  775s |      22 |  2224106 |  2011222 |     1404   3078 |        0 |        0
776.94/777.35	c  777s |      22 |  2229117 |  2015622 |     1404   3084 |        0 |        0
778.94/779.36	c  779s |      22 |  2233551 |  2019622 |     1404   3089 |        0 |        0
781.04/781.40	c  781s |      22 |  2237795 |  2023522 |     1404   3094 |        0 |        0
783.04/783.42	c  783s |      22 |  2242674 |  2028022 |     1404   3099 |        0 |        0
785.05/785.46	c  785s |      22 |  2246990 |  2032022 |     1404   3104 |        0 |        0
787.04/787.47	c  787s |      22 |  2252570 |  2037122 |     1404   3111 |        0 |        0
789.14/789.50	c  789s |      22 |  2258187 |  2042122 |     1404   3117 |        0 |        0
791.14/791.50	c  791s |      22 |  2263339 |  2046822 |     1404   3123 |        0 |        0
793.14/793.51	c  793s |      22 |  2268701 |  2051622 |     1404   3130 |        0 |        0
795.14/795.55	c  795s |      22 |  2273720 |  2056122 |     1404   3135 |        0 |        0
797.14/797.58	c  797s |      22 |  2278528 |  2060522 |     1404   3141 |        0 |        0
799.23/799.61	c  799s |      22 |  2283716 |  2065222 |     1404   3147 |        0 |        0
801.23/801.64	c  801s |      22 |  2289305 |  2070222 |     1404   3154 |        0 |        0
803.23/803.68	c  803s |      22 |  2294499 |  2074922 |     1404   3160 |        0 |        0
805.33/805.70	c  805s |      22 |  2299225 |  2079222 |     1404   3165 |        0 |        0
807.32/807.75	c  807s |      22 |  2303719 |  2083422 |     1404   3170 |        0 |        0
809.33/809.77	c  809s |      22 |  2307978 |  2087422 |     1404   3176 |        0 |        0
811.43/811.81	c  811s |      22 |  2312509 |  2091622 |     1404   3181 |        0 |        0
813.42/813.84	c  813s |      22 |  2317341 |  2096022 |     1404   3186 |        0 |        0
815.43/815.88	c  815s |      22 |  2322149 |  2100422 |     1404   3192 |        0 |        0
817.53/817.91	c  817s |      22 |  2326744 |  2104622 |     1404   3198 |        0 |        0
819.53/819.94	c  819s |      22 |  2331779 |  2109122 |     1404   3203 |        0 |        0
821.53/821.95	c  821s |      22 |  2336698 |  2113522 |     1404   3209 |        0 |        0
823.53/823.98	c  823s |      22 |  2341814 |  2118022 |     1404   3215 |        0 |        0
825.62/826.01	c  825s |      22 |  2347196 |  2122922 |     1404   3221 |        0 |        0
827.62/828.02	c  828s |      22 |  2352226 |  2127522 |     1404   3227 |        0 |        0
829.62/830.03	c  830s |      22 |  2357622 |  2132422 |     1404   3233 |        0 |        0
831.62/832.05	c  832s |      22 |  2362285 |  2136722 |     1404   3239 |        0 |        0
833.62/834.08	c  834s |      22 |  2366880 |  2140922 |     1404   3244 |        0 |        0
835.63/836.08	c  836s |      22 |  2371935 |  2145422 |     1404   3250 |        0 |        0
837.62/838.09	c  838s |      22 |  2376924 |  2149922 |     1404   3256 |        0 |        0
839.72/840.10	c  840s |      22 |  2382049 |  2154622 |     1404   3262 |        0 |        0
841.72/842.13	c  842s |      22 |  2387088 |  2159222 |     1404   3267 |        0 |        0
843.72/844.15	c  844s |      22 |  2391433 |  2163122 |     1404   3273 |        0 |        0
845.72/846.19	c  846s |      22 |  2396435 |  2167622 |     1404   3278 |        0 |        0
847.82/848.23	c  848s |      22 |  2401242 |  2171922 |     1404   3284 |        0 |        0
849.81/850.27	c  850s |      22 |  2405968 |  2176322 |     1404   3289 |        0 |        0
851.81/852.28	c  852s |      22 |  2410542 |  2180422 |     1404   3295 |        0 |        0
853.91/854.30	c  854s |      22 |  2415334 |  2184722 |     1404   3300 |        0 |        0
855.91/856.32	c  856s |      22 |  2420248 |  2189322 |     1404   3306 |        0 |        0
857.91/858.34	c  858s |      22 |  2425390 |  2194022 |     1404   3312 |        0 |        0
859.92/860.34	c  860s |      22 |  2430829 |  2198922 |     1404   3318 |        0 |        0
861.91/862.38	c  862s |      22 |  2435795 |  2203422 |     1404   3324 |        0 |        0
864.01/864.41	c  864s |      22 |  2440932 |  2208122 |     1404   3330 |        0 |        0
866.01/866.44	c  866s |      22 |  2446047 |  2212722 |     1404   3336 |        0 |        0
868.01/868.47	c  868s |      22 |  2451002 |  2217122 |     1404   3342 |        0 |        0
870.01/870.47	c  870s |      22 |  2456251 |  2221822 |     1404   3348 |        0 |        0
872.02/872.49	c  872s |      22 |  2461250 |  2226422 |     1404   3353 |        0 |        0
874.01/874.49	c  874s |      22 |  2466819 |  2231422 |     1404   3360 |        0 |        0
876.11/876.51	c  876s |      22 |  2472265 |  2236222 |     1545   3366 |        0 |        0
878.11/878.52	c  878s |      22 |  2477499 |  2240922 |     1545   3371 |        0 |        0
880.11/880.55	c  880s |      22 |  2482462 |  2245422 |     1545   3377 |        0 |        0
882.11/882.56	c  882s |      22 |  2486959 |  2249622 |     1545   3382 |        0 |        0
882.71/883.15	c  883s |      23 |  2488546 |  2251038 |     1545   3383 |        0 |        0
884.71/885.19	c  885s |      23 |  2494860 |  2256738 |     1545   3390 |        0 |        0
886.81/887.22	c  887s |      23 |  2500507 |  2262038 |     1545   3396 |        0 |        0
888.81/889.24	c  889s |      23 |  2505942 |  2267138 |     1545   3402 |        0 |        0
890.81/891.24	c  891s |      23 |  2511339 |  2272138 |     1545   3407 |        0 |        0
892.81/893.28	c  893s |      23 |  2516820 |  2277238 |     1545   3413 |        0 |        0
894.91/895.31	c  895s |      23 |  2522599 |  2282638 |     1545   3419 |        0 |        0
896.90/897.32	c  897s |      23 |  2528090 |  2287738 |     1545   3425 |        0 |        0
898.90/899.33	c  899s |      23 |  2533806 |  2293038 |     1545   3431 |        0 |        0
900.90/901.34	c  901s |      23 |  2539120 |  2297938 |     1545   3437 |        0 |        0
902.90/903.38	c  903s |      23 |  2544583 |  2303038 |     1545   3442 |        0 |        0
904.91/905.39	c  905s |      23 |  2549675 |  2307838 |     1545   3448 |        0 |        0
907.00/907.41	c  907s |      23 |  2555138 |  2312838 |     1545   3454 |        0 |        0
909.00/909.45	c  909s |      23 |  2560800 |  2318038 |     1545   3460 |        0 |        0
911.00/911.47	c  911s |      23 |  2566351 |  2323138 |     1545   3465 |        0 |        0
913.10/913.51	c  913s |      23 |  2571514 |  2327938 |     1545   3471 |        0 |        0
915.10/915.54	c  915s |      23 |  2576368 |  2332538 |     1545   3476 |        0 |        0
917.20/917.60	c  917s |      23 |  2581444 |  2337238 |     1545   3482 |        0 |        0
919.21/919.62	c  919s |      23 |  2587478 |  2342638 |     1545   3488 |        0 |        0
921.20/921.63	c  921s |      23 |  2592753 |  2347538 |     1545   3493 |        0 |        0
923.20/923.65	c  923s |      23 |  2598072 |  2352438 |     1545   3499 |        0 |        0
925.20/925.66	c  925s |      23 |  2603270 |  2357238 |     1545   3504 |        0 |        0
927.30/927.71	c  927s |      23 |  2608581 |  2362138 |     1545   3510 |        0 |        0
929.30/929.72	c  929s |      23 |  2613320 |  2366538 |     1545   3515 |        0 |        0
931.30/931.77	c  931s |      23 |  2618438 |  2371238 |     1545   3521 |        0 |        0
933.40/933.80	c  933s |      23 |  2623819 |  2376138 |     1545   3526 |        0 |        0
935.40/935.80	c  935s |      23 |  2629207 |  2381138 |     1545   3532 |        0 |        0
937.40/937.84	c  937s |      23 |  2635133 |  2386538 |     1545   3538 |        0 |        0
939.40/939.86	c  939s |      23 |  2640679 |  2391638 |     1545   3544 |        0 |        0
941.40/941.89	c  941s |      23 |  2645617 |  2396138 |     1545   3549 |        0 |        0
943.40/943.90	c  943s |      23 |  2650822 |  2400838 |     1545   3554 |        0 |        0
945.50/945.92	c  945s |      23 |  2655874 |  2405438 |     1545   3560 |        0 |        0
947.50/947.97	c  947s |      23 |  2660844 |  2409938 |     1545   3565 |        0 |        0
949.50/949.98	c  949s |      23 |  2666118 |  2414838 |     1545   3570 |        0 |        0
951.60/952.01	c  951s |      23 |  2670935 |  2419338 |     1545   3575 |        0 |        0
953.60/954.05	c  954s |      23 |  2675232 |  2423338 |     1545   3580 |        0 |        0
955.61/956.09	c  956s |      23 |  2680812 |  2428438 |     1545   3586 |        0 |        0
957.71/958.10	c  958s |      23 |  2686485 |  2433538 |     1545   3592 |        0 |        0
959.70/960.12	c  960s |      23 |  2691312 |  2438038 |     1545   3597 |        0 |        0
961.70/962.14	c  962s |      23 |  2696788 |  2442938 |     1545   3602 |        0 |        0
963.70/964.18	c  964s |      23 |  2701981 |  2447638 |     1545   3608 |        0 |        0
965.70/966.18	c  966s |      23 |  2706656 |  2451838 |     1545   3613 |        0 |        0
967.80/968.20	c  968s |      23 |  2711220 |  2456038 |     1545   3618 |        0 |        0
969.80/970.23	c  970s |      23 |  2715988 |  2460438 |     1545   3623 |        0 |        0
971.80/972.29	c  972s |      23 |  2720088 |  2464238 |     1545   3627 |        0 |        0
973.90/974.32	c  974s |      23 |  2724421 |  2468238 |     1545   3632 |        0 |        0
975.90/976.37	c  976s |      23 |  2729069 |  2472538 |     1545   3637 |        0 |        0
978.00/978.41	c  978s |      23 |  2733671 |  2476638 |     1545   3641 |        0 |        0
980.00/980.44	c  980s |      23 |  2738676 |  2481038 |     1545   3646 |        0 |        0
982.00/982.47	c  982s |      23 |  2743239 |  2485138 |     1545   3651 |        0 |        0
984.10/984.51	c  984s |      23 |  2747145 |  2488738 |     1545   3655 |        0 |        0
986.09/986.53	c  986s |      23 |  2751529 |  2492738 |     1545   3660 |        0 |        0
988.09/988.57	c  988s |      23 |  2755917 |  2496738 |     1545   3664 |        0 |        0
990.09/990.58	c  990s |      23 |  2760030 |  2500538 |     1545   3669 |        0 |        0
992.19/992.64	c  992s |      23 |  2764573 |  2504738 |     1545   3674 |        0 |        0
994.19/994.66	c  994s |      23 |  2768764 |  2508638 |     1545   3678 |        0 |        0
996.30/996.71	c  996s |      23 |  2773442 |  2513038 |     1545   3683 |        0 |        0
998.29/998.75	c  998s |      23 |  2777782 |  2517038 |     1545   3688 |        0 |        0
1000.29/1000.78	c 1000s |      23 |  2782259 |  2521138 |     1545   3693 |        0 |        0
1002.29/1002.79	c 1002s |      23 |  2787090 |  2525538 |     1545   3698 |        0 |        0
1004.39/1004.82	c 1004s |      23 |  2791551 |  2529638 |     1545   3702 |        0 |        0
1006.39/1006.87	c 1006s |      23 |  2795688 |  2533438 |     1545   3707 |        0 |        0
1008.49/1008.91	c 1008s |      23 |  2799673 |  2537138 |     1545   3711 |        0 |        0
1010.50/1010.94	c 1010s |      23 |  2803808 |  2540938 |     1545   3715 |        0 |        0
1012.59/1013.00	c 1012s |      23 |  2807460 |  2544338 |     1545   3719 |        0 |        0
1014.59/1015.03	c 1015s |      23 |  2811410 |  2547938 |     1545   3723 |        0 |        0
1016.59/1017.06	c 1017s |      23 |  2814702 |  2551038 |     1545   3727 |        0 |        0
1018.59/1019.07	c 1019s |      23 |  2819298 |  2555238 |     1545   3732 |        0 |        0
1020.69/1021.10	c 1021s |      23 |  2823992 |  2559538 |     1545   3737 |        0 |        0
1022.69/1023.11	c 1023s |      23 |  2828852 |  2563938 |     1545   3742 |        0 |        0
1024.68/1025.15	c 1025s |      23 |  2833350 |  2568038 |     1545   3746 |        0 |        0
1026.68/1027.18	c 1027s |      23 |  2838113 |  2572438 |     1545   3751 |        0 |        0
1028.78/1029.22	c 1029s |      23 |  2842583 |  2576638 |     1545   3756 |        0 |        0
1030.78/1031.25	c 1031s |      23 |  2846783 |  2580538 |     1545   3761 |        0 |        0
1032.78/1033.29	c 1033s |      23 |  2851051 |  2584438 |     1545   3765 |        0 |        0
1034.88/1035.32	c 1035s |      23 |  2854974 |  2588038 |     1545   3769 |        0 |        0
1036.89/1037.33	c 1037s |      23 |  2859110 |  2591738 |     1545   3774 |        0 |        0
1038.88/1039.37	c 1039s |      23 |  2863901 |  2596038 |     1545   3778 |        0 |        0
1040.88/1041.38	c 1041s |      23 |  2868016 |  2599838 |     1545   3783 |        0 |        0
1042.98/1043.43	c 1043s |      23 |  2872233 |  2603738 |     1545   3787 |        0 |        0
1044.98/1045.44	c 1045s |      23 |  2875933 |  2607238 |     1545   3791 |        0 |        0
1046.98/1047.46	c 1047s |      23 |  2880215 |  2611138 |     1545   3796 |        0 |        0
1049.09/1049.52	c 1049s |      23 |  2884433 |  2615038 |     1545   3800 |        0 |        0
1051.08/1051.53	c 1051s |      23 |  2888351 |  2618638 |     1545   3804 |        0 |        0
1053.08/1053.56	c 1053s |      23 |  2892983 |  2622838 |     1545   3809 |        0 |        0
1055.18/1055.60	c 1055s |      23 |  2897051 |  2626638 |     1545   3814 |        0 |        0
1057.18/1057.64	c 1057s |      23 |  2900827 |  2630138 |     1545   3818 |        0 |        0
1059.18/1059.64	c 1059s |      23 |  2904914 |  2633838 |     1545   3822 |        0 |        0
1061.18/1061.66	c 1061s |      23 |  2910178 |  2638638 |     1545   3827 |        0 |        0
1063.18/1063.67	c 1063s |      23 |  2914868 |  2642838 |     1545   3832 |        0 |        0
1065.28/1065.70	c 1065s |      23 |  2919375 |  2646938 |     1545   3837 |        0 |        0
1067.28/1067.73	c 1067s |      23 |  2923765 |  2650838 |     1545   3841 |        0 |        0
1069.28/1069.78	c 1069s |      23 |  2927570 |  2654338 |     1545   3845 |        0 |        0
1071.38/1071.82	c 1071s |      23 |  2931463 |  2657938 |     1545   3850 |        0 |        0
1073.38/1073.85	c 1073s |      23 |  2934823 |  2661138 |     1545   3853 |        0 |        0
1075.38/1075.90	c 1075s |      23 |  2938998 |  2664938 |     1545   3858 |        0 |        0
1077.48/1077.94	c 1077s |      23 |  2943413 |  2669038 |     1545   3862 |        0 |        0
1079.48/1079.95	c 1079s |      23 |  2947706 |  2673038 |     1545   3867 |        0 |        0
1081.58/1082.00	c 1081s |      23 |  2951670 |  2676738 |     1545   3871 |        0 |        0
1083.58/1084.06	c 1084s |      23 |  2955758 |  2680538 |     1545   3876 |        0 |        0
1085.58/1086.06	c 1086s |      23 |  2959726 |  2684238 |     1545   3880 |        0 |        0
1087.59/1088.08	c 1088s |      23 |  2963918 |  2688038 |     1545   3884 |        0 |        0
1089.69/1090.13	c 1090s |      23 |  2968110 |  2691838 |     1545   3889 |        0 |        0
1091.68/1092.17	c 1092s |      23 |  2971874 |  2695238 |     1545   3892 |        0 |        0
1093.68/1094.19	c 1094s |      23 |  2976952 |  2699738 |     1545   3898 |        0 |        0
1095.78/1096.20	c 1096s |      23 |  2981660 |  2704038 |     1545   3903 |        0 |        0
1097.78/1098.21	c 1098s |      23 |  2986213 |  2708238 |     1545   3907 |        0 |        0
1099.78/1100.26	c 1100s |      23 |  2990488 |  2712238 |     1545   3912 |        0 |        0
1101.79/1102.26	c 1102s |      23 |  2994695 |  2716138 |     1545   3916 |        0 |        0
1103.88/1104.31	c 1104s |      23 |  2999056 |  2720138 |     1545   3921 |        0 |        0
1105.88/1106.35	c 1106s |      23 |  3003549 |  2724238 |     1545   3926 |        0 |        0
1107.88/1108.39	c 1108s |      23 |  3007616 |  2727938 |     1545   3930 |        0 |        0
1109.88/1110.39	c 1110s |      23 |  3011276 |  2731338 |     1545   3934 |        0 |        0
1111.98/1112.41	c 1112s |      23 |  3015025 |  2734738 |     1545   3938 |        0 |        0
1113.98/1114.47	c 1114s |      23 |  3018364 |  2737838 |     1545   3941 |        0 |        0
1115.98/1116.49	c 1116s |      23 |  3022008 |  2741238 |     1545   3945 |        0 |        0
1118.08/1118.51	c 1118s |      23 |  3025781 |  2744738 |     1545   3949 |        0 |        0
1120.08/1120.56	c 1120s |      23 |  3029547 |  2748238 |     1545   3953 |        0 |        0
1122.08/1122.58	c 1122s |      23 |  3033405 |  2751738 |     1545   3957 |        0 |        0
1124.08/1124.58	c 1124s |      23 |  3037048 |  2755038 |     1545   3961 |        0 |        0
1126.18/1126.61	c 1126s |      23 |  3041627 |  2759338 |     1545   3966 |        0 |        0
1128.18/1128.61	c 1128s |      23 |  3045837 |  2763238 |     1545   3971 |        0 |        0
1130.18/1130.62	c 1130s |      23 |  3050021 |  2767138 |     1545   3975 |        0 |        0
1132.17/1132.67	c 1132s |      23 |  3053916 |  2770838 |     1545   3979 |        0 |        0
1134.17/1134.69	c 1134s |      23 |  3057660 |  2774338 |     1545   3983 |        0 |        0
1136.27/1136.76	c 1136s |      23 |  3061595 |  2778038 |     1545   3988 |        0 |        0
1138.27/1138.77	c 1138s |      23 |  3065216 |  2781438 |     1545   3991 |        0 |        0
1140.28/1140.77	c 1140s |      23 |  3068709 |  2784738 |     1545   3995 |        0 |        0
1142.37/1142.80	c 1142s |      23 |  3072608 |  2788338 |     1545   3999 |        0 |        0
1144.37/1144.84	c 1144s |      23 |  3076648 |  2792038 |     1545   4004 |        0 |        0
1146.37/1146.86	c 1146s |      23 |  3080579 |  2795638 |     1545   4008 |        0 |        0
1148.37/1148.88	c 1148s |      23 |  3084142 |  2798938 |     1545   4012 |        0 |        0
1150.47/1150.94	c 1150s |      23 |  3087582 |  2802138 |     1545   4015 |        0 |        0
1152.48/1152.96	c 1152s |      23 |  3090866 |  2805238 |     1545   4019 |        0 |        0
1154.47/1154.97	c 1154s |      23 |  3094077 |  2808238 |     1545   4022 |        0 |        0
1156.47/1156.97	c 1156s |      23 |  3097905 |  2811738 |     1545   4026 |        0 |        0
1158.47/1158.98	c 1158s |      23 |  3102844 |  2816238 |     1545   4031 |        0 |        0
1160.57/1161.00	c 1160s |      23 |  3107495 |  2820538 |     1545   4036 |        0 |        0
1162.57/1163.01	c 1162s |      23 |  3112130 |  2824838 |     1545   4041 |        0 |        0
1164.57/1165.04	c 1165s |      23 |  3116721 |  2829038 |     1545   4046 |        0 |        0
1166.57/1167.10	c 1167s |      23 |  3122055 |  2833838 |     1545   4052 |        0 |        0
1168.67/1169.10	c 1169s |      23 |  3126948 |  2838238 |     1545   4057 |        0 |        0
1170.67/1171.10	c 1171s |      23 |  3131513 |  2842438 |     1545   4061 |        0 |        0
1172.66/1173.15	c 1173s |      23 |  3136216 |  2846738 |     1545   4066 |        0 |        0
1174.66/1175.19	c 1175s |      23 |  3140669 |  2850838 |     1545   4071 |        0 |        0
1176.76/1177.22	c 1177s |      23 |  3145634 |  2855438 |     1545   4076 |        0 |        0
1178.77/1179.27	c 1179s |      23 |  3150322 |  2859838 |     1545   4081 |        0 |        0
1180.76/1181.28	c 1181s |      23 |  3155424 |  2864538 |     1545   4087 |        0 |        0
1182.86/1183.30	c 1183s |      23 |  3160061 |  2868838 |     1545   4092 |        0 |        0
1184.87/1185.34	c 1185s |      23 |  3164754 |  2873138 |     1545   4097 |        0 |        0
1186.87/1187.39	c 1187s |      23 |  3169549 |  2877638 |     1545   4102 |        0 |        0
1188.97/1189.43	c 1189s |      23 |  3173799 |  2881638 |     1545   4107 |        0 |        0
1190.97/1191.44	c 1191s |      23 |  3178615 |  2886038 |     1545   4112 |        0 |        0
1192.97/1193.45	c 1193s |      23 |  3183181 |  2890238 |     1545   4117 |        0 |        0
1194.97/1195.49	c 1195s |      23 |  3187717 |  2894438 |     1545   4121 |        0 |        0
1197.07/1197.53	c 1197s |      23 |  3192092 |  2898338 |     1545   4126 |        0 |        0
1199.06/1199.55	c 1199s |      23 |  3196102 |  2902038 |     1545   4130 |        0 |        0
1201.16/1201.61	c 1201s |      23 |  3200010 |  2905638 |     1545   4134 |        0 |        0
1203.16/1203.62	c 1203s |      23 |  3204669 |  2909938 |     1545   4139 |        0 |        0
1205.17/1205.66	c 1205s |      23 |  3209063 |  2913938 |     1545   4144 |        0 |        0
1207.16/1207.70	c 1207s |      23 |  3213070 |  2917638 |     1545   4148 |        0 |        0
1209.26/1209.74	c 1209s |      23 |  3217595 |  2921838 |     1545   4153 |        0 |        0
1211.26/1211.77	c 1211s |      23 |  3222235 |  2926038 |     1545   4158 |        0 |        0
1213.36/1213.82	c 1213s |      23 |  3226682 |  2930138 |     1545   4163 |        0 |        0
1215.36/1215.86	c 1215s |      23 |  3231144 |  2934238 |     1545   4167 |        0 |        0
1217.37/1217.88	c 1217s |      23 |  3235044 |  2937838 |     1545   4171 |        0 |        0
1219.36/1219.89	c 1219s |      23 |  3239257 |  2941638 |     1545   4176 |        0 |        0
1221.46/1221.93	c 1221s |      23 |  3243804 |  2945738 |     1545   4181 |        0 |        0
1223.46/1223.98	c 1223s |      23 |  3248037 |  2949538 |     1545   4185 |        0 |        0
1225.46/1225.99	c 1225s |      23 |  3252510 |  2953638 |     1545   4190 |        0 |        0
1227.56/1228.04	c 1228s |      23 |  3256804 |  2957638 |     1545   4194 |        0 |        0
1229.66/1230.12	c 1230s |      23 |  3260916 |  2961438 |     1545   4199 |        0 |        0
1231.66/1232.15	c 1232s |      23 |  3265650 |  2965638 |     1545   4203 |        0 |        0
1233.66/1234.17	c 1234s |      23 |  3270040 |  2969538 |     1545   4208 |        0 |        0
1235.76/1236.21	c 1236s |      23 |  3274193 |  2973338 |     1545   4212 |        0 |        0
1237.75/1238.22	c 1238s |      23 |  3277994 |  2976838 |     1545   4216 |        0 |        0
1239.75/1240.25	c 1240s |      23 |  3281677 |  2980238 |     1545   4220 |        0 |        0
1241.75/1242.26	c 1242s |      23 |  3286135 |  2984338 |     1545   4225 |        0 |        0
1243.85/1244.32	c 1244s |      23 |  3290160 |  2988038 |     1545   4229 |        0 |        0
1245.86/1246.35	c 1246s |      23 |  3293781 |  2991438 |     1545   4233 |        0 |        0
1247.95/1248.40	c 1248s |      23 |  3297262 |  2994638 |     1545   4237 |        0 |        0
1249.95/1250.42	c 1250s |      23 |  3301230 |  2998238 |     1545   4241 |        0 |        0
1251.95/1252.43	c 1252s |      23 |  3304838 |  3001638 |     1545   4245 |        0 |        0
1253.95/1254.46	c 1254s |      23 |  3309900 |  3006238 |     1545   4250 |        0 |        0
1256.05/1256.51	c 1256s |      23 |  3314623 |  3010538 |     1545   4255 |        0 |        0
1258.06/1258.55	c 1258s |      23 |  3319847 |  3015138 |     1545   4260 |        0 |        0
1260.05/1260.55	c 1260s |      23 |  3324573 |  3019438 |     1545   4265 |        0 |        0
1262.05/1262.59	c 1262s |      23 |  3329224 |  3023638 |     1545   4270 |        0 |        0
1264.15/1264.66	c 1264s |      23 |  3333616 |  3027638 |     1545   4275 |        0 |        0
1266.15/1266.69	c 1266s |      23 |  3338338 |  3031938 |     1545   4279 |        0 |        0
1268.25/1268.72	c 1268s |      23 |  3343214 |  3036438 |     1545   4285 |        0 |        0
1270.25/1270.76	c 1270s |      23 |  3347691 |  3040638 |     1545   4290 |        0 |        0
1272.26/1272.77	c 1272s |      23 |  3352074 |  3044738 |     1545   4294 |        0 |        0
1274.25/1274.77	c 1274s |      23 |  3356075 |  3048538 |     1545   4299 |        0 |        0
1276.25/1276.80	c 1276s |      23 |  3360120 |  3052338 |     1545   4303 |        0 |        0
1278.35/1278.80	c 1278s |      23 |  3364750 |  3056638 |     1545   4308 |        0 |        0
1280.35/1280.82	c 1280s |      23 |  3368555 |  3060238 |     1545   4312 |        0 |        0
1282.35/1282.84	c 1282s |      23 |  3372512 |  3063938 |     1545   4316 |        0 |        0
1284.35/1284.89	c 1284s |      23 |  3376114 |  3067338 |     1545   4320 |        0 |        0
1286.45/1286.94	c 1286s |      23 |  3380090 |  3071038 |     1545   4324 |        0 |        0
1288.45/1288.96	c 1288s |      23 |  3384793 |  3075338 |     1545   4329 |        0 |        0
1290.45/1290.97	c 1290s |      23 |  3389457 |  3079638 |     1545   4334 |        0 |        0
1292.45/1292.98	c 1292s |      23 |  3393869 |  3083738 |     1545   4339 |        0 |        0
1294.55/1295.01	c 1294s |      23 |  3398265 |  3087838 |     1545   4344 |        0 |        0
1296.56/1297.04	c 1297s |      23 |  3402742 |  3091938 |     1545   4349 |        0 |        0
1298.55/1299.05	c 1299s |      23 |  3406852 |  3095738 |     1545   4353 |        0 |        0
1300.55/1301.05	c 1301s |      23 |  3411172 |  3099738 |     1545   4358 |        0 |        0
1302.55/1303.08	c 1303s |      23 |  3415812 |  3103938 |     1545   4362 |        0 |        0
1304.65/1305.12	c 1305s |      23 |  3420061 |  3107938 |     1545   4367 |        0 |        0
1306.65/1307.13	c 1307s |      23 |  3424376 |  3111838 |     1545   4371 |        0 |        0
1308.65/1309.14	c 1309s |      23 |  3428443 |  3115538 |     1545   4376 |        0 |        0
1310.65/1311.16	c 1311s |      23 |  3432865 |  3119438 |     1545   4380 |        0 |        0
1312.75/1313.20	c 1313s |      23 |  3437128 |  3123338 |     1545   4385 |        0 |        0
1314.75/1315.20	c 1315s |      23 |  3440970 |  3126838 |     1545   4389 |        0 |        0
1316.74/1317.24	c 1317s |      23 |  3445178 |  3130638 |     1545   4393 |        0 |        0
1318.74/1319.26	c 1319s |      23 |  3449740 |  3134638 |     1545   4398 |        0 |        0
1320.84/1321.30	c 1321s |      23 |  3454248 |  3138738 |     1545   4403 |        0 |        0
1322.85/1323.33	c 1323s |      23 |  3458703 |  3142738 |     1545   4407 |        0 |        0
1324.84/1325.33	c 1325s |      23 |  3462987 |  3146738 |     1545   4412 |        0 |        0
1326.84/1327.34	c 1327s |      23 |  3467274 |  3150738 |     1545   4416 |        0 |        0
1328.84/1329.34	c 1329s |      23 |  3471466 |  3154638 |     1545   4421 |        0 |        0
1330.84/1331.36	c 1331s |      23 |  3475500 |  3158338 |     1545   4425 |        0 |        0
1332.94/1333.41	c 1333s |      23 |  3479594 |  3162138 |     1545   4430 |        0 |        0
1334.95/1335.46	c 1335s |      23 |  3483604 |  3165738 |     1545   4434 |        0 |        0
1337.04/1337.50	c 1337s |      23 |  3488206 |  3169938 |     1545   4439 |        0 |        0
1339.04/1339.52	c 1339s |      23 |  3492758 |  3174138 |     1545   4443 |        0 |        0
1341.04/1341.57	c 1341s |      23 |  3497489 |  3178438 |     1545   4448 |        0 |        0
1343.14/1343.61	c 1343s |      23 |  3501888 |  3182438 |     1545   4453 |        0 |        0
1345.14/1345.64	c 1345s |      23 |  3506012 |  3186238 |     1545   4457 |        0 |        0
1347.15/1347.66	c 1347s |      23 |  3510093 |  3189938 |     1545   4462 |        0 |        0
1349.14/1349.66	c 1349s |      23 |  3513847 |  3193338 |     1545   4466 |        0 |        0
1351.24/1351.70	c 1351s |      23 |  3518197 |  3197238 |     1545   4470 |        0 |        0
1353.24/1353.73	c 1353s |      23 |  3522818 |  3201438 |     1545   4475 |        0 |        0
1355.24/1355.77	c 1355s |      23 |  3527606 |  3205738 |     1545   4480 |        0 |        0
1357.34/1357.80	c 1357s |      23 |  3531806 |  3209538 |     1545   4484 |        0 |        0
1359.34/1359.86	c 1359s |      23 |  3535873 |  3213238 |     1545   4489 |        0 |        0
1361.44/1361.91	c 1361s |      23 |  3540290 |  3217238 |     1545   4493 |        0 |        0
1363.44/1363.95	c 1363s |      23 |  3544906 |  3221338 |     1545   4498 |        0 |        0
1365.44/1365.97	c 1365s |      23 |  3549252 |  3225238 |     1545   4502 |        0 |        0
1367.44/1367.99	c 1367s |      23 |  3553234 |  3228938 |     1545   4507 |        0 |        0
1369.53/1370.01	c 1369s |      23 |  3556900 |  3232338 |     1545   4511 |        0 |        0
1371.53/1372.05	c 1372s |      23 |  3560721 |  3235838 |     1545   4515 |        0 |        0
1373.54/1374.09	c 1374s |      23 |  3564217 |  3239038 |     1545   4518 |        0 |        0
1375.53/1376.10	c 1376s |      23 |  3568312 |  3242738 |     1545   4523 |        0 |        0
1377.63/1378.15	c 1378s |      23 |  3572410 |  3246538 |     1545   4527 |        0 |        0
1379.63/1380.18	c 1380s |      23 |  3576337 |  3250138 |     1545   4531 |        0 |        0
1381.63/1382.19	c 1382s |      23 |  3580299 |  3253738 |     1545   4535 |        0 |        0
1383.73/1384.20	c 1384s |      23 |  3583886 |  3257038 |     1545   4539 |        0 |        0
1385.73/1386.25	c 1386s |      23 |  3587219 |  3260138 |     1545   4543 |        0 |        0
1387.74/1388.25	c 1388s |      23 |  3591661 |  3264238 |     1545   4547 |        0 |        0
1389.73/1390.26	c 1390s |      23 |  3595728 |  3268038 |     1545   4552 |        0 |        0
1391.73/1392.28	c 1392s |      23 |  3599443 |  3271538 |     1545   4556 |        0 |        0
1393.83/1394.33	c 1394s |      23 |  3603233 |  3275038 |     1545   4560 |        0 |        0
1395.83/1396.38	c 1396s |      23 |  3607379 |  3278838 |     1545   4564 |        0 |        0
1397.93/1398.42	c 1398s |      23 |  3611531 |  3282638 |     1545   4568 |        0 |        0
1399.93/1400.44	c 1400s |      23 |  3615744 |  3286538 |     1545   4573 |        0 |        0
1401.93/1402.46	c 1402s |      23 |  3619721 |  3290038 |     1545   4577 |        0 |        0
1403.93/1404.49	c 1404s |      23 |  3622846 |  3292938 |     1545   4580 |        0 |        0
1406.03/1406.51	c 1406s |      23 |  3626220 |  3296038 |     1545   4584 |        0 |        0
1408.03/1408.52	c 1408s |      23 |  3630634 |  3300038 |     1545   4588 |        0 |        0
1410.02/1410.57	c 1410s |      23 |  3634699 |  3303838 |     1545   4593 |        0 |        0
1412.03/1412.59	c 1412s |      23 |  3638694 |  3307538 |     1545   4597 |        0 |        0
1414.13/1414.64	c 1414s |      23 |  3642595 |  3311138 |     1545   4601 |        0 |        0
1416.12/1416.65	c 1416s |      23 |  3646554 |  3314738 |     1545   4605 |        0 |        0
1418.12/1418.66	c 1418s |      23 |  3650399 |  3318238 |     1545   4609 |        0 |        0
1420.23/1420.70	c 1420s |      23 |  3654387 |  3321938 |     1545   4614 |        0 |        0
1422.23/1422.74	c 1422s |      23 |  3658064 |  3325338 |     1545   4618 |        0 |        0
1424.23/1424.75	c 1424s |      23 |  3662533 |  3329438 |     1545   4622 |        0 |        0
1426.24/1426.76	c 1426s |      23 |  3666314 |  3332938 |     1545   4626 |        0 |        0
1428.23/1428.79	c 1428s |      23 |  3670070 |  3336338 |     1545   4630 |        0 |        0
1430.23/1430.79	c 1430s |      23 |  3673718 |  3339738 |     1545   4634 |        0 |        0
1432.33/1432.84	c 1432s |      23 |  3677820 |  3343538 |     1545   4638 |        0 |        0
1434.33/1434.85	c 1434s |      23 |  3681752 |  3347138 |     1545   4643 |        0 |        0
1436.33/1436.88	c 1436s |      23 |  3685399 |  3350538 |     1545   4647 |        0 |        0
1438.44/1438.92	c 1438s |      23 |  3689416 |  3354238 |     1700   4651 |        0 |        0
1440.43/1440.98	c 1440s |      23 |  3693461 |  3357938 |     1700   4654 |        0 |        0
1442.53/1443.02	c 1443s |      23 |  3697112 |  3361338 |     1700   4658 |        0 |        0
1444.53/1445.05	c 1445s |      23 |  3701115 |  3365038 |     1700   4662 |        0 |        0
1446.53/1447.07	c 1447s |      23 |  3704848 |  3368538 |     1700   4666 |        0 |        0
1448.63/1449.11	c 1449s |      23 |  3708484 |  3371938 |     1700   4669 |        0 |        0
1450.63/1451.15	c 1451s |      23 |  3712138 |  3375338 |     1700   4673 |        0 |        0
1451.23/1451.75	c 1451s |      24 |  3713575 |  3376662 |     1700   4674 |        0 |        0
1453.23/1453.77	c 1453s |      24 |  3719839 |  3382262 |     1700   4680 |        0 |        0
1455.23/1455.79	c 1455s |      24 |  3725859 |  3387662 |     1700   4686 |        0 |        0
1457.33/1457.81	c 1457s |      24 |  3731019 |  3392362 |     1700   4691 |        0 |        0
1459.33/1459.86	c 1459s |      24 |  3736260 |  3397162 |     1700   4696 |        0 |        0
1461.32/1461.89	c 1461s |      24 |  3741116 |  3401662 |     1700   4700 |        0 |        0
1463.42/1463.90	c 1463s |      24 |  3745631 |  3405862 |     1700   4705 |        0 |        0
1465.42/1465.90	c 1465s |      24 |  3750115 |  3409962 |     1700   4709 |        0 |        0
1467.42/1467.92	c 1467s |      24 |  3754619 |  3414162 |     1700   4714 |        0 |        0
1469.42/1469.95	c 1469s |      24 |  3759232 |  3418462 |     1700   4718 |        0 |        0
1471.43/1471.99	c 1471s |      24 |  3763505 |  3422462 |     1700   4722 |        0 |        0
1473.42/1474.00	c 1473s |      24 |  3767925 |  3426562 |     1700   4727 |        0 |        0
1475.52/1476.02	c 1476s |      24 |  3773140 |  3431362 |     1700   4732 |        0 |        0
1477.52/1478.02	c 1478s |      24 |  3778097 |  3435962 |     1700   4737 |        0 |        0
1479.52/1480.03	c 1480s |      24 |  3783071 |  3440562 |     1700   4741 |        0 |        0
1481.52/1482.08	c 1482s |      24 |  3787376 |  3444562 |     1700   4746 |        0 |        0
1483.53/1484.09	c 1484s |      24 |  3791762 |  3448662 |     1700   4750 |        0 |        0
1485.52/1486.10	c 1486s |      24 |  3795821 |  3452462 |     1700   4754 |        0 |        0
1487.62/1488.11	c 1488s |      24 |  3800262 |  3456562 |     1700   4758 |        0 |        0
1489.62/1490.13	c 1490s |      24 |  3805129 |  3461062 |     1700   4763 |        0 |        0
1491.62/1492.14	c 1492s |      24 |  3810065 |  3465562 |     1700   4768 |        0 |        0
1493.62/1494.16	c 1494s |      24 |  3815287 |  3470362 |     1700   4773 |        0 |        0
1495.62/1496.17	c 1496s |      24 |  3820656 |  3475262 |     1700   4778 |        0 |        0
1497.62/1498.18	c 1498s |      24 |  3826364 |  3480362 |     1700   4783 |        0 |        0
1499.62/1500.19	c 1500s |      24 |  3831264 |  3484862 |     1700   4788 |        0 |        0
1501.71/1502.22	c 1502s |      24 |  3836809 |  3489862 |     1700   4793 |        0 |        0
1503.71/1504.26	c 1504s |      24 |  3841716 |  3494262 |     1700   4798 |        0 |        0
1505.71/1506.29	c 1506s |      24 |  3845930 |  3498162 |     1700   4802 |        0 |        0
1507.81/1508.32	c 1508s |      24 |  3851089 |  3502762 |     1700   4807 |        0 |        0
1509.82/1510.36	c 1510s |      24 |  3856102 |  3507262 |     1700   4812 |        0 |        0
1511.81/1512.37	c 1512s |      24 |  3862134 |  3512662 |     1700   4817 |        0 |        0
1513.81/1514.39	c 1514s |      24 |  3867946 |  3517962 |     1700   4823 |        0 |        0
1515.91/1516.44	c 1516s |      24 |  3873915 |  3523462 |     1700   4829 |        0 |        0
1517.91/1518.47	c 1518s |      24 |  3879715 |  3528562 |     1700   4834 |        0 |        0
1519.91/1520.48	c 1520s |      24 |  3884762 |  3533162 |     1700   4839 |        0 |        0
1522.02/1522.51	c 1522s |      24 |  3890573 |  3538362 |     1700   4844 |        0 |        0
1524.01/1524.53	c 1524s |      24 |  3895960 |  3543362 |     1700   4849 |        0 |        0
1526.01/1526.54	c 1526s |      24 |  3900956 |  3547962 |     1700   4854 |        0 |        0
1528.01/1528.57	c 1528s |      24 |  3906037 |  3552662 |     1700   4859 |        0 |        0
1530.11/1530.60	c 1530s |      24 |  3910792 |  3557062 |     1700   4864 |        0 |        0
1532.11/1532.61	c 1532s |      24 |  3915441 |  3561362 |     1700   4869 |        0 |        0
1534.11/1534.65	c 1534s |      24 |  3920275 |  3565762 |     1700   4873 |        0 |        0
1536.11/1536.69	c 1536s |      24 |  3925112 |  3570162 |     1700   4878 |        0 |        0
1538.11/1538.69	c 1538s |      24 |  3929442 |  3574162 |     1700   4882 |        0 |        0
1540.21/1540.73	c 1540s |      24 |  3934166 |  3578462 |     1700   4887 |        0 |        0
1542.21/1542.75	c 1542s |      24 |  3938765 |  3582662 |     1700   4891 |        0 |        0
1544.21/1544.78	c 1544s |      24 |  3942978 |  3586462 |     1700   4895 |        0 |        0
1546.31/1546.81	c 1546s |      24 |  3946989 |  3590162 |     1700   4899 |        0 |        0
1548.31/1548.86	c 1548s |      24 |  3951431 |  3594262 |     1700   4903 |        0 |        0
1550.30/1550.86	c 1550s |      24 |  3955386 |  3597962 |     1700   4907 |        0 |        0
1552.30/1552.89	c 1552s |      24 |  3959362 |  3601662 |     1700   4911 |        0 |        0
1554.30/1554.89	c 1554s |      24 |  3963268 |  3605262 |     1700   4915 |        0 |        0
1556.40/1556.90	c 1556s |      24 |  3968268 |  3609762 |     1700   4919 |        0 |        0
1558.40/1558.90	c 1558s |      24 |  3973666 |  3614562 |     1700   4925 |        0 |        0
1560.41/1560.91	c 1560s |      24 |  3978442 |  3618862 |     1700   4929 |        0 |        0
1562.40/1562.95	c 1562s |      24 |  3983324 |  3623362 |     1700   4934 |        0 |        0
1564.40/1564.99	c 1564s |      24 |  3987926 |  3627662 |     1700   4938 |        0 |        0
1566.50/1567.00	c 1566s |      24 |  3992469 |  3631862 |     1700   4943 |        0 |        0
1568.50/1569.04	c 1569s |      24 |  3997038 |  3636062 |     1700   4947 |        0 |        0
1570.50/1571.05	c 1571s |      24 |  4002036 |  3640662 |     1700   4952 |        0 |        0
1572.51/1573.09	c 1573s |      24 |  4006657 |  3644962 |     1700   4957 |        0 |        0
1574.60/1575.14	c 1575s |      24 |  4011625 |  3649562 |     1700   4962 |        0 |        0
1576.60/1577.17	c 1577s |      24 |  4016277 |  3653862 |     1700   4966 |        0 |        0
1578.70/1579.22	c 1579s |      24 |  4020826 |  3658062 |     1700   4971 |        0 |        0
1580.70/1581.25	c 1581s |      24 |  4025206 |  3662162 |     1700   4975 |        0 |        0
1582.70/1583.26	c 1583s |      24 |  4029414 |  3666062 |     1700   4979 |        0 |        0
1584.71/1585.26	c 1585s |      24 |  4034163 |  3670362 |     1700   4984 |        0 |        0
1586.70/1587.29	c 1587s |      24 |  4038822 |  3674662 |     1700   4988 |        0 |        0
1588.80/1589.30	c 1589s |      24 |  4043428 |  3678862 |     1700   4993 |        0 |        0
1590.80/1591.32	c 1591s |      24 |  4048606 |  3683362 |     1700   4997 |        0 |        0
1592.80/1593.32	c 1593s |      24 |  4053239 |  3687362 |     1700   5002 |        0 |        0
1594.80/1595.37	c 1595s |      24 |  4057872 |  3691562 |     1700   5006 |        0 |        0
1596.90/1597.41	c 1597s |      24 |  4062480 |  3695762 |     1700   5010 |        0 |        0
1598.90/1599.45	c 1599s |      24 |  4066878 |  3699762 |     1700   5015 |        0 |        0
1600.90/1601.48	c 1601s |      24 |  4070739 |  3703362 |     1700   5018 |        0 |        0
1603.00/1603.51	c 1603s |      24 |  4075268 |  3707462 |     1700   5023 |        0 |        0
1605.00/1605.54	c 1605s |      24 |  4080184 |  3711962 |     1700   5027 |        0 |        0
1606.99/1607.57	c 1607s |      24 |  4084678 |  3716162 |     1700   5032 |        0 |        0
1609.09/1609.62	c 1609s |      24 |  4089275 |  3720362 |     1700   5036 |        0 |        0
1611.10/1611.63	c 1611s |      24 |  4093840 |  3724562 |     1700   5041 |        0 |        0
1613.09/1613.63	c 1613s |      24 |  4098413 |  3728762 |     1700   5045 |        0 |        0
1615.09/1615.66	c 1615s |      24 |  4103120 |  3733062 |     1700   5050 |        0 |        0
1617.20/1617.70	c 1617s |      24 |  4108117 |  3737462 |     1700   5054 |        0 |        0
1619.20/1619.73	c 1619s |      24 |  4112915 |  3741862 |     1700   5059 |        0 |        0
1621.20/1621.77	c 1621s |      24 |  4117336 |  3745962 |     1700   5063 |        0 |        0
1623.21/1623.78	c 1623s |      24 |  4121322 |  3749662 |     1700   5067 |        0 |        0
1625.31/1625.80	c 1625s |      24 |  4125639 |  3753662 |     1700   5071 |        0 |        0
1627.30/1627.82	c 1627s |      24 |  4130094 |  3757762 |     1700   5076 |        0 |        0
1629.30/1629.86	c 1629s |      24 |  4134673 |  3761962 |     1700   5080 |        0 |        0
1631.40/1631.91	c 1631s |      24 |  4138906 |  3765862 |     1700   5084 |        0 |        0
1633.40/1633.93	c 1633s |      24 |  4143090 |  3769662 |     1700   5088 |        0 |        0
1635.40/1635.95	c 1635s |      24 |  4147871 |  3773962 |     1700   5093 |        0 |        0
1637.41/1637.98	c 1637s |      24 |  4152362 |  3778162 |     1700   5097 |        0 |        0
1639.50/1640.00	c 1639s |      24 |  4157017 |  3782362 |     1700   5102 |        0 |        0
1641.50/1642.01	c 1641s |      24 |  4161602 |  3786562 |     1700   5106 |        0 |        0
1643.50/1644.02	c 1644s |      24 |  4166623 |  3791062 |     1700   5111 |        0 |        0
1645.50/1646.06	c 1646s |      24 |  4171944 |  3795762 |     1700   5116 |        0 |        0
1647.60/1648.12	c 1648s |      24 |  4176568 |  3799962 |     1700   5120 |        0 |        0
1649.60/1650.13	c 1650s |      24 |  4181172 |  3804062 |     1700   5125 |        0 |        0
1651.59/1652.14	c 1652s |      24 |  4185292 |  3807862 |     1700   5129 |        0 |        0
1653.59/1654.17	c 1654s |      24 |  4190415 |  3812462 |     1700   5134 |        0 |        0
1655.59/1656.18	c 1656s |      24 |  4195561 |  3817162 |     1700   5139 |        0 |        0
1657.69/1658.22	c 1658s |      24 |  4199931 |  3821162 |     1700   5143 |        0 |        0
1659.69/1660.26	c 1660s |      24 |  4204167 |  3824962 |     1700   5147 |        0 |        0
1661.79/1662.30	c 1662s |      24 |  4208522 |  3828862 |     1700   5151 |        0 |        0
1663.80/1664.31	c 1664s |      24 |  4212627 |  3832562 |     1700   5155 |        0 |        0
1665.79/1666.32	c 1666s |      24 |  4216463 |  3836062 |     1700   5159 |        0 |        0
1667.79/1668.36	c 1668s |      24 |  4220184 |  3839462 |     1700   5162 |        0 |        0
1669.89/1670.40	c 1670s |      24 |  4224133 |  3842962 |     1700   5166 |        0 |        0
1671.89/1672.42	c 1672s |      24 |  4227884 |  3846362 |     1700   5169 |        0 |        0
1673.89/1674.43	c 1674s |      24 |  4231712 |  3849862 |     1700   5173 |        0 |        0
1675.89/1676.45	c 1676s |      24 |  4235085 |  3852962 |     1700   5176 |        0 |        0
1677.89/1678.47	c 1678s |      24 |  4237970 |  3855662 |     1700   5179 |        0 |        0
1679.89/1680.48	c 1680s |      24 |  4242845 |  3860062 |     1700   5184 |        0 |        0
1681.99/1682.50	c 1682s |      24 |  4247351 |  3864162 |     1700   5188 |        0 |        0
1683.99/1684.51	c 1684s |      24 |  4251487 |  3867962 |     1700   5192 |        0 |        0
1685.99/1686.53	c 1686s |      24 |  4255326 |  3871462 |     1700   5196 |        0 |        0
1687.99/1688.57	c 1688s |      24 |  4259462 |  3875262 |     1700   5200 |        0 |        0
1690.09/1690.62	c 1690s |      24 |  4263760 |  3879162 |     1700   5204 |        0 |        0
1692.08/1692.65	c 1692s |      24 |  4267860 |  3882962 |     1700   5208 |        0 |        0
1694.18/1694.70	c 1694s |      24 |  4272350 |  3887062 |     1700   5212 |        0 |        0
1696.18/1696.73	c 1696s |      24 |  4276183 |  3890662 |     1700   5216 |        0 |        0
1698.18/1698.76	c 1698s |      24 |  4281390 |  3895462 |     1700   5221 |        0 |        0
1700.19/1700.79	c 1700s |      24 |  4286086 |  3899862 |     1700   5226 |        0 |        0
1702.18/1702.80	c 1702s |      24 |  4290799 |  3904262 |     1700   5230 |        0 |        0
1704.28/1704.83	c 1704s |      24 |  4295215 |  3908362 |     1700   5235 |        0 |        0
1706.28/1706.87	c 1706s |      24 |  4299649 |  3912562 |     1700   5239 |        0 |        0
1708.38/1708.92	c 1708s |      24 |  4303996 |  3916662 |     1700   5244 |        0 |        0
1710.38/1710.92	c 1710s |      24 |  4308434 |  3920762 |     1700   5248 |        0 |        0
1712.38/1712.97	c 1712s |      24 |  4313084 |  3925062 |     1700   5253 |        0 |        0
1714.49/1715.01	c 1714s |      24 |  4318171 |  3929662 |     1700   5257 |        0 |        0
1716.49/1717.04	c 1717s |      24 |  4322932 |  3934062 |     1700   5262 |        0 |        0
1718.49/1719.08	c 1719s |      24 |  4327766 |  3938462 |     1700   5267 |        0 |        0
1720.49/1721.09	c 1721s |      24 |  4332275 |  3942662 |     1700   5271 |        0 |        0
1722.59/1723.10	c 1723s |      24 |  4337215 |  3947262 |     1700   5276 |        0 |        0
1724.59/1725.12	c 1725s |      24 |  4341796 |  3951562 |     1700   5280 |        0 |        0
1726.59/1727.16	c 1727s |      24 |  4346197 |  3955662 |     1700   5285 |        0 |        0
1728.59/1729.17	c 1729s |      24 |  4350500 |  3959662 |     1700   5289 |        0 |        0
1730.68/1731.20	c 1731s |      24 |  4355033 |  3963862 |     1700   5293 |        0 |        0
1732.68/1733.21	c 1733s |      24 |  4359394 |  3967862 |     1700   5298 |        0 |        0
1734.68/1735.22	c 1735s |      24 |  4364006 |  3972062 |     1700   5302 |        0 |        0
1736.68/1737.23	c 1737s |      24 |  4368054 |  3975762 |     1700   5306 |        0 |        0
1738.69/1739.23	c 1739s |      24 |  4372670 |  3979862 |     1700   5310 |        0 |        0
1740.68/1741.25	c 1741s |      24 |  4377555 |  3984262 |     1700   5315 |        0 |        0
1742.78/1743.30	c 1743s |      24 |  4382008 |  3988362 |     1700   5320 |        0 |        0
1744.78/1745.31	c 1745s |      24 |  4386223 |  3992162 |     1700   5324 |        0 |        0
1746.78/1747.33	c 1747s |      24 |  4390713 |  3996162 |     1700   5328 |        0 |        0
1748.88/1749.41	c 1749s |      24 |  4394440 |  3999662 |     1700   5332 |        0 |        0
1750.88/1751.43	c 1751s |      24 |  4398331 |  4003262 |     1700   5335 |        0 |        0
1752.89/1753.47	c 1753s |      24 |  4402046 |  4006662 |     1700   5339 |        0 |        0
1754.98/1755.50	c 1755s |      24 |  4406691 |  4010862 |     1700   5343 |        0 |        0
1756.98/1757.52	c 1757s |      24 |  4411216 |  4014962 |     1700   5348 |        0 |        0
1758.98/1759.54	c 1759s |      24 |  4415130 |  4018562 |     1700   5352 |        0 |        0
1760.98/1761.56	c 1761s |      24 |  4419847 |  4022862 |     1700   5356 |        0 |        0
1762.98/1763.59	c 1763s |      24 |  4424268 |  4026962 |     1700   5360 |        0 |        0
1764.99/1765.60	c 1765s |      24 |  4428749 |  4031062 |     1700   5365 |        0 |        0
1767.08/1767.61	c 1767s |      24 |  4432667 |  4034762 |     1700   5369 |        0 |        0
1769.08/1769.63	c 1769s |      24 |  4437162 |  4038862 |     1700   5373 |        0 |        0
1771.08/1771.63	c 1771s |      24 |  4441329 |  4042662 |     1700   5377 |        0 |        0
1773.08/1773.68	c 1773s |      24 |  4445512 |  4046562 |     1700   5381 |        0 |        0
1775.18/1775.70	c 1775s |      24 |  4449508 |  4050362 |     1700   5385 |        0 |        0
1777.18/1777.71	c 1777s |      24 |  4454125 |  4054562 |     1700   5390 |        0 |        0
1779.18/1779.71	c 1779s |      24 |  4458688 |  4058762 |     1700   5394 |        0 |        0
1781.18/1781.72	c 1781s |      24 |  4463363 |  4063062 |     1700   5399 |        0 |        0
1783.17/1783.76	c 1783s |      24 |  4468203 |  4067462 |     1700   5403 |        0 |        0
1785.17/1785.78	c 1785s |      24 |  4473197 |  4071962 |     1700   5408 |        0 |        0
1787.27/1787.81	c 1787s |      24 |  4477404 |  4075862 |     1700   5412 |        0 |        0
1789.28/1789.81	c 1789s |      24 |  4481961 |  4079962 |     1700   5417 |        0 |        0
1791.27/1791.85	c 1791s |      24 |  4486675 |  4084362 |     1700   5421 |        0 |        0
1793.27/1793.88	c 1793s |      24 |  4490990 |  4088362 |     1700   5425 |        0 |        0
1795.37/1795.90	c 1795s |      24 |  4495256 |  4092362 |     1700   5430 |        0 |        0
1797.37/1797.94	c 1797s |      24 |  4499821 |  4096562 |     1700   5434 |        0 |        0
1799.37/1799.94	c 1799s |      24 |  4504020 |  4100462 |     1700   5438 |        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-4090023-1466037005/watcher-4090023-1466037005 -o /tmp/evaluation-result-4090023-1466037005/solver-4090023-1466037005 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090023-1466037005.opb 

pid=9364
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.02 2.09 2.11 3/180 9367
/proc/meminfo: memFree=30427468/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=736700 CPUtime=0 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 2754 0 0 0 0 0 0 0 20 0 4 0 5745929 754380800 2603 33554432000 4194304 16246674 140736745098848 140736745098272 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 184687 2610 441 2943 0 181581 0
[pid=9367/tid=9368] ppid=9364 vsize=754108 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 772206592 2671 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=758204 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 776400896 2687 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=762300 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5745930 780595200 2702 33554432000 4194304 16246674 140736745098848 140296676428976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100224 s]
/proc/loadavg: 2.02 2.09 2.11 3/180 9367
/proc/meminfo: memFree=30427468/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 29131 0 0 0 6 3 0 0 20 0 4 0 5745929 1247350784 28970 33554432000 4194304 16246674 140736745098848 140736745098272 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 304529 28981 715 2943 0 301423 0
[pid=9367/tid=9368] ppid=9364 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1247350784 28988 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1247350784 28994 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5745930 1247350784 29000 33554432000 4194304 16246674 140736745098848 140296676428976 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.200554 s]
/proc/loadavg: 2.02 2.09 2.11 3/180 9367
/proc/meminfo: memFree=30427468/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 57485 0 0 0 11 8 0 0 20 0 4 0 5745929 1247350784 57324 33554432000 4194304 16246674 140736745098848 140736745098272 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 304529 57332 715 2943 0 301423 0
[pid=9367/tid=9368] ppid=9364 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1247350784 57338 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1247350784 57342 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5745930 1247350784 57347 33554432000 4194304 16246674 140736745098848 140296676428976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300501 s]
/proc/loadavg: 2.02 2.09 2.11 3/180 9367
/proc/meminfo: memFree=30427468/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 86613 0 0 0 18 11 0 0 20 0 4 0 5745929 1247350784 86451 33554432000 4194304 16246674 140736745098848 140736745098272 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 304529 86470 715 2943 0 301423 0
[pid=9367/tid=9368] ppid=9364 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1247350784 86482 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1247350784 86491 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5745930 1247350784 86500 33554432000 4194304 16246674 140736745098848 140296676428976 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.700411 s]
/proc/loadavg: 2.02 2.09 2.11 3/180 9367
/proc/meminfo: memFree=30427468/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 207094 0 0 0 42 27 0 0 20 0 4 0 5745929 1247350784 206932 33554432000 4194304 16246674 140736745098848 140736745080768 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 304529 206944 715 2943 0 301423 0
[pid=9367/tid=9368] ppid=9364 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1247350784 206955 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1247350784 206965 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5745930 1247350784 206975 33554432000 4194304 16246674 140736745098848 140296676428976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.02 2.09 2.11 3/184 9371
/proc/meminfo: memFree=29446356/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 267220 0 0 0 114 35 0 0 20 0 4 0 5745929 1336479744 267038 33554432000 4194304 16246674 140736745098848 140736745081848 5808492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 326289 267038 789 2943 0 323183 0
[pid=9367/tid=9368] ppid=9364 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1336479744 267038 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1336479744 267038 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5745930 1336479744 267038 33554432000 4194304 16246674 140736745098848 140296676428976 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) 1305156

[startup+3.10043 s]
/proc/loadavg: 2.02 2.09 2.11 3/184 9371
/proc/meminfo: memFree=29358564/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 267533 0 0 0 274 35 0 0 20 0 4 0 5745929 1337528320 267351 33554432000 4194304 16246674 140736745098848 140736745080768 6009908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 326545 267351 789 2943 0 323439 0
[pid=9367/tid=9368] ppid=9364 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1337528320 267351 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1337528320 267351 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5745930 1337528320 267351 33554432000 4194304 16246674 140736745098848 140296676428976 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.30044 s]
/proc/loadavg: 2.10 2.10 2.11 3/184 9371
/proc/meminfo: memFree=29358504/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 267574 0 0 0 594 35 0 0 20 0 4 0 5745929 1337528320 267392 33554432000 4194304 16246674 140736745098848 140736745080768 5823666 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 326545 267392 790 2943 0 323439 0
[pid=9367/tid=9368] ppid=9364 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1337528320 267392 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1337528320 267392 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5745930 1337528320 267392 33554432000 4194304 16246674 140736745098848 140296676428976 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.09 2.10 2.11 3/184 9371
/proc/meminfo: memFree=29358372/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 267592 0 0 0 1234 35 0 0 20 0 4 0 5745929 1338576896 267410 33554432000 4194304 16246674 140736745098848 140736745080768 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 326801 267410 791 2943 0 323695 0
[pid=9367/tid=9368] ppid=9364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1338576896 267410 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1338576896 267410 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5745930 1338576896 267410 33554432000 4194304 16246674 140736745098848 140296676428976 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.5005 s]
/proc/loadavg: 2.07 2.10 2.11 3/184 9371
/proc/meminfo: memFree=29358652/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 267592 0 0 0 2514 35 0 0 20 0 4 0 5745929 1338576896 267410 33554432000 4194304 16246674 140736745098848 140736745080768 5823428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 326801 267410 791 2943 0 323695 0
[pid=9367/tid=9368] ppid=9364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1338576896 267410 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1338576896 267410 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5745930 1338576896 267410 33554432000 4194304 16246674 140736745098848 140296676428976 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.1005 s]
/proc/loadavg: 2.18 2.12 2.11 3/184 9371
/proc/meminfo: memFree=29358528/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 267649 0 0 0 5073 35 0 0 20 0 4 0 5745929 1338576896 267467 33554432000 4194304 16246674 140736745098848 140736745080768 12477836 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 326801 267467 793 2943 0 323695 0
[pid=9367/tid=9368] ppid=9364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1338576896 267467 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1338576896 267467 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5745930 1338576896 267467 33554432000 4194304 16246674 140736745098848 140296676428976 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.301 s]
/proc/loadavg: 2.20 2.13 2.11 3/183 9372
/proc/meminfo: memFree=29357844/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1307204 CPUtime=102.29 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 267737 0 0 0 10193 36 0 0 20 0 4 0 5745929 1338576896 267555 33554432000 4194304 16246674 140736745098848 140736745080768 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 326801 267555 793 2943 0 323695 0
[pid=9367/tid=9368] ppid=9364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1338576896 267555 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1338576896 267555 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5745930 1338576896 267555 33554432000 4194304 16246674 140736745098848 140296676428976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1307204


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

/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268270 33554432000 4194304 16246674 140736745098848 140296676428976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1309252

[startup+1302.3 s]
/proc/loadavg: 2.07 2.13 2.09 3/183 9451
/proc/meminfo: memFree=29351876/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1309252 CPUtime=1301.85 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 268622 0 0 0 130136 49 0 0 20 0 4 0 5745929 1340674048 268270 33554432000 4194304 16246674 140736745098848 140736745097944 5677884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 327313 268270 795 2943 0 324207 0
[pid=9367/tid=9368] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268270 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268270 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268270 33554432000 4194304 16246674 140736745098848 140296676428976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1309252

[startup+1362.3 s]
/proc/loadavg: 2.13 2.13 2.09 3/183 9453
/proc/meminfo: memFree=29351872/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1309252 CPUtime=1361.84 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 268622 0 0 0 136135 49 0 0 20 0 4 0 5745929 1340674048 268270 33554432000 4194304 16246674 140736745098848 140736745080768 6010408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 327313 268270 795 2943 0 324207 0
[pid=9367/tid=9368] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268270 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268270 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268270 33554432000 4194304 16246674 140736745098848 140296676428976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1309252

[startup+1422.3 s]
/proc/loadavg: 2.16 2.14 2.09 3/183 9454
/proc/meminfo: memFree=29351744/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1309252 CPUtime=1421.84 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 268629 0 0 0 142134 50 0 0 20 0 4 0 5745929 1340674048 268277 33554432000 4194304 16246674 140736745098848 140736745080768 5722811 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 327313 268277 795 2943 0 324207 0
[pid=9367/tid=9368] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268277 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268277 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268277 33554432000 4194304 16246674 140736745098848 140296676428976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1309252

[startup+1482.3 s]
/proc/loadavg: 2.06 2.11 2.09 3/183 9455
/proc/meminfo: memFree=29351008/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1309252 CPUtime=1481.82 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 268773 0 0 0 148132 50 0 0 20 0 4 0 5745929 1340674048 268421 33554432000 4194304 16246674 140736745098848 140736745080768 5545876 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 327313 268421 795 2943 0 324207 0
[pid=9367/tid=9368] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296676428976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1309252

[startup+1542.31 s]
/proc/loadavg: 2.12 2.12 2.09 3/183 9456
/proc/meminfo: memFree=29351132/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1309252 CPUtime=1541.81 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 268773 0 0 0 154131 50 0 0 20 0 4 0 5745929 1340674048 268421 33554432000 4194304 16246674 140736745098848 140736745080768 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 327313 268421 795 2943 0 324207 0
[pid=9367/tid=9368] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296676428976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1309252

[startup+1602.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/183 9457
/proc/meminfo: memFree=29351348/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1309252 CPUtime=1601.8 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 268773 0 0 0 160130 50 0 0 20 0 4 0 5745929 1340674048 268421 33554432000 4194304 16246674 140736745098848 140736745080768 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 327313 268421 795 2943 0 324207 0
[pid=9367/tid=9368] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296676428976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1309252

[startup+1662.3 s]
/proc/loadavg: 2.09 2.09 2.08 3/183 9459
/proc/meminfo: memFree=29351204/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1309252 CPUtime=1661.79 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 268773 0 0 0 166128 51 0 0 20 0 4 0 5745929 1340674048 268421 33554432000 4194304 16246674 140736745098848 140736745080768 5823694 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 327313 268421 795 2943 0 324207 0
[pid=9367/tid=9368] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296676428976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1309252

[startup+1722.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/183 9460
/proc/meminfo: memFree=29350936/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1309252 CPUtime=1721.79 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 268773 0 0 0 172127 52 0 0 20 0 4 0 5745929 1340674048 268421 33554432000 4194304 16246674 140736745098848 140736745080768 5546233 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 327313 268421 795 2943 0 324207 0
[pid=9367/tid=9368] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296676428976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1309252

[startup+1782.3 s]
/proc/loadavg: 2.08 2.08 2.08 3/183 9461
/proc/meminfo: memFree=29350804/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1309252 CPUtime=1781.78 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 268773 0 0 0 178126 52 0 0 20 0 4 0 5745929 1340674048 268421 33554432000 4194304 16246674 140736745098848 140736745080768 6021154 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 327313 268421 795 2943 0 324207 0
[pid=9367/tid=9368] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296676428976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1309252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.06 2.08 2.08 3/184 9465
/proc/meminfo: memFree=29350060/32872528 swapFree=496356/529060
[pid=9367] ppid=9364 vsize=1309252 CPUtime=1800.07 cores=1,3,5,7
/proc/9367/stat : 9367 (toysat) R 9364 9367 5955 0 -1 4202496 268773 0 0 0 179955 52 0 0 20 0 4 0 5745929 1340674048 268421 33554432000 4194304 16246674 140736745098848 140736745080768 13966199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9367/statm: 327313 268421 795 2943 0 324207 0
[pid=9367/tid=9368] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9368/stat : 9368 (toysat) S 9364 9367 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296697392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9367/tid=9369] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9369/stat : 9369 (toysat) S 9364 9367 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296686902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9367/tid=9370] ppid=9364 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9367/task/9370/stat : 9370 (toysat) S 9364 9367 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5745930 1340674048 268421 33554432000 4194304 16246674 140736745098848 140296676428976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1309252

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 9367 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.09
CPU user time (s): 1799.56
CPU system time (s): 0.527919
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.527919
maximum resident set size= 1073684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268773
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= 438
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6203 second user time and 6.90795 second system time

The end

Begin job on node141 at 2016-06-16 02:30:05
IDJOB=4090023
IDBENCH=107490
IDSOLVER=2542
FILE ID=node141/4090023-1466037005
RUNJOBID= node141-1466008015-5972
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/rand6reg/normalized-rand6reg-v101-n3.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090023-1466037005/watcher-4090023-1466037005 -o /tmp/evaluation-result-4090023-1466037005/solver-4090023-1466037005 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090023-1466037005.opb

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

MD5SUM BENCH= 5ed10da8e9db7f782543c1c2112422b6
RANDOM SEED=390395122

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
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.547
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:        30428260 kB
Buffers:           48616 kB
Cached:            80640 kB
SwapCached:        13088 kB
Active:          1137544 kB
Inactive:          76980 kB
Active(anon):    1075444 kB
Inactive(anon):    12044 kB
Active(file):      62100 kB
Inactive(file):    64936 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088076 kB
Dirty:             16364 kB
Writeback:             0 kB
AnonPages:       1678120 kB
Mapped:            10408 kB
Shmem:                 0 kB
Slab:             567512 kB
SReclaimable:      11340 kB
SUnreclaim:       556172 kB
KernelStack:        1528 kB
PageTables:         7108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1746812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1175552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node141 at 2016-06-16 03:00:06