0.00/0.00	c 2016-06-15T20:41:36+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-4088826-1466016096.opb"]
0.00/0.01	c use --random-gen="3832325190 1256132851 951125906 2289846030 1634736470 1604973172 1122712384 4247863335 2173041188 2261283739 1618634452 3565226111 3861572456 239015179 37347086 2267039280 4167513821 3358856262 1578508668 1648915903 4138770600 799569657 2225486779 2593198939 3772438578 3153050821 1627263150 2465907833 3746976760 353995881 647067598 3436294514 2245902222 2143357683 3805669459 1031933569 53537532 2284767460 3815006604 1486011408 776750435 3102501625 3783101525 2107785593 2474151388 3576324118 2307143332 46170848 3410157748 3971250787 119093324 1436624443 2864041968 3447321221 3069319329 4197301953 180185357 4224137561 2665705990 1045064702 709190312 1551678327 2932332142 2550074223 2350026869 372024291 782679869 601707021 1001775459 588679835 1259143539 2689751460 213812927 761756130 1909822252 3351043418 2560589002 1378093202 999344650 3471786547 3937347044 608501016 2984512817 1995621774 3673850565 1137651526 3700136086 2955937899 899268075 2784709243 3055801730 813966302 1438723632 304062231 3529445011 1380804590 636166820 2309966038 2613010096 561861535 1096156780 1662687142 2825755378 3761830788 2466789820 2946375660 2559529942 3965835713 3571608025 2775456439 1163620765 3410810294 706042108 2341224995 3177543115 685159656 2573996559 3612831981 2252650533 3006329246 4125630007 2105883167 2968720434 2304711733 3773962592 1779173866 3117525126 622665079 2338464077 3858894861 2135830220 2041947533 706943222 804842730 1630379990 4077219524 361226962 39589106 2121445999 2821339882 2164737345 3519709538 4195905118 832460049 1758085911 3930879975 2277636304 449024291 3808418988 4293662216 1927955687 814796703 2566801872 2465430171 726407222 3644870659 3866613739 1217539480 871980434 833152837 2585167014 3117153114 4275074028 90333536 1298438112 3235490445 1818868071 4054269261 1111080829 1783369925 2520153759 3193693989 172226862 1299324462 2117568515 1273687632 1940535416 2904557729 4288350305 62988137 3648931880 3379592842 1293296443 70447238 386557628 1815947801 705745193 840494101 1620501992 781923309 4181946547 668828164 2841852307 1128025346 3428438925 2298006820 2282381304 3387425410 2179207663 3562645324 3178282952 3963019760 459895059 452851682 1223206033 2338614494 2472701660 3857041689 767722594 3536085755 1649678320 315137190 1242844412 567753697 3708438203 1564295476 4143862184 1911818755 2698906018 4281750886 2704530195 975837690 3784546698 2829176924 877502414 1740258317 4220191508 1622221847 105419558 2441730540 1155012634 3830611153 729257886 3834750251 1267079677 1642246292 919180839 20808611 3432430574 3460329349 3764524473 2039239463 1664997944 3187994176 1385488976 3016584056 1869077763 3671227578 3013222997 3024724287 1734098094 2593979844 1994894967 2926851510 3063657917 2674245967 255 362436" option to reproduce the execution
0.39/0.46	c #vars 82555
0.39/0.46	c #constraints 16512
1.19/1.23	c Solving starts ...
1.19/1.23	c ============================[ Search Statistics ]============================
1.19/1.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.19/1.23	c       |         |          |          |    Limit     GC | Var      | Constra 
1.19/1.23	c =============================================================================
1.39/1.44	c  0.0s |       0 |        0 |        0 |    33022      0 |        0 |        0
1.69/1.73	c  0.3s |       1 |     2619 |      100 |    33022      0 |        0 |        0
1.79/1.80	c  0.4s |       2 |     5131 |      250 |    36325      0 |        0 |        0
1.79/1.84	c  0.4s |       3 |     5669 |      475 |    39958      0 |        0 |        0
1.79/1.89	c  0.4s |       4 |     6087 |      813 |    43954      0 |        0 |        0
1.89/1.95	c  0.5s |       5 |     7028 |     1320 |    48350      0 |        0 |        0
1.99/2.03	c  0.6s |       6 |     8063 |     2081 |    58505      0 |        0 |        0
2.09/2.13	c  0.7s |       7 |    10039 |     3223 |    64356      0 |        0 |        0
2.20/2.30	c  0.9s |       8 |    12363 |     4936 |    70792      0 |        0 |        0
2.49/2.56	c  1.1s |       9 |    16559 |     7506 |    77872      0 |        0 |        0
3.09/3.11	c  1.7s |      10 |    21602 |    11361 |    85660      0 |        0 |        0
3.49/3.56	c  2.1s |      11 |    30697 |    17144 |    94227      0 |        0 |        0
4.29/4.30	c  2.9s |      12 |    43512 |    25819 |   103650      0 |        0 |        0
5.39/5.43	c  4.0s |      13 |    62800 |    38832 |   114016      0 |        0 |        0
7.38/7.44	c  6.0s |      13 |    84954 |    54732 |   114016      0 |        0 |        0
7.69/7.77	c  6.3s |      14 |    89300 |    58352 |   125418      0 |        0 |        0
9.68/9.78	c  8.3s |      14 |   122930 |    81152 |   125418      0 |        0 |        0
10.58/10.62	c  9.2s |      15 |   132156 |    87632 |   137960      0 |        0 |        0
12.58/12.62	c 11.2s |      15 |   158978 |   107632 |   137960      0 |        0 |        0
14.58/14.63	c 13.2s |      15 |   182518 |   125132 |   137960      0 |        0 |        0
15.18/15.26	c 13.8s |      16 |   196817 |   131552 |   151756      0 |        0 |        0
17.18/17.26	c 15.8s |      16 |   214945 |   145852 |   151756      0 |        0 |        0
19.19/19.27	c 17.8s |      16 |   246418 |   163452 |   151756      1 |        0 |        0
21.19/21.28	c 19.8s |      16 |   262897 |   175052 |   151756      1 |        0 |        0
23.29/23.30	c 21.9s |      16 |   281281 |   188052 |   151756      1 |        0 |        0
24.69/24.70	c 23.3s |      17 |   295305 |   197432 |   166932      1 |        0 |        0
26.69/26.70	c 25.3s |      17 |   313896 |   211232 |   166932      1 |        0 |        0
28.69/28.71	c 27.3s |      17 |   341699 |   221932 |   166932      1 |        0 |        0
30.69/30.74	c 29.3s |      17 |   353282 |   230932 |   166932      1 |        0 |        0
32.69/32.74	c 31.3s |      17 |   359104 |   235332 |   166932      1 |        0 |        0
34.69/34.79	c 33.3s |      17 |   363149 |   238832 |   166932      1 |        0 |        0
36.79/36.84	c 35.4s |      17 |   368122 |   242632 |   166932      1 |        0 |        0
38.79/38.87	c 37.4s |      17 |   374149 |   246732 |   166932      1 |        0 |        0
40.88/40.92	c 39.5s |      17 |   395476 |   255832 |   166932      2 |        0 |        0
42.89/42.95	c 41.5s |      17 |   409559 |   265132 |   166932      2 |        0 |        0
44.88/44.96	c 43.5s |      17 |   426294 |   276532 |   166932      2 |        0 |        0
46.88/46.96	c 45.5s |      17 |   449356 |   291332 |   166932      2 |        0 |        0
47.78/47.88	c 46.4s |      18 |   456716 |   296252 |   183626      2 |        0 |        0
49.78/49.88	c 48.4s |      18 |   491454 |   307152 |   183626      2 |        0 |        0
51.79/51.89	c 50.4s |      18 |   501153 |   314552 |   183626      2 |        0 |        0
53.89/53.91	c 52.5s |      18 |   508700 |   320352 |   183626      2 |        0 |        0
55.88/55.92	c 54.5s |      18 |   514633 |   325052 |   183626      2 |        0 |        0
57.88/57.96	c 56.5s |      18 |   520079 |   329352 |   183626      2 |        0 |        0
59.88/59.98	c 58.5s |      18 |   526273 |   334152 |   183626      2 |        0 |        0
61.88/61.99	c 60.6s |      18 |   551523 |   342452 |   183626      2 |        0 |        0
63.98/64.01	c 62.6s |      18 |   566406 |   352452 |   183626      2 |        0 |        0
65.98/66.03	c 64.6s |      18 |   575724 |   358852 |   183626      2 |        0 |        0
67.98/68.04	c 66.6s |      18 |   582565 |   363352 |   183626      3 |        0 |        0
69.98/70.08	c 68.6s |      18 |   607567 |   372952 |   183626      3 |        0 |        0
71.98/72.08	c 70.6s |      18 |   638014 |   390852 |   183626      3 |        0 |        0
73.97/74.09	c 72.6s |      18 |   654889 |   401652 |   183626      3 |        0 |        0
76.07/76.11	c 74.7s |      18 |   665920 |   409452 |   183626      3 |        0 |        0
78.08/78.15	c 76.7s |      18 |   675229 |   416052 |   183626      3 |        0 |        0
80.07/80.18	c 78.7s |      18 |   682325 |   421352 |   183626      3 |        0 |        0
82.07/82.19	c 80.7s |      18 |   697806 |   431552 |   183626      3 |        0 |        0
83.68/83.73	c 82.3s |      19 |   714849 |   444482 |   201989      3 |        0 |        0
85.67/85.73	c 84.3s |      19 |   750956 |   457882 |   201989      3 |        0 |        0
87.67/87.75	c 86.3s |      19 |   771947 |   471282 |   201989      3 |        0 |        0
89.87/89.98	c 88.5s |      19 |   794281 |   487582 |   201989      4 |        0 |        0
93.78/93.87	c 92.4s |      19 |   823277 |   493082 |   201989      4 |        0 |        0
95.79/95.89	c 94.4s |      19 |   838858 |   503482 |   201989      4 |        0 |        0
97.89/97.90	c 96.5s |      19 |   855690 |   514482 |   201989      4 |        0 |        0
99.88/99.93	c 98.5s |      19 |   865913 |   522582 |   201989      4 |        0 |        0
101.88/101.96	c  100s |      19 |   874324 |   528982 |   201989      4 |        0 |        0
103.88/103.96	c  102s |      19 |   898868 |   536082 |   201989      4 |        0 |        0
105.87/105.97	c  104s |      19 |   918876 |   542282 |   201989      4 |        0 |        0
107.88/107.98	c  106s |      19 |   936416 |   554182 |   201989      4 |        0 |        0
109.87/109.99	c  108s |      19 |   946074 |   561782 |   201989      4 |        0 |        0
111.87/111.99	c  110s |      19 |   953613 |   567582 |   201989      4 |        0 |        0
113.97/114.00	c  112s |      19 |   959333 |   572182 |   201989      4 |        0 |        0
115.97/116.06	c  114s |      19 |   964989 |   576582 |   201989      4 |        0 |        0
118.27/118.36	c  116s |      19 |   969718 |   580382 |   201989      5 |        0 |        0
120.27/120.37	c  118s |      19 |   976639 |   585982 |   201989      5 |        0 |        0
122.37/122.43	c  120s |      19 |   983934 |   591682 |   201989      5 |        0 |        0
124.38/124.43	c  122s |      19 |   986816 |   593882 |   201989      5 |        0 |        0
126.37/126.48	c  125s |      19 |   991308 |   597382 |   201989      5 |        0 |        0
128.47/128.50	c  127s |      19 |   995831 |   600882 |   201989      5 |        0 |        0
130.47/130.52	c  129s |      19 |   999793 |   603882 |   201989      5 |        0 |        0
132.47/132.56	c  131s |      19 |  1002535 |   606082 |   201989      5 |        0 |        0
134.47/134.57	c  133s |      19 |  1005512 |   608582 |   201989      5 |        0 |        0
136.57/136.63	c  135s |      19 |  1009758 |   611682 |   201989      5 |        0 |        0
138.58/138.64	c  137s |      19 |  1012508 |   614182 |   201989      5 |        0 |        0
140.67/140.75	c  139s |      19 |  1015320 |   616582 |   201989      5 |        0 |        0
142.77/142.81	c  141s |      19 |  1018095 |   618682 |   201989      5 |        0 |        0
144.87/144.90	c  143s |      19 |  1021435 |   621282 |   201989      5 |        0 |        0
146.87/147.00	c  145s |      19 |  1024588 |   623982 |   201989      5 |        0 |        0
148.97/149.06	c  147s |      19 |  1028256 |   626982 |   201989      5 |        0 |        0
151.07/151.11	c  149s |      19 |  1031601 |   629882 |   201989      5 |        0 |        0
153.17/153.20	c  151s |      19 |  1036834 |   633882 |   201989      5 |        0 |        0
155.17/155.22	c  153s |      19 |  1041636 |   637182 |   201989      5 |        0 |        0
157.27/157.38	c  155s |      19 |  1047171 |   641282 |   201989      5 |        0 |        0
159.37/159.43	c  157s |      19 |  1048619 |   642382 |   201989      5 |        0 |        0
161.37/161.48	c  160s |      19 |  1051592 |   644682 |   201989      5 |        0 |        0
163.66/163.76	c  162s |      19 |  1055918 |   647982 |   201989      5 |        0 |        0
165.76/165.87	c  164s |      19 |  1057126 |   649082 |   201989      5 |        0 |        0
167.86/167.95	c  166s |      19 |  1059103 |   650782 |   201989      5 |        0 |        0
169.96/170.09	c  168s |      19 |  1063354 |   654182 |   201989      5 |        0 |        0
172.06/172.18	c  170s |      19 |  1067324 |   656982 |   201989      5 |        0 |        0
174.06/174.19	c  172s |      19 |  1070171 |   659282 |   201989      5 |        0 |        0
176.07/176.19	c  174s |      19 |  1074486 |   662782 |   222188      5 |        0 |        0
178.17/178.25	c  176s |      19 |  1079180 |   666582 |   222188      5 |        0 |        0
178.36/178.47	c  177s |      20 |  1079520 |   666827 |   222188      5 |        0 |        0
180.37/180.47	c  179s |      20 |  1098586 |   675727 |   222188      5 |        0 |        0
182.36/182.48	c  181s |      20 |  1119251 |   690227 |   222188      5 |        0 |        0
185.36/185.41	c  183s |      20 |  1133396 |   700427 |   222188      6 |        0 |        0
187.36/187.42	c  185s |      20 |  1154623 |   714927 |   222188      6 |        0 |        0
189.36/189.42	c  187s |      20 |  1177013 |   727627 |   222188      6 |        0 |        0
191.36/191.44	c  190s |      20 |  1202886 |   744727 |   222188      6 |        0 |        0
193.36/193.46	c  192s |      20 |  1216830 |   754827 |   222188      6 |        0 |        0
195.35/195.49	c  194s |      20 |  1225292 |   761327 |   222188      6 |        0 |        0
197.35/197.49	c  196s |      20 |  1235105 |   768327 |   222188      6 |        0 |        0
199.45/199.50	c  198s |      20 |  1246627 |   776027 |   222188      6 |        0 |        0
201.45/201.50	c  200s |      20 |  1256367 |   782627 |   222188      6 |        0 |        0
203.46/203.51	c  202s |      20 |  1265157 |   789227 |   222188      6 |        0 |        0
205.45/205.52	c  204s |      20 |  1272843 |   795127 |   222188      6 |        0 |        0
207.45/207.52	c  206s |      20 |  1281933 |   801927 |   222188      6 |        0 |        0
209.45/209.53	c  208s |      20 |  1294130 |   811027 |   222188      6 |        0 |        0
226.56/226.66	c  225s |      20 |  1296382 |   812727 |   222188      7 |        0 |        0
228.55/228.67	c  227s |      20 |  1302078 |   816027 |   222188      7 |        0 |        0
230.55/230.69	c  229s |      20 |  1318996 |   827627 |   222188      7 |        0 |        0
233.65/233.71	c  232s |      20 |  1327477 |   832727 |   222188      7 |        0 |        0
236.35/236.43	c  234s |      20 |  1365805 |   847927 |   222188      7 |        0 |        0
238.35/238.44	c  236s |      20 |  1385514 |   860127 |   222188      7 |        0 |        0
240.55/240.64	c  239s |      20 |  1397008 |   868327 |   222188      7 |        0 |        0
243.06/243.17	c  241s |      20 |  1406713 |   875827 |   222188      7 |        0 |        0
245.05/245.19	c  243s |      20 |  1428880 |   890127 |   222188      7 |        0 |        0
247.15/247.25	c  245s |      20 |  1472498 |   911827 |   222188      7 |        0 |        0
249.15/249.28	c  247s |      20 |  1491167 |   925327 |   222188      7 |        0 |        0
251.25/251.30	c  249s |      20 |  1498244 |   930427 |   222188      8 |        0 |        0
253.25/253.31	c  251s |      20 |  1506863 |   937127 |   222188      8 |        0 |        0
255.26/255.31	c  253s |      20 |  1514612 |   943027 |   222188      8 |        0 |        0
257.25/257.32	c  255s |      20 |  1521171 |   948127 |   222188      8 |        0 |        0
259.25/259.34	c  257s |      20 |  1526439 |   952627 |   222188      8 |        0 |        0
261.25/261.35	c  259s |      20 |  1532674 |   957427 |   222188      8 |        0 |        0
263.25/263.39	c  261s |      20 |  1537625 |   961227 |   222188      8 |        0 |        0
265.35/265.41	c  263s |      20 |  1542191 |   964727 |   222188      8 |        0 |        0
267.36/267.46	c  266s |      20 |  1546562 |   967727 |   222188      8 |        0 |        0
269.35/269.49	c  268s |      20 |  1551359 |   971027 |   222188      8 |        0 |        0
271.45/271.53	c  270s |      20 |  1557402 |   975527 |   222188      8 |        0 |        0
273.45/273.59	c  272s |      20 |  1563617 |   980027 |   222188      8 |        0 |        0
275.55/275.65	c  274s |      20 |  1568891 |   983927 |   222188      8 |        0 |        0
277.65/277.70	c  276s |      20 |  1669277 |   994127 |   244407      8 |        0 |        0
278.35/278.43	c  276s |      21 |  1678514 |  1000345 |   244407      8 |        0 |        0
280.34/280.44	c  278s |      21 |  1689109 |  1008745 |   244407      8 |        0 |        0
282.34/282.49	c  281s |      21 |  1696634 |  1015045 |   244407      8 |        0 |        0
284.34/284.49	c  283s |      21 |  1703564 |  1020045 |   244407      8 |        0 |        0
286.94/287.04	c  285s |      21 |  1771283 |  1024145 |   244407      8 |        0 |        0
289.14/289.20	c  287s |      21 |  1890377 |  1037545 |   244407      8 |        0 |        0
291.14/291.21	c  289s |      21 |  1926297 |  1055745 |   244407      8 |        0 |        0
293.54/293.63	c  292s |      21 |  2015522 |  1071045 |   244407      9 |        0 |        0
295.54/295.65	c  294s |      21 |  2038210 |  1086845 |   244407      9 |        0 |        0
297.54/297.66	c  296s |      21 |  2055347 |  1099045 |   244407      9 |        0 |        0
300.14/300.28	c  298s |      21 |  2090892 |  1115145 |   244407      9 |        0 |        0
302.24/302.36	c  300s |      21 |  2187040 |  1123245 |   244407      9 |        0 |        0
304.25/304.37	c  302s |      21 |  2240801 |  1140245 |   244407      9 |        0 |        0
306.25/306.38	c  304s |      21 |  2274114 |  1151445 |   244407      9 |        0 |        0
308.24/308.38	c  306s |      21 |  2399341 |  1160445 |   244407      9 |        0 |        0
310.34/310.46	c  309s |      21 |  2401689 |  1161945 |   244407      9 |        0 |        0
312.34/312.48	c  311s |      21 |  2419278 |  1174445 |   244407      9 |        0 |        0
314.44/314.51	c  313s |      21 |  2430843 |  1182945 |   244407      9 |        0 |        0
316.74/316.86	c  315s |      21 |  2439856 |  1189145 |   244407     10 |        0 |        0
318.84/318.90	c  317s |      21 |  2448724 |  1195145 |   244407     10 |        0 |        0
320.84/320.92	c  319s |      21 |  2457446 |  1200945 |   244407     10 |        0 |        0
322.83/322.94	c  321s |      21 |  2466035 |  1207345 |   244407     10 |        0 |        0
324.84/324.94	c  323s |      21 |  2472628 |  1212245 |   244407     10 |        0 |        0
326.84/326.97	c  325s |      21 |  2478903 |  1217245 |   244407     10 |        0 |        0
328.95/329.00	c  327s |      21 |  2484449 |  1221645 |   244407     10 |        0 |        0
330.94/331.05	c  329s |      21 |  2693543 |  1227245 |   244407     10 |        0 |        0
332.94/333.06	c  331s |      21 |  2714185 |  1242545 |   244407     10 |        0 |        0
334.94/335.06	c  333s |      21 |  2743844 |  1258345 |   244407     10 |        0 |        0
337.04/337.18	c  335s |      21 |  2857129 |  1270845 |   244407     10 |        0 |        0
339.84/339.98	c  338s |      21 |  3079424 |  1280545 |   244407     10 |        0 |        0
341.93/342.01	c  340s |      21 |  3099380 |  1292545 |   244407     10 |        0 |        0
343.93/344.07	c  342s |      21 |  3202021 |  1299245 |   244407     10 |        0 |        0
345.93/346.07	c  344s |      21 |  3310447 |  1310045 |   244407     10 |        0 |        0
347.93/348.07	c  346s |      21 |  3320699 |  1317645 |   244407     11 |        0 |        0
350.03/350.10	c  348s |      21 |  3362379 |  1337045 |   244407     11 |        0 |        0
352.04/352.13	c  350s |      21 |  3470821 |  1348745 |   244407     11 |        0 |        0
354.04/354.17	c  352s |      21 |  3690772 |  1352845 |   244407     11 |        0 |        0
356.04/356.18	c  354s |      21 |  3716305 |  1364945 |   244407     11 |        0 |        0
358.14/358.22	c  356s |      21 |  3745917 |  1379245 |   244407     11 |        0 |        0
360.14/360.22	c  358s |      21 |  3831622 |  1390645 |   244407     11 |        0 |        0
362.33/362.45	c  361s |      21 |  4021450 |  1402345 |   244407     11 |        0 |        0
364.33/364.46	c  363s |      21 |  4072116 |  1414445 |   244407     11 |        0 |        0
366.34/366.47	c  365s |      21 |  4091782 |  1429245 |   244407     11 |        0 |        0
368.44/368.59	c  367s |      21 |  4199620 |  1440245 |   244407     12 |        0 |        0
371.23/371.36	c  369s |      21 |  4358135 |  1444545 |   244407     12 |        0 |        0
373.23/373.38	c  371s |      21 |  4447651 |  1456045 |   244407     12 |        0 |        0
375.23/375.38	c  373s |      21 |  4457820 |  1463845 |   244407     12 |        0 |        0
377.93/378.03	c  376s |      21 |  4600350 |  1469445 |   244407     12 |        0 |        0
380.23/380.32	c  378s |      21 |  4668709 |  1475745 |   244407     12 |        0 |        0
382.23/382.32	c  380s |      21 |  4708702 |  1490945 |   268848     12 |        0 |        0
383.23/383.36	c  381s |      22 |  4721585 |  1500622 |   268848     12 |        0 |        0
385.23/385.36	c  383s |      22 |  4740516 |  1515122 |   268848     12 |        0 |        0
387.24/387.37	c  385s |      22 |  4764940 |  1533322 |   268848     12 |        0 |        0
389.23/389.38	c  387s |      22 |  4877404 |  1545422 |   268848     12 |        0 |        0
392.13/392.28	c  390s |      22 |  5086395 |  1557022 |   268848     12 |        0 |        0
394.84/394.96	c  393s |      22 |  5087311 |  1557222 |   268848     12 |        0 |        0
396.83/396.97	c  395s |      22 |  5109736 |  1573722 |   268848     12 |        0 |        0
398.83/398.99	c  397s |      22 |  5141892 |  1587322 |   268848     13 |        0 |        0
401.12/401.22	c  399s |      22 |  5226129 |  1594722 |   268848     13 |        0 |        0
403.13/403.23	c  401s |      22 |  5246652 |  1610122 |   268848     13 |        0 |        0
405.13/405.24	c  403s |      22 |  5270485 |  1627222 |   268848     13 |        0 |        0
407.23/407.35	c  405s |      22 |  5557485 |  1634122 |   268848     13 |        0 |        0
409.33/409.49	c  408s |      22 |  5798006 |  1646622 |   268848     13 |        0 |        0
411.44/411.53	c  410s |      22 |  5845762 |  1667922 |   268848     13 |        0 |        0
413.43/413.54	c  412s |      22 |  5916546 |  1683222 |   268848     13 |        0 |        0
415.43/415.54	c  414s |      22 |  5988757 |  1697422 |   268848     13 |        0 |        0
417.53/417.69	c  416s |      22 |  6270140 |  1707322 |   268848     13 |        0 |        0
420.62/420.73	c  419s |      22 |  6576635 |  1708422 |   268848     13 |        0 |        0
422.72/422.82	c  421s |      22 |  6627478 |  1718522 |   268848     14 |        0 |        0
424.82/424.92	c  423s |      22 |  6932436 |  1723922 |   268848     14 |        0 |        0
427.03/427.10	c  425s |      22 |  6984399 |  1729922 |   268848     14 |        0 |        0
429.03/429.18	c  427s |      22 |  7213863 |  1741722 |   268848     14 |        0 |        0
431.02/431.19	c  429s |      22 |  7241738 |  1761322 |   268848     14 |        0 |        0
433.12/433.28	c  431s |      22 |  7413736 |  1774522 |   268848     14 |        0 |        0
435.12/435.28	c  433s |      22 |  7671910 |  1785022 |   268848     14 |        0 |        0
441.62/441.74	c  440s |      22 |  8012524 |  1791422 |   268848     14 |        0 |        0
443.62/443.74	c  442s |      22 |  8079648 |  1805322 |   268848     14 |        0 |        0
445.62/445.75	c  444s |      22 |  8102294 |  1821522 |   268848     14 |        0 |        0
447.62/447.75	c  446s |      22 |  8125727 |  1837022 |   268848     14 |        0 |        0
450.42/450.55	c  449s |      22 |  8276990 |  1849122 |   268848     14 |        0 |        0
456.22/456.35	c  454s |      22 |  8332614 |  1850222 |   268848     14 |        0 |        0
458.72/458.83	c  457s |      22 |  8409134 |  1859322 |   268848     15 |        0 |        0
460.72/460.84	c  459s |      22 |  8435273 |  1875222 |   268848     15 |        0 |        0
462.71/462.84	c  461s |      22 |  8452468 |  1887222 |   268848     15 |        0 |        0
464.71/464.86	c  463s |      22 |  8646989 |  1898822 |   268848     15 |        0 |        0
466.81/466.98	c  465s |      22 |  8711914 |  1909822 |   268848     15 |        0 |        0
468.91/469.00	c  467s |      22 |  8966692 |  1915022 |   268848     15 |        0 |        0
470.91/471.00	c  469s |      22 |  8992440 |  1932822 |   268848     15 |        0 |        0
473.42/473.51	c  472s |      22 |  9064856 |  1944322 |   268848     15 |        0 |        0
475.42/475.51	c  474s |      22 |  9085356 |  1957222 |   268848     15 |        0 |        0
477.42/477.51	c  476s |      22 |  9112138 |  1966522 |   268848     15 |        0 |        0
479.42/479.52	c  478s |      22 |  9135192 |  1983922 |   268848     15 |        0 |        0
481.41/481.52	c  480s |      22 |  9154120 |  1998922 |   268848     16 |        0 |        0
483.42/483.52	c  482s |      22 |  9280302 |  2012222 |   268848     16 |        0 |        0
485.52/485.67	c  484s |      22 |  9405213 |  2024722 |   268848     16 |        0 |        0
487.52/487.67	c  486s |      22 |  9609014 |  2031522 |   268848     16 |        0 |        0
489.53/489.69	c  488s |      22 |  9669813 |  2045522 |   268848     16 |        0 |        0
491.52/491.70	c  490s |      22 |  9773855 |  2052822 |   268848     16 |        0 |        0
493.72/493.90	c  492s |      22 |  9926779 |  2064422 |   268848     16 |        0 |        0
495.92/496.07	c  494s |      22 |  9940264 |  2064822 |   268848     16 |        0 |        0
499.21/499.34	c  497s |      22 |  9979772 |  2073122 |   268848     16 |        0 |        0
501.21/501.35	c  499s |      22 |  9990187 |  2081422 |   268848     16 |        0 |        0
503.22/503.36	c  501s |      22 | 10013050 |  2088822 |   268848     16 |        0 |        0
505.22/505.37	c  503s |      22 | 10034846 |  2100822 |   268848     16 |        0 |        0
507.32/507.48	c  506s |      22 | 10327443 |  2108822 |   268848     16 |        0 |        0
509.32/509.49	c  508s |      22 | 10428482 |  2124322 |   268848     16 |        0 |        0
511.82/511.94	c  510s |      22 | 10448320 |  2138122 |   268848     17 |        0 |        0
513.82/513.95	c  512s |      22 | 10468173 |  2151922 |   268848     17 |        0 |        0
515.82/515.98	c  514s |      22 | 10480991 |  2161322 |   268848     17 |        0 |        0
517.81/517.99	c  516s |      22 | 10734661 |  2167722 |   268848     17 |        0 |        0
519.91/520.01	c  518s |      22 | 10745762 |  2175422 |   268848     17 |        0 |        0
521.91/522.03	c  520s |      22 | 10755197 |  2181222 |   268848     17 |        0 |        0
523.91/524.03	c  522s |      22 | 10764449 |  2187922 |   268848     17 |        0 |        0
525.91/526.04	c  524s |      22 | 10772616 |  2193322 |   268848     17 |        0 |        0
527.92/528.05	c  526s |      22 | 10780979 |  2198622 |   268848     17 |        0 |        0
529.91/530.08	c  528s |      22 | 10788376 |  2203422 |   268848     17 |        0 |        0
532.01/532.13	c  530s |      22 | 10844527 |  2207522 |   268848     17 |        0 |        0
534.01/534.14	c  532s |      22 | 10907860 |  2209022 |   268848     17 |        0 |        0
536.01/536.15	c  534s |      22 | 10959556 |  2228722 |   268848     17 |        0 |        0
538.00/538.16	c  536s |      22 | 10986435 |  2245522 |   295733     17 |        0 |        0
538.80/538.99	c  537s |      23 | 10994696 |  2251038 |   295733     17 |        0 |        0
540.90/541.01	c  539s |      23 | 11040130 |  2260038 |   295733     17 |        0 |        0
542.90/543.10	c  541s |      23 | 11205311 |  2270338 |   295733     17 |        0 |        0
545.01/545.10	c  543s |      23 | 11508390 |  2275838 |   295733     17 |        0 |        0
547.01/547.10	c  545s |      23 | 11537394 |  2286038 |   295733     17 |        0 |        0
549.01/549.11	c  547s |      23 | 11595914 |  2295538 |   295733     18 |        0 |        0
551.21/551.33	c  549s |      23 | 11756978 |  2305638 |   295733     18 |        0 |        0
558.60/558.74	c  557s |      23 | 11885734 |  2305738 |   295733     18 |        0 |        0
560.60/560.75	c  559s |      23 | 11980653 |  2318638 |   295733     18 |        0 |        0
562.60/562.77	c  561s |      23 | 12129076 |  2326738 |   295733     18 |        0 |        0
564.60/564.78	c  563s |      23 | 12197090 |  2343338 |   295733     18 |        0 |        0
566.60/566.78	c  565s |      23 | 12226935 |  2361038 |   295733     18 |        0 |        0
568.80/568.98	c  567s |      23 | 12403232 |  2373438 |   295733     18 |        0 |        0
571.01/571.18	c  569s |      23 | 12630424 |  2374338 |   295733     18 |        0 |        0
580.40/580.55	c  579s |      23 | 12768215 |  2375538 |   295733     18 |        0 |        0
582.40/582.56	c  581s |      23 | 12807526 |  2391938 |   295733     18 |        0 |        0
584.40/584.59	c  583s |      23 | 12820382 |  2401638 |   295733     18 |        0 |        0
586.50/586.61	c  585s |      23 | 12832852 |  2410438 |   295733     18 |        0 |        0
588.51/588.61	c  587s |      23 | 12845643 |  2419738 |   295733     18 |        0 |        0
590.50/590.61	c  589s |      23 | 12867607 |  2435938 |   295733     18 |        0 |        0
592.50/592.62	c  591s |      23 | 12878270 |  2444338 |   295733     19 |        0 |        0
594.50/594.63	c  593s |      23 | 12949123 |  2462338 |   295733     19 |        0 |        0
596.50/596.63	c  595s |      23 | 12969186 |  2477038 |   295733     19 |        0 |        0
598.50/598.63	c  597s |      23 | 13111973 |  2486238 |   295733     19 |        0 |        0
600.50/600.64	c  599s |      23 | 13347246 |  2496138 |   295733     19 |        0 |        0
602.50/602.64	c  601s |      23 | 13605360 |  2502838 |   295733     19 |        0 |        0
605.40/605.53	c  604s |      23 | 13690047 |  2511438 |   295733     19 |        0 |        0
607.90/608.02	c  606s |      23 | 13899036 |  2524338 |   295733     19 |        0 |        0
609.90/610.04	c  608s |      23 | 13919544 |  2539438 |   295733     19 |        0 |        0
611.89/612.04	c  610s |      23 | 13933818 |  2549538 |   295733     19 |        0 |        0
613.89/614.06	c  612s |      23 | 14053058 |  2559038 |   295733     19 |        0 |        0
615.90/616.07	c  614s |      23 | 14293027 |  2566838 |   295733     19 |        0 |        0
618.10/618.23	c  616s |      23 | 14529084 |  2576138 |   295733     19 |        0 |        0
620.09/620.24	c  618s |      23 | 14546460 |  2588938 |   295733     19 |        0 |        0
622.09/622.24	c  620s |      23 | 14552119 |  2593338 |   295733     20 |        0 |        0
624.09/624.24	c  622s |      23 | 14557103 |  2597038 |   295733     20 |        0 |        0
626.09/626.26	c  624s |      23 | 14564531 |  2602638 |   295733     20 |        0 |        0
628.10/628.26	c  626s |      23 | 14571348 |  2607538 |   295733     20 |        0 |        0
630.09/630.30	c  628s |      23 | 14578000 |  2612138 |   295733     20 |        0 |        0
632.19/632.31	c  630s |      23 | 14583561 |  2616238 |   295733     20 |        0 |        0
634.29/634.40	c  632s |      23 | 14589757 |  2620538 |   295733     20 |        0 |        0
636.29/636.41	c  634s |      23 | 14597523 |  2625938 |   295733     20 |        0 |        0
638.29/638.42	c  636s |      23 | 14608581 |  2633738 |   295733     20 |        0 |        0
640.29/640.48	c  639s |      23 | 14704336 |  2640638 |   295733     20 |        0 |        0
642.39/642.55	c  641s |      23 | 14802384 |  2659338 |   295733     20 |        0 |        0
644.39/644.58	c  643s |      23 | 15171143 |  2664938 |   295733     20 |        0 |        0
646.38/646.59	c  645s |      23 | 15243852 |  2682838 |   295733     20 |        0 |        0
648.48/648.60	c  647s |      23 | 15314941 |  2700538 |   295733     20 |        0 |        0
650.48/650.62	c  649s |      23 | 15333213 |  2714638 |   295733     20 |        0 |        0
652.48/652.63	c  651s |      23 | 15343694 |  2722738 |   295733     20 |        0 |        0
654.49/654.64	c  653s |      23 | 15432035 |  2735738 |   295733     20 |        0 |        0
656.48/656.65	c  655s |      23 | 15439639 |  2741138 |   295733     20 |        0 |        0
658.48/658.68	c  657s |      23 | 15444225 |  2744538 |   295733     21 |        0 |        0
660.68/660.84	c  659s |      23 | 15619927 |  2751738 |   295733     21 |        0 |        0
662.69/662.88	c  661s |      23 | 15875687 |  2754638 |   295733     21 |        0 |        0
664.98/665.13	c  663s |      23 | 15980233 |  2761938 |   295733     21 |        0 |        0
666.98/667.14	c  665s |      23 | 16038968 |  2778438 |   295733     21 |        0 |        0
668.98/669.16	c  667s |      23 | 16050548 |  2787138 |   295733     21 |        0 |        0
670.99/671.18	c  669s |      23 | 16058807 |  2793238 |   295733     21 |        0 |        0
673.09/673.22	c  671s |      23 | 16066103 |  2798738 |   295733     21 |        0 |        0
675.08/675.23	c  673s |      23 | 16071863 |  2803138 |   295733     21 |        0 |        0
677.08/677.28	c  675s |      23 | 16077529 |  2807538 |   295733     21 |        0 |        0
679.18/679.34	c  677s |      23 | 16082400 |  2810938 |   295733     21 |        0 |        0
681.18/681.36	c  679s |      23 | 16088148 |  2815038 |   295733     21 |        0 |        0
683.27/683.40	c  681s |      23 | 16095912 |  2820638 |   295733     21 |        0 |        0
685.28/685.41	c  683s |      23 | 16102681 |  2825438 |   295733     21 |        0 |        0
687.27/687.43	c  685s |      23 | 16108747 |  2829438 |   295733     21 |        0 |        0
689.27/689.47	c  688s |      23 | 16114497 |  2833438 |   295733     21 |        0 |        0
691.37/691.52	c  690s |      23 | 16119924 |  2837438 |   295733     21 |        0 |        0
693.47/693.61	c  692s |      23 | 16122735 |  2839838 |   295733     21 |        0 |        0
695.47/695.62	c  694s |      23 | 16126008 |  2842738 |   295733     21 |        0 |        0
697.48/697.67	c  696s |      23 | 16129093 |  2845438 |   295733     21 |        0 |        0
699.58/699.74	c  698s |      23 | 16132345 |  2847838 |   295733     21 |        0 |        0
701.57/701.80	c  700s |      23 | 16135743 |  2850238 |   295733     21 |        0 |        0
703.67/703.88	c  702s |      23 | 16139145 |  2852638 |   295733     21 |        0 |        0
705.77/705.94	c  704s |      23 | 16141760 |  2854638 |   295733     21 |        0 |        0
707.97/708.10	c  706s |      23 | 16145174 |  2857138 |   295733     21 |        0 |        0
709.97/710.11	c  708s |      23 | 16148180 |  2859338 |   295733     21 |        0 |        0
711.97/712.17	c  710s |      23 | 16151555 |  2861738 |   295733     21 |        0 |        0
714.06/714.26	c  712s |      23 | 16154791 |  2864238 |   295733     21 |        0 |        0
716.16/716.35	c  714s |      23 | 16157924 |  2866738 |   295733     21 |        0 |        0
718.17/718.38	c  716s |      23 | 16161527 |  2869438 |   295733     21 |        0 |        0
720.26/720.40	c  718s |      23 | 16164478 |  2871838 |   295733     21 |        0 |        0
722.26/722.45	c  721s |      23 | 16168379 |  2874538 |   295733     21 |        0 |        0
724.35/724.57	c  723s |      23 | 16170230 |  2875938 |   295733     21 |        0 |        0
726.45/726.62	c  725s |      23 | 16172247 |  2877438 |   295733     21 |        0 |        0
728.55/728.71	c  727s |      23 | 16174581 |  2879238 |   295733     21 |        0 |        0
730.55/730.74	c  729s |      23 | 16177570 |  2881538 |   295733     21 |        0 |        0
732.55/732.77	c  731s |      23 | 16180626 |  2883638 |   295733     21 |        0 |        0
734.65/734.82	c  733s |      23 | 16184200 |  2885938 |   295733     21 |        0 |        0
736.75/736.91	c  735s |      23 | 16187129 |  2888038 |   295733     21 |        0 |        0
738.85/739.01	c  737s |      23 | 16190548 |  2890438 |   295733     21 |        0 |        0
740.85/741.02	c  739s |      23 | 16192503 |  2891838 |   295733     22 |        0 |        0
742.85/743.03	c  741s |      23 | 16194991 |  2893638 |   295733     22 |        0 |        0
745.14/745.30	c  743s |      23 | 16198481 |  2896138 |   295733     22 |        0 |        0
747.14/747.32	c  745s |      23 | 16200863 |  2897738 |   295733     22 |        0 |        0
749.14/749.35	c  747s |      23 | 16203769 |  2899938 |   295733     22 |        0 |        0
751.15/751.37	c  749s |      23 | 16207451 |  2903038 |   295733     22 |        0 |        0
753.14/753.39	c  751s |      23 | 16210541 |  2905638 |   295733     22 |        0 |        0
755.24/755.43	c  753s |      23 | 16213014 |  2907538 |   295733     22 |        0 |        0
757.24/757.45	c  756s |      23 | 16214934 |  2909038 |   295733     22 |        0 |        0
759.24/759.47	c  758s |      23 | 16217477 |  2911138 |   295733     22 |        0 |        0
761.34/761.51	c  760s |      23 | 16219833 |  2913038 |   295733     22 |        0 |        0
763.35/763.55	c  762s |      23 | 16223270 |  2915838 |   295733     22 |        0 |        0
765.45/765.60	c  764s |      23 | 16225954 |  2917838 |   295733     22 |        0 |        0
767.54/767.72	c  766s |      23 | 16228027 |  2919338 |   295733     22 |        0 |        0
769.64/769.86	c  768s |      23 | 16230504 |  2921138 |   295733     22 |        0 |        0
771.74/771.93	c  770s |      23 | 16233074 |  2923038 |   295733     22 |        0 |        0
773.74/773.98	c  772s |      23 | 16235177 |  2924638 |   295733     22 |        0 |        0
775.94/776.15	c  774s |      23 | 16236933 |  2925938 |   295733     22 |        0 |        0
778.04/778.29	c  776s |      23 | 16238312 |  2926938 |   295733     22 |        0 |        0
780.24/780.40	c  778s |      23 | 16240519 |  2928438 |   295733     22 |        0 |        0
782.33/782.53	c  781s |      23 | 16242299 |  2930038 |   295733     22 |        0 |        0
784.33/784.56	c  783s |      23 | 16243998 |  2931438 |   295733     22 |        0 |        0
786.34/786.57	c  785s |      23 | 16245771 |  2932838 |   295733     22 |        0 |        0
788.43/788.60	c  787s |      23 | 16247491 |  2934238 |   295733     22 |        0 |        0
790.53/790.72	c  789s |      23 | 16249265 |  2935738 |   295733     22 |        0 |        0
792.63/792.80	c  791s |      23 | 16251002 |  2937038 |   295733     22 |        0 |        0
794.73/794.90	c  793s |      23 | 16253116 |  2938738 |   295733     22 |        0 |        0
796.73/796.96	c  795s |      23 | 16254916 |  2940138 |   295733     22 |        0 |        0
798.72/798.97	c  797s |      23 | 16257511 |  2942138 |   295733     22 |        0 |        0
800.83/801.00	c  799s |      23 | 16260784 |  2944638 |   295733     22 |        0 |        0
803.02/803.28	c  801s |      23 | 16265321 |  2947938 |   295733     22 |        0 |        0
805.13/805.34	c  803s |      23 | 16265959 |  2948438 |   295733     22 |        0 |        0
807.12/807.36	c  805s |      23 | 16267719 |  2949838 |   295733     22 |        0 |        0
809.22/809.42	c  807s |      23 | 16269152 |  2951038 |   295733     22 |        0 |        0
811.32/811.53	c  810s |      23 | 16270712 |  2952238 |   295733     22 |        0 |        0
813.31/813.53	c  812s |      23 | 16272130 |  2953438 |   295733     22 |        0 |        0
815.51/815.79	c  814s |      23 | 16273494 |  2954438 |   295733     22 |        0 |        0
817.61/817.89	c  816s |      23 | 16274962 |  2955538 |   295733     22 |        0 |        0
819.71/819.96	c  818s |      23 | 16276716 |  2956738 |   295733     22 |        0 |        0
821.91/822.14	c  820s |      23 | 16278507 |  2958238 |   295733     22 |        0 |        0
823.91/824.19	c  822s |      23 | 16279660 |  2959238 |   295733     22 |        0 |        0
826.02/826.25	c  824s |      23 | 16280865 |  2960238 |   295733     22 |        0 |        0
828.12/828.38	c  826s |      23 | 16281952 |  2961138 |   295733     22 |        0 |        0
830.21/830.47	c  829s |      23 | 16283063 |  2962038 |   295733     22 |        0 |        0
832.21/832.47	c  831s |      23 | 16284165 |  2962838 |   295733     22 |        0 |        0
834.31/834.51	c  833s |      23 | 16285662 |  2963738 |   295733     22 |        0 |        0
836.41/836.61	c  835s |      23 | 16286916 |  2964738 |   295733     22 |        0 |        0
838.41/838.69	c  837s |      23 | 16288448 |  2965838 |   295733     22 |        0 |        0
840.51/840.71	c  839s |      23 | 16289438 |  2966638 |   295733     22 |        0 |        0
842.61/842.89	c  841s |      23 | 16291077 |  2967838 |   295733     22 |        0 |        0
844.71/844.96	c  843s |      23 | 16292404 |  2968938 |   295733     22 |        0 |        0
846.81/847.05	c  845s |      23 | 16293838 |  2970038 |   295733     22 |        0 |        0
848.81/849.07	c  847s |      23 | 16295007 |  2970938 |   295733     22 |        0 |        0
851.01/851.21	c  849s |      23 | 16296263 |  2971838 |   295733     22 |        0 |        0
853.01/853.26	c  851s |      23 | 16297290 |  2972638 |   295733     22 |        0 |        0
855.11/855.34	c  853s |      23 | 16298498 |  2973538 |   295733     22 |        0 |        0
857.11/857.38	c  855s |      23 | 16300097 |  2974938 |   295733     22 |        0 |        0
859.21/859.44	c  857s |      23 | 16301608 |  2976138 |   295733     22 |        0 |        0
861.41/861.65	c  860s |      23 | 16303151 |  2977338 |   295733     22 |        0 |        0
863.50/863.73	c  862s |      23 | 16304483 |  2978438 |   295733     22 |        0 |        0
865.51/865.74	c  864s |      23 | 16305873 |  2979538 |   295733     22 |        0 |        0
867.60/867.87	c  866s |      23 | 16307202 |  2980538 |   295733     22 |        0 |        0
869.70/869.98	c  868s |      23 | 16308777 |  2981838 |   295733     22 |        0 |        0
871.80/872.00	c  870s |      23 | 16309901 |  2982738 |   295733     22 |        0 |        0
873.80/874.06	c  872s |      23 | 16311352 |  2983938 |   295733     22 |        0 |        0
875.90/876.10	c  874s |      23 | 16312641 |  2984938 |   295733     22 |        0 |        0
877.90/878.13	c  876s |      23 | 16313651 |  2985738 |   295733     22 |        0 |        0
879.91/880.17	c  878s |      23 | 16315196 |  2987038 |   295733     22 |        0 |        0
882.11/882.39	c  880s |      23 | 16316608 |  2988138 |   295733     22 |        0 |        0
884.31/884.59	c  883s |      23 | 16317674 |  2988938 |   295733     22 |        0 |        0
886.51/886.76	c  885s |      23 | 16318883 |  2989838 |   295733     22 |        0 |        0
888.71/888.95	c  887s |      23 | 16319951 |  2990638 |   295733     22 |        0 |        0
890.70/890.96	c  889s |      23 | 16320957 |  2991338 |   295733     22 |        0 |        0
892.90/893.11	c  891s |      23 | 16322182 |  2992238 |   295733     22 |        0 |        0
895.00/895.24	c  893s |      23 | 16323210 |  2993038 |   295733     22 |        0 |        0
897.20/897.48	c  896s |      23 | 16324300 |  2993838 |   295733     22 |        0 |        0
899.40/899.65	c  898s |      23 | 16325352 |  2994638 |   295733     22 |        0 |        0
901.60/901.80	c  900s |      23 | 16326605 |  2995438 |   295733     22 |        0 |        0
903.60/903.83	c  902s |      23 | 16327644 |  2996238 |   295733     22 |        0 |        0
905.80/906.01	c  904s |      23 | 16328961 |  2997138 |   295733     22 |        0 |        0
907.80/908.02	c  906s |      23 | 16330104 |  2998138 |   295733     22 |        0 |        0
909.80/910.10	c  908s |      23 | 16331347 |  2999238 |   295733     22 |        0 |        0
912.00/912.27	c  910s |      23 | 16332306 |  2999938 |   295733     22 |        0 |        0
914.10/914.37	c  912s |      23 | 16333448 |  3000838 |   295733     22 |        0 |        0
916.20/916.48	c  915s |      23 | 16334264 |  3001438 |   295733     22 |        0 |        0
918.30/918.52	c  917s |      23 | 16335328 |  3002138 |   295733     22 |        0 |        0
920.30/920.59	c  919s |      23 | 16336228 |  3002838 |   295733     22 |        0 |        0
922.50/922.78	c  921s |      23 | 16337332 |  3003638 |   295733     22 |        0 |        0
924.80/925.00	c  923s |      23 | 16338267 |  3004338 |   295733     22 |        0 |        0
926.80/927.01	c  925s |      23 | 16339387 |  3005138 |   295733     22 |        0 |        0
928.79/929.02	c  927s |      23 | 16340566 |  3006038 |   295733     22 |        0 |        0
930.79/931.08	c  929s |      23 | 16341646 |  3006838 |   295733     22 |        0 |        0
932.99/933.23	c  931s |      23 | 16343008 |  3007738 |   295733     22 |        0 |        0
935.09/935.34	c  933s |      23 | 16344578 |  3008938 |   295733     22 |        0 |        0
937.10/937.37	c  935s |      23 | 16346047 |  3010038 |   295733     22 |        0 |        0
939.20/939.46	c  938s |      23 | 16347574 |  3011238 |   295733     22 |        0 |        0
941.29/941.53	c  940s |      23 | 16348942 |  3012238 |   295733     22 |        0 |        0
943.49/943.79	c  942s |      23 | 16349935 |  3013038 |   295733     22 |        0 |        0
945.69/945.91	c  944s |      23 | 16351036 |  3013938 |   295733     22 |        0 |        0
947.69/947.99	c  946s |      23 | 16352189 |  3014738 |   295733     22 |        0 |        0
949.89/950.18	c  948s |      23 | 16353503 |  3015638 |   295733     22 |        0 |        0
951.89/952.19	c  950s |      23 | 16354948 |  3016638 |   295733     22 |        0 |        0
954.09/954.34	c  952s |      23 | 16356612 |  3017838 |   295733     22 |        0 |        0
956.29/956.50	c  955s |      23 | 16357637 |  3018638 |   295733     22 |        0 |        0
958.29/958.56	c  957s |      23 | 16359068 |  3019738 |   295733     22 |        0 |        0
960.39/960.68	c  959s |      23 | 16360263 |  3020438 |   295733     22 |        0 |        0
962.49/962.70	c  961s |      23 | 16361473 |  3021238 |   295733     22 |        0 |        0
964.60/964.88	c  963s |      23 | 16362759 |  3022238 |   295733     22 |        0 |        0
966.80/967.07	c  965s |      23 | 16363762 |  3023038 |   295733     22 |        0 |        0
968.90/969.16	c  967s |      23 | 16365048 |  3023938 |   295733     22 |        0 |        0
970.89/971.19	c  969s |      23 | 16366280 |  3024738 |   295733     22 |        0 |        0
972.99/973.20	c  971s |      23 | 16367732 |  3025838 |   295733     22 |        0 |        0
975.19/975.45	c  974s |      23 | 16368643 |  3026538 |   295733     22 |        0 |        0
977.29/977.53	c  976s |      23 | 16369736 |  3027438 |   295733     22 |        0 |        0
979.39/979.66	c  978s |      23 | 16370897 |  3028338 |   295733     22 |        0 |        0
981.49/981.79	c  980s |      23 | 16372336 |  3029338 |   295733     22 |        0 |        0
983.59/983.84	c  982s |      23 | 16373734 |  3030338 |   295733     22 |        0 |        0
985.69/985.95	c  984s |      23 | 16375171 |  3031638 |   295733     22 |        0 |        0
987.88/988.10	c  986s |      23 | 16376593 |  3032638 |   295733     22 |        0 |        0
989.98/990.23	c  988s |      23 | 16377763 |  3033538 |   295733     22 |        0 |        0
992.09/992.37	c  990s |      23 | 16378877 |  3034438 |   295733     22 |        0 |        0
994.20/994.43	c  992s |      23 | 16379967 |  3035238 |   295733     22 |        0 |        0
996.29/996.56	c  995s |      23 | 16380992 |  3035938 |   295733     22 |        0 |        0
998.28/998.56	c  997s |      23 | 16381950 |  3036638 |   295733     22 |        0 |        0
1000.49/1000.72	c  999s |      23 | 16382475 |  3037038 |   295733     22 |        0 |        0
1002.49/1002.77	c 1001s |      23 | 16383677 |  3037838 |   295733     22 |        0 |        0
1004.59/1004.82	c 1003s |      23 | 16385040 |  3038738 |   295733     22 |        0 |        0
1006.59/1006.87	c 1005s |      23 | 16386379 |  3039738 |   295733     22 |        0 |        0
1008.89/1009.16	c 1007s |      23 | 16387184 |  3040338 |   295733     23 |        0 |        0
1017.59/1017.86	c 1016s |      23 | 16387677 |  3040738 |   295733     23 |        0 |        0
1021.18/1021.44	c 1019s |      23 | 16387801 |  3040838 |   295733     23 |        0 |        0
1023.99/1024.27	c 1022s |      23 | 16388036 |  3041038 |   295733     23 |        0 |        0
1030.18/1030.48	c 1029s |      23 | 16388631 |  3041538 |   295733     23 |        0 |        0
1038.58/1038.89	c 1037s |      23 | 16389466 |  3042238 |   295733     23 |        0 |        0
1040.68/1040.93	c 1039s |      23 | 16389858 |  3042538 |   295733     23 |        0 |        0
1042.77/1043.04	c 1041s |      23 | 16391283 |  3043538 |   295733     23 |        0 |        0
1044.89/1045.19	c 1043s |      23 | 16391868 |  3043938 |   295733     23 |        0 |        0
1046.99/1047.24	c 1045s |      23 | 16393111 |  3044938 |   295733     23 |        0 |        0
1048.98/1049.29	c 1047s |      23 | 16394026 |  3045638 |   295733     23 |        0 |        0
1051.28/1051.50	c 1050s |      23 | 16395313 |  3046638 |   295733     23 |        0 |        0
1053.38/1053.64	c 1052s |      23 | 16396461 |  3047538 |   295733     23 |        0 |        0
1055.67/1055.90	c 1054s |      23 | 16397543 |  3048438 |   295733     23 |        0 |        0
1058.67/1059.00	c 1057s |      23 | 16398508 |  3049338 |   295733     23 |        0 |        0
1060.77/1061.09	c 1059s |      23 | 16400140 |  3050738 |   295733     23 |        0 |        0
1063.07/1063.31	c 1061s |      23 | 16401936 |  3052038 |   295733     23 |        0 |        0
1065.27/1065.57	c 1064s |      23 | 16403645 |  3053238 |   295733     23 |        0 |        0
1067.37/1067.67	c 1066s |      23 | 16405050 |  3054338 |   295733     23 |        0 |        0
1069.57/1069.86	c 1068s |      23 | 16406794 |  3055538 |   295733     23 |        0 |        0
1071.57/1071.89	c 1070s |      23 | 16408098 |  3056638 |   295733     23 |        0 |        0
1073.57/1073.89	c 1072s |      23 | 16409404 |  3057538 |   295733     23 |        0 |        0
1075.77/1076.04	c 1074s |      23 | 16410893 |  3058738 |   295733     23 |        0 |        0
1077.77/1078.04	c 1076s |      23 | 16411957 |  3059538 |   295733     23 |        0 |        0
1079.87/1080.17	c 1078s |      23 | 16413248 |  3060438 |   295733     23 |        0 |        0
1081.87/1082.19	c 1080s |      23 | 16414583 |  3061438 |   295733     23 |        0 |        0
1083.97/1084.25	c 1082s |      23 | 16415553 |  3062238 |   295733     23 |        0 |        0
1086.06/1086.31	c 1084s |      23 | 16416549 |  3063038 |   295733     23 |        0 |        0
1089.36/1089.65	c 1088s |      23 | 16417843 |  3063938 |   295733     23 |        0 |        0
1091.46/1091.75	c 1090s |      23 | 16418554 |  3064538 |   295733     23 |        0 |        0
1093.46/1093.75	c 1092s |      23 | 16419616 |  3065338 |   295733     23 |        0 |        0
1095.76/1096.01	c 1094s |      23 | 16420770 |  3066238 |   295733     23 |        0 |        0
1097.96/1098.22	c 1096s |      23 | 16422087 |  3067138 |   295733     23 |        0 |        0
1100.26/1100.52	c 1099s |      23 | 16423286 |  3068038 |   295733     23 |        0 |        0
1102.26/1102.52	c 1101s |      23 | 16424332 |  3068838 |   295733     23 |        0 |        0
1104.36/1104.67	c 1103s |      23 | 16425351 |  3069638 |   295733     23 |        0 |        0
1106.56/1106.81	c 1105s |      23 | 16426543 |  3070538 |   295733     23 |        0 |        0
1108.76/1109.00	c 1107s |      23 | 16427746 |  3071538 |   295733     23 |        0 |        0
1110.86/1111.18	c 1109s |      23 | 16428954 |  3072438 |   295733     23 |        0 |        0
1112.96/1113.23	c 1111s |      23 | 16430051 |  3073338 |   295733     23 |        0 |        0
1115.05/1115.31	c 1113s |      23 | 16431526 |  3074638 |   295733     23 |        0 |        0
1117.05/1117.38	c 1115s |      23 | 16432953 |  3075738 |   295733     23 |        0 |        0
1119.35/1119.64	c 1118s |      23 | 16434044 |  3076538 |   295733     23 |        0 |        0
1121.45/1121.76	c 1120s |      23 | 16435013 |  3077138 |   295733     23 |        0 |        0
1123.65/1123.95	c 1122s |      23 | 16436143 |  3077838 |   295733     23 |        0 |        0
1125.75/1126.06	c 1124s |      23 | 16437083 |  3078538 |   295733     23 |        0 |        0
1127.95/1128.24	c 1126s |      23 | 16438571 |  3079738 |   295733     23 |        0 |        0
1129.95/1130.25	c 1128s |      23 | 16439888 |  3080638 |   295733     23 |        0 |        0
1132.05/1132.37	c 1130s |      23 | 16441036 |  3081538 |   295733     23 |        0 |        0
1134.04/1134.37	c 1132s |      23 | 16442508 |  3082838 |   295733     23 |        0 |        0
1143.95/1144.27	c 1142s |      23 | 16443671 |  3083738 |   295733     23 |        0 |        0
1146.45/1146.74	c 1145s |      23 | 16444567 |  3084238 |   295733     23 |        0 |        0
1148.55/1148.80	c 1147s |      23 | 16445804 |  3085038 |   295733     23 |        0 |        0
1150.75/1151.00	c 1149s |      23 | 16447307 |  3086138 |   295733     23 |        0 |        0
1152.75/1153.04	c 1151s |      23 | 16448532 |  3087138 |   295733     23 |        0 |        0
1154.75/1155.10	c 1153s |      23 | 16450000 |  3088438 |   295733     23 |        0 |        0
1156.85/1157.15	c 1155s |      23 | 16451515 |  3089738 |   295733     23 |        0 |        0
1158.94/1159.22	c 1157s |      23 | 16452633 |  3090638 |   295733     23 |        0 |        0
1161.14/1161.42	c 1159s |      23 | 16453662 |  3091338 |   295733     23 |        0 |        0
1163.24/1163.50	c 1162s |      23 | 16454865 |  3092238 |   295733     23 |        0 |        0
1165.44/1165.70	c 1164s |      23 | 16456005 |  3093038 |   295733     23 |        0 |        0
1167.74/1168.02	c 1166s |      23 | 16456889 |  3093738 |   295733     23 |        0 |        0
1169.74/1170.07	c 1168s |      23 | 16457857 |  3094438 |   295733     23 |        0 |        0
1171.84/1172.15	c 1170s |      23 | 16458790 |  3095138 |   295733     23 |        0 |        0
1173.94/1174.24	c 1172s |      23 | 16459633 |  3095738 |   295733     23 |        0 |        0
1175.94/1176.30	c 1174s |      23 | 16460414 |  3096338 |   295733     23 |        0 |        0
1178.14/1178.41	c 1176s |      23 | 16461437 |  3097138 |   295733     23 |        0 |        0
1180.24/1180.55	c 1179s |      23 | 16462409 |  3097838 |   295733     23 |        0 |        0
1182.44/1182.73	c 1181s |      23 | 16463390 |  3098538 |   295733     23 |        0 |        0
1184.64/1184.90	c 1183s |      23 | 16464414 |  3099338 |   295733     23 |        0 |        0
1186.94/1187.22	c 1185s |      23 | 16465666 |  3100138 |   295733     23 |        0 |        0
1189.14/1189.46	c 1188s |      23 | 16466687 |  3100838 |   295733     23 |        0 |        0
1191.34/1191.61	c 1190s |      23 | 16467632 |  3101438 |   295733     23 |        0 |        0
1193.53/1193.81	c 1192s |      23 | 16468615 |  3102138 |   295733     23 |        0 |        0
1195.63/1195.91	c 1194s |      23 | 16469756 |  3102938 |   295733     23 |        0 |        0
1197.93/1198.24	c 1196s |      23 | 16470903 |  3103738 |   295733     23 |        0 |        0
1199.94/1200.27	c 1198s |      23 | 16472032 |  3104638 |   295733     23 |        0 |        0
1202.04/1202.37	c 1200s |      23 | 16473151 |  3105438 |   295733     23 |        0 |        0
1204.13/1204.42	c 1202s |      23 | 16474640 |  3106638 |   295733     23 |        0 |        0
1206.33/1206.61	c 1205s |      23 | 16475982 |  3107638 |   295733     23 |        0 |        0
1208.53/1208.80	c 1207s |      23 | 16477386 |  3108638 |   295733     23 |        0 |        0
1211.13/1211.41	c 1209s |      23 | 16478688 |  3109538 |   295733     23 |        0 |        0
1213.23/1213.52	c 1212s |      23 | 16479918 |  3110538 |   295733     23 |        0 |        0
1215.24/1215.54	c 1214s |      23 | 16480834 |  3111238 |   295733     23 |        0 |        0
1217.44/1217.77	c 1216s |      23 | 16482262 |  3112138 |   295733     23 |        0 |        0
1219.53/1219.82	c 1218s |      23 | 16483421 |  3113038 |   295733     23 |        0 |        0
1221.63/1221.94	c 1220s |      23 | 16483991 |  3113438 |   295733     23 |        0 |        0
1223.63/1223.98	c 1222s |      23 | 16485423 |  3114538 |   295733     23 |        0 |        0
1225.72/1226.06	c 1224s |      23 | 16486979 |  3115738 |   295733     23 |        0 |        0
1228.12/1228.41	c 1226s |      23 | 16488670 |  3117038 |   295733     23 |        0 |        0
1230.12/1230.44	c 1228s |      23 | 16489486 |  3117738 |   295733     23 |        0 |        0
1232.53/1232.82	c 1231s |      23 | 16490829 |  3118738 |   295733     23 |        0 |        0
1234.73/1235.05	c 1233s |      23 | 16492004 |  3119638 |   295733     23 |        0 |        0
1236.83/1237.17	c 1235s |      23 | 16493396 |  3120638 |   295733     23 |        0 |        0
1238.93/1239.21	c 1237s |      23 | 16494782 |  3121638 |   295733     23 |        0 |        0
1241.03/1241.35	c 1239s |      23 | 16496197 |  3122638 |   295733     23 |        0 |        0
1243.13/1243.41	c 1241s |      23 | 16497451 |  3123538 |   295733     23 |        0 |        0
1245.23/1245.59	c 1244s |      23 | 16498960 |  3124538 |   295733     23 |        0 |        0
1247.33/1247.66	c 1246s |      23 | 16500218 |  3125638 |   295733     23 |        0 |        0
1249.34/1249.68	c 1248s |      23 | 16501435 |  3126638 |   295733     23 |        0 |        0
1251.33/1251.68	c 1250s |      23 | 16502914 |  3127738 |   295733     23 |        0 |        0
1253.43/1253.72	c 1252s |      23 | 16504005 |  3128538 |   295733     23 |        0 |        0
1255.43/1255.79	c 1254s |      23 | 16505471 |  3129638 |   295733     23 |        0 |        0
1257.63/1257.94	c 1256s |      23 | 16506672 |  3130538 |   295733     23 |        0 |        0
1259.73/1260.00	c 1258s |      23 | 16507608 |  3131338 |   295733     23 |        0 |        0
1261.93/1262.22	c 1260s |      23 | 16508741 |  3132138 |   295733     23 |        0 |        0
1264.03/1264.39	c 1262s |      23 | 16510214 |  3133238 |   295733     23 |        0 |        0
1266.23/1266.51	c 1265s |      23 | 16511557 |  3134238 |   295733     23 |        0 |        0
1268.33/1268.61	c 1267s |      23 | 16513280 |  3135538 |   295733     23 |        0 |        0
1270.72/1271.07	c 1269s |      23 | 16514950 |  3136738 |   295733     23 |        0 |        0
1272.82/1273.15	c 1271s |      23 | 16515815 |  3137438 |   295733     23 |        0 |        0
1275.02/1275.32	c 1273s |      23 | 16517625 |  3138838 |   295733     23 |        0 |        0
1277.12/1277.44	c 1276s |      23 | 16519630 |  3140438 |   295733     23 |        0 |        0
1279.13/1279.48	c 1278s |      23 | 16521136 |  3141638 |   295733     23 |        0 |        0
1286.42/1286.71	c 1285s |      23 | 16570056 |  3142438 |   295733     23 |        0 |        0
1288.42/1288.73	c 1287s |      23 | 16706693 |  3148538 |   295733     23 |        0 |        0
1290.52/1290.87	c 1289s |      23 | 16872601 |  3158138 |   295733     23 |        0 |        0
1292.52/1292.88	c 1291s |      23 | 17065578 |  3166638 |   295733     23 |        0 |        0
1295.01/1295.31	c 1293s |      23 | 17225860 |  3170038 |   295733     23 |        0 |        0
1301.31/1301.61	c 1300s |      23 | 17361376 |  3172738 |   295733     23 |        0 |        0
1303.32/1303.61	c 1302s |      23 | 17386150 |  3190138 |   295733     23 |        0 |        0
1305.52/1305.89	c 1304s |      23 | 17386314 |  3190238 |   295733     24 |        0 |        0
1307.51/1307.89	c 1306s |      23 | 17411725 |  3204938 |   295733     24 |        0 |        0
1309.61/1309.91	c 1308s |      23 | 17488171 |  3218038 |   295733     24 |        0 |        0
1311.91/1312.22	c 1310s |      23 | 17614227 |  3227838 |   295733     24 |        0 |        0
1313.91/1314.23	c 1312s |      23 | 17731505 |  3244538 |   295733     24 |        0 |        0
1315.91/1316.27	c 1314s |      23 | 17952408 |  3251238 |   295733     24 |        0 |        0
1318.01/1318.32	c 1316s |      23 | 18242052 |  3255438 |   295733     24 |        0 |        0
1321.21/1321.53	c 1320s |      23 | 18262144 |  3263938 |   295733     24 |        0 |        0
1323.91/1324.23	c 1322s |      23 | 18412410 |  3283338 |   295733     24 |        0 |        0
1325.91/1326.23	c 1324s |      23 | 18465054 |  3299438 |   295733     24 |        0 |        0
1328.31/1328.68	c 1327s |      23 | 18566246 |  3312938 |   295733     24 |        0 |        0
1330.31/1330.69	c 1329s |      23 | 18683815 |  3327038 |   295733     24 |        0 |        0
1332.41/1332.71	c 1331s |      23 | 18700927 |  3338838 |   295733     24 |        0 |        0
1334.41/1334.71	c 1333s |      23 | 18707918 |  3344538 |   295733     24 |        0 |        0
1336.71/1337.08	c 1335s |      23 | 18708807 |  3345238 |   295733     25 |        0 |        0
1338.81/1339.10	c 1337s |      23 | 18715567 |  3350338 |   295733     25 |        0 |        0
1340.81/1341.12	c 1339s |      23 | 18727135 |  3359138 |   325307     25 |        0 |        0
1342.81/1343.12	c 1341s |      23 | 18737582 |  3366738 |   325307     25 |        0 |        0
1344.80/1345.13	c 1343s |      23 | 18748092 |  3374238 |   325307     25 |        0 |        0
1345.50/1345.88	c 1344s |      24 | 18751271 |  3376662 |   325307     25 |        0 |        0
1347.50/1347.89	c 1346s |      24 | 18769940 |  3390562 |   325307     25 |        0 |        0
1349.80/1350.14	c 1348s |      24 | 18817495 |  3399462 |   325307     25 |        0 |        0
1351.80/1352.16	c 1350s |      24 | 18836430 |  3413462 |   325307     25 |        0 |        0
1353.91/1354.23	c 1352s |      24 | 18960884 |  3424362 |   325307     25 |        0 |        0
1355.90/1356.25	c 1354s |      24 | 19134273 |  3432262 |   325307     25 |        0 |        0
1357.90/1358.26	c 1356s |      24 | 19230616 |  3444062 |   325307     25 |        0 |        0
1360.30/1360.64	c 1359s |      24 | 19237107 |  3448662 |   325307     25 |        0 |        0
1362.40/1362.78	c 1361s |      24 | 19259998 |  3456662 |   325307     25 |        0 |        0
1364.50/1364.81	c 1363s |      24 | 19362540 |  3461862 |   325307     25 |        0 |        0
1366.50/1366.84	c 1365s |      24 | 19498183 |  3467562 |   325307     25 |        0 |        0
1368.50/1368.85	c 1367s |      24 | 19539943 |  3483462 |   325307     25 |        0 |        0
1370.50/1370.85	c 1369s |      24 | 19586529 |  3498562 |   325307     25 |        0 |        0
1373.90/1374.26	c 1372s |      24 | 19703868 |  3504762 |   325307     25 |        0 |        0
1376.10/1376.45	c 1375s |      24 | 19978404 |  3505862 |   325307     25 |        0 |        0
1378.11/1378.46	c 1377s |      24 | 19995364 |  3516562 |   325307     25 |        0 |        0
1380.10/1380.46	c 1379s |      24 | 20013476 |  3526662 |   325307     26 |        0 |        0
1382.20/1382.52	c 1381s |      24 | 20059730 |  3531362 |   325307     26 |        0 |        0
1384.20/1384.52	c 1383s |      24 | 20292989 |  3534062 |   325307     26 |        0 |        0
1386.20/1386.54	c 1385s |      24 | 20308968 |  3546162 |   325307     26 |        0 |        0
1388.20/1388.56	c 1387s |      24 | 20320971 |  3555562 |   325307     26 |        0 |        0
1390.30/1390.61	c 1389s |      24 | 20328708 |  3561562 |   325307     26 |        0 |        0
1392.31/1392.62	c 1391s |      24 | 20335385 |  3566462 |   325307     26 |        0 |        0
1394.30/1394.62	c 1393s |      24 | 20341239 |  3570862 |   325307     26 |        0 |        0
1396.30/1396.65	c 1395s |      24 | 20347059 |  3575362 |   325307     26 |        0 |        0
1398.29/1398.68	c 1397s |      24 | 20352364 |  3579862 |   325307     26 |        0 |        0
1400.29/1400.69	c 1399s |      24 | 20356374 |  3583162 |   325307     26 |        0 |        0
1402.30/1402.69	c 1401s |      24 | 20359968 |  3585562 |   325307     26 |        0 |        0
1404.69/1405.03	c 1403s |      24 | 20361711 |  3586762 |   325307     26 |        0 |        0
1406.70/1407.09	c 1405s |      24 | 20366473 |  3590562 |   325307     26 |        0 |        0
1408.80/1409.19	c 1407s |      24 | 20370182 |  3593562 |   325307     26 |        0 |        0
1410.89/1411.20	c 1409s |      24 | 20374257 |  3596362 |   325307     26 |        0 |        0
1412.89/1413.25	c 1411s |      24 | 20382259 |  3602462 |   325307     26 |        0 |        0
1414.89/1415.28	c 1413s |      24 | 20386792 |  3605762 |   325307     26 |        0 |        0
1416.99/1417.32	c 1415s |      24 | 20393681 |  3610962 |   325307     26 |        0 |        0
1419.39/1419.80	c 1418s |      24 | 20497922 |  3615762 |   325307     26 |        0 |        0
1421.49/1421.81	c 1420s |      24 | 20726622 |  3617262 |   325307     26 |        0 |        0
1423.49/1423.82	c 1422s |      24 | 20754396 |  3637462 |   325307     26 |        0 |        0
1425.49/1425.82	c 1424s |      24 | 20780428 |  3657362 |   325307     26 |        0 |        0
1427.49/1427.83	c 1426s |      24 | 20803188 |  3673462 |   325307     26 |        0 |        0
1429.99/1430.39	c 1428s |      24 | 20822263 |  3682162 |   325307     27 |        0 |        0
1432.09/1432.40	c 1430s |      24 | 20840944 |  3694462 |   325307     27 |        0 |        0
1433.99/1434.40	c 1432s |      24 | 20867782 |  3708762 |   325307     27 |        0 |        0
1436.59/1436.93	c 1435s |      24 | 20880606 |  3718262 |   325307     27 |        0 |        0
1438.59/1438.98	c 1437s |      24 | 20992439 |  3724462 |   325307     27 |        0 |        0
1440.69/1441.00	c 1439s |      24 | 20999381 |  3729062 |   325307     27 |        0 |        0
1442.68/1443.02	c 1441s |      24 | 21006161 |  3733762 |   325307     27 |        0 |        0
1444.68/1445.03	c 1443s |      24 | 21013732 |  3737962 |   325307     27 |        0 |        0
1446.68/1447.03	c 1445s |      24 | 21019664 |  3741762 |   325307     27 |        0 |        0
1448.78/1449.10	c 1447s |      24 | 21077530 |  3746062 |   325307     27 |        0 |        0
1450.79/1451.17	c 1449s |      24 | 21121409 |  3746462 |   325307     27 |        0 |        0
1452.79/1453.17	c 1451s |      24 | 21177692 |  3763662 |   325307     27 |        0 |        0
1455.99/1456.35	c 1454s |      24 | 21311766 |  3775162 |   325307     27 |        0 |        0
1457.98/1458.39	c 1456s |      24 | 21468381 |  3781962 |   325307     27 |        0 |        0
1460.09/1460.40	c 1458s |      24 | 21616551 |  3793462 |   325307     27 |        0 |        0
1462.19/1462.51	c 1461s |      24 | 21882025 |  3801862 |   325307     27 |        0 |        0
1464.19/1464.52	c 1463s |      24 | 22177063 |  3805262 |   325307     27 |        0 |        0
1466.19/1466.54	c 1465s |      24 | 22190855 |  3816562 |   325307     27 |        0 |        0
1468.19/1468.54	c 1467s |      24 | 22283542 |  3827462 |   325307     27 |        0 |        0
1470.18/1470.55	c 1469s |      24 | 22302030 |  3841262 |   325307     27 |        0 |        0
1472.18/1472.56	c 1471s |      24 | 22313804 |  3849962 |   325307     27 |        0 |        0
1474.79/1475.14	c 1473s |      24 | 22314105 |  3850162 |   325307     28 |        0 |        0
1476.78/1477.17	c 1475s |      24 | 22400176 |  3859662 |   325307     28 |        0 |        0
1478.78/1479.18	c 1477s |      24 | 22413261 |  3868962 |   325307     28 |        0 |        0
1480.78/1481.19	c 1479s |      24 | 22420822 |  3874162 |   325307     28 |        0 |        0
1482.78/1483.19	c 1481s |      24 | 22427302 |  3878362 |   325307     28 |        0 |        0
1484.88/1485.22	c 1483s |      24 | 22432543 |  3881962 |   325307     28 |        0 |        0
1486.89/1487.24	c 1485s |      24 | 22438242 |  3885762 |   325307     28 |        0 |        0
1488.88/1489.25	c 1487s |      24 | 22574604 |  3889262 |   325307     28 |        0 |        0
1490.98/1491.38	c 1489s |      24 | 22908573 |  3890862 |   325307     28 |        0 |        0
1493.38/1493.70	c 1492s |      24 | 23033619 |  3891462 |   325307     28 |        0 |        0
1495.38/1495.70	c 1494s |      24 | 23057117 |  3905462 |   325307     28 |        0 |        0
1497.38/1497.73	c 1496s |      24 | 23068006 |  3913262 |   325307     28 |        0 |        0
1499.48/1499.80	c 1498s |      24 | 23132955 |  3919262 |   325307     28 |        0 |        0
1501.48/1501.82	c 1500s |      24 | 23207698 |  3930562 |   325307     28 |        0 |        0
1503.49/1503.84	c 1502s |      24 | 23221608 |  3941362 |   325307     28 |        0 |        0
1505.47/1505.87	c 1504s |      24 | 23229805 |  3947962 |   325307     28 |        0 |        0
1507.68/1508.04	c 1506s |      24 | 23428413 |  3951962 |   325307     28 |        0 |        0
1509.68/1510.04	c 1508s |      24 | 23471989 |  3964462 |   325307     28 |        0 |        0
1512.88/1513.22	c 1511s |      24 | 23565909 |  3966462 |   325307     28 |        0 |        0
1516.77/1517.17	c 1515s |      24 | 23566546 |  3966862 |   325307     28 |        0 |        0
1521.68/1522.05	c 1520s |      24 | 23579404 |  3968962 |   325307     28 |        0 |        0
1523.67/1524.06	c 1522s |      24 | 23642725 |  3978862 |   325307     28 |        0 |        0
1525.68/1526.06	c 1524s |      24 | 23689043 |  3992862 |   325307     28 |        0 |        0
1528.47/1528.87	c 1527s |      24 | 23694492 |  3996862 |   325307     28 |        0 |        0
1533.38/1533.74	c 1532s |      24 | 23776772 |  4005262 |   325307     28 |        0 |        0
1535.38/1535.75	c 1534s |      24 | 23788934 |  4013362 |   325307     29 |        0 |        0
1537.37/1537.75	c 1536s |      24 | 23802381 |  4023062 |   325307     29 |        0 |        0
1539.38/1539.76	c 1538s |      24 | 23823227 |  4038262 |   325307     29 |        0 |        0
1541.37/1541.77	c 1540s |      24 | 23842328 |  4051162 |   325307     29 |        0 |        0
1543.37/1543.77	c 1542s |      24 | 23864560 |  4065762 |   325307     29 |        0 |        0
1545.37/1545.79	c 1544s |      24 | 23873220 |  4072362 |   325307     29 |        0 |        0
1547.67/1548.01	c 1546s |      24 | 23876555 |  4074962 |   325307     29 |        0 |        0
1549.67/1550.05	c 1548s |      24 | 23883405 |  4080462 |   325307     29 |        0 |        0
1551.67/1552.06	c 1550s |      24 | 23888153 |  4084062 |   325307     29 |        0 |        0
1553.67/1554.08	c 1552s |      24 | 23895167 |  4089162 |   325307     29 |        0 |        0
1555.77/1556.13	c 1554s |      24 | 23901005 |  4093662 |   325307     29 |        0 |        0
1557.77/1558.15	c 1556s |      24 | 23908351 |  4098962 |   325307     29 |        0 |        0
1559.77/1560.15	c 1558s |      24 | 23913995 |  4102862 |   325307     29 |        0 |        0
1561.96/1562.35	c 1560s |      24 | 23948417 |  4119362 |   325307     29 |        0 |        0
1563.98/1564.36	c 1562s |      24 | 23972823 |  4135962 |   325307     29 |        0 |        0
1565.97/1566.37	c 1564s |      24 | 23986892 |  4146462 |   325307     29 |        0 |        0
1567.96/1568.38	c 1566s |      24 | 24000363 |  4156262 |   325307     29 |        0 |        0
1570.07/1570.42	c 1568s |      24 | 24009900 |  4163162 |   325307     29 |        0 |        0
1572.07/1572.42	c 1570s |      24 | 24017614 |  4168762 |   325307     29 |        0 |        0
1574.17/1574.59	c 1573s |      24 | 24024201 |  4173462 |   325307     30 |        0 |        0
1576.27/1576.60	c 1575s |      24 | 24031268 |  4178762 |   325307     30 |        0 |        0
1578.27/1578.61	c 1577s |      24 | 24033559 |  4180462 |   325307     30 |        0 |        0
1580.26/1580.62	c 1579s |      24 | 24041883 |  4186662 |   325307     30 |        0 |        0
1582.27/1582.62	c 1581s |      24 | 24122688 |  4193562 |   325307     30 |        0 |        0
1584.26/1584.63	c 1583s |      24 | 24140664 |  4206562 |   325307     30 |        0 |        0
1586.27/1586.64	c 1585s |      24 | 24163923 |  4217562 |   325307     30 |        0 |        0
1588.26/1588.65	c 1587s |      24 | 24174183 |  4225662 |   325307     30 |        0 |        0
1590.27/1590.65	c 1589s |      24 | 24213957 |  4231562 |   325307     30 |        0 |        0
1592.26/1592.66	c 1591s |      24 | 24240930 |  4250262 |   325307     30 |        0 |        0
1594.27/1594.69	c 1593s |      24 | 24255230 |  4260562 |   325307     30 |        0 |        0
1596.36/1596.72	c 1595s |      24 | 24266105 |  4267962 |   325307     30 |        0 |        0
1599.07/1599.43	c 1597s |      24 | 24273576 |  4273262 |   325307     30 |        0 |        0
1601.06/1601.44	c 1600s |      24 | 24284344 |  4281262 |   325307     30 |        0 |        0
1603.26/1603.65	c 1602s |      24 | 24363488 |  4294562 |   325307     30 |        0 |        0
1605.26/1605.65	c 1604s |      24 | 24459074 |  4306962 |   325307     30 |        0 |        0
1607.26/1607.67	c 1606s |      24 | 24475103 |  4319762 |   325307     30 |        0 |        0
1609.26/1609.67	c 1608s |      24 | 24483494 |  4326162 |   325307     30 |        0 |        0
1611.27/1611.69	c 1610s |      24 | 24577427 |  4330862 |   325307     30 |        0 |        0
1613.26/1613.69	c 1612s |      24 | 24825752 |  4335562 |   325307     30 |        0 |        0
1615.36/1615.71	c 1614s |      24 | 24841496 |  4346262 |   325307     30 |        0 |        0
1618.16/1618.52	c 1617s |      24 | 24844009 |  4347962 |   325307     31 |        0 |        0
1620.16/1620.56	c 1619s |      24 | 24853859 |  4354962 |   325307     31 |        0 |        0
1622.16/1622.57	c 1621s |      24 | 24859700 |  4359462 |   325307     31 |        0 |        0
1624.25/1624.61	c 1623s |      24 | 24865011 |  4363362 |   325307     31 |        0 |        0
1626.26/1626.62	c 1625s |      24 | 24869815 |  4366962 |   325307     31 |        0 |        0
1628.26/1628.64	c 1627s |      24 | 24873550 |  4369862 |   325307     31 |        0 |        0
1630.26/1630.66	c 1629s |      24 | 24896211 |  4379462 |   325307     31 |        0 |        0
1632.26/1632.69	c 1631s |      24 | 24906049 |  4386962 |   325307     31 |        0 |        0
1634.36/1634.74	c 1633s |      24 | 25033347 |  4397262 |   325307     31 |        0 |        0
1636.35/1636.75	c 1635s |      24 | 25120448 |  4407962 |   325307     31 |        0 |        0
1638.35/1638.76	c 1637s |      24 | 25135561 |  4418362 |   325307     31 |        0 |        0
1640.45/1640.80	c 1639s |      24 | 25145467 |  4425662 |   325307     31 |        0 |        0
1642.45/1642.83	c 1641s |      24 | 25150717 |  4429862 |   325307     31 |        0 |        0
1644.45/1644.84	c 1643s |      24 | 25204666 |  4446462 |   325307     31 |        0 |        0
1651.85/1652.30	c 1650s |      24 | 25326352 |  4451362 |   325307     31 |        0 |        0
1654.05/1654.45	c 1653s |      24 | 25485558 |  4461862 |   325307     31 |        0 |        0
1656.05/1656.45	c 1655s |      24 | 25540573 |  4473862 |   325307     31 |        0 |        0
1658.04/1658.46	c 1657s |      24 | 25560157 |  4489562 |   325307     31 |        0 |        0
1660.05/1660.46	c 1659s |      24 | 25572771 |  4499662 |   325307     31 |        0 |        0
1662.05/1662.47	c 1661s |      24 | 25586076 |  4506562 |   325307     32 |        0 |        0
1664.34/1664.79	c 1663s |      24 | 25588425 |  4507162 |   325307     32 |        0 |        0
1666.34/1666.79	c 1665s |      24 | 25813514 |  4513462 |   325307     32 |        0 |        0
1668.35/1668.79	c 1667s |      24 | 25828945 |  4520862 |   325307     32 |        0 |        0
1671.04/1671.40	c 1669s |      24 | 25875006 |  4528762 |   325307     32 |        0 |        0
1673.05/1673.41	c 1671s |      24 | 25919572 |  4547962 |   325307     32 |        0 |        0
1679.45/1679.88	c 1678s |      24 | 25958295 |  4548762 |   325307     32 |        0 |        0
1681.55/1681.98	c 1680s |      24 | 26101282 |  4561962 |   325307     32 |        0 |        0
1683.75/1684.15	c 1682s |      24 | 26223739 |  4564562 |   325307     32 |        0 |        0
1685.74/1686.16	c 1684s |      24 | 26307641 |  4579562 |   325307     32 |        0 |        0
1687.74/1688.16	c 1686s |      24 | 26329360 |  4595962 |   325307     32 |        0 |        0
1704.13/1704.55	c 1703s |      24 | 26575031 |  4599262 |   325307     32 |        0 |        0
1706.14/1706.56	c 1705s |      24 | 26625305 |  4602062 |   325307     32 |        0 |        0
1708.44/1708.84	c 1707s |      24 | 26672152 |  4617562 |   325307     32 |        0 |        0
1710.64/1711.04	c 1709s |      24 | 26847198 |  4623962 |   325307     32 |        0 |        0
1712.64/1713.05	c 1711s |      24 | 26917385 |  4629062 |   325307     32 |        0 |        0
1714.65/1715.07	c 1713s |      24 | 26928998 |  4632762 |   325307     32 |        0 |        0
1716.74/1717.14	c 1715s |      24 | 27002073 |  4644962 |   325307     32 |        0 |        0
1718.74/1719.14	c 1717s |      24 | 27184162 |  4655362 |   325307     32 |        0 |        0
1721.15/1721.58	c 1720s |      24 | 27202448 |  4669662 |   325307     33 |        0 |        0
1724.83/1725.22	c 1723s |      24 | 27394002 |  4673962 |   325307     33 |        0 |        0
1726.84/1727.23	c 1725s |      24 | 27474486 |  4687962 |   325307     33 |        0 |        0
1728.84/1729.24	c 1727s |      24 | 27484383 |  4695362 |   325307     33 |        0 |        0
1730.83/1731.27	c 1729s |      24 | 27493462 |  4701262 |   325307     33 |        0 |        0
1732.93/1733.30	c 1731s |      24 | 27498883 |  4705062 |   325307     33 |        0 |        0
1734.93/1735.35	c 1733s |      24 | 27504060 |  4708862 |   325307     33 |        0 |        0
1736.93/1737.38	c 1735s |      24 | 27507501 |  4711462 |   325307     33 |        0 |        0
1739.03/1739.42	c 1737s |      24 | 27511475 |  4714562 |   325307     33 |        0 |        0
1741.04/1741.43	c 1739s |      24 | 27515061 |  4716962 |   325307     33 |        0 |        0
1743.14/1743.55	c 1742s |      24 | 27518727 |  4719662 |   325307     33 |        0 |        0
1745.23/1745.63	c 1744s |      24 | 27521148 |  4721562 |   325307     33 |        0 |        0
1747.23/1747.63	c 1746s |      24 | 27522337 |  4722562 |   325307     33 |        0 |        0
1749.23/1749.69	c 1748s |      24 | 27526279 |  4725462 |   325307     33 |        0 |        0
1751.33/1751.78	c 1750s |      24 | 27530082 |  4728562 |   325307     33 |        0 |        0
1753.43/1753.81	c 1752s |      24 | 27533375 |  4731262 |   325307     33 |        0 |        0
1755.43/1755.88	c 1754s |      24 | 27536933 |  4734262 |   325307     33 |        0 |        0
1757.54/1757.97	c 1756s |      24 | 27538752 |  4735562 |   325307     33 |        0 |        0
1759.74/1760.14	c 1758s |      24 | 27541359 |  4737462 |   325307     33 |        0 |        0
1761.84/1762.21	c 1760s |      24 | 27543290 |  4738962 |   325307     33 |        0 |        0
1763.83/1764.26	c 1762s |      24 | 27545316 |  4740762 |   325307     33 |        0 |        0
1765.93/1766.34	c 1764s |      24 | 27547404 |  4742362 |   325307     33 |        0 |        0
1768.03/1768.47	c 1767s |      24 | 27549152 |  4743662 |   325307     33 |        0 |        0
1770.23/1770.64	c 1769s |      24 | 27551411 |  4745362 |   325307     33 |        0 |        0
1772.23/1772.68	c 1771s |      24 | 27554563 |  4747862 |   325307     33 |        0 |        0
1774.33/1774.72	c 1773s |      24 | 27556661 |  4749562 |   325307     33 |        0 |        0
1776.43/1776.81	c 1775s |      24 | 27559020 |  4751262 |   325307     33 |        0 |        0
1778.53/1778.96	c 1777s |      24 | 27562724 |  4753962 |   325307     33 |        0 |        0
1780.53/1780.99	c 1779s |      24 | 27563910 |  4754962 |   325307     33 |        0 |        0
1782.63/1783.08	c 1781s |      24 | 27565401 |  4755962 |   325307     33 |        0 |        0
1784.83/1785.20	c 1783s |      24 | 27566925 |  4756962 |   325307     33 |        0 |        0
1786.93/1787.34	c 1785s |      24 | 27568482 |  4757962 |   325307     33 |        0 |        0
1788.93/1789.36	c 1787s |      24 | 27569975 |  4758962 |   325307     33 |        0 |        0
1790.92/1791.36	c 1789s |      24 | 27571493 |  4759862 |   325307     33 |        0 |        0
1793.03/1793.46	c 1792s |      24 | 27573268 |  4761062 |   325307     33 |        0 |        0
1795.82/1796.20	c 1794s |      24 | 27574485 |  4761962 |   325307     33 |        0 |        0
1797.82/1798.29	c 1796s |      24 | 27577445 |  4764162 |   325307     33 |        0 |        0
1799.92/1800.35	c 1798s |      24 | 27579680 |  4765862 |   325307     33 |        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-4088826-1466016096/watcher-4088826-1466016096 -o /tmp/evaluation-result-4088826-1466016096/solver-4088826-1466016096 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088826-1466016096.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.04 2.08 2.08 3/179 6272
/proc/meminfo: memFree=30395772/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=590268 CPUtime=0 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 2176 0 0 0 0 0 0 0 20 0 4 0 3659719 604434432 2537 33554432000 4194304 16246674 140736360237936 140736360237360 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 148335 2549 441 2943 0 145229 0
[pid=6272/tid=6273] ppid=6269 vsize=607676 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 622260224 2608 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=611772 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 626454528 2624 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=616892 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 631697408 2640 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100151 s]
/proc/loadavg: 2.04 2.08 2.08 3/179 6272
/proc/meminfo: memFree=30395772/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 28139 0 0 0 5 4 0 0 20 0 4 0 3659719 1333334016 28439 33554432000 4194304 16246674 140736360237936 140736360237248 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 325521 28448 802 2943 0 322415 0
[pid=6272/tid=6273] ppid=6269 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 1333334016 28458 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 1333334016 28469 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 1333334016 28481 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200508 s]
/proc/loadavg: 2.04 2.08 2.08 3/179 6272
/proc/meminfo: memFree=30395772/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=1313348 CPUtime=0.18 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 47312 0 0 0 12 6 0 0 20 0 4 0 3659719 1344868352 48122 33554432000 4194304 16246674 140736360237936 140736360237248 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 328337 48122 802 2943 0 325231 0
[pid=6272/tid=6273] ppid=6269 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 1344868352 48122 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 1344868352 48122 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 1344868352 48122 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300489 s]
/proc/loadavg: 2.04 2.08 2.08 3/179 6272
/proc/meminfo: memFree=30395772/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 56017 0 0 0 21 8 0 0 20 0 4 0 3659719 1344868352 56827 33554432000 4194304 16246674 140736360237936 140736360237248 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 328337 56827 802 2943 0 325231 0
[pid=6272/tid=6273] ppid=6269 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 1344868352 56827 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 1344868352 56827 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 1344868352 56827 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700396 s]
/proc/loadavg: 2.04 2.08 2.08 3/179 6272
/proc/meminfo: memFree=30395772/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=1345092 CPUtime=0.68 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 73429 0 0 0 59 9 0 0 20 0 4 0 3659719 1377374208 74239 33554432000 4194304 16246674 140736360237936 140736360237248 6969814 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 336273 74249 835 2943 0 333167 0
[pid=6272/tid=6273] ppid=6269 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 1377374208 74256 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 1377374208 74262 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 1377374208 74269 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1345092

[startup+1.50039 s]
/proc/loadavg: 2.04 2.08 2.08 3/183 6276
/proc/meminfo: memFree=29740124/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=1345092 CPUtime=1.49 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 193097 0 0 0 123 26 0 0 20 0 4 0 3659719 1377374208 193907 33554432000 4194304 16246674 140736360237936 140736360219840 5829992 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 336273 193907 857 2943 0 333167 0
[pid=6272/tid=6273] ppid=6269 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 1377374208 193907 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 1377374208 193907 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 1377374208 193907 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1345092

[startup+3.10033 s]
/proc/loadavg: 2.04 2.08 2.08 3/183 6276
/proc/meminfo: memFree=29606700/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=1345092 CPUtime=3.09 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 276936 0 0 0 272 37 0 0 20 0 4 0 3659719 1377374208 277746 33554432000 4194304 16246674 140736360237936 140736360219840 5523416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 336273 277746 879 2943 0 333167 0
[pid=6272/tid=6273] ppid=6269 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 1377374208 277746 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 1377374208 277746 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 1377374208 277746 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1345092

[startup+6.30041 s]
/proc/loadavg: 2.03 2.08 2.08 3/183 6276
/proc/meminfo: memFree=29285304/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=1345092 CPUtime=6.28 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 276936 0 0 0 591 37 0 0 20 0 4 0 3659719 1377374208 277746 33554432000 4194304 16246674 140736360237936 140736360219840 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 336273 277746 879 2943 0 333167 0
[pid=6272/tid=6273] ppid=6269 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 1377374208 277746 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 1377374208 277746 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 1377374208 277746 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1345092

[startup+12.7004 s]
/proc/loadavg: 2.03 2.08 2.08 3/183 6276
/proc/meminfo: memFree=29285220/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=1345092 CPUtime=12.68 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 276936 0 0 0 1231 37 0 0 20 0 4 0 3659719 1377374208 277746 33554432000 4194304 16246674 140736360237936 140736360219840 5600132 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 336273 277746 879 2943 0 333167 0
[pid=6272/tid=6273] ppid=6269 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 1377374208 277746 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 1377374208 277746 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 1377374208 277746 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1345092

[startup+25.5005 s]
/proc/loadavg: 2.10 2.09 2.09 3/183 6276
/proc/meminfo: memFree=29285584/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=1345092 CPUtime=25.49 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 276944 0 0 0 2511 38 0 0 20 0 4 0 3659719 1377374208 277754 33554432000 4194304 16246674 140736360237936 140736360220936 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 336273 277754 884 2943 0 333167 0
[pid=6272/tid=6273] ppid=6269 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 1377374208 277754 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 1377374208 277754 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 1377374208 277754 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1345092

[startup+51.1005 s]
/proc/loadavg: 2.06 2.08 2.08 3/183 6276
/proc/meminfo: memFree=29255336/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=1375812 CPUtime=51.08 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 284463 0 0 0 5069 39 0 0 20 0 4 0 3659719 1408831488 285273 33554432000 4194304 16246674 140736360237936 140736360219840 12478176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 343953 285273 884 2943 0 340847 0
[pid=6272/tid=6273] ppid=6269 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 1408831488 285273 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 1408831488 285273 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 1408831488 285273 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1375812

[startup+102.3 s]
/proc/loadavg: 2.02 2.07 2.08 3/183 6277
/proc/meminfo: memFree=29254652/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=1375812 CPUtime=102.28 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 284625 0 0 0 10188 40 0 0 20 0 4 0 3659719 1408831488 285435 33554432000 4194304 16246674 140736360237936 140736360219840 13194821 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 343953 285435 885 2943 0 340847 0
[pid=6272/tid=6273] ppid=6269 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 1408831488 285435 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 1408831488 285435 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 1408831488 285435 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1375812


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

/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 2717454336 605179 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 2653764

[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/183 6428
/proc/meminfo: memFree=27878092/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=2711108 CPUtime=1302.02 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 618568 0 0 0 130083 119 0 0 20 0 4 0 3659719 2776174592 619515 33554432000 4194304 16246674 140736360237936 140736360237032 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 677777 619515 885 2943 0 674671 0
[pid=6272/tid=6273] ppid=6269 vsize=2711108 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 2776174592 619515 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=2711108 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 2776174592 619515 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=2711108 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 2776174592 619515 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 2711108

[startup+1362.3 s]
/proc/loadavg: 2.04 2.04 2.05 4/183 6429
/proc/meminfo: memFree=27863480/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=2725444 CPUtime=1362 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 622158 0 0 0 136071 129 0 0 20 0 4 0 3659719 2790854656 623099 33554432000 4194304 16246674 140736360237936 140736360219840 5722032 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 681361 623099 885 2943 0 678255 0
[pid=6272/tid=6273] ppid=6269 vsize=2725444 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 2790854656 623099 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=2725444 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 2790854656 623099 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=2725444 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 2790854656 623099 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 2725444

[startup+1422.3 s]
/proc/loadavg: 2.10 2.06 2.05 4/183 6430
/proc/meminfo: memFree=27799276/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=2789956 CPUtime=1422 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 638290 0 0 0 142059 141 0 0 20 0 4 0 3659719 2856914944 639227 33554432000 4194304 16246674 140736360237936 140736360219840 6020736 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 697489 639227 885 2943 0 694383 0
[pid=6272/tid=6273] ppid=6269 vsize=2789956 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 2856914944 639227 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=2789956 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 2856914944 639227 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=2789956 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 2856914944 639227 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 2789956

[startup+1482.3 s]
/proc/loadavg: 2.13 2.08 2.06 4/183 6432
/proc/meminfo: memFree=27616524/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=2972228 CPUtime=1481.98 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 683858 0 0 0 148035 163 0 0 20 0 4 0 3659719 3043561472 684795 33554432000 4194304 16246674 140736360237936 140736360237112 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 743057 684795 885 2943 0 739951 0
[pid=6272/tid=6273] ppid=6269 vsize=2972228 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 3043561472 684795 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=2972228 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 3043561472 684795 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=2972228 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 3043561472 684795 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 2972228

[startup+1542.31 s]
/proc/loadavg: 2.05 2.06 2.05 3/183 6433
/proc/meminfo: memFree=27544868/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=3043908 CPUtime=1541.98 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 701778 0 0 0 154017 181 0 0 20 0 4 0 3659719 3116961792 702715 33554432000 4194304 16246674 140736360237936 140736360237112 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 760977 702715 885 2943 0 757871 0
[pid=6272/tid=6273] ppid=6269 vsize=3043908 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 3116961792 702715 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=3043908 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 3116961792 702715 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=3043908 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 3116961792 702715 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 3043908

[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.04 4/183 6434
/proc/meminfo: memFree=27544528/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=3043908 CPUtime=1601.96 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 701779 0 0 0 160002 194 0 0 20 0 4 0 3659719 3116961792 702715 33554432000 4194304 16246674 140736360237936 140736360235776 13808416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 760977 702715 885 2943 0 757871 0
[pid=6272/tid=6273] ppid=6269 vsize=3043908 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 3116961792 702715 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=3043908 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 3116961792 702715 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=3043908 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 3116961792 702715 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 3043908

[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 2.04 3/183 6435
/proc/meminfo: memFree=27411988/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=3176004 CPUtime=1661.95 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 734812 0 0 0 165980 215 0 0 20 0 4 0 3659719 3252228096 735739 33554432000 4194304 16246674 140736360237936 140736360237112 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 794001 735739 885 2943 0 790895 0
[pid=6272/tid=6273] ppid=6269 vsize=3176004 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 3252228096 735739 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=3176004 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 3252228096 735739 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=3176004 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 3252228096 735739 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 3176004

[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.04 3/184 6439
/proc/meminfo: memFree=27408028/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=3179076 CPUtime=1721.93 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 735582 0 0 0 171968 225 0 0 20 0 4 0 3659719 3255373824 736508 33554432000 4194304 16246674 140736360237936 140736360237112 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 794769 736508 886 2943 0 791663 0
[pid=6272/tid=6273] ppid=6269 vsize=3179076 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 3255373824 736508 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=3179076 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 3255373824 736508 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=3179076 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 3255373824 736508 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 3179076

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.03 3/183 6441
/proc/meminfo: memFree=27407664/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=3179076 CPUtime=1781.92 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 735582 0 0 0 177961 231 0 0 20 0 4 0 3659719 3255373824 736508 33554432000 4194304 16246674 140736360237936 140736360219840 5823793 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 794769 736508 886 2943 0 791663 0
[pid=6272/tid=6273] ppid=6269 vsize=3179076 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 3255373824 736508 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=3179076 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 3255373824 736508 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=3179076 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 3255373824 736508 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 3179076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.03 2.03 3/183 6441
/proc/meminfo: memFree=27408008/32872528 swapFree=524788/557492
[pid=6272] ppid=6269 vsize=3179076 CPUtime=1800.02 cores=0,2,4,6
/proc/6272/stat : 6272 (toysat) R 6269 6272 5756 0 -1 4202496 735582 0 0 0 179768 234 0 0 20 0 4 0 3659719 3255373824 736508 33554432000 4194304 16246674 140736360237936 140736360219840 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6272/statm: 794769 736508 886 2943 0 791663 0
[pid=6272/tid=6273] ppid=6269 vsize=3179076 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6273/stat : 6273 (toysat) S 6269 6272 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3659720 3255373824 736508 33554432000 4194304 16246674 140736360237936 140535084854512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6272/tid=6274] ppid=6269 vsize=3179076 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6274/stat : 6274 (toysat) S 6269 6272 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3659720 3255373824 736508 33554432000 4194304 16246674 140736360237936 140535074364656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6272/tid=6275] ppid=6269 vsize=3179076 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6275/stat : 6275 (toysat) S 6269 6272 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3659720 3255373824 736508 33554432000 4194304 16246674 140736360237936 140534953798832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3179076

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 6272 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.46
CPU time (s): 1800.1
CPU user time (s): 1797.69
CPU system time (s): 2.40663
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 3179076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.69
system time used= 2.40663
maximum resident set size= 2946032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 735582
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= 496
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5923 second user time and 6.92095 second system time

The end

Begin job on node106 at 2016-06-15 20:41:36
IDJOB=4088826
IDBENCH=107319
IDSOLVER=2542
FILE ID=node106/4088826-1466016096
RUNJOBID= node106-1466012020-5772
PBS_JOBID= 19902815
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/SUMINEQ/normalized-sumineqArity5houseP128.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088826-1466016096/watcher-4088826-1466016096 -o /tmp/evaluation-result-4088826-1466016096/solver-4088826-1466016096 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088826-1466016096.opb

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

MD5SUM BENCH= 6cf93208bf226a5a9d6ea9400862bf3f
RANDOM SEED=1585159014

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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.56
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		: 2667.073
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		: 2667.073
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.56
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		: 2667.073
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.38
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		: 2667.073
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:        30396416 kB
Buffers:           14612 kB
Cached:            73704 kB
SwapCached:         1484 kB
Active:          1187216 kB
Inactive:          21464 kB
Active(anon):    1121308 kB
Inactive(anon):     1192 kB
Active(file):      65908 kB
Inactive(file):    20272 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099840 kB
Dirty:             18664 kB
Writeback:             0 kB
AnonPages:       1676804 kB
Mapped:            10460 kB
Shmem:                 0 kB
Slab:             576488 kB
SReclaimable:      20564 kB
SUnreclaim:       555924 kB
KernelStack:        1456 kB
PageTables:         7356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1817708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1144832 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 node106 at 2016-06-15 21:11:37