0.00/0.00	c 2016-06-07T08:58:33+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-4078935-1465282713.opb"]
0.00/0.01	c use --random-gen="3792400085 3686549607 662273472 4254424610 281310826 1114757911 3558668885 3914216102 2192252043 3046779479 1966780523 502409915 3894043957 1618239194 3062686682 313222517 1229590176 1135405264 2725043373 2718254137 3872113930 2295825880 2061226106 257864508 320150203 2857161654 3489743375 1439105444 2044653574 3982906799 1380962883 876774094 3955522697 2716413500 2227043177 3420066735 1168822237 1610503600 3872041077 1245401011 1734806291 3168089304 3476638997 2858456094 1500883507 3962123750 23445945 1605909191 3748182647 2250331130 338638820 3175008028 3744972363 2246937755 3505430277 616295726 2993754399 2781041173 2364794964 1000813820 2372337558 1215113491 1446305455 3536004087 3746056771 3404217040 636667255 1894834716 860793652 2857207968 989995405 3259241053 3084009560 2400818710 1298122672 2372559687 3883476070 2943975992 1325411273 2163209218 589405211 3393378781 1272685525 3719197979 1413317996 425624414 634568857 478289689 3170570820 3242110899 64411632 1601932908 3386233356 4022315364 1478424601 635320864 511398008 284097547 1946723215 342592621 861759657 1603177320 817014321 3803325010 965199795 3936083397 1818811741 282502108 2279655093 2489055384 4081754380 2273147806 4145202834 4157983311 1610268540 355164191 1759361742 2331438537 2366052788 103218592 354029381 1991260053 2086600962 1634664869 1593860867 4100911874 2026307288 891113555 3505283037 3194613134 1309524899 1649306233 930730789 863731080 340578766 137510400 3711440362 4025720168 2492810354 2848615312 2711049027 1142029833 418151506 3484217649 3839329099 1631797053 1599474502 387532410 831624945 2945634900 897614389 3344496055 3593879924 2128094839 3621858891 230528204 1318293312 2530694988 97056271 3626948877 2537382684 1615241344 1372556694 927680855 3977501354 84388683 477941896 3773109068 1743631414 3864785178 893317518 4046572245 2817533202 2511706980 2887394063 4244524090 268528662 3317389866 766583913 1149011356 2970268260 136372174 1739146384 2424123268 2907602063 2337354573 2384728579 3094135283 8682275 2314735541 336079075 3209138767 859310459 940855943 3095058401 3599940558 1486370189 4088248777 772544224 2992785370 1990762264 4120918961 3934801686 1077948756 1202749289 374066355 3310828679 1308777019 3192977421 3889771613 2213564541 2015230982 3891746539 1801761576 561936223 3142337562 2753579571 3826645288 1974019289 1627742308 1137756607 3575180635 3407078748 3586281802 1897568874 3289012599 2370977701 2686716944 1532688732 971798762 376097348 3979707016 736330038 804491867 155620359 1873641232 289016198 3766472748 3488010468 3433776790 1254693646 1686994999 1923245930 2388597951 4166956713 3227856007 3877075052 3939518967 2083549871 205850326 2985593531 3367954717 2407656424 917422312 3253934253 2667668003 255 362436" option to reproduce the execution
0.00/0.10	c #vars 5712
0.00/0.10	c #constraints 5882
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     3864      0 |      362 |        0
0.29/0.38	c  0.2s |       1 |     3334 |      100 |     3864      0 |      363 |      304
0.49/0.55	c  0.3s |       2 |     5692 |      250 |     4251      0 |      364 |      305
0.78/0.85	c  0.6s |       3 |     8297 |      475 |     4677      0 |      365 |      306
1.19/1.29	c  1.1s |       4 |    13499 |      813 |     5145      0 |      366 |      307
1.69/1.76	c  1.5s |       5 |    22305 |     1320 |     5660      0 |      368 |      309
2.59/2.63	c  2.4s |       6 |    29780 |     2081 |     6850      0 |      370 |      311
3.59/3.68	c  3.5s |       7 |    40086 |     3223 |     7536      0 |      371 |      312
5.69/5.70	c  5.5s |       7 |    59354 |     4923 |     8290      0 |      375 |      316
5.69/5.72	c  5.5s |       8 |    59582 |     4936 |     8290      0 |      375 |      316
7.80/7.83	c  7.6s |       8 |    75507 |     6736 |     8290      0 |      375 |      316
9.59/9.62	c  9.4s |       9 |    77590 |     7506 |     9119      0 |      375 |      316
11.69/11.72	c 11.5s |       9 |   103815 |     9006 |     9119      0 |      378 |      319
13.79/13.84	c 13.6s |       9 |   121187 |    10606 |     9119      1 |      379 |      320
14.89/14.94	c 14.7s |      10 |   132393 |    11361 |    10031      1 |      379 |      320
16.99/17.08	c 16.9s |      10 |   161045 |    12961 |    10031      1 |      380 |      321
19.09/19.17	c 19.0s |      10 |   180361 |    14461 |    10031      1 |      380 |      321
21.29/21.30	c 21.1s |      10 |   198042 |    15861 |    10031      1 |      380 |      321
23.29/23.30	c 23.1s |      11 |   216318 |    17144 |    11035      2 |      381 |      322
25.29/25.32	c 25.1s |      11 |   241092 |    18644 |    11035      2 |      382 |      323
27.38/27.41	c 27.2s |      11 |   261990 |    20244 |    11035      2 |      384 |      325
29.58/29.60	c 29.4s |      11 |   269167 |    21544 |    11035      2 |      384 |      325
31.78/31.85	c 31.6s |      11 |   270617 |    22044 |    11035      2 |      384 |      325
34.09/34.19	c 34.0s |      11 |   272409 |    22444 |    11035      2 |      384 |      325
36.18/36.24	c 36.0s |      11 |   286765 |    23744 |    11035      3 |      384 |      325
38.28/38.39	c 38.2s |      11 |   308151 |    25244 |    11035      3 |      386 |      327
39.28/39.31	c 39.1s |      12 |   312338 |    25819 |    12139      3 |      386 |      327
41.28/41.35	c 41.1s |      12 |   326706 |    27219 |    12139      3 |      386 |      327
43.38/43.43	c 43.2s |      12 |   339296 |    28719 |    12139      3 |      387 |      328
45.48/45.51	c 45.3s |      12 |   348484 |    30019 |    12139      3 |      387 |      328
47.58/47.63	c 47.4s |      12 |   361229 |    31319 |    12139      4 |      387 |      328
49.68/49.77	c 49.6s |      12 |   378588 |    33019 |    12139      4 |      387 |      328
51.88/51.92	c 51.7s |      12 |   389145 |    34219 |    12139      4 |      387 |      328
53.99/54.01	c 53.8s |      12 |   404602 |    35619 |    12139      4 |      387 |      328
55.98/56.02	c 55.8s |      12 |   411807 |    36519 |    12139      5 |      388 |      329
58.08/58.10	c 57.9s |      12 |   433189 |    38119 |    12139      5 |      389 |      330
58.98/59.05	c 58.8s |      13 |   443365 |    38832 |    13353      5 |      389 |      330
61.08/61.19	c 61.0s |      13 |   449609 |    40032 |    13353      5 |      389 |      330
63.18/63.21	c 63.0s |      13 |   455387 |    41132 |    13353      5 |      390 |      331
65.18/65.28	c 65.1s |      13 |   473440 |    42732 |    13353      5 |      390 |      331
67.28/67.37	c 67.2s |      13 |   490582 |    44332 |    13353      5 |      390 |      331
69.38/69.42	c 69.2s |      13 |   504476 |    45732 |    13353      6 |      390 |      331
71.38/71.48	c 71.3s |      13 |   513882 |    47132 |    13353      6 |      390 |      331
73.38/73.49	c 73.3s |      13 |   536077 |    48632 |    13353      6 |      390 |      331
75.48/75.54	c 75.3s |      13 |   545933 |    49732 |    13353      6 |      390 |      331
77.78/77.82	c 77.6s |      13 |   564661 |    51132 |    13353      6 |      390 |      331
79.87/79.96	c 79.7s |      13 |   568246 |    51832 |    13353      6 |      390 |      331
82.07/82.11	c 81.9s |      13 |   570226 |    52432 |    13353      6 |      390 |      331
84.17/84.22	c 84.0s |      13 |   576621 |    53432 |    13353      7 |      390 |      331
86.57/86.61	c 86.4s |      13 |   582600 |    54432 |    13353      7 |      390 |      331
88.67/88.75	c 88.5s |      13 |   587284 |    55232 |    13353      7 |      390 |      331
90.87/90.97	c 90.8s |      13 |   590009 |    56132 |    13353      7 |      390 |      331
92.97/93.00	c 92.8s |      13 |   599082 |    57332 |    13353      7 |      390 |      331
94.37/94.40	c 94.2s |      14 |   609114 |    58352 |    14689      7 |      390 |      331
96.37/96.44	c 96.2s |      14 |   626397 |    59752 |    14689      7 |      390 |      331
98.57/98.61	c 98.4s |      14 |   643685 |    61052 |    14689      8 |      390 |      331
100.67/100.73	c  100s |      14 |   653483 |    62352 |    14689      8 |      390 |      331
102.77/102.84	c  102s |      14 |   665357 |    63652 |    14689      8 |      390 |      331
104.97/105.01	c  104s |      14 |   680340 |    64952 |    14689      8 |      390 |      331
106.97/107.04	c  106s |      14 |   682870 |    65452 |    14689      8 |      390 |      331
108.98/109.08	c  108s |      14 |   696112 |    66752 |    14689      8 |      390 |      331
111.08/111.16	c  110s |      14 |   703496 |    68052 |    14689      8 |      390 |      331
113.37/113.45	c  113s |      14 |   714165 |    69352 |    14689      8 |      390 |      331
115.48/115.59	c  115s |      14 |   716349 |    69852 |    14689      8 |      390 |      331
117.68/117.72	c  117s |      14 |   717699 |    70252 |    14689      9 |      390 |      331
119.67/119.74	c  119s |      14 |   724505 |    71152 |    14689      9 |      390 |      331
121.97/122.02	c  121s |      14 |   730770 |    72252 |    14689      9 |      390 |      331
124.28/124.31	c  124s |      14 |   731891 |    72852 |    14689      9 |      390 |      331
126.27/126.35	c  126s |      14 |   745086 |    74152 |    14689      9 |      390 |      331
128.27/128.38	c  128s |      14 |   748423 |    74952 |    14689      9 |      390 |      331
130.47/130.55	c  130s |      14 |   749094 |    75252 |    14689      9 |      390 |      331
132.57/132.64	c  132s |      14 |   749494 |    75452 |    14689      9 |      390 |      331
134.86/134.90	c  134s |      14 |   755252 |    76552 |    14689      9 |      390 |      331
137.16/137.24	c  137s |      14 |   756279 |    76952 |    14689      9 |      390 |      331
139.16/139.26	c  139s |      14 |   761227 |    77652 |    14689      9 |      390 |      331
141.26/141.33	c  141s |      14 |   774098 |    78952 |    14689     10 |      390 |      331
143.27/143.38	c  143s |      14 |   776088 |    79652 |    14689     10 |      390 |      331
145.47/145.55	c  145s |      14 |   777569 |    80152 |    14689     10 |      390 |      331
147.67/147.70	c  147s |      14 |   778797 |    80652 |    14689     10 |      390 |      331
149.77/149.86	c  149s |      14 |   784227 |    81352 |    14689     10 |      390 |      331
151.78/151.89	c  151s |      14 |   786171 |    81752 |    14689     10 |      390 |      331
153.87/153.90	c  153s |      14 |   792076 |    82552 |    14689     10 |      390 |      331
155.87/155.92	c  155s |      14 |   798418 |    83652 |    14689     10 |      390 |      331
157.97/158.00	c  157s |      14 |   806309 |    84852 |    14689     10 |      390 |      331
160.07/160.15	c  159s |      14 |   815491 |    85752 |    14689     10 |      390 |      331
162.27/162.34	c  162s |      14 |   822124 |    86652 |    14689     11 |      391 |      332
163.77/163.84	c  163s |      15 |   830560 |    87632 |    16158     11 |      391 |      332
165.87/165.97	c  165s |      15 |   841800 |    88932 |    16158     11 |      391 |      332
167.97/168.04	c  167s |      15 |   860158 |    90532 |    16158     11 |      391 |      332
170.07/170.18	c  169s |      15 |   869244 |    91432 |    16158     11 |      391 |      332
172.16/172.20	c  171s |      15 |   883130 |    92632 |    16158     11 |      391 |      332
174.26/174.37	c  174s |      15 |   884604 |    93132 |    16158     11 |      391 |      332
176.66/176.79	c  176s |      15 |   886267 |    93732 |    16158     11 |      391 |      332
178.76/178.83	c  178s |      15 |   887475 |    94332 |    16158     11 |      391 |      332
181.06/181.13	c  180s |      15 |   888210 |    94732 |    16158     11 |      391 |      332
183.06/183.19	c  182s |      15 |   903452 |    95932 |    16158     12 |      391 |      332
185.16/185.29	c  185s |      15 |   909845 |    97032 |    16158     12 |      391 |      332
187.26/187.31	c  187s |      15 |   912180 |    97732 |    16158     12 |      391 |      332
189.56/189.60	c  189s |      15 |   913605 |    98232 |    16158     12 |      391 |      332
191.76/191.87	c  191s |      15 |   914715 |    98632 |    16158     12 |      391 |      332
193.86/193.95	c  193s |      15 |   918058 |    99032 |    16158     12 |      391 |      332
195.96/196.07	c  195s |      15 |   931793 |   100432 |    16158     12 |      391 |      332
198.25/198.30	c  198s |      15 |   934852 |   101132 |    16158     12 |      391 |      332
200.26/200.33	c  200s |      15 |   946127 |   102232 |    16158     12 |      391 |      332
202.26/202.34	c  202s |      15 |   953633 |   103232 |    16158     12 |      391 |      332
204.46/204.53	c  204s |      15 |   956110 |   103832 |    16158     12 |      391 |      332
206.56/206.67	c  206s |      15 |   960082 |   104432 |    16158     13 |      391 |      332
208.66/208.76	c  208s |      15 |   979798 |   106032 |    16158     13 |      391 |      332
210.66/210.78	c  210s |      15 |   993904 |   107332 |    16158     13 |      391 |      332
212.86/212.92	c  212s |      15 |  1009124 |   108732 |    16158     13 |      391 |      332
214.96/215.00	c  214s |      15 |  1018631 |   109732 |    16158     13 |      391 |      332
217.06/217.10	c  216s |      15 |  1032984 |   111132 |    16158     13 |      391 |      332
219.16/219.29	c  219s |      15 |  1044493 |   112232 |    16158     13 |      391 |      332
221.46/221.51	c  221s |      15 |  1046249 |   112932 |    16158     13 |      391 |      332
223.56/223.62	c  223s |      15 |  1047901 |   113432 |    16158     13 |      391 |      332
225.75/225.80	c  225s |      15 |  1049047 |   113832 |    16158     13 |      391 |      332
227.95/228.04	c  227s |      15 |  1051402 |   114332 |    16158     14 |      391 |      332
230.05/230.13	c  229s |      15 |  1072410 |   115932 |    16158     14 |      391 |      332
232.06/232.15	c  231s |      15 |  1084192 |   117332 |    16158     14 |      391 |      332
234.05/234.15	c  233s |      15 |  1091795 |   118332 |    16158     14 |      391 |      332
236.15/236.22	c  236s |      15 |  1094511 |   119132 |    16158     14 |      391 |      332
238.55/238.64	c  238s |      15 |  1095619 |   119532 |    16158     14 |      391 |      332
240.65/240.71	c  240s |      15 |  1098969 |   120232 |    16158     14 |      391 |      332
242.75/242.80	c  242s |      15 |  1100926 |   120832 |    16158     14 |      391 |      332
244.75/244.89	c  244s |      15 |  1106574 |   121832 |    16158     14 |      391 |      332
247.05/247.19	c  246s |      15 |  1108293 |   122532 |    16158     14 |      391 |      332
249.45/249.55	c  249s |      15 |  1110555 |   123232 |    16158     14 |      391 |      332
251.65/251.77	c  251s |      15 |  1112074 |   123832 |    16158     14 |      391 |      332
253.85/253.92	c  253s |      15 |  1125029 |   124832 |    16158     15 |      391 |      332
255.95/256.02	c  255s |      15 |  1137745 |   126232 |    16158     15 |      392 |      333
258.15/258.27	c  258s |      15 |  1147356 |   127432 |    16158     15 |      392 |      333
260.25/260.37	c  260s |      15 |  1162328 |   128832 |    16158     15 |      392 |      333
262.45/262.51	c  262s |      15 |  1171509 |   129932 |    16158     15 |      392 |      333
264.55/264.63	c  264s |      15 |  1174657 |   130832 |    17774     15 |      392 |      333
266.26/266.38	c  266s |      16 |  1177521 |   131552 |    17774     15 |      392 |      333
268.65/268.78	c  268s |      16 |  1180700 |   132252 |    17774     15 |      392 |      333
270.95/271.00	c  270s |      16 |  1190577 |   133452 |    17774     15 |      392 |      333
273.45/273.51	c  273s |      16 |  1194901 |   134452 |    17774     15 |      392 |      333
275.65/275.71	c  275s |      16 |  1197635 |   135252 |    17774     15 |      392 |      333
277.85/277.96	c  277s |      16 |  1201941 |   136052 |    17774     16 |      392 |      333
279.95/280.04	c  279s |      16 |  1203441 |   136552 |    17774     16 |      392 |      333
282.05/282.12	c  281s |      16 |  1205010 |   137052 |    17774     16 |      392 |      333
284.15/284.27	c  284s |      16 |  1211118 |   137952 |    17774     16 |      392 |      333
286.35/286.47	c  286s |      16 |  1213612 |   138552 |    17774     16 |      392 |      333
288.54/288.66	c  288s |      16 |  1216030 |   139152 |    17774     16 |      392 |      333
290.64/290.75	c  290s |      16 |  1224401 |   140452 |    17774     16 |      392 |      333
292.74/292.84	c  292s |      16 |  1239541 |   141852 |    17774     16 |      392 |      333
294.75/294.85	c  294s |      16 |  1256566 |   143252 |    17774     16 |      392 |      333
296.84/296.93	c  296s |      16 |  1274751 |   144752 |    17774     17 |      392 |      333
298.84/298.98	c  298s |      16 |  1282766 |   146252 |    17774     17 |      392 |      333
300.94/301.01	c  300s |      16 |  1290779 |   147452 |    17774     17 |      392 |      333
302.94/303.06	c  302s |      16 |  1302943 |   148852 |    17774     17 |      392 |      333
305.04/305.12	c  304s |      16 |  1306193 |   149652 |    17774     17 |      392 |      333
307.04/307.16	c  306s |      16 |  1311636 |   150652 |    17774     17 |      392 |      333
309.15/309.27	c  309s |      16 |  1318021 |   151652 |    17774     17 |      392 |      333
311.35/311.44	c  311s |      16 |  1325127 |   153052 |    17774     17 |      392 |      333
313.34/313.49	c  313s |      16 |  1336348 |   154352 |    17774     18 |      392 |      333
315.44/315.58	c  315s |      16 |  1346502 |   155552 |    17774     18 |      392 |      333
317.54/317.67	c  317s |      16 |  1361489 |   157152 |    17774     18 |      392 |      333
319.64/319.79	c  319s |      16 |  1375893 |   158552 |    17774     18 |      392 |      333
321.74/321.85	c  321s |      16 |  1390296 |   159952 |    17774     18 |      392 |      333
323.94/324.01	c  323s |      16 |  1400420 |   161052 |    17774     18 |      392 |      333
325.94/326.03	c  325s |      16 |  1412222 |   162152 |    17774     18 |      392 |      333
328.04/328.16	c  327s |      16 |  1420096 |   163252 |    17774     18 |      392 |      333
330.14/330.23	c  330s |      16 |  1427245 |   164352 |    17774     19 |      392 |      333
332.24/332.39	c  332s |      16 |  1436613 |   165952 |    17774     19 |      392 |      333
334.34/334.43	c  334s |      16 |  1443442 |   167052 |    17774     19 |      392 |      333
336.33/336.48	c  336s |      16 |  1461151 |   168552 |    17774     19 |      393 |      334
338.43/338.53	c  338s |      16 |  1478237 |   169952 |    17774     19 |      393 |      334
340.53/340.62	c  340s |      16 |  1489044 |   171452 |    17774     19 |      393 |      334
342.63/342.77	c  342s |      16 |  1494400 |   172452 |    17774     19 |      393 |      334
344.83/344.91	c  344s |      16 |  1506694 |   173752 |    17774     20 |      393 |      334
346.93/347.08	c  346s |      16 |  1520959 |   175352 |    17774     20 |      393 |      334
348.93/349.09	c  348s |      16 |  1527587 |   176452 |    17774     20 |      393 |      334
351.14/351.21	c  350s |      16 |  1532110 |   177352 |    17774     20 |      393 |      334
353.15/353.26	c  353s |      16 |  1546401 |   178752 |    17774     20 |      393 |      334
355.25/355.35	c  355s |      16 |  1554605 |   179752 |    17774     20 |      393 |      334
357.45/357.54	c  357s |      16 |  1557838 |   180852 |    17774     20 |      393 |      334
359.44/359.60	c  359s |      16 |  1567024 |   182052 |    17774     21 |      394 |      335
361.54/361.63	c  361s |      16 |  1571661 |   183452 |    17774     21 |      394 |      335
363.84/363.92	c  363s |      16 |  1574067 |   184352 |    17774     21 |      394 |      335
366.04/366.17	c  365s |      16 |  1576179 |   185052 |    17774     21 |      394 |      335
368.24/368.32	c  368s |      16 |  1594378 |   186452 |    17774     21 |      394 |      335
370.34/370.43	c  370s |      16 |  1601776 |   187852 |    17774     21 |      394 |      335
372.33/372.46	c  372s |      16 |  1604575 |   188752 |    17774     21 |      394 |      335
374.33/374.47	c  374s |      16 |  1611696 |   190052 |    17774     21 |      394 |      335
376.33/376.48	c  376s |      16 |  1620465 |   191152 |    17774     21 |      394 |      335
378.34/378.48	c  378s |      16 |  1625467 |   192052 |    17774     21 |      394 |      335
380.93/381.08	c  380s |      16 |  1627047 |   192552 |    17774     21 |      394 |      335
383.13/383.20	c  382s |      16 |  1628471 |   192852 |    17774     21 |      394 |      335
385.23/385.38	c  385s |      16 |  1632181 |   193452 |    17774     22 |      394 |      335
387.33/387.41	c  387s |      16 |  1641854 |   194652 |    17774     22 |      394 |      335
389.44/389.59	c  389s |      16 |  1652533 |   195952 |    17774     22 |      394 |      335
391.54/391.66	c  391s |      16 |  1660156 |   197352 |    19552     22 |      394 |      335
391.64/391.78	c  391s |      17 |  1660405 |   197432 |    19552     22 |      394 |      335
393.93/394.09	c  393s |      17 |  1674321 |   198732 |    19552     22 |      394 |      335
396.04/396.18	c  395s |      17 |  1681206 |   200032 |    19552     22 |      394 |      335
398.03/398.20	c  397s |      17 |  1692646 |   201432 |    19552     22 |      394 |      335
400.23/400.33	c  400s |      17 |  1708627 |   203132 |    19552     22 |      394 |      335
402.43/402.55	c  402s |      17 |  1713041 |   204032 |    19552     22 |      394 |      335
404.83/404.94	c  404s |      17 |  1714960 |   204632 |    19552     22 |      394 |      335
407.13/407.20	c  406s |      17 |  1718665 |   205632 |    19552     22 |      394 |      335
409.23/409.33	c  409s |      17 |  1722281 |   206432 |    19552     23 |      394 |      335
411.43/411.54	c  411s |      17 |  1725058 |   207432 |    19552     23 |      394 |      335
413.73/413.88	c  413s |      17 |  1727047 |   208232 |    19552     23 |      394 |      335
416.03/416.17	c  415s |      17 |  1729131 |   209032 |    19552     23 |      394 |      335
418.43/418.57	c  418s |      17 |  1730932 |   209732 |    19552     23 |      394 |      335
420.63/420.72	c  420s |      17 |  1732431 |   210332 |    19552     23 |      394 |      335
422.73/422.88	c  422s |      17 |  1734019 |   210932 |    19552     23 |      394 |      335
424.83/424.91	c  424s |      17 |  1735026 |   211432 |    19552     23 |      394 |      335
426.92/427.03	c  426s |      17 |  1736473 |   212032 |    19552     23 |      394 |      335
429.03/429.18	c  428s |      17 |  1737905 |   212632 |    19552     23 |      394 |      335
431.32/431.41	c  431s |      17 |  1739123 |   213232 |    19552     23 |      394 |      335
433.52/433.69	c  433s |      17 |  1740328 |   213732 |    19552     23 |      394 |      335
436.02/436.15	c  435s |      17 |  1740809 |   214032 |    19552     23 |      394 |      335
438.12/438.21	c  437s |      17 |  1742009 |   214532 |    19552     23 |      394 |      335
440.52/440.62	c  440s |      17 |  1743068 |   215032 |    19552     23 |      394 |      335
442.82/442.99	c  442s |      17 |  1744383 |   215532 |    19552     23 |      394 |      335
445.32/445.44	c  445s |      17 |  1745738 |   216032 |    19552     23 |      394 |      335
447.52/447.64	c  447s |      17 |  1746730 |   216432 |    19552     23 |      394 |      335
449.62/449.79	c  449s |      17 |  1747636 |   216832 |    19552     23 |      394 |      335
451.82/451.93	c  451s |      17 |  1748583 |   217232 |    19552     23 |      394 |      335
454.12/454.22	c  454s |      17 |  1750750 |   217832 |    19552     24 |      394 |      335
456.11/456.25	c  456s |      17 |  1753440 |   218632 |    19552     24 |      394 |      335
458.42/458.60	c  458s |      17 |  1756311 |   219432 |    19552     24 |      394 |      335
460.52/460.60	c  460s |      17 |  1757776 |   219832 |    19552     24 |      394 |      335
462.52/462.65	c  462s |      17 |  1773542 |   221532 |    19552     24 |      395 |      336
464.62/464.73	c  464s |      17 |  1779560 |   222732 |    19552     24 |      395 |      336
466.62/466.79	c  466s |      17 |  1781926 |   223432 |    19552     24 |      395 |      336
468.72/468.80	c  468s |      17 |  1784328 |   224232 |    19552     24 |      395 |      336
471.02/471.14	c  470s |      17 |  1785824 |   224832 |    19552     24 |      395 |      336
473.32/473.47	c  473s |      17 |  1788488 |   225532 |    19552     24 |      395 |      336
475.52/475.60	c  475s |      17 |  1789930 |   226032 |    19552     24 |      395 |      336
477.52/477.67	c  477s |      17 |  1795003 |   226832 |    19552     25 |      395 |      336
479.62/479.75	c  479s |      17 |  1812026 |   228732 |    19552     25 |      395 |      336
481.62/481.76	c  481s |      17 |  1824459 |   230332 |    19552     25 |      395 |      336
483.62/483.76	c  483s |      17 |  1832643 |   231632 |    19552     25 |      395 |      336
485.82/485.95	c  485s |      17 |  1835545 |   232532 |    19552     25 |      395 |      336
487.91/488.07	c  487s |      17 |  1841609 |   233632 |    19552     25 |      395 |      336
490.31/490.44	c  490s |      17 |  1846521 |   234632 |    19552     25 |      395 |      336
492.31/492.47	c  492s |      17 |  1859174 |   235732 |    19552     25 |      395 |      336
494.41/494.52	c  494s |      17 |  1868650 |   236932 |    19552     26 |      395 |      336
496.51/496.61	c  496s |      17 |  1881457 |   238432 |    19552     26 |      395 |      336
498.51/498.68	c  498s |      17 |  1892050 |   239932 |    19552     26 |      395 |      336
500.61/500.77	c  500s |      17 |  1908555 |   241532 |    19552     26 |      396 |      337
502.81/502.93	c  502s |      17 |  1933396 |   243132 |    19552     26 |      396 |      337
504.82/504.94	c  504s |      17 |  1940375 |   244332 |    19552     26 |      397 |      338
506.81/506.95	c  506s |      17 |  1951040 |   245732 |    19552     26 |      397 |      338
508.91/509.05	c  508s |      17 |  1955348 |   246832 |    19552     26 |      397 |      338
511.01/511.16	c  510s |      17 |  1964045 |   248432 |    19552     27 |      397 |      338
513.01/513.17	c  512s |      17 |  1967653 |   249632 |    19552     27 |      397 |      338
515.01/515.19	c  514s |      17 |  1970130 |   250532 |    19552     27 |      397 |      338
517.11/517.26	c  517s |      17 |  1972569 |   251232 |    19552     27 |      397 |      338
519.31/519.42	c  519s |      17 |  1979901 |   252332 |    19552     27 |      397 |      338
521.61/521.73	c  521s |      17 |  1982269 |   253032 |    19552     27 |      397 |      338
523.71/523.83	c  523s |      17 |  1983161 |   253432 |    19552     27 |      397 |      338
526.01/526.10	c  525s |      17 |  1985352 |   254132 |    19552     27 |      397 |      338
528.31/528.45	c  528s |      17 |  1987669 |   254832 |    19552     27 |      397 |      338
530.71/530.80	c  530s |      17 |  1990732 |   255632 |    19552     27 |      397 |      338
532.91/533.08	c  532s |      17 |  1993667 |   256332 |    19552     27 |      397 |      338
535.41/535.57	c  535s |      17 |  1995882 |   256932 |    19552     27 |      397 |      338
537.51/537.69	c  537s |      17 |  1998463 |   257532 |    19552     27 |      397 |      338
540.01/540.12	c  539s |      17 |  2000620 |   258132 |    19552     27 |      397 |      338
542.31/542.50	c  542s |      17 |  2002483 |   258632 |    19552     28 |      397 |      338
544.51/544.62	c  544s |      17 |  2006895 |   259632 |    19552     28 |      397 |      338
546.50/546.63	c  546s |      17 |  2010521 |   260732 |    19552     28 |      397 |      338
548.50/548.66	c  548s |      17 |  2014500 |   261832 |    19552     28 |      397 |      338
550.80/550.93	c  550s |      17 |  2018244 |   262832 |    19552     28 |      397 |      338
552.90/553.02	c  552s |      17 |  2020281 |   263532 |    19552     28 |      397 |      338
555.00/555.14	c  554s |      17 |  2023888 |   264332 |    19552     28 |      397 |      338
557.20/557.37	c  557s |      17 |  2026159 |   265032 |    19552     28 |      397 |      338
559.20/559.38	c  559s |      17 |  2028162 |   265632 |    19552     28 |      397 |      338
561.50/561.68	c  561s |      17 |  2029351 |   266132 |    19552     28 |      397 |      338
564.11/564.27	c  564s |      17 |  2030811 |   266632 |    19552     28 |      397 |      338
566.70/566.83	c  566s |      17 |  2032117 |   267132 |    19552     28 |      397 |      338
569.20/569.32	c  569s |      17 |  2034101 |   267732 |    19552     28 |      397 |      338
571.70/571.80	c  571s |      17 |  2035123 |   268232 |    19552     28 |      397 |      338
573.80/573.92	c  573s |      17 |  2037043 |   268732 |    19552     29 |      397 |      338
575.80/575.98	c  575s |      17 |  2042126 |   270132 |    19552     29 |      397 |      338
577.90/578.07	c  577s |      17 |  2049291 |   271232 |    19552     29 |      397 |      338
580.00/580.18	c  579s |      17 |  2062582 |   272632 |    19552     29 |      397 |      338
582.10/582.27	c  582s |      17 |  2070385 |   273832 |    19552     29 |      397 |      338
584.11/584.28	c  584s |      17 |  2078583 |   274832 |    19552     29 |      397 |      338
586.20/586.36	c  586s |      17 |  2090296 |   276032 |    19552     29 |      397 |      338
588.40/588.51	c  588s |      17 |  2095288 |   276932 |    19552     30 |      397 |      338
590.40/590.54	c  590s |      17 |  2115907 |   278732 |    19552     30 |      397 |      338
592.60/592.75	c  592s |      17 |  2119014 |   279732 |    19552     30 |      397 |      338
594.70/594.80	c  594s |      17 |  2123090 |   280432 |    19552     30 |      397 |      338
596.80/596.95	c  596s |      17 |  2131529 |   281532 |    19552     30 |      397 |      338
598.89/599.07	c  598s |      17 |  2135027 |   282332 |    19552     30 |      397 |      338
601.30/601.41	c  601s |      17 |  2136580 |   282732 |    19552     30 |      397 |      338
603.50/603.60	c  603s |      17 |  2139124 |   283432 |    19552     30 |      397 |      338
605.80/605.99	c  605s |      17 |  2142648 |   284232 |    19552     30 |      397 |      338
608.10/608.26	c  608s |      17 |  2144583 |   284732 |    19552     30 |      397 |      338
610.30/610.41	c  610s |      17 |  2145873 |   285132 |    19552     30 |      397 |      338
612.89/613.05	c  612s |      17 |  2147338 |   285532 |    19552     30 |      397 |      338
615.09/615.28	c  615s |      17 |  2148802 |   286032 |    19552     30 |      397 |      338
617.49/617.65	c  617s |      17 |  2151382 |   286532 |    19552     30 |      397 |      338
619.49/619.69	c  619s |      17 |  2153460 |   287032 |    19552     31 |      397 |      338
621.59/621.75	c  621s |      17 |  2155100 |   287532 |    19552     31 |      397 |      338
623.60/623.76	c  623s |      17 |  2159031 |   288432 |    19552     31 |      397 |      338
625.89/626.06	c  625s |      17 |  2162555 |   289232 |    19552     31 |      397 |      338
627.99/628.14	c  627s |      17 |  2165140 |   289732 |    19552     31 |      397 |      338
630.19/630.34	c  630s |      17 |  2168066 |   290432 |    19552     31 |      397 |      338
632.68/632.87	c  632s |      17 |  2169786 |   290932 |    19552     31 |      397 |      338
635.19/635.38	c  635s |      17 |  2171912 |   291432 |    19552     31 |      397 |      338
637.19/637.39	c  637s |      17 |  2182575 |   292532 |    19552     31 |      397 |      338
639.38/639.51	c  639s |      17 |  2191878 |   293432 |    19552     31 |      397 |      338
641.58/641.71	c  641s |      17 |  2199157 |   294332 |    21508     31 |      397 |      338
643.68/643.88	c  643s |      17 |  2206492 |   295232 |    21508     31 |      397 |      338
645.78/645.90	c  645s |      17 |  2210843 |   296032 |    21508     31 |      397 |      338
646.18/646.32	c  646s |      18 |  2211549 |   296252 |    21508     31 |      397 |      338
648.28/648.40	c  648s |      18 |  2220975 |   297652 |    21508     32 |      397 |      338
650.28/650.43	c  650s |      18 |  2224648 |   298552 |    21508     32 |      397 |      338
652.48/652.64	c  652s |      18 |  2226508 |   299252 |    21508     32 |      397 |      338
654.48/654.67	c  654s |      18 |  2227547 |   299752 |    21508     32 |      397 |      338
656.58/656.76	c  656s |      18 |  2228442 |   300152 |    21508     32 |      397 |      338
658.67/658.88	c  658s |      18 |  2229345 |   300552 |    21508     32 |      397 |      338
660.98/661.10	c  660s |      18 |  2232427 |   301352 |    21508     32 |      397 |      338
663.18/663.36	c  663s |      18 |  2234527 |   302052 |    21508     32 |      397 |      338
665.27/665.48	c  665s |      18 |  2235664 |   302552 |    21508     32 |      397 |      338
667.37/667.57	c  667s |      18 |  2237834 |   303252 |    21508     32 |      397 |      338
669.57/669.73	c  669s |      18 |  2240291 |   304052 |    21508     32 |      397 |      338
672.17/672.35	c  672s |      18 |  2241498 |   304552 |    21508     32 |      397 |      338
674.17/674.35	c  674s |      18 |  2242886 |   304952 |    21508     32 |      397 |      338
676.57/676.79	c  676s |      18 |  2244993 |   305452 |    21508     32 |      397 |      338
678.76/678.99	c  678s |      18 |  2245846 |   305852 |    21508     32 |      397 |      338
681.06/681.20	c  680s |      18 |  2247384 |   306352 |    21508     32 |      397 |      338
683.07/683.29	c  683s |      18 |  2250604 |   306952 |    21508     33 |      397 |      338
685.26/685.44	c  685s |      18 |  2260344 |   308652 |    21508     33 |      397 |      338
687.27/687.45	c  687s |      18 |  2264850 |   309752 |    21508     33 |      397 |      338
689.46/689.61	c  689s |      18 |  2268061 |   310652 |    21508     33 |      397 |      338
691.56/691.72	c  691s |      18 |  2269111 |   311252 |    21508     33 |      397 |      338
693.86/694.09	c  693s |      18 |  2270835 |   311852 |    21508     33 |      397 |      338
696.06/696.26	c  696s |      18 |  2272305 |   312352 |    21508     33 |      397 |      338
698.26/698.44	c  698s |      18 |  2281769 |   313452 |    21508     33 |      397 |      338
700.66/700.81	c  700s |      18 |  2284256 |   314252 |    21508     33 |      397 |      338
702.76/702.93	c  702s |      18 |  2284988 |   314552 |    21508     33 |      397 |      338
704.75/704.97	c  704s |      18 |  2286786 |   315252 |    21508     33 |      397 |      338
706.95/707.10	c  706s |      18 |  2296575 |   316352 |    21508     34 |      397 |      338
709.05/709.28	c  709s |      18 |  2306620 |   317452 |    21508     34 |      397 |      338
711.25/711.46	c  711s |      18 |  2308819 |   318252 |    21508     34 |      397 |      338
713.55/713.73	c  713s |      18 |  2310598 |   318852 |    21508     34 |      397 |      338
715.55/715.74	c  715s |      18 |  2312025 |   319452 |    21508     34 |      397 |      338
717.65/717.89	c  717s |      18 |  2318077 |   320252 |    21508     34 |      397 |      338
719.75/719.90	c  719s |      18 |  2325088 |   321352 |    21508     34 |      397 |      338
721.85/722.09	c  721s |      18 |  2331850 |   322352 |    21508     34 |      397 |      338
724.14/724.33	c  724s |      18 |  2333656 |   323052 |    21508     34 |      397 |      338
726.24/726.42	c  726s |      18 |  2338527 |   323852 |    21508     35 |      397 |      338
728.44/728.69	c  728s |      18 |  2346296 |   325152 |    21508     35 |      397 |      338
730.54/730.72	c  730s |      18 |  2359216 |   326652 |    21508     35 |      398 |      339
732.64/732.81	c  732s |      18 |  2368187 |   328152 |    21508     35 |      398 |      339
734.65/734.83	c  734s |      18 |  2371600 |   329052 |    21508     35 |      398 |      339
736.95/737.15	c  736s |      18 |  2374529 |   329752 |    21508     35 |      398 |      339
739.14/739.35	c  739s |      18 |  2379348 |   330752 |    21508     35 |      398 |      339
741.13/741.36	c  741s |      18 |  2390289 |   331952 |    21508     36 |      398 |      339
743.33/743.58	c  743s |      18 |  2395767 |   332952 |    21508     36 |      398 |      339
745.93/746.17	c  745s |      18 |  2397633 |   333652 |    21508     36 |      398 |      339
748.13/748.37	c  748s |      18 |  2401031 |   334252 |    21508     36 |      398 |      339
750.23/750.46	c  750s |      18 |  2405671 |   335152 |    21508     36 |      398 |      339
752.73/752.91	c  752s |      18 |  2408648 |   335852 |    21508     36 |      398 |      339
754.73/754.93	c  754s |      18 |  2412037 |   336452 |    21508     36 |      398 |      339
756.74/756.97	c  756s |      18 |  2423626 |   337752 |    21508     36 |      398 |      339
758.73/758.99	c  758s |      18 |  2434757 |   339052 |    21508     37 |      398 |      339
761.03/761.27	c  761s |      18 |  2437455 |   339952 |    21508     37 |      398 |      339
763.24/763.42	c  763s |      18 |  2443363 |   340952 |    21508     37 |      398 |      339
765.23/765.49	c  765s |      18 |  2461055 |   342652 |    21508     37 |      398 |      339
767.43/767.60	c  767s |      18 |  2475400 |   343952 |    21508     37 |      398 |      339
769.53/769.74	c  769s |      18 |  2491159 |   345452 |    21508     37 |      398 |      339
771.53/771.80	c  771s |      18 |  2509544 |   347152 |    21508     38 |      398 |      339
773.63/773.86	c  773s |      18 |  2526319 |   349252 |    21508     38 |      398 |      339
775.83/776.02	c  775s |      18 |  2546053 |   350952 |    21508     38 |      398 |      339
777.93/778.14	c  777s |      18 |  2554668 |   351952 |    21508     38 |      398 |      339
780.02/780.23	c  780s |      18 |  2558851 |   352952 |    21508     38 |      398 |      339
782.12/782.39	c  782s |      18 |  2560857 |   353752 |    21508     38 |      398 |      339
784.23/784.42	c  784s |      18 |  2567783 |   354752 |    21508     39 |      398 |      339
786.22/786.42	c  786s |      18 |  2579221 |   356452 |    21508     39 |      398 |      339
788.32/788.51	c  788s |      18 |  2597715 |   358252 |    21508     39 |      398 |      339
790.42/790.62	c  790s |      18 |  2617840 |   360052 |    21508     39 |      398 |      339
792.72/792.94	c  792s |      18 |  2623497 |   361252 |    21508     40 |      398 |      339
794.72/794.95	c  794s |      18 |  2645869 |   363152 |    21508     40 |      398 |      339
796.72/796.97	c  796s |      18 |  2654140 |   364552 |    21508     40 |      398 |      339
798.81/799.03	c  798s |      18 |  2680057 |   366452 |    21508     40 |      398 |      339
800.91/801.10	c  800s |      18 |  2694639 |   367952 |    21508     41 |      398 |      339
802.92/803.19	c  802s |      18 |  2713659 |   369852 |    21508     41 |      398 |      339
805.02/805.27	c  805s |      18 |  2731177 |   371452 |    21508     41 |      398 |      339
807.11/807.32	c  807s |      18 |  2750868 |   372952 |    21508     41 |      398 |      339
809.11/809.38	c  809s |      18 |  2759699 |   374652 |    21508     42 |      398 |      339
811.21/811.40	c  811s |      18 |  2768832 |   376152 |    21508     42 |      398 |      339
813.21/813.46	c  813s |      18 |  2775462 |   377352 |    21508     42 |      398 |      339
815.41/815.68	c  815s |      18 |  2777930 |   378252 |    21508     42 |      398 |      339
817.71/817.97	c  817s |      18 |  2780063 |   379052 |    21508     42 |      398 |      339
819.81/820.07	c  819s |      18 |  2782162 |   379752 |    21508     42 |      398 |      339
821.91/822.18	c  821s |      18 |  2783881 |   380252 |    21508     43 |      398 |      339
824.10/824.30	c  824s |      18 |  2787492 |   381252 |    21508     43 |      398 |      339
826.40/826.63	c  826s |      18 |  2788884 |   381852 |    21508     43 |      398 |      339
828.60/828.86	c  828s |      18 |  2790117 |   382452 |    21508     43 |      398 |      339
830.70/830.90	c  830s |      18 |  2791770 |   382952 |    21508     43 |      398 |      339
832.90/833.15	c  832s |      18 |  2792792 |   383452 |    21508     43 |      398 |      339
835.00/835.27	c  835s |      18 |  2793927 |   383952 |    21508     43 |      398 |      339
837.30/837.58	c  837s |      18 |  2794886 |   384452 |    21508     43 |      398 |      339
839.39/839.61	c  839s |      18 |  2796072 |   384952 |    21508     43 |      398 |      339
841.40/841.62	c  841s |      18 |  2797466 |   385452 |    21508     43 |      398 |      339
843.39/843.63	c  843s |      18 |  2798835 |   385852 |    21508     43 |      398 |      339
845.59/845.82	c  845s |      18 |  2801260 |   386552 |    21508     43 |      398 |      339
847.59/847.85	c  847s |      18 |  2804834 |   387352 |    21508     44 |      398 |      339
849.59/849.88	c  849s |      18 |  2807979 |   388352 |    21508     44 |      398 |      339
851.69/851.98	c  851s |      18 |  2810124 |   389152 |    21508     44 |      398 |      339
853.69/853.99	c  853s |      18 |  2811134 |   389652 |    21508     44 |      398 |      339
855.99/856.23	c  856s |      18 |  2812936 |   390352 |    21508     44 |      398 |      339
858.19/858.47	c  858s |      18 |  2814650 |   391052 |    21508     44 |      398 |      339
860.48/860.74	c  860s |      18 |  2816252 |   391752 |    21508     44 |      398 |      339
862.48/862.75	c  862s |      18 |  2817209 |   392252 |    21508     44 |      398 |      339
864.88/865.16	c  864s |      18 |  2818089 |   392752 |    21508     44 |      398 |      339
867.08/867.38	c  867s |      18 |  2819510 |   393152 |    21508     45 |      398 |      339
869.18/869.49	c  869s |      18 |  2823107 |   394252 |    21508     45 |      398 |      339
871.29/871.53	c  871s |      18 |  2825353 |   395052 |    21508     45 |      398 |      339
873.29/873.53	c  873s |      18 |  2827213 |   395752 |    21508     45 |      398 |      339
875.58/875.88	c  875s |      18 |  2828924 |   396352 |    21508     45 |      398 |      339
877.98/878.26	c  878s |      18 |  2830659 |   397052 |    21508     45 |      398 |      339
880.48/880.73	c  880s |      18 |  2831878 |   397552 |    21508     45 |      398 |      339
882.68/882.91	c  882s |      18 |  2833467 |   398052 |    21508     45 |      398 |      339
884.98/885.20	c  884s |      18 |  2834846 |   398552 |    21508     45 |      398 |      339
887.18/887.48	c  887s |      18 |  2836364 |   399152 |    21508     45 |      398 |      339
889.27/889.55	c  889s |      18 |  2838951 |   399952 |    21508     46 |      398 |      339
891.37/891.60	c  891s |      18 |  2843372 |   400952 |    21508     46 |      398 |      339
893.47/893.76	c  893s |      18 |  2845625 |   401752 |    21508     46 |      398 |      339
895.57/895.88	c  895s |      18 |  2847270 |   402452 |    21508     46 |      398 |      339
897.77/898.09	c  897s |      18 |  2849409 |   403152 |    21508     46 |      398 |      339
900.26/900.50	c  900s |      18 |  2850502 |   403652 |    21508     46 |      398 |      339
902.76/903.05	c  902s |      18 |  2852187 |   404252 |    21508     46 |      398 |      339
905.26/905.56	c  905s |      18 |  2853449 |   404752 |    21508     46 |      398 |      339
907.76/908.01	c  907s |      18 |  2854373 |   405152 |    21508     46 |      398 |      339
909.76/910.03	c  909s |      18 |  2858213 |   405952 |    21508     47 |      398 |      339
911.96/912.23	c  912s |      18 |  2860873 |   406952 |    21508     47 |      398 |      339
914.05/914.30	c  914s |      18 |  2862638 |   407652 |    21508     47 |      398 |      339
916.26/916.52	c  916s |      18 |  2864708 |   408352 |    21508     47 |      398 |      339
918.26/918.53	c  918s |      18 |  2866676 |   408952 |    21508     47 |      398 |      339
920.25/920.54	c  920s |      18 |  2868445 |   409552 |    21508     47 |      398 |      339
922.45/922.74	c  922s |      18 |  2870740 |   410152 |    21508     47 |      398 |      339
924.86/925.13	c  924s |      18 |  2872585 |   410752 |    21508     47 |      398 |      339
926.95/927.23	c  927s |      18 |  2874722 |   411252 |    21508     47 |      398 |      339
929.04/929.31	c  929s |      18 |  2892324 |   412952 |    21508     48 |      398 |      339
931.04/931.37	c  931s |      18 |  2900571 |   414252 |    21508     48 |      398 |      339
933.15/933.42	c  933s |      18 |  2908763 |   415652 |    21508     48 |      398 |      339
935.25/935.52	c  935s |      18 |  2910596 |   416352 |    21508     48 |      398 |      339
937.35/937.65	c  937s |      18 |  2912838 |   417052 |    21508     48 |      398 |      339
939.35/939.66	c  939s |      18 |  2915520 |   417552 |    21508     49 |      398 |      339
941.95/942.21	c  941s |      18 |  2918236 |   418352 |    21508     49 |      398 |      339
944.05/944.30	c  944s |      18 |  2919893 |   418952 |    21508     49 |      398 |      339
946.25/946.56	c  946s |      18 |  2921892 |   419752 |    21508     49 |      398 |      339
948.34/948.62	c  948s |      18 |  2922498 |   420052 |    21508     49 |      398 |      339
950.54/950.81	c  950s |      18 |  2924807 |   420752 |    21508     49 |      398 |      339
953.04/953.36	c  953s |      18 |  2925727 |   421152 |    21508     49 |      398 |      339
955.24/955.56	c  955s |      18 |  2926724 |   421552 |    21508     49 |      398 |      339
957.44/957.74	c  957s |      18 |  2930245 |   422152 |    21508     50 |      398 |      339
959.43/959.76	c  959s |      18 |  2949805 |   423952 |    21508     50 |      398 |      339
961.53/961.82	c  961s |      18 |  2967168 |   425552 |    21508     50 |      398 |      339
963.63/963.90	c  963s |      18 |  2977957 |   426652 |    21508     51 |      398 |      339
965.64/965.92	c  965s |      18 |  2997374 |   428552 |    21508     51 |      398 |      339
967.74/968.02	c  967s |      18 |  3011600 |   430352 |    21508     51 |      398 |      339
969.83/970.11	c  969s |      18 |  3015553 |   431252 |    21508     51 |      398 |      339
972.13/972.41	c  972s |      18 |  3019725 |   432352 |    21508     51 |      398 |      339
974.13/974.45	c  974s |      18 |  3024059 |   433352 |    21508     52 |      398 |      339
976.23/976.54	c  976s |      18 |  3032254 |   434852 |    21508     52 |      398 |      339
978.23/978.56	c  978s |      18 |  3037789 |   436152 |    21508     52 |      398 |      339
980.22/980.59	c  980s |      18 |  3041420 |   437152 |    21508     52 |      398 |      339
982.42/982.70	c  982s |      18 |  3044651 |   438252 |    21508     52 |      398 |      339
984.72/985.00	c  984s |      18 |  3049025 |   439452 |    21508     53 |      398 |      339
986.72/987.08	c  986s |      18 |  3050122 |   439952 |    21508     53 |      398 |      339
988.72/989.09	c  988s |      18 |  3051599 |   440552 |    21508     53 |      398 |      339
991.21/991.51	c  991s |      18 |  3052724 |   441152 |    21508     53 |      398 |      339
993.31/993.66	c  993s |      18 |  3054548 |   441752 |    23659     53 |      398 |      339
995.61/995.90	c  995s |      18 |  3057359 |   442652 |    23659     53 |      398 |      339
998.01/998.37	c  998s |      18 |  3058601 |   443252 |    23659     53 |      398 |      339
1000.21/1000.58	c 1000s |      18 |  3060660 |   443852 |    23659     53 |      398 |      339
1002.01/1002.38	c 1002s |      19 |  3062518 |   444482 |    23659     53 |      398 |      339
1004.12/1004.43	c 1004s |      19 |  3074495 |   445882 |    23659     54 |      398 |      339
1006.22/1006.55	c 1006s |      19 |  3080899 |   447182 |    23659     54 |      398 |      339
1008.21/1008.57	c 1008s |      19 |  3084378 |   448182 |    23659     54 |      398 |      339
1010.30/1010.60	c 1010s |      19 |  3090779 |   449282 |    23659     54 |      398 |      339
1012.50/1012.83	c 1012s |      19 |  3094328 |   450282 |    23659     54 |      398 |      339
1015.01/1015.39	c 1015s |      19 |  3095500 |   450682 |    23659     54 |      398 |      339
1017.21/1017.57	c 1017s |      19 |  3096849 |   451182 |    23659     54 |      398 |      339
1019.30/1019.60	c 1019s |      19 |  3097867 |   451582 |    23659     54 |      398 |      339
1021.70/1022.09	c 1021s |      19 |  3098849 |   452082 |    23659     54 |      398 |      339
1024.09/1024.42	c 1024s |      19 |  3102977 |   453082 |    23659     55 |      398 |      339
1026.10/1026.46	c 1026s |      19 |  3106433 |   453882 |    23659     55 |      398 |      339
1028.20/1028.53	c 1028s |      19 |  3109296 |   454582 |    23659     55 |      398 |      339
1030.69/1031.02	c 1030s |      19 |  3111077 |   455082 |    23659     55 |      398 |      339
1032.70/1033.09	c 1032s |      19 |  3113208 |   455682 |    23659     55 |      398 |      339
1034.90/1035.28	c 1035s |      19 |  3115383 |   456382 |    23659     55 |      398 |      339
1037.39/1037.75	c 1037s |      19 |  3116836 |   456882 |    23659     55 |      398 |      339
1039.48/1039.89	c 1039s |      19 |  3118738 |   457482 |    23659     55 |      398 |      339
1041.68/1042.05	c 1041s |      19 |  3121398 |   457982 |    23659     55 |      398 |      339
1043.78/1044.14	c 1043s |      19 |  3123549 |   458582 |    23659     55 |      398 |      339
1045.79/1046.18	c 1045s |      19 |  3128320 |   459682 |    23659     56 |      398 |      339
1047.88/1048.30	c 1048s |      19 |  3133516 |   460782 |    23659     56 |      398 |      339
1049.98/1050.33	c 1050s |      19 |  3136363 |   461482 |    23659     56 |      398 |      339
1052.49/1052.81	c 1052s |      19 |  3137946 |   462082 |    23659     56 |      398 |      339
1054.88/1055.28	c 1055s |      19 |  3140486 |   462782 |    23659     56 |      398 |      339
1057.08/1057.40	c 1057s |      19 |  3142674 |   463382 |    23659     56 |      398 |      339
1059.27/1059.63	c 1059s |      19 |  3145412 |   464082 |    23659     56 |      398 |      339
1061.67/1062.08	c 1061s |      19 |  3146642 |   464482 |    23659     56 |      398 |      339
1064.17/1064.50	c 1064s |      19 |  3149484 |   464982 |    23659     56 |      398 |      339
1066.17/1066.54	c 1066s |      19 |  3150694 |   465382 |    23659     56 |      398 |      339
1068.37/1068.79	c 1068s |      19 |  3152699 |   465882 |    23659     57 |      398 |      339
1070.47/1070.85	c 1070s |      19 |  3156108 |   466882 |    23659     57 |      398 |      339
1072.57/1072.92	c 1072s |      19 |  3158686 |   467682 |    23659     57 |      398 |      339
1074.66/1075.06	c 1074s |      19 |  3161527 |   468382 |    23659     57 |      398 |      339
1076.96/1077.38	c 1077s |      19 |  3165647 |   469182 |    23659     57 |      398 |      339
1079.36/1079.79	c 1079s |      19 |  3167270 |   469682 |    23659     57 |      398 |      339
1081.56/1081.92	c 1081s |      19 |  3169154 |   470382 |    23659     57 |      398 |      339
1083.66/1084.05	c 1083s |      19 |  3171499 |   471082 |    23659     57 |      398 |      339
1085.86/1086.26	c 1086s |      19 |  3182952 |   471982 |    23659     58 |      398 |      339
1087.86/1088.29	c 1088s |      19 |  3199899 |   473582 |    23659     58 |      398 |      339
1089.95/1090.37	c 1090s |      19 |  3211948 |   475082 |    23659     58 |      398 |      339
1092.06/1092.49	c 1092s |      19 |  3221182 |   476282 |    23659     59 |      398 |      339
1094.35/1094.70	c 1094s |      19 |  3229971 |   477682 |    23659     59 |      398 |      339
1096.36/1096.75	c 1096s |      19 |  3239497 |   478982 |    23659     59 |      398 |      339
1098.45/1098.80	c 1098s |      19 |  3245849 |   480082 |    23659     59 |      398 |      339
1100.54/1100.92	c 1100s |      19 |  3249846 |   480982 |    23659     59 |      398 |      339
1102.54/1102.94	c 1102s |      19 |  3253429 |   481882 |    23659     59 |      398 |      339
1104.74/1105.16	c 1104s |      19 |  3255594 |   482482 |    23659     59 |      398 |      339
1106.84/1107.24	c 1107s |      19 |  3257090 |   482882 |    23659     59 |      398 |      339
1109.04/1109.47	c 1109s |      19 |  3266833 |   483982 |    23659     60 |      398 |      339
1111.04/1111.47	c 1111s |      19 |  3269477 |   484682 |    23659     60 |      398 |      339
1113.14/1113.58	c 1113s |      19 |  3277889 |   485982 |    23659     60 |      398 |      339
1115.34/1115.70	c 1115s |      19 |  3288085 |   487182 |    23659     60 |      398 |      339
1117.34/1117.77	c 1117s |      19 |  3303501 |   488482 |    23659     61 |      398 |      339
1119.44/1119.89	c 1119s |      19 |  3311694 |   489882 |    23659     61 |      398 |      339
1121.64/1122.05	c 1121s |      19 |  3326311 |   491382 |    23659     61 |      398 |      339
1123.74/1124.17	c 1123s |      19 |  3332936 |   492682 |    23659     61 |      398 |      339
1125.83/1126.23	c 1126s |      19 |  3345160 |   494182 |    23659     62 |      398 |      339
1127.83/1128.24	c 1128s |      19 |  3361130 |   496082 |    23659     62 |      398 |      339
1129.93/1130.30	c 1130s |      19 |  3376149 |   497782 |    23659     63 |      398 |      339
1131.93/1132.33	c 1132s |      19 |  3389220 |   499382 |    23659     63 |      398 |      339
1134.03/1134.44	c 1134s |      19 |  3403977 |   500982 |    23659     64 |      398 |      339
1136.03/1136.49	c 1136s |      19 |  3412559 |   502282 |    23659     64 |      398 |      339
1138.13/1138.56	c 1138s |      19 |  3420614 |   503082 |    23659     64 |      398 |      339
1140.22/1140.61	c 1140s |      19 |  3433688 |   504582 |    23659     65 |      398 |      339
1142.42/1142.87	c 1142s |      19 |  3437622 |   505682 |    23659     65 |      398 |      339
1144.52/1144.92	c 1144s |      19 |  3448956 |   507282 |    23659     65 |      398 |      339
1146.62/1147.05	c 1146s |      19 |  3463691 |   508882 |    23659     66 |      398 |      339
1148.62/1149.07	c 1148s |      19 |  3474373 |   510082 |    23659     66 |      398 |      339
1150.82/1151.28	c 1151s |      19 |  3483130 |   511482 |    23659     67 |      398 |      339
1153.12/1153.57	c 1153s |      19 |  3486132 |   512182 |    23659     67 |      398 |      339
1155.42/1155.86	c 1155s |      19 |  3488834 |   512782 |    23659     67 |      398 |      339
1157.52/1157.99	c 1157s |      19 |  3489652 |   513082 |    23659     67 |      398 |      339
1159.91/1160.31	c 1160s |      19 |  3490970 |   513482 |    23659     67 |      398 |      339
1162.21/1162.64	c 1162s |      19 |  3492869 |   513882 |    23659     67 |      398 |      339
1164.62/1165.08	c 1164s |      19 |  3493741 |   514182 |    23659     67 |      398 |      339
1166.72/1167.18	c 1166s |      19 |  3495753 |   514582 |    23659     67 |      398 |      339
1169.01/1169.42	c 1169s |      19 |  3499273 |   515382 |    23659     67 |      398 |      339
1171.21/1171.62	c 1171s |      19 |  3500538 |   515782 |    23659     67 |      398 |      339
1173.31/1173.73	c 1173s |      19 |  3501992 |   516182 |    23659     67 |      398 |      339
1175.40/1175.90	c 1175s |      19 |  3504995 |   516982 |    23659     68 |      398 |      339
1177.71/1178.17	c 1177s |      19 |  3509413 |   518082 |    23659     68 |      398 |      339
1179.90/1180.33	c 1180s |      19 |  3511100 |   518682 |    23659     68 |      398 |      339
1182.10/1182.53	c 1182s |      19 |  3514187 |   519482 |    23659     68 |      398 |      339
1184.60/1185.06	c 1184s |      19 |  3515632 |   520082 |    23659     68 |      398 |      339
1186.60/1187.08	c 1186s |      19 |  3516951 |   520582 |    23659     68 |      398 |      339
1188.89/1189.31	c 1189s |      19 |  3519455 |   521382 |    23659     68 |      398 |      339
1191.09/1191.55	c 1191s |      19 |  3522650 |   522182 |    23659     69 |      398 |      339
1193.10/1193.55	c 1193s |      19 |  3527890 |   523382 |    23659     69 |      398 |      339
1195.20/1195.66	c 1195s |      19 |  3531446 |   524382 |    23659     69 |      398 |      339
1197.20/1197.66	c 1197s |      19 |  3535772 |   525382 |    23659     69 |      398 |      339
1199.49/1199.92	c 1199s |      19 |  3539992 |   526282 |    23659     69 |      398 |      339
1201.59/1202.01	c 1201s |      19 |  3543144 |   527082 |    23659     70 |      398 |      339
1203.59/1204.07	c 1203s |      19 |  3548233 |   528282 |    23659     70 |      398 |      339
1205.59/1206.07	c 1205s |      19 |  3552316 |   529382 |    23659     70 |      398 |      339
1207.79/1208.28	c 1208s |      19 |  3554954 |   530182 |    23659     70 |      398 |      339
1209.88/1210.35	c 1210s |      19 |  3558326 |   530982 |    23659     70 |      398 |      339
1212.48/1212.90	c 1212s |      19 |  3561235 |   531782 |    23659     71 |      398 |      339
1214.58/1215.03	c 1214s |      19 |  3566255 |   533182 |    23659     71 |      398 |      339
1216.78/1217.27	c 1217s |      19 |  3570033 |   533982 |    23659     71 |      398 |      339
1218.87/1219.34	c 1219s |      19 |  3573203 |   534782 |    23659     71 |      398 |      339
1220.97/1221.48	c 1221s |      19 |  3576083 |   535582 |    23659     71 |      398 |      339
1223.17/1223.67	c 1223s |      19 |  3579989 |   536482 |    23659     71 |      398 |      339
1225.27/1225.77	c 1225s |      19 |  3583480 |   537482 |    23659     72 |      398 |      339
1227.47/1227.98	c 1227s |      19 |  3588016 |   538482 |    23659     72 |      398 |      339
1229.47/1229.99	c 1229s |      19 |  3591039 |   539282 |    23659     72 |      398 |      339
1231.67/1232.15	c 1231s |      19 |  3593980 |   540082 |    23659     72 |      398 |      339
1234.06/1234.50	c 1234s |      19 |  3596201 |   540682 |    23659     72 |      398 |      339
1236.17/1236.69	c 1236s |      19 |  3597885 |   541282 |    23659     72 |      398 |      339
1238.37/1238.80	c 1238s |      19 |  3601295 |   542082 |    23659     73 |      398 |      339
1240.47/1240.94	c 1240s |      19 |  3605692 |   543082 |    23659     73 |      398 |      339
1242.67/1243.17	c 1242s |      19 |  3608171 |   543682 |    23659     73 |      398 |      339
1244.77/1245.21	c 1244s |      19 |  3611239 |   544382 |    23659     73 |      398 |      339
1246.86/1247.32	c 1247s |      19 |  3613523 |   544982 |    23659     73 |      398 |      339
1248.86/1249.38	c 1249s |      19 |  3615413 |   545482 |    23659     73 |      398 |      339
1251.26/1251.77	c 1251s |      19 |  3617111 |   546082 |    23659     73 |      398 |      339
1253.66/1254.18	c 1253s |      19 |  3618352 |   546482 |    23659     74 |      398 |      339
1255.66/1256.19	c 1255s |      19 |  3621397 |   547382 |    23659     74 |      398 |      339
1257.96/1258.44	c 1258s |      19 |  3623584 |   548082 |    23659     74 |      398 |      339
1260.06/1260.56	c 1260s |      19 |  3625024 |   548682 |    23659     74 |      398 |      339
1262.26/1262.77	c 1262s |      19 |  3626548 |   549182 |    23659     74 |      398 |      339
1264.46/1264.99	c 1264s |      19 |  3628186 |   549682 |    23659     74 |      398 |      339
1266.66/1267.10	c 1266s |      19 |  3629498 |   550182 |    23659     74 |      398 |      339
1268.66/1269.18	c 1268s |      19 |  3631023 |   550682 |    23659     74 |      398 |      339
1271.16/1271.67	c 1271s |      19 |  3631935 |   551082 |    23659     74 |      398 |      339
1273.66/1274.17	c 1273s |      19 |  3632751 |   551482 |    23659     74 |      398 |      339
1276.05/1276.59	c 1276s |      19 |  3633910 |   551982 |    23659     75 |      398 |      339
1278.36/1278.81	c 1278s |      19 |  3636146 |   552582 |    23659     75 |      398 |      339
1280.36/1280.88	c 1280s |      19 |  3637202 |   552982 |    23659     75 |      398 |      339
1282.86/1283.32	c 1283s |      19 |  3639007 |   553482 |    23659     75 |      398 |      339
1285.15/1285.65	c 1285s |      19 |  3640224 |   553882 |    23659     75 |      398 |      339
1287.15/1287.67	c 1287s |      19 |  3642048 |   554382 |    23659     75 |      398 |      339
1289.35/1289.86	c 1289s |      19 |  3643920 |   554882 |    23659     75 |      398 |      339
1291.35/1291.86	c 1291s |      19 |  3645456 |   555282 |    23659     75 |      398 |      339
1293.76/1294.25	c 1294s |      19 |  3646299 |   555682 |    23659     75 |      398 |      339
1296.06/1296.52	c 1296s |      19 |  3647440 |   556082 |    23659     75 |      398 |      339
1298.06/1298.56	c 1298s |      19 |  3649352 |   556682 |    23659     76 |      398 |      339
1300.25/1300.77	c 1300s |      19 |  3652419 |   557482 |    23659     76 |      398 |      339
1302.45/1302.95	c 1302s |      19 |  3655488 |   558282 |    23659     76 |      398 |      339
1304.55/1305.09	c 1304s |      19 |  3657767 |   558982 |    23659     76 |      398 |      339
1306.75/1307.27	c 1307s |      19 |  3659595 |   559582 |    23659     76 |      398 |      339
1309.15/1309.60	c 1309s |      19 |  3661643 |   560182 |    23659     76 |      398 |      339
1311.45/1311.97	c 1311s |      19 |  3663816 |   560782 |    23659     77 |      398 |      339
1313.65/1314.10	c 1313s |      19 |  3668625 |   561782 |    23659     77 |      398 |      339
1315.65/1316.17	c 1315s |      19 |  3673268 |   562782 |    23659     77 |      398 |      339
1317.85/1318.34	c 1318s |      19 |  3677769 |   563982 |    23659     77 |      398 |      339
1320.05/1320.50	c 1320s |      19 |  3681924 |   565082 |    23659     78 |      398 |      339
1322.05/1322.53	c 1322s |      19 |  3687336 |   566282 |    23659     78 |      398 |      339
1324.05/1324.55	c 1324s |      19 |  3688845 |   566882 |    23659     78 |      398 |      339
1326.35/1326.89	c 1326s |      19 |  3691913 |   567582 |    23659     78 |      398 |      339
1328.45/1328.94	c 1328s |      19 |  3694357 |   568282 |    23659     79 |      398 |      339
1330.75/1331.20	c 1330s |      19 |  3695766 |   568782 |    23659     79 |      398 |      339
1333.05/1333.52	c 1333s |      19 |  3697300 |   569382 |    23659     79 |      398 |      339
1335.15/1335.64	c 1335s |      19 |  3702163 |   570482 |    23659     79 |      398 |      339
1337.26/1337.77	c 1337s |      19 |  3708099 |   571682 |    23659     80 |      398 |      339
1339.36/1339.85	c 1339s |      19 |  3713498 |   572782 |    23659     80 |      398 |      339
1341.35/1341.86	c 1341s |      19 |  3716113 |   573482 |    23659     80 |      398 |      339
1343.55/1344.09	c 1343s |      19 |  3718982 |   574382 |    23659     80 |      398 |      339
1345.65/1346.16	c 1345s |      19 |  3721449 |   575082 |    23659     81 |      398 |      339
1347.85/1348.30	c 1348s |      19 |  3725835 |   576382 |    23659     81 |      398 |      339
1349.85/1350.32	c 1350s |      19 |  3730557 |   577382 |    23659     81 |      398 |      339
1352.05/1352.50	c 1352s |      19 |  3733492 |   578182 |    23659     81 |      398 |      339
1354.05/1354.53	c 1354s |      19 |  3737329 |   579082 |    23659     82 |      398 |      339
1356.65/1357.10	c 1356s |      19 |  3740370 |   579982 |    23659     82 |      398 |      339
1358.85/1359.32	c 1359s |      19 |  3742686 |   580682 |    23659     82 |      398 |      339
1360.95/1361.44	c 1361s |      19 |  3744894 |   581182 |    23659     82 |      398 |      339
1363.25/1363.71	c 1363s |      19 |  3747194 |   581882 |    23659     82 |      398 |      339
1365.45/1365.94	c 1365s |      19 |  3748414 |   582282 |    23659     83 |      398 |      339
1367.65/1368.11	c 1367s |      19 |  3753955 |   583582 |    23659     83 |      398 |      339
1369.84/1370.34	c 1370s |      19 |  3756524 |   584482 |    23659     83 |      398 |      339
1371.94/1372.40	c 1372s |      19 |  3757658 |   584982 |    23659     83 |      398 |      339
1373.94/1374.49	c 1374s |      19 |  3760441 |   585682 |    23659     84 |      398 |      339
1376.14/1376.60	c 1376s |      19 |  3763553 |   586682 |    23659     84 |      398 |      339
1378.14/1378.65	c 1378s |      19 |  3766799 |   587482 |    23659     84 |      398 |      339
1380.34/1380.86	c 1380s |      19 |  3768934 |   588182 |    23659     84 |      398 |      339
1382.64/1383.11	c 1382s |      19 |  3772937 |   589182 |    23659     85 |      398 |      339
1384.74/1385.21	c 1384s |      19 |  3778268 |   590282 |    23659     85 |      398 |      339
1386.75/1387.26	c 1387s |      19 |  3781123 |   590982 |    23659     85 |      398 |      339
1388.85/1389.32	c 1389s |      19 |  3784982 |   591882 |    23659     85 |      398 |      339
1390.94/1391.50	c 1391s |      19 |  3790247 |   593282 |    23659     86 |      398 |      339
1393.25/1393.77	c 1393s |      19 |  3795057 |   594082 |    23659     86 |      398 |      339
1395.24/1395.77	c 1395s |      19 |  3796787 |   594682 |    23659     86 |      398 |      339
1397.34/1397.83	c 1397s |      19 |  3799344 |   595382 |    23659     87 |      398 |      339
1399.44/1399.96	c 1399s |      19 |  3803957 |   596582 |    23659     87 |      398 |      339
1401.64/1402.11	c 1401s |      19 |  3806821 |   597382 |    23659     87 |      398 |      339
1403.74/1404.29	c 1404s |      19 |  3812477 |   598582 |    23659     88 |      398 |      339
1405.94/1406.44	c 1406s |      19 |  3816042 |   599582 |    23659     88 |      398 |      339
1408.04/1408.58	c 1408s |      19 |  3818315 |   600282 |    23659     88 |      398 |      339
1410.14/1410.60	c 1410s |      19 |  3826259 |   601482 |    23659     89 |      398 |      339
1412.74/1413.20	c 1412s |      19 |  3831343 |   602282 |    23659     89 |      398 |      339
1414.74/1415.23	c 1415s |      19 |  3834638 |   603282 |    23659     89 |      398 |      339
1416.73/1417.27	c 1417s |      19 |  3836348 |   603882 |    23659     90 |      398 |      339
1418.83/1419.33	c 1419s |      19 |  3838618 |   604582 |    23659     90 |      398 |      339
1421.13/1421.66	c 1421s |      19 |  3842175 |   605582 |    23659     90 |      398 |      339
1423.43/1423.95	c 1423s |      19 |  3843244 |   606082 |    23659     90 |      398 |      339
1425.53/1426.09	c 1425s |      19 |  3847060 |   606982 |    23659     91 |      398 |      339
1427.73/1428.22	c 1427s |      19 |  3849881 |   607882 |    23659     91 |      398 |      339
1429.83/1430.31	c 1430s |      19 |  3853673 |   608882 |    23659     91 |      398 |      339
1431.93/1432.50	c 1432s |      19 |  3857489 |   609882 |    23659     92 |      398 |      339
1434.04/1434.55	c 1434s |      19 |  3863129 |   611182 |    23659     92 |      398 |      339
1436.24/1436.73	c 1436s |      19 |  3872808 |   612782 |    23659     93 |      398 |      339
1438.34/1438.90	c 1438s |      19 |  3876632 |   613882 |    23659     93 |      398 |      339
1440.43/1440.99	c 1440s |      19 |  3880197 |   614882 |    23659     94 |      398 |      339
1442.63/1443.20	c 1442s |      19 |  3886775 |   616282 |    23659     94 |      398 |      339
1444.73/1445.20	c 1444s |      19 |  3891009 |   617082 |    23659     94 |      398 |      339
1446.83/1447.31	c 1447s |      19 |  3895888 |   618282 |    23659     95 |      398 |      339
1448.83/1449.36	c 1449s |      19 |  3899321 |   619182 |    23659     95 |      398 |      339
1450.93/1451.45	c 1451s |      19 |  3901377 |   619882 |    23659     95 |      398 |      339
1453.13/1453.64	c 1453s |      19 |  3905342 |   620782 |    23659     96 |      398 |      339
1455.33/1455.84	c 1455s |      19 |  3907408 |   621582 |    23659     96 |      398 |      339
1457.43/1457.90	c 1457s |      19 |  3911331 |   622882 |    23659     97 |      398 |      339
1459.53/1460.00	c 1459s |      19 |  3916262 |   624082 |    23659     97 |      398 |      339
1461.54/1462.04	c 1461s |      19 |  3921449 |   625282 |    23659     98 |      398 |      339
1463.64/1464.19	c 1463s |      19 |  3926254 |   626582 |    23659     98 |      398 |      339
1465.73/1466.29	c 1466s |      19 |  3928869 |   627382 |    23659     98 |      398 |      339
1467.93/1468.41	c 1468s |      19 |  3932222 |   628282 |    23659     99 |      398 |      339
1470.24/1470.76	c 1470s |      19 |  3934613 |   629082 |    23659     99 |      398 |      339
1472.33/1472.84	c 1472s |      19 |  3938811 |   629982 |    23659    100 |      398 |      339
1474.43/1474.91	c 1474s |      19 |  3943456 |   631082 |    23659    100 |      398 |      339
1476.43/1476.99	c 1476s |      19 |  3946463 |   631982 |    23659    100 |      398 |      339
1478.53/1479.06	c 1478s |      19 |  3950857 |   632982 |    23659    101 |      398 |      339
1480.63/1481.16	c 1480s |      19 |  3954975 |   634182 |    23659    101 |      398 |      339
1482.83/1483.30	c 1483s |      19 |  3959395 |   635382 |    23659    102 |      398 |      339
1484.93/1485.43	c 1485s |      19 |  3962470 |   636282 |    23659    102 |      398 |      339
1486.93/1487.46	c 1487s |      19 |  3966121 |   637382 |    23659    103 |      398 |      339
1488.93/1489.50	c 1489s |      19 |  3969305 |   638282 |    23659    103 |      398 |      339
1491.03/1491.53	c 1491s |      19 |  3973086 |   639382 |    23659    104 |      398 |      339
1493.13/1493.66	c 1493s |      19 |  3976449 |   640282 |    23659    104 |      398 |      339
1495.22/1495.79	c 1495s |      19 |  3980084 |   641282 |    23659    105 |      398 |      339
1497.42/1497.95	c 1497s |      19 |  3982648 |   642182 |    23659    105 |      398 |      339
1499.52/1500.01	c 1499s |      19 |  3987222 |   643382 |    23659    106 |      398 |      339
1501.82/1502.33	c 1502s |      19 |  3990628 |   644282 |    23659    107 |      398 |      339
1503.92/1504.44	c 1504s |      19 |  3994317 |   645182 |    23659    107 |      398 |      339
1506.12/1506.63	c 1506s |      19 |  3996777 |   645982 |    23659    107 |      398 |      339
1508.32/1508.83	c 1508s |      19 |  4001854 |   647182 |    23659    108 |      398 |      339
1510.42/1510.92	c 1510s |      19 |  4005124 |   648082 |    23659    109 |      398 |      339
1512.42/1512.92	c 1512s |      19 |  4011097 |   649382 |    23659    109 |      398 |      339
1514.52/1515.02	c 1514s |      19 |  4016398 |   650582 |    23659    110 |      398 |      339
1516.53/1517.03	c 1516s |      19 |  4019739 |   651482 |    23659    110 |      398 |      339
1518.63/1519.14	c 1518s |      19 |  4024042 |   652582 |    23659    111 |      398 |      339
1520.62/1521.14	c 1520s |      19 |  4028345 |   653582 |    23659    112 |      398 |      339
1522.82/1523.34	c 1523s |      19 |  4033967 |   654582 |    23659    112 |      398 |      339
1524.92/1525.44	c 1525s |      19 |  4039034 |   655582 |    23659    113 |      398 |      339
1526.92/1527.49	c 1527s |      19 |  4042553 |   656582 |    23659    113 |      398 |      339
1529.52/1530.04	c 1529s |      19 |  4044267 |   657182 |    23659    113 |      398 |      339
1531.61/1532.14	c 1531s |      19 |  4048948 |   657982 |    23659    114 |      398 |      339
1533.81/1534.39	c 1534s |      19 |  4052216 |   658782 |    23659    114 |      398 |      339
1536.01/1536.51	c 1536s |      19 |  4053180 |   659182 |    23659    114 |      398 |      339
1538.42/1538.98	c 1538s |      19 |  4054061 |   659582 |    23659    114 |      398 |      339
1540.51/1541.08	c 1540s |      19 |  4061191 |   660782 |    23659    115 |      398 |      339
1542.61/1543.10	c 1542s |      19 |  4065332 |   661482 |    23659    115 |      398 |      339
1544.81/1545.31	c 1545s |      19 |  4071250 |   662682 |    26025    116 |      398 |      339
1547.01/1547.54	c 1547s |      19 |  4075917 |   663682 |    26025    116 |      398 |      339
1549.31/1549.86	c 1549s |      19 |  4077764 |   664382 |    26025    116 |      398 |      339
1551.73/1552.21	c 1551s |      19 |  4079153 |   664982 |    26025    116 |      398 |      339
1553.72/1554.27	c 1554s |      19 |  4083002 |   665782 |    26025    117 |      398 |      339
1555.82/1556.37	c 1556s |      19 |  4085367 |   666582 |    26025    117 |      398 |      339
1556.42/1556.99	c 1556s |      20 |  4086268 |   666827 |    26025    117 |      398 |      339
1558.42/1558.99	c 1558s |      20 |  4099181 |   668127 |    26025    118 |      398 |      339
1560.52/1561.02	c 1560s |      20 |  4104907 |   668927 |    26025    118 |      398 |      339
1562.82/1563.32	c 1563s |      20 |  4106419 |   669327 |    26025    118 |      398 |      339
1564.82/1565.38	c 1565s |      20 |  4113089 |   670327 |    26025    119 |      398 |      339
1567.32/1567.80	c 1567s |      20 |  4118266 |   671227 |    26025    119 |      398 |      339
1569.32/1569.82	c 1569s |      20 |  4123621 |   672027 |    26025    119 |      398 |      339
1571.82/1572.30	c 1572s |      20 |  4125746 |   672527 |    26025    119 |      398 |      339
1574.61/1575.13	c 1574s |      20 |  4126732 |   672827 |    26025    119 |      398 |      339
1576.61/1577.14	c 1576s |      20 |  4127755 |   673127 |    26025    119 |      398 |      339
1578.71/1579.23	c 1579s |      20 |  4132744 |   674227 |    26025    120 |      398 |      339
1580.71/1581.28	c 1581s |      20 |  4138527 |   675427 |    26025    120 |      398 |      339
1582.81/1583.30	c 1583s |      20 |  4143649 |   676427 |    26025    120 |      398 |      339
1584.91/1585.41	c 1585s |      20 |  4147231 |   677227 |    26025    120 |      398 |      339
1587.01/1587.57	c 1587s |      20 |  4152009 |   678027 |    26025    120 |      398 |      339
1589.21/1589.70	c 1589s |      20 |  4155681 |   679127 |    26025    121 |      398 |      339
1591.22/1591.75	c 1591s |      20 |  4158100 |   680027 |    26025    121 |      398 |      339
1593.31/1593.90	c 1593s |      20 |  4159896 |   680727 |    26025    121 |      398 |      339
1595.51/1596.04	c 1595s |      20 |  4161895 |   681427 |    26025    121 |      398 |      339
1597.51/1598.04	c 1597s |      20 |  4165267 |   682227 |    26025    122 |      398 |      339
1599.71/1600.24	c 1600s |      20 |  4169979 |   683427 |    26025    122 |      398 |      339
1601.81/1602.36	c 1602s |      20 |  4173730 |   684327 |    26025    122 |      398 |      339
1603.81/1604.36	c 1604s |      20 |  4177500 |   685127 |    26025    123 |      398 |      339
1606.01/1606.55	c 1606s |      20 |  4187898 |   686427 |    26025    123 |      398 |      339
1608.01/1608.59	c 1608s |      20 |  4192600 |   687127 |    26025    123 |      398 |      339
1610.31/1610.84	c 1610s |      20 |  4197062 |   687927 |    26025    123 |      398 |      339
1612.31/1612.85	c 1612s |      20 |  4207687 |   689127 |    26025    124 |      398 |      339
1614.41/1614.91	c 1614s |      20 |  4209379 |   689727 |    26025    124 |      398 |      339
1616.51/1617.08	c 1616s |      20 |  4211461 |   690327 |    26025    124 |      398 |      339
1619.30/1619.83	c 1619s |      20 |  4212324 |   690727 |    26025    124 |      398 |      339
1621.70/1622.28	c 1622s |      20 |  4214509 |   691227 |    26025    124 |      398 |      339
1623.80/1624.34	c 1624s |      20 |  4221793 |   692127 |    26025    125 |      398 |      339
1625.90/1626.47	c 1626s |      20 |  4229142 |   693427 |    26025    125 |      398 |      339
1628.00/1628.50	c 1628s |      20 |  4236011 |   694427 |    26025    126 |      398 |      339
1630.00/1630.57	c 1630s |      20 |  4243683 |   695727 |    26025    126 |      398 |      339
1632.30/1632.84	c 1632s |      20 |  4246981 |   696527 |    26025    126 |      398 |      339
1634.30/1634.84	c 1634s |      20 |  4250398 |   697227 |    26025    126 |      398 |      339
1636.80/1637.34	c 1637s |      20 |  4257196 |   698227 |    26025    127 |      398 |      339
1638.90/1639.40	c 1639s |      20 |  4262978 |   699227 |    26025    127 |      398 |      339
1640.90/1641.45	c 1641s |      20 |  4265880 |   700027 |    26025    127 |      398 |      339
1643.01/1643.52	c 1643s |      20 |  4271232 |   700827 |    26025    128 |      398 |      339
1645.00/1645.54	c 1645s |      20 |  4275660 |   701727 |    26025    128 |      398 |      339
1647.20/1647.72	c 1647s |      20 |  4280074 |   702627 |    26025    128 |      398 |      339
1649.40/1649.95	c 1649s |      20 |  4282096 |   703227 |    26025    128 |      398 |      339
1651.40/1651.98	c 1651s |      20 |  4283774 |   703727 |    26025    129 |      398 |      339
1653.60/1654.19	c 1653s |      20 |  4287239 |   704627 |    26025    129 |      398 |      339
1655.70/1656.21	c 1655s |      20 |  4290855 |   705427 |    26025    129 |      398 |      339
1657.80/1658.35	c 1658s |      20 |  4298729 |   706427 |    26025    130 |      398 |      339
1659.80/1660.37	c 1660s |      20 |  4302234 |   707127 |    26025    130 |      398 |      339
1661.90/1662.44	c 1662s |      20 |  4304626 |   707727 |    26025    130 |      398 |      339
1664.00/1664.52	c 1664s |      20 |  4305728 |   708127 |    26025    130 |      398 |      339
1666.10/1666.68	c 1666s |      20 |  4306593 |   708427 |    26025    131 |      398 |      339
1668.50/1669.04	c 1668s |      20 |  4311407 |   709427 |    26025    131 |      398 |      339
1670.60/1671.19	c 1670s |      20 |  4314218 |   710027 |    26025    131 |      398 |      339
1672.79/1673.33	c 1673s |      20 |  4316396 |   710627 |    26025    131 |      398 |      339
1674.80/1675.35	c 1675s |      20 |  4319133 |   711127 |    26025    132 |      398 |      339
1677.19/1677.75	c 1677s |      20 |  4322990 |   712127 |    26025    132 |      398 |      339
1679.20/1679.77	c 1679s |      20 |  4325167 |   712727 |    26025    132 |      398 |      339
1681.50/1682.03	c 1681s |      20 |  4327139 |   713327 |    26025    133 |      398 |      339
1683.60/1684.14	c 1683s |      20 |  4330974 |   714127 |    26025    133 |      398 |      339
1685.80/1686.33	c 1686s |      20 |  4334230 |   714927 |    26025    133 |      398 |      339
1688.00/1688.55	c 1688s |      20 |  4335819 |   715427 |    26025    134 |      398 |      339
1690.49/1691.07	c 1690s |      20 |  4339241 |   716327 |    26025    134 |      398 |      339
1692.59/1693.14	c 1692s |      20 |  4341382 |   717127 |    26025    134 |      398 |      339
1694.79/1695.31	c 1695s |      20 |  4345002 |   718127 |    26025    135 |      398 |      339
1696.80/1697.34	c 1697s |      20 |  4347346 |   718627 |    26025    135 |      398 |      339
1699.10/1699.69	c 1699s |      20 |  4349568 |   719127 |    26025    135 |      398 |      339
1701.30/1701.86	c 1701s |      20 |  4353306 |   720027 |    26025    136 |      398 |      339
1703.69/1704.20	c 1703s |      20 |  4355409 |   720727 |    26025    136 |      398 |      339
1705.89/1706.44	c 1706s |      20 |  4357761 |   721427 |    26025    137 |      398 |      339
1707.89/1708.46	c 1708s |      20 |  4359970 |   722127 |    26025    137 |      398 |      339
1710.09/1710.64	c 1710s |      20 |  4361297 |   722527 |    26025    137 |      398 |      339
1712.09/1712.70	c 1712s |      20 |  4365653 |   723427 |    26025    138 |      398 |      339
1714.69/1715.23	c 1715s |      20 |  4369021 |   724127 |    26025    138 |      398 |      339
1716.69/1717.24	c 1717s |      20 |  4372736 |   724827 |    26025    139 |      398 |      339
1718.89/1719.45	c 1719s |      20 |  4374772 |   725427 |    26025    139 |      398 |      339
1721.19/1721.79	c 1721s |      20 |  4379323 |   726227 |    26025    139 |      398 |      339
1723.39/1723.94	c 1723s |      20 |  4384292 |   727227 |    26025    140 |      398 |      339
1725.40/1725.98	c 1725s |      20 |  4386601 |   727927 |    26025    140 |      398 |      339
1727.60/1728.14	c 1727s |      20 |  4389678 |   728827 |    26025    141 |      398 |      339
1729.59/1730.19	c 1729s |      20 |  4394273 |   729627 |    26025    142 |      398 |      339
1731.69/1732.26	c 1732s |      20 |  4397750 |   730627 |    26025    142 |      398 |      339
1733.89/1734.40	c 1734s |      20 |  4401264 |   731527 |    26025    143 |      398 |      339
1735.89/1736.48	c 1736s |      20 |  4404353 |   732327 |    26025    143 |      398 |      339
1737.99/1738.59	c 1738s |      20 |  4408261 |   733227 |    26025    144 |      398 |      339
1740.19/1740.71	c 1740s |      20 |  4412885 |   733927 |    26025    145 |      398 |      339
1742.19/1742.75	c 1742s |      20 |  4415129 |   734627 |    26025    145 |      398 |      339
1744.39/1744.93	c 1744s |      20 |  4417201 |   735227 |    26025    145 |      398 |      339
1746.69/1747.25	c 1747s |      20 |  4421730 |   736227 |    26025    146 |      398 |      339
1748.79/1749.32	c 1749s |      20 |  4423882 |   736827 |    26025    147 |      398 |      339
1750.99/1751.59	c 1751s |      20 |  4427523 |   737627 |    26025    147 |      398 |      339
1753.19/1753.77	c 1753s |      20 |  4429634 |   738227 |    26025    147 |      398 |      339
1755.38/1755.92	c 1755s |      20 |  4432859 |   739027 |    26025    148 |      398 |      339
1757.58/1758.15	c 1757s |      20 |  4435327 |   739827 |    26025    148 |      398 |      339
1759.78/1760.32	c 1760s |      20 |  4438564 |   740727 |    26025    149 |      398 |      339
1761.79/1762.35	c 1762s |      20 |  4440534 |   741427 |    26025    150 |      398 |      339
1763.99/1764.55	c 1764s |      20 |  4443429 |   742227 |    26025    150 |      398 |      339
1766.19/1766.72	c 1766s |      20 |  4446788 |   742927 |    26025    151 |      398 |      339
1768.29/1768.80	c 1768s |      20 |  4448640 |   743527 |    26025    151 |      398 |      339
1770.29/1770.84	c 1770s |      20 |  4451244 |   744227 |    26025    151 |      398 |      339
1772.59/1773.17	c 1772s |      20 |  4457342 |   745127 |    26025    152 |      398 |      339
1774.68/1775.23	c 1775s |      20 |  4460977 |   745927 |    26025    153 |      398 |      339
1776.78/1777.36	c 1777s |      20 |  4464252 |   746727 |    26025    153 |      398 |      339
1778.78/1779.36	c 1779s |      20 |  4468458 |   747327 |    26025    154 |      398 |      339
1781.18/1781.78	c 1781s |      20 |  4472773 |   748327 |    26025    154 |      398 |      339
1783.48/1784.03	c 1783s |      20 |  4475086 |   748927 |    26025    154 |      398 |      339
1785.68/1786.23	c 1786s |      20 |  4479587 |   749727 |    26025    155 |      398 |      339
1788.08/1788.61	c 1788s |      20 |  4482759 |   750527 |    26025    155 |      398 |      339
1790.08/1790.69	c 1790s |      20 |  4485565 |   751327 |    26025    156 |      398 |      339
1792.38/1792.93	c 1792s |      20 |  4489217 |   752227 |    26025    157 |      398 |      339
1794.38/1794.99	c 1794s |      20 |  4492176 |   752927 |    26025    157 |      398 |      339
1796.58/1797.10	c 1796s |      20 |  4495474 |   753827 |    26025    158 |      398 |      339
1798.58/1799.11	c 1798s |      20 |  4497699 |   754527 |    26025    159 |      398 |      339

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-4078935-1465282713/watcher-4078935-1465282713 -o /tmp/evaluation-result-4078935-1465282713/solver-4078935-1465282713 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5800 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078935-1465282713.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.18 2.17 3/179 10004
/proc/meminfo: memFree=29247016/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=684476 CPUtime=0 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 2544 0 0 0 0 0 0 0 20 0 4 0 110204459 700903424 2904 33554432000 4194304 16246674 140735181836640 140735181836064 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 171631 2912 441 2943 0 168525 0
[pid=10004/tid=10005] ppid=10001 vsize=700860 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 717680640 2972 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=705980 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 722923520 2992 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=710076 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 727117824 3006 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100138 s]
/proc/loadavg: 2.22 2.18 2.17 3/179 10004
/proc/meminfo: memFree=29247016/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 26405 0 0 0 5 4 0 0 20 0 4 0 110204459 1332285440 26704 33554432000 4194304 16246674 140735181836640 140735181819632 5703736 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 325265 26717 807 2943 0 322159 0
[pid=10004/tid=10005] ppid=10001 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1332285440 26729 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1332285440 26740 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1332285440 26750 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200509 s]
/proc/loadavg: 2.22 2.18 2.17 3/179 10004
/proc/meminfo: memFree=29247016/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 45427 0 0 0 12 7 0 0 20 0 4 0 110204459 1332285440 45725 33554432000 4194304 16246674 140735181836640 140735181819632 5583980 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 325265 45725 833 2943 0 322159 0
[pid=10004/tid=10005] ppid=10001 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1332285440 45725 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1332285440 45725 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1332285440 45725 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300507 s]
/proc/loadavg: 2.22 2.18 2.17 3/179 10004
/proc/meminfo: memFree=29247016/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 54967 0 0 0 21 8 0 0 20 0 4 0 110204459 1332285440 55265 33554432000 4194304 16246674 140735181836640 140735181819632 13191638 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 325265 55281 875 2943 0 322159 0
[pid=10004/tid=10005] ppid=10001 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1332285440 55291 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1332285440 55297 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1332285440 55302 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700418 s]
/proc/loadavg: 2.22 2.18 2.17 3/179 10004
/proc/meminfo: memFree=29247016/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1302084 CPUtime=0.69 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 137259 0 0 0 51 18 0 0 20 0 4 0 110204459 1333334016 137557 33554432000 4194304 16246674 140735181836640 140735181819632 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 325521 137565 875 2943 0 322415 0
[pid=10004/tid=10005] ppid=10001 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1333334016 137570 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1333334016 137574 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1333334016 137579 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50043 s]
/proc/loadavg: 2.20 2.18 2.17 3/183 10008
/proc/meminfo: memFree=28308200/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1309252 CPUtime=1.49 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 268440 0 0 0 115 34 0 0 20 0 4 0 110204459 1340674048 268738 33554432000 4194304 16246674 140735181836640 140735181835952 5546160 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 327313 268738 881 2943 0 324207 0
[pid=10004/tid=10005] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268738 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268738 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268738 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1309252

[startup+3.10041 s]
/proc/loadavg: 2.20 2.18 2.17 3/183 10008
/proc/meminfo: memFree=28172420/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1309252 CPUtime=3.09 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 268496 0 0 0 275 34 0 0 20 0 4 0 110204459 1340674048 268794 33554432000 4194304 16246674 140735181836640 140735181818560 5663411 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 327313 268794 884 2943 0 324207 0
[pid=10004/tid=10005] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268794 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268794 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268794 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1309252

[startup+6.30043 s]
/proc/loadavg: 2.20 2.18 2.17 3/183 10008
/proc/meminfo: memFree=28172016/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1309252 CPUtime=6.29 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 268496 0 0 0 595 34 0 0 20 0 4 0 110204459 1340674048 268794 33554432000 4194304 16246674 140735181836640 140735181818496 5677844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 327313 268794 884 2943 0 324207 0
[pid=10004/tid=10005] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268794 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268794 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268794 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.25 2.19 2.18 3/183 10008
/proc/meminfo: memFree=28171940/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1309252 CPUtime=12.69 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 268496 0 0 0 1235 34 0 0 20 0 4 0 110204459 1340674048 268794 33554432000 4194304 16246674 140735181836640 140735181818560 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 327313 268794 884 2943 0 324207 0
[pid=10004/tid=10005] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268794 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268794 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268794 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.21 2.18 2.17 3/183 10008
/proc/meminfo: memFree=28172196/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1309252 CPUtime=25.49 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 268497 0 0 0 2515 34 0 0 20 0 4 0 110204459 1340674048 268795 33554432000 4194304 16246674 140735181836640 140735181818560 5822548 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 327313 268795 885 2943 0 324207 0
[pid=10004/tid=10005] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268795 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268795 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268795 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1309252

[startup+51.1004 s]
/proc/loadavg: 2.21 2.18 2.17 3/183 10008
/proc/meminfo: memFree=28172324/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1309252 CPUtime=51.08 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 268497 0 0 0 5074 34 0 0 20 0 4 0 110204459 1340674048 268795 33554432000 4194304 16246674 140735181836640 140735181818560 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 327313 268795 885 2943 0 324207 0
[pid=10004/tid=10005] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268795 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268795 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268795 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.301 s]
/proc/loadavg: 2.19 2.18 2.17 3/184 10012
/proc/meminfo: memFree=28171476/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1309252 CPUtime=102.28 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 268497 0 0 0 10194 34 0 0 20 0 4 0 110204459 1340674048 268795 33554432000 4194304 16246674 140735181836640 140735181818560 12483624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 327313 268795 885 2943 0 324207 0
[pid=10004/tid=10005] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268795 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268795 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1340674048 268795 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1312324

[startup+1302.3 s]
/proc/loadavg: 2.36 2.23 2.19 4/184 10114
/proc/meminfo: memFree=28272024/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1312324 CPUtime=1301.85 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 269426 0 0 0 130128 57 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 140735181818560 5676067 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 328081 269576 885 2943 0 324975 0
[pid=10004/tid=10005] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1312324

[startup+1362.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/183 10115
/proc/meminfo: memFree=28271748/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1312324 CPUtime=1361.85 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 269426 0 0 0 136127 58 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 140735181818560 12483423 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 328081 269576 885 2943 0 324975 0
[pid=10004/tid=10005] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1312324

[startup+1422.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 10116
/proc/meminfo: memFree=28271628/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1312324 CPUtime=1421.84 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 269426 0 0 0 142126 58 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 140735181818560 12478754 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 328081 269576 885 2943 0 324975 0
[pid=10004/tid=10005] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1312324

[startup+1482.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/183 10118
/proc/meminfo: memFree=28271632/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1312324 CPUtime=1481.83 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 269426 0 0 0 148124 59 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 140735181818560 6010595 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 328081 269576 885 2943 0 324975 0
[pid=10004/tid=10005] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1312324

[startup+1542.31 s]
/proc/loadavg: 2.22 2.21 2.18 3/183 10119
/proc/meminfo: memFree=28271348/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1312324 CPUtime=1541.82 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 269426 0 0 0 154123 59 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 140735181818560 5721677 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 328081 269576 885 2943 0 324975 0
[pid=10004/tid=10005] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1312324

[startup+1602.3 s]
/proc/loadavg: 2.24 2.21 2.18 3/183 10120
/proc/meminfo: memFree=28269580/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1312324 CPUtime=1601.81 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 269426 0 0 0 160121 60 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 140735181818560 13907056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 328081 269576 885 2943 0 324975 0
[pid=10004/tid=10005] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1312324

[startup+1662.3 s]
/proc/loadavg: 2.43 2.26 2.20 4/183 10121
/proc/meminfo: memFree=28269212/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1312324 CPUtime=1661.8 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 269426 0 0 0 166120 60 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 140735181818560 12483391 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 328081 269576 885 2943 0 324975 0
[pid=10004/tid=10005] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1312324

[startup+1722.3 s]
/proc/loadavg: 2.43 2.29 2.21 3/183 10122
/proc/meminfo: memFree=28269092/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1312324 CPUtime=1721.79 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 269426 0 0 0 172119 60 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 140735181818560 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 328081 269576 885 2943 0 324975 0
[pid=10004/tid=10005] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1312324

[startup+1782.3 s]
/proc/loadavg: 2.36 2.29 2.21 3/183 10124
/proc/meminfo: memFree=28268592/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1312324 CPUtime=1781.78 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 269426 0 0 0 178116 62 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 140735181835816 5754801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 328081 269576 885 2943 0 324975 0
[pid=10004/tid=10005] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1312324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.36 2.30 2.21 3/183 10124
/proc/meminfo: memFree=28269164/32872528 swapFree=16252/1391864
[pid=10004] ppid=10001 vsize=1312324 CPUtime=1800.08 cores=1,3,5,7
/proc/10004/stat : 10004 (toysat) R 10001 10004 5783 0 -1 4202496 269426 0 0 0 179945 63 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 140735181818560 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10004/statm: 328081 269576 885 2943 0 324975 0
[pid=10004/tid=10005] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10005/stat : 10005 (toysat) S 10001 10004 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746817846512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10004/tid=10006] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10006/stat : 10006 (toysat) S 10001 10004 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746807356656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10004/tid=10007] ppid=10001 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10004/task/10007/stat : 10007 (toysat) S 10001 10004 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110204459 1343819776 269576 33554432000 4194304 16246674 140735181836640 139746693082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1312324

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.46
CPU system time (s): 0.635903
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.635903
maximum resident set size= 1078304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269426
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= 419
involuntary context switches= 1960

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53331 second user time and 6.99694 second system time

The end

Begin job on node119 at 2016-06-07 08:58:33
IDJOB=4078935
IDBENCH=90123
IDSOLVER=2542
FILE ID=node119/4078935-1465282713
RUNJOBID= node119-1465252213-5800
PBS_JOBID= 19843259
Free space on /tmp= 71700 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K84.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078935-1465282713/watcher-4078935-1465282713 -o /tmp/evaluation-result-4078935-1465282713/solver-4078935-1465282713 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5800 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078935-1465282713.opb

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

MD5SUM BENCH= 895769e6300bec8b48d22e126916d397
RANDOM SEED=1975676314

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
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	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
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:        29247404 kB
Buffers:          129180 kB
Cached:           201956 kB
SwapCached:          576 kB
Active:          1319292 kB
Inactive:         178816 kB
Active(anon):    1165056 kB
Inactive(anon):     4188 kB
Active(file):     154236 kB
Inactive(file):   174628 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100180 kB
Dirty:             16720 kB
Writeback:             0 kB
AnonPages:       2603148 kB
Mapped:            10964 kB
Shmem:                 0 kB
Slab:             600784 kB
SReclaimable:      44880 kB
SUnreclaim:       555904 kB
KernelStack:        1520 kB
PageTables:         9372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2701928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2560000 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 node119 at 2016-06-07 09:28:34