0.00/0.00	c 2016-06-16T02:32:49+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-4090030-1466037169.opb"]
0.00/0.01	c use --random-gen="3478237336 299081148 3851900400 1238545973 3810015459 1516259941 102883506 2259728949 3654735604 1637358864 1404819367 1260743061 3122873256 4168301054 1070093276 1173473733 1297501799 3301717186 4104650457 57812054 1073628039 590360470 1713553200 167995414 486641992 1132121161 2572882617 114402549 2250267906 2149578919 2646699790 431595816 734962665 3325417561 369725956 264485622 1272149682 1775026332 1211612139 1287557442 941701609 1070442568 664001365 4081955480 793303753 2954393708 768427544 2520493003 405139978 1606812557 3634654514 4099004315 3861153582 3944277334 1077521968 4240279107 1099084641 2683658473 3418103930 747323652 4140057436 3625714343 873962379 4116412459 1201271054 3297907182 2146414187 988031974 1557180203 2621680040 3017711268 782726030 544944426 2023034930 3483326355 785850092 3960890936 1926894074 3276314923 1417083218 1804646898 66077451 2819961853 3380529373 333610671 2405186547 4229889831 1271506954 1410361972 174831674 2876226586 1113158211 4064524117 1387725191 548337369 4242627934 1265965438 3818732292 3288083582 659326637 1032777049 1192666034 3590086934 2336242414 979932257 1267918811 2341410474 4006997011 68804663 1957305190 1718258364 7473158 2848938485 303289881 3121244233 807458935 1674674251 1790189705 3713102264 1439850083 4166902034 4200939689 3545761626 435839788 1855070575 2367877378 1215713864 1002425848 2232605822 294748111 706087529 2246690655 1765603319 2383945379 201522173 470757859 1857630997 1508531878 3757125738 799460622 1102918462 3573766772 2305715281 3797990266 3301174453 3939249186 4011255591 3898214711 611636119 204535681 2553799077 2253391637 1041109431 4044774886 216987586 2200216744 1097872897 4260764222 1037819023 1223498396 1832589611 3136507473 3215939270 3533740363 45181030 1626255505 972553887 3159074172 1189577888 3383012353 2188233713 178149053 1805254680 3318477956 3563294436 3550590196 4238105432 1530555709 138300655 246350208 3115372349 2479988581 3828218494 2372508714 2883940550 1620933957 2502869208 357760202 3298506607 1272188977 1608199191 946074402 1370214578 3350689366 73802236 2905817082 1880977815 980287198 3615510230 3357573826 761753802 941859129 1228061064 1956582095 31605549 2454908676 1788329007 2351816825 844044683 3970173802 630319687 1849539028 1975773063 2375435942 1031671631 103460306 3694531186 689493641 68292772 2874747176 2314144196 873112651 222434116 3752488758 3527887736 1015691567 2925551240 673647654 3671465344 2921828406 1435880309 669386820 1974764373 3401928588 2692236337 1803217494 4271687854 722175457 1417064754 2007212432 231859676 3502094691 377373863 145621861 4096849492 993899767 593212335 2840363908 1297024462 3153020808 4124852365 2339399015 4266708705 3400809594 1681915942 109726279 255 362436" option to reproduce the execution
0.00/0.01	c #vars 303
0.00/0.01	c #constraints 101
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      168      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      154 |      100 |      168      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      446 |      250 |      185      0 |        0 |        0
0.09/0.12	c  0.1s |       3 |      924 |      475 |      204      1 |        0 |        0
0.18/0.21	c  0.2s |       4 |     1416 |      813 |      225      3 |        0 |        0
0.28/0.35	c  0.3s |       5 |     2062 |     1320 |      248      5 |        0 |        0
0.49/0.58	c  0.6s |       6 |     3054 |     2081 |      301      8 |        0 |        0
0.79/0.89	c  0.9s |       7 |     4421 |     3223 |      332     12 |        0 |        0
1.20/1.24	c  1.2s |       8 |     6450 |     4936 |      366     19 |        0 |        0
1.79/1.85	c  1.8s |       9 |     9339 |     7506 |      403     27 |        0 |        0
2.59/2.66	c  2.6s |      10 |    13766 |    11361 |      444     39 |        0 |        0
3.89/3.91	c  3.9s |      11 |    20202 |    17144 |      489     56 |        0 |        0
5.89/5.94	c  5.9s |      11 |    29266 |    25344 |      489     79 |        0 |        0
5.99/6.08	c  6.1s |      12 |    29778 |    25819 |      538     81 |        0 |        0
7.99/8.09	c  8.1s |      12 |    39448 |    34319 |      538    103 |        0 |        0
9.29/9.37	c  9.4s |      13 |    44414 |    38832 |      592    115 |        0 |        0
11.29/11.39	c 11.4s |      13 |    53676 |    47332 |      592    136 |        0 |        0
13.29/13.39	c 13.4s |      13 |    62864 |    55732 |      592    156 |        0 |        0
13.99/14.04	c 14.0s |      14 |    65804 |    58352 |      652    163 |        0 |        0
15.98/16.06	c 16.0s |      14 |    74948 |    66652 |      652    182 |        0 |        0
17.98/18.07	c 18.1s |      14 |    83612 |    74652 |      652    200 |        0 |        0
19.99/20.09	c 20.1s |      14 |    92930 |    82952 |      652    220 |        0 |        0
21.28/21.33	c 21.3s |      15 |    98089 |    87632 |      718    230 |        0 |        0
23.29/23.34	c 23.3s |      15 |   107926 |    96632 |      718    249 |        0 |        0
25.28/25.36	c 25.3s |      15 |   116750 |   104832 |      718    266 |        0 |        0
27.28/27.37	c 27.4s |      15 |   125007 |   112432 |      718    282 |        0 |        0
29.28/29.37	c 29.4s |      15 |   132693 |   119532 |      718    297 |        0 |        0
31.28/31.39	c 31.4s |      15 |   141317 |   127532 |      718    314 |        0 |        0
32.38/32.40	c 32.4s |      16 |   145682 |   131552 |      790    323 |        0 |        0
34.38/34.42	c 34.4s |      16 |   154549 |   139752 |      790    338 |        0 |        0
36.38/36.44	c 36.4s |      16 |   162737 |   147452 |      790    353 |        0 |        0
38.38/38.45	c 38.4s |      16 |   171132 |   155252 |      790    369 |        0 |        0
40.38/40.47	c 40.5s |      16 |   179177 |   162652 |      790    384 |        0 |        0
42.38/42.49	c 42.5s |      16 |   187092 |   169952 |      790    398 |        0 |        0
44.48/44.50	c 44.5s |      16 |   194999 |   177252 |      790    412 |        0 |        0
46.48/46.51	c 46.5s |      16 |   202421 |   184052 |      790    426 |        0 |        0
48.48/48.52	c 48.5s |      16 |   209876 |   191052 |      790    440 |        0 |        0
50.38/50.44	c 50.4s |      17 |   216702 |   197432 |      870    452 |        0 |        0
52.38/52.46	c 52.4s |      17 |   224570 |   204232 |      870    465 |        0 |        0
54.37/54.48	c 54.5s |      17 |   231322 |   210432 |      870    477 |        0 |        0
56.47/56.50	c 56.5s |      17 |   237676 |   216332 |      870    488 |        0 |        0
58.49/58.53	c 58.5s |      17 |   244381 |   222432 |      870    499 |        0 |        0
60.48/60.53	c 60.5s |      17 |   251208 |   228732 |      870    511 |        0 |        0
62.48/62.56	c 62.5s |      17 |   258215 |   235032 |      870    523 |        0 |        0
64.48/64.59	c 64.6s |      17 |   264362 |   240732 |      870    534 |        0 |        0
66.58/66.61	c 66.6s |      17 |   270626 |   246432 |      870    544 |        0 |        0
68.58/68.63	c 68.6s |      17 |   276668 |   252032 |      870    555 |        0 |        0
70.59/70.64	c 70.6s |      17 |   283040 |   257932 |      870    566 |        0 |        0
72.58/72.67	c 72.7s |      17 |   289114 |   263632 |      870    577 |        0 |        0
74.58/74.67	c 74.7s |      17 |   295787 |   269732 |      870    588 |        0 |        0
76.58/76.68	c 76.7s |      17 |   302462 |   275832 |      870    600 |        0 |        0
78.58/78.69	c 78.7s |      17 |   308717 |   281632 |      870    611 |        0 |        0
80.68/80.70	c 80.7s |      17 |   315265 |   287632 |      870    622 |        0 |        0
82.68/82.73	c 82.7s |      17 |   321651 |   293532 |      870    633 |        0 |        0
83.68/83.74	c 83.7s |      18 |   324597 |   296252 |      958    638 |        0 |        0
85.68/85.75	c 85.7s |      18 |   333351 |   303052 |      958    650 |        0 |        0
87.68/87.77	c 87.8s |      18 |   341212 |   309652 |      958    661 |        0 |        0
89.67/89.79	c 89.8s |      18 |   348284 |   315652 |      958    672 |        0 |        0
91.77/91.81	c 91.8s |      18 |   355157 |   321752 |      958    683 |        0 |        0
93.77/93.81	c 93.8s |      18 |   362729 |   328352 |      958    694 |        0 |        0
95.78/95.82	c 95.8s |      18 |   369851 |   334652 |      958    706 |        0 |        0
97.77/97.84	c 97.8s |      18 |   377206 |   340952 |      958    717 |        0 |        0
99.77/99.86	c 99.8s |      18 |   384240 |   346952 |      958    727 |        0 |        0
101.87/101.90	c  101s |      18 |   390709 |   352752 |      958    738 |        0 |        0
103.87/103.92	c  103s |      18 |   397733 |   358752 |      958    748 |        0 |        0
105.87/105.93	c  105s |      18 |   404473 |   364652 |      958    759 |        0 |        0
107.88/107.97	c  107s |      18 |   410917 |   370252 |      958    769 |        0 |        0
109.87/109.98	c  109s |      18 |   417820 |   376252 |      958    779 |        0 |        0
111.97/112.00	c  111s |      18 |   424442 |   381952 |      958    789 |        0 |        0
113.97/114.01	c  113s |      18 |   430944 |   387852 |      958    800 |        0 |        0
115.97/116.01	c  115s |      18 |   436795 |   393152 |      958    809 |        0 |        0
117.97/118.05	c  118s |      18 |   443170 |   398752 |      958    819 |        0 |        0
119.97/120.05	c  120s |      18 |   449590 |   404352 |      958    829 |        0 |        0
121.97/122.06	c  122s |      18 |   456213 |   410152 |      958    839 |        0 |        0
123.97/124.08	c  124s |      18 |   462056 |   415452 |      958    849 |        0 |        0
126.07/126.12	c  126s |      18 |   468862 |   421352 |      958    859 |        0 |        0
128.07/128.14	c  128s |      18 |   476041 |   427452 |      958    870 |        0 |        0
130.07/130.15	c  130s |      18 |   481759 |   432452 |      958    879 |        0 |        0
132.07/132.15	c  132s |      18 |   487949 |   437952 |      958    888 |        0 |        0
134.06/134.17	c  134s |      18 |   493240 |   442852 |     1054    896 |        0 |        0
134.76/134.83	c  134s |      19 |   494980 |   444482 |     1054    899 |        0 |        0
136.76/136.86	c  136s |      19 |   503289 |   451882 |     1054    911 |        0 |        0
138.77/138.89	c  138s |      19 |   510788 |   458582 |     1054    922 |        0 |        0
140.76/140.90	c  140s |      19 |   518793 |   465782 |     1054    933 |        0 |        0
142.86/142.91	c  142s |      19 |   526733 |   472782 |     1054    944 |        0 |        0
144.86/144.91	c  144s |      19 |   533935 |   479182 |     1054    954 |        0 |        0
146.86/146.93	c  146s |      19 |   541162 |   485682 |     1054    965 |        0 |        0
148.86/148.94	c  148s |      19 |   548369 |   492082 |     1054    975 |        0 |        0
150.87/150.97	c  150s |      19 |   554922 |   498082 |     1054    984 |        0 |        0
152.86/152.97	c  152s |      19 |   562054 |   504482 |     1054    994 |        0 |        0
154.86/154.98	c  154s |      19 |   569589 |   511182 |     1054   1005 |        0 |        0
156.96/157.00	c  156s |      19 |   576729 |   517582 |     1054   1015 |        0 |        0
158.96/159.02	c  159s |      19 |   584288 |   524182 |     1054   1026 |        0 |        0
160.96/161.04	c  161s |      19 |   592210 |   530982 |     1054   1037 |        0 |        0
162.97/163.04	c  163s |      19 |   599908 |   537582 |     1054   1048 |        0 |        0
164.96/165.07	c  165s |      19 |   607572 |   544182 |     1054   1058 |        0 |        0
166.96/167.08	c  167s |      19 |   615026 |   550682 |     1054   1069 |        0 |        0
169.06/169.10	c  169s |      19 |   622917 |   557382 |     1054   1079 |        0 |        0
171.06/171.11	c  171s |      19 |   630752 |   564182 |     1054   1090 |        0 |        0
173.06/173.13	c  173s |      19 |   638826 |   571182 |     1054   1102 |        0 |        0
175.06/175.13	c  175s |      19 |   645831 |   577382 |     1054   1112 |        0 |        0
177.06/177.15	c  177s |      19 |   652881 |   583582 |     1054   1122 |        0 |        0
179.06/179.17	c  179s |      19 |   659247 |   589282 |     1054   1131 |        0 |        0
181.06/181.19	c  181s |      19 |   665359 |   594782 |     1054   1140 |        0 |        0
183.16/183.22	c  183s |      19 |   671392 |   600182 |     1054   1148 |        0 |        0
185.16/185.25	c  185s |      19 |   677550 |   605782 |     1054   1157 |        0 |        0
187.17/187.27	c  187s |      19 |   684800 |   612282 |     1054   1168 |        0 |        0
189.16/189.28	c  189s |      19 |   691478 |   618382 |     1054   1178 |        0 |        0
191.16/191.30	c  191s |      19 |   698379 |   624582 |     1054   1188 |        0 |        0
193.26/193.30	c  193s |      19 |   705263 |   630582 |     1054   1197 |        0 |        0
195.26/195.34	c  195s |      19 |   711790 |   636282 |     1054   1207 |        0 |        0
197.26/197.36	c  197s |      19 |   718004 |   641682 |     1054   1215 |        0 |        0
199.27/199.39	c  199s |      19 |   725063 |   647982 |     1054   1225 |        0 |        0
201.37/201.42	c  201s |      19 |   732192 |   654182 |     1054   1235 |        0 |        0
203.36/203.44	c  203s |      19 |   738592 |   659882 |     1054   1245 |        0 |        0
205.36/205.45	c  205s |      19 |   744873 |   665482 |     1160   1253 |        0 |        0
205.77/205.88	c  205s |      20 |   746418 |   666827 |     1160   1255 |        0 |        0
207.86/207.91	c  207s |      20 |   753995 |   673027 |     1160   1264 |        0 |        0
209.86/209.92	c  209s |      20 |   760853 |   679227 |     1160   1274 |        0 |        0
211.86/211.94	c  211s |      20 |   767121 |   684927 |     1160   1283 |        0 |        0
213.86/213.95	c  213s |      20 |   773144 |   690427 |     1160   1291 |        0 |        0
215.86/215.95	c  215s |      20 |   779613 |   696227 |     1160   1300 |        0 |        0
217.86/217.97	c  217s |      20 |   786372 |   702127 |     1160   1309 |        0 |        0
219.86/219.98	c  219s |      20 |   792760 |   707727 |     1160   1317 |        0 |        0
221.96/222.00	c  221s |      20 |   799186 |   713427 |     1160   1326 |        0 |        0
223.96/224.01	c  223s |      20 |   805012 |   718727 |     1160   1334 |        0 |        0
225.96/226.03	c  226s |      20 |   811381 |   724327 |     1160   1342 |        0 |        0
227.96/228.07	c  228s |      20 |   817174 |   729427 |     1160   1350 |        0 |        0
229.96/230.08	c  230s |      20 |   822494 |   734227 |     1160   1357 |        0 |        0
232.05/232.12	c  232s |      20 |   827565 |   738827 |     1160   1364 |        0 |        0
234.05/234.15	c  234s |      20 |   833469 |   744127 |     1160   1372 |        0 |        0
236.05/236.18	c  236s |      20 |   839653 |   749627 |     1160   1380 |        0 |        0
238.15/238.20	c  238s |      20 |   846658 |   755527 |     1160   1389 |        0 |        0
240.15/240.23	c  240s |      20 |   853396 |   761127 |     1160   1397 |        0 |        0
242.16/242.25	c  242s |      20 |   859579 |   766527 |     1160   1405 |        0 |        0
244.15/244.27	c  244s |      20 |   865150 |   771427 |     1160   1413 |        0 |        0
246.15/246.28	c  246s |      20 |   870638 |   776227 |     1160   1420 |        0 |        0
248.25/248.30	c  248s |      20 |   877310 |   782027 |     1160   1429 |        0 |        0
250.25/250.33	c  250s |      20 |   883207 |   787127 |     1160   1436 |        0 |        0
252.25/252.36	c  252s |      20 |   888937 |   792227 |     1160   1444 |        0 |        0
254.26/254.36	c  254s |      20 |   894664 |   797227 |     1160   1452 |        0 |        0
256.25/256.38	c  256s |      20 |   899948 |   801927 |     1160   1459 |        0 |        0
258.35/258.42	c  258s |      20 |   905172 |   806627 |     1160   1466 |        0 |        0
260.35/260.43	c  260s |      20 |   909693 |   810727 |     1160   1472 |        0 |        0
262.35/262.46	c  262s |      20 |   914154 |   814727 |     1160   1478 |        0 |        0
264.35/264.46	c  264s |      20 |   920092 |   819727 |     1160   1486 |        0 |        0
266.35/266.49	c  266s |      20 |   925914 |   824727 |     1160   1493 |        0 |        0
268.45/268.54	c  268s |      20 |   931330 |   829527 |     1160   1500 |        0 |        0
270.45/270.55	c  270s |      20 |   937194 |   834527 |     1160   1508 |        0 |        0
272.45/272.58	c  272s |      20 |   942761 |   839427 |     1160   1515 |        0 |        0
274.55/274.61	c  274s |      20 |   947834 |   844027 |     1160   1522 |        0 |        0
276.55/276.63	c  276s |      20 |   953012 |   848627 |     1160   1529 |        0 |        0
278.55/278.66	c  278s |      20 |   958042 |   853027 |     1160   1536 |        0 |        0
280.55/280.68	c  280s |      20 |   964063 |   858327 |     1160   1544 |        0 |        0
282.64/282.70	c  282s |      20 |   969793 |   863427 |     1160   1551 |        0 |        0
284.64/284.72	c  284s |      20 |   975108 |   868127 |     1160   1559 |        0 |        0
286.64/286.73	c  286s |      20 |   980676 |   872927 |     1160   1566 |        0 |        0
288.64/288.76	c  288s |      20 |   986383 |   877827 |     1160   1573 |        0 |        0
290.74/290.80	c  290s |      20 |   991303 |   882127 |     1160   1580 |        0 |        0
292.75/292.83	c  292s |      20 |   996618 |   886827 |     1160   1587 |        0 |        0
294.74/294.84	c  294s |      20 |  1002167 |   891627 |     1160   1594 |        0 |        0
296.74/296.88	c  296s |      20 |  1007443 |   896327 |     1160   1601 |        0 |        0
298.74/298.89	c  298s |      20 |  1012257 |   900627 |     1160   1607 |        0 |        0
300.74/300.89	c  300s |      20 |  1017248 |   904927 |     1160   1614 |        0 |        0
302.84/302.93	c  302s |      20 |  1022793 |   909827 |     1160   1621 |        0 |        0
304.85/304.96	c  304s |      20 |  1027628 |   914127 |     1160   1628 |        0 |        0
306.84/306.99	c  306s |      20 |  1032859 |   918727 |     1160   1634 |        0 |        0
308.94/309.02	c  309s |      20 |  1038462 |   923727 |     1160   1642 |        0 |        0
310.94/311.05	c  311s |      20 |  1043994 |   928527 |     1160   1649 |        0 |        0
312.94/313.07	c  313s |      20 |  1048827 |   932727 |     1160   1655 |        0 |        0
315.04/315.10	c  315s |      20 |  1053636 |   936927 |     1160   1662 |        0 |        0
317.04/317.12	c  317s |      20 |  1059474 |   942027 |     1160   1669 |        0 |        0
319.04/319.13	c  319s |      20 |  1065834 |   947627 |     1160   1678 |        0 |        0
321.04/321.14	c  321s |      20 |  1071401 |   952627 |     1160   1685 |        0 |        0
323.03/323.17	c  323s |      20 |  1077825 |   958127 |     1160   1693 |        0 |        0
325.03/325.18	c  325s |      20 |  1083893 |   963427 |     1160   1701 |        0 |        0
327.13/327.21	c  327s |      20 |  1090229 |   968927 |     1160   1709 |        0 |        0
329.13/329.21	c  329s |      20 |  1096458 |   974327 |     1160   1717 |        0 |        0
331.14/331.24	c  331s |      20 |  1102553 |   979827 |     1160   1726 |        0 |        0
333.13/333.24	c  333s |      20 |  1108482 |   985127 |     1160   1734 |        0 |        0
335.13/335.24	c  335s |      20 |  1114188 |   990127 |     1160   1741 |        0 |        0
337.13/337.29	c  337s |      20 |  1119878 |   995227 |     1276   1748 |        0 |        0
339.23/339.30	c  339s |      20 |  1125110 |   999927 |     1276   1755 |        0 |        0
339.33/339.46	c  339s |      21 |  1125576 |  1000345 |     1276   1755 |        0 |        0
341.33/341.49	c  341s |      21 |  1132527 |  1006345 |     1276   1764 |        0 |        0
343.43/343.50	c  343s |      21 |  1138808 |  1011945 |     1276   1771 |        0 |        0
345.44/345.51	c  345s |      21 |  1144967 |  1017345 |     1276   1779 |        0 |        0
347.44/347.53	c  347s |      21 |  1151397 |  1022945 |     1276   1786 |        0 |        0
349.44/349.56	c  349s |      21 |  1158006 |  1028745 |     1276   1794 |        0 |        0
351.44/351.56	c  351s |      21 |  1164255 |  1034345 |     1276   1802 |        0 |        0
353.44/353.58	c  353s |      21 |  1170676 |  1039945 |     1276   1810 |        0 |        0
355.45/355.60	c  355s |      21 |  1177466 |  1045945 |     1276   1818 |        0 |        0
357.44/357.60	c  357s |      21 |  1183440 |  1051245 |     1276   1826 |        0 |        0
359.54/359.61	c  359s |      21 |  1189660 |  1056945 |     1276   1833 |        0 |        0
361.54/361.63	c  361s |      21 |  1195790 |  1062245 |     1276   1841 |        0 |        0
363.54/363.63	c  363s |      21 |  1201589 |  1067545 |     1276   1848 |        0 |        0
365.54/365.65	c  365s |      21 |  1207653 |  1072845 |     1276   1856 |        0 |        0
367.54/367.68	c  367s |      21 |  1214052 |  1078445 |     1276   1863 |        0 |        0
369.54/369.70	c  369s |      21 |  1219837 |  1083445 |     1276   1870 |        0 |        0
371.64/371.74	c  371s |      21 |  1225251 |  1088245 |     1276   1877 |        0 |        0
373.64/373.75	c  373s |      21 |  1230424 |  1092945 |     1276   1883 |        0 |        0
375.63/375.79	c  375s |      21 |  1235735 |  1097745 |     1276   1890 |        0 |        0
377.73/377.83	c  377s |      21 |  1240919 |  1102445 |     1276   1897 |        0 |        0
379.73/379.87	c  379s |      21 |  1246177 |  1107145 |     1276   1903 |        0 |        0
381.74/381.87	c  381s |      21 |  1251692 |  1112145 |     1276   1910 |        0 |        0
383.73/383.87	c  383s |      21 |  1257218 |  1117145 |     1276   1917 |        0 |        0
385.83/385.90	c  385s |      21 |  1262575 |  1121945 |     1276   1923 |        0 |        0
387.83/387.93	c  387s |      21 |  1268041 |  1126845 |     1276   1930 |        0 |        0
389.83/389.97	c  389s |      21 |  1273237 |  1131545 |     1276   1937 |        0 |        0
391.83/391.99	c  391s |      21 |  1278471 |  1136245 |     1276   1943 |        0 |        0
393.94/394.02	c  394s |      21 |  1283847 |  1140945 |     1276   1950 |        0 |        0
395.93/396.06	c  396s |      21 |  1289942 |  1146345 |     1276   1957 |        0 |        0
397.93/398.07	c  398s |      21 |  1295864 |  1151645 |     1276   1964 |        0 |        0
399.93/400.08	c  400s |      21 |  1301720 |  1156945 |     1276   1972 |        0 |        0
401.93/402.09	c  402s |      21 |  1307527 |  1162145 |     1276   1979 |        0 |        0
404.03/404.10	c  404s |      21 |  1313001 |  1166945 |     1276   1985 |        0 |        0
406.03/406.12	c  406s |      21 |  1318709 |  1172045 |     1276   1993 |        0 |        0
408.03/408.16	c  408s |      21 |  1324099 |  1176945 |     1276   1999 |        0 |        0
410.03/410.17	c  410s |      21 |  1329474 |  1181645 |     1276   2006 |        0 |        0
412.03/412.18	c  412s |      21 |  1335300 |  1186645 |     1276   2013 |        0 |        0
414.13/414.21	c  414s |      21 |  1341204 |  1191845 |     1276   2020 |        0 |        0
416.12/416.23	c  416s |      21 |  1346916 |  1196945 |     1276   2027 |        0 |        0
418.13/418.26	c  418s |      21 |  1352704 |  1202245 |     1276   2034 |        0 |        0
420.12/420.28	c  420s |      21 |  1358408 |  1207445 |     1276   2041 |        0 |        0
422.12/422.29	c  422s |      21 |  1364568 |  1213045 |     1276   2049 |        0 |        0
424.12/424.29	c  424s |      21 |  1370177 |  1218145 |     1276   2056 |        0 |        0
426.22/426.33	c  426s |      21 |  1375919 |  1223345 |     1276   2063 |        0 |        0
428.22/428.37	c  428s |      21 |  1381845 |  1228445 |     1276   2070 |        0 |        0
430.32/430.41	c  430s |      21 |  1387424 |  1233445 |     1276   2077 |        0 |        0
432.33/432.43	c  432s |      21 |  1392742 |  1238245 |     1276   2084 |        0 |        0
434.32/434.46	c  434s |      21 |  1398127 |  1242945 |     1276   2090 |        0 |        0
436.32/436.47	c  436s |      21 |  1403681 |  1247845 |     1276   2097 |        0 |        0
438.32/438.48	c  438s |      21 |  1409942 |  1253345 |     1276   2104 |        0 |        0
440.42/440.50	c  440s |      21 |  1416272 |  1258945 |     1276   2112 |        0 |        0
442.42/442.53	c  442s |      21 |  1423109 |  1264845 |     1276   2120 |        0 |        0
444.43/444.56	c  444s |      21 |  1429525 |  1270445 |     1276   2128 |        0 |        0
446.52/446.60	c  446s |      21 |  1435710 |  1275945 |     1276   2136 |        0 |        0
448.52/448.63	c  448s |      21 |  1442118 |  1281545 |     1276   2143 |        0 |        0
450.52/450.63	c  450s |      21 |  1447849 |  1286545 |     1276   2150 |        0 |        0
452.52/452.65	c  452s |      21 |  1453807 |  1291845 |     1276   2158 |        0 |        0
454.52/454.65	c  454s |      21 |  1459240 |  1296745 |     1276   2164 |        0 |        0
456.52/456.66	c  456s |      21 |  1465612 |  1302245 |     1276   2172 |        0 |        0
458.52/458.68	c  458s |      21 |  1471589 |  1307445 |     1276   2179 |        0 |        0
460.52/460.69	c  460s |      21 |  1477439 |  1312345 |     1276   2186 |        0 |        0
462.51/462.69	c  462s |      21 |  1482690 |  1317045 |     1276   2193 |        0 |        0
464.61/464.70	c  464s |      21 |  1488322 |  1322045 |     1276   2199 |        0 |        0
466.61/466.73	c  466s |      21 |  1494853 |  1327445 |     1276   2207 |        0 |        0
468.62/468.74	c  468s |      21 |  1500806 |  1332645 |     1276   2214 |        0 |        0
470.61/470.75	c  470s |      21 |  1507278 |  1337945 |     1276   2221 |        0 |        0
472.61/472.77	c  472s |      21 |  1513897 |  1343545 |     1276   2229 |        0 |        0
474.61/474.77	c  474s |      21 |  1520327 |  1348945 |     1276   2237 |        0 |        0
476.71/476.80	c  476s |      21 |  1526999 |  1354245 |     1276   2244 |        0 |        0
478.71/478.82	c  478s |      21 |  1533687 |  1359845 |     1276   2252 |        0 |        0
480.72/480.84	c  480s |      21 |  1540010 |  1365245 |     1276   2260 |        0 |        0
482.71/482.86	c  482s |      21 |  1546909 |  1371045 |     1276   2268 |        0 |        0
484.71/484.86	c  484s |      21 |  1553194 |  1376345 |     1276   2275 |        0 |        0
486.71/486.87	c  486s |      21 |  1558960 |  1381345 |     1276   2282 |        0 |        0
488.81/488.90	c  488s |      21 |  1565169 |  1386645 |     1276   2290 |        0 |        0
490.81/490.91	c  490s |      21 |  1571197 |  1391945 |     1276   2297 |        0 |        0
492.82/492.91	c  492s |      21 |  1576904 |  1396945 |     1276   2304 |        0 |        0
494.82/494.92	c  494s |      21 |  1583435 |  1402445 |     1276   2311 |        0 |        0
496.82/496.92	c  496s |      21 |  1589891 |  1407745 |     1276   2319 |        0 |        0
498.82/498.94	c  498s |      21 |  1596783 |  1413045 |     1276   2326 |        0 |        0
500.82/500.94	c  500s |      21 |  1603043 |  1418245 |     1276   2333 |        0 |        0
502.82/502.95	c  502s |      21 |  1609089 |  1423545 |     1276   2341 |        0 |        0
504.81/504.98	c  504s |      21 |  1615122 |  1428945 |     1276   2348 |        0 |        0
506.81/506.99	c  506s |      21 |  1621457 |  1434445 |     1276   2356 |        0 |        0
508.91/509.02	c  509s |      21 |  1627349 |  1439645 |     1276   2363 |        0 |        0
510.91/511.06	c  511s |      21 |  1634162 |  1445445 |     1276   2371 |        0 |        0
512.91/513.07	c  513s |      21 |  1640513 |  1450945 |     1276   2379 |        0 |        0
514.92/515.07	c  515s |      21 |  1646619 |  1456145 |     1276   2386 |        0 |        0
517.02/517.10	c  517s |      21 |  1652990 |  1461745 |     1276   2394 |        0 |        0
519.01/519.12	c  519s |      21 |  1659379 |  1467045 |     1276   2401 |        0 |        0
521.01/521.14	c  521s |      21 |  1666198 |  1472745 |     1276   2409 |        0 |        0
523.01/523.14	c  523s |      21 |  1672667 |  1478145 |     1276   2417 |        0 |        0
525.01/525.15	c  525s |      21 |  1679705 |  1483845 |     1276   2425 |        0 |        0
527.02/527.17	c  527s |      21 |  1686886 |  1489745 |     1276   2433 |        0 |        0
529.12/529.20	c  529s |      21 |  1692970 |  1494945 |     1404   2440 |        0 |        0
531.11/531.21	c  531s |      21 |  1699617 |  1500445 |     1404   2447 |        0 |        0
531.11/531.29	c  531s |      22 |  1699817 |  1500622 |     1404   2447 |        0 |        0
533.21/533.31	c  533s |      22 |  1706967 |  1506722 |     1404   2455 |        0 |        0
535.21/535.34	c  535s |      22 |  1713458 |  1512322 |     1404   2462 |        0 |        0
537.21/537.37	c  537s |      22 |  1719683 |  1518022 |     1404   2469 |        0 |        0
539.31/539.40	c  539s |      22 |  1726169 |  1523722 |     1404   2476 |        0 |        0
541.31/541.43	c  541s |      22 |  1732172 |  1529022 |     1404   2483 |        0 |        0
543.31/543.44	c  543s |      22 |  1738608 |  1534422 |     1404   2490 |        0 |        0
545.31/545.47	c  545s |      22 |  1745350 |  1540022 |     1404   2497 |        0 |        0
547.30/547.49	c  547s |      22 |  1751168 |  1545122 |     1404   2504 |        0 |        0
549.40/549.52	c  549s |      22 |  1756679 |  1550022 |     1404   2510 |        0 |        0
551.40/551.52	c  551s |      22 |  1762278 |  1554922 |     1404   2517 |        0 |        0
553.41/553.55	c  553s |      22 |  1767724 |  1559822 |     1404   2523 |        0 |        0
555.40/555.56	c  555s |      22 |  1773693 |  1565022 |     1404   2530 |        0 |        0
557.40/557.57	c  557s |      22 |  1779206 |  1570022 |     1404   2536 |        0 |        0
559.40/559.58	c  559s |      22 |  1785044 |  1575122 |     1404   2543 |        0 |        0
561.50/561.61	c  561s |      22 |  1790879 |  1580322 |     1404   2549 |        0 |        0
563.50/563.62	c  563s |      22 |  1796903 |  1585422 |     1404   2556 |        0 |        0
565.51/565.66	c  565s |      22 |  1802607 |  1590322 |     1404   2562 |        0 |        0
567.50/567.66	c  567s |      22 |  1807690 |  1594822 |     1404   2568 |        0 |        0
569.50/569.67	c  569s |      22 |  1812901 |  1599322 |     1404   2573 |        0 |        0
571.60/571.72	c  571s |      22 |  1818279 |  1604122 |     1404   2580 |        0 |        0
573.60/573.74	c  573s |      22 |  1824362 |  1609422 |     1404   2586 |        0 |        0
575.60/575.75	c  575s |      22 |  1830698 |  1614922 |     1404   2593 |        0 |        0
577.61/577.77	c  577s |      22 |  1836883 |  1620222 |     1404   2600 |        0 |        0
579.60/579.77	c  579s |      22 |  1842826 |  1625322 |     1404   2607 |        0 |        0
581.60/581.78	c  581s |      22 |  1848431 |  1630222 |     1404   2613 |        0 |        0
583.70/583.82	c  583s |      22 |  1853375 |  1634722 |     1404   2619 |        0 |        0
585.70/585.84	c  585s |      22 |  1858295 |  1639122 |     1404   2625 |        0 |        0
587.70/587.87	c  587s |      22 |  1864227 |  1644222 |     1404   2631 |        0 |        0
589.71/589.88	c  589s |      22 |  1869428 |  1648822 |     1404   2637 |        0 |        0
591.81/591.92	c  591s |      22 |  1874821 |  1653722 |     1404   2643 |        0 |        0
593.80/593.94	c  593s |      22 |  1880310 |  1658522 |     1404   2649 |        0 |        0
595.80/595.95	c  595s |      22 |  1885673 |  1663322 |     1404   2656 |        0 |        0
597.80/597.96	c  597s |      22 |  1890633 |  1667822 |     1404   2661 |        0 |        0
599.80/599.99	c  599s |      22 |  1896039 |  1672622 |     1404   2667 |        0 |        0
601.90/602.01	c  601s |      22 |  1901830 |  1677822 |     1404   2674 |        0 |        0
603.90/604.05	c  604s |      22 |  1906839 |  1682422 |     1404   2680 |        0 |        0
605.90/606.09	c  606s |      22 |  1912186 |  1687122 |     1404   2686 |        0 |        0
608.00/608.12	c  608s |      22 |  1917082 |  1691522 |     1404   2692 |        0 |        0
609.99/610.13	c  610s |      22 |  1922219 |  1696122 |     1404   2698 |        0 |        0
611.99/612.16	c  612s |      22 |  1927281 |  1700722 |     1404   2703 |        0 |        0
613.99/614.16	c  614s |      22 |  1931895 |  1704922 |     1404   2709 |        0 |        0
616.00/616.17	c  616s |      22 |  1937327 |  1709622 |     1404   2715 |        0 |        0
617.99/618.18	c  618s |      22 |  1942371 |  1714122 |     1404   2721 |        0 |        0
619.99/620.19	c  620s |      22 |  1948009 |  1719122 |     1404   2727 |        0 |        0
622.09/622.21	c  622s |      22 |  1953875 |  1724422 |     1404   2734 |        0 |        0
624.09/624.23	c  624s |      22 |  1959850 |  1729722 |     1404   2740 |        0 |        0
626.09/626.24	c  626s |      22 |  1965438 |  1734622 |     1404   2747 |        0 |        0
628.10/628.26	c  628s |      22 |  1971252 |  1739722 |     1404   2753 |        0 |        0
630.09/630.26	c  630s |      22 |  1975821 |  1743922 |     1404   2758 |        0 |        0
632.09/632.27	c  632s |      22 |  1980950 |  1748422 |     1404   2764 |        0 |        0
634.19/634.30	c  634s |      22 |  1985641 |  1752722 |     1404   2769 |        0 |        0
636.19/636.32	c  636s |      22 |  1990000 |  1756722 |     1404   2775 |        0 |        0
638.19/638.33	c  638s |      22 |  1994209 |  1760622 |     1404   2779 |        0 |        0
640.19/640.33	c  640s |      22 |  1999818 |  1765222 |     1404   2785 |        0 |        0
642.19/642.35	c  642s |      22 |  2005326 |  1770122 |     1404   2792 |        0 |        0
644.19/644.36	c  644s |      22 |  2010388 |  1774622 |     1404   2797 |        0 |        0
646.29/646.40	c  646s |      22 |  2015390 |  1779022 |     1404   2803 |        0 |        0
648.28/648.42	c  648s |      22 |  2020636 |  1783622 |     1404   2809 |        0 |        0
650.29/650.47	c  650s |      22 |  2026597 |  1788722 |     1404   2815 |        0 |        0
652.30/652.49	c  652s |      22 |  2032516 |  1793922 |     1404   2822 |        0 |        0
654.39/654.52	c  654s |      22 |  2038364 |  1798922 |     1404   2829 |        0 |        0
656.39/656.52	c  656s |      22 |  2044214 |  1803922 |     1404   2835 |        0 |        0
658.39/658.56	c  658s |      22 |  2049543 |  1808722 |     1404   2841 |        0 |        0
660.39/660.58	c  660s |      22 |  2054841 |  1813422 |     1404   2847 |        0 |        0
662.39/662.59	c  662s |      22 |  2059908 |  1818022 |     1404   2853 |        0 |        0
664.50/664.61	c  664s |      22 |  2065172 |  1822822 |     1404   2859 |        0 |        0
666.49/666.63	c  666s |      22 |  2070254 |  1827422 |     1404   2865 |        0 |        0
668.49/668.67	c  668s |      22 |  2075460 |  1832122 |     1404   2871 |        0 |        0
670.49/670.70	c  670s |      22 |  2080704 |  1836722 |     1404   2877 |        0 |        0
672.59/672.71	c  672s |      22 |  2085354 |  1840822 |     1404   2882 |        0 |        0
674.59/674.71	c  674s |      22 |  2090530 |  1845322 |     1404   2888 |        0 |        0
676.59/676.72	c  676s |      22 |  2096252 |  1850322 |     1404   2894 |        0 |        0
678.59/678.74	c  678s |      22 |  2101495 |  1855022 |     1404   2900 |        0 |        0
680.59/680.78	c  680s |      22 |  2106490 |  1859522 |     1404   2906 |        0 |        0
682.59/682.79	c  682s |      22 |  2111276 |  1863822 |     1404   2911 |        0 |        0
684.58/684.79	c  684s |      22 |  2116420 |  1868222 |     1404   2917 |        0 |        0
686.68/686.80	c  686s |      22 |  2122397 |  1873122 |     1404   2923 |        0 |        0
688.69/688.84	c  688s |      22 |  2127599 |  1877622 |     1404   2929 |        0 |        0
690.68/690.87	c  690s |      22 |  2132961 |  1882222 |     1404   2935 |        0 |        0
692.78/692.90	c  692s |      22 |  2138048 |  1886722 |     1404   2940 |        0 |        0
694.78/694.90	c  694s |      22 |  2143872 |  1891922 |     1404   2947 |        0 |        0
696.78/696.92	c  696s |      22 |  2149726 |  1897022 |     1404   2954 |        0 |        0
698.78/698.94	c  698s |      22 |  2155273 |  1902022 |     1404   2960 |        0 |        0
700.79/700.97	c  700s |      22 |  2160645 |  1906822 |     1404   2966 |        0 |        0
702.78/702.99	c  702s |      22 |  2167317 |  1912422 |     1404   2973 |        0 |        0
704.88/705.03	c  705s |      22 |  2173568 |  1917722 |     1404   2980 |        0 |        0
706.88/707.06	c  707s |      22 |  2179389 |  1922822 |     1404   2987 |        0 |        0
708.88/709.06	c  709s |      22 |  2185291 |  1927922 |     1404   2993 |        0 |        0
710.98/711.10	c  711s |      22 |  2191843 |  1933322 |     1404   3000 |        0 |        0
712.98/713.13	c  713s |      22 |  2197343 |  1937922 |     1404   3006 |        0 |        0
714.98/715.16	c  715s |      22 |  2202940 |  1942822 |     1404   3012 |        0 |        0
716.97/717.17	c  717s |      22 |  2208781 |  1947822 |     1404   3019 |        0 |        0
719.07/719.20	c  719s |      22 |  2214723 |  1952922 |     1404   3025 |        0 |        0
721.07/721.24	c  721s |      22 |  2220455 |  1957922 |     1404   3032 |        0 |        0
723.07/723.25	c  723s |      22 |  2225926 |  1962822 |     1404   3038 |        0 |        0
725.06/725.27	c  725s |      22 |  2231201 |  1967522 |     1404   3044 |        0 |        0
727.07/727.29	c  727s |      22 |  2236327 |  1972122 |     1404   3050 |        0 |        0
729.16/729.32	c  729s |      22 |  2241510 |  1976722 |     1404   3056 |        0 |        0
731.16/731.36	c  731s |      22 |  2247543 |  1981822 |     1404   3062 |        0 |        0
733.16/733.38	c  733s |      22 |  2253446 |  1986922 |     1404   3069 |        0 |        0
735.26/735.41	c  735s |      22 |  2259050 |  1991722 |     1404   3075 |        0 |        0
737.25/737.42	c  737s |      22 |  2264477 |  1996522 |     1404   3081 |        0 |        0
739.26/739.44	c  739s |      22 |  2269709 |  2001222 |     1404   3087 |        0 |        0
741.25/741.45	c  741s |      22 |  2275118 |  2006022 |     1404   3093 |        0 |        0
743.25/743.48	c  743s |      22 |  2281132 |  2011022 |     1404   3100 |        0 |        0
745.35/745.52	c  745s |      22 |  2286917 |  2015922 |     1404   3106 |        0 |        0
747.35/747.53	c  747s |      22 |  2292610 |  2020822 |     1404   3112 |        0 |        0
749.35/749.55	c  749s |      22 |  2298560 |  2025922 |     1404   3119 |        0 |        0
751.35/751.56	c  751s |      22 |  2304131 |  2030722 |     1404   3125 |        0 |        0
753.34/753.59	c  753s |      22 |  2309998 |  2035722 |     1404   3131 |        0 |        0
755.34/755.59	c  755s |      22 |  2315547 |  2040522 |     1404   3138 |        0 |        0
757.44/757.61	c  757s |      22 |  2321507 |  2045622 |     1404   3144 |        0 |        0
759.44/759.62	c  759s |      22 |  2326935 |  2050322 |     1404   3150 |        0 |        0
761.44/761.65	c  761s |      22 |  2332383 |  2055022 |     1404   3156 |        0 |        0
763.44/763.68	c  763s |      22 |  2337710 |  2059622 |     1404   3162 |        0 |        0
765.44/765.69	c  765s |      22 |  2342647 |  2064022 |     1404   3168 |        0 |        0
767.44/767.69	c  767s |      22 |  2347116 |  2068022 |     1404   3173 |        0 |        0
769.44/769.69	c  769s |      22 |  2352722 |  2072722 |     1404   3179 |        0 |        0
771.53/771.71	c  771s |      22 |  2358438 |  2077922 |     1404   3186 |        0 |        0
773.53/773.73	c  773s |      22 |  2364340 |  2083222 |     1404   3192 |        0 |        0
775.53/775.77	c  775s |      22 |  2370847 |  2088822 |     1404   3200 |        0 |        0
777.53/777.79	c  777s |      22 |  2376840 |  2094022 |     1404   3206 |        0 |        0
779.63/779.81	c  779s |      22 |  2382581 |  2099022 |     1404   3212 |        0 |        0
781.63/781.81	c  781s |      22 |  2388694 |  2104122 |     1404   3219 |        0 |        0
783.62/783.85	c  783s |      22 |  2394367 |  2109022 |     1404   3225 |        0 |        0
785.62/785.85	c  785s |      22 |  2399594 |  2113622 |     1404   3231 |        0 |        0
787.63/787.90	c  787s |      22 |  2404484 |  2117922 |     1404   3236 |        0 |        0
789.73/789.91	c  789s |      22 |  2410121 |  2122922 |     1404   3243 |        0 |        0
791.72/791.91	c  791s |      22 |  2416031 |  2128222 |     1404   3249 |        0 |        0
793.72/793.92	c  793s |      22 |  2421685 |  2133222 |     1404   3256 |        0 |        0
795.72/795.94	c  795s |      22 |  2428105 |  2138822 |     1404   3263 |        0 |        0
797.72/797.97	c  797s |      22 |  2435052 |  2144522 |     1404   3270 |        0 |        0
799.73/799.98	c  799s |      22 |  2441523 |  2149922 |     1404   3277 |        0 |        0
801.83/802.02	c  802s |      22 |  2447449 |  2155022 |     1404   3284 |        0 |        0
803.81/804.04	c  804s |      22 |  2453579 |  2160122 |     1404   3290 |        0 |        0
805.81/806.07	c  806s |      22 |  2459860 |  2165222 |     1404   3297 |        0 |        0
807.81/808.08	c  808s |      22 |  2466575 |  2170722 |     1404   3304 |        0 |        0
809.91/810.14	c  810s |      22 |  2472560 |  2175922 |     1404   3311 |        0 |        0
811.91/812.15	c  812s |      22 |  2477980 |  2180622 |     1404   3317 |        0 |        0
813.91/814.16	c  814s |      22 |  2483990 |  2185722 |     1404   3323 |        0 |        0
815.90/816.19	c  816s |      22 |  2489626 |  2190522 |     1404   3329 |        0 |        0
818.00/818.20	c  818s |      22 |  2495472 |  2195422 |     1404   3336 |        0 |        0
820.00/820.23	c  820s |      22 |  2501292 |  2200422 |     1404   3342 |        0 |        0
822.00/822.26	c  822s |      22 |  2507516 |  2205922 |     1404   3349 |        0 |        0
824.09/824.31	c  824s |      22 |  2513194 |  2211122 |     1404   3356 |        0 |        0
826.10/826.32	c  826s |      22 |  2519090 |  2216522 |     1404   3362 |        0 |        0
828.09/828.33	c  828s |      22 |  2524849 |  2221722 |     1404   3369 |        0 |        0
830.09/830.37	c  830s |      22 |  2530546 |  2226822 |     1404   3376 |        0 |        0
832.09/832.39	c  832s |      22 |  2536333 |  2232022 |     1404   3382 |        0 |        0
834.19/834.40	c  834s |      22 |  2541754 |  2236822 |     1545   3388 |        0 |        0
836.19/836.41	c  836s |      22 |  2547665 |  2242122 |     1545   3394 |        0 |        0
838.19/838.42	c  838s |      22 |  2553046 |  2246922 |     1545   3400 |        0 |        0
839.88/840.11	c  840s |      23 |  2557794 |  2251038 |     1545   3404 |        0 |        0
841.89/842.13	c  842s |      23 |  2564405 |  2256838 |     1545   3411 |        0 |        0
843.89/844.15	c  844s |      23 |  2570823 |  2262738 |     1545   3418 |        0 |        0
845.89/846.18	c  846s |      23 |  2576764 |  2268238 |     1545   3424 |        0 |        0
847.89/848.18	c  848s |      23 |  2582626 |  2273738 |     1545   3431 |        0 |        0
849.98/850.20	c  850s |      23 |  2588645 |  2279238 |     1545   3437 |        0 |        0
851.98/852.20	c  852s |      23 |  2594755 |  2284838 |     1545   3444 |        0 |        0
853.98/854.21	c  854s |      23 |  2600929 |  2290438 |     1545   3450 |        0 |        0
855.98/856.21	c  856s |      23 |  2607168 |  2296138 |     1545   3457 |        0 |        0
857.98/858.22	c  858s |      23 |  2613206 |  2301738 |     1545   3463 |        0 |        0
859.97/860.26	c  860s |      23 |  2619077 |  2307238 |     1545   3470 |        0 |        0
861.97/862.29	c  862s |      23 |  2624593 |  2312438 |     1545   3475 |        0 |        0
864.07/864.30	c  864s |      23 |  2630234 |  2317638 |     1545   3481 |        0 |        0
866.07/866.31	c  866s |      23 |  2635963 |  2322838 |     1545   3488 |        0 |        0
868.07/868.33	c  868s |      23 |  2641500 |  2327938 |     1545   3493 |        0 |        0
870.07/870.34	c  870s |      23 |  2647441 |  2333438 |     1545   3500 |        0 |        0
872.07/872.36	c  872s |      23 |  2653575 |  2339138 |     1545   3506 |        0 |        0
874.06/874.37	c  874s |      23 |  2659458 |  2344638 |     1545   3513 |        0 |        0
876.06/876.39	c  876s |      23 |  2665164 |  2349938 |     1545   3519 |        0 |        0
878.16/878.41	c  878s |      23 |  2670561 |  2354938 |     1545   3525 |        0 |        0
880.16/880.42	c  880s |      23 |  2676111 |  2360138 |     1545   3531 |        0 |        0
882.17/882.43	c  882s |      23 |  2681522 |  2365238 |     1545   3537 |        0 |        0
884.15/884.45	c  884s |      23 |  2687151 |  2370438 |     1545   3543 |        0 |        0
886.15/886.46	c  886s |      23 |  2692516 |  2375438 |     1545   3548 |        0 |        0
888.25/888.50	c  888s |      23 |  2697710 |  2380338 |     1545   3554 |        0 |        0
890.25/890.51	c  890s |      23 |  2703440 |  2385638 |     1545   3560 |        0 |        0
892.25/892.54	c  892s |      23 |  2708826 |  2390638 |     1545   3566 |        0 |        0
894.25/894.55	c  894s |      23 |  2714145 |  2395538 |     1545   3572 |        0 |        0
896.24/896.57	c  896s |      23 |  2719331 |  2400338 |     1545   3577 |        0 |        0
898.24/898.59	c  898s |      23 |  2724967 |  2405538 |     1545   3583 |        0 |        0
900.34/900.60	c  900s |      23 |  2731440 |  2411038 |     1545   3590 |        0 |        0
902.34/902.63	c  902s |      23 |  2737314 |  2416338 |     1545   3596 |        0 |        0
904.34/904.64	c  904s |      23 |  2743519 |  2421838 |     1545   3602 |        0 |        0
906.34/906.67	c  906s |      23 |  2749332 |  2426938 |     1545   3608 |        0 |        0
908.44/908.71	c  908s |      23 |  2755090 |  2431938 |     1545   3614 |        0 |        0
910.43/910.73	c  910s |      23 |  2760774 |  2437038 |     1545   3620 |        0 |        0
912.43/912.74	c  912s |      23 |  2766222 |  2441938 |     1545   3626 |        0 |        0
914.43/914.75	c  914s |      23 |  2771294 |  2446538 |     1545   3631 |        0 |        0
916.43/916.75	c  916s |      23 |  2776853 |  2451438 |     1545   3637 |        0 |        0
918.43/918.77	c  918s |      23 |  2781819 |  2455938 |     1545   3642 |        0 |        0
920.53/920.82	c  920s |      23 |  2787328 |  2460838 |     1545   3648 |        0 |        0
922.53/922.82	c  922s |      23 |  2792869 |  2465638 |     1545   3653 |        0 |        0
924.52/924.84	c  924s |      23 |  2798104 |  2470438 |     1545   3659 |        0 |        0
926.52/926.87	c  926s |      23 |  2803635 |  2475238 |     1545   3665 |        0 |        0
928.52/928.89	c  928s |      23 |  2808692 |  2479738 |     1545   3670 |        0 |        0
930.62/930.93	c  930s |      23 |  2813720 |  2484238 |     1545   3675 |        0 |        0
932.62/932.96	c  932s |      23 |  2818848 |  2488838 |     1545   3681 |        0 |        0
934.71/935.00	c  934s |      23 |  2823736 |  2493238 |     1545   3686 |        0 |        0
936.71/937.04	c  937s |      23 |  2828593 |  2497638 |     1545   3691 |        0 |        0
938.71/939.08	c  939s |      23 |  2833589 |  2502138 |     1545   3696 |        0 |        0
940.81/941.11	c  941s |      23 |  2838325 |  2506438 |     1545   3701 |        0 |        0
942.81/943.12	c  943s |      23 |  2843007 |  2510738 |     1545   3706 |        0 |        0
944.81/945.18	c  945s |      23 |  2848114 |  2515238 |     1545   3712 |        0 |        0
946.91/947.21	c  947s |      23 |  2852666 |  2519438 |     1545   3717 |        0 |        0
948.91/949.23	c  949s |      23 |  2857467 |  2523738 |     1545   3722 |        0 |        0
950.91/951.25	c  951s |      23 |  2862942 |  2528638 |     1545   3727 |        0 |        0
952.91/953.28	c  953s |      23 |  2867997 |  2533138 |     1545   3733 |        0 |        0
955.00/955.30	c  955s |      23 |  2872657 |  2537338 |     1545   3737 |        0 |        0
957.01/957.34	c  957s |      23 |  2878300 |  2542338 |     1545   3743 |        0 |        0
959.02/959.36	c  959s |      23 |  2883496 |  2547038 |     1545   3749 |        0 |        0
961.01/961.37	c  961s |      23 |  2888363 |  2551338 |     1545   3754 |        0 |        0
963.11/963.41	c  963s |      23 |  2893359 |  2555938 |     1545   3759 |        0 |        0
965.10/965.43	c  965s |      23 |  2898223 |  2560338 |     1545   3764 |        0 |        0
967.10/967.46	c  967s |      23 |  2903149 |  2564738 |     1545   3770 |        0 |        0
969.20/969.51	c  969s |      23 |  2908764 |  2569638 |     1545   3775 |        0 |        0
971.21/971.54	c  971s |      23 |  2913423 |  2573838 |     1545   3780 |        0 |        0
973.19/973.58	c  973s |      23 |  2918501 |  2578438 |     1545   3786 |        0 |        0
975.19/975.58	c  975s |      23 |  2923191 |  2582738 |     1545   3791 |        0 |        0
977.29/977.64	c  977s |      23 |  2928101 |  2587038 |     1545   3796 |        0 |        0
979.29/979.65	c  979s |      23 |  2932617 |  2591138 |     1545   3800 |        0 |        0
981.39/981.72	c  981s |      23 |  2936670 |  2594838 |     1545   3805 |        0 |        0
983.39/983.73	c  983s |      23 |  2941937 |  2599338 |     1545   3810 |        0 |        0
985.39/985.76	c  985s |      23 |  2946561 |  2603338 |     1545   3815 |        0 |        0
987.39/987.79	c  987s |      23 |  2951983 |  2608138 |     1545   3820 |        0 |        0
989.49/989.80	c  989s |      23 |  2957994 |  2613238 |     1545   3826 |        0 |        0
991.49/991.82	c  991s |      23 |  2963368 |  2618038 |     1545   3832 |        0 |        0
993.48/993.87	c  993s |      23 |  2968742 |  2622838 |     1545   3837 |        0 |        0
995.48/995.89	c  995s |      23 |  2973966 |  2627338 |     1545   3843 |        0 |        0
997.49/997.90	c  997s |      23 |  2978708 |  2631538 |     1545   3847 |        0 |        0
999.58/999.90	c  999s |      23 |  2983962 |  2636238 |     1545   3853 |        0 |        0
1001.58/1001.93	c 1001s |      23 |  2989643 |  2641438 |     1545   3859 |        0 |        0
1003.57/1003.95	c 1003s |      23 |  2995725 |  2646738 |     1545   3865 |        0 |        0
1005.57/1005.95	c 1005s |      23 |  3001173 |  2651538 |     1545   3871 |        0 |        0
1007.57/1007.99	c 1007s |      23 |  3006337 |  2656138 |     1545   3876 |        0 |        0
1009.68/1010.05	c 1010s |      23 |  3011471 |  2660738 |     1545   3882 |        0 |        0
1011.67/1012.09	c 1012s |      23 |  3016466 |  2665238 |     1545   3887 |        0 |        0
1013.76/1014.13	c 1014s |      23 |  3021217 |  2669538 |     1545   3892 |        0 |        0
1015.76/1016.14	c 1016s |      23 |  3026927 |  2674538 |     1545   3898 |        0 |        0
1017.76/1018.16	c 1018s |      23 |  3032694 |  2679838 |     1545   3904 |        0 |        0
1019.76/1020.16	c 1020s |      23 |  3038457 |  2685138 |     1545   3910 |        0 |        0
1021.77/1022.18	c 1022s |      23 |  3043870 |  2690238 |     1545   3916 |        0 |        0
1023.76/1024.18	c 1024s |      23 |  3049395 |  2695438 |     1545   3922 |        0 |        0
1025.86/1026.21	c 1026s |      23 |  3055102 |  2700738 |     1545   3928 |        0 |        0
1027.86/1028.22	c 1028s |      23 |  3060854 |  2706038 |     1545   3934 |        0 |        0
1029.86/1030.22	c 1030s |      23 |  3066400 |  2711238 |     1545   3940 |        0 |        0
1031.86/1032.24	c 1032s |      23 |  3071675 |  2716138 |     1545   3946 |        0 |        0
1033.86/1034.25	c 1034s |      23 |  3077328 |  2721238 |     1545   3952 |        0 |        0
1035.85/1036.25	c 1036s |      23 |  3082763 |  2726238 |     1545   3958 |        0 |        0
1037.85/1038.27	c 1038s |      23 |  3088332 |  2731438 |     1545   3964 |        0 |        0
1039.95/1040.30	c 1040s |      23 |  3093496 |  2736238 |     1545   3969 |        0 |        0
1041.95/1042.34	c 1042s |      23 |  3099204 |  2741438 |     1545   3975 |        0 |        0
1043.94/1044.37	c 1044s |      23 |  3104883 |  2746638 |     1545   3981 |        0 |        0
1046.05/1046.40	c 1046s |      23 |  3110724 |  2751938 |     1545   3987 |        0 |        0
1048.06/1048.45	c 1048s |      23 |  3116612 |  2757338 |     1545   3994 |        0 |        0
1050.05/1050.48	c 1050s |      23 |  3122219 |  2762538 |     1545   4000 |        0 |        0
1052.05/1052.49	c 1052s |      23 |  3128196 |  2767938 |     1545   4006 |        0 |        0
1054.14/1054.51	c 1054s |      23 |  3133975 |  2773238 |     1545   4012 |        0 |        0
1056.14/1056.53	c 1056s |      23 |  3139707 |  2778438 |     1545   4018 |        0 |        0
1058.14/1058.56	c 1058s |      23 |  3144967 |  2783338 |     1545   4024 |        0 |        0
1060.15/1060.58	c 1060s |      23 |  3150013 |  2787938 |     1545   4029 |        0 |        0
1062.24/1062.60	c 1062s |      23 |  3155230 |  2792738 |     1545   4035 |        0 |        0
1064.23/1064.62	c 1064s |      23 |  3160242 |  2797438 |     1545   4040 |        0 |        0
1066.23/1066.65	c 1066s |      23 |  3165635 |  2802438 |     1545   4046 |        0 |        0
1068.23/1068.68	c 1068s |      23 |  3171123 |  2807538 |     1545   4052 |        0 |        0
1070.33/1070.70	c 1070s |      23 |  3176249 |  2812338 |     1545   4058 |        0 |        0
1072.34/1072.75	c 1072s |      23 |  3181583 |  2817238 |     1545   4063 |        0 |        0
1074.33/1074.78	c 1074s |      23 |  3186495 |  2821838 |     1545   4069 |        0 |        0
1076.43/1076.81	c 1076s |      23 |  3191870 |  2826738 |     1545   4074 |        0 |        0
1078.43/1078.84	c 1078s |      23 |  3196938 |  2831438 |     1545   4080 |        0 |        0
1080.42/1080.84	c 1080s |      23 |  3202355 |  2836438 |     1545   4086 |        0 |        0
1082.42/1082.87	c 1082s |      23 |  3207501 |  2841238 |     1545   4091 |        0 |        0
1084.43/1084.88	c 1084s |      23 |  3212453 |  2845838 |     1545   4096 |        0 |        0
1086.52/1086.92	c 1086s |      23 |  3218059 |  2850838 |     1545   4102 |        0 |        0
1088.52/1088.94	c 1088s |      23 |  3223406 |  2855838 |     1545   4108 |        0 |        0
1090.52/1090.96	c 1090s |      23 |  3229082 |  2860938 |     1545   4114 |        0 |        0
1092.52/1092.98	c 1092s |      23 |  3234288 |  2865638 |     1545   4119 |        0 |        0
1094.61/1095.02	c 1095s |      23 |  3239560 |  2870438 |     1545   4125 |        0 |        0
1096.61/1097.04	c 1097s |      23 |  3244528 |  2875038 |     1545   4130 |        0 |        0
1098.62/1099.05	c 1099s |      23 |  3249342 |  2879538 |     1545   4136 |        0 |        0
1100.61/1101.08	c 1101s |      23 |  3253995 |  2883838 |     1545   4141 |        0 |        0
1102.61/1103.08	c 1103s |      23 |  3258761 |  2888238 |     1545   4146 |        0 |        0
1104.61/1105.08	c 1105s |      23 |  3264141 |  2893138 |     1545   4151 |        0 |        0
1106.71/1107.11	c 1107s |      23 |  3269265 |  2897838 |     1545   4157 |        0 |        0
1108.71/1109.14	c 1109s |      23 |  3274380 |  2902538 |     1545   4162 |        0 |        0
1110.71/1111.15	c 1111s |      23 |  3279419 |  2907138 |     1545   4168 |        0 |        0
1112.70/1113.16	c 1113s |      23 |  3284646 |  2912038 |     1545   4173 |        0 |        0
1114.70/1115.16	c 1115s |      23 |  3290234 |  2917138 |     1545   4179 |        0 |        0
1116.70/1117.18	c 1117s |      23 |  3295529 |  2922038 |     1545   4185 |        0 |        0
1118.80/1119.23	c 1119s |      23 |  3300749 |  2926838 |     1545   4191 |        0 |        0
1120.80/1121.26	c 1121s |      23 |  3305875 |  2931638 |     1545   4196 |        0 |        0
1122.90/1123.31	c 1123s |      23 |  3310597 |  2936038 |     1545   4201 |        0 |        0
1124.89/1125.31	c 1125s |      23 |  3315799 |  2940838 |     1545   4207 |        0 |        0
1126.89/1127.34	c 1127s |      23 |  3321053 |  2945738 |     1545   4213 |        0 |        0
1128.89/1129.36	c 1129s |      23 |  3326153 |  2950438 |     1545   4218 |        0 |        0
1130.99/1131.41	c 1131s |      23 |  3331327 |  2955138 |     1545   4223 |        0 |        0
1132.99/1133.45	c 1133s |      23 |  3336276 |  2959638 |     1545   4229 |        0 |        0
1134.99/1135.45	c 1135s |      23 |  3340927 |  2963938 |     1545   4234 |        0 |        0
1136.98/1137.48	c 1137s |      23 |  3346261 |  2968738 |     1545   4239 |        0 |        0
1139.08/1139.51	c 1139s |      23 |  3351642 |  2973438 |     1545   4245 |        0 |        0
1141.08/1141.52	c 1141s |      23 |  3356918 |  2978238 |     1545   4250 |        0 |        0
1143.08/1143.54	c 1143s |      23 |  3362056 |  2982838 |     1545   4256 |        0 |        0
1145.07/1145.57	c 1145s |      23 |  3367326 |  2987638 |     1545   4261 |        0 |        0
1147.17/1147.61	c 1147s |      23 |  3372111 |  2992038 |     1545   4266 |        0 |        0
1149.18/1149.61	c 1149s |      23 |  3376882 |  2996338 |     1545   4271 |        0 |        0
1151.17/1151.66	c 1151s |      23 |  3381703 |  3000638 |     1545   4276 |        0 |        0
1153.16/1153.67	c 1153s |      23 |  3386443 |  3004938 |     1545   4281 |        0 |        0
1155.16/1155.69	c 1155s |      23 |  3392093 |  3010038 |     1545   4287 |        0 |        0
1157.26/1157.70	c 1157s |      23 |  3397257 |  3014738 |     1545   4293 |        0 |        0
1159.26/1159.72	c 1159s |      23 |  3402347 |  3019438 |     1545   4298 |        0 |        0
1161.27/1161.73	c 1161s |      23 |  3407116 |  3023838 |     1545   4303 |        0 |        0
1163.26/1163.74	c 1163s |      23 |  3412357 |  3028538 |     1545   4309 |        0 |        0
1165.26/1165.74	c 1165s |      23 |  3417057 |  3032838 |     1545   4314 |        0 |        0
1167.26/1167.77	c 1167s |      23 |  3421626 |  3037038 |     1545   4319 |        0 |        0
1169.36/1169.80	c 1169s |      23 |  3426211 |  3041238 |     1545   4324 |        0 |        0
1171.35/1171.83	c 1171s |      23 |  3430626 |  3045338 |     1545   4328 |        0 |        0
1173.35/1173.84	c 1173s |      23 |  3435064 |  3049438 |     1545   4333 |        0 |        0
1175.35/1175.86	c 1175s |      23 |  3439378 |  3053438 |     1545   4338 |        0 |        0
1177.35/1177.88	c 1177s |      23 |  3443737 |  3057438 |     1545   4342 |        0 |        0
1179.45/1179.91	c 1179s |      23 |  3448654 |  3062038 |     1545   4348 |        0 |        0
1181.45/1181.94	c 1181s |      23 |  3453095 |  3066238 |     1545   4353 |        0 |        0
1183.44/1183.94	c 1183s |      23 |  3457673 |  3070538 |     1545   4358 |        0 |        0
1185.45/1185.95	c 1185s |      23 |  3462207 |  3074738 |     1545   4363 |        0 |        0
1187.54/1188.00	c 1187s |      23 |  3466890 |  3079138 |     1545   4368 |        0 |        0
1189.54/1190.03	c 1190s |      23 |  3471636 |  3083538 |     1545   4373 |        0 |        0
1191.54/1192.05	c 1192s |      23 |  3476684 |  3088238 |     1545   4378 |        0 |        0
1193.53/1194.08	c 1194s |      23 |  3481360 |  3092638 |     1545   4383 |        0 |        0
1195.63/1196.13	c 1196s |      23 |  3486159 |  3097038 |     1545   4388 |        0 |        0
1197.64/1198.16	c 1198s |      23 |  3490572 |  3101138 |     1545   4393 |        0 |        0
1199.64/1200.18	c 1200s |      23 |  3495091 |  3105338 |     1545   4398 |        0 |        0
1201.64/1202.19	c 1202s |      23 |  3499090 |  3109038 |     1545   4402 |        0 |        0
1203.73/1204.20	c 1204s |      23 |  3503279 |  3112938 |     1545   4407 |        0 |        0
1205.73/1206.26	c 1206s |      23 |  3507693 |  3117038 |     1545   4412 |        0 |        0
1207.73/1208.29	c 1208s |      23 |  3511967 |  3121038 |     1545   4416 |        0 |        0
1209.74/1210.29	c 1210s |      23 |  3516050 |  3124838 |     1545   4421 |        0 |        0
1211.83/1212.33	c 1212s |      23 |  3520413 |  3128838 |     1545   4425 |        0 |        0
1213.82/1214.36	c 1214s |      23 |  3524558 |  3132738 |     1545   4430 |        0 |        0
1215.82/1216.38	c 1216s |      23 |  3529034 |  3136738 |     1545   4435 |        0 |        0
1217.92/1218.40	c 1218s |      23 |  3533849 |  3141238 |     1545   4440 |        0 |        0
1219.92/1220.43	c 1220s |      23 |  3538581 |  3145638 |     1545   4445 |        0 |        0
1221.92/1222.45	c 1222s |      23 |  3543197 |  3149938 |     1545   4450 |        0 |        0
1223.92/1224.47	c 1224s |      23 |  3548092 |  3154438 |     1545   4455 |        0 |        0
1226.01/1226.50	c 1226s |      23 |  3553099 |  3159038 |     1545   4460 |        0 |        0
1228.01/1228.51	c 1228s |      23 |  3557480 |  3163138 |     1545   4465 |        0 |        0
1230.01/1230.54	c 1230s |      23 |  3561918 |  3167238 |     1545   4470 |        0 |        0
1232.01/1232.55	c 1232s |      23 |  3566908 |  3171838 |     1545   4475 |        0 |        0
1234.00/1234.59	c 1234s |      23 |  3571729 |  3176338 |     1545   4480 |        0 |        0
1236.11/1236.64	c 1236s |      23 |  3576121 |  3180438 |     1545   4485 |        0 |        0
1238.10/1238.66	c 1238s |      23 |  3580164 |  3184238 |     1545   4489 |        0 |        0
1240.10/1240.67	c 1240s |      23 |  3585023 |  3188738 |     1545   4495 |        0 |        0
1242.10/1242.69	c 1242s |      23 |  3589520 |  3192938 |     1545   4499 |        0 |        0
1244.10/1244.69	c 1244s |      23 |  3594162 |  3197238 |     1545   4504 |        0 |        0
1246.10/1246.69	c 1246s |      23 |  3599136 |  3201738 |     1545   4510 |        0 |        0
1248.20/1248.71	c 1248s |      23 |  3604247 |  3206438 |     1545   4515 |        0 |        0
1250.20/1250.74	c 1250s |      23 |  3609490 |  3211238 |     1545   4521 |        0 |        0
1252.19/1252.74	c 1252s |      23 |  3614423 |  3215838 |     1545   4526 |        0 |        0
1254.19/1254.79	c 1254s |      23 |  3618996 |  3220138 |     1545   4531 |        0 |        0
1256.19/1256.79	c 1256s |      23 |  3623434 |  3224238 |     1545   4536 |        0 |        0
1258.29/1258.80	c 1258s |      23 |  3628420 |  3228838 |     1545   4541 |        0 |        0
1260.29/1260.81	c 1260s |      23 |  3633165 |  3233238 |     1545   4546 |        0 |        0
1262.28/1262.81	c 1262s |      23 |  3638227 |  3237938 |     1545   4552 |        0 |        0
1264.28/1264.86	c 1264s |      23 |  3643209 |  3242538 |     1545   4557 |        0 |        0
1266.28/1266.89	c 1266s |      23 |  3647952 |  3246838 |     1545   4562 |        0 |        0
1268.38/1268.91	c 1268s |      23 |  3652841 |  3251238 |     1545   4567 |        0 |        0
1270.37/1270.96	c 1270s |      23 |  3657726 |  3255738 |     1545   4572 |        0 |        0
1272.38/1272.96	c 1272s |      23 |  3662213 |  3259838 |     1545   4577 |        0 |        0
1274.37/1274.99	c 1274s |      23 |  3666932 |  3264138 |     1545   4582 |        0 |        0
1276.47/1277.03	c 1277s |      23 |  3671493 |  3268438 |     1545   4587 |        0 |        0
1278.47/1279.04	c 1279s |      23 |  3675939 |  3272538 |     1545   4592 |        0 |        0
1280.47/1281.08	c 1281s |      23 |  3680325 |  3276638 |     1545   4597 |        0 |        0
1282.47/1283.08	c 1283s |      23 |  3684401 |  3280438 |     1545   4601 |        0 |        0
1284.56/1285.10	c 1285s |      23 |  3688713 |  3284438 |     1545   4606 |        0 |        0
1286.57/1287.13	c 1287s |      23 |  3693490 |  3288838 |     1545   4611 |        0 |        0
1288.56/1289.13	c 1289s |      23 |  3697802 |  3292838 |     1545   4615 |        0 |        0
1290.56/1291.14	c 1291s |      23 |  3702279 |  3297038 |     1545   4620 |        0 |        0
1292.56/1293.15	c 1293s |      23 |  3706566 |  3301038 |     1545   4625 |        0 |        0
1294.55/1295.16	c 1295s |      23 |  3710828 |  3305038 |     1545   4630 |        0 |        0
1296.56/1297.16	c 1297s |      23 |  3715375 |  3309138 |     1545   4635 |        0 |        0
1298.66/1299.21	c 1299s |      23 |  3720083 |  3313338 |     1545   4639 |        0 |        0
1300.65/1301.24	c 1301s |      23 |  3724385 |  3317338 |     1545   4644 |        0 |        0
1302.65/1303.28	c 1303s |      23 |  3728963 |  3321538 |     1545   4649 |        0 |        0
1304.74/1305.31	c 1305s |      23 |  3733333 |  3325538 |     1545   4654 |        0 |        0
1306.74/1307.33	c 1307s |      23 |  3737902 |  3329738 |     1545   4658 |        0 |        0
1308.74/1309.33	c 1309s |      23 |  3742129 |  3333638 |     1545   4663 |        0 |        0
1310.75/1311.34	c 1311s |      23 |  3746223 |  3337338 |     1545   4667 |        0 |        0
1312.74/1313.38	c 1313s |      23 |  3751954 |  3342538 |     1545   4673 |        0 |        0
1314.83/1315.41	c 1315s |      23 |  3757401 |  3347538 |     1545   4679 |        0 |        0
1316.83/1317.44	c 1317s |      23 |  3762474 |  3352038 |     1545   4685 |        0 |        0
1318.83/1319.45	c 1319s |      23 |  3767583 |  3356638 |     1700   4689 |        0 |        0
1320.83/1321.47	c 1321s |      23 |  3772971 |  3361338 |     1700   4695 |        0 |        0
1322.84/1323.49	c 1323s |      23 |  3778266 |  3366138 |     1700   4700 |        0 |        0
1324.92/1325.53	c 1325s |      23 |  3783356 |  3370738 |     1700   4705 |        0 |        0
1326.92/1327.59	c 1327s |      23 |  3788295 |  3375138 |     1700   4710 |        0 |        0
1327.62/1328.29	c 1328s |      24 |  3789930 |  3376662 |     1700   4711 |        0 |        0
1329.72/1330.31	c 1330s |      24 |  3796512 |  3381862 |     1700   4717 |        0 |        0
1331.73/1332.32	c 1332s |      24 |  3802353 |  3386762 |     1700   4722 |        0 |        0
1333.72/1334.35	c 1334s |      24 |  3808362 |  3391662 |     1700   4727 |        0 |        0
1335.72/1336.37	c 1336s |      24 |  3814781 |  3396762 |     1700   4733 |        0 |        0
1337.72/1338.37	c 1338s |      24 |  3820608 |  3401762 |     1700   4738 |        0 |        0
1339.82/1340.40	c 1340s |      24 |  3825985 |  3406562 |     1700   4743 |        0 |        0
1341.82/1342.41	c 1342s |      24 |  3831117 |  3411162 |     1700   4748 |        0 |        0
1343.82/1344.44	c 1344s |      24 |  3836747 |  3415962 |     1700   4753 |        0 |        0
1345.81/1346.45	c 1346s |      24 |  3842465 |  3420762 |     1700   4758 |        0 |        0
1347.81/1348.49	c 1348s |      24 |  3847890 |  3425462 |     1700   4763 |        0 |        0
1349.91/1350.51	c 1350s |      24 |  3853377 |  3430162 |     1700   4768 |        0 |        0
1351.91/1352.53	c 1352s |      24 |  3859008 |  3435062 |     1700   4774 |        0 |        0
1353.91/1354.53	c 1354s |      24 |  3864582 |  3439762 |     1700   4779 |        0 |        0
1355.91/1356.55	c 1356s |      24 |  3870232 |  3444562 |     1700   4784 |        0 |        0
1357.90/1358.56	c 1358s |      24 |  3875364 |  3449062 |     1700   4789 |        0 |        0
1359.90/1360.59	c 1360s |      24 |  3880160 |  3453262 |     1700   4793 |        0 |        0
1362.00/1362.61	c 1362s |      24 |  3885123 |  3457562 |     1700   4798 |        0 |        0
1364.00/1364.62	c 1364s |      24 |  3890211 |  3462062 |     1700   4803 |        0 |        0
1366.00/1366.62	c 1366s |      24 |  3894988 |  3466262 |     1700   4807 |        0 |        0
1368.01/1368.65	c 1368s |      24 |  3900563 |  3471162 |     1700   4812 |        0 |        0
1370.00/1370.67	c 1370s |      24 |  3906493 |  3476162 |     1700   4818 |        0 |        0
1372.00/1372.69	c 1372s |      24 |  3911585 |  3480662 |     1700   4823 |        0 |        0
1374.01/1374.69	c 1374s |      24 |  3917700 |  3485762 |     1700   4828 |        0 |        0
1376.11/1376.70	c 1376s |      24 |  3922967 |  3490562 |     1700   4833 |        0 |        0
1378.11/1378.72	c 1378s |      24 |  3927624 |  3494862 |     1700   4838 |        0 |        0
1380.12/1380.72	c 1380s |      24 |  3932537 |  3499262 |     1700   4843 |        0 |        0
1382.11/1382.75	c 1382s |      24 |  3937724 |  3503962 |     1700   4848 |        0 |        0
1384.11/1384.78	c 1384s |      24 |  3942891 |  3508562 |     1700   4853 |        0 |        0
1386.21/1386.83	c 1386s |      24 |  3948022 |  3513162 |     1700   4857 |        0 |        0
1388.21/1388.87	c 1388s |      24 |  3952955 |  3517562 |     1700   4862 |        0 |        0
1390.21/1390.88	c 1390s |      24 |  3957940 |  3522062 |     1700   4867 |        0 |        0
1392.31/1392.90	c 1392s |      24 |  3963151 |  3526762 |     1700   4872 |        0 |        0
1394.31/1394.92	c 1394s |      24 |  3968674 |  3531662 |     1700   4877 |        0 |        0
1396.31/1396.97	c 1396s |      24 |  3973850 |  3536362 |     1700   4882 |        0 |        0
1398.31/1398.98	c 1398s |      24 |  3978662 |  3540662 |     1700   4887 |        0 |        0
1400.41/1401.01	c 1400s |      24 |  3982945 |  3544562 |     1700   4891 |        0 |        0
1402.41/1403.06	c 1403s |      24 |  3988164 |  3549262 |     1700   4896 |        0 |        0
1404.41/1405.08	c 1405s |      24 |  3993152 |  3553862 |     1700   4901 |        0 |        0
1406.51/1407.10	c 1407s |      24 |  3998702 |  3558762 |     1700   4906 |        0 |        0
1408.50/1409.11	c 1409s |      24 |  4003917 |  3563462 |     1700   4911 |        0 |        0
1410.50/1411.14	c 1411s |      24 |  4008953 |  3568062 |     1700   4916 |        0 |        0
1412.50/1413.16	c 1413s |      24 |  4014027 |  3572662 |     1700   4921 |        0 |        0
1414.50/1415.19	c 1415s |      24 |  4019138 |  3577162 |     1700   4926 |        0 |        0
1416.60/1417.20	c 1417s |      24 |  4024291 |  3581762 |     1700   4931 |        0 |        0
1418.61/1419.23	c 1419s |      24 |  4029471 |  3586262 |     1700   4936 |        0 |        0
1420.60/1421.26	c 1421s |      24 |  4034425 |  3590662 |     1700   4941 |        0 |        0
1422.70/1423.31	c 1423s |      24 |  4039758 |  3595262 |     1700   4946 |        0 |        0
1424.70/1425.34	c 1425s |      24 |  4044596 |  3599562 |     1700   4950 |        0 |        0
1426.70/1427.35	c 1427s |      24 |  4049101 |  3603562 |     1700   4955 |        0 |        0
1428.70/1429.39	c 1429s |      24 |  4054192 |  3608162 |     1700   4960 |        0 |        0
1430.80/1431.44	c 1431s |      24 |  4059122 |  3612662 |     1700   4964 |        0 |        0
1432.81/1433.49	c 1433s |      24 |  4063744 |  3616862 |     1700   4969 |        0 |        0
1434.80/1435.49	c 1435s |      24 |  4068723 |  3621062 |     1700   4974 |        0 |        0
1436.90/1437.51	c 1437s |      24 |  4073173 |  3625062 |     1700   4978 |        0 |        0
1438.90/1439.53	c 1439s |      24 |  4077741 |  3629162 |     1700   4982 |        0 |        0
1440.90/1441.55	c 1441s |      24 |  4082289 |  3633262 |     1700   4987 |        0 |        0
1442.90/1443.57	c 1443s |      24 |  4086945 |  3637362 |     1700   4991 |        0 |        0
1444.90/1445.58	c 1445s |      24 |  4091238 |  3641362 |     1700   4995 |        0 |        0
1447.00/1447.62	c 1447s |      24 |  4095448 |  3645262 |     1700   5000 |        0 |        0
1449.00/1449.67	c 1449s |      24 |  4099597 |  3649162 |     1700   5004 |        0 |        0
1451.00/1451.67	c 1451s |      24 |  4104063 |  3653262 |     1700   5008 |        0 |        0
1453.00/1453.69	c 1453s |      24 |  4108362 |  3657262 |     1700   5012 |        0 |        0
1455.10/1455.73	c 1455s |      24 |  4112814 |  3661262 |     1700   5017 |        0 |        0
1457.10/1457.76	c 1457s |      24 |  4117567 |  3665462 |     1700   5021 |        0 |        0
1459.10/1459.77	c 1459s |      24 |  4121853 |  3669362 |     1700   5026 |        0 |        0
1461.19/1461.80	c 1461s |      24 |  4126209 |  3673362 |     1700   5030 |        0 |        0
1463.19/1463.80	c 1463s |      24 |  4130822 |  3677562 |     1700   5034 |        0 |        0
1465.19/1465.82	c 1465s |      24 |  4135596 |  3681862 |     1700   5039 |        0 |        0
1467.19/1467.85	c 1467s |      24 |  4139999 |  3685762 |     1700   5043 |        0 |        0
1469.20/1469.87	c 1469s |      24 |  4144395 |  3689762 |     1700   5047 |        0 |        0
1471.30/1471.91	c 1471s |      24 |  4148700 |  3693662 |     1700   5052 |        0 |        0
1473.29/1473.93	c 1473s |      24 |  4152910 |  3697462 |     1700   5056 |        0 |        0
1475.29/1475.96	c 1475s |      24 |  4157708 |  3701762 |     1700   5060 |        0 |        0
1477.29/1477.97	c 1477s |      24 |  4162841 |  3706262 |     1700   5065 |        0 |        0
1479.39/1480.00	c 1479s |      24 |  4168110 |  3710962 |     1700   5070 |        0 |        0
1481.39/1482.01	c 1481s |      24 |  4172652 |  3715062 |     1700   5075 |        0 |        0
1483.40/1484.02	c 1484s |      24 |  4177830 |  3719462 |     1700   5079 |        0 |        0
1485.39/1486.03	c 1486s |      24 |  4182350 |  3723462 |     1700   5084 |        0 |        0
1487.39/1488.04	c 1488s |      24 |  4186697 |  3727362 |     1700   5088 |        0 |        0
1489.39/1490.06	c 1490s |      24 |  4190739 |  3731062 |     1700   5092 |        0 |        0
1491.49/1492.10	c 1492s |      24 |  4195302 |  3735162 |     1700   5096 |        0 |        0
1493.49/1494.15	c 1494s |      24 |  4199644 |  3739062 |     1700   5100 |        0 |        0
1495.49/1496.15	c 1496s |      24 |  4204425 |  3743262 |     1700   5105 |        0 |        0
1497.49/1498.15	c 1498s |      24 |  4209567 |  3747862 |     1700   5110 |        0 |        0
1499.49/1500.18	c 1500s |      24 |  4214337 |  3752162 |     1700   5114 |        0 |        0
1501.49/1502.19	c 1502s |      24 |  4219180 |  3756462 |     1700   5119 |        0 |        0
1503.59/1504.21	c 1504s |      24 |  4223757 |  3760562 |     1700   5124 |        0 |        0
1505.59/1506.25	c 1506s |      24 |  4228217 |  3764562 |     1700   5128 |        0 |        0
1507.59/1508.30	c 1508s |      24 |  4232740 |  3768662 |     1700   5132 |        0 |        0
1509.69/1510.32	c 1510s |      24 |  4237288 |  3772762 |     1700   5137 |        0 |        0
1511.69/1512.38	c 1512s |      24 |  4241869 |  3776862 |     1700   5141 |        0 |        0
1513.69/1514.38	c 1514s |      24 |  4246064 |  3780662 |     1700   5145 |        0 |        0
1515.69/1516.38	c 1516s |      24 |  4250452 |  3784662 |     1700   5149 |        0 |        0
1517.69/1518.38	c 1518s |      24 |  4254685 |  3788462 |     1700   5154 |        0 |        0
1519.69/1520.39	c 1520s |      24 |  4258799 |  3792162 |     1700   5157 |        0 |        0
1521.78/1522.43	c 1522s |      24 |  4263653 |  3796462 |     1700   5162 |        0 |        0
1523.78/1524.45	c 1524s |      24 |  4268084 |  3800362 |     1700   5166 |        0 |        0
1525.78/1526.48	c 1526s |      24 |  4272613 |  3804462 |     1700   5171 |        0 |        0
1527.88/1528.50	c 1528s |      24 |  4277073 |  3808462 |     1700   5175 |        0 |        0
1529.88/1530.53	c 1530s |      24 |  4281453 |  3812462 |     1700   5179 |        0 |        0
1531.89/1532.55	c 1532s |      24 |  4285811 |  3816462 |     1700   5184 |        0 |        0
1533.88/1534.56	c 1534s |      24 |  4290336 |  3820662 |     1700   5188 |        0 |        0
1535.88/1536.58	c 1536s |      24 |  4294895 |  3824762 |     1700   5193 |        0 |        0
1537.88/1538.59	c 1538s |      24 |  4299657 |  3829062 |     1700   5197 |        0 |        0
1539.98/1540.62	c 1540s |      24 |  4305022 |  3833862 |     1700   5202 |        0 |        0
1541.98/1542.66	c 1542s |      24 |  4310158 |  3838562 |     1700   5207 |        0 |        0
1544.08/1544.70	c 1544s |      24 |  4314549 |  3842562 |     1700   5212 |        0 |        0
1546.09/1546.73	c 1546s |      24 |  4319319 |  3846862 |     1700   5216 |        0 |        0
1548.08/1548.74	c 1548s |      24 |  4324465 |  3851462 |     1700   5221 |        0 |        0
1550.08/1550.76	c 1550s |      24 |  4329249 |  3855762 |     1700   5226 |        0 |        0
1552.08/1552.76	c 1552s |      24 |  4334444 |  3860462 |     1700   5231 |        0 |        0
1554.08/1554.78	c 1554s |      24 |  4339959 |  3865362 |     1700   5236 |        0 |        0
1556.18/1556.81	c 1556s |      24 |  4345480 |  3870262 |     1700   5241 |        0 |        0
1558.18/1558.84	c 1558s |      24 |  4350668 |  3874962 |     1700   5246 |        0 |        0
1560.17/1560.84	c 1560s |      24 |  4355720 |  3879462 |     1700   5251 |        0 |        0
1562.17/1562.86	c 1562s |      24 |  4360478 |  3883862 |     1700   5256 |        0 |        0
1564.17/1564.88	c 1564s |      24 |  4365235 |  3888262 |     1700   5261 |        0 |        0
1566.27/1566.91	c 1566s |      24 |  4370560 |  3893062 |     1700   5266 |        0 |        0
1568.27/1568.91	c 1568s |      24 |  4375366 |  3897462 |     1700   5271 |        0 |        0
1570.28/1570.94	c 1570s |      24 |  4380165 |  3901762 |     1700   5275 |        0 |        0
1572.27/1572.98	c 1572s |      24 |  4385129 |  3906262 |     1700   5280 |        0 |        0
1574.37/1575.02	c 1575s |      24 |  4390050 |  3910662 |     1700   5285 |        0 |        0
1576.37/1577.04	c 1577s |      24 |  4394582 |  3914762 |     1700   5289 |        0 |        0
1578.37/1579.08	c 1579s |      24 |  4399136 |  3918862 |     1700   5294 |        0 |        0
1580.47/1581.11	c 1581s |      24 |  4403852 |  3923062 |     1700   5298 |        0 |        0
1582.48/1583.14	c 1583s |      24 |  4409087 |  3927762 |     1700   5303 |        0 |        0
1584.47/1585.17	c 1585s |      24 |  4414071 |  3932162 |     1700   5308 |        0 |        0
1586.57/1587.21	c 1587s |      24 |  4418960 |  3936562 |     1700   5313 |        0 |        0
1588.57/1589.23	c 1589s |      24 |  4423545 |  3940762 |     1700   5317 |        0 |        0
1590.57/1591.27	c 1591s |      24 |  4428504 |  3945262 |     1700   5322 |        0 |        0
1592.67/1593.30	c 1593s |      24 |  4433359 |  3949662 |     1700   5327 |        0 |        0
1594.67/1595.32	c 1595s |      24 |  4437959 |  3953862 |     1700   5331 |        0 |        0
1596.68/1597.35	c 1597s |      24 |  4442127 |  3957662 |     1700   5336 |        0 |        0
1598.67/1599.35	c 1599s |      24 |  4447187 |  3962262 |     1700   5340 |        0 |        0
1600.67/1601.36	c 1601s |      24 |  4451627 |  3966362 |     1700   5345 |        0 |        0
1602.67/1603.39	c 1603s |      24 |  4456487 |  3970762 |     1700   5350 |        0 |        0
1604.77/1605.43	c 1605s |      24 |  4460982 |  3974862 |     1700   5354 |        0 |        0
1606.77/1607.44	c 1607s |      24 |  4465324 |  3978862 |     1700   5358 |        0 |        0
1608.77/1609.45	c 1609s |      24 |  4469570 |  3982762 |     1700   5362 |        0 |        0
1610.77/1611.45	c 1611s |      24 |  4473556 |  3986362 |     1700   5366 |        0 |        0
1612.87/1613.50	c 1613s |      24 |  4477821 |  3990262 |     1700   5371 |        0 |        0
1614.87/1615.52	c 1615s |      24 |  4482438 |  3994362 |     1700   5375 |        0 |        0
1616.87/1617.56	c 1617s |      24 |  4486974 |  3998562 |     1700   5380 |        0 |        0
1618.86/1619.59	c 1619s |      24 |  4491719 |  4002862 |     1700   5384 |        0 |        0
1620.97/1621.67	c 1621s |      24 |  4496187 |  4006962 |     1700   5389 |        0 |        0
1622.96/1623.70	c 1623s |      24 |  4500658 |  4010962 |     1700   5393 |        0 |        0
1625.06/1625.75	c 1625s |      24 |  4505104 |  4014962 |     1700   5397 |        0 |        0
1627.16/1627.80	c 1627s |      24 |  4509178 |  4018762 |     1700   5401 |        0 |        0
1629.16/1629.80	c 1629s |      24 |  4513002 |  4022262 |     1700   5405 |        0 |        0
1631.16/1631.81	c 1631s |      24 |  4516925 |  4025862 |     1700   5409 |        0 |        0
1633.16/1633.85	c 1633s |      24 |  4520596 |  4029262 |     1700   5413 |        0 |        0
1635.17/1635.87	c 1635s |      24 |  4525519 |  4033762 |     1700   5417 |        0 |        0
1637.26/1637.90	c 1637s |      24 |  4530255 |  4038062 |     1700   5422 |        0 |        0
1639.26/1639.94	c 1639s |      24 |  4535048 |  4042262 |     1700   5427 |        0 |        0
1641.26/1641.99	c 1641s |      24 |  4540013 |  4046562 |     1700   5431 |        0 |        0
1643.36/1644.01	c 1643s |      24 |  4544265 |  4050362 |     1700   5435 |        0 |        0
1645.36/1646.02	c 1645s |      24 |  4548696 |  4054362 |     1700   5440 |        0 |        0
1647.37/1648.04	c 1648s |      24 |  4553292 |  4058562 |     1700   5444 |        0 |        0
1649.36/1650.08	c 1650s |      24 |  4557630 |  4062462 |     1700   5448 |        0 |        0
1651.36/1652.09	c 1652s |      24 |  4563038 |  4067162 |     1700   5453 |        0 |        0
1653.46/1654.11	c 1654s |      24 |  4567817 |  4071462 |     1700   5458 |        0 |        0
1655.46/1656.15	c 1656s |      24 |  4573273 |  4076262 |     1700   5463 |        0 |        0
1657.46/1658.17	c 1658s |      24 |  4578749 |  4080962 |     1700   5468 |        0 |        0
1659.47/1660.18	c 1660s |      24 |  4583305 |  4085162 |     1700   5473 |        0 |        0
1661.57/1662.20	c 1662s |      24 |  4588169 |  4089462 |     1700   5477 |        0 |        0
1663.57/1664.26	c 1664s |      24 |  4593194 |  4094162 |     1700   5483 |        0 |        0
1665.67/1666.30	c 1666s |      24 |  4598127 |  4098762 |     1700   5487 |        0 |        0
1667.67/1668.34	c 1668s |      24 |  4603124 |  4103262 |     1700   5492 |        0 |        0
1669.67/1670.37	c 1670s |      24 |  4607469 |  4107262 |     1700   5497 |        0 |        0
1671.76/1672.41	c 1672s |      24 |  4611883 |  4111262 |     1700   5501 |        0 |        0
1673.77/1674.43	c 1674s |      24 |  4616165 |  4115162 |     1700   5505 |        0 |        0
1675.76/1676.43	c 1676s |      24 |  4620558 |  4119062 |     1700   5509 |        0 |        0
1677.76/1678.45	c 1678s |      24 |  4625236 |  4123362 |     1700   5514 |        0 |        0
1679.76/1680.46	c 1680s |      24 |  4629440 |  4127262 |     1700   5518 |        0 |        0
1681.76/1682.47	c 1682s |      24 |  4634209 |  4131562 |     1700   5523 |        0 |        0
1683.76/1684.47	c 1684s |      24 |  4639087 |  4135962 |     1700   5527 |        0 |        0
1685.77/1686.48	c 1686s |      24 |  4643175 |  4139662 |     1700   5531 |        0 |        0
1687.86/1688.50	c 1688s |      24 |  4647395 |  4143362 |     1700   5535 |        0 |        0
1689.86/1690.53	c 1690s |      24 |  4651241 |  4146862 |     1700   5539 |        0 |        0
1691.86/1692.58	c 1692s |      24 |  4654976 |  4150262 |     1700   5543 |        0 |        0
1693.96/1694.64	c 1694s |      24 |  4658940 |  4153962 |     1700   5547 |        0 |        0
1695.96/1696.68	c 1696s |      24 |  4662896 |  4157662 |     1700   5551 |        0 |        0
1697.97/1698.69	c 1698s |      24 |  4667311 |  4161662 |     1700   5555 |        0 |        0
1700.07/1700.72	c 1700s |      24 |  4671105 |  4165162 |     1700   5559 |        0 |        0
1702.06/1702.72	c 1702s |      24 |  4676005 |  4169362 |     1700   5563 |        0 |        0
1704.06/1704.76	c 1704s |      24 |  4680746 |  4173562 |     1700   5568 |        0 |        0
1706.06/1706.76	c 1706s |      24 |  4685040 |  4177462 |     1700   5572 |        0 |        0
1708.16/1708.81	c 1708s |      24 |  4689098 |  4181262 |     1700   5576 |        0 |        0
1710.16/1710.84	c 1710s |      24 |  4693782 |  4185462 |     1700   5581 |        0 |        0
1712.16/1712.89	c 1712s |      24 |  4698181 |  4189462 |     1700   5585 |        0 |        0
1714.26/1714.94	c 1714s |      24 |  4702213 |  4193062 |     1700   5589 |        0 |        0
1716.26/1716.95	c 1716s |      24 |  4706621 |  4196862 |     1700   5593 |        0 |        0
1718.26/1718.98	c 1718s |      24 |  4711542 |  4201262 |     1700   5598 |        0 |        0
1720.36/1721.00	c 1720s |      24 |  4716194 |  4205462 |     1700   5602 |        0 |        0
1722.36/1723.05	c 1723s |      24 |  4720806 |  4209662 |     1700   5607 |        0 |        0
1724.36/1725.06	c 1725s |      24 |  4725701 |  4214062 |     1700   5611 |        0 |        0
1726.35/1727.08	c 1727s |      24 |  4730375 |  4218362 |     1700   5616 |        0 |        0
1728.35/1729.09	c 1729s |      24 |  4734843 |  4222462 |     1700   5620 |        0 |        0
1730.45/1731.13	c 1731s |      24 |  4739735 |  4226962 |     1700   5625 |        0 |        0
1732.45/1733.13	c 1733s |      24 |  4744670 |  4231462 |     1700   5630 |        0 |        0
1734.45/1735.13	c 1735s |      24 |  4750094 |  4236262 |     1700   5635 |        0 |        0
1736.46/1737.14	c 1737s |      24 |  4754909 |  4240662 |     1700   5640 |        0 |        0
1738.45/1739.18	c 1739s |      24 |  4759611 |  4244962 |     1700   5644 |        0 |        0
1740.55/1741.20	c 1741s |      24 |  4763897 |  4248862 |     1700   5648 |        0 |        0
1742.55/1743.25	c 1743s |      24 |  4768027 |  4252662 |     1700   5652 |        0 |        0
1744.55/1745.28	c 1745s |      24 |  4772002 |  4256362 |     1700   5656 |        0 |        0
1746.65/1747.32	c 1747s |      24 |  4775574 |  4259662 |     1700   5660 |        0 |        0
1748.65/1749.34	c 1749s |      24 |  4779839 |  4263562 |     1700   5664 |        0 |        0
1750.66/1751.38	c 1751s |      24 |  4784170 |  4267562 |     1700   5668 |        0 |        0
1752.75/1753.44	c 1753s |      24 |  4788782 |  4271762 |     1700   5673 |        0 |        0
1754.75/1755.46	c 1755s |      24 |  4793019 |  4275662 |     1700   5677 |        0 |        0
1756.75/1757.49	c 1757s |      24 |  4797072 |  4279362 |     1700   5681 |        0 |        0
1758.85/1759.50	c 1759s |      24 |  4800976 |  4282962 |     1700   5684 |        0 |        0
1760.85/1761.51	c 1761s |      24 |  4804382 |  4286062 |     1700   5688 |        0 |        0
1762.86/1763.53	c 1763s |      24 |  4808033 |  4289462 |     1700   5691 |        0 |        0
1764.85/1765.58	c 1765s |      24 |  4812433 |  4293462 |     1700   5695 |        0 |        0
1766.85/1767.59	c 1767s |      24 |  4816330 |  4297062 |     1700   5699 |        0 |        0
1768.95/1769.60	c 1769s |      24 |  4820000 |  4300462 |     1700   5703 |        0 |        0
1770.95/1771.61	c 1771s |      24 |  4823926 |  4304062 |     1700   5707 |        0 |        0
1772.95/1773.65	c 1773s |      24 |  4827737 |  4307562 |     1700   5710 |        0 |        0
1775.05/1775.70	c 1775s |      24 |  4831465 |  4310962 |     1700   5714 |        0 |        0
1777.05/1777.75	c 1777s |      24 |  4835810 |  4314962 |     1700   5718 |        0 |        0
1779.14/1779.80	c 1779s |      24 |  4839917 |  4318662 |     1700   5722 |        0 |        0
1781.14/1781.81	c 1781s |      24 |  4843698 |  4322062 |     1700   5726 |        0 |        0
1783.14/1783.86	c 1783s |      24 |  4847929 |  4325962 |     1700   5730 |        0 |        0
1785.14/1785.89	c 1785s |      24 |  4851643 |  4329362 |     1700   5733 |        0 |        0
1787.24/1787.91	c 1787s |      24 |  4855353 |  4332762 |     1700   5737 |        0 |        0
1789.25/1789.95	c 1789s |      24 |  4859088 |  4336162 |     1700   5741 |        0 |        0
1791.24/1791.99	c 1791s |      24 |  4863718 |  4340362 |     1700   5745 |        0 |        0
1793.34/1794.02	c 1794s |      24 |  4869349 |  4345362 |     1700   5750 |        0 |        0
1795.34/1796.04	c 1796s |      24 |  4874588 |  4350162 |     1700   5755 |        0 |        0
1797.34/1798.07	c 1798s |      24 |  4879877 |  4354862 |     1700   5760 |        0 |        0
1799.44/1800.10	c 1800s |      24 |  4885050 |  4359462 |     1700   5765 |        0 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4090030-1466037169/watcher-4090030-1466037169 -o /tmp/evaluation-result-4090030-1466037169/solver-4090030-1466037169 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090030-1466037169.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.14 2.12 2.11 3/180 9420
/proc/meminfo: memFree=30429180/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=550332 CPUtime=0 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 2024 0 0 0 0 0 0 0 20 0 4 0 5762356 563539968 1874 33554432000 4194304 16246674 140737467600672 140737467600096 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 138351 1882 441 2943 0 135245 0
[pid=9420/tid=9421] ppid=9417 vsize=567740 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 581365760 1939 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=571836 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 585560064 1955 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=575932 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5762357 589754368 1973 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.14 2.12 2.11 3/180 9420
/proc/meminfo: memFree=30429180/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 28169 0 0 0 6 3 0 0 20 0 4 0 5762356 1247350784 28008 33554432000 4194304 16246674 140737467600672 140737467600096 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 304529 28019 716 2943 0 301423 0
[pid=9420/tid=9421] ppid=9417 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1247350784 28025 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1247350784 28034 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5762357 1247350784 28042 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200545 s]
/proc/loadavg: 2.14 2.12 2.11 3/180 9420
/proc/meminfo: memFree=30429180/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 57164 0 0 0 12 6 0 0 20 0 4 0 5762356 1247350784 57003 33554432000 4194304 16246674 140737467600672 140737467582592 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 304529 57012 716 2943 0 301423 0
[pid=9420/tid=9421] ppid=9417 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1247350784 57016 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1247350784 57022 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5762357 1247350784 57028 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300477 s]
/proc/loadavg: 2.14 2.12 2.11 3/180 9420
/proc/meminfo: memFree=30429180/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 86636 0 0 0 18 10 0 0 20 0 4 0 5762356 1247350784 86476 33554432000 4194304 16246674 140737467600672 140737467582592 6836566 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 304529 86493 716 2943 0 301423 0
[pid=9420/tid=9421] ppid=9417 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1247350784 86499 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1247350784 86505 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5762357 1247350784 86513 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700408 s]
/proc/loadavg: 2.14 2.12 2.11 3/180 9420
/proc/meminfo: memFree=30429180/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 205575 0 0 0 43 26 0 0 20 0 4 0 5762356 1247350784 205415 33554432000 4194304 16246674 140737467600672 140737467582592 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 304529 205437 716 2943 0 301423 0
[pid=9420/tid=9421] ppid=9417 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1247350784 205445 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1247350784 205452 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5762357 1247350784 205458 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.14 2.12 2.11 3/184 9424
/proc/meminfo: memFree=29448160/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 267234 0 0 0 115 34 0 0 20 0 4 0 5762356 1336479744 267053 33554432000 4194304 16246674 140737467600672 140737467583672 12477999 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 326289 267053 791 2943 0 323183 0
[pid=9420/tid=9421] ppid=9417 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1336479744 267053 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1336479744 267053 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5762357 1336479744 267053 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10041 s]
/proc/loadavg: 2.14 2.12 2.11 3/184 9424
/proc/meminfo: memFree=29360616/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 267520 0 0 0 275 34 0 0 20 0 4 0 5762356 1337528320 267339 33554432000 4194304 16246674 140737467600672 140737467582592 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 326545 267339 791 2943 0 323439 0
[pid=9420/tid=9421] ppid=9417 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1337528320 267339 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1337528320 267339 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5762357 1337528320 267339 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.21 2.13 2.11 3/184 9424
/proc/meminfo: memFree=29359648/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 267611 0 0 0 595 34 0 0 20 0 4 0 5762356 1338576896 267430 33554432000 4194304 16246674 140737467600672 140737467583672 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 326801 267434 792 2943 0 323695 0
[pid=9420/tid=9421] ppid=9417 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1338576896 267436 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1338576896 267438 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5762357 1338576896 267439 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.19 2.13 2.11 3/184 9424
/proc/meminfo: memFree=29359316/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 267620 0 0 0 1235 34 0 0 20 0 4 0 5762356 1338576896 267439 33554432000 4194304 16246674 140737467600672 140737467582592 13927427 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 326801 267439 792 2943 0 323695 0
[pid=9420/tid=9421] ppid=9417 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1338576896 267439 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1338576896 267439 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5762357 1338576896 267439 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5074 s]
/proc/loadavg: 2.22 2.14 2.11 3/184 9424
/proc/meminfo: memFree=29357576/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 267660 0 0 0 2515 34 0 0 20 0 4 0 5762356 1338576896 267479 33554432000 4194304 16246674 140737467600672 140737467582592 13923648 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 326801 267479 792 2943 0 323695 0
[pid=9420/tid=9421] ppid=9417 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1338576896 267479 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1338576896 267479 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5762357 1338576896 267479 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1004 s]
/proc/loadavg: 2.23 2.14 2.11 3/184 9424
/proc/meminfo: memFree=29357424/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 267696 0 0 0 5074 34 0 0 20 0 4 0 5762356 1338576896 267515 33554432000 4194304 16246674 140737467600672 140737467582592 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 326801 267515 794 2943 0 323695 0
[pid=9420/tid=9421] ppid=9417 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1338576896 267515 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1338576896 267515 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5762357 1338576896 267515 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.17 2.14 2.11 3/183 9425
/proc/meminfo: memFree=29357196/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1307204 CPUtime=102.27 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 267696 0 0 0 10192 35 0 0 20 0 4 0 5762356 1338576896 267515 33554432000 4194304 16246674 140737467600672 140737467582592 12875409 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 326801 267515 794 2943 0 323695 0
[pid=9420/tid=9421] ppid=9417 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1338576896 267515 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1338576896 267515 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5762357 1338576896 267515 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 267984 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.07 2.11 2.09 3/183 9455
/proc/meminfo: memFree=29351160/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1308228 CPUtime=1301.75 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 268413 0 0 0 130130 45 0 0 20 0 4 0 5762356 1339625472 268045 33554432000 4194304 16246674 140737467600672 140737467582592 5852312 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 327057 268045 796 2943 0 323951 0
[pid=9420/tid=9421] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268045 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268045 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268045 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/183 9456
/proc/meminfo: memFree=29350768/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1308228 CPUtime=1361.7 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 268454 0 0 0 136125 45 0 0 20 0 4 0 5762356 1339625472 268045 33554432000 4194304 16246674 140737467600672 140737467582592 5545704 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 327057 268045 796 2943 0 323951 0
[pid=9420/tid=9421] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268045 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268045 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268045 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/183 9457
/proc/meminfo: memFree=29351472/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1308228 CPUtime=1421.7 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 268454 0 0 0 142124 46 0 0 20 0 4 0 5762356 1339625472 268045 33554432000 4194304 16246674 140737467600672 140737467582592 5823835 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 327057 268045 796 2943 0 323951 0
[pid=9420/tid=9421] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268045 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268045 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268045 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.02 2.08 2.08 3/183 9458
/proc/meminfo: memFree=29351320/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1308228 CPUtime=1481.69 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 268454 0 0 0 148123 46 0 0 20 0 4 0 5762356 1339625472 268045 33554432000 4194304 16246674 140737467600672 140737467582592 5661166 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 327057 268045 796 2943 0 323951 0
[pid=9420/tid=9421] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268045 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268045 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268045 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 1308228

[startup+1542.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/183 9460
/proc/meminfo: memFree=29350932/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1308228 CPUtime=1541.69 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 268473 0 0 0 154123 46 0 0 20 0 4 0 5762356 1339625472 268064 33554432000 4194304 16246674 140737467600672 140737467582592 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 327057 268064 796 2943 0 323951 0
[pid=9420/tid=9421] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268064 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268064 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268064 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.11 2.09 2.08 3/183 9461
/proc/meminfo: memFree=29351164/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1308228 CPUtime=1601.67 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 268473 0 0 0 160121 46 0 0 20 0 4 0 5762356 1339625472 268064 33554432000 4194304 16246674 140737467600672 140737467582592 5545876 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 327057 268064 796 2943 0 323951 0
[pid=9420/tid=9421] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268064 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268064 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268064 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 1308228

[startup+1662.31 s]
/proc/loadavg: 2.11 2.09 2.08 3/184 9563
/proc/meminfo: memFree=29350308/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1308228 CPUtime=1661.67 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 268473 0 0 0 166120 47 0 0 20 0 4 0 5762356 1339625472 268064 33554432000 4194304 16246674 140737467600672 140737467583672 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 327057 268064 796 2943 0 323951 0
[pid=9420/tid=9421] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268064 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268064 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268064 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.19 2.10 2.09 3/185 9587
/proc/meminfo: memFree=29344432/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1308228 CPUtime=1721.66 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 268473 0 0 0 172119 47 0 0 20 0 4 0 5762356 1339625472 268064 33554432000 4194304 16246674 140737467600672 140737467599848 5546023 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 327057 268064 796 2943 0 323951 0
[pid=9420/tid=9421] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268064 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268064 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268064 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/184 9588
/proc/meminfo: memFree=29344360/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1308228 CPUtime=1781.64 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 268473 0 0 0 178117 47 0 0 20 0 4 0 5762356 1339625472 268064 33554432000 4194304 16246674 140737467600672 140737467582592 6020661 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 327057 268064 796 2943 0 323951 0
[pid=9420/tid=9421] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268064 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268064 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268064 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.17 2.10 2.09 4/184 9589
/proc/meminfo: memFree=29322788/32872528 swapFree=496356/529060
[pid=9420] ppid=9417 vsize=1308228 CPUtime=1800.04 cores=0,2,4,6
/proc/9420/stat : 9420 (toysat) R 9417 9420 5955 0 -1 4202496 268473 0 0 0 179957 47 0 0 20 0 4 0 5762356 1339625472 268064 33554432000 4194304 16246674 140737467600672 140737467582592 5723721 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9420/statm: 327057 268064 796 2943 0 323951 0
[pid=9420/tid=9421] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9421/stat : 9421 (toysat) S 9417 9420 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268064 33554432000 4194304 16246674 140737467600672 139686562475248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9420/tid=9422] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9422/stat : 9422 (toysat) S 9417 9420 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268064 33554432000 4194304 16246674 140737467600672 139686551985392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9420/tid=9423] ppid=9417 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9420/task/9423/stat : 9423 (toysat) S 9417 9420 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5762357 1339625472 268064 33554432000 4194304 16246674 140737467600672 139686541511856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1308228

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.71
CPU time (s): 1800.06
CPU user time (s): 1799.58
CPU system time (s): 0.476927
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.476927
maximum resident set size= 1072256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268473
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= 499
involuntary context switches= 1997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.38872 second user time and 19.666 second system time

The end

Begin job on node141 at 2016-06-16 02:32:49
IDJOB=4090030
IDBENCH=107491
IDSOLVER=2542
FILE ID=node141/4090030-1466037169
RUNJOBID= node141-1466008015-5971
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 6cfe05e4c3b2b7813db81d670e2a8e1d
RANDOM SEED=473341195

node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30430180 kB
Buffers:           48920 kB
Cached:            80604 kB
SwapCached:        13088 kB
Active:          1136136 kB
Inactive:          77264 kB
Active(anon):    1074056 kB
Inactive(anon):    12044 kB
Active(file):      62080 kB
Inactive(file):    65220 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088076 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       1674468 kB
Mapped:            10396 kB
Shmem:                 0 kB
Slab:             567484 kB
SReclaimable:      11348 kB
SUnreclaim:       556136 kB
KernelStack:        1528 kB
PageTables:         7172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1746756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    106496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

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