0.00/0.00	c 2016-06-06T20:56:37+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-4078765-1465239397.opb"]
0.00/0.01	c use --random-gen="2514000347 2315403735 2112172692 1221921433 3501144384 498539466 3475647309 671451303 2131837850 1525096590 3584992681 135110582 1714487654 948970154 3271194779 2867477020 2478897667 1882369362 2442334868 190197124 2990474342 1867849982 3443431978 1540502001 1376819198 476499825 4247118914 4189047407 1985609724 2327354298 725604683 764503605 728499660 1443490814 4142764582 1286105252 2815484453 3987470436 3844304848 1767228392 820120361 2889577587 3282778490 3452037338 1130186518 1025011123 1919948044 4025682068 3194845378 1315160082 3498443852 365586989 4009944345 3640547729 3042516907 1638367678 1443762508 4005126339 758596108 3388483833 1210871127 684417934 1862783319 314746720 467889081 887177188 2039827550 799618011 496186396 1014791162 123378270 1229534108 2868921909 3120386413 1557842033 1956680414 2303171509 2401355552 684060643 544032378 3006884116 844246234 2028770528 914610748 1665166944 748179476 3419026408 2590597661 599928309 3538408136 1297741992 2934895073 352291127 4039126929 2177225085 1837713128 2908955652 315310701 377858681 1623761165 1254696827 4003679614 637301443 3672689120 697587326 1663708517 2555799735 2662953356 168539648 2258142500 324826646 1380569568 1755979902 337566585 770465939 2002001411 1594459243 1238475423 2888416285 2823449773 1745784020 284996633 1853553593 3357641226 4269539759 2921694560 3349249388 817033384 322456774 820232744 1192510652 1178651489 1384140263 4141098128 3326513904 1608898906 1196446950 2515232317 1853732673 1827276322 1044472033 2804718362 124678442 3316160856 3568665926 211350245 2278156447 2243976250 4286369720 4071401127 671878198 1913847677 1774921842 3697853688 410510749 530112377 2638236902 4239973934 1363745620 752058725 1202736152 1645745376 493630425 28374532 1635794347 1253032432 3753512563 1697994884 88523982 2786287420 2210586900 636628284 1397180390 3833885685 64096066 633049954 1527755697 2679716340 2545798120 3254425702 4034666971 1234950592 1026466394 3348740481 4221312763 3075351440 1032125636 3204525917 2111066267 2559025030 2437122043 2519088688 2293705460 2398937471 3332041684 2646174391 2814626602 3093500711 4129534120 720604826 3652962856 701394996 2494351486 3302248589 3515407054 1599836504 2422893565 699172118 6798669 2416131028 2959521060 3212377009 2299963517 2584391839 1249877787 765896069 2526816322 627525273 1449892818 4173834264 2675129108 3371433626 98862252 3478802355 3001831052 1302858591 1757890225 4086528452 2214369670 2750343158 3332431424 562129424 3698242330 589338940 3624699005 1828264552 3691941450 3402456187 1326862088 3399181488 2242673959 1728124408 3690059489 306147764 3864337662 2820806354 3909429462 531744819 145919876 1119130890 3325589898 1120145440 3922959822 1311250730 1440369830 1326803073 255 362436" option to reproduce the execution
0.00/0.01	c #vars 500
0.00/0.01	c #constraints 45
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      181      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      134 |      100 |      181      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      492 |      250 |      200      0 |        0 |        0
0.09/0.19	c  0.2s |       3 |      972 |      475 |      221      1 |        0 |        0
0.29/0.36	c  0.3s |       4 |     1857 |      813 |      244      2 |        0 |        0
0.59/0.63	c  0.6s |       5 |     2874 |     1320 |      269      4 |        0 |        0
0.79/0.86	c  0.8s |       6 |     4353 |     2081 |      326      7 |        0 |        0
1.19/1.26	c  1.3s |       7 |     5936 |     3223 |      359     10 |        0 |        0
1.79/1.81	c  1.8s |       8 |     8292 |     4936 |      395     15 |        0 |        0
2.79/2.82	c  2.8s |       9 |    11893 |     7506 |      435     21 |        0 |        0
4.29/4.34	c  4.3s |      10 |    16630 |    11361 |      479     30 |        0 |        0
6.28/6.35	c  6.3s |      10 |    22495 |    16161 |      479     41 |        0 |        0
6.78/6.82	c  6.8s |      11 |    23605 |    17144 |      527     43 |        0 |        0
8.79/8.83	c  8.8s |      11 |    29729 |    22144 |      527     54 |        0 |        0
10.38/10.48	c 10.5s |      12 |    33829 |    25819 |      580     61 |        0 |        0
12.39/12.49	c 12.5s |      12 |    39561 |    30519 |      580     71 |        0 |        0
14.40/14.49	c 14.5s |      12 |    45217 |    35619 |      580     81 |        0 |        0
15.79/15.82	c 15.8s |      13 |    48758 |    38832 |      638     87 |        0 |        0
17.79/17.85	c 17.8s |      13 |    55144 |    44132 |      638     97 |        0 |        0
19.80/19.86	c 19.9s |      13 |    60010 |    48432 |      638    105 |        0 |        0
21.79/21.89	c 21.9s |      13 |    64755 |    52632 |      638    113 |        0 |        0
23.89/23.90	c 23.9s |      13 |    69020 |    56432 |      638    121 |        0 |        0
24.89/24.95	c 24.9s |      14 |    71147 |    58352 |      702    124 |        0 |        0
26.89/26.97	c 27.0s |      14 |    76953 |    63152 |      702    133 |        0 |        0
28.99/29.02	c 29.0s |      14 |    82395 |    67852 |      702    141 |        0 |        0
30.99/31.02	c 31.0s |      14 |    86879 |    71852 |      702    148 |        0 |        0
33.00/33.04	c 33.0s |      14 |    91090 |    75652 |      702    155 |        0 |        0
34.99/35.08	c 35.1s |      14 |    95747 |    79752 |      702    162 |        0 |        0
37.09/37.10	c 37.1s |      14 |   100020 |    83652 |      702    169 |        0 |        0
39.09/39.10	c 39.1s |      15 |   104436 |    87632 |      773    176 |        0 |        0
41.08/41.11	c 41.1s |      15 |   109944 |    92132 |      773    184 |        0 |        0
43.08/43.12	c 43.1s |      15 |   114708 |    96332 |      773    191 |        0 |        0
45.09/45.14	c 45.1s |      15 |   119026 |   100132 |      773    197 |        0 |        0
47.08/47.17	c 47.2s |      15 |   123439 |   104132 |      773    204 |        0 |        0
49.18/49.20	c 49.2s |      15 |   127961 |   108232 |      773    211 |        0 |        0
51.18/51.24	c 51.2s |      15 |   132198 |   112132 |      773    218 |        0 |        0
53.18/53.25	c 53.2s |      15 |   136434 |   116032 |      773    224 |        0 |        0
55.18/55.28	c 55.3s |      15 |   141672 |   120632 |      773    232 |        0 |        0
57.19/57.29	c 57.3s |      15 |   146705 |   124832 |      773    239 |        0 |        0
59.28/59.33	c 59.3s |      15 |   150871 |   128532 |      773    245 |        0 |        0
60.98/61.04	c 61.0s |      16 |   154342 |   131552 |      851    250 |        0 |        0
62.98/63.05	c 63.0s |      16 |   160054 |   136252 |      851    258 |        0 |        0
64.99/65.09	c 65.1s |      16 |   165098 |   140652 |      851    265 |        0 |        0
67.09/67.10	c 67.1s |      16 |   169930 |   144952 |      851    271 |        0 |        0
69.08/69.13	c 69.1s |      16 |   174901 |   149452 |      851    279 |        0 |        0
71.08/71.16	c 71.1s |      16 |   179515 |   153652 |      851    285 |        0 |        0
73.08/73.16	c 73.2s |      16 |   183803 |   157552 |      851    291 |        0 |        0
75.08/75.18	c 75.2s |      16 |   188416 |   161652 |      851    298 |        0 |        0
77.18/77.20	c 77.2s |      16 |   193172 |   165752 |      851    304 |        0 |        0
79.19/79.23	c 79.2s |      16 |   197206 |   169352 |      851    310 |        0 |        0
81.18/81.26	c 81.2s |      16 |   201568 |   173152 |      851    316 |        0 |        0
83.28/83.30	c 83.3s |      16 |   204890 |   176152 |      851    321 |        0 |        0
85.28/85.30	c 85.3s |      16 |   208658 |   179552 |      851    326 |        0 |        0
87.27/87.31	c 87.3s |      16 |   212193 |   182752 |      851    331 |        0 |        0
89.27/89.36	c 89.3s |      16 |   216407 |   186452 |      851    337 |        0 |        0
91.28/91.36	c 91.3s |      16 |   220424 |   190052 |      851    343 |        0 |        0
93.37/93.42	c 93.4s |      16 |   225163 |   194352 |      851    349 |        0 |        0
94.97/95.03	c 95.0s |      17 |   228575 |   197432 |      937    354 |        0 |        0
96.97/97.05	c 97.0s |      17 |   234589 |   202332 |      937    361 |        0 |        0
98.98/99.09	c 99.1s |      17 |   239543 |   206732 |      937    368 |        0 |        0
101.07/101.12	c  101s |      17 |   243766 |   210532 |      937    374 |        0 |        0
103.07/103.12	c  103s |      17 |   247897 |   214232 |      937    379 |        0 |        0
105.07/105.13	c  105s |      17 |   252171 |   218132 |      937    385 |        0 |        0
107.07/107.16	c  107s |      17 |   256587 |   222132 |      937    391 |        0 |        0
109.17/109.20	c  109s |      17 |   260986 |   226132 |      937    396 |        0 |        0
111.18/111.21	c  111s |      17 |   265806 |   230132 |      937    402 |        0 |        0
113.17/113.25	c  113s |      17 |   269950 |   233732 |      937    408 |        0 |        0
115.17/115.27	c  115s |      17 |   273891 |   237232 |      937    413 |        0 |        0
117.17/117.28	c  117s |      17 |   277901 |   240832 |      937    418 |        0 |        0
119.27/119.32	c  119s |      17 |   281877 |   244432 |      937    424 |        0 |        0
121.27/121.38	c  121s |      17 |   286268 |   248332 |      937    429 |        0 |        0
123.37/123.42	c  123s |      17 |   291008 |   252532 |      937    436 |        0 |        0
125.37/125.43	c  125s |      17 |   295581 |   256632 |      937    442 |        0 |        0
127.37/127.46	c  127s |      17 |   300107 |   260532 |      937    447 |        0 |        0
129.37/129.49	c  129s |      17 |   303796 |   263932 |      937    452 |        0 |        0
131.47/131.51	c  131s |      17 |   308421 |   268032 |      937    458 |        0 |        0
133.46/133.52	c  133s |      17 |   312958 |   272032 |      937    464 |        0 |        0
135.46/135.55	c  135s |      17 |   317069 |   275732 |      937    470 |        0 |        0
137.48/137.60	c  137s |      17 |   321156 |   279432 |      937    475 |        0 |        0
139.57/139.66	c  139s |      17 |   324616 |   282632 |      937    480 |        0 |        0
141.57/141.69	c  141s |      17 |   328697 |   286232 |      937    485 |        0 |        0
143.67/143.72	c  143s |      17 |   332254 |   289532 |      937    490 |        0 |        0
145.67/145.73	c  145s |      17 |   336340 |   293132 |      937    496 |        0 |        0
147.38/147.45	c  147s |      18 |   339863 |   296252 |     1031    500 |        0 |        0
149.37/149.46	c  149s |      18 |   345212 |   300752 |     1031    506 |        0 |        0
151.47/151.50	c  151s |      18 |   349852 |   304952 |     1031    512 |        0 |        0
153.47/153.52	c  153s |      18 |   353664 |   308452 |     1031    517 |        0 |        0
155.47/155.56	c  155s |      18 |   357864 |   312252 |     1031    522 |        0 |        0
157.47/157.56	c  157s |      18 |   362146 |   316052 |     1031    527 |        0 |        0
159.48/159.56	c  159s |      18 |   366115 |   319652 |     1031    532 |        0 |        0
161.57/161.60	c  161s |      18 |   370109 |   323252 |     1031    537 |        0 |        0
163.57/163.63	c  163s |      18 |   374286 |   326952 |     1031    542 |        0 |        0
165.57/165.67	c  165s |      18 |   378714 |   330852 |     1031    548 |        0 |        0
167.57/167.69	c  167s |      18 |   383516 |   335052 |     1031    553 |        0 |        0
169.67/169.71	c  169s |      18 |   387487 |   338652 |     1031    558 |        0 |        0
171.67/171.73	c  171s |      18 |   391531 |   342352 |     1031    563 |        0 |        0
173.67/173.77	c  173s |      18 |   395934 |   346352 |     1031    569 |        0 |        0
175.77/175.83	c  175s |      18 |   400498 |   350552 |     1031    575 |        0 |        0
177.77/177.85	c  177s |      18 |   405487 |   355052 |     1031    581 |        0 |        0
179.76/179.85	c  179s |      18 |   409824 |   358752 |     1031    586 |        0 |        0
181.76/181.89	c  181s |      18 |   414272 |   362652 |     1031    591 |        0 |        0
183.86/183.93	c  183s |      18 |   418463 |   366452 |     1031    597 |        0 |        0
185.87/185.97	c  185s |      18 |   422422 |   370052 |     1031    601 |        0 |        0
187.96/188.02	c  188s |      18 |   426854 |   374052 |     1031    607 |        0 |        0
189.96/190.02	c  190s |      18 |   431128 |   377852 |     1031    612 |        0 |        0
191.96/192.07	c  192s |      18 |   435384 |   381652 |     1031    617 |        0 |        0
194.06/194.12	c  194s |      18 |   439382 |   385152 |     1031    622 |        0 |        0
196.06/196.14	c  196s |      18 |   443441 |   388752 |     1031    627 |        0 |        0
198.07/198.18	c  198s |      18 |   447325 |   392252 |     1031    632 |        0 |        0
200.17/200.21	c  200s |      18 |   451039 |   395652 |     1031    637 |        0 |        0
202.16/202.22	c  202s |      18 |   454991 |   399252 |     1031    642 |        0 |        0
204.16/204.24	c  204s |      18 |   458510 |   402452 |     1031    646 |        0 |        0
206.16/206.25	c  206s |      18 |   461837 |   405452 |     1031    650 |        0 |        0
208.16/208.29	c  208s |      18 |   464919 |   408152 |     1031    654 |        0 |        0
210.26/210.35	c  210s |      18 |   467907 |   410852 |     1031    658 |        0 |        0
212.26/212.38	c  212s |      18 |   471886 |   414252 |     1031    662 |        0 |        0
214.36/214.41	c  214s |      18 |   475579 |   417552 |     1031    667 |        0 |        0
216.36/216.42	c  216s |      18 |   479014 |   420652 |     1031    671 |        0 |        0
218.36/218.46	c  218s |      18 |   482720 |   423952 |     1031    676 |        0 |        0
220.46/220.53	c  220s |      18 |   486000 |   426952 |     1031    680 |        0 |        0
222.46/222.54	c  222s |      18 |   489680 |   430252 |     1031    684 |        0 |        0
224.55/224.60	c  224s |      18 |   493557 |   433752 |     1031    689 |        0 |        0
226.56/226.69	c  226s |      18 |   497103 |   436952 |     1031    694 |        0 |        0
228.65/228.71	c  228s |      18 |   500813 |   440352 |     1031    698 |        0 |        0
230.65/230.71	c  230s |      18 |   504100 |   443352 |     1135    702 |        0 |        0
231.35/231.40	c  231s |      19 |   505341 |   444482 |     1135    704 |        0 |        0
233.35/233.42	c  233s |      19 |   510776 |   448882 |     1135    709 |        0 |        0
235.36/235.45	c  235s |      19 |   515398 |   452882 |     1135    714 |        0 |        0
237.35/237.48	c  237s |      19 |   519681 |   456682 |     1135    719 |        0 |        0
239.45/239.52	c  239s |      19 |   523494 |   460182 |     1135    724 |        0 |        0
241.45/241.55	c  241s |      19 |   527271 |   463682 |     1135    728 |        0 |        0
243.55/243.60	c  243s |      19 |   531197 |   467282 |     1135    733 |        0 |        0
245.55/245.60	c  245s |      19 |   535018 |   470782 |     1135    737 |        0 |        0
247.56/247.64	c  247s |      19 |   538641 |   474082 |     1135    742 |        0 |        0
249.55/249.66	c  249s |      19 |   542226 |   477382 |     1135    746 |        0 |        0
251.55/251.67	c  251s |      19 |   546923 |   481482 |     1135    751 |        0 |        0
253.65/253.71	c  253s |      19 |   551669 |   485682 |     1135    757 |        0 |        0
255.65/255.75	c  255s |      19 |   555824 |   489382 |     1135    761 |        0 |        0
257.65/257.77	c  257s |      19 |   559933 |   493082 |     1135    766 |        0 |        0
259.65/259.78	c  259s |      19 |   563747 |   496482 |     1135    771 |        0 |        0
261.65/261.80	c  261s |      19 |   568466 |   500582 |     1135    776 |        0 |        0
263.75/263.85	c  263s |      19 |   572840 |   504382 |     1135    781 |        0 |        0
265.75/265.86	c  265s |      19 |   576759 |   507882 |     1135    785 |        0 |        0
267.75/267.88	c  267s |      19 |   580944 |   511682 |     1135    790 |        0 |        0
269.85/269.93	c  269s |      19 |   584607 |   514982 |     1135    795 |        0 |        0
271.85/271.95	c  271s |      19 |   589044 |   518882 |     1135    800 |        0 |        0
273.85/273.97	c  273s |      19 |   592801 |   522282 |     1135    804 |        0 |        0
275.85/275.98	c  275s |      19 |   596973 |   526082 |     1135    809 |        0 |        0
277.94/278.00	c  277s |      19 |   601011 |   529682 |     1135    814 |        0 |        0
279.94/280.05	c  280s |      19 |   604971 |   533182 |     1135    818 |        0 |        0
281.94/282.08	c  282s |      19 |   608684 |   536482 |     1135    822 |        0 |        0
283.94/284.10	c  284s |      19 |   612580 |   539982 |     1135    827 |        0 |        0
285.95/286.10	c  286s |      19 |   616247 |   543282 |     1135    831 |        0 |        0
288.04/288.16	c  288s |      19 |   619919 |   546582 |     1135    836 |        0 |        0
290.14/290.20	c  290s |      19 |   624140 |   550282 |     1135    840 |        0 |        0
292.14/292.21	c  292s |      19 |   628194 |   553982 |     1135    845 |        0 |        0
294.14/294.28	c  294s |      19 |   632382 |   557782 |     1135    850 |        0 |        0
296.24/296.30	c  296s |      19 |   635963 |   561082 |     1135    854 |        0 |        0
298.24/298.35	c  298s |      19 |   640108 |   564782 |     1135    859 |        0 |        0
300.35/300.42	c  300s |      19 |   643873 |   568182 |     1135    864 |        0 |        0
302.34/302.45	c  302s |      19 |   647517 |   571482 |     1135    868 |        0 |        0
304.34/304.47	c  304s |      19 |   651011 |   574682 |     1135    872 |        0 |        0
306.44/306.52	c  306s |      19 |   654649 |   577882 |     1135    876 |        0 |        0
308.44/308.52	c  308s |      19 |   658847 |   581582 |     1135    881 |        0 |        0
310.44/310.56	c  310s |      19 |   663052 |   585382 |     1135    886 |        0 |        0
312.55/312.62	c  312s |      19 |   667239 |   589082 |     1135    891 |        0 |        0
314.55/314.63	c  314s |      19 |   671193 |   592582 |     1135    895 |        0 |        0
316.54/316.69	c  316s |      19 |   675025 |   595982 |     1135    900 |        0 |        0
318.64/318.75	c  318s |      19 |   678782 |   599382 |     1135    904 |        0 |        0
320.74/320.83	c  320s |      19 |   682422 |   602682 |     1135    908 |        0 |        0
322.74/322.88	c  322s |      19 |   685953 |   605882 |     1135    912 |        0 |        0
324.74/324.89	c  324s |      19 |   689673 |   609182 |     1135    917 |        0 |        0
326.84/326.91	c  326s |      19 |   693801 |   612882 |     1135    921 |        0 |        0
328.85/328.91	c  328s |      19 |   697643 |   616382 |     1135    926 |        0 |        0
330.84/330.92	c  330s |      19 |   701172 |   619682 |     1135    930 |        0 |        0
332.84/332.97	c  332s |      19 |   704697 |   622882 |     1135    934 |        0 |        0
334.84/334.97	c  334s |      19 |   708152 |   625982 |     1135    938 |        0 |        0
336.94/337.00	c  336s |      19 |   711438 |   628982 |     1135    942 |        0 |        0
338.94/339.04	c  339s |      19 |   714975 |   632182 |     1135    946 |        0 |        0
340.94/341.08	c  341s |      19 |   719456 |   636182 |     1135    952 |        0 |        0
343.04/343.11	c  343s |      19 |   723597 |   639882 |     1135    956 |        0 |        0
345.04/345.12	c  345s |      19 |   727265 |   643182 |     1135    961 |        0 |        0
347.04/347.13	c  347s |      19 |   730722 |   646282 |     1135    965 |        0 |        0
349.04/349.17	c  349s |      19 |   734227 |   649482 |     1135    969 |        0 |        0
351.14/351.20	c  351s |      19 |   737566 |   652482 |     1135    973 |        0 |        0
353.14/353.23	c  353s |      19 |   740987 |   655482 |     1135    977 |        0 |        0
355.14/355.30	c  355s |      19 |   744397 |   658582 |     1135    981 |        0 |        0
357.24/357.33	c  357s |      19 |   747873 |   661682 |     1135    985 |        0 |        0
359.24/359.35	c  359s |      19 |   750828 |   664382 |     1249    988 |        0 |        0
361.04/361.15	c  361s |      20 |   753435 |   666827 |     1249    991 |        0 |        0
363.04/363.19	c  363s |      20 |   758780 |   671027 |     1249    996 |        0 |        0
365.14/365.22	c  365s |      20 |   763614 |   675127 |     1249   1001 |        0 |        0
367.13/367.23	c  367s |      20 |   767801 |   678827 |     1249   1005 |        0 |        0
369.13/369.26	c  369s |      20 |   771913 |   682427 |     1249   1009 |        0 |        0
371.23/371.30	c  371s |      20 |   775876 |   685927 |     1249   1013 |        0 |        0
373.23/373.31	c  373s |      20 |   779725 |   689327 |     1249   1018 |        0 |        0
375.23/375.33	c  375s |      20 |   783512 |   692727 |     1249   1022 |        0 |        0
377.24/377.33	c  377s |      20 |   787096 |   696027 |     1249   1026 |        0 |        0
379.33/379.41	c  379s |      20 |   790816 |   699427 |     1249   1030 |        0 |        0
381.33/381.43	c  381s |      20 |   794519 |   702727 |     1249   1034 |        0 |        0
383.33/383.45	c  383s |      20 |   798867 |   706627 |     1249   1038 |        0 |        0
385.33/385.48	c  385s |      20 |   803230 |   710527 |     1249   1043 |        0 |        0
387.43/387.52	c  387s |      20 |   807459 |   714327 |     1249   1047 |        0 |        0
389.43/389.58	c  389s |      20 |   811296 |   717727 |     1249   1052 |        0 |        0
391.53/391.61	c  391s |      20 |   815345 |   721327 |     1249   1056 |        0 |        0
393.53/393.61	c  393s |      20 |   819092 |   724727 |     1249   1060 |        0 |        0
395.52/395.65	c  395s |      20 |   823248 |   728427 |     1249   1064 |        0 |        0
397.52/397.67	c  397s |      20 |   827837 |   732527 |     1249   1069 |        0 |        0
399.62/399.71	c  399s |      20 |   832214 |   736527 |     1249   1074 |        0 |        0
401.62/401.71	c  401s |      20 |   836975 |   740527 |     1249   1079 |        0 |        0
403.63/403.78	c  403s |      20 |   841368 |   744427 |     1249   1084 |        0 |        0
405.62/405.78	c  405s |      20 |   845367 |   748027 |     1249   1088 |        0 |        0
407.72/407.82	c  407s |      20 |   848981 |   751327 |     1249   1092 |        0 |        0
409.72/409.83	c  409s |      20 |   852689 |   754627 |     1249   1096 |        0 |        0
411.72/411.85	c  411s |      20 |   856234 |   757827 |     1249   1100 |        0 |        0
413.72/413.86	c  413s |      20 |   859941 |   761127 |     1249   1104 |        0 |        0
415.83/415.93	c  415s |      20 |   863662 |   764427 |     1249   1108 |        0 |        0
417.82/417.99	c  417s |      20 |   867278 |   767627 |     1249   1112 |        0 |        0
419.92/420.00	c  419s |      20 |   871224 |   771027 |     1249   1116 |        0 |        0
421.92/422.02	c  422s |      20 |   874681 |   774127 |     1249   1119 |        0 |        0
423.92/424.04	c  424s |      20 |   878142 |   777227 |     1249   1123 |        0 |        0
426.02/426.11	c  426s |      20 |   881977 |   780627 |     1249   1127 |        0 |        0
428.02/428.14	c  428s |      20 |   885343 |   783627 |     1249   1131 |        0 |        0
430.03/430.18	c  430s |      20 |   888049 |   786127 |     1249   1134 |        0 |        0
432.12/432.23	c  432s |      20 |   891719 |   789427 |     1249   1138 |        0 |        0
434.12/434.27	c  434s |      20 |   895119 |   792527 |     1249   1141 |        0 |        0
436.12/436.28	c  436s |      20 |   898298 |   795427 |     1249   1145 |        0 |        0
438.22/438.33	c  438s |      20 |   901964 |   798627 |     1249   1149 |        0 |        0
440.22/440.36	c  440s |      20 |   905529 |   801827 |     1249   1153 |        0 |        0
442.22/442.37	c  442s |      20 |   908998 |   804927 |     1249   1156 |        0 |        0
444.32/444.41	c  444s |      20 |   912454 |   808027 |     1249   1160 |        0 |        0
446.32/446.45	c  446s |      20 |   915927 |   811127 |     1249   1164 |        0 |        0
448.33/448.47	c  448s |      20 |   919261 |   814127 |     1249   1167 |        0 |        0
450.43/450.53	c  450s |      20 |   922829 |   817327 |     1249   1171 |        0 |        0
452.43/452.58	c  452s |      20 |   926027 |   820227 |     1249   1175 |        0 |        0
454.52/454.61	c  454s |      20 |   929353 |   823227 |     1249   1178 |        0 |        0
456.53/456.61	c  456s |      20 |   933059 |   826527 |     1249   1182 |        0 |        0
458.52/458.63	c  458s |      20 |   936229 |   829427 |     1249   1186 |        0 |        0
460.52/460.64	c  460s |      20 |   939282 |   832227 |     1249   1189 |        0 |        0
462.62/462.70	c  462s |      20 |   942698 |   835327 |     1249   1193 |        0 |        0
464.62/464.70	c  464s |      20 |   945640 |   838027 |     1249   1196 |        0 |        0
466.62/466.76	c  466s |      20 |   949171 |   841227 |     1249   1200 |        0 |        0
468.72/468.82	c  468s |      20 |   953045 |   844727 |     1249   1204 |        0 |        0
470.73/470.85	c  470s |      20 |   956426 |   847827 |     1249   1208 |        0 |        0
472.72/472.88	c  472s |      20 |   959803 |   850927 |     1249   1212 |        0 |        0
474.82/474.93	c  474s |      20 |   962880 |   853727 |     1249   1215 |        0 |        0
476.82/476.95	c  476s |      20 |   965984 |   856527 |     1249   1219 |        0 |        0
478.82/478.98	c  478s |      20 |   969328 |   859627 |     1249   1222 |        0 |        0
480.82/480.99	c  480s |      20 |   972507 |   862527 |     1249   1226 |        0 |        0
482.93/483.07	c  483s |      20 |   975315 |   865127 |     1249   1229 |        0 |        0
485.03/485.11	c  485s |      20 |   978251 |   867727 |     1249   1232 |        0 |        0
487.02/487.12	c  487s |      20 |   982104 |   871127 |     1249   1236 |        0 |        0
489.02/489.16	c  489s |      20 |   986025 |   874527 |     1249   1240 |        0 |        0
491.02/491.17	c  491s |      20 |   989519 |   877627 |     1249   1244 |        0 |        0
493.02/493.19	c  493s |      20 |   992824 |   880627 |     1249   1248 |        0 |        0
495.12/495.20	c  495s |      20 |   996119 |   883627 |     1249   1251 |        0 |        0
497.12/497.24	c  497s |      20 |   999529 |   886727 |     1249   1255 |        0 |        0
499.12/499.24	c  499s |      20 |  1002840 |   889727 |     1249   1259 |        0 |        0
501.12/501.26	c  501s |      20 |  1006019 |   892627 |     1249   1262 |        0 |        0
503.11/503.26	c  503s |      20 |  1009114 |   895427 |     1249   1265 |        0 |        0
505.22/505.32	c  505s |      20 |  1012188 |   898227 |     1249   1269 |        0 |        0
507.21/507.34	c  507s |      20 |  1014890 |   900727 |     1249   1272 |        0 |        0
509.22/509.39	c  509s |      20 |  1018068 |   903527 |     1249   1275 |        0 |        0
511.31/511.42	c  511s |      20 |  1022043 |   907127 |     1249   1280 |        0 |        0
513.31/513.43	c  513s |      20 |  1025924 |   910627 |     1249   1284 |        0 |        0
515.31/515.45	c  515s |      20 |  1029889 |   914127 |     1249   1288 |        0 |        0
517.41/517.51	c  517s |      20 |  1033884 |   917727 |     1249   1292 |        0 |        0
519.41/519.55	c  519s |      20 |  1037332 |   920827 |     1249   1296 |        0 |        0
521.51/521.62	c  521s |      20 |  1041273 |   924327 |     1249   1300 |        0 |        0
523.52/523.63	c  523s |      20 |  1044489 |   927227 |     1249   1304 |        0 |        0
525.51/525.68	c  525s |      20 |  1048897 |   931127 |     1249   1308 |        0 |        0
527.61/527.71	c  527s |      20 |  1052895 |   934727 |     1249   1313 |        0 |        0
529.61/529.77	c  529s |      20 |  1056508 |   938027 |     1249   1317 |        0 |        0
531.61/531.79	c  531s |      20 |  1059917 |   941127 |     1249   1320 |        0 |        0
533.71/533.81	c  533s |      20 |  1063417 |   944227 |     1249   1324 |        0 |        0
535.71/535.82	c  535s |      20 |  1066150 |   946727 |     1249   1327 |        0 |        0
537.71/537.90	c  537s |      20 |  1069207 |   949527 |     1249   1331 |        0 |        0
539.81/539.91	c  539s |      20 |  1072225 |   952227 |     1249   1334 |        0 |        0
541.81/541.95	c  541s |      20 |  1075801 |   955427 |     1249   1338 |        0 |        0
543.91/544.00	c  543s |      20 |  1080173 |   959227 |     1249   1342 |        0 |        0
545.90/546.01	c  545s |      20 |  1084142 |   962627 |     1249   1346 |        0 |        0
547.90/548.03	c  548s |      20 |  1087830 |   965827 |     1249   1350 |        0 |        0
549.91/550.10	c  550s |      20 |  1091562 |   969027 |     1249   1354 |        0 |        0
552.00/552.14	c  552s |      20 |  1095041 |   972027 |     1249   1358 |        0 |        0
554.00/554.14	c  554s |      20 |  1098496 |   975027 |     1249   1361 |        0 |        0
556.10/556.20	c  556s |      20 |  1101580 |   977827 |     1249   1365 |        0 |        0
558.10/558.22	c  558s |      20 |  1104583 |   980427 |     1249   1368 |        0 |        0
560.10/560.25	c  560s |      20 |  1107834 |   983327 |     1249   1371 |        0 |        0
562.11/562.25	c  562s |      20 |  1111187 |   986327 |     1249   1375 |        0 |        0
564.10/564.26	c  564s |      20 |  1115199 |   989927 |     1249   1379 |        0 |        0
566.20/566.30	c  566s |      20 |  1119367 |   993627 |     1374   1384 |        0 |        0
568.20/568.31	c  568s |      20 |  1123013 |   996927 |     1374   1387 |        0 |        0
570.20/570.32	c  570s |      20 |  1126492 |  1000127 |     1374   1391 |        0 |        0
570.30/570.46	c  570s |      21 |  1126733 |  1000345 |     1374   1391 |        0 |        0
572.30/572.49	c  572s |      21 |  1132368 |  1004745 |     1374   1396 |        0 |        0
574.40/574.51	c  574s |      21 |  1137077 |  1008745 |     1374   1401 |        0 |        0
576.41/576.54	c  576s |      21 |  1141224 |  1012345 |     1374   1405 |        0 |        0
578.40/578.59	c  578s |      21 |  1145270 |  1015945 |     1374   1409 |        0 |        0
580.50/580.60	c  580s |      21 |  1149186 |  1019445 |     1374   1413 |        0 |        0
582.50/582.66	c  582s |      21 |  1153121 |  1023045 |     1374   1417 |        0 |        0
584.60/584.72	c  584s |      21 |  1157059 |  1026645 |     1374   1421 |        0 |        0
586.60/586.74	c  586s |      21 |  1160666 |  1029945 |     1374   1424 |        0 |        0
588.60/588.78	c  588s |      21 |  1164914 |  1033745 |     1374   1428 |        0 |        0
590.70/590.81	c  590s |      21 |  1169412 |  1037645 |     1374   1433 |        0 |        0
592.69/592.84	c  592s |      21 |  1173746 |  1041445 |     1374   1437 |        0 |        0
594.69/594.89	c  594s |      21 |  1177777 |  1045045 |     1374   1441 |        0 |        0
596.79/596.92	c  596s |      21 |  1181463 |  1048345 |     1374   1445 |        0 |        0
598.79/598.92	c  598s |      21 |  1185264 |  1051745 |     1374   1449 |        0 |        0
600.79/600.97	c  600s |      21 |  1188925 |  1055045 |     1374   1452 |        0 |        0
602.89/603.00	c  602s |      21 |  1192675 |  1058345 |     1374   1456 |        0 |        0
604.91/605.05	c  605s |      21 |  1196638 |  1061945 |     1374   1460 |        0 |        0
606.90/607.09	c  607s |      21 |  1200311 |  1065345 |     1374   1464 |        0 |        0
609.00/609.13	c  609s |      21 |  1203757 |  1068445 |     1374   1467 |        0 |        0
611.00/611.14	c  611s |      21 |  1207484 |  1071845 |     1374   1471 |        0 |        0
613.00/613.14	c  613s |      21 |  1210799 |  1074845 |     1374   1474 |        0 |        0
615.00/615.19	c  615s |      21 |  1213913 |  1077745 |     1374   1478 |        0 |        0
617.11/617.24	c  617s |      21 |  1218211 |  1081545 |     1374   1482 |        0 |        0
619.10/619.27	c  619s |      21 |  1221872 |  1084845 |     1374   1485 |        0 |        0
621.20/621.31	c  621s |      21 |  1225035 |  1087745 |     1374   1489 |        0 |        0
623.20/623.33	c  623s |      21 |  1228596 |  1090945 |     1374   1492 |        0 |        0
625.20/625.34	c  625s |      21 |  1232172 |  1094145 |     1374   1496 |        0 |        0
627.20/627.38	c  627s |      21 |  1235930 |  1097545 |     1374   1500 |        0 |        0
629.30/629.41	c  629s |      21 |  1239491 |  1100845 |     1374   1503 |        0 |        0
631.30/631.42	c  631s |      21 |  1242999 |  1104045 |     1374   1507 |        0 |        0
633.30/633.45	c  633s |      21 |  1246807 |  1107445 |     1374   1511 |        0 |        0
635.39/635.50	c  635s |      21 |  1250697 |  1110945 |     1374   1515 |        0 |        0
637.40/637.51	c  637s |      21 |  1253927 |  1113945 |     1374   1518 |        0 |        0
639.39/639.54	c  639s |      21 |  1257071 |  1116845 |     1374   1521 |        0 |        0
641.39/641.56	c  641s |      21 |  1261317 |  1120545 |     1374   1525 |        0 |        0
643.40/643.57	c  643s |      21 |  1265204 |  1123945 |     1374   1529 |        0 |        0
645.49/645.62	c  645s |      21 |  1268774 |  1127145 |     1374   1533 |        0 |        0
647.49/647.69	c  647s |      21 |  1272039 |  1130145 |     1374   1536 |        0 |        0
649.59/649.78	c  649s |      21 |  1275616 |  1133345 |     1374   1540 |        0 |        0
651.69/651.81	c  651s |      21 |  1279358 |  1136745 |     1374   1543 |        0 |        0
653.69/653.84	c  653s |      21 |  1282955 |  1140045 |     1374   1547 |        0 |        0
655.69/655.85	c  655s |      21 |  1286566 |  1143345 |     1374   1551 |        0 |        0
657.70/657.86	c  657s |      21 |  1290031 |  1146545 |     1374   1554 |        0 |        0
659.69/659.87	c  659s |      21 |  1293548 |  1149745 |     1374   1558 |        0 |        0
661.69/661.89	c  661s |      21 |  1297820 |  1153545 |     1374   1562 |        0 |        0
663.79/663.93	c  663s |      21 |  1301534 |  1156845 |     1374   1566 |        0 |        0
665.79/665.98	c  665s |      21 |  1305125 |  1160045 |     1374   1569 |        0 |        0
667.79/667.99	c  667s |      21 |  1308780 |  1163245 |     1374   1573 |        0 |        0
669.89/670.03	c  670s |      21 |  1312157 |  1166345 |     1374   1576 |        0 |        0
671.88/672.04	c  672s |      21 |  1315995 |  1169745 |     1374   1580 |        0 |        0
673.88/674.09	c  674s |      21 |  1319771 |  1173145 |     1374   1584 |        0 |        0
675.99/676.15	c  676s |      21 |  1323273 |  1176345 |     1374   1588 |        0 |        0
678.08/678.21	c  678s |      21 |  1326440 |  1179245 |     1374   1591 |        0 |        0
680.08/680.26	c  680s |      21 |  1330679 |  1182945 |     1374   1595 |        0 |        0
682.08/682.28	c  682s |      21 |  1334545 |  1186445 |     1374   1599 |        0 |        0
684.19/684.31	c  684s |      21 |  1337856 |  1189545 |     1374   1602 |        0 |        0
686.18/686.32	c  686s |      21 |  1341272 |  1192645 |     1374   1606 |        0 |        0
688.18/688.35	c  688s |      21 |  1344654 |  1195745 |     1374   1609 |        0 |        0
690.28/690.42	c  690s |      21 |  1347924 |  1198745 |     1374   1613 |        0 |        0
692.28/692.47	c  692s |      21 |  1351365 |  1201845 |     1374   1616 |        0 |        0
694.28/694.47	c  694s |      21 |  1355115 |  1205145 |     1374   1620 |        0 |        0
696.38/696.53	c  696s |      21 |  1359021 |  1208645 |     1374   1624 |        0 |        0
698.39/698.59	c  698s |      21 |  1362984 |  1212145 |     1374   1628 |        0 |        0
700.48/700.63	c  700s |      21 |  1366354 |  1215145 |     1374   1631 |        0 |        0
702.48/702.65	c  702s |      21 |  1370003 |  1218445 |     1374   1635 |        0 |        0
704.48/704.68	c  704s |      21 |  1373776 |  1221845 |     1374   1638 |        0 |        0
706.48/706.68	c  706s |      21 |  1377496 |  1225145 |     1374   1642 |        0 |        0
708.58/708.76	c  708s |      21 |  1381007 |  1228345 |     1374   1646 |        0 |        0
710.68/710.80	c  710s |      21 |  1384412 |  1231445 |     1374   1649 |        0 |        0
712.68/712.84	c  712s |      21 |  1387787 |  1234545 |     1374   1653 |        0 |        0
714.68/714.86	c  714s |      21 |  1391803 |  1238145 |     1374   1657 |        0 |        0
716.77/716.91	c  716s |      21 |  1395321 |  1241345 |     1374   1660 |        0 |        0
718.77/718.94	c  718s |      21 |  1398795 |  1244545 |     1374   1664 |        0 |        0
720.77/720.99	c  720s |      21 |  1402040 |  1247545 |     1374   1667 |        0 |        0
722.87/723.02	c  723s |      21 |  1405185 |  1250445 |     1374   1670 |        0 |        0
724.88/725.04	c  725s |      21 |  1408724 |  1253645 |     1374   1674 |        0 |        0
726.87/727.07	c  727s |      21 |  1412150 |  1256745 |     1374   1677 |        0 |        0
728.97/729.11	c  729s |      21 |  1415670 |  1259945 |     1374   1681 |        0 |        0
730.97/731.15	c  731s |      21 |  1418833 |  1262845 |     1374   1684 |        0 |        0
732.97/733.16	c  733s |      21 |  1422037 |  1265745 |     1374   1687 |        0 |        0
735.06/735.21	c  735s |      21 |  1425408 |  1268745 |     1374   1691 |        0 |        0
737.06/737.28	c  737s |      21 |  1429070 |  1272045 |     1374   1694 |        0 |        0
739.18/739.32	c  739s |      21 |  1432363 |  1275045 |     1374   1698 |        0 |        0
741.17/741.34	c  741s |      21 |  1435769 |  1278145 |     1374   1701 |        0 |        0
743.17/743.39	c  743s |      21 |  1439225 |  1281345 |     1374   1705 |        0 |        0
745.26/745.42	c  745s |      21 |  1443091 |  1284845 |     1374   1709 |        0 |        0
747.26/747.43	c  747s |      21 |  1446571 |  1288045 |     1374   1712 |        0 |        0
749.26/749.43	c  749s |      21 |  1449975 |  1291145 |     1374   1716 |        0 |        0
751.27/751.44	c  751s |      21 |  1453075 |  1293945 |     1374   1719 |        0 |        0
753.26/753.47	c  753s |      21 |  1456635 |  1297145 |     1374   1722 |        0 |        0
755.26/755.49	c  755s |      21 |  1460285 |  1300445 |     1374   1726 |        0 |        0
757.36/757.50	c  757s |      21 |  1463952 |  1303745 |     1374   1730 |        0 |        0
759.36/759.52	c  759s |      21 |  1467468 |  1306945 |     1374   1733 |        0 |        0
761.36/761.55	c  761s |      21 |  1470527 |  1309745 |     1374   1736 |        0 |        0
763.45/763.61	c  763s |      21 |  1473807 |  1312745 |     1374   1740 |        0 |        0
765.46/765.69	c  765s |      21 |  1477009 |  1315645 |     1374   1743 |        0 |        0
767.55/767.75	c  767s |      21 |  1480136 |  1318445 |     1374   1746 |        0 |        0
769.65/769.80	c  769s |      21 |  1483145 |  1321145 |     1374   1749 |        0 |        0
771.65/771.80	c  771s |      21 |  1485759 |  1323545 |     1374   1752 |        0 |        0
773.65/773.84	c  773s |      21 |  1489722 |  1326945 |     1374   1756 |        0 |        0
775.64/775.89	c  775s |      21 |  1493845 |  1330645 |     1374   1760 |        0 |        0
777.74/777.90	c  777s |      21 |  1497965 |  1334345 |     1374   1764 |        0 |        0
779.75/779.92	c  779s |      21 |  1501907 |  1337945 |     1374   1768 |        0 |        0
781.74/781.94	c  781s |      21 |  1505975 |  1341545 |     1374   1772 |        0 |        0
783.74/783.96	c  783s |      21 |  1510148 |  1345345 |     1374   1776 |        0 |        0
785.84/786.02	c  786s |      21 |  1514239 |  1349045 |     1374   1780 |        0 |        0
787.84/788.03	c  788s |      21 |  1518263 |  1352645 |     1374   1784 |        0 |        0
789.83/790.05	c  790s |      21 |  1522495 |  1356345 |     1374   1789 |        0 |        0
791.94/792.11	c  792s |      21 |  1526386 |  1359845 |     1374   1793 |        0 |        0
793.93/794.14	c  794s |      21 |  1530495 |  1363445 |     1374   1797 |        0 |        0
795.93/796.15	c  796s |      21 |  1534411 |  1366945 |     1374   1800 |        0 |        0
797.93/798.16	c  798s |      21 |  1538376 |  1370445 |     1374   1804 |        0 |        0
800.03/800.20	c  800s |      21 |  1542306 |  1373945 |     1374   1808 |        0 |        0
802.03/802.21	c  802s |      21 |  1546122 |  1377345 |     1374   1812 |        0 |        0
804.03/804.24	c  804s |      21 |  1549906 |  1380745 |     1374   1816 |        0 |        0
806.02/806.26	c  806s |      21 |  1554172 |  1384445 |     1374   1820 |        0 |        0
808.12/808.31	c  808s |      21 |  1558367 |  1388145 |     1374   1824 |        0 |        0
810.12/810.36	c  810s |      21 |  1561955 |  1391345 |     1374   1828 |        0 |        0
812.22/812.41	c  812s |      21 |  1565706 |  1394645 |     1374   1831 |        0 |        0
814.22/814.43	c  814s |      21 |  1569838 |  1398345 |     1374   1836 |        0 |        0
816.22/816.48	c  816s |      21 |  1573633 |  1401745 |     1374   1839 |        0 |        0
818.22/818.50	c  818s |      21 |  1577297 |  1405045 |     1374   1843 |        0 |        0
820.32/820.53	c  820s |      21 |  1581103 |  1408445 |     1374   1847 |        0 |        0
822.32/822.54	c  822s |      21 |  1584578 |  1411645 |     1374   1850 |        0 |        0
824.31/824.57	c  824s |      21 |  1587858 |  1414645 |     1374   1854 |        0 |        0
826.31/826.59	c  826s |      21 |  1591272 |  1417745 |     1374   1857 |        0 |        0
828.41/828.63	c  828s |      21 |  1594445 |  1420645 |     1374   1861 |        0 |        0
830.42/830.63	c  830s |      21 |  1598495 |  1424145 |     1374   1864 |        0 |        0
832.41/832.66	c  832s |      21 |  1602077 |  1427345 |     1374   1868 |        0 |        0
834.41/834.68	c  834s |      21 |  1606052 |  1430945 |     1374   1872 |        0 |        0
836.51/836.70	c  836s |      21 |  1609354 |  1433945 |     1374   1875 |        0 |        0
838.51/838.74	c  838s |      21 |  1612724 |  1436945 |     1374   1879 |        0 |        0
840.50/840.78	c  840s |      21 |  1616448 |  1440145 |     1374   1882 |        0 |        0
842.60/842.83	c  842s |      21 |  1620923 |  1443745 |     1374   1886 |        0 |        0
844.60/844.84	c  844s |      21 |  1624780 |  1447145 |     1374   1890 |        0 |        0
846.60/846.85	c  846s |      21 |  1628785 |  1450645 |     1374   1894 |        0 |        0
848.60/848.89	c  848s |      21 |  1632921 |  1454245 |     1374   1898 |        0 |        0
850.70/850.92	c  850s |      21 |  1636848 |  1457745 |     1374   1902 |        0 |        0
852.70/852.98	c  852s |      21 |  1641005 |  1461445 |     1374   1906 |        0 |        0
854.79/855.01	c  855s |      21 |  1645318 |  1465245 |     1374   1911 |        0 |        0
856.80/857.07	c  857s |      21 |  1649596 |  1468945 |     1374   1915 |        0 |        0
858.79/859.10	c  859s |      21 |  1653547 |  1472445 |     1374   1919 |        0 |        0
860.89/861.11	c  861s |      21 |  1656973 |  1475545 |     1374   1922 |        0 |        0
862.89/863.12	c  863s |      21 |  1660828 |  1478945 |     1374   1926 |        0 |        0
864.89/865.15	c  865s |      21 |  1665461 |  1483045 |     1374   1931 |        0 |        0
866.89/867.17	c  867s |      21 |  1669659 |  1486745 |     1374   1935 |        0 |        0
869.00/869.25	c  869s |      21 |  1673717 |  1490345 |     1512   1939 |        0 |        0
871.00/871.26	c  871s |      21 |  1677250 |  1493445 |     1512   1942 |        0 |        0
872.99/873.26	c  873s |      21 |  1681375 |  1497045 |     1512   1946 |        0 |        0
875.09/875.30	c  875s |      21 |  1685319 |  1500545 |     1512   1949 |        0 |        0
875.09/875.35	c  875s |      22 |  1685405 |  1500622 |     1512   1949 |        0 |        0
877.19/877.40	c  877s |      22 |  1690430 |  1504822 |     1512   1954 |        0 |        0
879.19/879.46	c  879s |      22 |  1694279 |  1508322 |     1512   1957 |        0 |        0
881.29/881.50	c  881s |      22 |  1698037 |  1511722 |     1512   1961 |        0 |        0
883.29/883.56	c  883s |      22 |  1701457 |  1514822 |     1512   1964 |        0 |        0
885.29/885.59	c  885s |      22 |  1704824 |  1517922 |     1512   1967 |        0 |        0
887.38/887.61	c  887s |      22 |  1708112 |  1520922 |     1512   1970 |        0 |        0
889.38/889.68	c  889s |      22 |  1711508 |  1524022 |     1512   1974 |        0 |        0
891.48/891.70	c  891s |      22 |  1714810 |  1527022 |     1512   1977 |        0 |        0
893.48/893.71	c  893s |      22 |  1718087 |  1530022 |     1512   1980 |        0 |        0
895.47/895.72	c  895s |      22 |  1721140 |  1532822 |     1512   1983 |        0 |        0
897.48/897.75	c  897s |      22 |  1724189 |  1535622 |     1512   1986 |        0 |        0
899.47/899.76	c  899s |      22 |  1727464 |  1538622 |     1512   1989 |        0 |        0
901.57/901.82	c  901s |      22 |  1731402 |  1542122 |     1512   1992 |        0 |        0
903.57/903.87	c  903s |      22 |  1734973 |  1545222 |     1512   1996 |        0 |        0
905.67/905.91	c  905s |      22 |  1738617 |  1548522 |     1512   1999 |        0 |        0
907.67/907.92	c  907s |      22 |  1742066 |  1551522 |     1512   2002 |        0 |        0
909.66/909.93	c  909s |      22 |  1745421 |  1554522 |     1512   2005 |        0 |        0
911.67/911.98	c  911s |      22 |  1749046 |  1557722 |     1512   2008 |        0 |        0
913.76/914.07	c  914s |      22 |  1752375 |  1560722 |     1512   2012 |        0 |        0
915.76/916.08	c  916s |      22 |  1755676 |  1563722 |     1512   2015 |        0 |        0
917.86/918.13	c  918s |      22 |  1759171 |  1566922 |     1512   2018 |        0 |        0
919.86/920.15	c  920s |      22 |  1762423 |  1569922 |     1512   2021 |        0 |        0
921.96/922.21	c  922s |      22 |  1766152 |  1573122 |     1512   2024 |        0 |        0
923.95/924.21	c  924s |      22 |  1769405 |  1576022 |     1512   2027 |        0 |        0
925.96/926.28	c  926s |      22 |  1772535 |  1578822 |     1512   2030 |        0 |        0
928.05/928.30	c  928s |      22 |  1775662 |  1581622 |     1512   2033 |        0 |        0
930.05/930.37	c  930s |      22 |  1778952 |  1584622 |     1512   2036 |        0 |        0
932.15/932.40	c  932s |      22 |  1782246 |  1587622 |     1512   2039 |        0 |        0
934.14/934.46	c  934s |      22 |  1785718 |  1590722 |     1512   2043 |        0 |        0
936.24/936.50	c  936s |      22 |  1789280 |  1593922 |     1512   2046 |        0 |        0
938.24/938.52	c  938s |      22 |  1792675 |  1597022 |     1512   2049 |        0 |        0
940.25/940.54	c  940s |      22 |  1795729 |  1599822 |     1512   2052 |        0 |        0
942.24/942.54	c  942s |      22 |  1798776 |  1602622 |     1512   2055 |        0 |        0
944.24/944.56	c  944s |      22 |  1802152 |  1605522 |     1512   2058 |        0 |        0
946.34/946.62	c  946s |      22 |  1805565 |  1608622 |     1512   2061 |        0 |        0
948.33/948.63	c  948s |      22 |  1809015 |  1611722 |     1512   2064 |        0 |        0
950.43/950.70	c  950s |      22 |  1812607 |  1614922 |     1512   2068 |        0 |        0
952.44/952.73	c  952s |      22 |  1815820 |  1617822 |     1512   2071 |        0 |        0
954.43/954.79	c  954s |      22 |  1819275 |  1620922 |     1512   2074 |        0 |        0
956.53/956.83	c  956s |      22 |  1822576 |  1623922 |     1512   2077 |        0 |        0
958.53/958.85	c  958s |      22 |  1825856 |  1626922 |     1512   2080 |        0 |        0
960.53/960.88	c  960s |      22 |  1829035 |  1629822 |     1512   2083 |        0 |        0
962.63/962.91	c  962s |      22 |  1832479 |  1632922 |     1512   2086 |        0 |        0
964.62/964.99	c  964s |      22 |  1836098 |  1636222 |     1512   2090 |        0 |        0
966.73/967.06	c  967s |      22 |  1839382 |  1639222 |     1512   2093 |        0 |        0
968.72/969.08	c  969s |      22 |  1842554 |  1642122 |     1512   2096 |        0 |        0
970.82/971.12	c  971s |      22 |  1845762 |  1645022 |     1512   2099 |        0 |        0
972.82/973.14	c  973s |      22 |  1849072 |  1648022 |     1512   2102 |        0 |        0
974.82/975.16	c  975s |      22 |  1852331 |  1651022 |     1512   2105 |        0 |        0
976.82/977.17	c  977s |      22 |  1855257 |  1653722 |     1512   2108 |        0 |        0
978.82/979.19	c  979s |      22 |  1858189 |  1656422 |     1512   2111 |        0 |        0
980.82/981.19	c  981s |      22 |  1861143 |  1659122 |     1512   2113 |        0 |        0
982.82/983.19	c  983s |      22 |  1864626 |  1662122 |     1512   2117 |        0 |        0
984.91/985.21	c  985s |      22 |  1868488 |  1665522 |     1512   2120 |        0 |        0
986.91/987.22	c  987s |      22 |  1872042 |  1668722 |     1512   2123 |        0 |        0
988.91/989.27	c  989s |      22 |  1875113 |  1671522 |     1512   2126 |        0 |        0
991.01/991.31	c  991s |      22 |  1878422 |  1674522 |     1512   2129 |        0 |        0
993.02/993.40	c  993s |      22 |  1881622 |  1677422 |     1512   2132 |        0 |        0
995.11/995.43	c  995s |      22 |  1884764 |  1680322 |     1512   2135 |        0 |        0
997.11/997.44	c  997s |      22 |  1887881 |  1683122 |     1512   2138 |        0 |        0
999.11/999.45	c  999s |      22 |  1890786 |  1685822 |     1512   2141 |        0 |        0
1001.11/1001.48	c 1001s |      22 |  1893509 |  1688322 |     1512   2144 |        0 |        0
1003.21/1003.50	c 1003s |      22 |  1896163 |  1690722 |     1512   2146 |        0 |        0
1005.21/1005.56	c 1005s |      22 |  1898572 |  1692922 |     1512   2148 |        0 |        0
1007.31/1007.60	c 1007s |      22 |  1902313 |  1696222 |     1512   2152 |        0 |        0
1009.30/1009.66	c 1009s |      22 |  1905631 |  1699222 |     1512   2155 |        0 |        0
1011.30/1011.66	c 1011s |      22 |  1909072 |  1702322 |     1512   2158 |        0 |        0
1013.40/1013.72	c 1013s |      22 |  1912492 |  1705422 |     1512   2161 |        0 |        0
1015.40/1015.77	c 1015s |      22 |  1915667 |  1708322 |     1512   2164 |        0 |        0
1017.50/1017.85	c 1017s |      22 |  1918771 |  1711122 |     1512   2167 |        0 |        0
1019.60/1019.90	c 1019s |      22 |  1921852 |  1713922 |     1512   2170 |        0 |        0
1021.60/1021.96	c 1021s |      22 |  1924917 |  1716722 |     1512   2173 |        0 |        0
1023.69/1024.00	c 1023s |      22 |  1927734 |  1719322 |     1512   2176 |        0 |        0
1025.69/1026.02	c 1026s |      22 |  1930556 |  1721922 |     1512   2179 |        0 |        0
1027.69/1028.07	c 1028s |      22 |  1933369 |  1724522 |     1512   2181 |        0 |        0
1029.69/1030.08	c 1030s |      22 |  1936122 |  1727022 |     1512   2184 |        0 |        0
1031.79/1032.10	c 1032s |      22 |  1938744 |  1729422 |     1512   2186 |        0 |        0
1033.79/1034.15	c 1034s |      22 |  1941401 |  1731822 |     1512   2189 |        0 |        0
1035.79/1036.15	c 1036s |      22 |  1944357 |  1734422 |     1512   2191 |        0 |        0
1037.79/1038.18	c 1038s |      22 |  1947939 |  1737622 |     1512   2195 |        0 |        0
1039.89/1040.20	c 1040s |      22 |  1951039 |  1740422 |     1512   2198 |        0 |        0
1041.89/1042.21	c 1042s |      22 |  1953844 |  1743022 |     1512   2200 |        0 |        0
1043.88/1044.24	c 1044s |      22 |  1956583 |  1745522 |     1512   2203 |        0 |        0
1045.89/1046.28	c 1046s |      22 |  1959959 |  1748522 |     1512   2206 |        0 |        0
1047.88/1048.28	c 1048s |      22 |  1962941 |  1751222 |     1512   2209 |        0 |        0
1049.98/1050.35	c 1050s |      22 |  1965797 |  1753822 |     1512   2212 |        0 |        0
1051.98/1052.39	c 1052s |      22 |  1968697 |  1756422 |     1512   2214 |        0 |        0
1054.07/1054.43	c 1054s |      22 |  1971262 |  1758722 |     1512   2217 |        0 |        0
1056.18/1056.50	c 1056s |      22 |  1974202 |  1761422 |     1512   2219 |        0 |        0
1058.18/1058.55	c 1058s |      22 |  1976583 |  1763622 |     1512   2222 |        0 |        0
1060.28/1060.61	c 1060s |      22 |  1979834 |  1766422 |     1512   2225 |        0 |        0
1062.29/1062.64	c 1062s |      22 |  1983102 |  1769322 |     1512   2228 |        0 |        0
1064.38/1064.73	c 1064s |      22 |  1986231 |  1772122 |     1512   2231 |        0 |        0
1066.38/1066.79	c 1066s |      22 |  1989760 |  1775222 |     1512   2234 |        0 |        0
1068.48/1068.84	c 1068s |      22 |  1992358 |  1777622 |     1512   2236 |        0 |        0
1070.48/1070.87	c 1070s |      22 |  1995481 |  1780422 |     1512   2239 |        0 |        0
1072.58/1072.94	c 1072s |      22 |  1998541 |  1783222 |     1512   2242 |        0 |        0
1074.57/1074.95	c 1074s |      22 |  2001385 |  1785822 |     1512   2245 |        0 |        0
1076.58/1076.98	c 1076s |      22 |  2004268 |  1788422 |     1512   2247 |        0 |        0
1078.78/1079.10	c 1079s |      22 |  2006972 |  1790922 |     1512   2250 |        0 |        0
1080.77/1081.16	c 1081s |      22 |  2009370 |  1793122 |     1512   2252 |        0 |        0
1082.77/1083.19	c 1083s |      22 |  2013032 |  1796222 |     1512   2256 |        0 |        0
1084.77/1085.19	c 1085s |      22 |  2016597 |  1799222 |     1512   2259 |        0 |        0
1086.87/1087.24	c 1087s |      22 |  2019889 |  1802122 |     1512   2262 |        0 |        0
1088.87/1089.25	c 1089s |      22 |  2022899 |  1804822 |     1512   2264 |        0 |        0
1090.87/1091.30	c 1091s |      22 |  2025921 |  1807522 |     1512   2267 |        0 |        0
1092.97/1093.35	c 1093s |      22 |  2029047 |  1810322 |     1512   2270 |        0 |        0
1094.96/1095.36	c 1095s |      22 |  2032271 |  1813122 |     1512   2273 |        0 |        0
1097.06/1097.41	c 1097s |      22 |  2035624 |  1816022 |     1512   2276 |        0 |        0
1099.06/1099.44	c 1099s |      22 |  2038504 |  1818622 |     1512   2279 |        0 |        0
1101.06/1101.45	c 1101s |      22 |  2041088 |  1821022 |     1512   2281 |        0 |        0
1103.16/1103.50	c 1103s |      22 |  2044574 |  1824222 |     1512   2285 |        0 |        0
1105.16/1105.54	c 1105s |      22 |  2047853 |  1827222 |     1512   2288 |        0 |        0
1107.15/1107.55	c 1107s |      22 |  2050912 |  1830022 |     1512   2291 |        0 |        0
1109.15/1109.57	c 1109s |      22 |  2054534 |  1833222 |     1512   2294 |        0 |        0
1111.15/1111.59	c 1111s |      22 |  2057868 |  1836222 |     1512   2297 |        0 |        0
1113.25/1113.62	c 1113s |      22 |  2060918 |  1839022 |     1512   2300 |        0 |        0
1115.24/1115.68	c 1115s |      22 |  2064636 |  1842322 |     1512   2303 |        0 |        0
1117.35/1117.71	c 1117s |      22 |  2067612 |  1845022 |     1512   2306 |        0 |        0
1119.34/1119.74	c 1119s |      22 |  2071201 |  1848222 |     1512   2309 |        0 |        0
1121.44/1121.82	c 1121s |      22 |  2074625 |  1851222 |     1512   2313 |        0 |        0
1123.54/1123.90	c 1123s |      22 |  2077716 |  1854022 |     1512   2315 |        0 |        0
1125.54/1125.96	c 1125s |      22 |  2080992 |  1857022 |     1512   2319 |        0 |        0
1127.54/1127.99	c 1127s |      22 |  2084299 |  1860022 |     1512   2322 |        0 |        0
1129.64/1130.02	c 1130s |      22 |  2087159 |  1862622 |     1512   2324 |        0 |        0
1131.64/1132.04	c 1132s |      22 |  2090513 |  1865622 |     1512   2328 |        0 |        0
1133.74/1134.12	c 1134s |      22 |  2094117 |  1868822 |     1512   2331 |        0 |        0
1135.73/1136.15	c 1136s |      22 |  2096926 |  1871322 |     1512   2333 |        0 |        0
1137.73/1138.19	c 1138s |      22 |  2100427 |  1874422 |     1512   2337 |        0 |        0
1139.83/1140.29	c 1140s |      22 |  2103510 |  1877222 |     1512   2340 |        0 |        0
1141.93/1142.36	c 1142s |      22 |  2106625 |  1880022 |     1512   2342 |        0 |        0
1143.93/1144.39	c 1144s |      22 |  2109374 |  1882522 |     1512   2345 |        0 |        0
1146.03/1146.40	c 1146s |      22 |  2111972 |  1884922 |     1512   2348 |        0 |        0
1148.03/1148.43	c 1148s |      22 |  2115288 |  1887822 |     1512   2351 |        0 |        0
1150.03/1150.48	c 1150s |      22 |  2118315 |  1890422 |     1512   2353 |        0 |        0
1152.13/1152.50	c 1152s |      22 |  2121391 |  1893122 |     1512   2356 |        0 |        0
1154.12/1154.53	c 1154s |      22 |  2124205 |  1895622 |     1512   2359 |        0 |        0
1156.22/1156.62	c 1156s |      22 |  2126989 |  1898122 |     1512   2361 |        0 |        0
1158.22/1158.67	c 1158s |      22 |  2129981 |  1900822 |     1512   2364 |        0 |        0
1160.32/1160.71	c 1160s |      22 |  2133497 |  1903922 |     1512   2367 |        0 |        0
1162.33/1162.75	c 1162s |      22 |  2136660 |  1906722 |     1512   2370 |        0 |        0
1164.31/1164.77	c 1164s |      22 |  2139372 |  1909122 |     1512   2373 |        0 |        0
1166.31/1166.79	c 1166s |      22 |  2142560 |  1911922 |     1512   2376 |        0 |        0
1168.41/1168.83	c 1168s |      22 |  2145370 |  1914422 |     1512   2378 |        0 |        0
1170.41/1170.84	c 1170s |      22 |  2148314 |  1917122 |     1512   2381 |        0 |        0
1172.51/1172.90	c 1172s |      22 |  2151088 |  1919622 |     1512   2384 |        0 |        0
1174.51/1174.97	c 1174s |      22 |  2153693 |  1922022 |     1512   2386 |        0 |        0
1176.51/1177.00	c 1176s |      22 |  2156231 |  1924322 |     1512   2388 |        0 |        0
1178.60/1179.02	c 1179s |      22 |  2158505 |  1926422 |     1512   2391 |        0 |        0
1180.60/1181.04	c 1181s |      22 |  2161795 |  1929322 |     1512   2394 |        0 |        0
1182.60/1183.06	c 1183s |      22 |  2165161 |  1932322 |     1512   2397 |        0 |        0
1184.70/1185.10	c 1185s |      22 |  2168175 |  1935022 |     1512   2400 |        0 |        0
1186.70/1187.14	c 1187s |      22 |  2171195 |  1937722 |     1512   2402 |        0 |        0
1188.71/1189.16	c 1189s |      22 |  2174057 |  1940322 |     1512   2405 |        0 |        0
1190.80/1191.22	c 1191s |      22 |  2176898 |  1942922 |     1512   2408 |        0 |        0
1192.80/1193.25	c 1193s |      22 |  2179568 |  1945322 |     1512   2410 |        0 |        0
1194.90/1195.30	c 1195s |      22 |  2182261 |  1947722 |     1512   2413 |        0 |        0
1196.90/1197.37	c 1197s |      22 |  2185266 |  1950422 |     1512   2416 |        0 |        0
1198.90/1199.39	c 1199s |      22 |  2188379 |  1953222 |     1512   2418 |        0 |        0
1200.99/1201.44	c 1201s |      22 |  2191480 |  1956022 |     1512   2421 |        0 |        0
1203.00/1203.46	c 1203s |      22 |  2194576 |  1958822 |     1512   2424 |        0 |        0
1204.99/1205.47	c 1205s |      22 |  2197434 |  1961422 |     1512   2427 |        0 |        0
1207.09/1207.53	c 1207s |      22 |  2200313 |  1964022 |     1512   2430 |        0 |        0
1209.19/1209.60	c 1209s |      22 |  2203198 |  1966622 |     1512   2432 |        0 |        0
1211.19/1211.67	c 1211s |      22 |  2205935 |  1969122 |     1512   2435 |        0 |        0
1213.29/1213.72	c 1213s |      22 |  2208541 |  1971522 |     1512   2437 |        0 |        0
1215.28/1215.79	c 1215s |      22 |  2211818 |  1974422 |     1512   2440 |        0 |        0
1217.39/1217.82	c 1217s |      22 |  2214710 |  1977022 |     1512   2443 |        0 |        0
1219.38/1219.83	c 1219s |      22 |  2217438 |  1979522 |     1512   2446 |        0 |        0
1221.38/1221.87	c 1221s |      22 |  2220283 |  1982122 |     1512   2448 |        0 |        0
1223.48/1223.91	c 1223s |      22 |  2223134 |  1984722 |     1512   2451 |        0 |        0
1225.48/1225.98	c 1225s |      22 |  2226004 |  1987322 |     1512   2454 |        0 |        0
1227.58/1228.05	c 1228s |      22 |  2228763 |  1989822 |     1512   2456 |        0 |        0
1229.68/1230.10	c 1230s |      22 |  2231410 |  1992222 |     1512   2459 |        0 |        0
1231.68/1232.17	c 1232s |      22 |  2234027 |  1994622 |     1512   2461 |        0 |        0
1233.78/1234.23	c 1234s |      22 |  2237547 |  1997722 |     1512   2465 |        0 |        0
1235.77/1236.25	c 1236s |      22 |  2241008 |  2000822 |     1512   2468 |        0 |        0
1237.77/1238.29	c 1238s |      22 |  2244334 |  2003822 |     1512   2471 |        0 |        0
1239.87/1240.31	c 1240s |      22 |  2247272 |  2006522 |     1512   2474 |        0 |        0
1241.87/1242.34	c 1242s |      22 |  2250480 |  2009422 |     1512   2477 |        0 |        0
1243.96/1244.40	c 1244s |      22 |  2253525 |  2012222 |     1512   2480 |        0 |        0
1245.97/1246.43	c 1246s |      22 |  2256380 |  2014822 |     1512   2482 |        0 |        0
1247.96/1248.46	c 1248s |      22 |  2259372 |  2017522 |     1512   2485 |        0 |        0
1249.96/1250.50	c 1250s |      22 |  2261981 |  2019922 |     1512   2488 |        0 |        0
1252.06/1252.52	c 1252s |      22 |  2265484 |  2023022 |     1512   2491 |        0 |        0
1254.06/1254.56	c 1254s |      22 |  2268569 |  2025822 |     1512   2494 |        0 |        0
1256.06/1256.58	c 1256s |      22 |  2271424 |  2028422 |     1512   2497 |        0 |        0
1258.16/1258.61	c 1258s |      22 |  2274172 |  2030922 |     1512   2499 |        0 |        0
1260.16/1260.68	c 1260s |      22 |  2277016 |  2033522 |     1512   2502 |        0 |        0
1262.26/1262.75	c 1262s |      22 |  2279897 |  2036122 |     1512   2505 |        0 |        0
1264.35/1264.86	c 1264s |      22 |  2282639 |  2038622 |     1512   2507 |        0 |        0
1266.35/1266.87	c 1266s |      22 |  2285019 |  2040822 |     1512   2510 |        0 |        0
1268.45/1268.90	c 1268s |      22 |  2287526 |  2043122 |     1512   2512 |        0 |        0
1270.45/1270.93	c 1270s |      22 |  2290109 |  2045422 |     1512   2514 |        0 |        0
1272.45/1272.96	c 1272s |      22 |  2292555 |  2047622 |     1512   2517 |        0 |        0
1274.46/1274.99	c 1274s |      22 |  2295141 |  2049922 |     1512   2519 |        0 |        0
1276.55/1277.07	c 1277s |      22 |  2297529 |  2052122 |     1512   2521 |        0 |        0
1278.65/1279.10	c 1279s |      22 |  2300081 |  2054422 |     1512   2524 |        0 |        0
1280.65/1281.16	c 1281s |      22 |  2302553 |  2056722 |     1512   2526 |        0 |        0
1282.75/1283.23	c 1283s |      22 |  2304962 |  2058922 |     1512   2528 |        0 |        0
1284.74/1285.29	c 1285s |      22 |  2307384 |  2061122 |     1512   2531 |        0 |        0
1286.84/1287.31	c 1287s |      22 |  2309438 |  2063022 |     1512   2533 |        0 |        0
1288.85/1289.38	c 1289s |      22 |  2311758 |  2065122 |     1512   2535 |        0 |        0
1290.95/1291.46	c 1291s |      22 |  2314065 |  2067222 |     1512   2537 |        0 |        0
1292.94/1293.49	c 1293s |      22 |  2316211 |  2069122 |     1512   2539 |        0 |        0
1295.04/1295.53	c 1295s |      22 |  2320291 |  2072522 |     1512   2543 |        0 |        0
1297.04/1297.57	c 1297s |      22 |  2323947 |  2075622 |     1512   2546 |        0 |        0
1299.14/1299.62	c 1299s |      22 |  2327498 |  2078622 |     1512   2549 |        0 |        0
1301.14/1301.68	c 1301s |      22 |  2330844 |  2081522 |     1512   2552 |        0 |        0
1303.25/1303.71	c 1303s |      22 |  2333882 |  2084222 |     1512   2555 |        0 |        0
1305.25/1305.74	c 1305s |      22 |  2337089 |  2087022 |     1512   2558 |        0 |        0
1307.24/1307.79	c 1307s |      22 |  2340119 |  2089722 |     1512   2560 |        0 |        0
1309.34/1309.81	c 1309s |      22 |  2342907 |  2092222 |     1512   2563 |        0 |        0
1311.34/1311.82	c 1311s |      22 |  2345643 |  2094722 |     1512   2566 |        0 |        0
1313.34/1313.84	c 1313s |      22 |  2348684 |  2097422 |     1512   2568 |        0 |        0
1315.34/1315.89	c 1315s |      22 |  2351829 |  2100222 |     1512   2571 |        0 |        0
1317.34/1317.90	c 1317s |      22 |  2354700 |  2102822 |     1512   2574 |        0 |        0
1319.43/1319.92	c 1319s |      22 |  2357320 |  2105222 |     1512   2576 |        0 |        0
1321.43/1321.96	c 1321s |      22 |  2360193 |  2107822 |     1512   2579 |        0 |        0
1323.53/1324.02	c 1324s |      22 |  2363102 |  2110422 |     1512   2582 |        0 |        0
1325.53/1326.05	c 1326s |      22 |  2365909 |  2112922 |     1512   2584 |        0 |        0
1327.63/1328.12	c 1328s |      22 |  2368513 |  2115222 |     1512   2587 |        0 |        0
1329.73/1330.21	c 1330s |      22 |  2371220 |  2117622 |     1512   2589 |        0 |        0
1331.73/1332.22	c 1332s |      22 |  2373699 |  2119822 |     1512   2592 |        0 |        0
1333.73/1334.23	c 1334s |      22 |  2376193 |  2122022 |     1512   2594 |        0 |        0
1335.72/1336.24	c 1336s |      22 |  2379325 |  2124722 |     1512   2597 |        0 |        0
1337.72/1338.24	c 1338s |      22 |  2382010 |  2127122 |     1512   2599 |        0 |        0
1339.82/1340.31	c 1340s |      22 |  2384715 |  2129522 |     1512   2602 |        0 |        0
1341.82/1342.36	c 1342s |      22 |  2387234 |  2131722 |     1512   2604 |        0 |        0
1343.92/1344.44	c 1344s |      22 |  2391019 |  2134322 |     1512   2607 |        0 |        0
1345.92/1346.44	c 1346s |      22 |  2393467 |  2136422 |     1512   2609 |        0 |        0
1347.92/1348.48	c 1348s |      22 |  2396089 |  2138722 |     1512   2611 |        0 |        0
1350.02/1350.52	c 1350s |      22 |  2398637 |  2141022 |     1512   2614 |        0 |        0
1352.01/1352.54	c 1352s |      22 |  2400988 |  2143022 |     1512   2616 |        0 |        0
1354.11/1354.64	c 1354s |      22 |  2403886 |  2145522 |     1512   2618 |        0 |        0
1356.11/1356.69	c 1356s |      22 |  2407094 |  2148322 |     1512   2621 |        0 |        0
1358.12/1358.69	c 1358s |      22 |  2409898 |  2150822 |     1512   2624 |        0 |        0
1360.32/1360.81	c 1360s |      22 |  2412597 |  2153222 |     1512   2627 |        0 |        0
1362.31/1362.90	c 1362s |      22 |  2415310 |  2155622 |     1512   2629 |        0 |        0
1364.40/1364.95	c 1364s |      22 |  2417701 |  2157722 |     1512   2631 |        0 |        0
1366.40/1366.95	c 1366s |      22 |  2419899 |  2159722 |     1512   2633 |        0 |        0
1368.50/1369.00	c 1368s |      22 |  2422869 |  2162322 |     1512   2636 |        0 |        0
1370.50/1371.03	c 1371s |      22 |  2425889 |  2165022 |     1512   2639 |        0 |        0
1372.50/1373.05	c 1373s |      22 |  2428910 |  2167722 |     1512   2642 |        0 |        0
1374.51/1375.08	c 1375s |      22 |  2431941 |  2170422 |     1512   2644 |        0 |        0
1376.50/1377.09	c 1377s |      22 |  2435007 |  2173122 |     1512   2647 |        0 |        0
1378.60/1379.15	c 1379s |      22 |  2437898 |  2175722 |     1512   2650 |        0 |        0
1380.60/1381.17	c 1381s |      22 |  2440229 |  2177822 |     1512   2652 |        0 |        0
1382.70/1383.22	c 1383s |      22 |  2443314 |  2180522 |     1512   2655 |        0 |        0
1384.70/1385.24	c 1385s |      22 |  2445902 |  2182822 |     1512   2657 |        0 |        0
1386.80/1387.30	c 1387s |      22 |  2448341 |  2185022 |     1512   2660 |        0 |        0
1388.70/1389.30	c 1389s |      22 |  2450816 |  2187222 |     1512   2662 |        0 |        0
1390.80/1391.38	c 1391s |      22 |  2453001 |  2189122 |     1512   2664 |        0 |        0
1392.90/1393.40	c 1393s |      22 |  2455369 |  2191222 |     1512   2666 |        0 |        0
1394.90/1395.42	c 1395s |      22 |  2458576 |  2194122 |     1512   2669 |        0 |        0
1396.90/1397.48	c 1397s |      22 |  2461691 |  2196922 |     1512   2672 |        0 |        0
1398.90/1399.49	c 1399s |      22 |  2464714 |  2199622 |     1512   2675 |        0 |        0
1400.91/1401.50	c 1401s |      22 |  2467404 |  2202022 |     1512   2677 |        0 |        0
1403.00/1403.55	c 1403s |      22 |  2470406 |  2204722 |     1512   2680 |        0 |        0
1405.00/1405.58	c 1405s |      22 |  2473141 |  2207122 |     1512   2683 |        0 |        0
1407.10/1407.63	c 1407s |      22 |  2475919 |  2209622 |     1512   2685 |        0 |        0
1409.10/1409.69	c 1409s |      22 |  2478258 |  2211722 |     1512   2688 |        0 |        0
1411.20/1411.76	c 1411s |      22 |  2480650 |  2213822 |     1512   2690 |        0 |        0
1413.20/1413.78	c 1413s |      22 |  2483626 |  2216422 |     1512   2692 |        0 |        0
1415.30/1415.82	c 1415s |      22 |  2486173 |  2218722 |     1512   2695 |        0 |        0
1417.30/1417.82	c 1417s |      22 |  2488911 |  2221122 |     1512   2697 |        0 |        0
1419.29/1419.84	c 1419s |      22 |  2491294 |  2223222 |     1512   2700 |        0 |        0
1421.39/1421.90	c 1421s |      22 |  2494043 |  2225622 |     1512   2702 |        0 |        0
1423.39/1423.93	c 1423s |      22 |  2497234 |  2228422 |     1512   2705 |        0 |        0
1425.39/1425.99	c 1425s |      22 |  2500097 |  2230922 |     1512   2708 |        0 |        0
1427.49/1428.04	c 1428s |      22 |  2502772 |  2233322 |     1512   2710 |        0 |        0
1429.50/1430.04	c 1430s |      22 |  2505203 |  2235522 |     1664   2712 |        0 |        0
1431.49/1432.06	c 1432s |      22 |  2507925 |  2237922 |     1664   2715 |        0 |        0
1433.59/1434.15	c 1434s |      22 |  2510648 |  2240322 |     1664   2717 |        0 |        0
1435.69/1436.25	c 1436s |      22 |  2513441 |  2242722 |     1664   2719 |        0 |        0
1437.69/1438.27	c 1438s |      22 |  2516158 |  2245122 |     1664   2722 |        0 |        0
1439.79/1440.30	c 1440s |      22 |  2518846 |  2247422 |     1664   2724 |        0 |        0
1441.79/1442.30	c 1442s |      22 |  2521061 |  2249422 |     1664   2726 |        0 |        0
1443.29/1443.87	c 1443s |      23 |  2522833 |  2251038 |     1664   2727 |        0 |        0
1445.39/1445.95	c 1445s |      23 |  2526948 |  2254438 |     1664   2731 |        0 |        0
1447.39/1447.99	c 1447s |      23 |  2530301 |  2257438 |     1664   2733 |        0 |        0
1449.49/1450.01	c 1449s |      23 |  2533506 |  2260338 |     1664   2736 |        0 |        0
1451.49/1452.02	c 1452s |      23 |  2536610 |  2263138 |     1664   2739 |        0 |        0
1453.49/1454.08	c 1454s |      23 |  2539454 |  2265738 |     1664   2741 |        0 |        0
1455.59/1456.17	c 1456s |      23 |  2542507 |  2268438 |     1664   2744 |        0 |        0
1457.59/1458.19	c 1458s |      23 |  2545172 |  2270838 |     1664   2746 |        0 |        0
1459.69/1460.22	c 1460s |      23 |  2547795 |  2273238 |     1664   2749 |        0 |        0
1461.69/1462.27	c 1462s |      23 |  2550616 |  2275838 |     1664   2751 |        0 |        0
1463.79/1464.30	c 1464s |      23 |  2553363 |  2278338 |     1664   2753 |        0 |        0
1465.79/1466.38	c 1466s |      23 |  2556313 |  2281038 |     1664   2756 |        0 |        0
1467.78/1468.38	c 1468s |      23 |  2559072 |  2283538 |     1664   2758 |        0 |        0
1469.88/1470.44	c 1470s |      23 |  2561913 |  2286138 |     1664   2761 |        0 |        0
1471.98/1472.50	c 1472s |      23 |  2564755 |  2288738 |     1664   2763 |        0 |        0
1473.98/1474.52	c 1474s |      23 |  2567591 |  2291238 |     1664   2766 |        0 |        0
1475.98/1476.57	c 1476s |      23 |  2570758 |  2294038 |     1664   2768 |        0 |        0
1478.08/1478.63	c 1478s |      23 |  2573639 |  2296638 |     1664   2771 |        0 |        0
1480.09/1480.63	c 1480s |      23 |  2576681 |  2299338 |     1664   2774 |        0 |        0
1482.08/1482.68	c 1482s |      23 |  2579540 |  2301938 |     1664   2776 |        0 |        0
1484.08/1484.68	c 1484s |      23 |  2582548 |  2304638 |     1664   2779 |        0 |        0
1486.18/1486.73	c 1486s |      23 |  2585484 |  2307238 |     1664   2781 |        0 |        0
1488.18/1488.75	c 1488s |      23 |  2588749 |  2310138 |     1664   2784 |        0 |        0
1490.18/1490.78	c 1490s |      23 |  2591624 |  2312738 |     1664   2786 |        0 |        0
1492.30/1492.82	c 1492s |      23 |  2594311 |  2315138 |     1664   2789 |        0 |        0
1494.29/1494.89	c 1494s |      23 |  2597478 |  2318038 |     1664   2791 |        0 |        0
1496.39/1496.93	c 1496s |      23 |  2600554 |  2320838 |     1664   2794 |        0 |        0
1498.39/1498.95	c 1498s |      23 |  2603541 |  2323538 |     1664   2797 |        0 |        0
1500.39/1500.98	c 1500s |      23 |  2606486 |  2326238 |     1664   2799 |        0 |        0
1502.49/1503.03	c 1503s |      23 |  2609451 |  2328938 |     1664   2802 |        0 |        0
1504.49/1505.03	c 1505s |      23 |  2612310 |  2331538 |     1664   2804 |        0 |        0
1506.49/1507.04	c 1507s |      23 |  2615093 |  2334038 |     1664   2807 |        0 |        0
1508.49/1509.04	c 1509s |      23 |  2617863 |  2336538 |     1664   2809 |        0 |        0
1510.49/1511.08	c 1511s |      23 |  2620502 |  2338938 |     1664   2811 |        0 |        0
1512.59/1513.10	c 1513s |      23 |  2623000 |  2341138 |     1664   2814 |        0 |        0
1514.58/1515.11	c 1515s |      23 |  2626253 |  2344038 |     1664   2816 |        0 |        0
1516.58/1517.15	c 1517s |      23 |  2628884 |  2346438 |     1664   2819 |        0 |        0
1518.69/1519.24	c 1519s |      23 |  2631942 |  2349138 |     1664   2821 |        0 |        0
1520.79/1521.32	c 1521s |      23 |  2634641 |  2351538 |     1664   2824 |        0 |        0
1522.78/1523.33	c 1523s |      23 |  2637233 |  2353838 |     1664   2826 |        0 |        0
1524.88/1525.40	c 1525s |      23 |  2640394 |  2356638 |     1664   2828 |        0 |        0
1526.88/1527.41	c 1527s |      23 |  2643527 |  2359438 |     1664   2831 |        0 |        0
1528.88/1529.46	c 1529s |      23 |  2646338 |  2362038 |     1664   2834 |        0 |        0
1530.98/1531.51	c 1531s |      23 |  2649185 |  2364638 |     1664   2836 |        0 |        0
1532.99/1533.54	c 1533s |      23 |  2651939 |  2367138 |     1664   2838 |        0 |        0
1534.98/1535.56	c 1535s |      23 |  2654461 |  2369438 |     1664   2841 |        0 |        0
1536.98/1537.58	c 1537s |      23 |  2657039 |  2371738 |     1664   2843 |        0 |        0
1539.08/1539.63	c 1539s |      23 |  2659769 |  2374138 |     1664   2845 |        0 |        0
1541.18/1541.71	c 1541s |      23 |  2662585 |  2376638 |     1664   2848 |        0 |        0
1543.18/1543.75	c 1543s |      23 |  2665491 |  2379238 |     1664   2850 |        0 |        0
1545.18/1545.79	c 1545s |      23 |  2668281 |  2381738 |     1664   2852 |        0 |        0
1547.28/1547.86	c 1547s |      23 |  2671252 |  2384338 |     1664   2855 |        0 |        0
1549.28/1549.87	c 1549s |      23 |  2673617 |  2386438 |     1664   2857 |        0 |        0
1551.38/1551.94	c 1551s |      23 |  2676587 |  2388938 |     1664   2859 |        0 |        0
1553.38/1553.94	c 1553s |      23 |  2679099 |  2391238 |     1664   2862 |        0 |        0
1555.38/1555.99	c 1555s |      23 |  2681661 |  2393538 |     1664   2864 |        0 |        0
1557.48/1558.04	c 1558s |      23 |  2684471 |  2396038 |     1664   2866 |        0 |        0
1559.47/1560.04	c 1560s |      23 |  2687273 |  2398538 |     1664   2869 |        0 |        0
1561.48/1562.08	c 1562s |      23 |  2690026 |  2401038 |     1664   2871 |        0 |        0
1563.58/1564.13	c 1564s |      23 |  2692576 |  2403338 |     1664   2873 |        0 |        0
1565.58/1566.18	c 1566s |      23 |  2695229 |  2405738 |     1664   2875 |        0 |        0
1567.57/1568.19	c 1568s |      23 |  2698129 |  2408338 |     1664   2878 |        0 |        0
1569.67/1570.20	c 1570s |      23 |  2700807 |  2410738 |     1664   2880 |        0 |        0
1571.67/1572.24	c 1572s |      23 |  2703228 |  2412938 |     1664   2882 |        0 |        0
1573.68/1574.27	c 1574s |      23 |  2705540 |  2415038 |     1664   2884 |        0 |        0
1575.78/1576.31	c 1576s |      23 |  2708559 |  2417738 |     1664   2887 |        0 |        0
1577.77/1578.33	c 1578s |      23 |  2711281 |  2420238 |     1664   2889 |        0 |        0
1579.77/1580.38	c 1580s |      23 |  2714281 |  2422938 |     1664   2892 |        0 |        0
1581.87/1582.42	c 1582s |      23 |  2716869 |  2425338 |     1664   2894 |        0 |        0
1583.87/1584.46	c 1584s |      23 |  2719494 |  2427738 |     1664   2897 |        0 |        0
1585.87/1586.47	c 1586s |      23 |  2722478 |  2430438 |     1664   2899 |        0 |        0
1587.88/1588.48	c 1588s |      23 |  2725384 |  2433038 |     1664   2902 |        0 |        0
1589.97/1590.53	c 1590s |      23 |  2728653 |  2435938 |     1664   2904 |        0 |        0
1591.97/1592.59	c 1592s |      23 |  2731633 |  2438638 |     1664   2907 |        0 |        0
1594.07/1594.69	c 1594s |      23 |  2734513 |  2441238 |     1664   2910 |        0 |        0
1596.07/1596.69	c 1596s |      23 |  2737010 |  2443538 |     1664   2912 |        0 |        0
1598.17/1598.74	c 1598s |      23 |  2739735 |  2446038 |     1664   2914 |        0 |        0
1600.27/1600.80	c 1600s |      23 |  2742372 |  2448438 |     1664   2916 |        0 |        0
1602.28/1602.81	c 1602s |      23 |  2744885 |  2450738 |     1664   2919 |        0 |        0
1604.27/1604.83	c 1604s |      23 |  2747872 |  2453338 |     1664   2921 |        0 |        0
1606.27/1606.88	c 1606s |      23 |  2750989 |  2456138 |     1664   2924 |        0 |        0
1608.37/1608.92	c 1608s |      23 |  2753992 |  2458838 |     1664   2926 |        0 |        0
1610.37/1610.92	c 1610s |      23 |  2756655 |  2461238 |     1664   2929 |        0 |        0
1612.37/1612.97	c 1612s |      23 |  2759284 |  2463638 |     1664   2931 |        0 |        0
1614.37/1614.99	c 1614s |      23 |  2761875 |  2466038 |     1664   2933 |        0 |        0
1616.47/1617.07	c 1617s |      23 |  2764424 |  2468338 |     1664   2936 |        0 |        0
1618.57/1619.10	c 1619s |      23 |  2766890 |  2470638 |     1664   2938 |        0 |        0
1620.57/1621.11	c 1621s |      23 |  2769030 |  2472638 |     1664   2940 |        0 |        0
1622.57/1623.12	c 1623s |      23 |  2771357 |  2474738 |     1664   2942 |        0 |        0
1624.57/1625.18	c 1625s |      23 |  2773931 |  2477038 |     1664   2944 |        0 |        0
1626.66/1627.25	c 1627s |      23 |  2776926 |  2479738 |     1664   2947 |        0 |        0
1628.76/1629.32	c 1629s |      23 |  2780071 |  2482538 |     1664   2949 |        0 |        0
1630.77/1631.39	c 1631s |      23 |  2783001 |  2485238 |     1664   2952 |        0 |        0
1632.86/1633.46	c 1633s |      23 |  2785496 |  2487538 |     1664   2954 |        0 |        0
1634.96/1635.53	c 1635s |      23 |  2788022 |  2489838 |     1664   2956 |        0 |        0
1636.96/1637.58	c 1637s |      23 |  2790384 |  2492038 |     1664   2958 |        0 |        0
1638.96/1639.58	c 1639s |      23 |  2792914 |  2494338 |     1664   2961 |        0 |        0
1641.06/1641.66	c 1641s |      23 |  2795315 |  2496538 |     1664   2963 |        0 |        0
1643.06/1643.67	c 1643s |      23 |  2797413 |  2498438 |     1664   2964 |        0 |        0
1645.17/1645.72	c 1645s |      23 |  2799700 |  2500538 |     1664   2966 |        0 |        0
1647.16/1647.79	c 1647s |      23 |  2803103 |  2503538 |     1664   2969 |        0 |        0
1649.26/1649.83	c 1649s |      23 |  2806064 |  2506238 |     1664   2972 |        0 |        0
1651.36/1651.91	c 1651s |      23 |  2808902 |  2508838 |     1664   2974 |        0 |        0
1653.36/1653.93	c 1653s |      23 |  2811561 |  2511238 |     1664   2977 |        0 |        0
1655.36/1655.97	c 1655s |      23 |  2814395 |  2513838 |     1664   2979 |        0 |        0
1657.46/1658.05	c 1658s |      23 |  2816860 |  2516038 |     1664   2981 |        0 |        0
1659.56/1660.15	c 1660s |      23 |  2819378 |  2518338 |     1664   2984 |        0 |        0
1661.66/1662.22	c 1662s |      23 |  2822041 |  2520738 |     1664   2986 |        0 |        0
1663.66/1664.28	c 1664s |      23 |  2824480 |  2522938 |     1664   2988 |        0 |        0
1665.76/1666.33	c 1666s |      23 |  2827694 |  2525738 |     1664   2991 |        0 |        0
1667.76/1668.37	c 1668s |      23 |  2830691 |  2528438 |     1664   2993 |        0 |        0
1669.85/1670.42	c 1670s |      23 |  2833494 |  2530938 |     1664   2996 |        0 |        0
1671.85/1672.45	c 1672s |      23 |  2836393 |  2533538 |     1664   2998 |        0 |        0
1673.95/1674.51	c 1674s |      23 |  2839207 |  2536138 |     1664   3001 |        0 |        0
1675.96/1676.56	c 1676s |      23 |  2841806 |  2538538 |     1664   3003 |        0 |        0
1678.06/1678.63	c 1678s |      23 |  2844538 |  2541038 |     1664   3005 |        0 |        0
1680.05/1680.64	c 1680s |      23 |  2847157 |  2543438 |     1664   3008 |        0 |        0
1682.15/1682.73	c 1682s |      23 |  2849797 |  2545838 |     1664   3010 |        0 |        0
1684.15/1684.73	c 1684s |      23 |  2852100 |  2547938 |     1664   3012 |        0 |        0
1686.15/1686.76	c 1686s |      23 |  2854766 |  2550338 |     1664   3014 |        0 |        0
1688.25/1688.82	c 1688s |      23 |  2857944 |  2553238 |     1664   3017 |        0 |        0
1690.26/1690.83	c 1690s |      23 |  2860733 |  2555738 |     1664   3019 |        0 |        0
1692.25/1692.84	c 1692s |      23 |  2863688 |  2558438 |     1664   3022 |        0 |        0
1694.25/1694.86	c 1694s |      23 |  2866666 |  2561138 |     1664   3025 |        0 |        0
1696.25/1696.89	c 1696s |      23 |  2869499 |  2563738 |     1664   3027 |        0 |        0
1698.35/1698.95	c 1698s |      23 |  2872252 |  2566238 |     1664   3030 |        0 |        0
1700.45/1701.01	c 1701s |      23 |  2874873 |  2568638 |     1664   3032 |        0 |        0
1702.45/1703.06	c 1703s |      23 |  2877392 |  2570938 |     1664   3034 |        0 |        0
1704.45/1705.06	c 1705s |      23 |  2880305 |  2573538 |     1664   3037 |        0 |        0
1706.45/1707.08	c 1707s |      23 |  2883604 |  2576438 |     1664   3039 |        0 |        0
1708.45/1709.09	c 1709s |      23 |  2887068 |  2579438 |     1664   3042 |        0 |        0
1710.55/1711.12	c 1711s |      23 |  2890049 |  2582138 |     1664   3045 |        0 |        0
1712.55/1713.12	c 1713s |      23 |  2893178 |  2584938 |     1664   3048 |        0 |        0
1714.55/1715.12	c 1715s |      23 |  2896600 |  2587938 |     1664   3050 |        0 |        0
1716.55/1717.13	c 1717s |      23 |  2899475 |  2590538 |     1664   3053 |        0 |        0
1718.64/1719.21	c 1719s |      23 |  2902199 |  2593038 |     1664   3055 |        0 |        0
1720.64/1721.24	c 1721s |      23 |  2904887 |  2595438 |     1664   3058 |        0 |        0
1722.75/1723.32	c 1723s |      23 |  2907633 |  2597938 |     1664   3060 |        0 |        0
1724.85/1725.40	c 1725s |      23 |  2910367 |  2600438 |     1664   3062 |        0 |        0
1726.85/1727.43	c 1727s |      23 |  2912592 |  2602438 |     1664   3064 |        0 |        0
1728.85/1729.46	c 1729s |      23 |  2915652 |  2605138 |     1664   3067 |        0 |        0
1730.96/1731.54	c 1731s |      23 |  2918082 |  2607338 |     1664   3069 |        0 |        0
1732.95/1733.56	c 1733s |      23 |  2920523 |  2609538 |     1664   3071 |        0 |        0
1735.05/1735.61	c 1735s |      23 |  2923509 |  2612138 |     1664   3074 |        0 |        0
1737.05/1737.67	c 1737s |      23 |  2926363 |  2614738 |     1664   3076 |        0 |        0
1739.15/1739.74	c 1739s |      23 |  2929054 |  2617138 |     1664   3078 |        0 |        0
1741.15/1741.78	c 1741s |      23 |  2931281 |  2619138 |     1664   3080 |        0 |        0
1743.15/1743.78	c 1743s |      23 |  2934492 |  2622038 |     1664   3083 |        0 |        0
1745.26/1745.85	c 1745s |      23 |  2937125 |  2624438 |     1664   3086 |        0 |        0
1747.25/1747.88	c 1747s |      23 |  2939911 |  2626938 |     1664   3088 |        0 |        0
1749.35/1749.92	c 1749s |      23 |  2942607 |  2629438 |     1664   3090 |        0 |        0
1751.35/1751.99	c 1751s |      23 |  2945570 |  2632138 |     1664   3093 |        0 |        0
1753.45/1754.05	c 1754s |      23 |  2948218 |  2634538 |     1664   3095 |        0 |        0
1755.55/1756.11	c 1756s |      23 |  2951012 |  2637038 |     1664   3098 |        0 |        0
1757.55/1758.13	c 1758s |      23 |  2953881 |  2639638 |     1664   3100 |        0 |        0
1759.55/1760.16	c 1760s |      23 |  2956526 |  2642038 |     1664   3102 |        0 |        0
1761.55/1762.18	c 1762s |      23 |  2959168 |  2644438 |     1664   3105 |        0 |        0
1763.65/1764.26	c 1764s |      23 |  2961830 |  2646838 |     1664   3107 |        0 |        0
1765.74/1766.34	c 1766s |      23 |  2965233 |  2649838 |     1664   3110 |        0 |        0
1767.84/1768.40	c 1768s |      23 |  2968216 |  2652538 |     1664   3113 |        0 |        0
1769.84/1770.41	c 1770s |      23 |  2970841 |  2654938 |     1664   3115 |        0 |        0
1771.94/1772.50	c 1772s |      23 |  2973557 |  2657438 |     1664   3117 |        0 |        0
1773.94/1774.53	c 1774s |      23 |  2976260 |  2659838 |     1664   3120 |        0 |        0
1775.95/1776.54	c 1776s |      23 |  2979066 |  2662338 |     1664   3122 |        0 |        0
1777.94/1778.57	c 1778s |      23 |  2982016 |  2664938 |     1664   3124 |        0 |        0
1780.04/1780.61	c 1780s |      23 |  2984782 |  2667438 |     1664   3127 |        0 |        0
1782.04/1782.63	c 1782s |      23 |  2987418 |  2669838 |     1664   3129 |        0 |        0
1784.04/1784.65	c 1784s |      23 |  2990082 |  2672238 |     1664   3132 |        0 |        0
1786.04/1786.69	c 1786s |      23 |  2992353 |  2674338 |     1664   3134 |        0 |        0
1788.05/1788.70	c 1788s |      23 |  2995178 |  2676838 |     1664   3136 |        0 |        0
1790.14/1790.74	c 1790s |      23 |  2997678 |  2679138 |     1664   3138 |        0 |        0
1792.14/1792.75	c 1792s |      23 |  3000291 |  2681538 |     1664   3140 |        0 |        0
1794.14/1794.77	c 1794s |      23 |  3002938 |  2683938 |     1664   3143 |        0 |        0
1796.24/1796.85	c 1796s |      23 |  3005648 |  2686438 |     1664   3145 |        0 |        0
1798.34/1798.90	c 1798s |      23 |  3008170 |  2688738 |     1664   3147 |        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-4078765-1465239397/watcher-4078765-1465239397 -o /tmp/evaluation-result-4078765-1465239397/solver-4078765-1465239397 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078765-1465239397.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.18 2.06 2.02 3/179 3350
/proc/meminfo: memFree=30814924/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=724548 CPUtime=0 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 2705 0 0 0 0 0 0 0 20 0 4 0 105875168 741937152 2555 33554432000 4194304 16246674 140734219346784 140734219345720 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 181649 2565 442 2943 0 178543 0
[pid=3350/tid=3351] ppid=3347 vsize=741956 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 759762944 2623 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=746052 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 763957248 2639 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=750148 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105875168 768151552 2657 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.18 2.06 2.02 3/179 3350
/proc/meminfo: memFree=30814924/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 33914 0 0 0 5 4 0 0 20 0 4 0 105875168 1247350784 33752 33554432000 4194304 16246674 140734219346784 140734219345720 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 304529 33774 711 2943 0 301423 0
[pid=3350/tid=3351] ppid=3347 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1247350784 33788 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1247350784 33800 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105875168 1247350784 33808 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200591 s]
/proc/loadavg: 2.18 2.06 2.02 3/179 3350
/proc/meminfo: memFree=30814924/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 72528 0 0 0 10 9 0 0 20 0 4 0 105875168 1247350784 72367 33554432000 4194304 16246674 140734219346784 140734219345720 5589685 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 304529 72385 711 2943 0 301423 0
[pid=3350/tid=3351] ppid=3347 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1247350784 72397 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1247350784 72408 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105875168 1247350784 72419 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30049 s]
/proc/loadavg: 2.18 2.06 2.02 3/179 3350
/proc/meminfo: memFree=30814924/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 107589 0 0 0 15 14 0 0 20 0 4 0 105875168 1247350784 107427 33554432000 4194304 16246674 140734219346784 140734219345720 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 304529 107447 711 2943 0 301423 0
[pid=3350/tid=3351] ppid=3347 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1247350784 107460 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1247350784 107473 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105875168 1247350784 107485 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70043 s]
/proc/loadavg: 2.18 2.06 2.02 3/179 3350
/proc/meminfo: memFree=30814924/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1219140 CPUtime=0.69 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 245693 0 0 0 38 31 0 0 20 0 4 0 105875168 1248399360 245511 33554432000 4194304 16246674 140734219346784 140734219346096 5722040 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 304785 245511 788 2943 0 301679 0
[pid=3350/tid=3351] ppid=3347 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1248399360 245511 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1248399360 245511 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105875168 1248399360 245511 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1219140

[startup+1.50045 s]
/proc/loadavg: 2.17 2.06 2.02 3/183 3354
/proc/meminfo: memFree=29794256/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 267190 0 0 0 115 34 0 0 20 0 4 0 105875168 1336479744 267008 33554432000 4194304 16246674 140734219346784 140734219329784 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 326289 267008 788 2943 0 323183 0
[pid=3350/tid=3351] ppid=3347 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1336479744 267008 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1336479744 267008 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105875168 1336479744 267008 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10047 s]
/proc/loadavg: 2.17 2.06 2.02 3/183 3354
/proc/meminfo: memFree=29747076/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 267479 0 0 0 275 34 0 0 20 0 4 0 105875168 1337528320 267297 33554432000 4194304 16246674 140734219346784 140734219328704 5546107 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 326545 267297 789 2943 0 323439 0
[pid=3350/tid=3351] ppid=3347 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1337528320 267297 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1337528320 267297 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105875168 1337528320 267297 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30045 s]
/proc/loadavg: 2.15 2.06 2.02 3/183 3354
/proc/meminfo: memFree=29747220/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1307204 CPUtime=6.28 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 267584 0 0 0 594 34 0 0 20 0 4 0 105875168 1338576896 267402 33554432000 4194304 16246674 140734219346784 140734219345960 5677376 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 326801 267402 789 2943 0 323695 0
[pid=3350/tid=3351] ppid=3347 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1338576896 267402 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1338576896 267402 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105875168 1338576896 267402 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.14 2.06 2.02 3/183 3354
/proc/meminfo: memFree=29685020/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 267831 0 0 0 1234 35 0 0 20 0 4 0 105875168 1338576896 267649 33554432000 4194304 16246674 140734219346784 140734219329784 5823512 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 326801 267649 789 2943 0 323695 0
[pid=3350/tid=3351] ppid=3347 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1338576896 267649 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1338576896 267649 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105875168 1338576896 267649 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.19 2.07 2.02 3/183 3354
/proc/meminfo: memFree=29676648/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 267831 0 0 0 2514 35 0 0 20 0 4 0 105875168 1338576896 267649 33554432000 4194304 16246674 140734219346784 140734219328704 5545832 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 326801 267649 789 2943 0 323695 0
[pid=3350/tid=3351] ppid=3347 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1338576896 267649 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1338576896 267649 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105875168 1338576896 267649 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.12 2.07 2.02 3/183 3354
/proc/meminfo: memFree=29604428/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 267833 0 0 0 5073 35 0 0 20 0 4 0 105875168 1338576896 267651 33554432000 4194304 16246674 140734219346784 140734219328704 5829992 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 326801 267651 791 2943 0 323695 0
[pid=3350/tid=3351] ppid=3347 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1338576896 267651 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1338576896 267651 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105875168 1338576896 267651 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.15 2.08 2.02 3/183 3356
/proc/meminfo: memFree=29599868/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 267874 0 0 0 10193 35 0 0 20 0 4 0 105875168 1339625472 267692 33554432000 4194304 16246674 140734219346784 140734219328704 5546160 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 327057 267692 791 2943 0 323951 0
[pid=3350/tid=3351] ppid=3347 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1339625472 267692 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1339625472 267692 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105875168 1339625472 267692 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269188 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1312324

[startup+1302.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/183 3408
/proc/meminfo: memFree=29578088/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1312324 CPUtime=1301.84 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 269530 0 0 0 130142 42 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 140734219328704 5545898 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 328081 269189 793 2943 0 324975 0
[pid=3350/tid=3351] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1312324

[startup+1362.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 3410
/proc/meminfo: memFree=29577236/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1312324 CPUtime=1361.81 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 269575 0 0 0 136138 43 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 140734219328704 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 328081 269189 793 2943 0 324975 0
[pid=3350/tid=3351] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1312324

[startup+1422.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/184 3414
/proc/meminfo: memFree=29516224/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1312324 CPUtime=1421.8 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 269581 0 0 0 142137 43 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 140734219328704 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 328081 269189 793 2943 0 324975 0
[pid=3350/tid=3351] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1312324

[startup+1482.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/183 3415
/proc/meminfo: memFree=29516464/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1312324 CPUtime=1481.78 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 269581 0 0 0 148135 43 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 140734219328704 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 328081 269189 793 2943 0 324975 0
[pid=3350/tid=3351] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1312324

[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 3416
/proc/meminfo: memFree=29516572/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1312324 CPUtime=1541.79 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 269581 0 0 0 154135 44 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 140734219328704 5823170 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 328081 269189 793 2943 0 324975 0
[pid=3350/tid=3351] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1312324

[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 3417
/proc/meminfo: memFree=29510044/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1312324 CPUtime=1601.77 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 269581 0 0 0 160133 44 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 140734219328704 5523513 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 328081 269189 793 2943 0 324975 0
[pid=3350/tid=3351] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1312324

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 3419
/proc/meminfo: memFree=29508908/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1312324 CPUtime=1661.76 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 269581 0 0 0 166132 44 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 140734219328704 5545984 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 328081 269189 793 2943 0 324975 0
[pid=3350/tid=3351] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1312324

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 3420
/proc/meminfo: memFree=29508640/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1312324 CPUtime=1721.75 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 269581 0 0 0 172130 45 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 140734219328704 5545894 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 328081 269189 793 2943 0 324975 0
[pid=3350/tid=3351] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1312324

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 3470
/proc/meminfo: memFree=29599660/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1312324 CPUtime=1781.74 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 269581 0 0 0 178129 45 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 140734219328704 5545708 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 328081 269189 793 2943 0 324975 0
[pid=3350/tid=3351] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1312324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 3470
/proc/meminfo: memFree=29598672/32872528 swapFree=10676/249824
[pid=3350] ppid=3347 vsize=1312324 CPUtime=1800.04 cores=1,3,5,7
/proc/3350/stat : 3350 (toysat) R 3347 3350 1222 0 -1 4202496 269581 0 0 0 179959 45 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 140734219328704 5546214 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3350/statm: 328081 269189 793 2943 0 324975 0
[pid=3350/tid=3351] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3351/stat : 3351 (toysat) S 3347 3350 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972557384944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3350/tid=3352] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3352/stat : 3352 (toysat) S 3347 3350 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972546895088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3350/tid=3353] ppid=3347 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3350/task/3353/stat : 3353 (toysat) S 3347 3350 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105875168 1343819776 269189 33554432000 4194304 16246674 140734219346784 139972536421552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1312324

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.45393
maximum resident set size= 1076756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269581
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= 478
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.5457 second user time and 19.731 second system time

The end

Begin job on node103 at 2016-06-06 20:56:37
IDJOB=4078765
IDBENCH=2569
IDSOLVER=2542
FILE ID=node103/4078765-1465239397
RUNJOBID= node103-1465221288-1239
PBS_JOBID= 19843228
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078765-1465239397/watcher-4078765-1465239397 -o /tmp/evaluation-result-4078765-1465239397/solver-4078765-1465239397 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1239 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078765-1465239397.opb

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

MD5SUM BENCH= a69e1395b1a03cfd48605e1acc7227e4
RANDOM SEED=1361482347

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30814972 kB
Buffers:           38836 kB
Cached:           122940 kB
SwapCached:         1688 kB
Active:          1035940 kB
Inactive:          64664 kB
Active(anon):     939956 kB
Inactive(anon):     1128 kB
Active(file):      95984 kB
Inactive(file):    63536 kB
Unevictable:      249824 kB
Mlocked:           10676 kB
SwapTotal:      67108856 kB
SwapFree:       67096640 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       1190072 kB
Mapped:            10264 kB
Shmem:                 0 kB
Slab:             568632 kB
SReclaimable:      12764 kB
SUnreclaim:       555868 kB
KernelStack:        1520 kB
PageTables:         6716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1470452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 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= 71704 MiB
End job on node103 at 2016-06-06 21:26:38