0.00/0.00	c 2016-06-07T09:15:25+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-4078946-1465283724.opb"]
0.00/0.01	c use --random-gen="3190757119 1508993730 691962498 1850500418 3567817280 2628663346 1361173980 3713972055 3018669358 1648636545 1937741452 349588552 2352930684 2354160883 1725262439 3155192585 2988642422 2412287071 2843538906 983924528 3643947152 3216239666 4015765460 2257758729 3057611987 2246052096 602531833 1889502883 2007240426 2474828269 837752103 882996702 3601643133 629677837 542135445 195968327 2738004805 1625866743 1371516016 1817451778 3575526550 3868075123 4276052572 1281566897 3140657779 699046514 861531495 2182216326 859515517 958337270 648054532 1766476610 2385254241 2812952439 4276719287 3278240777 3477989817 3826501719 4040290201 2650681018 126389673 1572971925 2139285288 3742272696 103978871 637402634 1124311732 1409850525 1648076703 3156260874 2292269219 3540978290 1306500791 863470484 3109418866 1271149664 3158575928 1560132530 2909297724 3164919052 196416237 252726001 605215293 897634431 795712597 1267728720 1195947749 1984311404 4158642140 447031570 839227139 2678778939 118625040 3991528354 3777870640 354616573 1072090395 3156105444 2886279385 31847800 107183868 4106340461 1138240970 1163587870 2219107954 2092409916 2448184141 3670690554 4249185062 2534910138 3660050846 712188250 799111865 2604791902 3147350178 3139874287 991675208 984135374 3019312949 3116835018 3947150911 1575173886 3676776141 2236766705 1208769634 1668913935 3461425315 1147409070 3586585755 1503412905 727105530 477575658 2709626458 3409221679 2314237801 2223969988 131472265 3770279161 1478505498 2956054944 1703706448 435573897 960513169 187275433 841174418 725452982 980858420 2259253412 1110352354 3111386138 35409969 1070471334 930778802 2531918551 99351147 953513108 2867388222 719105138 1637057720 4274753976 2840962333 553739490 4250199105 3969272168 1335112890 3934468287 4162558782 4143385750 1556440674 3316836476 4053787852 199739338 1441099176 2827541076 3513017580 1238822337 1510159669 3318873256 549236703 1041733942 1104060731 3064100097 1989472878 2334725474 986490686 1539619457 3796431504 2958930162 1202609581 2506790376 3283319711 413581737 1980721113 3544293075 464911677 3930795760 122589433 1194988299 3565183702 2368293313 2696891432 3751376345 1778559723 4189266525 1432586563 433759116 86677498 1315025831 3553389410 1367433332 3690715645 2170623126 1748833704 3788142577 636431042 478524696 4266074638 2646553217 1987225314 1734674172 1569662543 2207769409 1926204250 23533451 2705974801 1588446471 3630343164 3724047623 161134611 545056058 3303899668 1285346178 2981344083 1637401782 2816785385 4258379548 2705233337 428931327 3864527011 2996881881 955306573 1587246257 3640518330 2061595042 2648444898 392455056 792090934 785880651 1882354222 3146856910 2202996209 281519284 80527189 866524974 2624968117 1342358782 255 362436" option to reproduce the execution
0.09/0.11	c #vars 6460
0.09/0.11	c #constraints 6652
0.18/0.24	c Solving starts ...
0.18/0.24	c ============================[ Search Statistics ]============================
0.18/0.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.24	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.24	c =============================================================================
0.18/0.24	c  0.0s |       0 |        0 |        0 |     4370      0 |      362 |        0
0.39/0.40	c  0.2s |       1 |     3129 |      100 |     4370      0 |      363 |      304
0.59/0.61	c  0.4s |       2 |     4809 |      250 |     4807      0 |      363 |      304
0.78/0.87	c  0.6s |       3 |     7143 |      475 |     5288      0 |      363 |      304
1.28/1.36	c  1.1s |       4 |    13902 |      813 |     5817      0 |      364 |      305
1.78/1.86	c  1.6s |       5 |    21631 |     1320 |     6399      0 |      364 |      305
2.38/2.46	c  2.2s |       6 |    34651 |     2081 |     7743      0 |      364 |      305
3.69/3.73	c  3.5s |       7 |    49076 |     3223 |     8518      0 |      365 |      306
5.79/5.84	c  5.6s |       7 |    66063 |     4923 |     9370      0 |      367 |      308
5.79/5.85	c  5.6s |       8 |    66159 |     4936 |     9370      0 |      367 |      308
8.08/8.11	c  7.9s |       8 |    72976 |     5936 |     9370      0 |      368 |      309
10.08/10.17	c  9.9s |       8 |    96168 |     7336 |     9370      0 |      373 |      314
10.28/10.34	c 10.1s |       9 |    98051 |     7506 |    10307      0 |      373 |      314
12.38/12.43	c 12.2s |       9 |   113504 |     8806 |    10307      0 |      373 |      314
14.48/14.53	c 14.3s |       9 |   131645 |    10106 |    10307      0 |      373 |      314
16.49/16.56	c 16.3s |       9 |   141435 |    11306 |    11338      0 |      373 |      314
16.59/16.70	c 16.5s |      10 |   141533 |    11361 |    11338      0 |      373 |      314
18.79/18.83	c 18.6s |      10 |   147433 |    12161 |    11338      0 |      373 |      314
20.99/21.03	c 20.8s |      10 |   151405 |    12961 |    11338      0 |      373 |      314
23.09/23.18	c 22.9s |      10 |   156941 |    13961 |    11338      0 |      373 |      314
25.48/25.54	c 25.3s |      10 |   161256 |    14961 |    11338      0 |      373 |      314
27.58/27.65	c 27.4s |      10 |   164251 |    15561 |    11338      1 |      373 |      314
29.88/29.93	c 29.7s |      10 |   168893 |    16561 |    11338      1 |      373 |      314
31.88/31.92	c 31.7s |      11 |   171350 |    17144 |    12472      1 |      373 |      314
33.88/33.98	c 33.7s |      11 |   191381 |    18044 |    12472      1 |      376 |      317
35.88/35.98	c 35.7s |      11 |   210773 |    19544 |    12472      1 |      376 |      317
37.97/38.07	c 37.8s |      11 |   220259 |    20644 |    12472      1 |      377 |      318
40.27/40.35	c 40.1s |      11 |   223595 |    21644 |    12472      1 |      377 |      318
42.37/42.40	c 42.2s |      11 |   231677 |    22444 |    12472      2 |      377 |      318
44.37/44.40	c 44.2s |      11 |   250094 |    23744 |    12472      2 |      377 |      318
46.37/46.45	c 46.2s |      11 |   264379 |    25344 |    12472      2 |      377 |      318
47.28/47.36	c 47.1s |      12 |   267733 |    25819 |    13720      2 |      377 |      318
49.27/49.37	c 49.1s |      12 |   286620 |    27219 |    13720      2 |      377 |      318
51.37/51.42	c 51.2s |      12 |   307994 |    28519 |    13720      2 |      377 |      318
53.37/53.49	c 53.3s |      12 |   331096 |    29719 |    13720      3 |      378 |      319
55.47/55.50	c 55.3s |      12 |   334135 |    30419 |    13720      3 |      378 |      319
57.47/57.56	c 57.3s |      12 |   347142 |    31519 |    13720      3 |      379 |      320
59.77/59.89	c 59.7s |      12 |   349520 |    32219 |    13720      3 |      379 |      320
61.97/62.04	c 61.8s |      12 |   351344 |    32719 |    13720      3 |      379 |      320
64.06/64.12	c 63.9s |      12 |   359780 |    33719 |    13720      3 |      380 |      321
66.07/66.17	c 65.9s |      12 |   378696 |    35219 |    13720      3 |      380 |      321
68.17/68.22	c 68.0s |      12 |   397612 |    36319 |    13720      3 |      382 |      323
70.26/70.40	c 70.2s |      12 |   400279 |    37319 |    13720      3 |      382 |      323
72.46/72.59	c 72.4s |      12 |   407129 |    38519 |    13720      4 |      382 |      323
73.77/73.83	c 73.6s |      13 |   408744 |    38832 |    15093      4 |      382 |      323
75.76/75.86	c 75.6s |      13 |   428737 |    40132 |    15093      4 |      382 |      323
77.86/77.90	c 77.7s |      13 |   446424 |    41432 |    15093      4 |      383 |      324
79.87/79.98	c 79.7s |      13 |   450513 |    42232 |    15093      4 |      383 |      324
81.97/82.01	c 81.8s |      13 |   472245 |    43632 |    15093      4 |      384 |      325
83.97/84.05	c 83.8s |      13 |   485187 |    44932 |    15093      4 |      385 |      326
85.97/86.06	c 85.8s |      13 |   498540 |    46132 |    15093      4 |      385 |      326
88.08/88.12	c 87.9s |      13 |   509936 |    47132 |    15093      5 |      386 |      327
90.37/90.43	c 90.2s |      13 |   512340 |    47832 |    15093      5 |      386 |      327
92.38/92.50	c 92.3s |      13 |   520079 |    48732 |    15093      5 |      386 |      327
94.46/94.53	c 94.3s |      13 |   524577 |    49532 |    15093      5 |      386 |      327
96.56/96.64	c 96.4s |      13 |   529180 |    50332 |    15093      5 |      386 |      327
98.76/98.89	c 98.7s |      13 |   535011 |    50932 |    15093      5 |      386 |      327
100.86/100.92	c  100s |      13 |   536366 |    51432 |    15093      5 |      386 |      327
102.86/102.98	c  102s |      13 |   538285 |    51932 |    15093      5 |      386 |      327
105.16/105.23	c  104s |      13 |   543929 |    52932 |    15093      5 |      386 |      327
107.26/107.32	c  107s |      13 |   550825 |    53632 |    15093      5 |      386 |      327
109.26/109.36	c  109s |      13 |   557620 |    54532 |    15093      5 |      386 |      327
111.76/111.86	c  111s |      13 |   559690 |    55132 |    15093      5 |      386 |      327
113.95/114.07	c  113s |      13 |   562558 |    55632 |    15093      6 |      386 |      327
116.15/116.23	c  115s |      13 |   565352 |    56432 |    15093      6 |      386 |      327
118.35/118.42	c  118s |      13 |   570334 |    57332 |    15093      6 |      386 |      327
120.55/120.60	c  120s |      13 |   573282 |    58032 |    16603      6 |      386 |      327
121.95/122.10	c  121s |      14 |   574312 |    58352 |    16603      6 |      386 |      327
124.05/124.17	c  123s |      14 |   588567 |    59452 |    16603      6 |      386 |      327
126.35/126.40	c  126s |      14 |   604082 |    60652 |    16603      6 |      386 |      327
128.35/128.44	c  128s |      14 |   611955 |    61552 |    16603      6 |      386 |      327
130.55/130.66	c  130s |      14 |   620427 |    62452 |    16603      6 |      386 |      327
132.65/132.80	c  132s |      14 |   626858 |    63452 |    16603      6 |      386 |      327
134.75/134.80	c  134s |      14 |   633138 |    64352 |    16603      6 |      386 |      327
137.05/137.10	c  136s |      14 |   637119 |    65152 |    16603      6 |      386 |      327
139.05/139.10	c  138s |      14 |   637849 |    65452 |    16603      6 |      386 |      327
141.15/141.23	c  140s |      14 |   638628 |    65752 |    16603      6 |      386 |      327
144.15/144.28	c  144s |      14 |   639594 |    66052 |    16603      6 |      386 |      327
146.25/146.33	c  146s |      14 |   643253 |    66652 |    16603      7 |      386 |      327
148.35/148.44	c  148s |      14 |   654645 |    67752 |    16603      7 |      387 |      328
150.35/150.49	c  150s |      14 |   664481 |    68952 |    16603      7 |      387 |      328
152.45/152.56	c  152s |      14 |   683798 |    70152 |    16603      7 |      388 |      329
154.55/154.65	c  154s |      14 |   689602 |    71052 |    16603      7 |      388 |      329
156.55/156.68	c  156s |      14 |   696494 |    72152 |    16603      7 |      388 |      329
158.65/158.78	c  158s |      14 |   712613 |    73552 |    16603      7 |      388 |      329
161.05/161.16	c  160s |      14 |   736080 |    74852 |    16603      8 |      388 |      329
163.15/163.20	c  162s |      14 |   751886 |    75952 |    16603      8 |      388 |      329
165.35/165.40	c  165s |      14 |   763524 |    77152 |    16603      8 |      388 |      329
167.35/167.44	c  167s |      14 |   764549 |    77452 |    16603      8 |      388 |      329
169.55/169.69	c  169s |      14 |   765663 |    77752 |    16603      8 |      388 |      329
172.45/172.57	c  172s |      14 |   766548 |    78052 |    16603      8 |      388 |      329
174.55/174.63	c  174s |      14 |   767398 |    78352 |    16603      8 |      388 |      329
176.75/176.87	c  176s |      14 |   769665 |    78752 |    16603      8 |      388 |      329
179.15/179.26	c  179s |      14 |   772146 |    79252 |    16603      8 |      388 |      329
182.04/182.13	c  181s |      14 |   773587 |    79652 |    16603      8 |      388 |      329
184.94/185.03	c  184s |      14 |   774406 |    79952 |    16603      8 |      388 |      329
187.64/187.70	c  187s |      14 |   775022 |    80252 |    16603      8 |      388 |      329
189.74/189.87	c  189s |      14 |   776190 |    80552 |    16603      8 |      388 |      329
192.34/192.41	c  192s |      14 |   780129 |    81152 |    16603      8 |      388 |      329
194.64/194.70	c  194s |      14 |   780980 |    81452 |    16603      8 |      388 |      329
196.74/196.82	c  196s |      14 |   782597 |    81752 |    16603      8 |      388 |      329
198.94/199.06	c  198s |      14 |   783134 |    81952 |    16603      8 |      388 |      329
201.74/201.81	c  201s |      14 |   783646 |    82152 |    16603      8 |      388 |      329
204.74/204.81	c  204s |      14 |   784124 |    82352 |    16603      8 |      388 |      329
206.74/206.85	c  206s |      14 |   788063 |    83052 |    16603      8 |      388 |      329
208.94/209.01	c  208s |      14 |   795653 |    84252 |    16603      8 |      388 |      329
211.04/211.15	c  210s |      14 |   799762 |    85252 |    16603      8 |      388 |      329
213.54/213.69	c  213s |      14 |   806911 |    86252 |    16603      9 |      388 |      329
215.64/215.72	c  215s |      14 |   813287 |    87252 |    18264      9 |      388 |      329
216.13/216.25	c  216s |      15 |   818263 |    87632 |    18264      9 |      388 |      329
218.23/218.35	c  218s |      15 |   839193 |    88932 |    18264      9 |      389 |      330
220.43/220.55	c  220s |      15 |   849715 |    90232 |    18264      9 |      389 |      330
222.43/222.57	c  222s |      15 |   851206 |    90732 |    18264      9 |      389 |      330
224.44/224.58	c  224s |      15 |   855030 |    91332 |    18264      9 |      389 |      330
226.54/226.63	c  226s |      15 |   870025 |    92632 |    18264      9 |      389 |      330
228.63/228.73	c  228s |      15 |   884675 |    94132 |    18264      9 |      389 |      330
230.83/230.90	c  230s |      15 |   894839 |    95332 |    18264      9 |      389 |      330
232.93/233.04	c  232s |      15 |   900479 |    96132 |    18264     10 |      389 |      330
235.04/235.11	c  234s |      15 |   923431 |    97632 |    18264     10 |      389 |      330
237.04/237.11	c  236s |      15 |   938674 |    98932 |    18264     10 |      390 |      331
239.04/239.15	c  238s |      15 |   941248 |    99932 |    18264     10 |      390 |      331
241.14/241.23	c  240s |      15 |   943397 |   100732 |    18264     10 |      390 |      331
243.14/243.25	c  243s |      15 |   955989 |   101732 |    18264     10 |      390 |      331
245.24/245.39	c  245s |      15 |   971496 |   103032 |    18264     10 |      390 |      331
247.34/247.45	c  247s |      15 |   974544 |   103632 |    18264     10 |      390 |      331
249.54/249.63	c  249s |      15 |   978663 |   104332 |    18264     10 |      390 |      331
251.63/251.73	c  251s |      15 |   991576 |   105332 |    18264     11 |      390 |      331
253.63/253.79	c  253s |      15 |  1007329 |   106732 |    18264     11 |      390 |      331
255.83/255.97	c  255s |      15 |  1023889 |   108232 |    18264     11 |      390 |      331
258.03/258.12	c  257s |      15 |  1040717 |   109532 |    18264     11 |      391 |      332
260.03/260.15	c  259s |      15 |  1054703 |   110832 |    18264     11 |      391 |      332
262.13/262.21	c  261s |      15 |  1067521 |   112132 |    18264     11 |      391 |      332
264.13/264.24	c  264s |      15 |  1074879 |   113032 |    18264     11 |      391 |      332
266.24/266.37	c  266s |      15 |  1080707 |   113932 |    18264     11 |      391 |      332
268.23/268.40	c  268s |      15 |  1084049 |   114632 |    18264     11 |      391 |      332
270.43/270.55	c  270s |      15 |  1088764 |   115332 |    18264     11 |      391 |      332
272.53/272.66	c  272s |      15 |  1093152 |   116132 |    18264     11 |      391 |      332
274.83/274.95	c  274s |      15 |  1097542 |   116932 |    18264     12 |      391 |      332
277.32/277.42	c  277s |      15 |  1105165 |   117932 |    18264     12 |      391 |      332
279.62/279.77	c  279s |      15 |  1106409 |   118332 |    18264     12 |      391 |      332
281.82/281.90	c  281s |      15 |  1110045 |   119132 |    18264     12 |      391 |      332
283.83/283.96	c  283s |      15 |  1114941 |   119832 |    18264     12 |      391 |      332
286.03/286.11	c  285s |      15 |  1116261 |   120232 |    18264     12 |      391 |      332
288.43/288.52	c  288s |      15 |  1117057 |   120532 |    18264     12 |      391 |      332
290.62/290.72	c  290s |      15 |  1121118 |   121032 |    18264     12 |      391 |      332
292.72/292.87	c  292s |      15 |  1125399 |   121732 |    18264     12 |      391 |      332
295.02/295.14	c  294s |      15 |  1127871 |   122332 |    18264     12 |      391 |      332
297.32/297.45	c  297s |      15 |  1129329 |   122832 |    18264     12 |      391 |      332
299.52/299.68	c  299s |      15 |  1130767 |   123332 |    18264     12 |      391 |      332
302.02/302.12	c  301s |      15 |  1131503 |   123632 |    18264     12 |      391 |      332
304.82/304.98	c  304s |      15 |  1132445 |   124032 |    18264     12 |      391 |      332
306.92/307.03	c  306s |      15 |  1133856 |   124432 |    18264     12 |      391 |      332
308.91/309.05	c  308s |      15 |  1134589 |   124632 |    18264     12 |      391 |      332
311.32/311.41	c  311s |      15 |  1135093 |   124832 |    18264     12 |      391 |      332
313.43/313.56	c  313s |      15 |  1136158 |   125132 |    18264     12 |      391 |      332
315.92/316.01	c  315s |      15 |  1138166 |   125632 |    18264     12 |      391 |      332
318.12/318.20	c  317s |      15 |  1140066 |   126032 |    18264     12 |      391 |      332
320.42/320.55	c  320s |      15 |  1140825 |   126332 |    18264     12 |      391 |      332
323.22/323.30	c  323s |      15 |  1143646 |   126832 |    18264     13 |      391 |      332
325.22/325.35	c  325s |      15 |  1148931 |   127532 |    18264     13 |      391 |      332
327.52/327.66	c  327s |      15 |  1151116 |   128032 |    18264     13 |      391 |      332
329.61/329.78	c  329s |      15 |  1154148 |   128532 |    18264     13 |      391 |      332
332.41/332.51	c  332s |      15 |  1156417 |   129032 |    18264     13 |      391 |      332
334.91/335.02	c  334s |      15 |  1158748 |   129532 |    18264     13 |      391 |      332
337.41/337.53	c  337s |      15 |  1160815 |   130032 |    18264     13 |      391 |      332
339.71/339.85	c  339s |      15 |  1163029 |   130532 |    18264     13 |      391 |      332
342.31/342.41	c  342s |      15 |  1164074 |   130932 |    20091     13 |      391 |      332
344.51/344.62	c  344s |      15 |  1167122 |   131432 |    20091     13 |      391 |      332
344.81/345.00	c  344s |      16 |  1167522 |   131552 |    20091     13 |      391 |      332
347.01/347.12	c  346s |      16 |  1180009 |   132552 |    20091     13 |      391 |      332
349.01/349.15	c  348s |      16 |  1194748 |   133852 |    20091     13 |      391 |      332
351.01/351.15	c  350s |      16 |  1212132 |   135052 |    20091     13 |      391 |      332
353.12/353.25	c  353s |      16 |  1225357 |   135952 |    20091     13 |      391 |      332
355.11/355.25	c  355s |      16 |  1235279 |   136852 |    20091     13 |      391 |      332
357.11/357.29	c  357s |      16 |  1248216 |   137652 |    20091     13 |      391 |      332
359.31/359.41	c  359s |      16 |  1260401 |   138452 |    20091     14 |      391 |      332
361.40/361.53	c  361s |      16 |  1272918 |   139552 |    20091     14 |      391 |      332
363.50/363.68	c  363s |      16 |  1279195 |   140552 |    20091     14 |      391 |      332
365.60/365.71	c  365s |      16 |  1285451 |   141652 |    20091     14 |      391 |      332
367.70/367.83	c  367s |      16 |  1294033 |   142552 |    20091     14 |      391 |      332
369.80/369.91	c  369s |      16 |  1299694 |   143252 |    20091     14 |      391 |      332
372.00/372.11	c  371s |      16 |  1310121 |   144152 |    20091     14 |      391 |      332
374.01/374.17	c  373s |      16 |  1318140 |   145252 |    20091     14 |      391 |      332
376.30/376.45	c  376s |      16 |  1325605 |   146252 |    20091     14 |      391 |      332
378.41/378.51	c  378s |      16 |  1327865 |   146952 |    20091     14 |      391 |      332
380.81/380.93	c  380s |      16 |  1329898 |   147652 |    20091     14 |      391 |      332
383.11/383.20	c  382s |      16 |  1332070 |   148252 |    20091     14 |      391 |      332
385.41/385.58	c  385s |      16 |  1334200 |   148852 |    20091     14 |      391 |      332
388.21/388.39	c  388s |      16 |  1335454 |   149352 |    20091     14 |      391 |      332
390.31/390.49	c  390s |      16 |  1348525 |   150352 |    20091     15 |      391 |      332
392.41/392.59	c  392s |      16 |  1365892 |   151852 |    20091     15 |      391 |      332
394.51/394.65	c  394s |      16 |  1371958 |   152952 |    20091     15 |      391 |      332
396.70/396.88	c  396s |      16 |  1375688 |   153752 |    20091     15 |      391 |      332
398.90/399.02	c  398s |      16 |  1381397 |   154752 |    20091     15 |      391 |      332
401.00/401.18	c  400s |      16 |  1382619 |   155252 |    20091     15 |      391 |      332
403.30/403.41	c  403s |      16 |  1385148 |   156152 |    20091     15 |      391 |      332
405.40/405.55	c  405s |      16 |  1387622 |   156852 |    20091     15 |      391 |      332
407.90/408.03	c  407s |      16 |  1390454 |   157652 |    20091     15 |      391 |      332
410.00/410.19	c  409s |      16 |  1391764 |   158152 |    20091     15 |      391 |      332
412.41/412.57	c  412s |      16 |  1393160 |   158652 |    20091     15 |      391 |      332
414.90/415.02	c  414s |      16 |  1394212 |   159052 |    20091     15 |      391 |      332
417.00/417.13	c  416s |      16 |  1395785 |   159552 |    20091     15 |      391 |      332
419.49/419.64	c  419s |      16 |  1397042 |   160052 |    20091     15 |      391 |      332
421.59/421.73	c  421s |      16 |  1399926 |   160452 |    20091     16 |      391 |      332
423.59/423.79	c  423s |      16 |  1413776 |   161752 |    20091     16 |      391 |      332
425.79/425.90	c  425s |      16 |  1433732 |   163052 |    20091     16 |      391 |      332
427.90/428.01	c  427s |      16 |  1445023 |   164252 |    20091     16 |      391 |      332
430.00/430.15	c  429s |      16 |  1446838 |   164752 |    20091     16 |      391 |      332
432.09/432.26	c  432s |      16 |  1468338 |   166152 |    20091     16 |      391 |      332
434.20/434.32	c  434s |      16 |  1480815 |   167152 |    20091     16 |      391 |      332
436.20/436.38	c  436s |      16 |  1491175 |   168152 |    20091     16 |      391 |      332
438.30/438.42	c  438s |      16 |  1501838 |   169152 |    20091     16 |      391 |      332
440.40/440.57	c  440s |      16 |  1519531 |   170352 |    20091     16 |      391 |      332
442.59/442.76	c  442s |      16 |  1532990 |   171352 |    20091     17 |      391 |      332
444.69/444.80	c  444s |      16 |  1543086 |   172452 |    20091     17 |      391 |      332
446.69/446.81	c  446s |      16 |  1545235 |   173152 |    20091     17 |      391 |      332
448.80/448.95	c  448s |      16 |  1550932 |   174152 |    20091     17 |      391 |      332
451.09/451.28	c  451s |      16 |  1552899 |   174752 |    20091     17 |      391 |      332
453.29/453.49	c  453s |      16 |  1554337 |   175152 |    20091     17 |      391 |      332
455.29/455.50	c  455s |      16 |  1555418 |   175552 |    20091     17 |      391 |      332
457.79/457.92	c  457s |      16 |  1557391 |   176152 |    20091     17 |      391 |      332
460.19/460.38	c  460s |      16 |  1559253 |   176552 |    20091     17 |      391 |      332
462.38/462.51	c  462s |      16 |  1559900 |   176852 |    20091     17 |      391 |      332
464.98/465.13	c  464s |      16 |  1561409 |   177252 |    20091     17 |      391 |      332
467.18/467.32	c  467s |      16 |  1586361 |   178452 |    20091     17 |      391 |      332
469.28/469.46	c  469s |      16 |  1599451 |   179752 |    20091     17 |      391 |      332
471.38/471.57	c  471s |      16 |  1610951 |   180552 |    20091     17 |      391 |      332
473.58/473.72	c  473s |      16 |  1620615 |   181552 |    20091     17 |      391 |      332
475.58/475.72	c  475s |      16 |  1632048 |   182452 |    20091     18 |      391 |      332
477.58/477.73	c  477s |      16 |  1652356 |   183752 |    20091     18 |      391 |      332
479.59/479.75	c  479s |      16 |  1662676 |   185052 |    20091     18 |      391 |      332
481.58/481.78	c  481s |      16 |  1672558 |   186152 |    20091     18 |      391 |      332
483.68/483.87	c  483s |      16 |  1685696 |   187352 |    20091     18 |      391 |      332
485.78/485.91	c  485s |      16 |  1696774 |   188252 |    20091     18 |      391 |      332
487.78/487.97	c  487s |      16 |  1708122 |   189152 |    20091     18 |      391 |      332
489.88/490.07	c  489s |      16 |  1724850 |   190352 |    20091     18 |      391 |      332
491.98/492.15	c  491s |      16 |  1726268 |   190852 |    20091     18 |      391 |      332
494.58/494.74	c  494s |      16 |  1727360 |   191252 |    20091     18 |      391 |      332
496.88/497.02	c  496s |      16 |  1729473 |   191752 |    20091     18 |      391 |      332
499.18/499.30	c  499s |      16 |  1730321 |   192052 |    20091     18 |      391 |      332
501.78/501.95	c  501s |      16 |  1731759 |   192452 |    20091     18 |      391 |      332
504.58/504.71	c  504s |      16 |  1732456 |   192752 |    20091     18 |      391 |      332
507.37/507.60	c  507s |      16 |  1733255 |   193052 |    20091     18 |      391 |      332
509.87/510.02	c  509s |      16 |  1733626 |   193252 |    20091     18 |      391 |      332
512.58/512.77	c  512s |      16 |  1734853 |   193652 |    20091     18 |      391 |      332
515.57/515.74	c  515s |      16 |  1735221 |   193852 |    20091     18 |      391 |      332
517.67/517.87	c  517s |      16 |  1748819 |   194752 |    20091     19 |      391 |      332
519.77/519.91	c  519s |      16 |  1761814 |   195852 |    20091     19 |      391 |      332
521.87/522.02	c  521s |      16 |  1764243 |   196552 |    22101     19 |      391 |      332
524.17/524.32	c  524s |      16 |  1766022 |   197152 |    22101     19 |      391 |      332
525.17/525.37	c  525s |      17 |  1767088 |   197432 |    22101     19 |      391 |      332
527.17/527.37	c  527s |      17 |  1783363 |   198832 |    22101     19 |      391 |      332
529.17/529.39	c  529s |      17 |  1804347 |   200232 |    22101     19 |      391 |      332
531.47/531.66	c  531s |      17 |  1818244 |   201432 |    22101     19 |      391 |      332
533.67/533.88	c  533s |      17 |  1821071 |   202032 |    22101     19 |      391 |      332
535.77/535.98	c  535s |      17 |  1837066 |   203432 |    22101     19 |      391 |      332
537.88/538.05	c  537s |      17 |  1851468 |   204532 |    22101     19 |      391 |      332
539.86/540.05	c  539s |      17 |  1862883 |   205532 |    22101     19 |      391 |      332
541.96/542.10	c  541s |      17 |  1881652 |   206932 |    22101     20 |      391 |      332
543.96/544.15	c  543s |      17 |  1903555 |   208432 |    22101     20 |      391 |      332
546.06/546.24	c  546s |      17 |  1924399 |   209832 |    22101     20 |      391 |      332
548.26/548.42	c  548s |      17 |  1930942 |   210732 |    22101     20 |      391 |      332
550.36/550.59	c  550s |      17 |  1937214 |   211932 |    22101     20 |      391 |      332
552.56/552.76	c  552s |      17 |  1940218 |   212732 |    22101     20 |      391 |      332
554.76/554.96	c  554s |      17 |  1945577 |   213332 |    22101     20 |      391 |      332
556.96/557.10	c  556s |      17 |  1949194 |   213832 |    22101     20 |      391 |      332
559.06/559.21	c  558s |      17 |  1961494 |   215232 |    22101     20 |      391 |      332
561.06/561.28	c  561s |      17 |  1973099 |   216432 |    22101     20 |      391 |      332
563.46/563.66	c  563s |      17 |  1981731 |   217532 |    22101     21 |      391 |      332
565.66/565.81	c  565s |      17 |  1985824 |   218432 |    22101     21 |      391 |      332
567.76/567.93	c  567s |      17 |  1997758 |   219732 |    22101     21 |      391 |      332
569.96/570.13	c  569s |      17 |  2013984 |   221232 |    22101     21 |      391 |      332
571.96/572.15	c  571s |      17 |  2017208 |   222032 |    22101     21 |      391 |      332
574.25/574.40	c  574s |      17 |  2019734 |   222832 |    22101     21 |      391 |      332
576.36/576.55	c  576s |      17 |  2021213 |   223332 |    22101     21 |      391 |      332
578.66/578.89	c  578s |      17 |  2022638 |   223832 |    22101     21 |      391 |      332
580.76/580.99	c  580s |      17 |  2024390 |   224332 |    22101     21 |      391 |      332
583.25/583.48	c  583s |      17 |  2025835 |   224832 |    22101     21 |      391 |      332
585.45/585.68	c  585s |      17 |  2026873 |   225232 |    22101     21 |      391 |      332
587.95/588.17	c  587s |      17 |  2027810 |   225632 |    22101     21 |      391 |      332
590.15/590.31	c  590s |      17 |  2028697 |   226032 |    22101     21 |      391 |      332
592.35/592.53	c  592s |      17 |  2030474 |   226532 |    22101     21 |      391 |      332
594.64/594.85	c  594s |      17 |  2033268 |   227232 |    22101     21 |      391 |      332
596.84/597.07	c  596s |      17 |  2034738 |   227832 |    22101     21 |      391 |      332
599.24/599.45	c  599s |      17 |  2035725 |   228332 |    22101     21 |      391 |      332
601.74/601.92	c  601s |      17 |  2037383 |   228932 |    22101     21 |      391 |      332
603.94/604.11	c  603s |      17 |  2038869 |   229532 |    22101     21 |      391 |      332
606.35/606.58	c  606s |      17 |  2040149 |   230032 |    22101     21 |      391 |      332
608.45/608.63	c  608s |      17 |  2041074 |   230432 |    22101     21 |      391 |      332
610.94/611.12	c  610s |      17 |  2041964 |   230932 |    22101     21 |      391 |      332
613.44/613.62	c  613s |      17 |  2042923 |   231432 |    22101     21 |      391 |      332
616.24/616.42	c  616s |      17 |  2043762 |   231832 |    22101     22 |      391 |      332
618.94/619.13	c  618s |      17 |  2045071 |   232332 |    22101     22 |      391 |      332
621.04/621.22	c  620s |      17 |  2046310 |   232832 |    22101     22 |      391 |      332
623.24/623.48	c  623s |      17 |  2046783 |   233132 |    22101     22 |      391 |      332
625.74/625.97	c  625s |      17 |  2047554 |   233532 |    22101     22 |      391 |      332
627.83/628.03	c  627s |      17 |  2048311 |   233832 |    22101     22 |      391 |      332
630.63/630.80	c  630s |      17 |  2048728 |   234132 |    22101     22 |      391 |      332
632.63/632.86	c  632s |      17 |  2059450 |   235232 |    22101     22 |      391 |      332
634.83/635.03	c  634s |      17 |  2076482 |   236732 |    22101     22 |      391 |      332
636.84/637.08	c  636s |      17 |  2084543 |   238032 |    22101     22 |      391 |      332
638.93/639.15	c  638s |      17 |  2086499 |   238732 |    22101     22 |      391 |      332
641.02/641.28	c  641s |      17 |  2088681 |   239432 |    22101     22 |      391 |      332
643.02/643.28	c  643s |      17 |  2089936 |   239932 |    22101     22 |      391 |      332
645.42/645.63	c  645s |      17 |  2093173 |   240932 |    22101     22 |      391 |      332
647.62/647.80	c  647s |      17 |  2094060 |   241332 |    22101     22 |      391 |      332
649.82/650.02	c  649s |      17 |  2095916 |   241932 |    22101     22 |      391 |      332
651.82/652.05	c  651s |      17 |  2098765 |   242532 |    22101     22 |      391 |      332
653.82/654.08	c  653s |      17 |  2104651 |   243432 |    22101     23 |      391 |      332
655.82/656.09	c  655s |      17 |  2112537 |   244532 |    22101     23 |      391 |      332
658.32/658.51	c  658s |      17 |  2124080 |   246032 |    22101     23 |      391 |      332
660.71/660.94	c  660s |      17 |  2125455 |   246632 |    22101     23 |      391 |      332
662.91/663.19	c  662s |      17 |  2131664 |   247632 |    22101     23 |      391 |      332
665.22/665.42	c  665s |      17 |  2136256 |   248532 |    22101     23 |      391 |      332
667.32/667.53	c  667s |      17 |  2141545 |   249532 |    22101     23 |      391 |      332
669.32/669.54	c  669s |      17 |  2144239 |   250132 |    22101     23 |      391 |      332
671.32/671.55	c  671s |      17 |  2147128 |   250832 |    22101     23 |      391 |      332
673.52/673.79	c  673s |      17 |  2149565 |   251432 |    22101     23 |      391 |      332
675.62/675.80	c  675s |      17 |  2153878 |   252132 |    22101     23 |      391 |      332
677.72/677.90	c  677s |      17 |  2157652 |   252932 |    22101     23 |      391 |      332
679.91/680.18	c  679s |      17 |  2159490 |   253332 |    22101     23 |      391 |      332
682.31/682.57	c  682s |      17 |  2160813 |   253732 |    22101     23 |      391 |      332
684.31/684.58	c  684s |      17 |  2165016 |   254232 |    22101     23 |      391 |      332
686.51/686.70	c  686s |      17 |  2167659 |   254732 |    22101     23 |      391 |      332
689.31/689.55	c  689s |      17 |  2169691 |   255232 |    22101     23 |      391 |      332
691.40/691.64	c  691s |      17 |  2170772 |   255632 |    22101     23 |      391 |      332
693.40/693.70	c  693s |      17 |  2173603 |   256132 |    22101     24 |      391 |      332
695.50/695.71	c  695s |      17 |  2176398 |   256732 |    22101     24 |      391 |      332
697.60/697.84	c  697s |      17 |  2177549 |   257232 |    22101     24 |      391 |      332
699.60/699.89	c  699s |      17 |  2179817 |   257732 |    22101     24 |      391 |      332
701.70/701.94	c  701s |      17 |  2183191 |   258432 |    22101     24 |      391 |      332
703.80/704.07	c  703s |      17 |  2185532 |   258932 |    22101     24 |      391 |      332
706.29/706.52	c  706s |      17 |  2188482 |   259632 |    22101     24 |      391 |      332
709.79/710.07	c  709s |      17 |  2190144 |   260032 |    22101     24 |      391 |      332
711.89/712.12	c  711s |      17 |  2193672 |   260632 |    22101     24 |      391 |      332
714.19/714.45	c  714s |      17 |  2195651 |   261232 |    22101     24 |      391 |      332
716.59/716.85	c  716s |      17 |  2197144 |   261632 |    22101     24 |      391 |      332
719.19/719.43	c  719s |      17 |  2198752 |   262032 |    22101     24 |      391 |      332
721.58/721.88	c  721s |      17 |  2200674 |   262432 |    22101     24 |      391 |      332
723.89/724.11	c  723s |      17 |  2202711 |   262932 |    22101     24 |      391 |      332
726.09/726.36	c  726s |      17 |  2204990 |   263432 |    22101     24 |      391 |      332
728.39/728.63	c  728s |      17 |  2206846 |   263932 |    22101     24 |      391 |      332
730.59/730.88	c  730s |      17 |  2208793 |   264332 |    22101     24 |      391 |      332
732.69/732.95	c  732s |      17 |  2209103 |   264532 |    22101     24 |      391 |      332
735.19/735.42	c  735s |      17 |  2210476 |   264932 |    22101     24 |      391 |      332
737.19/737.46	c  737s |      17 |  2217034 |   265832 |    22101     24 |      391 |      332
739.58/739.80	c  739s |      17 |  2221079 |   266532 |    22101     24 |      391 |      332
741.88/742.12	c  741s |      17 |  2222259 |   266932 |    22101     24 |      391 |      332
743.88/744.18	c  743s |      17 |  2224605 |   267532 |    22101     24 |      391 |      332
746.18/746.48	c  746s |      17 |  2226982 |   268132 |    22101     24 |      391 |      332
749.08/749.36	c  749s |      17 |  2229029 |   268632 |    22101     25 |      391 |      332
751.37/751.69	c  751s |      17 |  2231603 |   269232 |    22101     25 |      391 |      332
753.67/753.91	c  753s |      17 |  2234169 |   269832 |    22101     25 |      391 |      332
755.77/756.06	c  755s |      17 |  2235353 |   270232 |    22101     25 |      391 |      332
758.07/758.33	c  758s |      17 |  2236845 |   270632 |    22101     25 |      391 |      332
760.47/760.72	c  760s |      17 |  2237586 |   270932 |    22101     25 |      391 |      332
762.87/763.14	c  762s |      17 |  2238770 |   271332 |    22101     25 |      391 |      332
765.67/765.95	c  765s |      17 |  2240254 |   271632 |    22101     25 |      391 |      332
767.87/768.16	c  767s |      17 |  2240945 |   271932 |    22101     25 |      391 |      332
770.56/770.85	c  770s |      17 |  2241658 |   272232 |    22101     25 |      391 |      332
773.17/773.49	c  773s |      17 |  2242465 |   272532 |    22101     25 |      391 |      332
775.37/775.65	c  775s |      17 |  2242968 |   272732 |    22101     25 |      391 |      332
778.06/778.32	c  778s |      17 |  2243422 |   272932 |    22101     25 |      391 |      332
781.06/781.38	c  781s |      17 |  2244240 |   273232 |    22101     25 |      391 |      332
783.16/783.41	c  783s |      17 |  2244804 |   273432 |    22101     25 |      391 |      332
785.75/786.05	c  785s |      17 |  2245179 |   273632 |    22101     25 |      391 |      332
788.05/788.34	c  788s |      17 |  2245844 |   273832 |    22101     25 |      391 |      332
790.26/790.58	c  790s |      17 |  2247260 |   274132 |    22101     25 |      391 |      332
792.56/792.82	c  792s |      17 |  2251263 |   275032 |    22101     25 |      391 |      332
794.76/795.01	c  794s |      17 |  2256565 |   275632 |    22101     25 |      391 |      332
796.75/797.03	c  796s |      17 |  2260026 |   276332 |    22101     25 |      391 |      332
799.05/799.35	c  799s |      17 |  2261677 |   276832 |    22101     25 |      391 |      332
801.15/801.47	c  801s |      17 |  2262993 |   277232 |    22101     25 |      391 |      332
803.35/803.61	c  803s |      17 |  2265003 |   277832 |    22101     25 |      391 |      332
805.75/806.05	c  805s |      17 |  2265716 |   278132 |    22101     25 |      391 |      332
807.95/808.28	c  808s |      17 |  2266758 |   278432 |    22101     25 |      391 |      332
810.15/810.46	c  810s |      17 |  2268495 |   278832 |    22101     25 |      391 |      332
812.35/812.61	c  812s |      17 |  2270489 |   279432 |    22101     25 |      391 |      332
814.85/815.15	c  814s |      17 |  2272289 |   279932 |    22101     25 |      391 |      332
817.34/817.60	c  817s |      17 |  2273064 |   280232 |    22101     25 |      391 |      332
820.14/820.49	c  820s |      17 |  2274894 |   280532 |    22101     26 |      391 |      332
822.24/822.56	c  822s |      17 |  2283076 |   281732 |    22101     26 |      391 |      332
824.34/824.62	c  824s |      17 |  2290644 |   282832 |    22101     26 |      391 |      332
826.64/826.93	c  826s |      17 |  2293076 |   283632 |    22101     26 |      391 |      332
828.74/829.05	c  828s |      17 |  2297605 |   284532 |    22101     26 |      391 |      332
830.93/831.22	c  830s |      17 |  2299071 |   285132 |    22101     26 |      391 |      332
833.13/833.43	c  833s |      17 |  2300395 |   285632 |    22101     26 |      391 |      332
835.13/835.43	c  835s |      17 |  2302033 |   286032 |    22101     26 |      391 |      332
837.13/837.43	c  837s |      17 |  2302897 |   286332 |    22101     26 |      391 |      332
839.52/839.82	c  839s |      17 |  2304729 |   286832 |    22101     26 |      391 |      332
841.62/841.96	c  841s |      17 |  2305471 |   287132 |    22101     26 |      391 |      332
843.82/844.13	c  843s |      17 |  2306433 |   287532 |    22101     26 |      391 |      332
845.92/846.28	c  846s |      17 |  2307598 |   287932 |    22101     26 |      391 |      332
848.63/848.98	c  848s |      17 |  2309211 |   288432 |    22101     26 |      391 |      332
851.23/851.53	c  851s |      17 |  2309768 |   288732 |    22101     26 |      391 |      332
853.33/853.61	c  853s |      17 |  2310025 |   288932 |    22101     26 |      391 |      332
856.02/856.36	c  856s |      17 |  2311335 |   289332 |    22101     26 |      391 |      332
858.12/858.43	c  858s |      17 |  2311877 |   289532 |    22101     26 |      391 |      332
860.32/860.65	c  860s |      17 |  2312987 |   289832 |    22101     26 |      391 |      332
862.71/863.02	c  862s |      17 |  2313711 |   290132 |    22101     26 |      391 |      332
865.42/865.78	c  865s |      17 |  2314964 |   290532 |    22101     26 |      391 |      332
868.21/868.53	c  868s |      17 |  2315468 |   290832 |    22101     26 |      391 |      332
870.71/871.05	c  870s |      17 |  2316201 |   291132 |    22101     26 |      391 |      332
873.51/873.80	c  873s |      17 |  2316482 |   291332 |    22101     26 |      391 |      332
876.01/876.35	c  876s |      17 |  2316811 |   291532 |    22101     26 |      391 |      332
878.51/878.81	c  878s |      17 |  2317344 |   291732 |    22101     26 |      391 |      332
880.51/880.88	c  880s |      17 |  2330931 |   293032 |    22101     27 |      391 |      332
882.60/882.94	c  882s |      17 |  2346113 |   294932 |    24312     27 |      391 |      332
884.80/885.10	c  884s |      17 |  2349950 |   296232 |    24312     27 |      391 |      332
884.80/885.14	c  884s |      18 |  2350018 |   296252 |    24312     27 |      391 |      332
886.90/887.23	c  886s |      18 |  2360750 |   297552 |    24312     27 |      391 |      332
889.00/889.32	c  889s |      18 |  2383390 |   299252 |    24312     27 |      391 |      332
891.10/891.44	c  891s |      18 |  2390442 |   300452 |    24312     27 |      391 |      332
893.20/893.57	c  893s |      18 |  2404187 |   301552 |    24312     27 |      391 |      332
895.50/895.81	c  895s |      18 |  2413149 |   302652 |    24312     27 |      391 |      332
897.50/897.85	c  897s |      18 |  2430483 |   304052 |    24312     27 |      391 |      332
899.50/899.87	c  899s |      18 |  2447810 |   305352 |    24312     27 |      391 |      332
901.49/901.88	c  901s |      18 |  2455506 |   306452 |    24312     28 |      391 |      332
903.69/904.02	c  903s |      18 |  2468170 |   307952 |    24312     28 |      391 |      332
905.69/906.08	c  905s |      18 |  2472660 |   308852 |    24312     28 |      391 |      332
907.79/908.13	c  907s |      18 |  2476676 |   309752 |    24312     28 |      391 |      332
909.89/910.20	c  909s |      18 |  2478482 |   310252 |    24312     28 |      391 |      332
912.39/912.79	c  912s |      18 |  2479878 |   310752 |    24312     28 |      391 |      332
914.59/914.91	c  914s |      18 |  2485440 |   311652 |    24312     28 |      391 |      332
916.69/917.05	c  916s |      18 |  2492653 |   312952 |    24312     28 |      391 |      332
918.79/919.19	c  918s |      18 |  2497053 |   313952 |    24312     28 |      391 |      332
920.88/921.25	c  921s |      18 |  2498829 |   314552 |    24312     28 |      391 |      332
922.98/923.34	c  923s |      18 |  2500919 |   315052 |    24312     28 |      391 |      332
925.48/925.83	c  925s |      18 |  2502616 |   315652 |    24312     28 |      391 |      332
927.48/927.84	c  927s |      18 |  2504096 |   316052 |    24312     28 |      391 |      332
929.78/930.13	c  929s |      18 |  2506344 |   316752 |    24312     28 |      391 |      332
932.09/932.45	c  932s |      18 |  2507734 |   317252 |    24312     28 |      391 |      332
934.18/934.51	c  934s |      18 |  2509283 |   317752 |    24312     28 |      391 |      332
936.38/936.75	c  936s |      18 |  2510619 |   318152 |    24312     28 |      391 |      332
938.68/939.02	c  938s |      18 |  2512491 |   318752 |    24312     28 |      391 |      332
940.88/941.25	c  941s |      18 |  2514238 |   319252 |    24312     28 |      391 |      332
943.68/944.01	c  943s |      18 |  2515465 |   319752 |    24312     28 |      391 |      332
945.88/946.25	c  946s |      18 |  2518098 |   320252 |    24312     28 |      391 |      332
948.48/948.81	c  948s |      18 |  2519365 |   320652 |    24312     28 |      391 |      332
950.87/951.30	c  951s |      18 |  2520901 |   321052 |    24312     28 |      391 |      332
952.97/953.38	c  953s |      18 |  2521356 |   321252 |    24312     29 |      391 |      332
955.27/955.62	c  955s |      18 |  2522199 |   321552 |    24312     29 |      391 |      332
957.27/957.62	c  957s |      18 |  2524931 |   322152 |    24312     29 |      391 |      332
959.47/959.86	c  959s |      18 |  2526760 |   322652 |    24312     29 |      391 |      332
961.66/962.09	c  961s |      18 |  2529159 |   323152 |    24312     29 |      391 |      332
964.26/964.60	c  964s |      18 |  2531324 |   323752 |    24312     29 |      391 |      332
966.46/966.88	c  966s |      18 |  2532374 |   324152 |    24312     29 |      391 |      332
968.87/969.26	c  969s |      18 |  2534150 |   324652 |    24312     29 |      391 |      332
970.86/971.30	c  971s |      18 |  2535033 |   324952 |    24312     29 |      391 |      332
973.17/973.53	c  973s |      18 |  2536082 |   325252 |    24312     29 |      391 |      332
975.26/975.60	c  975s |      18 |  2537101 |   325652 |    24312     29 |      391 |      332
977.26/977.69	c  977s |      18 |  2541549 |   326552 |    24312     29 |      391 |      332
979.46/979.88	c  979s |      18 |  2544942 |   327252 |    24312     29 |      391 |      332
981.86/982.25	c  982s |      18 |  2547563 |   328052 |    24312     29 |      391 |      332
984.26/984.68	c  984s |      18 |  2549578 |   328652 |    24312     29 |      391 |      332
986.55/986.96	c  986s |      18 |  2553644 |   329452 |    24312     29 |      391 |      332
988.66/989.04	c  988s |      18 |  2557003 |   330252 |    24312     29 |      391 |      332
991.15/991.54	c  991s |      18 |  2558654 |   330652 |    24312     29 |      391 |      332
993.95/994.38	c  994s |      18 |  2560456 |   331052 |    24312     29 |      391 |      332
997.05/997.48	c  997s |      18 |  2562804 |   331552 |    24312     29 |      391 |      332
999.75/1000.15	c  999s |      18 |  2564542 |   332052 |    24312     29 |      391 |      332
1002.25/1002.61	c 1002s |      18 |  2566110 |   332552 |    24312     29 |      391 |      332
1004.35/1004.78	c 1004s |      18 |  2567171 |   332852 |    24312     29 |      391 |      332
1006.65/1007.02	c 1006s |      18 |  2568507 |   333252 |    24312     29 |      391 |      332
1008.75/1009.14	c 1008s |      18 |  2569008 |   333452 |    24312     29 |      391 |      332
1011.44/1011.81	c 1011s |      18 |  2570339 |   333752 |    24312     29 |      391 |      332
1013.54/1013.94	c 1013s |      18 |  2571799 |   334152 |    24312     29 |      391 |      332
1015.64/1016.06	c 1015s |      18 |  2573292 |   334652 |    24312     29 |      391 |      332
1018.04/1018.43	c 1018s |      18 |  2574493 |   335052 |    24312     29 |      391 |      332
1020.13/1020.57	c 1020s |      18 |  2576721 |   335552 |    24312     30 |      391 |      332
1022.83/1023.25	c 1023s |      18 |  2581123 |   336252 |    24312     30 |      391 |      332
1025.23/1025.65	c 1025s |      18 |  2584422 |   336852 |    24312     30 |      391 |      332
1027.54/1027.98	c 1027s |      18 |  2586695 |   337452 |    24312     30 |      391 |      332
1030.04/1030.44	c 1030s |      18 |  2588615 |   338052 |    24312     30 |      391 |      332
1032.24/1032.60	c 1032s |      18 |  2590432 |   338552 |    24312     30 |      391 |      332
1034.84/1035.23	c 1034s |      18 |  2591457 |   338952 |    24312     30 |      391 |      332
1037.73/1038.10	c 1037s |      18 |  2592417 |   339252 |    24312     30 |      391 |      332
1040.13/1040.50	c 1040s |      18 |  2593546 |   339652 |    24312     30 |      391 |      332
1042.33/1042.71	c 1042s |      18 |  2594731 |   339952 |    24312     30 |      391 |      332
1044.73/1045.13	c 1044s |      18 |  2596427 |   340452 |    24312     30 |      391 |      332
1047.03/1047.45	c 1047s |      18 |  2597316 |   340852 |    24312     30 |      391 |      332
1049.13/1049.56	c 1049s |      18 |  2597993 |   341152 |    24312     30 |      391 |      332
1051.33/1051.79	c 1051s |      18 |  2598361 |   341352 |    24312     30 |      391 |      332
1053.82/1054.25	c 1054s |      18 |  2598881 |   341652 |    24312     30 |      391 |      332
1056.62/1057.00	c 1056s |      18 |  2599430 |   341952 |    24312     30 |      391 |      332
1059.41/1059.81	c 1059s |      18 |  2600589 |   342352 |    24312     30 |      391 |      332
1062.23/1062.61	c 1062s |      18 |  2601290 |   342652 |    24312     30 |      391 |      332
1064.62/1065.03	c 1064s |      18 |  2602084 |   342952 |    24312     30 |      391 |      332
1066.82/1067.24	c 1067s |      18 |  2602447 |   343152 |    24312     30 |      391 |      332
1068.83/1069.30	c 1069s |      18 |  2604306 |   343652 |    24312     30 |      391 |      332
1071.02/1071.45	c 1071s |      18 |  2608250 |   344352 |    24312     30 |      391 |      332
1073.91/1074.30	c 1074s |      18 |  2610867 |   345152 |    24312     30 |      391 |      332
1075.91/1076.36	c 1076s |      18 |  2612623 |   345552 |    24312     30 |      391 |      332
1078.21/1078.69	c 1078s |      18 |  2614364 |   345952 |    24312     30 |      391 |      332
1080.50/1080.96	c 1080s |      18 |  2616107 |   346452 |    24312     30 |      391 |      332
1082.60/1083.04	c 1082s |      18 |  2618793 |   347052 |    24312     30 |      391 |      332
1084.90/1085.36	c 1085s |      18 |  2619924 |   347452 |    24312     30 |      391 |      332
1087.90/1088.37	c 1088s |      18 |  2621085 |   347852 |    24312     30 |      391 |      332
1089.99/1090.49	c 1090s |      18 |  2621736 |   348152 |    24312     30 |      391 |      332
1092.49/1092.91	c 1092s |      18 |  2622523 |   348452 |    24312     30 |      391 |      332
1094.89/1095.38	c 1095s |      18 |  2623817 |   348752 |    24312     30 |      391 |      332
1097.19/1097.62	c 1097s |      18 |  2624499 |   348952 |    24312     30 |      391 |      332
1100.08/1100.50	c 1100s |      18 |  2624854 |   349152 |    24312     30 |      391 |      332
1102.58/1103.08	c 1102s |      18 |  2625222 |   349352 |    24312     31 |      391 |      332
1104.89/1105.33	c 1105s |      18 |  2626391 |   349752 |    24312     31 |      391 |      332
1106.89/1107.37	c 1107s |      18 |  2627196 |   350052 |    24312     31 |      391 |      332
1108.99/1109.47	c 1109s |      18 |  2630910 |   350852 |    24312     31 |      391 |      332
1111.39/1111.81	c 1111s |      18 |  2635364 |   351752 |    24312     31 |      391 |      332
1114.18/1114.67	c 1114s |      18 |  2639920 |   352952 |    24312     31 |      391 |      332
1117.08/1117.53	c 1117s |      18 |  2641610 |   353452 |    24312     31 |      391 |      332
1119.49/1119.98	c 1119s |      18 |  2642823 |   353852 |    24312     31 |      391 |      332
1121.78/1122.21	c 1121s |      18 |  2643962 |   354252 |    24312     31 |      391 |      332
1123.78/1124.25	c 1124s |      18 |  2644755 |   354552 |    24312     31 |      391 |      332
1126.08/1126.53	c 1126s |      18 |  2646877 |   355052 |    24312     31 |      391 |      332
1128.58/1129.06	c 1128s |      18 |  2649114 |   355552 |    24312     31 |      391 |      332
1131.08/1131.53	c 1131s |      18 |  2649618 |   355752 |    24312     31 |      391 |      332
1133.37/1133.83	c 1133s |      18 |  2651351 |   356152 |    24312     31 |      391 |      332
1135.47/1135.90	c 1135s |      18 |  2652906 |   356552 |    24312     31 |      391 |      332
1137.47/1137.95	c 1137s |      18 |  2655457 |   357252 |    24312     31 |      391 |      332
1139.47/1139.95	c 1139s |      18 |  2656444 |   357552 |    24312     31 |      391 |      332
1141.87/1142.39	c 1142s |      18 |  2657741 |   357952 |    24312     31 |      391 |      332
1144.07/1144.54	c 1144s |      18 |  2658535 |   358252 |    24312     31 |      391 |      332
1146.58/1147.01	c 1146s |      18 |  2659257 |   358552 |    24312     31 |      391 |      332
1148.78/1149.25	c 1149s |      18 |  2659649 |   358752 |    24312     31 |      391 |      332
1150.87/1151.37	c 1151s |      18 |  2660431 |   359052 |    24312     31 |      391 |      332
1153.48/1153.92	c 1153s |      18 |  2661179 |   359352 |    24312     31 |      391 |      332
1155.57/1156.09	c 1155s |      18 |  2661513 |   359552 |    24312     31 |      391 |      332
1158.28/1158.72	c 1158s |      18 |  2662616 |   359852 |    24312     31 |      391 |      332
1160.27/1160.72	c 1160s |      18 |  2664337 |   360252 |    24312     31 |      391 |      332
1162.87/1163.35	c 1163s |      18 |  2666271 |   360752 |    24312     31 |      391 |      332
1165.07/1165.58	c 1165s |      18 |  2667273 |   361052 |    24312     31 |      391 |      332
1167.17/1167.66	c 1167s |      18 |  2669624 |   361652 |    24312     31 |      391 |      332
1169.67/1170.13	c 1169s |      18 |  2670464 |   362052 |    24312     31 |      391 |      332
1171.87/1172.39	c 1172s |      18 |  2671462 |   362552 |    24312     31 |      391 |      332
1174.07/1174.51	c 1174s |      18 |  2676835 |   363452 |    24312     32 |      391 |      332
1176.27/1176.74	c 1176s |      18 |  2680557 |   364252 |    24312     32 |      391 |      332
1178.37/1178.80	c 1178s |      18 |  2684692 |   365052 |    24312     32 |      391 |      332
1180.47/1180.91	c 1180s |      18 |  2689311 |   366052 |    24312     32 |      391 |      332
1182.57/1183.05	c 1182s |      18 |  2693049 |   367052 |    24312     32 |      391 |      332
1184.57/1185.09	c 1184s |      18 |  2694822 |   367552 |    24312     32 |      391 |      332
1186.77/1187.21	c 1186s |      18 |  2696191 |   367952 |    24312     32 |      391 |      332
1189.17/1189.69	c 1189s |      18 |  2698153 |   368652 |    24312     32 |      391 |      332
1191.26/1191.75	c 1191s |      18 |  2699695 |   369152 |    24312     32 |      391 |      332
1193.66/1194.14	c 1193s |      18 |  2701245 |   369652 |    24312     32 |      391 |      332
1196.16/1196.67	c 1196s |      18 |  2702411 |   370152 |    24312     32 |      391 |      332
1198.86/1199.39	c 1199s |      18 |  2703501 |   370552 |    24312     32 |      391 |      332
1201.06/1201.50	c 1201s |      18 |  2706463 |   371252 |    24312     32 |      391 |      332
1203.46/1203.91	c 1203s |      18 |  2709720 |   372052 |    24312     32 |      391 |      332
1205.66/1206.16	c 1205s |      18 |  2711230 |   372452 |    24312     32 |      391 |      332
1208.26/1208.74	c 1208s |      18 |  2712836 |   372952 |    24312     32 |      391 |      332
1210.67/1211.19	c 1210s |      18 |  2713537 |   373252 |    24312     32 |      391 |      332
1212.97/1213.41	c 1213s |      18 |  2714671 |   373552 |    24312     32 |      391 |      332
1214.97/1215.49	c 1215s |      18 |  2715749 |   373952 |    24312     32 |      391 |      332
1217.07/1217.58	c 1217s |      18 |  2717688 |   374452 |    24312     32 |      391 |      332
1219.27/1219.75	c 1219s |      18 |  2718580 |   374752 |    24312     32 |      391 |      332
1221.86/1222.32	c 1222s |      18 |  2719467 |   375052 |    24312     32 |      391 |      332
1224.06/1224.53	c 1224s |      18 |  2721137 |   375552 |    24312     32 |      391 |      332
1226.86/1227.38	c 1227s |      18 |  2722364 |   375952 |    24312     32 |      391 |      332
1229.37/1229.83	c 1229s |      18 |  2723280 |   376252 |    24312     32 |      391 |      332
1231.57/1232.00	c 1231s |      18 |  2726146 |   377052 |    24312     33 |      391 |      332
1233.66/1234.20	c 1233s |      18 |  2727534 |   377652 |    24312     33 |      391 |      332
1235.76/1236.24	c 1236s |      18 |  2730260 |   378152 |    24312     33 |      391 |      332
1238.56/1239.08	c 1238s |      18 |  2731995 |   378552 |    24312     33 |      391 |      332
1240.66/1241.16	c 1240s |      18 |  2733717 |   379052 |    24312     33 |      391 |      332
1242.76/1243.22	c 1242s |      18 |  2736516 |   379952 |    24312     33 |      391 |      332
1245.05/1245.51	c 1245s |      18 |  2738900 |   380652 |    24312     33 |      391 |      332
1247.35/1247.83	c 1247s |      18 |  2740156 |   381252 |    24312     33 |      391 |      332
1249.56/1250.09	c 1249s |      18 |  2742678 |   381952 |    24312     33 |      391 |      332
1251.66/1252.13	c 1251s |      18 |  2744627 |   382652 |    24312     33 |      391 |      332
1253.86/1254.34	c 1254s |      18 |  2749675 |   383752 |    24312     33 |      391 |      332
1256.06/1256.58	c 1256s |      18 |  2751645 |   384352 |    24312     33 |      391 |      332
1258.26/1258.76	c 1258s |      18 |  2753026 |   384752 |    24312     33 |      391 |      332
1260.56/1261.09	c 1260s |      18 |  2754825 |   385252 |    24312     33 |      391 |      332
1262.66/1263.13	c 1262s |      18 |  2757165 |   385852 |    24312     33 |      391 |      332
1265.06/1265.58	c 1265s |      18 |  2758227 |   386252 |    24312     33 |      391 |      332
1267.25/1267.74	c 1267s |      18 |  2760126 |   386752 |    24312     33 |      391 |      332
1269.55/1270.02	c 1269s |      18 |  2762290 |   387352 |    24312     33 |      391 |      332
1272.26/1272.78	c 1272s |      18 |  2763259 |   387752 |    24312     33 |      391 |      332
1274.35/1274.87	c 1274s |      18 |  2765692 |   388452 |    24312     33 |      391 |      332
1276.76/1277.26	c 1277s |      18 |  2766174 |   388652 |    24312     33 |      391 |      332
1278.96/1279.47	c 1279s |      18 |  2766619 |   388852 |    24312     33 |      391 |      332
1280.95/1281.49	c 1281s |      18 |  2767064 |   389052 |    24312     33 |      391 |      332
1283.05/1283.56	c 1283s |      18 |  2768182 |   389452 |    24312     33 |      391 |      332
1285.46/1285.92	c 1285s |      18 |  2770821 |   389952 |    24312     34 |      391 |      332
1287.95/1288.43	c 1288s |      18 |  2771899 |   390352 |    24312     34 |      391 |      332
1289.96/1290.48	c 1290s |      18 |  2773248 |   390752 |    24312     34 |      391 |      332
1292.06/1292.57	c 1292s |      18 |  2779784 |   391952 |    24312     34 |      391 |      332
1294.05/1294.59	c 1294s |      18 |  2781365 |   392352 |    24312     34 |      391 |      332
1296.46/1297.00	c 1296s |      18 |  2784029 |   393052 |    24312     34 |      391 |      332
1298.85/1299.38	c 1299s |      18 |  2787294 |   393752 |    24312     34 |      391 |      332
1301.55/1302.07	c 1301s |      18 |  2788946 |   394152 |    24312     34 |      391 |      332
1304.05/1304.58	c 1304s |      18 |  2790184 |   394552 |    24312     34 |      391 |      332
1306.15/1306.64	c 1306s |      18 |  2792360 |   395052 |    24312     34 |      391 |      332
1308.24/1308.70	c 1308s |      18 |  2794184 |   395652 |    24312     34 |      391 |      332
1310.24/1310.75	c 1310s |      18 |  2795465 |   396052 |    24312     34 |      391 |      332
1312.54/1313.01	c 1312s |      18 |  2797617 |   396552 |    24312     34 |      391 |      332
1314.75/1315.28	c 1315s |      18 |  2799866 |   397152 |    24312     34 |      391 |      332
1316.85/1317.37	c 1317s |      18 |  2801565 |   397652 |    24312     34 |      391 |      332
1319.15/1319.69	c 1319s |      18 |  2803171 |   398052 |    24312     34 |      391 |      332
1321.65/1322.13	c 1321s |      18 |  2805446 |   398652 |    24312     34 |      391 |      332
1323.95/1324.50	c 1324s |      18 |  2806846 |   399052 |    24312     34 |      391 |      332
1326.35/1326.80	c 1326s |      18 |  2807716 |   399352 |    24312     34 |      391 |      332
1328.65/1329.17	c 1328s |      18 |  2808693 |   399652 |    24312     34 |      391 |      332
1331.44/1331.94	c 1331s |      18 |  2809457 |   399952 |    24312     34 |      391 |      332
1334.04/1334.55	c 1334s |      18 |  2811284 |   400452 |    24312     34 |      391 |      332
1336.44/1336.96	c 1336s |      18 |  2811894 |   400752 |    24312     34 |      391 |      332
1339.24/1339.76	c 1339s |      18 |  2812594 |   401052 |    24312     34 |      391 |      332
1341.55/1342.05	c 1341s |      18 |  2813483 |   401352 |    24312     34 |      391 |      332
1343.64/1344.20	c 1343s |      18 |  2814849 |   401652 |    24312     34 |      391 |      332
1346.25/1346.71	c 1346s |      18 |  2816236 |   402052 |    24312     34 |      391 |      332
1348.64/1349.14	c 1348s |      18 |  2816951 |   402252 |    24312     34 |      391 |      332
1350.94/1351.47	c 1351s |      18 |  2817807 |   402552 |    24312     34 |      391 |      332
1353.14/1353.64	c 1353s |      18 |  2820314 |   403152 |    24312     35 |      391 |      332
1355.44/1355.94	c 1355s |      18 |  2823931 |   404052 |    24312     35 |      391 |      332
1357.54/1358.05	c 1357s |      18 |  2826725 |   404752 |    24312     35 |      391 |      332
1359.64/1360.14	c 1359s |      18 |  2828601 |   405252 |    24312     35 |      391 |      332
1361.94/1362.44	c 1362s |      18 |  2830847 |   405952 |    24312     35 |      391 |      332
1364.74/1365.22	c 1364s |      18 |  2833310 |   406552 |    24312     35 |      391 |      332
1366.95/1367.44	c 1367s |      18 |  2834644 |   406952 |    24312     35 |      391 |      332
1369.94/1370.44	c 1370s |      18 |  2835844 |   407352 |    24312     35 |      391 |      332
1372.35/1372.81	c 1372s |      18 |  2836978 |   407752 |    24312     35 |      391 |      332
1374.44/1374.99	c 1374s |      18 |  2837758 |   408052 |    24312     35 |      391 |      332
1376.74/1377.24	c 1377s |      18 |  2838883 |   408452 |    24312     35 |      391 |      332
1379.34/1379.85	c 1379s |      18 |  2840223 |   408852 |    24312     35 |      391 |      332
1381.54/1382.03	c 1381s |      18 |  2840845 |   409152 |    24312     35 |      391 |      332
1383.63/1384.14	c 1383s |      18 |  2841797 |   409452 |    24312     35 |      391 |      332
1386.43/1386.91	c 1386s |      18 |  2842796 |   409852 |    24312     35 |      391 |      332
1388.84/1389.35	c 1389s |      18 |  2844137 |   410252 |    24312     35 |      391 |      332
1391.24/1391.71	c 1391s |      18 |  2845336 |   410652 |    24312     35 |      391 |      332
1393.54/1394.05	c 1393s |      18 |  2847969 |   411252 |    24312     35 |      391 |      332
1395.54/1396.08	c 1395s |      18 |  2849487 |   411752 |    24312     35 |      391 |      332
1397.83/1398.35	c 1398s |      18 |  2850763 |   412152 |    24312     35 |      391 |      332
1399.84/1400.35	c 1400s |      18 |  2852673 |   412552 |    24312     35 |      391 |      332
1402.23/1402.78	c 1402s |      18 |  2853518 |   412952 |    24312     35 |      391 |      332
1404.24/1404.80	c 1404s |      18 |  2854059 |   413252 |    24312     35 |      391 |      332
1406.73/1407.29	c 1407s |      18 |  2855172 |   413652 |    24312     35 |      391 |      332
1408.83/1409.31	c 1409s |      18 |  2856439 |   413952 |    24312     35 |      391 |      332
1410.84/1411.31	c 1411s |      18 |  2857360 |   414252 |    24312     35 |      391 |      332
1413.53/1414.03	c 1413s |      18 |  2858733 |   414652 |    24312     35 |      391 |      332
1416.33/1416.83	c 1416s |      18 |  2859846 |   415052 |    24312     35 |      391 |      332
1418.33/1418.88	c 1418s |      18 |  2861552 |   415452 |    24312     36 |      391 |      332
1420.43/1420.95	c 1420s |      18 |  2865955 |   416352 |    24312     36 |      391 |      332
1422.53/1423.01	c 1422s |      18 |  2868003 |   417052 |    24312     36 |      391 |      332
1424.73/1425.23	c 1424s |      18 |  2869544 |   417552 |    24312     36 |      391 |      332
1426.93/1427.46	c 1427s |      18 |  2871833 |   418152 |    24312     36 |      391 |      332
1429.23/1429.72	c 1429s |      18 |  2874335 |   418752 |    24312     36 |      391 |      332
1431.63/1432.16	c 1431s |      18 |  2876146 |   419352 |    24312     36 |      391 |      332
1434.33/1434.84	c 1434s |      18 |  2877120 |   419652 |    24312     36 |      391 |      332
1436.43/1436.97	c 1436s |      18 |  2879009 |   420152 |    24312     36 |      391 |      332
1438.63/1439.18	c 1438s |      18 |  2880488 |   420552 |    24312     36 |      391 |      332
1440.73/1441.24	c 1441s |      18 |  2882923 |   421052 |    24312     36 |      391 |      332
1442.73/1443.27	c 1443s |      18 |  2884668 |   421552 |    24312     36 |      391 |      332
1445.22/1445.76	c 1445s |      18 |  2885410 |   421852 |    24312     36 |      391 |      332
1447.82/1448.39	c 1448s |      18 |  2886722 |   422252 |    24312     36 |      391 |      332
1450.32/1450.90	c 1450s |      18 |  2887774 |   422652 |    24312     36 |      391 |      332
1452.53/1453.08	c 1452s |      18 |  2888933 |   423052 |    24312     36 |      391 |      332
1454.63/1455.14	c 1454s |      18 |  2890148 |   423452 |    24312     36 |      391 |      332
1457.23/1457.71	c 1457s |      18 |  2891062 |   423752 |    24312     36 |      391 |      332
1459.83/1460.33	c 1460s |      18 |  2892879 |   424252 |    24312     36 |      391 |      332
1461.83/1462.39	c 1462s |      18 |  2893408 |   424452 |    24312     36 |      391 |      332
1464.53/1465.08	c 1464s |      18 |  2894444 |   424852 |    24312     36 |      391 |      332
1467.23/1467.76	c 1467s |      18 |  2895570 |   425252 |    24312     36 |      391 |      332
1469.82/1470.31	c 1470s |      18 |  2896239 |   425552 |    24312     36 |      391 |      332
1472.22/1472.73	c 1472s |      18 |  2897593 |   425952 |    24312     36 |      391 |      332
1474.92/1475.43	c 1475s |      18 |  2898719 |   426352 |    24312     36 |      391 |      332
1477.32/1477.87	c 1477s |      18 |  2899931 |   426752 |    24312     36 |      391 |      332
1479.42/1479.92	c 1479s |      18 |  2900661 |   427052 |    24312     36 |      391 |      332
1481.42/1481.98	c 1481s |      18 |  2901147 |   427252 |    24312     36 |      391 |      332
1483.52/1484.09	c 1483s |      18 |  2902371 |   427552 |    24312     37 |      391 |      332
1485.53/1486.09	c 1485s |      18 |  2905199 |   428252 |    24312     37 |      391 |      332
1487.72/1488.26	c 1488s |      18 |  2907079 |   428852 |    24312     37 |      391 |      332
1489.82/1490.38	c 1490s |      18 |  2907640 |   429152 |    24312     37 |      391 |      332
1492.52/1493.01	c 1492s |      18 |  2909791 |   429652 |    24312     37 |      391 |      332
1494.82/1495.39	c 1495s |      18 |  2912117 |   430152 |    24312     37 |      391 |      332
1497.02/1497.57	c 1497s |      18 |  2913819 |   430552 |    24312     37 |      391 |      332
1499.42/1499.93	c 1499s |      18 |  2915750 |   430952 |    24312     37 |      391 |      332
1501.92/1502.44	c 1502s |      18 |  2917663 |   431452 |    24312     37 |      391 |      332
1504.22/1504.77	c 1504s |      18 |  2918570 |   431752 |    24312     37 |      391 |      332
1506.41/1506.97	c 1506s |      18 |  2920357 |   432152 |    24312     37 |      391 |      332
1508.82/1509.34	c 1509s |      18 |  2921620 |   432552 |    24312     37 |      391 |      332
1511.51/1512.03	c 1511s |      18 |  2922502 |   432852 |    24312     37 |      391 |      332
1513.72/1514.29	c 1514s |      18 |  2923460 |   433152 |    24312     37 |      391 |      332
1515.82/1516.38	c 1516s |      18 |  2924963 |   433452 |    24312     37 |      391 |      332
1518.02/1518.50	c 1518s |      18 |  2925759 |   433752 |    24312     37 |      391 |      332
1520.32/1520.86	c 1520s |      18 |  2926694 |   434052 |    24312     37 |      391 |      332
1522.62/1523.13	c 1522s |      18 |  2927525 |   434352 |    24312     37 |      391 |      332
1525.01/1525.52	c 1525s |      18 |  2929674 |   434952 |    24312     37 |      391 |      332
1527.31/1527.81	c 1527s |      18 |  2930916 |   435352 |    24312     37 |      391 |      332
1529.81/1530.40	c 1530s |      18 |  2932618 |   435752 |    24312     37 |      391 |      332
1532.21/1532.77	c 1532s |      18 |  2933636 |   436052 |    24312     37 |      391 |      332
1534.71/1535.21	c 1534s |      18 |  2934781 |   436452 |    24312     37 |      391 |      332
1536.82/1537.37	c 1537s |      18 |  2935632 |   436752 |    24312     37 |      391 |      332
1539.62/1540.16	c 1539s |      18 |  2936521 |   437052 |    24312     37 |      391 |      332
1542.71/1543.24	c 1543s |      18 |  2937464 |   437352 |    24312     37 |      391 |      332
1545.81/1546.39	c 1546s |      18 |  2938122 |   437652 |    24312     37 |      391 |      332
1548.21/1548.70	c 1548s |      18 |  2938586 |   437852 |    24312     37 |      391 |      332
1550.71/1551.27	c 1551s |      18 |  2939071 |   438052 |    24312     37 |      391 |      332
1553.61/1554.12	c 1553s |      18 |  2939411 |   438252 |    24312     37 |      391 |      332
1555.91/1556.43	c 1556s |      18 |  2939851 |   438452 |    24312     37 |      391 |      332
1558.22/1558.74	c 1558s |      18 |  2940251 |   438652 |    24312     37 |      391 |      332
1560.31/1560.85	c 1560s |      18 |  2940713 |   438852 |    24312     37 |      391 |      332
1563.21/1563.79	c 1563s |      18 |  2941332 |   439152 |    24312     37 |      391 |      332
1566.80/1567.33	c 1567s |      18 |  2942018 |   439452 |    24312     37 |      391 |      332
1569.11/1569.64	c 1569s |      18 |  2942392 |   439652 |    24312     37 |      391 |      332
1571.61/1572.19	c 1571s |      18 |  2943212 |   439852 |    24312     37 |      391 |      332
1573.71/1574.25	c 1574s |      18 |  2943914 |   440052 |    24312     37 |      391 |      332
1576.01/1576.55	c 1576s |      18 |  2944466 |   440252 |    24312     37 |      391 |      332
1578.40/1578.93	c 1578s |      18 |  2945528 |   440652 |    24312     38 |      391 |      332
1580.50/1581.05	c 1580s |      18 |  2948347 |   441452 |    26744     38 |      391 |      332
1582.51/1583.08	c 1582s |      18 |  2950142 |   442152 |    26744     38 |      391 |      332
1584.71/1585.29	c 1585s |      18 |  2951830 |   442752 |    26744     38 |      391 |      332
1587.11/1587.63	c 1587s |      18 |  2953622 |   443252 |    26744     38 |      391 |      332
1589.31/1589.86	c 1589s |      18 |  2955311 |   443852 |    26744     38 |      391 |      332
1591.41/1591.95	c 1591s |      18 |  2956558 |   444352 |    26744     38 |      391 |      332
1592.00/1592.59	c 1592s |      19 |  2957146 |   444482 |    26744     38 |      391 |      332
1594.10/1594.64	c 1594s |      19 |  2975585 |   445782 |    26744     38 |      391 |      332
1596.10/1596.66	c 1596s |      19 |  2989057 |   447282 |    26744     38 |      391 |      332
1598.30/1598.81	c 1598s |      19 |  3010637 |   448582 |    26744     38 |      392 |      333
1600.40/1600.99	c 1600s |      19 |  3026590 |   449782 |    26744     38 |      392 |      333
1602.50/1603.02	c 1602s |      19 |  3029212 |   450482 |    26744     38 |      392 |      333
1604.70/1605.20	c 1604s |      19 |  3031385 |   451082 |    26744     38 |      392 |      333
1606.90/1607.43	c 1607s |      19 |  3032994 |   451682 |    26744     38 |      392 |      333
1609.30/1609.84	c 1609s |      19 |  3033899 |   452082 |    26744     38 |      392 |      333
1611.40/1611.90	c 1611s |      19 |  3037421 |   452682 |    26744     38 |      392 |      333
1613.50/1614.00	c 1613s |      19 |  3045987 |   453582 |    26744     39 |      392 |      333
1615.50/1616.05	c 1615s |      19 |  3058155 |   455082 |    26744     39 |      392 |      333
1617.50/1618.10	c 1617s |      19 |  3063052 |   456482 |    26744     39 |      392 |      333
1619.70/1620.24	c 1620s |      19 |  3067301 |   457482 |    26744     39 |      392 |      333
1621.80/1622.39	c 1622s |      19 |  3070078 |   458282 |    26744     39 |      392 |      333
1624.10/1624.63	c 1624s |      19 |  3072286 |   458982 |    26744     39 |      392 |      333
1626.20/1626.78	c 1626s |      19 |  3075453 |   459782 |    26744     39 |      392 |      333
1628.40/1628.94	c 1628s |      19 |  3078265 |   460582 |    26744     39 |      392 |      333
1630.70/1631.30	c 1631s |      19 |  3079913 |   461082 |    26744     39 |      392 |      333
1633.20/1633.75	c 1633s |      19 |  3081622 |   461682 |    26744     39 |      392 |      333
1635.40/1635.92	c 1635s |      19 |  3084490 |   462382 |    26744     39 |      392 |      333
1637.60/1638.10	c 1637s |      19 |  3090227 |   463682 |    26744     39 |      392 |      333
1639.71/1640.22	c 1639s |      19 |  3094800 |   464582 |    26744     39 |      392 |      333
1641.81/1642.32	c 1642s |      19 |  3098583 |   465482 |    26744     39 |      392 |      333
1643.90/1644.43	c 1644s |      19 |  3101058 |   466282 |    26744     39 |      392 |      333
1645.90/1646.45	c 1646s |      19 |  3104917 |   467082 |    26744     40 |      392 |      333
1648.00/1648.50	c 1648s |      19 |  3107783 |   467882 |    26744     40 |      392 |      333
1650.49/1651.02	c 1650s |      19 |  3110340 |   468582 |    26744     40 |      392 |      333
1652.80/1653.34	c 1653s |      19 |  3111491 |   468982 |    26744     40 |      392 |      333
1654.89/1655.45	c 1655s |      19 |  3112948 |   469482 |    26744     40 |      392 |      333
1657.09/1657.70	c 1657s |      19 |  3116536 |   470482 |    26744     40 |      392 |      333
1659.69/1660.24	c 1660s |      19 |  3118902 |   471182 |    26744     40 |      392 |      333
1661.70/1662.27	c 1662s |      19 |  3123399 |   472182 |    26744     40 |      392 |      333
1663.81/1664.38	c 1664s |      19 |  3128840 |   473282 |    26744     40 |      392 |      333
1665.90/1666.47	c 1666s |      19 |  3130467 |   473782 |    26744     40 |      392 |      333
1668.10/1668.70	c 1668s |      19 |  3131623 |   474182 |    26744     40 |      392 |      333
1670.40/1670.98	c 1670s |      19 |  3133616 |   474682 |    26744     40 |      392 |      333
1672.80/1673.30	c 1673s |      19 |  3135777 |   475382 |    26744     40 |      392 |      333
1675.00/1675.50	c 1675s |      19 |  3138905 |   476082 |    26744     40 |      392 |      333
1677.00/1677.51	c 1677s |      19 |  3141393 |   476782 |    26744     40 |      392 |      333
1679.09/1679.64	c 1679s |      19 |  3143368 |   477382 |    26744     40 |      392 |      333
1681.40/1681.94	c 1681s |      19 |  3145691 |   478082 |    26744     40 |      392 |      333
1683.49/1684.08	c 1683s |      19 |  3147936 |   478782 |    26744     40 |      392 |      333
1685.80/1686.31	c 1686s |      19 |  3149409 |   479382 |    26744     40 |      392 |      333
1688.00/1688.59	c 1688s |      19 |  3150570 |   479882 |    26744     40 |      392 |      333
1690.20/1690.74	c 1690s |      19 |  3152180 |   480382 |    26744     40 |      392 |      333
1692.69/1693.23	c 1692s |      19 |  3153089 |   480782 |    26744     40 |      392 |      333
1694.79/1695.35	c 1695s |      19 |  3157845 |   481782 |    26744     41 |      392 |      333
1696.90/1697.44	c 1697s |      19 |  3164256 |   483182 |    26744     41 |      392 |      333
1698.89/1699.47	c 1699s |      19 |  3167854 |   484182 |    26744     41 |      392 |      333
1701.09/1701.68	c 1701s |      19 |  3170223 |   484982 |    26744     41 |      392 |      333
1703.29/1703.83	c 1703s |      19 |  3172262 |   485682 |    26744     41 |      392 |      333
1705.39/1705.97	c 1705s |      19 |  3175204 |   486482 |    26744     41 |      392 |      333
1707.69/1708.23	c 1707s |      19 |  3176969 |   487082 |    26744     41 |      392 |      333
1709.99/1710.54	c 1710s |      19 |  3178671 |   487682 |    26744     41 |      392 |      333
1712.19/1712.71	c 1712s |      19 |  3179935 |   488182 |    26744     41 |      392 |      333
1714.28/1714.83	c 1714s |      19 |  3182294 |   488882 |    26744     41 |      392 |      333
1716.59/1717.20	c 1716s |      19 |  3184128 |   489582 |    26744     41 |      392 |      333
1718.89/1719.43	c 1719s |      19 |  3185496 |   490082 |    26744     41 |      392 |      333
1721.28/1721.85	c 1721s |      19 |  3186685 |   490582 |    26744     41 |      392 |      333
1723.38/1723.96	c 1723s |      19 |  3188169 |   491082 |    26744     41 |      392 |      333
1725.49/1726.04	c 1725s |      19 |  3189406 |   491582 |    26744     41 |      392 |      333
1727.78/1728.31	c 1728s |      19 |  3191071 |   492082 |    26744     41 |      392 |      333
1729.98/1730.59	c 1730s |      19 |  3192256 |   492582 |    26744     41 |      392 |      333
1732.18/1732.75	c 1732s |      19 |  3193455 |   492982 |    26744     41 |      392 |      333
1734.58/1735.14	c 1734s |      19 |  3194492 |   493482 |    26744     41 |      392 |      333
1736.88/1737.41	c 1737s |      19 |  3195463 |   493882 |    26744     41 |      392 |      333
1738.88/1739.43	c 1739s |      19 |  3196457 |   494182 |    26744     42 |      392 |      333
1741.08/1741.69	c 1741s |      19 |  3203614 |   495482 |    26744     42 |      392 |      333
1743.28/1743.83	c 1743s |      19 |  3207037 |   496382 |    26744     42 |      392 |      333
1745.38/1745.91	c 1745s |      19 |  3210625 |   497382 |    26744     42 |      392 |      333
1747.48/1748.08	c 1747s |      19 |  3213597 |   498282 |    26744     42 |      392 |      333
1749.79/1750.36	c 1750s |      19 |  3215742 |   498982 |    26744     42 |      392 |      333
1751.98/1752.57	c 1752s |      19 |  3217401 |   499582 |    26744     42 |      392 |      333
1754.28/1754.85	c 1754s |      19 |  3218892 |   500082 |    26744     42 |      392 |      333
1756.48/1757.07	c 1756s |      19 |  3220268 |   500582 |    26744     42 |      392 |      333
1758.78/1759.39	c 1759s |      19 |  3221574 |   501082 |    26744     42 |      392 |      333
1761.08/1761.61	c 1761s |      19 |  3222545 |   501482 |    26744     42 |      392 |      333
1763.18/1763.78	c 1763s |      19 |  3223433 |   501882 |    26744     42 |      392 |      333
1765.58/1766.13	c 1765s |      19 |  3224967 |   502382 |    26744     42 |      392 |      333
1767.88/1768.44	c 1768s |      19 |  3226535 |   502882 |    26744     42 |      392 |      333
1769.98/1770.54	c 1770s |      19 |  3227072 |   503182 |    26744     42 |      392 |      333
1772.17/1772.78	c 1772s |      19 |  3227744 |   503482 |    26744     42 |      392 |      333
1774.28/1774.84	c 1774s |      19 |  3228677 |   503782 |    26744     42 |      392 |      333
1776.28/1776.86	c 1776s |      19 |  3229318 |   504082 |    26744     42 |      392 |      333
1778.77/1779.31	c 1779s |      19 |  3229828 |   504382 |    26744     42 |      392 |      333
1781.37/1781.90	c 1781s |      19 |  3230647 |   504782 |    26744     42 |      392 |      333
1783.47/1784.02	c 1783s |      19 |  3231179 |   505082 |    26744     42 |      392 |      333
1785.57/1786.15	c 1785s |      19 |  3234150 |   505882 |    26744     42 |      392 |      333
1787.77/1788.34	c 1788s |      19 |  3236954 |   506682 |    26744     42 |      392 |      333
1789.87/1790.43	c 1790s |      19 |  3240128 |   507482 |    26744     43 |      392 |      333
1791.97/1792.59	c 1792s |      19 |  3243034 |   508382 |    26744     43 |      392 |      333
1794.38/1794.95	c 1794s |      19 |  3244963 |   508982 |    26744     43 |      392 |      333
1796.38/1796.99	c 1796s |      19 |  3248029 |   509782 |    26744     43 |      392 |      333
1799.08/1799.68	c 1799s |      19 |  3249033 |   510282 |    26744     43 |      392 |      333

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

pid=6513
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.33 2.33 2.28 3/179 6516
/proc/meminfo: memFree=29100520/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=396732 CPUtime=0 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 1419 0 0 0 0 0 0 0 20 0 4 0 110305600 406253568 1779 33554432000 4194304 16246674 140735669742288 140735669741712 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6516/statm: 99695 1789 441 2943 0 96589 0
[pid=6516/tid=6517] ppid=6513 vsize=411068 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 420933632 1838 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=415164 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 425127936 1854 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=419260 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110305600 429322240 1871 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.33 2.33 2.28 3/179 6516
/proc/meminfo: memFree=29100520/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 27418 0 0 0 5 4 0 0 20 0 4 0 110305600 1333334016 27716 33554432000 4194304 16246674 140735669742288 140735669725280 12752373 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6516/statm: 325521 27732 801 2943 0 322415 0
[pid=6516/tid=6517] ppid=6513 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1333334016 27743 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1333334016 27755 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1333334016 27766 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200555 s]
/proc/loadavg: 2.33 2.33 2.28 3/179 6516
/proc/meminfo: memFree=29100520/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1302084 CPUtime=0.18 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 45224 0 0 0 12 6 0 0 20 0 4 0 110305600 1333334016 45522 33554432000 4194304 16246674 140735669742288 140735669725280 5913108 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6516/statm: 325521 45522 833 2943 0 322415 0
[pid=6516/tid=6517] ppid=6513 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1333334016 45522 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1333334016 45522 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1333334016 45522 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1302084

[startup+0.30049 s]
/proc/loadavg: 2.33 2.33 2.28 3/179 6516
/proc/meminfo: memFree=29100520/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1302084 CPUtime=0.28 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 60005 0 0 0 20 8 0 0 20 0 4 0 110305600 1333334016 60303 33554432000 4194304 16246674 140735669742288 140735669725280 5828874 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6516/statm: 325521 60310 876 2943 0 322415 0
[pid=6516/tid=6517] ppid=6513 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1333334016 60316 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1333334016 60320 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1333334016 60327 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1302084

[startup+0.700407 s]
/proc/loadavg: 2.33 2.33 2.28 3/179 6516
/proc/meminfo: memFree=29100520/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1302084 CPUtime=0.68 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 158279 0 0 0 47 21 0 0 20 0 4 0 110305600 1333334016 158578 33554432000 4194304 16246674 140735669742288 140735669724160 5546181 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6516/statm: 325521 158594 876 2943 0 322415 0
[pid=6516/tid=6517] ppid=6513 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1333334016 158604 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1333334016 158616 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1333334016 158627 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1302084

[startup+1.50042 s]
/proc/loadavg: 2.33 2.33 2.28 3/183 6520
/proc/meminfo: memFree=28108020/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1311300 CPUtime=1.48 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 248602 0 0 0 115 33 0 0 20 0 4 0 110305600 1342771200 248900 33554432000 4194304 16246674 140735669742288 140735669724160 5668732 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6516/statm: 327825 248900 883 2943 0 324719 0
[pid=6516/tid=6517] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 248900 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 248900 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 248900 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1311300

[startup+3.1004 s]
/proc/loadavg: 2.33 2.33 2.28 3/183 6520
/proc/meminfo: memFree=28105772/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1311300 CPUtime=3.09 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 269006 0 0 0 273 36 0 0 20 0 4 0 110305600 1342771200 269304 33554432000 4194304 16246674 140735669742288 140735669724160 13943664 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6516/statm: 327825 269304 883 2943 0 324719 0
[pid=6516/tid=6517] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 269304 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 269304 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 269304 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1311300

[startup+6.30041 s]
/proc/loadavg: 2.30 2.32 2.28 4/183 6520
/proc/meminfo: memFree=28023648/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1311300 CPUtime=6.29 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 269008 0 0 0 593 36 0 0 20 0 4 0 110305600 1342771200 269306 33554432000 4194304 16246674 140735669742288 140735669724160 5723564 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6516/statm: 327825 269306 885 2943 0 324719 0
[pid=6516/tid=6517] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 269306 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 269306 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 269306 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.36 2.33 2.28 3/183 6520
/proc/meminfo: memFree=28023432/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1311300 CPUtime=12.68 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 269008 0 0 0 1232 36 0 0 20 0 4 0 110305600 1342771200 269306 33554432000 4194304 16246674 140735669742288 140735669724160 5754764 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6516/statm: 327825 269306 885 2943 0 324719 0
[pid=6516/tid=6517] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 269306 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 269306 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 269306 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.28 2.31 2.27 4/183 6520
/proc/meminfo: memFree=28024288/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1311300 CPUtime=25.48 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 269008 0 0 0 2512 36 0 0 20 0 4 0 110305600 1342771200 269306 33554432000 4194304 16246674 140735669742288 140735669724160 5522977 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6516/statm: 327825 269306 885 2943 0 324719 0
[pid=6516/tid=6517] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 269306 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 269306 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 269306 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.25 2.30 2.27 3/183 6521
/proc/meminfo: memFree=28023928/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1311300 CPUtime=51.07 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 269009 0 0 0 5071 36 0 0 20 0 4 0 110305600 1342771200 269307 33554432000 4194304 16246674 140735669742288 140735669724160 13820989 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6516/statm: 327825 269307 886 2943 0 324719 0
[pid=6516/tid=6517] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 269307 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 269307 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 269307 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1311300

[startup+102.301 s]
/proc/loadavg: 2.17 2.27 2.26 3/183 6522
/proc/meminfo: memFree=28024312/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1311300 CPUtime=102.27 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 269009 0 0 0 10190 37 0 0 20 0 4 0 110305600 1342771200 269307 33554432000 4194304 16246674 140735669742288 140735669724160 5722241 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6516/statm: 327825 269307 886 2943 0 324719 0
[pid=6516/tid=6517] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 269307 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 269307 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1342771200 269307 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1311300


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

/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1346965504 270334 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.20 2.17 2.20 4/183 6602
/proc/meminfo: memFree=27991504/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1316420 CPUtime=1301.85 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 270386 0 0 0 130121 64 0 0 20 0 4 0 110305600 1348014080 270402 33554432000 4194304 16246674 140735669742288 140735669724160 12875566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6516/statm: 329105 270402 886 2943 0 325999 0
[pid=6516/tid=6517] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270402 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270402 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270402 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1316420

[startup+1362.3 s]
/proc/loadavg: 2.19 2.17 2.19 3/183 6603
/proc/meminfo: memFree=27991532/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1316420 CPUtime=1361.84 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 270386 0 0 0 136118 66 0 0 20 0 4 0 110305600 1348014080 270402 33554432000 4194304 16246674 140735669742288 140735669724160 5721677 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6516/statm: 329105 270402 886 2943 0 325999 0
[pid=6516/tid=6517] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270402 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270402 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270402 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1316420

[startup+1422.3 s]
/proc/loadavg: 2.23 2.18 2.19 3/183 6604
/proc/meminfo: memFree=27990824/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1316420 CPUtime=1421.84 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 270574 0 0 0 142115 69 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140735669724160 6023256 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6516/statm: 329105 270590 886 2943 0 325999 0
[pid=6516/tid=6517] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1316420

[startup+1482.3 s]
/proc/loadavg: 2.24 2.19 2.19 4/184 6608
/proc/meminfo: memFree=27990088/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1316420 CPUtime=1481.82 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 270574 0 0 0 148112 70 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140735669724160 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6516/statm: 329105 270590 886 2943 0 325999 0
[pid=6516/tid=6517] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1316420

[startup+1542.31 s]
/proc/loadavg: 2.25 2.20 2.19 3/183 6609
/proc/meminfo: memFree=27990432/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1316420 CPUtime=1541.82 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 270574 0 0 0 154109 73 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140735669724160 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6516/statm: 329105 270590 886 2943 0 325999 0
[pid=6516/tid=6517] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1316420

[startup+1602.3 s]
/proc/loadavg: 2.28 2.21 2.19 3/183 6611
/proc/meminfo: memFree=27990128/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1316420 CPUtime=1601.8 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 270574 0 0 0 160104 76 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140735669724160 5722604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6516/statm: 329105 270590 886 2943 0 325999 0
[pid=6516/tid=6517] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1316420

[startup+1662.3 s]
/proc/loadavg: 2.18 2.18 2.18 4/183 6612
/proc/meminfo: memFree=27990484/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1316420 CPUtime=1661.79 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 270574 0 0 0 166102 77 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140735669724160 6836989 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6516/statm: 329105 270590 886 2943 0 325999 0
[pid=6516/tid=6517] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1316420

[startup+1722.3 s]
/proc/loadavg: 2.30 2.21 2.19 3/183 6613
/proc/meminfo: memFree=27990516/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1316420 CPUtime=1721.78 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 270574 0 0 0 172100 78 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140735669724160 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6516/statm: 329105 270590 886 2943 0 325999 0
[pid=6516/tid=6517] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1316420

[startup+1782.3 s]
/proc/loadavg: 2.37 2.24 2.20 3/183 6614
/proc/meminfo: memFree=27990064/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1316420 CPUtime=1781.77 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 270574 0 0 0 178097 80 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140735669724160 13942851 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6516/statm: 329105 270590 886 2943 0 325999 0
[pid=6516/tid=6517] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1316420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.37 2.25 2.20 4/183 6614
/proc/meminfo: memFree=27990296/32872528 swapFree=17892/1720544
[pid=6516] ppid=6513 vsize=1316420 CPUtime=1800.08 cores=1,3,5,7
/proc/6516/stat : 6516 (toysat) R 6513 6516 3556 0 -1 4202496 270574 0 0 0 179927 81 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140735669724160 5717462 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6516/statm: 329105 270590 886 2943 0 325999 0
[pid=6516/tid=6517] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6517/stat : 6517 (toysat) S 6513 6516 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408728300784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6516/tid=6518] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (toysat) S 6513 6516 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408717810928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6516/tid=6519] ppid=6513 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (toysat) S 6513 6516 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110305600 1348014080 270590 33554432000 4194304 16246674 140735669742288 140408707337392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1316420

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 6516 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.28
CPU system time (s): 0.812876
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 0.812876
maximum resident set size= 1082360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270574
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= 364
involuntary context switches= 2684

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47632 second user time and 7.05493 second system time

The end

Begin job on node117 at 2016-06-07 09:15:24
IDJOB=4078946
IDBENCH=90134
IDSOLVER=2542
FILE ID=node117/4078946-1465283724
RUNJOBID= node117-1465262703-3573
PBS_JOBID= 19843298
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= f5b402df79463ae0743ac9fe7c0d237d
RANDOM SEED=1603889862

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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:        29101156 kB
Buffers:           84704 kB
Cached:           119816 kB
SwapCached:        29276 kB
Active:          1159788 kB
Inactive:         155808 kB
Active(anon):    1082876 kB
Inactive(anon):    30172 kB
Active(file):      76912 kB
Inactive(file):   125636 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67071196 kB
Dirty:             16724 kB
Writeback:             0 kB
AnonPages:       2803036 kB
Mapped:            10636 kB
Shmem:                 0 kB
Slab:             599216 kB
SReclaimable:      43284 kB
SUnreclaim:       555932 kB
KernelStack:        1488 kB
PageTables:         9408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2944668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2056192 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= 71708 MiB
End job on node117 at 2016-06-07 09:45:25