0.00/0.00	c 2016-06-06T22:15:35+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-4079741-1465244135.opb"]
0.00/0.01	c use --random-gen="4033370637 1859799361 833894389 2482688097 635281162 3562751783 3322046986 1119661673 3023517532 847093805 3718810102 2319920367 1896557503 2426526936 4036339971 2702157690 62670640 3643631190 1247439966 2041336012 2672739153 503146314 3307468424 2073050309 3148603764 790715142 3560492934 2288259512 4250832083 885174413 2339541515 2251728509 3622556717 661207837 3158418730 3457230133 3841636220 1546730066 2714018107 3868313878 2326005826 2435421737 4254763401 97052991 636633207 1127567319 179325442 1333687895 77654081 3414572399 3111086815 774138456 3714630491 3455416674 1983815758 735595743 1899794009 2198443897 475228728 3435460444 2105428917 1938483634 2677870968 3610179718 1512201318 1016983921 349848836 3714076336 3748492993 3428878718 3210250165 45310271 2920336568 530054554 4131267155 919710908 834976836 3258060768 287924733 1911173852 24536484 4279001200 3002832876 2895215844 1170289684 5430521 1589964352 1166944519 3720306399 3283882822 641941804 330134009 3162241103 2651312460 3808237712 779747678 1983460233 1960090328 1819674691 2482310711 640754467 2293167217 314592516 308535171 1453018154 478172726 2073591757 2759898481 3836906192 3694041008 1143777981 720009964 996828078 941397896 1187298606 2387793166 313476139 4177629959 347806863 3947660664 2972988241 3402504300 3053114299 577366211 3956137950 1237018909 89441011 3658852210 3007840786 2077385559 2904978732 4188732197 1796464732 2784712902 2800382890 1053476008 3480443423 1159419450 2811803409 2362522075 2041311310 4116406328 2145448683 3149051428 13409737 2163393277 3260085160 94823666 2291096227 2529899512 728325804 1722263974 1248206889 3565297313 2273219979 543830525 300073399 1391791613 982891022 975620662 1656757171 2940767057 3907067955 4196540460 1141571541 4275316982 1836256976 1860978893 2797087699 3162295723 2777436717 4230200297 4112008272 2191639110 261980450 1681416379 863495656 2421989008 4159172321 2982670106 2209124131 4290656812 1460306824 3468447964 821330011 2747028536 2528818277 1529698784 3282661205 1450424082 1265826467 3577704980 591887357 2901918952 2440541389 3050174745 3699151453 3247665882 1791234269 187928573 4255799366 1092620206 22608702 870686146 1727363943 3559665304 3473771522 584578200 1379977908 1894124330 2329836389 2915680426 313964824 2946328514 3689202408 332948605 3399672668 3809919228 387093221 1347343985 2152196356 899038562 2579179423 3943493185 3748677089 2303863044 1008161443 3973959896 1097532203 4254026017 920905944 1458857675 4120886373 1281317677 1697263141 4039111332 255749357 66587175 611552053 2811844294 1358294536 3313236802 4197813800 3769234762 993319994 3357752489 1929201636 3006885133 3587532209 389177638 1548006733 2223203885 557678396 2760146510 2808242121 2789477396 255 362436" option to reproduce the execution
0.00/0.01	c #vars 71
0.00/0.01	c #constraints 17
0.00/0.01	c BCD2: Hardening is enabled.
0.00/0.01	c BCD2: BiasedSearch is enabled.
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 |       29      0 |        1 |        0
0.00/0.04	c  0.0s |       1 |      136 |      100 |       29      1 |        1 |        0
0.00/0.08	c  0.1s |       2 |      321 |      250 |       32      6 |        1 |        0
0.09/0.15	c  0.1s |       3 |      585 |      475 |       36     12 |        1 |        0
0.19/0.24	c  0.2s |       4 |      967 |      813 |       40     21 |        1 |        0
0.29/0.38	c  0.4s |       5 |     1502 |     1320 |       44     34 |        1 |        0
0.49/0.58	c  0.6s |       6 |     2309 |     2081 |       54     52 |        1 |        0
0.78/0.88	c  0.9s |       7 |     3495 |     3223 |       60     79 |        1 |        0
1.29/1.34	c  1.3s |       8 |     5262 |     4936 |       66    116 |        1 |        0
1.79/1.82	c  1.8s |       9 |     7921 |     7506 |       73    168 |        1 |        0
2.39/2.47	c  2.5s |      10 |    11895 |    11361 |       81    241 |        1 |        0
3.39/3.43	c  3.4s |      11 |    17840 |    17144 |       90    347 |        1 |        0
4.78/4.84	c  4.8s |      12 |    26733 |    25819 |      100    495 |        1 |        0
6.78/6.85	c  6.8s |      12 |    39031 |    37619 |      100    678 |        1 |        0
6.98/7.07	c  7.1s |      13 |    40283 |    38832 |      111    696 |        1 |        0
8.98/9.09	c  9.1s |      13 |    51846 |    50132 |      111    856 |        1 |        0
10.48/10.52	c 10.5s |      14 |    60313 |    58352 |      123    975 |        1 |        0
12.48/12.52	c 12.5s |      14 |    71943 |    69652 |      123   1122 |        1 |        0
14.49/14.53	c 14.5s |      14 |    83787 |    81152 |      123   1275 |        1 |        0
15.59/15.62	c 15.6s |      15 |    90477 |    87632 |      136   1364 |        1 |        0
17.60/17.63	c 17.6s |      15 |   102360 |    99132 |      136   1503 |        1 |        0
19.59/19.65	c 19.6s |      15 |   114671 |   111132 |      136   1649 |        1 |        0
21.59/21.65	c 21.6s |      15 |   127044 |   123232 |      136   1799 |        1 |        0
22.99/23.08	c 23.1s |      16 |   135533 |   131552 |      150   1901 |        1 |        0
24.99/25.08	c 25.1s |      16 |   147267 |   142852 |      150   2026 |        1 |        0
26.99/27.09	c 27.1s |      16 |   159182 |   154452 |      150   2158 |        1 |        0
29.09/29.11	c 29.1s |      16 |   171292 |   166252 |      150   2295 |        1 |        0
31.09/31.11	c 31.1s |      16 |   183043 |   177652 |      150   2424 |        1 |        0
33.10/33.12	c 33.1s |      16 |   194750 |   188952 |      150   2552 |        1 |        0
34.49/34.55	c 34.5s |      17 |   203475 |   197432 |      165   2648 |        1 |        0
36.49/36.55	c 36.5s |      17 |   215042 |   208732 |      165   2762 |        1 |        0
38.49/38.56	c 38.5s |      17 |   226844 |   220232 |      165   2881 |        1 |        0
40.49/40.57	c 40.6s |      17 |   238882 |   231932 |      165   3003 |        1 |        0
42.49/42.59	c 42.6s |      17 |   250077 |   242932 |      165   3116 |        1 |        0
44.59/44.60	c 44.6s |      17 |   261795 |   254332 |      165   3231 |        1 |        0
46.58/46.60	c 46.6s |      17 |   274159 |   266132 |      165   3354 |        1 |        0
48.58/48.62	c 48.6s |      17 |   286423 |   277932 |      165   3477 |        1 |        0
50.59/50.63	c 50.6s |      17 |   298995 |   290132 |      165   3607 |        1 |        0
51.58/51.63	c 51.6s |      18 |   305263 |   296252 |      182   3669 |        1 |        0
53.58/53.65	c 53.6s |      18 |   316815 |   307452 |      182   3775 |        1 |        0
55.58/55.66	c 55.6s |      18 |   328537 |   318852 |      182   3885 |        1 |        0
57.58/57.68	c 57.7s |      18 |   341061 |   331052 |      182   3998 |        1 |        0
59.58/59.69	c 59.7s |      18 |   352601 |   342352 |      182   4104 |        1 |        0
61.59/61.70	c 61.7s |      18 |   364137 |   353652 |      182   4211 |        1 |        0
63.68/63.71	c 63.7s |      18 |   376012 |   365252 |      182   4323 |        1 |        0
65.68/65.72	c 65.7s |      18 |   388265 |   377152 |      182   4437 |        1 |        0
67.68/67.73	c 67.7s |      18 |   400152 |   388852 |      182   4552 |        1 |        0
69.68/69.74	c 69.7s |      18 |   411603 |   400052 |      182   4659 |        1 |        0
71.68/71.76	c 71.7s |      18 |   423105 |   411352 |      182   4766 |        1 |        0
73.68/73.77	c 73.8s |      18 |   434443 |   422552 |      182   4872 |        1 |        0
75.67/75.77	c 75.8s |      18 |   445874 |   433752 |      182   4979 |        1 |        0
77.57/77.68	c 77.7s |      19 |   456779 |   444482 |      201   5080 |        1 |        0
79.57/79.68	c 79.7s |      19 |   467833 |   455382 |      201   5175 |        1 |        0
81.67/81.70	c 81.7s |      19 |   479747 |   467082 |      201   5279 |        1 |        0
83.68/83.71	c 83.7s |      19 |   491339 |   478482 |      201   5377 |        1 |        0
85.67/85.73	c 85.7s |      19 |   502589 |   489582 |      201   5473 |        1 |        0
87.67/87.74	c 87.7s |      19 |   514091 |   500782 |      201   5572 |        1 |        0
89.67/89.75	c 89.7s |      19 |   525509 |   511982 |      201   5671 |        1 |        0
91.68/91.77	c 91.8s |      19 |   537279 |   523482 |      201   5773 |        1 |        0
93.68/93.77	c 93.8s |      19 |   548802 |   534682 |      201   5873 |        1 |        0
95.69/95.78	c 95.8s |      19 |   560745 |   546382 |      201   5979 |        1 |        0
97.68/97.79	c 97.8s |      19 |   572395 |   557782 |      201   6082 |        1 |        0
99.68/99.79	c 99.8s |      19 |   584401 |   569582 |      201   6190 |        1 |        0
101.68/101.79	c  101s |      19 |   596014 |   580982 |      201   6291 |        1 |        0
103.68/103.79	c  103s |      19 |   607165 |   591882 |      201   6385 |        1 |        0
105.68/105.79	c  105s |      19 |   618467 |   602982 |      201   6485 |        1 |        0
107.78/107.80	c  107s |      19 |   629976 |   614282 |      201   6584 |        1 |        0
109.78/109.82	c  109s |      19 |   641861 |   625882 |      201   6689 |        1 |        0
111.77/111.83	c  111s |      19 |   653779 |   637582 |      201   6795 |        1 |        0
113.77/113.83	c  113s |      19 |   666030 |   649482 |      201   6903 |        1 |        0
115.77/115.84	c  115s |      19 |   678010 |   661182 |      201   7008 |        1 |        0
116.77/116.83	c  116s |      20 |   683794 |   666827 |      222   7054 |        1 |        0
118.78/118.83	c  118s |      20 |   696013 |   678627 |      222   7147 |        1 |        0
120.77/120.85	c  120s |      20 |   707521 |   689827 |      222   7236 |        1 |        0
122.77/122.85	c  122s |      20 |   718991 |   701027 |      222   7326 |        1 |        0
124.77/124.87	c  124s |      20 |   730454 |   712127 |      222   7416 |        1 |        0
126.77/126.87	c  126s |      20 |   742220 |   723527 |      222   7508 |        1 |        0
128.77/128.88	c  128s |      20 |   753862 |   734927 |      222   7601 |        1 |        0
130.77/130.88	c  130s |      20 |   765236 |   746027 |      222   7691 |        1 |        0
132.77/132.89	c  132s |      20 |   776476 |   757027 |      222   7781 |        1 |        0
134.77/134.90	c  134s |      20 |   788270 |   768527 |      222   7876 |        1 |        0
136.87/136.90	c  136s |      20 |   800194 |   780227 |      222   7973 |        1 |        0
138.87/138.91	c  138s |      20 |   811732 |   791527 |      222   8066 |        1 |        0
140.88/140.93	c  140s |      20 |   823636 |   803127 |      222   8163 |        1 |        0
142.87/142.94	c  142s |      20 |   835894 |   815127 |      222   8262 |        1 |        0
144.87/144.95	c  144s |      20 |   847747 |   826727 |      222   8358 |        1 |        0
146.87/146.97	c  146s |      20 |   859361 |   838027 |      222   8450 |        1 |        0
148.87/148.99	c  148s |      20 |   870833 |   849227 |      222   8542 |        1 |        0
150.87/150.99	c  150s |      20 |   882621 |   860627 |      222   8635 |        1 |        0
152.97/153.00	c  152s |      20 |   894537 |   872227 |      222   8730 |        1 |        0
154.97/155.02	c  155s |      20 |   906592 |   883927 |      222   8827 |        1 |        0
156.97/157.03	c  157s |      20 |   918990 |   896027 |      222   8927 |        1 |        0
158.96/159.04	c  159s |      20 |   931301 |   908027 |      222   9021 |        1 |        0
160.96/161.04	c  161s |      20 |   943359 |   919827 |      222   9114 |        1 |        0
162.96/163.04	c  163s |      20 |   955636 |   931827 |      222   9208 |        1 |        0
164.97/165.05	c  165s |      20 |   967872 |   943827 |      222   9305 |        1 |        0
166.96/167.06	c  167s |      20 |   979415 |   955227 |      222   9396 |        1 |        0
168.96/169.06	c  169s |      20 |   991557 |   966927 |      222   9491 |        1 |        0
170.96/171.07	c  171s |      20 |  1003402 |   978427 |      222   9584 |        1 |        0
172.96/173.07	c  173s |      20 |  1015300 |   990027 |      222   9679 |        1 |        0
174.76/174.85	c  174s |      21 |  1025872 |  1000345 |      245   9757 |        1 |        0
176.76/176.87	c  176s |      21 |  1036824 |  1010945 |      245   9835 |        1 |        0
178.76/178.87	c  178s |      21 |  1047715 |  1021545 |      245   9912 |        1 |        0
180.76/180.88	c  180s |      21 |  1058660 |  1032245 |      245   9990 |        1 |        0
182.76/182.89	c  182s |      21 |  1069529 |  1042945 |      245  10069 |        1 |        0
184.76/184.90	c  184s |      21 |  1080467 |  1053645 |      245  10148 |        1 |        0
186.86/186.90	c  186s |      21 |  1091529 |  1064445 |      245  10228 |        1 |        0
188.86/188.91	c  188s |      21 |  1103037 |  1075645 |      245  10312 |        1 |        0
190.86/190.92	c  190s |      21 |  1114487 |  1086845 |      245  10396 |        1 |        0
192.86/192.92	c  192s |      21 |  1126062 |  1098245 |      245  10484 |        1 |        0
194.86/194.93	c  194s |      21 |  1137089 |  1109145 |      245  10564 |        1 |        0
196.87/196.94	c  196s |      21 |  1148144 |  1120045 |      245  10644 |        1 |        0
198.86/198.96	c  198s |      21 |  1158588 |  1130345 |      245  10719 |        1 |        0
200.86/200.96	c  200s |      21 |  1169701 |  1141245 |      245  10798 |        1 |        0
202.86/202.97	c  202s |      21 |  1181014 |  1152345 |      245  10879 |        1 |        0
204.86/204.99	c  204s |      21 |  1192646 |  1163745 |      245  10963 |        1 |        0
206.96/207.00	c  206s |      21 |  1203735 |  1174645 |      245  11043 |        1 |        0
208.97/209.00	c  208s |      21 |  1214821 |  1185445 |      245  11122 |        1 |        0
210.95/211.02	c  211s |      21 |  1226564 |  1196945 |      245  11206 |        1 |        0
212.95/213.03	c  213s |      21 |  1238163 |  1208345 |      245  11289 |        1 |        0
214.95/215.04	c  215s |      21 |  1249727 |  1219645 |      245  11373 |        1 |        0
216.95/217.05	c  217s |      21 |  1260865 |  1230545 |      245  11454 |        1 |        0
218.96/219.05	c  219s |      21 |  1272047 |  1241445 |      245  11535 |        1 |        0
220.95/221.06	c  221s |      21 |  1283472 |  1252645 |      245  11619 |        1 |        0
222.95/223.08	c  223s |      21 |  1294666 |  1263545 |      245  11700 |        1 |        0
224.95/225.09	c  225s |      21 |  1305873 |  1274445 |      245  11782 |        1 |        0
226.94/227.10	c  227s |      21 |  1317174 |  1285445 |      245  11865 |        1 |        0
229.04/229.10	c  229s |      21 |  1328461 |  1296545 |      245  11948 |        1 |        0
230.95/231.10	c  231s |      21 |  1339767 |  1307645 |      245  12032 |        1 |        0
233.04/233.12	c  233s |      21 |  1351648 |  1319145 |      245  12118 |        1 |        0
235.04/235.13	c  235s |      21 |  1363336 |  1330545 |      245  12202 |        1 |        0
237.04/237.14	c  237s |      21 |  1374378 |  1341445 |      245  12282 |        1 |        0
239.05/239.14	c  239s |      21 |  1385579 |  1352345 |      245  12362 |        1 |        0
241.04/241.15	c  241s |      21 |  1396890 |  1363445 |      245  12444 |        1 |        0
243.05/243.16	c  243s |      21 |  1408004 |  1374345 |      245  12524 |        1 |        0
245.04/245.17	c  245s |      21 |  1419170 |  1385245 |      245  12605 |        1 |        0
247.04/247.18	c  247s |      21 |  1430350 |  1396145 |      245  12686 |        1 |        0
249.04/249.19	c  249s |      21 |  1441251 |  1406745 |      245  12765 |        1 |        0
251.04/251.19	c  251s |      21 |  1452218 |  1417445 |      245  12845 |        1 |        0
253.14/253.21	c  253s |      21 |  1463318 |  1428345 |      245  12926 |        1 |        0
255.14/255.22	c  255s |      21 |  1474377 |  1439145 |      245  13006 |        1 |        0
257.14/257.23	c  257s |      21 |  1485739 |  1450245 |      245  13089 |        1 |        0
259.14/259.24	c  259s |      21 |  1497093 |  1461345 |      245  13173 |        1 |        0
261.13/261.24	c  261s |      21 |  1508756 |  1472745 |      245  13258 |        1 |        0
263.13/263.25	c  263s |      21 |  1520151 |  1483845 |      245  13338 |        1 |        0
265.14/265.26	c  265s |      21 |  1531484 |  1494945 |      270  13417 |        1 |        0
266.14/266.27	c  266s |      22 |  1537267 |  1500622 |      270  13455 |        1 |        0
268.13/268.28	c  268s |      22 |  1548382 |  1511422 |      270  13527 |        1 |        0
270.13/270.29	c  270s |      22 |  1559689 |  1522422 |      270  13600 |        1 |        0
272.23/272.30	c  272s |      22 |  1570904 |  1533422 |      270  13674 |        1 |        0
274.23/274.31	c  274s |      22 |  1582370 |  1544722 |      270  13751 |        1 |        0
276.23/276.31	c  276s |      22 |  1593555 |  1555722 |      270  13825 |        1 |        0
278.23/278.32	c  278s |      22 |  1605123 |  1567022 |      270  13902 |        1 |        0
280.22/280.33	c  280s |      22 |  1616702 |  1578422 |      270  13980 |        1 |        0
282.22/282.35	c  282s |      22 |  1627938 |  1589422 |      270  14054 |        1 |        0
284.22/284.35	c  284s |      22 |  1639533 |  1600622 |      270  14130 |        1 |        0
286.22/286.36	c  286s |      22 |  1651510 |  1612222 |      270  14209 |        1 |        0
288.23/288.37	c  288s |      22 |  1663336 |  1623722 |      270  14288 |        1 |        0
290.22/290.37	c  290s |      22 |  1675304 |  1635422 |      270  14369 |        1 |        0
292.21/292.38	c  292s |      22 |  1686674 |  1646522 |      270  14444 |        1 |        0
294.22/294.39	c  294s |      22 |  1697934 |  1657522 |      270  14519 |        1 |        0
296.32/296.40	c  296s |      22 |  1709378 |  1668722 |      270  14595 |        1 |        0
298.32/298.40	c  298s |      22 |  1720799 |  1679822 |      270  14671 |        1 |        0
300.22/300.40	c  300s |      22 |  1732316 |  1691122 |      270  14748 |        1 |        0
302.32/302.42	c  302s |      22 |  1744130 |  1702722 |      270  14828 |        1 |        0
304.31/304.43	c  304s |      22 |  1755846 |  1714222 |      270  14907 |        1 |        0
306.31/306.44	c  306s |      22 |  1767735 |  1725822 |      270  14987 |        1 |        0
308.31/308.45	c  308s |      22 |  1779747 |  1737522 |      270  15068 |        1 |        0
310.31/310.46	c  310s |      22 |  1791640 |  1749222 |      270  15149 |        1 |        0
312.32/312.46	c  312s |      22 |  1803413 |  1760722 |      270  15228 |        1 |        0
314.31/314.47	c  314s |      22 |  1815395 |  1772422 |      270  15309 |        1 |        0
316.31/316.48	c  316s |      22 |  1827705 |  1784422 |      270  15393 |        1 |        0
318.31/318.49	c  318s |      22 |  1839913 |  1796422 |      270  15477 |        1 |        0
320.30/320.49	c  320s |      22 |  1851848 |  1808122 |      270  15559 |        1 |        0
322.40/322.50	c  322s |      22 |  1863817 |  1819922 |      270  15642 |        1 |        0
324.41/324.52	c  324s |      22 |  1875797 |  1831622 |      270  15723 |        1 |        0
326.40/326.54	c  326s |      22 |  1887357 |  1842922 |      270  15797 |        1 |        0
328.40/328.54	c  328s |      22 |  1898772 |  1854122 |      270  15873 |        1 |        0
330.40/330.55	c  330s |      22 |  1910966 |  1866122 |      270  15953 |        1 |        0
332.39/332.56	c  332s |      22 |  1923358 |  1878222 |      270  16032 |        1 |        0
334.40/334.56	c  334s |      22 |  1935119 |  1889722 |      270  16108 |        1 |        0
336.39/336.58	c  336s |      22 |  1947077 |  1901322 |      270  16186 |        1 |        0
338.39/338.58	c  338s |      22 |  1958678 |  1912722 |      270  16263 |        1 |        0
340.49/340.60	c  340s |      22 |  1969964 |  1923822 |      270  16337 |        1 |        0
342.49/342.61	c  342s |      22 |  1981528 |  1935222 |      270  16414 |        1 |        0
344.49/344.63	c  344s |      22 |  1992657 |  1946122 |      270  16487 |        1 |        0
346.50/346.63	c  346s |      22 |  2004073 |  1957222 |      270  16562 |        1 |        0
348.49/348.64	c  348s |      22 |  2015587 |  1968522 |      270  16638 |        1 |        0
350.48/350.65	c  350s |      22 |  2027024 |  1979722 |      270  16714 |        1 |        0
352.49/352.66	c  352s |      22 |  2038730 |  1991222 |      270  16792 |        1 |        0
354.49/354.66	c  354s |      22 |  2050251 |  2002522 |      270  16870 |        1 |        0
356.49/356.68	c  356s |      22 |  2062127 |  2014222 |      270  16949 |        1 |        0
358.50/358.69	c  358s |      22 |  2073659 |  2025522 |      270  17026 |        1 |        0
360.59/360.71	c  360s |      22 |  2085757 |  2037322 |      270  17108 |        1 |        0
362.59/362.71	c  362s |      22 |  2097471 |  2048822 |      270  17186 |        1 |        0
364.59/364.72	c  364s |      22 |  2109403 |  2060522 |      270  17267 |        1 |        0
366.59/366.73	c  366s |      22 |  2121164 |  2072122 |      270  17347 |        1 |        0
368.59/368.75	c  368s |      22 |  2132906 |  2083722 |      270  17426 |        1 |        0
370.59/370.76	c  370s |      22 |  2144731 |  2095422 |      270  17507 |        1 |        0
372.58/372.77	c  372s |      22 |  2156594 |  2107122 |      270  17587 |        1 |        0
374.58/374.78	c  374s |      22 |  2168393 |  2118722 |      270  17667 |        1 |        0
376.58/376.79	c  376s |      22 |  2180114 |  2130322 |      270  17748 |        1 |        0
378.58/378.79	c  378s |      22 |  2192128 |  2142122 |      270  17831 |        1 |        0
380.68/380.80	c  380s |      22 |  2204200 |  2153922 |      270  17913 |        1 |        0
382.68/382.81	c  382s |      22 |  2216011 |  2165322 |      270  17990 |        1 |        0
384.67/384.81	c  384s |      22 |  2227772 |  2176722 |      270  18068 |        1 |        0
386.67/386.83	c  386s |      22 |  2239900 |  2188522 |      270  18146 |        1 |        0
388.67/388.84	c  388s |      22 |  2251743 |  2200122 |      270  18224 |        1 |        0
390.67/390.85	c  390s |      22 |  2263799 |  2211922 |      270  18305 |        1 |        0
392.68/392.87	c  392s |      22 |  2275367 |  2223322 |      270  18382 |        1 |        0
394.67/394.87	c  394s |      22 |  2287175 |  2234922 |      270  18461 |        1 |        0
396.67/396.88	c  396s |      22 |  2299326 |  2246822 |      297  18536 |        1 |        0
397.47/397.62	c  397s |      23 |  2303590 |  2251038 |      297  18563 |        1 |        0
399.47/399.63	c  399s |      23 |  2314639 |  2261738 |      297  18628 |        1 |        0
401.47/401.64	c  401s |      23 |  2325819 |  2272638 |      297  18695 |        1 |        0
403.47/403.64	c  403s |      23 |  2337078 |  2283638 |      297  18762 |        1 |        0
405.47/405.65	c  405s |      23 |  2347944 |  2294238 |      297  18828 |        1 |        0
407.47/407.65	c  407s |      23 |  2359325 |  2305338 |      297  18897 |        1 |        0
409.46/409.66	c  409s |      23 |  2370799 |  2316438 |      297  18966 |        1 |        0
411.46/411.66	c  411s |      23 |  2382067 |  2327438 |      297  19034 |        1 |        0
413.47/413.66	c  413s |      23 |  2393826 |  2338938 |      297  19106 |        1 |        0
415.46/415.67	c  415s |      23 |  2405471 |  2350238 |      297  19178 |        1 |        0
417.46/417.68	c  417s |      23 |  2416825 |  2361238 |      297  19246 |        1 |        0
419.46/419.68	c  419s |      23 |  2428130 |  2372238 |      297  19314 |        1 |        0
421.46/421.69	c  421s |      23 |  2439509 |  2383338 |      297  19384 |        1 |        0
423.56/423.71	c  423s |      23 |  2451382 |  2394938 |      297  19457 |        1 |        0
425.56/425.71	c  425s |      23 |  2462871 |  2406238 |      297  19528 |        1 |        0
427.56/427.73	c  427s |      23 |  2474180 |  2417338 |      297  19597 |        1 |        0
429.55/429.73	c  429s |      23 |  2485392 |  2428438 |      297  19666 |        1 |        0
431.56/431.75	c  431s |      23 |  2497033 |  2439838 |      297  19737 |        1 |        0
433.56/433.75	c  433s |      23 |  2508640 |  2451238 |      297  19809 |        1 |        0
435.57/435.75	c  435s |      23 |  2520266 |  2462738 |      297  19882 |        1 |        0
437.56/437.77	c  437s |      23 |  2531352 |  2473638 |      297  19950 |        1 |        0
439.56/439.77	c  439s |      23 |  2542700 |  2484738 |      297  20019 |        1 |        0
441.56/441.78	c  441s |      23 |  2554126 |  2496038 |      297  20089 |        1 |        0
443.56/443.79	c  443s |      23 |  2565566 |  2507338 |      297  20160 |        1 |        0
445.66/445.80	c  445s |      23 |  2577050 |  2518738 |      297  20230 |        1 |        0
447.66/447.81	c  447s |      23 |  2588614 |  2530138 |      297  20302 |        1 |        0
449.65/449.82	c  449s |      23 |  2599973 |  2541238 |      297  20371 |        1 |        0
451.65/451.82	c  451s |      23 |  2611215 |  2552338 |      297  20441 |        1 |        0
453.65/453.83	c  453s |      23 |  2622930 |  2563838 |      297  20513 |        1 |        0
455.65/455.84	c  455s |      23 |  2634687 |  2575338 |      297  20586 |        1 |        0
457.65/457.84	c  457s |      23 |  2645942 |  2586338 |      297  20654 |        1 |        0
459.66/459.85	c  459s |      23 |  2657741 |  2597938 |      297  20727 |        1 |        0
461.65/461.87	c  461s |      23 |  2669303 |  2609338 |      297  20800 |        1 |        0
463.65/463.88	c  463s |      23 |  2681420 |  2621138 |      297  20874 |        1 |        0
465.65/465.89	c  465s |      23 |  2693226 |  2632638 |      297  20946 |        1 |        0
467.65/467.90	c  467s |      23 |  2704789 |  2643938 |      297  21018 |        1 |        0
469.75/469.90	c  469s |      23 |  2716279 |  2655238 |      297  21090 |        1 |        0
471.75/471.91	c  471s |      23 |  2728213 |  2666938 |      297  21164 |        1 |        0
473.74/473.91	c  473s |      23 |  2740132 |  2678638 |      297  21239 |        1 |        0
475.74/475.92	c  475s |      23 |  2752109 |  2690438 |      297  21315 |        1 |        0
477.74/477.94	c  477s |      23 |  2764383 |  2702538 |      297  21393 |        1 |        0
479.74/479.95	c  479s |      23 |  2776802 |  2714738 |      297  21472 |        1 |        0
481.75/481.96	c  481s |      23 |  2788847 |  2726538 |      297  21546 |        1 |        0
483.74/483.97	c  483s |      23 |  2799846 |  2737338 |      297  21612 |        1 |        0
485.74/485.98	c  485s |      23 |  2811776 |  2749038 |      297  21681 |        1 |        0
487.74/487.99	c  487s |      23 |  2822919 |  2759938 |      297  21748 |        1 |        0
489.84/490.00	c  489s |      23 |  2833856 |  2770638 |      297  21813 |        1 |        0
491.84/492.02	c  492s |      23 |  2844828 |  2781438 |      297  21879 |        1 |        0
493.85/494.03	c  494s |      23 |  2856193 |  2792638 |      297  21947 |        1 |        0
495.84/496.03	c  496s |      23 |  2867367 |  2803638 |      297  22015 |        1 |        0
497.84/498.04	c  498s |      23 |  2878343 |  2814438 |      297  22082 |        1 |        0
499.84/500.06	c  500s |      23 |  2889977 |  2825738 |      297  22152 |        1 |        0
501.84/502.06	c  502s |      23 |  2901610 |  2837138 |      297  22224 |        1 |        0
503.84/504.07	c  504s |      23 |  2913213 |  2848538 |      297  22295 |        1 |        0
505.85/506.08	c  506s |      23 |  2925130 |  2860238 |      297  22368 |        1 |        0
507.84/508.09	c  508s |      23 |  2936488 |  2871338 |      297  22435 |        1 |        0
509.83/510.09	c  510s |      23 |  2948150 |  2882838 |      297  22507 |        1 |        0
511.83/512.09	c  512s |      23 |  2959560 |  2894038 |      297  22575 |        1 |        0
513.93/514.11	c  514s |      23 |  2971294 |  2905538 |      297  22647 |        1 |        0
515.93/516.11	c  516s |      23 |  2982635 |  2916738 |      297  22716 |        1 |        0
517.94/518.12	c  518s |      23 |  2994484 |  2928338 |      297  22788 |        1 |        0
519.93/520.12	c  520s |      23 |  3006122 |  2939838 |      297  22859 |        1 |        0
521.93/522.13	c  522s |      23 |  3017907 |  2951438 |      297  22931 |        1 |        0
523.93/524.15	c  524s |      23 |  3030144 |  2963438 |      297  23007 |        1 |        0
525.93/526.16	c  526s |      23 |  3042420 |  2975438 |      297  23082 |        1 |        0
527.93/528.16	c  528s |      23 |  3054488 |  2987338 |      297  23156 |        1 |        0
529.92/530.17	c  530s |      23 |  3066697 |  2999338 |      297  23231 |        1 |        0
531.92/532.18	c  532s |      23 |  3078560 |  3011038 |      297  23305 |        1 |        0
533.92/534.18	c  534s |      23 |  3090413 |  3022638 |      297  23378 |        1 |        0
535.92/536.18	c  536s |      23 |  3101564 |  3033538 |      297  23446 |        1 |        0
538.02/538.20	c  538s |      23 |  3112710 |  3044438 |      297  23513 |        1 |        0
539.93/540.20	c  540s |      23 |  3124032 |  3055538 |      297  23583 |        1 |        0
542.02/542.20	c  542s |      23 |  3135195 |  3066538 |      297  23652 |        1 |        0
544.02/544.22	c  544s |      23 |  3146199 |  3077338 |      297  23718 |        1 |        0
546.02/546.23	c  546s |      23 |  3157158 |  3088138 |      297  23785 |        1 |        0
548.02/548.25	c  548s |      23 |  3168183 |  3098938 |      297  23852 |        1 |        0
550.02/550.26	c  550s |      23 |  3179151 |  3109738 |      297  23920 |        1 |        0
552.02/552.27	c  552s |      23 |  3190053 |  3120338 |      297  23986 |        1 |        0
554.01/554.28	c  554s |      23 |  3200942 |  3130938 |      297  24052 |        1 |        0
556.01/556.28	c  556s |      23 |  3212119 |  3141838 |      297  24120 |        1 |        0
558.11/558.30	c  558s |      23 |  3223115 |  3152638 |      297  24187 |        1 |        0
560.11/560.31	c  560s |      23 |  3234513 |  3163838 |      297  24258 |        1 |        0
562.11/562.32	c  562s |      23 |  3245722 |  3174738 |      297  24325 |        1 |        0
564.12/564.33	c  564s |      23 |  3257249 |  3186038 |      297  24396 |        1 |        0
566.11/566.34	c  566s |      23 |  3268568 |  3197038 |      297  24465 |        1 |        0
568.11/568.36	c  568s |      23 |  3279890 |  3208138 |      297  24535 |        1 |        0
570.11/570.36	c  570s |      23 |  3291428 |  3219438 |      297  24608 |        1 |        0
572.11/572.37	c  572s |      23 |  3302861 |  3230738 |      297  24679 |        1 |        0
574.11/574.38	c  574s |      23 |  3314695 |  3242338 |      297  24754 |        1 |        0
576.11/576.39	c  576s |      23 |  3326706 |  3254038 |      297  24829 |        1 |        0
578.20/578.41	c  578s |      23 |  3339309 |  3266438 |      297  24907 |        1 |        0
580.21/580.42	c  580s |      23 |  3352150 |  3279038 |      297  24983 |        1 |        0
582.21/582.44	c  582s |      23 |  3364686 |  3291338 |      297  25058 |        1 |        0
584.21/584.45	c  584s |      23 |  3377528 |  3303838 |      297  25134 |        1 |        0
586.22/586.46	c  586s |      23 |  3390119 |  3316138 |      297  25208 |        1 |        0
588.21/588.47	c  588s |      23 |  3402575 |  3328338 |      297  25282 |        1 |        0
590.21/590.49	c  590s |      23 |  3414853 |  3340338 |      297  25356 |        1 |        0
592.21/592.49	c  592s |      23 |  3427045 |  3352338 |      297  25429 |        1 |        0
594.31/594.50	c  594s |      23 |  3439278 |  3364438 |      327  25497 |        1 |        0
596.31/596.51	c  596s |      23 |  3450921 |  3375838 |      327  25561 |        1 |        0
596.41/596.66	c  596s |      24 |  3451771 |  3376662 |      327  25565 |        1 |        0
598.41/598.67	c  598s |      24 |  3462254 |  3386862 |      327  25622 |        1 |        0
600.41/600.67	c  600s |      24 |  3472996 |  3397362 |      327  25681 |        1 |        0
602.40/602.68	c  602s |      24 |  3483934 |  3408062 |      327  25742 |        1 |        0
604.40/604.69	c  604s |      24 |  3495427 |  3419262 |      327  25806 |        1 |        0
606.40/606.69	c  606s |      24 |  3506684 |  3430262 |      327  25867 |        1 |        0
608.50/608.70	c  608s |      24 |  3517816 |  3441162 |      327  25927 |        1 |        0
610.50/610.72	c  610s |      24 |  3528457 |  3451662 |      327  25986 |        1 |        0
612.50/612.72	c  612s |      24 |  3539208 |  3462262 |      327  26045 |        1 |        0
614.49/614.73	c  614s |      24 |  3550264 |  3473062 |      327  26106 |        1 |        0
616.49/616.74	c  616s |      24 |  3561708 |  3484162 |      327  26170 |        1 |        0
618.49/618.75	c  618s |      24 |  3573055 |  3495162 |      327  26234 |        1 |        0
620.49/620.75	c  620s |      24 |  3583852 |  3505762 |      327  26293 |        1 |        0
622.50/622.76	c  622s |      24 |  3594724 |  3516462 |      327  26355 |        1 |        0
624.49/624.78	c  624s |      24 |  3605655 |  3527162 |      327  26415 |        1 |        0
626.49/626.80	c  626s |      24 |  3616832 |  3538062 |      327  26477 |        1 |        0
628.60/628.81	c  628s |      24 |  3627622 |  3548662 |      327  26538 |        1 |        0
630.60/630.83	c  630s |      24 |  3638808 |  3559562 |      327  26601 |        1 |        0
632.60/632.83	c  632s |      24 |  3649737 |  3570262 |      327  26663 |        1 |        0
634.60/634.84	c  634s |      24 |  3661107 |  3581462 |      327  26728 |        1 |        0
636.60/636.86	c  636s |      24 |  3671786 |  3591962 |      327  26787 |        1 |        0
638.59/638.86	c  638s |      24 |  3682688 |  3602762 |      327  26848 |        1 |        0
640.59/640.87	c  640s |      24 |  3693452 |  3613262 |      327  26907 |        1 |        0
642.59/642.89	c  642s |      24 |  3704737 |  3624262 |      327  26970 |        1 |        0
644.69/644.90	c  644s |      24 |  3715565 |  3634862 |      327  27030 |        1 |        0
646.60/646.90	c  646s |      24 |  3726610 |  3645662 |      327  27092 |        1 |        0
648.69/648.91	c  648s |      24 |  3737786 |  3656562 |      327  27154 |        1 |        0
650.68/650.92	c  650s |      24 |  3748653 |  3667162 |      327  27214 |        1 |        0
652.68/652.93	c  652s |      24 |  3759921 |  3678062 |      327  27277 |        1 |        0
654.68/654.94	c  654s |      24 |  3771052 |  3689062 |      327  27340 |        1 |        0
656.68/656.95	c  656s |      24 |  3782165 |  3699962 |      327  27401 |        1 |        0
658.69/658.95	c  658s |      24 |  3793286 |  3710862 |      327  27463 |        1 |        0
660.68/660.96	c  660s |      24 |  3804080 |  3721462 |      327  27523 |        1 |        0
662.68/662.97	c  662s |      24 |  3815413 |  3732562 |      327  27587 |        1 |        0
664.68/664.99	c  664s |      24 |  3826845 |  3743762 |      327  27651 |        1 |        0
666.67/666.99	c  666s |      24 |  3837980 |  3754662 |      327  27713 |        1 |        0
668.77/669.00	c  668s |      24 |  3849464 |  3765862 |      327  27778 |        1 |        0
670.78/671.01	c  670s |      24 |  3860942 |  3777062 |      327  27843 |        1 |        0
672.77/673.02	c  673s |      24 |  3872448 |  3788362 |      327  27908 |        1 |        0
674.77/675.03	c  675s |      24 |  3884237 |  3799862 |      327  27975 |        1 |        0
676.77/677.04	c  677s |      24 |  3895922 |  3811362 |      327  28042 |        1 |        0
678.77/679.05	c  679s |      24 |  3908093 |  3823362 |      327  28111 |        1 |        0
680.77/681.05	c  681s |      24 |  3919737 |  3834862 |      327  28179 |        1 |        0
682.77/683.06	c  683s |      24 |  3930519 |  3845362 |      327  28238 |        1 |        0
684.76/685.08	c  685s |      24 |  3941708 |  3856362 |      327  28300 |        1 |        0
686.76/687.08	c  687s |      24 |  3952889 |  3867262 |      327  28363 |        1 |        0
688.76/689.10	c  689s |      24 |  3964398 |  3878462 |      327  28427 |        1 |        0
690.87/691.11	c  691s |      24 |  3975524 |  3889362 |      327  28488 |        1 |        0
692.87/693.12	c  693s |      24 |  3986775 |  3900362 |      327  28550 |        1 |        0
694.87/695.14	c  695s |      24 |  3998164 |  3911562 |      327  28614 |        1 |        0
696.87/697.15	c  697s |      24 |  4009433 |  3922662 |      327  28678 |        1 |        0
698.86/699.17	c  699s |      24 |  4020601 |  3933662 |      327  28740 |        1 |        0
700.86/701.17	c  701s |      24 |  4032159 |  3944962 |      327  28805 |        1 |        0
702.86/703.18	c  703s |      24 |  4043713 |  3956362 |      327  28871 |        1 |        0
704.87/705.19	c  705s |      24 |  4054833 |  3967362 |      327  28935 |        1 |        0
706.86/707.20	c  707s |      24 |  4065858 |  3978262 |      327  28997 |        1 |        0
708.96/709.20	c  709s |      24 |  4077234 |  3989362 |      327  29062 |        1 |        0
710.96/711.20	c  711s |      24 |  4088793 |  4000562 |      327  29127 |        1 |        0
712.96/713.21	c  713s |      24 |  4100496 |  4012062 |      327  29194 |        1 |        0
714.96/715.23	c  715s |      24 |  4112167 |  4023562 |      327  29261 |        1 |        0
716.96/717.23	c  717s |      24 |  4123515 |  4034762 |      327  29326 |        1 |        0
718.95/719.23	c  719s |      24 |  4135470 |  4046562 |      327  29396 |        1 |        0
720.95/721.23	c  721s |      24 |  4147570 |  4058362 |      327  29463 |        1 |        0
722.95/723.25	c  723s |      24 |  4158973 |  4069562 |      327  29525 |        1 |        0
724.95/725.26	c  725s |      24 |  4170848 |  4081162 |      327  29590 |        1 |        0
726.96/727.27	c  727s |      24 |  4182204 |  4092262 |      327  29652 |        1 |        0
728.95/729.28	c  729s |      24 |  4193061 |  4102862 |      327  29712 |        1 |        0
730.95/731.29	c  731s |      24 |  4203967 |  4113562 |      327  29772 |        1 |        0
732.95/733.30	c  733s |      24 |  4215075 |  4124462 |      327  29835 |        1 |        0
735.05/735.30	c  735s |      24 |  4226308 |  4135462 |      327  29897 |        1 |        0
737.05/737.31	c  737s |      24 |  4237514 |  4146362 |      327  29959 |        1 |        0
739.05/739.31	c  739s |      24 |  4248839 |  4157362 |      327  30021 |        1 |        0
741.05/741.33	c  741s |      24 |  4260594 |  4168862 |      327  30087 |        1 |        0
743.05/743.33	c  743s |      24 |  4272105 |  4180162 |      327  30152 |        1 |        0
745.04/745.35	c  745s |      24 |  4283595 |  4191462 |      327  30216 |        1 |        0
747.04/747.35	c  747s |      24 |  4295338 |  4202862 |      327  30281 |        1 |        0
749.04/749.36	c  749s |      24 |  4307124 |  4214362 |      327  30348 |        1 |        0
751.05/751.37	c  751s |      24 |  4318869 |  4225862 |      327  30414 |        1 |        0
753.04/753.38	c  753s |      24 |  4330218 |  4236962 |      327  30478 |        1 |        0
755.04/755.40	c  755s |      24 |  4341388 |  4247962 |      327  30540 |        1 |        0
757.14/757.40	c  757s |      24 |  4352386 |  4258762 |      327  30602 |        1 |        0
759.14/759.41	c  759s |      24 |  4363671 |  4269862 |      327  30665 |        1 |        0
761.14/761.43	c  761s |      24 |  4375252 |  4281162 |      327  30729 |        1 |        0
763.14/763.44	c  763s |      24 |  4386642 |  4292362 |      327  30793 |        1 |        0
765.14/765.44	c  765s |      24 |  4398410 |  4304062 |      327  30861 |        1 |        0
767.14/767.46	c  767s |      24 |  4410181 |  4315662 |      327  30928 |        1 |        0
769.14/769.47	c  769s |      24 |  4421737 |  4327062 |      327  30993 |        1 |        0
771.13/771.48	c  771s |      24 |  4433477 |  4338562 |      327  31058 |        1 |        0
773.14/773.48	c  773s |      24 |  4445449 |  4350162 |      327  31124 |        1 |        0
775.13/775.49	c  775s |      24 |  4457120 |  4361562 |      327  31189 |        1 |        0
777.23/777.50	c  777s |      24 |  4468574 |  4372662 |      327  31252 |        1 |        0
779.23/779.51	c  779s |      24 |  4480392 |  4384062 |      327  31317 |        1 |        0
781.23/781.52	c  781s |      24 |  4492085 |  4395462 |      327  31383 |        1 |        0
783.23/783.53	c  783s |      24 |  4504202 |  4407162 |      327  31451 |        1 |        0
785.23/785.54	c  785s |      24 |  4515864 |  4418562 |      327  31516 |        1 |        0
787.23/787.54	c  787s |      24 |  4527435 |  4429862 |      327  31581 |        1 |        0
789.23/789.55	c  789s |      24 |  4539394 |  4441562 |      327  31648 |        1 |        0
791.22/791.55	c  791s |      24 |  4551361 |  4453262 |      327  31716 |        1 |        0
793.23/793.55	c  793s |      24 |  4563223 |  4464762 |      327  31782 |        1 |        0
795.23/795.57	c  795s |      24 |  4575325 |  4476562 |      327  31850 |        1 |        0
797.24/797.58	c  797s |      24 |  4587362 |  4488262 |      327  31917 |        1 |        0
799.23/799.59	c  799s |      24 |  4599576 |  4500262 |      327  31986 |        1 |        0
801.33/801.61	c  801s |      24 |  4611329 |  4511762 |      327  32053 |        1 |        0
803.33/803.61	c  803s |      24 |  4623167 |  4523362 |      327  32120 |        1 |        0
805.33/805.62	c  805s |      24 |  4635588 |  4535462 |      327  32190 |        1 |        0
807.33/807.64	c  807s |      24 |  4647730 |  4547362 |      327  32259 |        1 |        0
809.33/809.65	c  809s |      24 |  4659391 |  4558762 |      327  32325 |        1 |        0
811.32/811.66	c  811s |      24 |  4671236 |  4570262 |      327  32392 |        1 |        0
813.32/813.67	c  813s |      24 |  4683012 |  4581762 |      327  32458 |        1 |        0
815.32/815.68	c  815s |      24 |  4694271 |  4592762 |      327  32521 |        1 |        0
817.32/817.69	c  817s |      24 |  4705842 |  4604162 |      327  32586 |        1 |        0
819.42/819.71	c  819s |      24 |  4717098 |  4615162 |      327  32649 |        1 |        0
821.42/821.72	c  821s |      24 |  4728493 |  4626362 |      327  32713 |        1 |        0
823.41/823.73	c  823s |      24 |  4740280 |  4637962 |      327  32781 |        1 |        0
825.41/825.73	c  825s |      24 |  4750902 |  4648362 |      327  32841 |        1 |        0
827.41/827.75	c  827s |      24 |  4761662 |  4658862 |      327  32901 |        1 |        0
829.41/829.75	c  829s |      24 |  4772418 |  4669362 |      327  32961 |        1 |        0
831.42/831.76	c  831s |      24 |  4783151 |  4679862 |      327  33021 |        1 |        0
833.41/833.77	c  833s |      24 |  4794516 |  4690962 |      327  33086 |        1 |        0
835.41/835.77	c  835s |      24 |  4805255 |  4701362 |      327  33145 |        1 |        0
837.41/837.79	c  837s |      24 |  4816083 |  4711862 |      327  33205 |        1 |        0
839.41/839.79	c  839s |      24 |  4826882 |  4722462 |      327  33266 |        1 |        0
841.51/841.81	c  841s |      24 |  4838106 |  4733462 |      327  33328 |        1 |        0
843.51/843.82	c  843s |      24 |  4849247 |  4744362 |      327  33390 |        1 |        0
845.50/845.83	c  845s |      24 |  4860316 |  4755162 |      327  33452 |        1 |        0
847.50/847.84	c  847s |      24 |  4871719 |  4766262 |      327  33516 |        1 |        0
849.50/849.85	c  849s |      24 |  4882618 |  4776962 |      327  33577 |        1 |        0
851.51/851.86	c  851s |      24 |  4893846 |  4787862 |      327  33640 |        1 |        0
853.51/853.87	c  853s |      24 |  4904913 |  4798662 |      327  33702 |        1 |        0
855.51/855.88	c  855s |      24 |  4916003 |  4809462 |      327  33765 |        1 |        0
857.50/857.90	c  857s |      24 |  4927377 |  4820662 |      327  33830 |        1 |        0
859.60/859.90	c  859s |      24 |  4938887 |  4831962 |      327  33896 |        1 |        0
861.60/861.91	c  861s |      24 |  4949890 |  4842862 |      327  33959 |        1 |        0
863.60/863.91	c  863s |      24 |  4961045 |  4853762 |      327  34022 |        1 |        0
865.60/865.93	c  865s |      24 |  4972213 |  4864762 |      327  34086 |        1 |        0
867.61/867.94	c  867s |      24 |  4983603 |  4875962 |      327  34151 |        1 |        0
869.60/869.95	c  869s |      24 |  4995156 |  4887362 |      327  34218 |        1 |        0
871.60/871.96	c  871s |      24 |  5006431 |  4898462 |      327  34282 |        1 |        0
873.60/873.97	c  873s |      24 |  5018064 |  4909862 |      327  34349 |        1 |        0
875.60/875.97	c  875s |      24 |  5029481 |  4921162 |      327  34416 |        1 |        0
877.61/877.98	c  877s |      24 |  5041068 |  4932562 |      327  34483 |        1 |        0
879.60/879.99	c  879s |      24 |  5052521 |  4943762 |      327  34548 |        1 |        0
881.70/882.00	c  881s |      24 |  5063892 |  4954962 |      327  34613 |        1 |        0
883.70/884.01	c  883s |      24 |  5075369 |  4966262 |      327  34679 |        1 |        0
885.70/886.01	c  885s |      24 |  5086932 |  4977562 |      327  34745 |        1 |        0
887.70/888.03	c  888s |      24 |  5098627 |  4989062 |      327  34812 |        1 |        0
889.70/890.04	c  890s |      24 |  5110229 |  5000462 |      327  34879 |        1 |        0
891.70/892.04	c  892s |      24 |  5121973 |  5012062 |      327  34947 |        1 |        0
893.70/894.05	c  894s |      24 |  5133637 |  5023562 |      327  35014 |        1 |        0
895.70/896.06	c  896s |      24 |  5145076 |  5034862 |      360  35078 |        1 |        0
897.70/898.06	c  898s |      24 |  5156294 |  5045962 |      360  35137 |        1 |        0
899.70/900.07	c  900s |      24 |  5167535 |  5057062 |      360  35197 |        1 |        0
901.20/901.53	c  901s |      25 |  5175650 |  5065098 |      360  35241 |        1 |        0
903.19/903.55	c  903s |      25 |  5185829 |  5075098 |      360  35292 |        1 |        0
905.19/905.55	c  905s |      25 |  5196084 |  5085298 |      360  35345 |        1 |        0
907.20/907.56	c  907s |      25 |  5206379 |  5095498 |      360  35397 |        1 |        0
909.20/909.57	c  909s |      25 |  5217179 |  5106198 |      360  35452 |        1 |        0
911.20/911.57	c  911s |      25 |  5227739 |  5116598 |      360  35506 |        1 |        0
913.20/913.59	c  913s |      25 |  5238100 |  5126898 |      360  35560 |        1 |        0
915.30/915.60	c  915s |      25 |  5248873 |  5137598 |      360  35615 |        1 |        0
917.30/917.60	c  917s |      25 |  5259734 |  5148298 |      360  35670 |        1 |        0
919.30/919.61	c  919s |      25 |  5270855 |  5159298 |      360  35728 |        1 |        0
921.30/921.61	c  921s |      25 |  5281874 |  5170198 |      360  35784 |        1 |        0
923.30/923.63	c  923s |      25 |  5293102 |  5181298 |      360  35843 |        1 |        0
925.30/925.64	c  925s |      25 |  5304397 |  5192498 |      360  35902 |        1 |        0
927.29/927.64	c  927s |      25 |  5315970 |  5203998 |      360  35963 |        1 |        0
929.30/929.66	c  929s |      25 |  5326729 |  5214598 |      360  36018 |        1 |        0
931.29/931.66	c  931s |      25 |  5337778 |  5225498 |      360  36075 |        1 |        0
933.29/933.68	c  933s |      25 |  5348664 |  5236298 |      360  36131 |        1 |        0
935.29/935.69	c  935s |      25 |  5360223 |  5247698 |      360  36191 |        1 |        0
937.29/937.69	c  937s |      25 |  5371848 |  5259198 |      360  36251 |        1 |        0
939.39/939.70	c  939s |      25 |  5383097 |  5270198 |      360  36308 |        1 |        0
941.39/941.70	c  941s |      25 |  5394044 |  5280998 |      360  36364 |        1 |        0
943.39/943.71	c  943s |      25 |  5404917 |  5291698 |      360  36420 |        1 |        0
945.39/945.72	c  945s |      25 |  5415865 |  5302498 |      360  36477 |        1 |        0
947.39/947.72	c  947s |      25 |  5426715 |  5313198 |      360  36532 |        1 |        0
949.39/949.73	c  949s |      25 |  5437795 |  5324198 |      360  36590 |        1 |        0
951.39/951.75	c  951s |      25 |  5449170 |  5335498 |      360  36649 |        1 |        0
953.39/953.77	c  953s |      25 |  5460173 |  5346398 |      360  36706 |        1 |        0
955.38/955.77	c  955s |      25 |  5471187 |  5357298 |      360  36763 |        1 |        0
957.38/957.78	c  957s |      25 |  5482602 |  5368498 |      360  36822 |        1 |        0
959.38/959.78	c  959s |      25 |  5494028 |  5379798 |      360  36882 |        1 |        0
961.38/961.79	c  961s |      25 |  5504543 |  5390098 |      360  36935 |        1 |        0
963.39/963.79	c  963s |      25 |  5515412 |  5400798 |      360  36991 |        1 |        0
965.49/965.80	c  965s |      25 |  5526478 |  5411798 |      360  37049 |        1 |        0
967.48/967.81	c  967s |      25 |  5537665 |  5422898 |      360  37107 |        1 |        0
969.49/969.82	c  969s |      25 |  5548933 |  5433998 |      360  37165 |        1 |        0
971.49/971.84	c  971s |      25 |  5560310 |  5445298 |      360  37225 |        1 |        0
973.49/973.85	c  973s |      25 |  5571931 |  5456798 |      360  37286 |        1 |        0
975.50/975.86	c  975s |      25 |  5583689 |  5468498 |      360  37347 |        1 |        0
977.49/977.87	c  977s |      25 |  5594989 |  5479698 |      360  37406 |        1 |        0
979.49/979.89	c  979s |      25 |  5606552 |  5491198 |      360  37467 |        1 |        0
981.49/981.89	c  981s |      25 |  5617763 |  5502398 |      360  37525 |        1 |        0
983.59/983.90	c  983s |      25 |  5629061 |  5513598 |      360  37584 |        1 |        0
985.59/985.91	c  985s |      25 |  5640626 |  5525098 |      360  37644 |        1 |        0
987.59/987.92	c  987s |      25 |  5652247 |  5536698 |      360  37705 |        1 |        0
989.59/989.94	c  989s |      25 |  5663528 |  5547898 |      360  37764 |        1 |        0
991.59/991.94	c  991s |      25 |  5674771 |  5558998 |      360  37823 |        1 |        0
993.59/993.94	c  993s |      25 |  5686194 |  5570298 |      360  37882 |        1 |        0
995.58/995.95	c  995s |      25 |  5697841 |  5581898 |      360  37943 |        1 |        0
997.58/997.96	c  997s |      25 |  5709412 |  5593398 |      360  38003 |        1 |        0
999.59/999.97	c  999s |      25 |  5721326 |  5605198 |      360  38066 |        1 |        0
1001.58/1001.97	c 1001s |      25 |  5732769 |  5616598 |      360  38126 |        1 |        0
1003.58/1003.98	c 1003s |      25 |  5744236 |  5627998 |      360  38187 |        1 |        0
1005.58/1005.99	c 1005s |      25 |  5756234 |  5639898 |      360  38249 |        1 |        0
1007.68/1008.01	c 1007s |      25 |  5767476 |  5650998 |      360  38307 |        1 |        0
1009.68/1010.01	c 1009s |      25 |  5778837 |  5662298 |      360  38366 |        1 |        0
1011.69/1012.02	c 1012s |      25 |  5789698 |  5673098 |      360  38423 |        1 |        0
1013.68/1014.03	c 1014s |      25 |  5800786 |  5684098 |      360  38481 |        1 |        0
1015.68/1016.03	c 1016s |      25 |  5811846 |  5694998 |      360  38539 |        1 |        0
1017.68/1018.04	c 1018s |      25 |  5822772 |  5705798 |      360  38596 |        1 |        0
1019.68/1020.06	c 1020s |      25 |  5834082 |  5716998 |      360  38656 |        1 |        0
1021.69/1022.07	c 1022s |      25 |  5845216 |  5728098 |      360  38715 |        1 |        0
1023.68/1024.07	c 1024s |      25 |  5856547 |  5739398 |      360  38775 |        1 |        0
1025.68/1026.07	c 1026s |      25 |  5867978 |  5750798 |      360  38836 |        1 |        0
1027.68/1028.09	c 1028s |      25 |  5879508 |  5762298 |      360  38897 |        1 |        0
1029.68/1030.09	c 1030s |      25 |  5890953 |  5773698 |      360  38957 |        1 |        0
1031.78/1032.10	c 1032s |      25 |  5902609 |  5785298 |      360  39019 |        1 |        0
1033.78/1034.12	c 1034s |      25 |  5914234 |  5796898 |      360  39081 |        1 |        0
1035.77/1036.13	c 1036s |      25 |  5925922 |  5808498 |      360  39142 |        1 |        0
1037.77/1038.14	c 1038s |      25 |  5937444 |  5819898 |      360  39203 |        1 |        0
1039.77/1040.15	c 1040s |      25 |  5949457 |  5831798 |      360  39267 |        1 |        0
1041.77/1042.16	c 1042s |      25 |  5961248 |  5843498 |      360  39330 |        1 |        0
1043.77/1044.17	c 1044s |      25 |  5973005 |  5855198 |      360  39392 |        1 |        0
1045.78/1046.17	c 1046s |      25 |  5984647 |  5866798 |      360  39455 |        1 |        0
1047.77/1048.17	c 1048s |      25 |  5996315 |  5878398 |      360  39517 |        1 |        0
1049.77/1050.18	c 1050s |      25 |  6008084 |  5890098 |      360  39581 |        1 |        0
1051.77/1052.18	c 1052s |      25 |  6020169 |  5902098 |      360  39646 |        1 |        0
1053.87/1054.20	c 1054s |      25 |  6031132 |  5912698 |      360  39701 |        1 |        0
1055.87/1056.21	c 1056s |      25 |  6042886 |  5923998 |      360  39760 |        1 |        0
1057.88/1058.22	c 1058s |      25 |  6054108 |  5934798 |      360  39816 |        1 |        0
1059.87/1060.24	c 1060s |      25 |  6065398 |  5945798 |      360  39873 |        1 |        0
1061.87/1062.25	c 1062s |      25 |  6076492 |  5956698 |      360  39930 |        1 |        0
1063.87/1064.26	c 1064s |      25 |  6088026 |  5967898 |      360  39988 |        1 |        0
1065.88/1066.27	c 1066s |      25 |  6099139 |  5978698 |      360  40044 |        1 |        0
1067.88/1068.27	c 1068s |      25 |  6110426 |  5989698 |      360  40102 |        1 |        0
1069.88/1070.28	c 1070s |      25 |  6121704 |  6000698 |      360  40159 |        1 |        0
1071.88/1072.29	c 1072s |      25 |  6133792 |  6012498 |      360  40221 |        1 |        0
1073.97/1074.31	c 1074s |      25 |  6145365 |  6023798 |      360  40280 |        1 |        0
1075.97/1076.31	c 1076s |      25 |  6156900 |  6034998 |      360  40339 |        1 |        0
1077.97/1078.33	c 1078s |      25 |  6168453 |  6046298 |      360  40399 |        1 |        0
1079.98/1080.33	c 1080s |      25 |  6179951 |  6057498 |      360  40459 |        1 |        0
1081.97/1082.33	c 1082s |      25 |  6191723 |  6068998 |      360  40520 |        1 |        0
1083.97/1084.35	c 1084s |      25 |  6202796 |  6079798 |      360  40576 |        1 |        0
1085.97/1086.37	c 1086s |      25 |  6213331 |  6090098 |      360  40630 |        1 |        0
1087.97/1088.38	c 1088s |      25 |  6224162 |  6100698 |      360  40685 |        1 |        0
1089.97/1090.39	c 1090s |      25 |  6235012 |  6111298 |      360  40740 |        1 |        0
1091.97/1092.40	c 1092s |      25 |  6245895 |  6121998 |      360  40796 |        1 |        0
1094.07/1094.40	c 1094s |      25 |  6256969 |  6132898 |      360  40853 |        1 |        0
1096.06/1096.40	c 1096s |      25 |  6268069 |  6143698 |      360  40909 |        1 |        0
1098.06/1098.41	c 1098s |      25 |  6279218 |  6154698 |      360  40967 |        1 |        0
1100.06/1100.41	c 1100s |      25 |  6290463 |  6165698 |      360  41024 |        1 |        0
1102.06/1102.42	c 1102s |      25 |  6301476 |  6176498 |      360  41081 |        1 |        0
1104.07/1104.43	c 1104s |      25 |  6312559 |  6187398 |      360  41138 |        1 |        0
1106.06/1106.44	c 1106s |      25 |  6323496 |  6198198 |      360  41194 |        1 |        0
1108.07/1108.45	c 1108s |      25 |  6334761 |  6209198 |      360  41253 |        1 |        0
1110.07/1110.46	c 1110s |      25 |  6346008 |  6220298 |      360  41311 |        1 |        0
1112.07/1112.47	c 1112s |      25 |  6357722 |  6231798 |      360  41372 |        1 |        0
1114.07/1114.47	c 1114s |      25 |  6369285 |  6243198 |      360  41433 |        1 |        0
1116.06/1116.49	c 1116s |      25 |  6381254 |  6254998 |      360  41496 |        1 |        0
1118.06/1118.49	c 1118s |      25 |  6392367 |  6265898 |      360  41553 |        1 |        0
1120.16/1120.50	c 1120s |      25 |  6403661 |  6276998 |      360  41611 |        1 |        0
1122.16/1122.52	c 1122s |      25 |  6415011 |  6288098 |      360  41669 |        1 |        0
1124.16/1124.53	c 1124s |      25 |  6426025 |  6298898 |      360  41726 |        1 |        0
1126.17/1126.53	c 1126s |      25 |  6437366 |  6309998 |      360  41784 |        1 |        0
1128.16/1128.55	c 1128s |      25 |  6448771 |  6321298 |      360  41844 |        1 |        0
1130.16/1130.55	c 1130s |      25 |  6460405 |  6332798 |      360  41904 |        1 |        0
1132.16/1132.56	c 1132s |      25 |  6471677 |  6343998 |      360  41964 |        1 |        0
1134.16/1134.57	c 1134s |      25 |  6483061 |  6355198 |      360  42023 |        1 |        0
1136.16/1136.58	c 1136s |      25 |  6494592 |  6366598 |      360  42083 |        1 |        0
1138.17/1138.58	c 1138s |      25 |  6506592 |  6378398 |      360  42145 |        1 |        0
1140.26/1140.60	c 1140s |      25 |  6517939 |  6389598 |      360  42204 |        1 |        0
1142.26/1142.61	c 1142s |      25 |  6529402 |  6400898 |      360  42264 |        1 |        0
1144.26/1144.61	c 1144s |      25 |  6540970 |  6412298 |      360  42325 |        1 |        0
1146.26/1146.63	c 1146s |      25 |  6552736 |  6423698 |      360  42386 |        1 |        0
1148.26/1148.63	c 1148s |      25 |  6564286 |  6435098 |      360  42446 |        1 |        0
1150.27/1150.64	c 1150s |      25 |  6575970 |  6446598 |      360  42508 |        1 |        0
1152.26/1152.65	c 1152s |      25 |  6587770 |  6458198 |      360  42570 |        1 |        0
1154.26/1154.66	c 1154s |      25 |  6599536 |  6469898 |      360  42633 |        1 |        0
1156.26/1156.66	c 1156s |      25 |  6611569 |  6481798 |      360  42697 |        1 |        0
1158.26/1158.67	c 1158s |      25 |  6623151 |  6493198 |      360  42758 |        1 |        0
1160.27/1160.67	c 1160s |      25 |  6634792 |  6504598 |      360  42819 |        1 |        0
1162.26/1162.68	c 1162s |      25 |  6646102 |  6515698 |      360  42878 |        1 |        0
1164.26/1164.69	c 1164s |      25 |  6656548 |  6525898 |      360  42930 |        1 |        0
1166.36/1166.70	c 1166s |      25 |  6667085 |  6536298 |      360  42984 |        1 |        0
1168.36/1168.70	c 1168s |      25 |  6678351 |  6547298 |      360  43041 |        1 |        0
1170.36/1170.72	c 1170s |      25 |  6689252 |  6557998 |      360  43097 |        1 |        0
1172.36/1172.73	c 1172s |      25 |  6700123 |  6568698 |      360  43153 |        1 |        0
1174.36/1174.73	c 1174s |      25 |  6710847 |  6579198 |      360  43207 |        1 |        0
1176.36/1176.74	c 1176s |      25 |  6722039 |  6590198 |      360  43265 |        1 |        0
1178.36/1178.75	c 1178s |      25 |  6733348 |  6601298 |      360  43323 |        1 |        0
1180.35/1180.75	c 1180s |      25 |  6744684 |  6612498 |      360  43382 |        1 |        0
1182.35/1182.75	c 1182s |      25 |  6755903 |  6623498 |      360  43441 |        1 |        0
1184.36/1184.75	c 1184s |      25 |  6766939 |  6634398 |      360  43497 |        1 |        0
1186.35/1186.76	c 1186s |      25 |  6777404 |  6644698 |      360  43550 |        1 |        0
1188.35/1188.78	c 1188s |      25 |  6788399 |  6655498 |      360  43606 |        1 |        0
1190.35/1190.79	c 1190s |      25 |  6798949 |  6665898 |      360  43660 |        1 |        0
1192.45/1192.80	c 1192s |      25 |  6809790 |  6676598 |      360  43716 |        1 |        0
1194.45/1194.81	c 1194s |      25 |  6820607 |  6687198 |      360  43772 |        1 |        0
1196.46/1196.82	c 1196s |      25 |  6831439 |  6697798 |      360  43828 |        1 |        0
1198.45/1198.83	c 1198s |      25 |  6842444 |  6708598 |      360  43885 |        1 |        0
1200.45/1200.84	c 1200s |      25 |  6853641 |  6719498 |      360  43943 |        1 |        0
1202.45/1202.85	c 1202s |      25 |  6864885 |  6730498 |      360  44002 |        1 |        0
1204.45/1204.86	c 1204s |      25 |  6875596 |  6740998 |      360  44057 |        1 |        0
1206.46/1206.86	c 1206s |      25 |  6886540 |  6751698 |      360  44113 |        1 |        0
1208.45/1208.87	c 1208s |      25 |  6897895 |  6762798 |      360  44171 |        1 |        0
1210.45/1210.88	c 1210s |      25 |  6909504 |  6774198 |      360  44232 |        1 |        0
1212.45/1212.89	c 1212s |      25 |  6920558 |  6785098 |      360  44289 |        1 |        0
1214.55/1214.91	c 1214s |      25 |  6931652 |  6796098 |      360  44347 |        1 |        0
1216.55/1216.92	c 1216s |      25 |  6942857 |  6807198 |      360  44405 |        1 |        0
1218.55/1218.92	c 1218s |      25 |  6954117 |  6818298 |      360  44464 |        1 |        0
1220.54/1220.93	c 1220s |      25 |  6965058 |  6829098 |      360  44521 |        1 |        0
1222.54/1222.95	c 1222s |      25 |  6976795 |  6840698 |      360  44582 |        1 |        0
1224.55/1224.96	c 1224s |      25 |  6987991 |  6851798 |      360  44640 |        1 |        0
1226.55/1226.97	c 1226s |      25 |  6999480 |  6863098 |      360  44700 |        1 |        0
1228.55/1228.98	c 1228s |      25 |  7010348 |  6873798 |      360  44756 |        1 |        0
1230.56/1230.98	c 1230s |      25 |  7021351 |  6884598 |      360  44813 |        1 |        0
1232.55/1232.99	c 1232s |      25 |  7032746 |  6895798 |      360  44873 |        1 |        0
1234.65/1235.00	c 1234s |      25 |  7043719 |  6906598 |      360  44930 |        1 |        0
1236.65/1237.01	c 1236s |      25 |  7054737 |  6917498 |      360  44988 |        1 |        0
1238.65/1239.01	c 1238s |      25 |  7065818 |  6928498 |      360  45046 |        1 |        0
1240.65/1241.02	c 1241s |      25 |  7076983 |  6939498 |      360  45104 |        1 |        0
1242.65/1243.03	c 1243s |      25 |  7088211 |  6950598 |      360  45162 |        1 |        0
1244.65/1245.03	c 1245s |      25 |  7099617 |  6961898 |      360  45223 |        1 |        0
1246.65/1247.04	c 1247s |      25 |  7111544 |  6973698 |      360  45286 |        1 |        0
1248.65/1249.05	c 1249s |      25 |  7123055 |  6985098 |      360  45347 |        1 |        0
1250.64/1251.06	c 1251s |      25 |  7134432 |  6996298 |      360  45406 |        1 |        0
1252.65/1253.06	c 1253s |      25 |  7145601 |  7007298 |      360  45464 |        1 |        0
1254.64/1255.07	c 1255s |      25 |  7157040 |  7018498 |      360  45524 |        1 |        0
1256.64/1257.07	c 1257s |      25 |  7168728 |  7029998 |      360  45586 |        1 |        0
1258.64/1259.08	c 1259s |      25 |  7180230 |  7041298 |      360  45646 |        1 |        0
1260.64/1261.09	c 1261s |      25 |  7191702 |  7052598 |      360  45706 |        1 |        0
1262.74/1263.11	c 1263s |      25 |  7203746 |  7064498 |      360  45770 |        1 |        0
1264.75/1265.11	c 1265s |      25 |  7215189 |  7075798 |      360  45831 |        1 |        0
1266.74/1267.12	c 1267s |      25 |  7226756 |  7087198 |      360  45892 |        1 |        0
1268.74/1269.13	c 1269s |      25 |  7238190 |  7098498 |      360  45953 |        1 |        0
1270.74/1271.14	c 1271s |      25 |  7249787 |  7109898 |      360  46014 |        1 |        0
1272.74/1273.14	c 1273s |      25 |  7261378 |  7121298 |      360  46073 |        1 |        0
1274.74/1275.16	c 1275s |      25 |  7272624 |  7132398 |      360  46130 |        1 |        0
1276.74/1277.16	c 1277s |      25 |  7284219 |  7143898 |      360  46189 |        1 |        0
1278.74/1279.18	c 1279s |      25 |  7295824 |  7155298 |      360  46249 |        1 |        0
1280.74/1281.19	c 1281s |      25 |  7307631 |  7166998 |      360  46309 |        1 |        0
1282.74/1283.19	c 1283s |      25 |  7319298 |  7178498 |      360  46369 |        1 |        0
1284.83/1285.21	c 1285s |      25 |  7330804 |  7189798 |      360  46427 |        1 |        0
1286.83/1287.22	c 1287s |      25 |  7342163 |  7200998 |      360  46485 |        1 |        0
1288.84/1289.22	c 1289s |      25 |  7353718 |  7212398 |      360  46543 |        1 |        0
1290.83/1291.23	c 1291s |      25 |  7365553 |  7224098 |      360  46604 |        1 |        0
1292.83/1293.23	c 1293s |      25 |  7377233 |  7235698 |      360  46665 |        1 |        0
1294.84/1295.24	c 1295s |      25 |  7389453 |  7247798 |      360  46727 |        1 |        0
1296.84/1297.25	c 1297s |      25 |  7401322 |  7259598 |      360  46788 |        1 |        0
1298.85/1299.26	c 1299s |      25 |  7412909 |  7271098 |      360  46848 |        1 |        0
1300.84/1301.26	c 1301s |      25 |  7424470 |  7282598 |      360  46908 |        1 |        0
1302.84/1303.27	c 1303s |      25 |  7435529 |  7293598 |      360  46965 |        1 |        0
1304.84/1305.28	c 1305s |      25 |  7446729 |  7304698 |      360  47022 |        1 |        0
1306.84/1307.28	c 1307s |      25 |  7457995 |  7315898 |      360  47081 |        1 |        0
1308.84/1309.29	c 1309s |      25 |  7469363 |  7327198 |      360  47140 |        1 |        0
1310.84/1311.30	c 1311s |      25 |  7480623 |  7338398 |      360  47199 |        1 |        0
1312.94/1313.30	c 1313s |      25 |  7491384 |  7349098 |      360  47254 |        1 |        0
1314.94/1315.31	c 1315s |      25 |  7502312 |  7359898 |      360  47310 |        1 |        0
1316.94/1317.33	c 1317s |      25 |  7513281 |  7370798 |      360  47367 |        1 |        0
1318.94/1319.33	c 1319s |      25 |  7524236 |  7381598 |      360  47423 |        1 |        0
1320.94/1321.35	c 1321s |      25 |  7535396 |  7392598 |      360  47481 |        1 |        0
1322.94/1323.35	c 1323s |      25 |  7546434 |  7403498 |      360  47538 |        1 |        0
1324.94/1325.36	c 1325s |      25 |  7557705 |  7414698 |      360  47598 |        1 |        0
1326.93/1327.38	c 1327s |      25 |  7568601 |  7425498 |      360  47654 |        1 |        0
1328.93/1329.38	c 1329s |      25 |  7579820 |  7436598 |      360  47711 |        1 |        0
1331.03/1331.40	c 1331s |      25 |  7591305 |  7447998 |      360  47771 |        1 |        0
1333.03/1333.41	c 1333s |      25 |  7602923 |  7459498 |      360  47831 |        1 |        0
1335.04/1335.42	c 1335s |      25 |  7613958 |  7470398 |      360  47888 |        1 |        0
1337.03/1337.43	c 1337s |      25 |  7625223 |  7481498 |      360  47946 |        1 |        0
1339.03/1339.44	c 1339s |      25 |  7636788 |  7492898 |      360  48006 |        1 |        0
1341.03/1341.44	c 1341s |      25 |  7647942 |  7503898 |      360  48063 |        1 |        0
1343.03/1343.46	c 1343s |      25 |  7659220 |  7515098 |      360  48121 |        1 |        0
1345.03/1345.47	c 1345s |      25 |  7670596 |  7526398 |      360  48181 |        1 |        0
1347.03/1347.47	c 1347s |      25 |  7682256 |  7537998 |      360  48242 |        1 |        0
1349.03/1349.47	c 1349s |      25 |  7693522 |  7549198 |      397  48298 |        1 |        0
1351.03/1351.49	c 1351s |      25 |  7704913 |  7560498 |      397  48352 |        1 |        0
1353.03/1353.49	c 1353s |      25 |  7716199 |  7571698 |      397  48405 |        1 |        0
1355.13/1355.50	c 1355s |      25 |  7728214 |  7583598 |      397  48462 |        1 |        0
1357.13/1357.51	c 1357s |      25 |  7740123 |  7595398 |      397  48518 |        1 |        0
1357.52/1357.91	c 1357s |      26 |  7742494 |  7597752 |      397  48530 |        1 |        0
1359.52/1359.93	c 1359s |      26 |  7753077 |  7608152 |      397  48579 |        1 |        0
1361.53/1361.94	c 1361s |      26 |  7764100 |  7618852 |      397  48629 |        1 |        0
1363.52/1363.95	c 1363s |      26 |  7775167 |  7629652 |      397  48681 |        1 |        0
1365.52/1365.96	c 1365s |      26 |  7786269 |  7640652 |      397  48733 |        1 |        0
1367.52/1367.98	c 1367s |      26 |  7797609 |  7651852 |      397  48787 |        1 |        0
1369.52/1369.99	c 1369s |      26 |  7808918 |  7662952 |      397  48840 |        1 |        0
1371.52/1371.99	c 1371s |      26 |  7820295 |  7674152 |      397  48894 |        1 |        0
1373.53/1373.99	c 1373s |      26 |  7831330 |  7685052 |      397  48946 |        1 |        0
1375.63/1376.00	c 1375s |      26 |  7842339 |  7695852 |      397  48997 |        1 |        0
1377.63/1378.00	c 1377s |      26 |  7853412 |  7706852 |      397  49050 |        1 |        0
1379.63/1380.01	c 1379s |      26 |  7864485 |  7717852 |      397  49102 |        1 |        0
1381.63/1382.01	c 1381s |      26 |  7875157 |  7728352 |      397  49152 |        1 |        0
1383.63/1384.02	c 1384s |      26 |  7886261 |  7739252 |      397  49204 |        1 |        0
1385.63/1386.03	c 1386s |      26 |  7897716 |  7750552 |      397  49258 |        1 |        0
1387.63/1388.04	c 1388s |      26 |  7908870 |  7761652 |      397  49311 |        1 |        0
1389.62/1390.05	c 1390s |      26 |  7920547 |  7773252 |      397  49366 |        1 |        0
1391.62/1392.06	c 1392s |      26 |  7931987 |  7784652 |      397  49420 |        1 |        0
1393.62/1394.08	c 1394s |      26 |  7943731 |  7796352 |      397  49475 |        1 |        0
1395.63/1396.10	c 1396s |      26 |  7955468 |  7807952 |      397  49530 |        1 |        0
1397.73/1398.10	c 1398s |      26 |  7967245 |  7819652 |      397  49586 |        1 |        0
1399.72/1400.12	c 1400s |      26 |  7978793 |  7831152 |      397  49641 |        1 |        0
1401.72/1402.13	c 1402s |      26 |  7989674 |  7841952 |      397  49692 |        1 |        0
1403.72/1404.15	c 1404s |      26 |  8000959 |  7853152 |      397  49746 |        1 |        0
1405.72/1406.16	c 1406s |      26 |  8011806 |  7863952 |      397  49798 |        1 |        0
1407.73/1408.17	c 1408s |      26 |  8022712 |  7874752 |      397  49850 |        1 |        0
1409.72/1410.19	c 1410s |      26 |  8033820 |  7885752 |      397  49903 |        1 |        0
1411.82/1412.21	c 1412s |      26 |  8044150 |  7895952 |      397  49951 |        1 |        0
1413.82/1414.22	c 1414s |      26 |  8055375 |  7907052 |      397  50004 |        1 |        0
1415.82/1416.24	c 1416s |      26 |  8066449 |  7917952 |      397  50057 |        1 |        0
1417.82/1418.25	c 1418s |      26 |  8077598 |  7928952 |      397  50109 |        1 |        0
1419.82/1420.26	c 1420s |      26 |  8088722 |  7939952 |      397  50162 |        1 |        0
1421.81/1422.26	c 1422s |      26 |  8099771 |  7950852 |      397  50215 |        1 |        0
1423.81/1424.26	c 1424s |      26 |  8110765 |  7961652 |      397  50266 |        1 |        0
1425.81/1426.27	c 1426s |      26 |  8122278 |  7973052 |      397  50320 |        1 |        0
1427.81/1428.28	c 1428s |      26 |  8133355 |  7984052 |      397  50372 |        1 |        0
1429.81/1430.28	c 1430s |      26 |  8144863 |  7995452 |      397  50426 |        1 |        0
1431.82/1432.29	c 1432s |      26 |  8156452 |  8006952 |      397  50480 |        1 |        0
1433.81/1434.29	c 1434s |      26 |  8167654 |  8018052 |      397  50533 |        1 |        0
1435.91/1436.30	c 1436s |      26 |  8178639 |  8028952 |      397  50585 |        1 |        0
1437.91/1438.31	c 1438s |      26 |  8189753 |  8039952 |      397  50638 |        1 |        0
1439.91/1440.33	c 1440s |      26 |  8200638 |  8050752 |      397  50689 |        1 |        0
1441.92/1442.34	c 1442s |      26 |  8212369 |  8062352 |      397  50745 |        1 |        0
1443.93/1444.36	c 1444s |      26 |  8223872 |  8073752 |      397  50798 |        1 |        0
1445.92/1446.38	c 1446s |      26 |  8234951 |  8084652 |      397  50849 |        1 |        0
1447.92/1448.38	c 1448s |      26 |  8245765 |  8095352 |      397  50900 |        1 |        0
1449.92/1450.38	c 1450s |      26 |  8256560 |  8105952 |      397  50951 |        1 |        0
1451.92/1452.38	c 1452s |      26 |  8267136 |  8116452 |      397  51000 |        1 |        0
1453.92/1454.39	c 1454s |      26 |  8278039 |  8127152 |      397  51051 |        1 |        0
1456.02/1456.41	c 1456s |      26 |  8289096 |  8137852 |      397  51101 |        1 |        0
1458.01/1458.41	c 1458s |      26 |  8300059 |  8148652 |      397  51153 |        1 |        0
1460.01/1460.42	c 1460s |      26 |  8311442 |  8159952 |      397  51207 |        1 |        0
1462.01/1462.43	c 1462s |      26 |  8322144 |  8170452 |      397  51257 |        1 |        0
1464.01/1464.43	c 1464s |      26 |  8333019 |  8181152 |      397  51308 |        1 |        0
1466.02/1466.44	c 1466s |      26 |  8343934 |  8191852 |      397  51359 |        1 |        0
1468.01/1468.45	c 1468s |      26 |  8354924 |  8202652 |      397  51410 |        1 |        0
1470.01/1470.46	c 1470s |      26 |  8366131 |  8213552 |      397  51463 |        1 |        0
1472.01/1472.47	c 1472s |      26 |  8376964 |  8224052 |      397  51513 |        1 |        0
1474.01/1474.48	c 1474s |      26 |  8388110 |  8234852 |      397  51564 |        1 |        0
1476.01/1476.49	c 1476s |      26 |  8399525 |  8245952 |      397  51617 |        1 |        0
1478.02/1478.50	c 1478s |      26 |  8411186 |  8257452 |      397  51673 |        1 |        0
1480.11/1480.52	c 1480s |      26 |  8421936 |  8268052 |      397  51724 |        1 |        0
1482.11/1482.52	c 1482s |      26 |  8432811 |  8278752 |      397  51774 |        1 |        0
1484.11/1484.53	c 1484s |      26 |  8443809 |  8289552 |      397  51826 |        1 |        0
1486.11/1486.53	c 1486s |      26 |  8455696 |  8301052 |      397  51882 |        1 |        0
1488.11/1488.55	c 1488s |      26 |  8467249 |  8312352 |      397  51935 |        1 |        0
1490.12/1490.55	c 1490s |      26 |  8478557 |  8323452 |      397  51988 |        1 |        0
1492.11/1492.55	c 1492s |      26 |  8490271 |  8334752 |      397  52042 |        1 |        0
1494.11/1494.57	c 1494s |      26 |  8501869 |  8346152 |      397  52097 |        1 |        0
1496.11/1496.58	c 1496s |      26 |  8513465 |  8357552 |      397  52151 |        1 |        0
1498.11/1498.59	c 1498s |      26 |  8525260 |  8369152 |      397  52207 |        1 |        0
1500.21/1500.60	c 1500s |      26 |  8537012 |  8380752 |      397  52263 |        1 |        0
1502.21/1502.61	c 1502s |      26 |  8548785 |  8392352 |      397  52318 |        1 |        0
1504.21/1504.62	c 1504s |      26 |  8560063 |  8403452 |      397  52371 |        1 |        0
1506.21/1506.62	c 1506s |      26 |  8570870 |  8414152 |      397  52422 |        1 |        0
1508.20/1508.64	c 1508s |      26 |  8581576 |  8424652 |      397  52473 |        1 |        0
1510.20/1510.64	c 1510s |      26 |  8592722 |  8435552 |      397  52525 |        1 |        0
1512.21/1512.65	c 1512s |      26 |  8603583 |  8446052 |      397  52576 |        1 |        0
1514.20/1514.67	c 1514s |      26 |  8614649 |  8456852 |      397  52628 |        1 |        0
1516.20/1516.68	c 1516s |      26 |  8625399 |  8467452 |      397  52678 |        1 |        0
1518.20/1518.69	c 1518s |      26 |  8636466 |  8478352 |      397  52730 |        1 |        0
1520.20/1520.69	c 1520s |      26 |  8647371 |  8489052 |      397  52781 |        1 |        0
1522.30/1522.71	c 1522s |      26 |  8658555 |  8500052 |      397  52834 |        1 |        0
1524.31/1524.72	c 1524s |      26 |  8669614 |  8510852 |      397  52886 |        1 |        0
1526.30/1526.73	c 1526s |      26 |  8680768 |  8521752 |      397  52939 |        1 |        0
1528.30/1528.75	c 1528s |      26 |  8691890 |  8532652 |      397  52991 |        1 |        0
1530.30/1530.76	c 1530s |      26 |  8702755 |  8543352 |      397  53042 |        1 |        0
1532.30/1532.76	c 1532s |      26 |  8713729 |  8554152 |      397  53094 |        1 |        0
1534.30/1534.77	c 1534s |      26 |  8725018 |  8565352 |      397  53148 |        1 |        0
1536.30/1536.77	c 1536s |      26 |  8735872 |  8576052 |      397  53200 |        1 |        0
1538.30/1538.78	c 1538s |      26 |  8746835 |  8586952 |      397  53252 |        1 |        0
1540.30/1540.78	c 1540s |      26 |  8757848 |  8597852 |      397  53305 |        1 |        0
1542.29/1542.79	c 1542s |      26 |  8769061 |  8608952 |      397  53358 |        1 |        0
1544.39/1544.80	c 1544s |      26 |  8780170 |  8619952 |      397  53411 |        1 |        0
1546.39/1546.80	c 1546s |      26 |  8791310 |  8630952 |      397  53464 |        1 |        0
1548.40/1548.81	c 1548s |      26 |  8802745 |  8642252 |      397  53519 |        1 |        0
1550.39/1550.82	c 1550s |      26 |  8814487 |  8653852 |      397  53575 |        1 |        0
1552.39/1552.83	c 1552s |      26 |  8826328 |  8665552 |      397  53633 |        1 |        0
1554.40/1554.83	c 1554s |      26 |  8837670 |  8676852 |      397  53686 |        1 |        0
1556.40/1556.84	c 1556s |      26 |  8849026 |  8688152 |      397  53740 |        1 |        0
1558.41/1558.85	c 1558s |      26 |  8860565 |  8699652 |      397  53795 |        1 |        0
1560.40/1560.86	c 1560s |      26 |  8872031 |  8711052 |      397  53850 |        1 |        0
1562.40/1562.86	c 1562s |      26 |  8883809 |  8722652 |      397  53905 |        1 |        0
1564.40/1564.87	c 1564s |      26 |  8895402 |  8734152 |      397  53960 |        1 |        0
1566.40/1566.88	c 1566s |      26 |  8906657 |  8745352 |      397  54014 |        1 |        0
1568.50/1568.90	c 1568s |      26 |  8917621 |  8756252 |      397  54066 |        1 |        0
1570.50/1570.90	c 1570s |      26 |  8928427 |  8766952 |      397  54117 |        1 |        0
1572.50/1572.91	c 1572s |      26 |  8939673 |  8778152 |      397  54171 |        1 |        0
1574.50/1574.93	c 1574s |      26 |  8950620 |  8788952 |      397  54223 |        1 |        0
1576.50/1576.94	c 1576s |      26 |  8961867 |  8800052 |      397  54275 |        1 |        0
1578.50/1578.95	c 1578s |      26 |  8973027 |  8811052 |      397  54328 |        1 |        0
1580.49/1580.96	c 1580s |      26 |  8984378 |  8822252 |      397  54382 |        1 |        0
1582.50/1582.97	c 1582s |      26 |  8995783 |  8833552 |      397  54437 |        1 |        0
1584.49/1584.97	c 1584s |      26 |  9007016 |  8844552 |      397  54489 |        1 |        0
1586.49/1586.97	c 1586s |      26 |  9018245 |  8855552 |      397  54542 |        1 |        0
1588.49/1588.98	c 1588s |      26 |  9029712 |  8866752 |      397  54596 |        1 |        0
1590.49/1590.98	c 1590s |      26 |  9041065 |  8877852 |      397  54649 |        1 |        0
1592.50/1592.98	c 1592s |      26 |  9052162 |  8888852 |      397  54702 |        1 |        0
1594.49/1594.99	c 1594s |      26 |  9063888 |  8900452 |      397  54758 |        1 |        0
1596.59/1597.00	c 1596s |      26 |  9075320 |  8911752 |      397  54812 |        1 |        0
1598.59/1599.01	c 1598s |      26 |  9086678 |  8923052 |      397  54867 |        1 |        0
1600.59/1601.01	c 1600s |      26 |  9098049 |  8934352 |      397  54921 |        1 |        0
1602.59/1603.02	c 1603s |      26 |  9109660 |  8945852 |      397  54976 |        1 |        0
1604.60/1605.03	c 1605s |      26 |  9121181 |  8957152 |      397  55031 |        1 |        0
1606.59/1607.04	c 1607s |      26 |  9132858 |  8968652 |      397  55087 |        1 |        0
1608.59/1609.06	c 1609s |      26 |  9144636 |  8980352 |      397  55144 |        1 |        0
1610.59/1611.06	c 1611s |      26 |  9156546 |  8992152 |      397  55202 |        1 |        0
1612.59/1613.06	c 1613s |      26 |  9167936 |  9003452 |      397  55256 |        1 |        0
1614.59/1615.07	c 1615s |      26 |  9179135 |  9014552 |      397  55309 |        1 |        0
1616.59/1617.08	c 1617s |      26 |  9190513 |  9025852 |      397  55364 |        1 |        0
1618.59/1619.08	c 1619s |      26 |  9202002 |  9037252 |      397  55418 |        1 |        0
1620.58/1621.09	c 1621s |      26 |  9213161 |  9048252 |      397  55471 |        1 |        0
1622.68/1623.10	c 1623s |      26 |  9224652 |  9059552 |      397  55526 |        1 |        0
1624.68/1625.11	c 1625s |      26 |  9235605 |  9070352 |      397  55578 |        1 |        0
1626.68/1627.12	c 1627s |      26 |  9246572 |  9081252 |      397  55631 |        1 |        0
1628.69/1629.13	c 1629s |      26 |  9257306 |  9091852 |      397  55682 |        1 |        0
1630.68/1631.15	c 1631s |      26 |  9268222 |  9102552 |      397  55734 |        1 |        0
1632.68/1633.16	c 1633s |      26 |  9279091 |  9113252 |      397  55786 |        1 |        0
1634.69/1635.17	c 1635s |      26 |  9290232 |  9124252 |      397  55839 |        1 |        0
1636.69/1637.17	c 1637s |      26 |  9301382 |  9135252 |      397  55892 |        1 |        0
1638.69/1639.17	c 1639s |      26 |  9312210 |  9145852 |      397  55944 |        1 |        0
1640.69/1641.18	c 1641s |      26 |  9322986 |  9156352 |      397  55995 |        1 |        0
1642.69/1643.19	c 1643s |      26 |  9334173 |  9167352 |      397  56048 |        1 |        0
1644.79/1645.21	c 1645s |      26 |  9345770 |  9178852 |      397  56104 |        1 |        0
1646.79/1647.22	c 1647s |      26 |  9357361 |  9190352 |      397  56160 |        1 |        0
1648.79/1649.22	c 1649s |      26 |  9369118 |  9202052 |      397  56216 |        1 |        0
1650.79/1651.22	c 1651s |      26 |  9380815 |  9213652 |      397  56273 |        1 |        0
1652.79/1653.24	c 1653s |      26 |  9392459 |  9225252 |      397  56329 |        1 |        0
1654.79/1655.25	c 1655s |      26 |  9404565 |  9237252 |      397  56387 |        1 |        0
1656.79/1657.25	c 1657s |      26 |  9416038 |  9248652 |      397  56443 |        1 |        0
1658.78/1659.25	c 1659s |      26 |  9427796 |  9260152 |      397  56498 |        1 |        0
1660.78/1661.26	c 1661s |      26 |  9439248 |  9271352 |      397  56553 |        1 |        0
1662.79/1663.26	c 1663s |      26 |  9451054 |  9282952 |      397  56610 |        1 |        0
1664.78/1665.28	c 1665s |      26 |  9463104 |  9294752 |      397  56667 |        1 |        0
1666.78/1667.28	c 1667s |      26 |  9475108 |  9306552 |      397  56724 |        1 |        0
1668.88/1669.30	c 1669s |      26 |  9486980 |  9318252 |      397  56781 |        1 |        0
1670.88/1671.30	c 1671s |      26 |  9498765 |  9329852 |      397  56837 |        1 |        0
1672.88/1673.32	c 1673s |      26 |  9510657 |  9341552 |      397  56894 |        1 |        0
1674.89/1675.33	c 1675s |      26 |  9522211 |  9353052 |      397  56950 |        1 |        0
1676.88/1677.34	c 1677s |      26 |  9533683 |  9364452 |      397  57005 |        1 |        0
1678.88/1679.35	c 1679s |      26 |  9545201 |  9375852 |      397  57061 |        1 |        0
1680.88/1681.37	c 1681s |      26 |  9556595 |  9387152 |      397  57116 |        1 |        0
1682.88/1683.38	c 1683s |      26 |  9568490 |  9398952 |      397  57173 |        1 |        0
1684.88/1685.39	c 1685s |      26 |  9579993 |  9410252 |      397  57228 |        1 |        0
1686.98/1687.40	c 1687s |      26 |  9591639 |  9421752 |      397  57285 |        1 |        0
1688.97/1689.42	c 1689s |      26 |  9603306 |  9433352 |      397  57341 |        1 |        0
1690.97/1691.43	c 1691s |      26 |  9615108 |  9445052 |      397  57399 |        1 |        0
1692.97/1693.44	c 1693s |      26 |  9625982 |  9455852 |      397  57451 |        1 |        0
1694.97/1695.45	c 1695s |      26 |  9636970 |  9466752 |      397  57503 |        1 |        0
1696.98/1697.45	c 1697s |      26 |  9647897 |  9477652 |      397  57555 |        1 |        0
1698.97/1699.47	c 1699s |      26 |  9659053 |  9488752 |      397  57608 |        1 |        0
1700.97/1701.47	c 1701s |      26 |  9670713 |  9500352 |      397  57664 |        1 |        0
1702.97/1703.48	c 1703s |      26 |  9681570 |  9511152 |      397  57716 |        1 |        0
1704.97/1705.49	c 1705s |      26 |  9693053 |  9522552 |      397  57770 |        1 |        0
1706.97/1707.49	c 1707s |      26 |  9703753 |  9533152 |      397  57821 |        1 |        0
1709.08/1709.51	c 1709s |      26 |  9714805 |  9544152 |      397  57874 |        1 |        0
1711.07/1711.51	c 1711s |      26 |  9726096 |  9555352 |      397  57928 |        1 |        0
1713.08/1713.53	c 1713s |      26 |  9737671 |  9566852 |      397  57984 |        1 |        0
1715.08/1715.53	c 1715s |      26 |  9748633 |  9577752 |      397  58036 |        1 |        0
1717.08/1717.55	c 1717s |      26 |  9760016 |  9589052 |      397  58091 |        1 |        0
1719.08/1719.56	c 1719s |      26 |  9771614 |  9600552 |      397  58147 |        1 |        0
1721.08/1721.56	c 1721s |      26 |  9782943 |  9611752 |      397  58201 |        1 |        0
1723.08/1723.58	c 1723s |      26 |  9794562 |  9623252 |      397  58258 |        1 |        0
1725.07/1725.59	c 1725s |      26 |  9806018 |  9634652 |      397  58313 |        1 |        0
1727.17/1727.60	c 1727s |      26 |  9817391 |  9645952 |      397  58367 |        1 |        0
1729.17/1729.61	c 1729s |      26 |  9828788 |  9657252 |      397  58423 |        1 |        0
1731.17/1731.62	c 1731s |      26 |  9840396 |  9668752 |      397  58479 |        1 |        0
1733.18/1733.63	c 1733s |      26 |  9851878 |  9680152 |      397  58534 |        1 |        0
1735.17/1735.64	c 1735s |      26 |  9863453 |  9691652 |      397  58591 |        1 |        0
1737.17/1737.65	c 1737s |      26 |  9873822 |  9701852 |      397  58639 |        1 |        0
1739.17/1739.67	c 1739s |      26 |  9884192 |  9712052 |      397  58688 |        1 |        0
1741.17/1741.68	c 1741s |      26 |  9894847 |  9722552 |      397  58737 |        1 |        0
1743.18/1743.69	c 1743s |      26 |  9905474 |  9732952 |      397  58786 |        1 |        0
1745.28/1745.71	c 1745s |      26 |  9916323 |  9743652 |      397  58838 |        1 |        0
1747.27/1747.73	c 1747s |      26 |  9926776 |  9753952 |      397  58886 |        1 |        0
1749.27/1749.74	c 1749s |      26 |  9937635 |  9764652 |      397  58937 |        1 |        0
1751.27/1751.75	c 1751s |      26 |  9948781 |  9775552 |      397  58988 |        1 |        0
1753.27/1753.77	c 1753s |      26 |  9959216 |  9785752 |      397  59036 |        1 |        0
1755.27/1755.77	c 1755s |      26 |  9970514 |  9796752 |      397  59088 |        1 |        0
1757.26/1757.78	c 1757s |      26 |  9981010 |  9807152 |      397  59137 |        1 |        0
1759.26/1759.79	c 1759s |      26 |  9991915 |  9817852 |      397  59188 |        1 |        0
1761.36/1761.80	c 1761s |      26 | 10002977 |  9828752 |      397  59240 |        1 |        0
1763.36/1763.82	c 1763s |      26 | 10013848 |  9839452 |      397  59291 |        1 |        0
1765.36/1765.83	c 1765s |      26 | 10024923 |  9850352 |      397  59343 |        1 |        0
1767.37/1767.84	c 1767s |      26 | 10036138 |  9861352 |      397  59396 |        1 |        0
1769.36/1769.85	c 1769s |      26 | 10047510 |  9872552 |      397  59450 |        1 |        0
1771.37/1771.85	c 1771s |      26 | 10058664 |  9883552 |      397  59502 |        1 |        0
1773.37/1773.85	c 1773s |      26 | 10069811 |  9894452 |      397  59555 |        1 |        0
1775.37/1775.86	c 1775s |      26 | 10081252 |  9905652 |      397  59608 |        1 |        0
1777.37/1777.87	c 1777s |      26 | 10092623 |  9916852 |      397  59662 |        1 |        0
1779.37/1779.87	c 1779s |      26 | 10103990 |  9928052 |      397  59716 |        1 |        0
1781.37/1781.88	c 1781s |      26 | 10115019 |  9938852 |      397  59768 |        1 |        0
1783.36/1783.89	c 1783s |      26 | 10125737 |  9949352 |      397  59817 |        1 |        0
1785.46/1785.91	c 1785s |      26 | 10136981 |  9960352 |      397  59870 |        1 |        0
1787.46/1787.92	c 1787s |      26 | 10147342 |  9970452 |      397  59918 |        1 |        0
1789.46/1789.92	c 1789s |      26 | 10158108 |  9980952 |      397  59969 |        1 |        0
1791.47/1791.93	c 1791s |      26 | 10168407 |  9991052 |      397  60016 |        1 |        0
1793.46/1793.93	c 1793s |      26 | 10178728 | 10001152 |      397  60064 |        1 |        0
1795.46/1795.94	c 1795s |      26 | 10189515 | 10011652 |      397  60114 |        1 |        0
1797.46/1797.94	c 1797s |      26 | 10200551 | 10022452 |      397  60165 |        1 |        0
1799.46/1799.94	c 1799s |      26 | 10211178 | 10032852 |      397  60214 |        1 |        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-4079741-1465244135/watcher-4079741-1465244135 -o /tmp/evaluation-result-4079741-1465244135/solver-4079741-1465244135 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32471 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079741-1465244135.opb 

pid=2544
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.40 2.24 2.19 3/179 2547
/proc/meminfo: memFree=29232488/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=690620 CPUtime=0 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 2571 0 0 0 0 0 0 0 20 0 4 0 106347109 707194880 2932 33554432000 4194304 16246674 140734078894624 140734078894048 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 173423 2941 441 2943 0 170317 0
[pid=2547/tid=2548] ppid=2544 vsize=735676 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 753332224 3109 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=740796 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 758575104 3127 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=744892 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 762769408 3143 33554432000 4194304 16246674 140734078894624 140709906607280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.40 2.24 2.19 3/179 2547
/proc/meminfo: memFree=29232488/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 19655 0 0 0 7 2 0 0 20 0 4 0 106347109 1247350784 20003 33554432000 4194304 16246674 140734078894624 140734078894048 5711820 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 304529 20011 752 2943 0 301423 0
[pid=2547/tid=2548] ppid=2544 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1247350784 20015 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1247350784 20018 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1247350784 20024 33554432000 4194304 16246674 140734078894624 140709906607280 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.200503 s]
/proc/loadavg: 2.40 2.24 2.19 3/179 2547
/proc/meminfo: memFree=29232488/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 35636 0 0 0 15 4 0 0 20 0 4 0 106347109 1247350784 35985 33554432000 4194304 16246674 140734078894624 140734078894048 13192029 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 304529 35992 752 2943 0 301423 0
[pid=2547/tid=2548] ppid=2544 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1247350784 35995 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1247350784 35999 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1247350784 36002 33554432000 4194304 16246674 140734078894624 140709906607280 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.30049 s]
/proc/loadavg: 2.40 2.24 2.19 3/179 2547
/proc/meminfo: memFree=29232488/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 52013 0 0 0 23 6 0 0 20 0 4 0 106347109 1247350784 52361 33554432000 4194304 16246674 140734078894624 140734078894048 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 304529 52374 752 2943 0 301423 0
[pid=2547/tid=2548] ppid=2544 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1247350784 52379 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1247350784 52384 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1247350784 52391 33554432000 4194304 16246674 140734078894624 140709906607280 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.700386 s]
/proc/loadavg: 2.40 2.24 2.19 3/179 2547
/proc/meminfo: memFree=29232488/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 117527 0 0 0 53 16 0 0 20 0 4 0 106347109 1247350784 117875 33554432000 4194304 16246674 140734078894624 140734078876544 13195385 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 304529 117884 753 2943 0 301423 0
[pid=2547/tid=2548] ppid=2544 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1247350784 117888 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1247350784 117890 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1247350784 117892 33554432000 4194304 16246674 140734078894624 140709906607280 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.40 2.24 2.19 3/183 2551
/proc/meminfo: memFree=28499520/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 245582 0 0 0 116 33 0 0 20 0 4 0 106347109 1248399360 245907 33554432000 4194304 16246674 140734078894624 140734078893936 5712555 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 304785 245907 824 2943 0 301679 0
[pid=2547/tid=2548] ppid=2544 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1248399360 245907 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1248399360 245907 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1248399360 245907 33554432000 4194304 16246674 140734078894624 140709906607280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10042 s]
/proc/loadavg: 2.37 2.24 2.19 3/183 2551
/proc/meminfo: memFree=28249536/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 267370 0 0 0 273 35 0 0 20 0 4 0 106347109 1337528320 267695 33554432000 4194304 16246674 140734078894624 140734078876544 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 326545 267695 826 2943 0 323439 0
[pid=2547/tid=2548] ppid=2544 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1337528320 267695 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1337528320 267695 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1337528320 267695 33554432000 4194304 16246674 140734078894624 140709906607280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.37 2.24 2.19 4/183 2551
/proc/meminfo: memFree=28162032/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 267462 0 0 0 593 35 0 0 20 0 4 0 106347109 1337528320 267787 33554432000 4194304 16246674 140734078894624 140734078876544 6012116 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 326545 267787 826 2943 0 323439 0
[pid=2547/tid=2548] ppid=2544 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1337528320 267787 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1337528320 267787 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1337528320 267787 33554432000 4194304 16246674 140734078894624 140709906607280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.31 2.23 2.19 3/183 2551
/proc/meminfo: memFree=28162036/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 267472 0 0 0 1233 35 0 0 20 0 4 0 106347109 1337528320 267797 33554432000 4194304 16246674 140734078894624 140734078876544 13780585 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 326545 267797 826 2943 0 323439 0
[pid=2547/tid=2548] ppid=2544 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1337528320 267797 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1337528320 267797 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1337528320 267797 33554432000 4194304 16246674 140734078894624 140709906607280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.26 2.22 2.19 4/183 2551
/proc/meminfo: memFree=28162980/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 267481 0 0 0 2513 36 0 0 20 0 4 0 106347109 1337528320 267806 33554432000 4194304 16246674 140734078894624 140734078877624 13192076 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 326545 267806 827 2943 0 323439 0
[pid=2547/tid=2548] ppid=2544 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1337528320 267806 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1337528320 267806 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1337528320 267806 33554432000 4194304 16246674 140734078894624 140709906607280 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) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.30 2.24 2.19 3/183 2551
/proc/meminfo: memFree=28162808/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 267517 0 0 0 5072 36 0 0 20 0 4 0 106347109 1337528320 267842 33554432000 4194304 16246674 140734078894624 140734078876544 6011726 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 326545 267842 827 2943 0 323439 0
[pid=2547/tid=2548] ppid=2544 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1337528320 267842 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1337528320 267842 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1337528320 267842 33554432000 4194304 16246674 140734078894624 140709906607280 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) 1306180

[startup+102.301 s]
/proc/loadavg: 2.29 2.24 2.19 3/183 2552
/proc/meminfo: memFree=28162100/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 267529 0 0 0 10191 37 0 0 20 0 4 0 106347109 1337528320 267854 33554432000 4194304 16246674 140734078894624 140734078876544 12477716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 326545 267854 827 2943 0 323439 0
[pid=2547/tid=2548] ppid=2544 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1337528320 267854 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1337528320 267854 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1337528320 267854 33554432000 4194304 16246674 140734078894624 140709906607280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268327 33554432000 4194304 16246674 140734078894624 140709906607280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.25 2.26 2.25 3/183 2631
/proc/meminfo: memFree=28209248/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1307204 CPUtime=1361.92 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 268046 0 0 0 136135 57 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140734078877624 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 326801 268356 829 2943 0 323695 0
[pid=2547/tid=2548] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140709906607280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.41 2.28 2.26 3/183 2633
/proc/meminfo: memFree=28209032/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1307204 CPUtime=1421.92 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 268046 0 0 0 142134 58 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140734078877624 5712148 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 326801 268356 829 2943 0 323695 0
[pid=2547/tid=2548] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140709906607280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.48 2.33 2.27 3/184 2637
/proc/meminfo: memFree=28207908/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1307204 CPUtime=1481.91 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 268046 0 0 0 148132 59 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140734078876544 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 326801 268356 829 2943 0 323695 0
[pid=2547/tid=2548] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140709906607280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.35 2.32 2.27 3/183 2638
/proc/meminfo: memFree=28208736/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1307204 CPUtime=1541.9 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 268046 0 0 0 154131 59 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140734078877624 5808384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 326801 268356 829 2943 0 323695 0
[pid=2547/tid=2548] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140709906607280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.18 2.28 2.26 3/183 2639
/proc/meminfo: memFree=28209148/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1307204 CPUtime=1601.89 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 268046 0 0 0 160129 60 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140734078876544 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 326801 268356 829 2943 0 323695 0
[pid=2547/tid=2548] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140709906607280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.27 2.28 2.26 3/183 2640
/proc/meminfo: memFree=28208896/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1307204 CPUtime=1661.88 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 268046 0 0 0 166127 61 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140734078877624 12483376 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 326801 268356 829 2943 0 323695 0
[pid=2547/tid=2548] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140709906607280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.36 2.31 2.27 3/183 2642
/proc/meminfo: memFree=28208776/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1307204 CPUtime=1721.88 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 268046 0 0 0 172126 62 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140734078876544 13780568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 326801 268356 829 2943 0 323695 0
[pid=2547/tid=2548] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140709906607280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.16 2.26 2.26 3/183 2643
/proc/meminfo: memFree=28208896/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1307204 CPUtime=1781.87 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 268046 0 0 0 178124 63 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140734078876544 5553664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 326801 268356 829 2943 0 323695 0
[pid=2547/tid=2548] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140709906607280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.19 2.26 2.26 3/183 2644
/proc/meminfo: memFree=28208780/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1307204 CPUtime=1800.06 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 268046 0 0 0 179943 63 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140734078876544 5808152 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 326801 268356 829 2943 0 323695 0
[pid=2547/tid=2548] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140709906607280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1307204

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2547 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.19 2.26 2.26 3/183 2644
/proc/meminfo: memFree=28208780/32872528 swapFree=16080/1655368
[pid=2547] ppid=2544 vsize=1307204 CPUtime=1800.06 cores=1,3,5,7
/proc/2547/stat : 2547 (toysat) R 2544 2547 32454 0 -1 4202496 268046 0 0 0 179943 63 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140734078876544 5808152 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2547/statm: 326801 268356 829 2943 0 323695 0
[pid=2547/tid=2548] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2548/stat : 2548 (toysat) S 2544 2547 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140710035565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2547/tid=2549] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2549/stat : 2549 (toysat) S 2544 2547 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140710025075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2547/tid=2550] ppid=2544 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2547/task/2550/stat : 2550 (toysat) S 2544 2547 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106347109 1338576896 268356 33554432000 4194304 16246674 140734078894624 140709906607280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.44
CPU system time (s): 0.633903
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.633903
maximum resident set size= 1073424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268046
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= 287
involuntary context switches= 2128

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5893 second user time and 6.94094 second system time

The end

Begin job on node122 at 2016-06-06 22:15:35
IDJOB=4079741
IDBENCH=2898
IDSOLVER=2542
FILE ID=node122/4079741-1465244135
RUNJOBID= node122-1465218907-32471
PBS_JOBID= 19843205
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079741-1465244135/watcher-4079741-1465244135 -o /tmp/evaluation-result-4079741-1465244135/solver-4079741-1465244135 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32471 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079741-1465244135.opb

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

MD5SUM BENCH= ccdf85c0efcf9b688264aa74ef25462f
RANDOM SEED=361219866

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29233124 kB
Buffers:           48492 kB
Cached:           106592 kB
SwapCached:          860 kB
Active:          1205108 kB
Inactive:          74492 kB
Active(anon):    1125300 kB
Inactive(anon):     1584 kB
Active(file):      79808 kB
Inactive(file):    72908 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099464 kB
Dirty:             16360 kB
Writeback:             0 kB
AnonPages:       2783720 kB
Mapped:            10800 kB
Shmem:                 0 kB
Slab:             568508 kB
SReclaimable:      12556 kB
SUnreclaim:       555952 kB
KernelStack:        1472 kB
PageTables:         9676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2922824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2084864 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= 71712 MiB
End job on node122 at 2016-06-06 22:45:36