0.00/0.00	c 2016-06-07T09:20:28+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-4078924-1465284028.opb"]
0.00/0.01	c use --random-gen="2895495180 126256548 2297607181 1568856293 2377268675 3441504833 31301324 3006301340 3230981628 2493555153 2351840173 4157475999 1238823977 247267802 163782661 3507360149 871853733 2752174883 712380919 878232993 2328481053 332520119 1222553730 3253941343 4111578041 3377379281 220129522 334232079 433701150 1593005701 1444839066 3705845354 1322476894 1455226737 766065862 3758119796 1432268675 3027706352 3875147310 341808451 1895425418 2197459847 4184265475 1107509674 2443482400 4157743928 2698274182 3168540129 284201192 2848468085 3365105354 1012025339 3451119746 4284917456 4137543691 3858001775 1486883904 2042560528 1039133673 970727451 3630882136 2613992023 18816000 4090426824 1580354001 4265765843 46811636 1278265459 2571719931 213848730 2351713576 1138993291 3157119514 480865667 3284554443 829131474 4000807701 3834331087 70904710 1759162677 4193376066 3432307368 2572094840 3543764907 1272050246 596967567 4239752666 3270477545 3214049095 3542962824 1790547725 2836269112 2389225337 1212779039 2399147846 4200748652 2475711183 950010769 1157711703 57771192 999874223 812656032 192542898 3569081916 2409637954 2830325261 2635551930 792881648 743302442 4190687685 4228244136 2109621153 4018265948 2498689232 2618279189 567611833 4134135488 1918995687 1846778411 2006023878 1639935242 1559572730 1101401823 680333874 1552516403 2611955791 2667126984 4087197657 352648661 431921221 2918521834 2500214925 2731149065 4000059093 592956112 1775186265 134557594 836460243 1143050322 1878910249 265989062 3821010889 183425498 1916094799 1320035240 3393743787 942964598 3690099682 4166324939 41130814 1298181497 4083579209 2129121055 1899497337 3084726258 1405068133 2758597188 1865558821 890504386 924982623 3021380374 1454245002 2375036393 1907605544 2531155215 4082162151 4226078247 2091951216 2157538095 1764067768 3310723794 1515080564 1381540361 1303203418 2473498874 811624925 1953048858 3191896 3655237178 1470208786 3229068072 893473372 1021593940 3861415045 4230886861 3903213781 2051946460 1503649406 2312409364 3773833616 938251451 2115924060 3646620898 3629681059 1281997664 3218819486 23299250 1924424939 354975308 1426513959 3138020474 1139590673 137002422 947654847 4217168133 2321370679 2703260589 1190826388 3653870700 1554297068 209934993 2694135759 2094653534 3799251497 3507034029 3411771311 1214298526 678059761 2017936447 2318393692 2257570874 4096216266 3151899572 1001903085 3863345052 2379402703 3605747167 1874472654 429952548 387586043 116250917 2892884697 2213920508 2637103269 2547779676 62029901 1592761434 3404765176 2167585847 2354466272 210137344 2307884766 836821855 232312979 2014222878 774711306 2637406681 4167718270 2130071413 2776103055 729971129 2392166192 4225484543 1836485322 2676878953 650855096 255 362436" option to reproduce the execution
0.08/0.12	c #vars 7004
0.08/0.12	c #constraints 7212
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     4738      0 |      362 |        0
0.39/0.43	c  0.2s |       1 |     5454 |      100 |     4738      0 |      363 |      304
0.59/0.68	c  0.4s |       2 |    11306 |      250 |     5212      0 |      364 |      305
0.99/1.08	c  0.8s |       3 |    14691 |      475 |     5734      0 |      364 |      305
1.49/1.53	c  1.3s |       4 |    17159 |      813 |     6308      0 |      364 |      305
2.08/2.12	c  1.9s |       5 |    27224 |     1320 |     6939      0 |      364 |      305
2.98/3.07	c  2.8s |       6 |    42143 |     2081 |     8397      0 |      365 |      306
5.08/5.12	c  4.9s |       6 |    58459 |     3081 |     8397      0 |      368 |      309
5.28/5.30	c  5.0s |       7 |    60373 |     3223 |     9237      0 |      368 |      309
7.28/7.36	c  7.1s |       7 |    89314 |     4823 |     9237      0 |      371 |      312
7.38/7.46	c  7.2s |       8 |    91101 |     4936 |    10161      0 |      371 |      312
9.38/9.49	c  9.2s |       8 |   124090 |     6436 |    10161      0 |      373 |      314
11.48/11.54	c 11.3s |       8 |   127236 |     7336 |    10161      0 |      373 |      314
11.98/12.03	c 11.8s |       9 |   127731 |     7506 |    11178      0 |      373 |      314
13.98/14.04	c 13.8s |       9 |   138507 |     8106 |    11178      0 |      375 |      316
15.98/16.06	c 15.8s |       9 |   159108 |     9406 |    11178      0 |      375 |      316
18.08/18.14	c 17.9s |       9 |   162817 |    10406 |    11178      0 |      375 |      316
20.28/20.30	c 20.1s |       9 |   164500 |    10906 |    11178      0 |      375 |      316
21.29/21.34	c 21.1s |      10 |   166362 |    11361 |    12296      0 |      375 |      316
23.39/23.45	c 23.2s |      10 |   191080 |    12861 |    12296      0 |      375 |      316
25.49/25.50	c 25.2s |      10 |   209879 |    14261 |    12296      1 |      375 |      316
27.59/27.68	c 27.4s |      10 |   226607 |    15661 |    12296      1 |      376 |      317
29.69/29.77	c 29.5s |      10 |   238654 |    16761 |    12296      1 |      376 |      317
30.49/30.56	c 30.3s |      11 |   242772 |    17144 |    13526      1 |      376 |      317
32.59/32.60	c 32.3s |      11 |   267425 |    18344 |    13526      1 |      377 |      318
34.69/34.74	c 34.5s |      11 |   297677 |    19544 |    13526      1 |      378 |      319
36.69/36.79	c 36.5s |      11 |   323598 |    20544 |    13526      1 |      378 |      319
38.79/38.85	c 38.6s |      11 |   344925 |    21544 |    13526      2 |      378 |      319
40.89/40.95	c 40.7s |      11 |   364693 |    22944 |    13526      2 |      378 |      319
42.99/43.09	c 42.8s |      11 |   394853 |    24344 |    13526      2 |      378 |      319
45.19/45.21	c 45.0s |      11 |   421557 |    25744 |    14879      2 |      378 |      319
45.59/45.64	c 45.4s |      12 |   421933 |    25819 |    14879      2 |      378 |      319
47.59/47.69	c 47.4s |      12 |   437130 |    27019 |    14879      2 |      379 |      320
49.68/49.74	c 49.5s |      12 |   449929 |    28019 |    14879      2 |      379 |      320
51.88/51.93	c 51.7s |      12 |   472214 |    29119 |    14879      2 |      380 |      321
53.98/54.04	c 53.8s |      12 |   491999 |    30219 |    14879      3 |      382 |      323
56.08/56.14	c 55.9s |      12 |   511780 |    31519 |    14879      3 |      382 |      323
58.18/58.28	c 58.0s |      12 |   537036 |    32919 |    14879      3 |      383 |      324
60.38/60.40	c 60.1s |      12 |   544549 |    34019 |    14879      3 |      383 |      324
62.38/62.49	c 62.2s |      12 |   559281 |    35119 |    14879      3 |      383 |      324
64.48/64.52	c 64.3s |      12 |   579712 |    36419 |    14879      3 |      383 |      324
66.48/66.53	c 66.3s |      12 |   600257 |    37519 |    14879      3 |      383 |      324
68.49/68.57	c 68.3s |      12 |   623022 |    38719 |    16367      4 |      383 |      324
68.78/68.85	c 68.6s |      13 |   623324 |    38832 |    16367      4 |      383 |      324
70.98/71.04	c 70.8s |      13 |   632565 |    39932 |    16367      4 |      383 |      324
72.98/73.05	c 72.8s |      13 |   655317 |    41232 |    16367      4 |      385 |      326
74.98/75.05	c 74.8s |      13 |   668594 |    42232 |    16367      4 |      386 |      327
77.08/77.12	c 76.9s |      13 |   686729 |    43532 |    16367      4 |      387 |      328
79.28/79.31	c 79.1s |      13 |   701779 |    44732 |    16367      4 |      387 |      328
81.28/81.33	c 81.1s |      13 |   712619 |    45432 |    16367      4 |      388 |      329
83.27/83.37	c 83.1s |      13 |   725264 |    46432 |    16367      4 |      388 |      329
85.37/85.44	c 85.2s |      13 |   736749 |    47432 |    16367      4 |      388 |      329
87.37/87.47	c 87.2s |      13 |   756612 |    48532 |    16367      5 |      388 |      329
89.38/89.50	c 89.2s |      13 |   780775 |    49732 |    16367      5 |      388 |      329
91.58/91.62	c 91.4s |      13 |   801482 |    50832 |    16367      5 |      389 |      330
93.67/93.72	c 93.5s |      13 |   822277 |    51932 |    16367      5 |      390 |      331
95.87/95.92	c 95.7s |      13 |   828527 |    53132 |    16367      5 |      390 |      331
98.07/98.10	c 97.8s |      13 |   830960 |    53932 |    16367      5 |      390 |      331
100.18/100.21	c 100.0s |      13 |   832820 |    54432 |    16367      5 |      390 |      331
102.28/102.37	c  102s |      13 |   835836 |    55332 |    16367      5 |      390 |      331
104.58/104.66	c  104s |      13 |   837437 |    55932 |    16367      5 |      390 |      331
107.08/107.19	c  106s |      13 |   839450 |    56532 |    16367      5 |      390 |      331
109.68/109.74	c  109s |      13 |   841437 |    57132 |    16367      5 |      390 |      331
111.87/111.97	c  111s |      13 |   842552 |    57532 |    16367      5 |      390 |      331
114.07/114.14	c  113s |      13 |   844349 |    58032 |    18004      5 |      390 |      331
115.67/115.74	c  115s |      14 |   845749 |    58352 |    18004      5 |      390 |      331
117.77/117.81	c  117s |      14 |   865237 |    59452 |    18004      6 |      391 |      332
119.87/119.91	c  119s |      14 |   886791 |    60752 |    18004      6 |      391 |      332
121.97/122.04	c  121s |      14 |   901508 |    61852 |    18004      6 |      391 |      332
124.07/124.13	c  123s |      14 |   910213 |    63052 |    18004      6 |      391 |      332
126.27/126.30	c  126s |      14 |   918827 |    64352 |    18004      6 |      391 |      332
128.37/128.45	c  128s |      14 |   920428 |    64952 |    18004      6 |      391 |      332
130.77/130.80	c  130s |      14 |   922142 |    65552 |    18004      6 |      391 |      332
132.77/132.84	c  132s |      14 |   923404 |    66052 |    18004      6 |      391 |      332
134.97/135.07	c  134s |      14 |   924615 |    66552 |    18004      6 |      391 |      332
137.17/137.20	c  136s |      14 |   929548 |    67152 |    18004      6 |      391 |      332
139.26/139.30	c  139s |      14 |   945998 |    68052 |    18004      7 |      393 |      334
141.36/141.42	c  141s |      14 |   963915 |    69452 |    18004      7 |      394 |      335
143.37/143.47	c  143s |      14 |   988828 |    70752 |    18004      7 |      394 |      335
145.57/145.61	c  145s |      14 |  1002758 |    71952 |    18004      7 |      394 |      335
147.56/147.67	c  147s |      14 |  1004495 |    72652 |    18004      7 |      394 |      335
149.56/149.68	c  149s |      14 |  1006033 |    73252 |    18004      7 |      394 |      335
151.67/151.77	c  151s |      14 |  1008274 |    74052 |    18004      7 |      394 |      335
153.77/153.87	c  153s |      14 |  1028382 |    75152 |    18004      7 |      394 |      335
155.87/155.94	c  155s |      14 |  1049279 |    76352 |    18004      7 |      394 |      335
157.97/158.09	c  157s |      14 |  1069045 |    77352 |    18004      8 |      394 |      335
160.07/160.16	c  159s |      14 |  1105367 |    78852 |    18004      8 |      394 |      335
162.17/162.21	c  161s |      14 |  1125672 |    80152 |    18004      8 |      394 |      335
164.17/164.24	c  163s |      14 |  1137322 |    81352 |    18004      8 |      394 |      335
166.17/166.26	c  166s |      14 |  1144078 |    82352 |    18004      8 |      394 |      335
168.57/168.67	c  168s |      14 |  1147531 |    83152 |    18004      8 |      394 |      335
170.57/170.69	c  170s |      14 |  1153654 |    83952 |    18004      8 |      394 |      335
172.97/173.09	c  172s |      14 |  1162337 |    84852 |    18004      8 |      394 |      335
175.66/175.76	c  175s |      14 |  1163262 |    85152 |    18004      8 |      394 |      335
177.86/177.94	c  177s |      14 |  1165846 |    85452 |    18004      8 |      394 |      335
179.96/180.01	c  179s |      14 |  1183107 |    86652 |    18004      8 |      394 |      335
181.66/181.75	c  181s |      15 |  1201311 |    87632 |    19805      9 |      394 |      335
183.66/183.77	c  183s |      15 |  1232304 |    89132 |    19805      9 |      394 |      335
185.76/185.81	c  185s |      15 |  1263288 |    90632 |    19805      9 |      394 |      335
187.86/187.99	c  187s |      15 |  1281339 |    91832 |    19805      9 |      394 |      335
190.06/190.12	c  189s |      15 |  1300743 |    93232 |    19805      9 |      394 |      335
192.06/192.19	c  191s |      15 |  1318562 |    94432 |    19805      9 |      394 |      335
194.26/194.35	c  194s |      15 |  1332919 |    95732 |    19805      9 |      394 |      335
196.36/196.49	c  196s |      15 |  1344462 |    96932 |    19805      9 |      394 |      335
198.76/198.80	c  198s |      15 |  1362516 |    98132 |    19805     10 |      394 |      335
200.86/200.91	c  200s |      15 |  1378366 |    99532 |    19805     10 |      394 |      335
202.86/202.97	c  202s |      15 |  1402973 |   100832 |    19805     10 |      394 |      335
204.96/205.04	c  204s |      15 |  1422019 |   102032 |    19805     10 |      394 |      335
207.26/207.39	c  207s |      15 |  1427265 |   103032 |    19805     10 |      394 |      335
209.26/209.40	c  209s |      15 |  1429756 |   103632 |    19805     10 |      394 |      335
211.46/211.59	c  211s |      15 |  1432059 |   104232 |    19805     10 |      394 |      335
213.55/213.61	c  213s |      15 |  1434401 |   104832 |    19805     10 |      394 |      335
215.55/215.63	c  215s |      15 |  1436585 |   105432 |    19805     10 |      394 |      335
217.65/217.73	c  217s |      15 |  1443206 |   106232 |    19805     10 |      395 |      336
219.85/219.92	c  219s |      15 |  1479156 |   107532 |    19805     10 |      395 |      336
221.95/222.04	c  221s |      15 |  1502617 |   108632 |    19805     11 |      395 |      336
223.95/224.08	c  223s |      15 |  1519951 |   109932 |    19805     11 |      395 |      336
226.05/226.11	c  225s |      15 |  1544671 |   111132 |    19805     11 |      395 |      336
228.06/228.12	c  227s |      15 |  1564343 |   112332 |    19805     11 |      395 |      336
230.05/230.17	c  229s |      15 |  1584465 |   113632 |    19805     11 |      395 |      336
232.15/232.26	c  232s |      15 |  1610881 |   114932 |    19805     11 |      395 |      336
234.25/234.36	c  234s |      15 |  1624317 |   116332 |    19805     11 |      395 |      336
236.35/236.40	c  236s |      15 |  1636150 |   117632 |    19805     11 |      395 |      336
238.35/238.46	c  238s |      15 |  1641912 |   118432 |    19805     11 |      395 |      336
240.45/240.54	c  240s |      15 |  1656982 |   119332 |    19805     12 |      395 |      336
242.55/242.63	c  242s |      15 |  1662185 |   119932 |    19805     12 |      395 |      336
244.55/244.64	c  244s |      15 |  1663405 |   120232 |    19805     12 |      395 |      336
246.95/247.04	c  246s |      15 |  1665586 |   120732 |    19805     12 |      395 |      336
249.86/249.92	c  249s |      15 |  1666386 |   121132 |    19805     12 |      395 |      336
252.16/252.23	c  251s |      15 |  1669552 |   121732 |    19805     12 |      395 |      336
254.16/254.27	c  254s |      15 |  1692761 |   122932 |    19805     12 |      395 |      336
256.16/256.29	c  256s |      15 |  1713286 |   124232 |    19805     12 |      395 |      336
258.35/258.48	c  258s |      15 |  1733673 |   125532 |    19805     12 |      395 |      336
260.55/260.60	c  260s |      15 |  1754390 |   126732 |    19805     12 |      395 |      336
262.65/262.70	c  262s |      15 |  1773597 |   127832 |    19805     12 |      395 |      336
264.65/264.72	c  264s |      15 |  1796457 |   128832 |    19805     12 |      395 |      336
266.85/266.96	c  266s |      15 |  1819228 |   129932 |    19805     13 |      395 |      336
268.85/268.97	c  268s |      15 |  1830638 |   131032 |    21786     13 |      395 |      336
269.76/269.82	c  269s |      16 |  1833239 |   131552 |    21786     13 |      395 |      336
271.75/271.84	c  271s |      16 |  1842582 |   132652 |    21786     13 |      395 |      336
273.95/274.00	c  273s |      16 |  1845891 |   133752 |    21786     13 |      395 |      336
275.95/276.04	c  275s |      16 |  1848544 |   134352 |    21786     13 |      395 |      336
278.05/278.15	c  277s |      16 |  1865366 |   135452 |    21786     13 |      395 |      336
280.15/280.25	c  279s |      16 |  1885822 |   136752 |    21786     13 |      395 |      336
282.35/282.43	c  282s |      16 |  1907714 |   138152 |    21786     13 |      395 |      336
284.65/284.73	c  284s |      16 |  1922081 |   139252 |    21786     13 |      395 |      336
286.75/286.89	c  286s |      16 |  1941809 |   140452 |    21786     13 |      395 |      336
289.25/289.33	c  289s |      16 |  1964143 |   141752 |    21786     14 |      396 |      337
291.35/291.49	c  291s |      16 |  1995829 |   143252 |    21786     14 |      397 |      338
293.55/293.62	c  293s |      16 |  2008493 |   144652 |    21786     14 |      397 |      338
295.55/295.69	c  295s |      16 |  2013876 |   145452 |    21786     14 |      397 |      338
297.64/297.75	c  297s |      16 |  2022922 |   146352 |    21786     14 |      397 |      338
299.64/299.79	c  299s |      16 |  2045647 |   147552 |    21786     14 |      397 |      338
302.04/302.13	c  301s |      16 |  2058608 |   148552 |    21786     14 |      397 |      338
304.24/304.33	c  304s |      16 |  2061898 |   149252 |    21786     14 |      397 |      338
306.24/306.34	c  306s |      16 |  2070552 |   150152 |    21786     14 |      397 |      338
308.35/308.42	c  308s |      16 |  2083071 |   151352 |    21786     14 |      397 |      338
310.34/310.44	c  310s |      16 |  2085520 |   152152 |    21786     14 |      397 |      338
312.84/312.91	c  312s |      16 |  2088227 |   152752 |    21786     14 |      397 |      338
315.34/315.49	c  315s |      16 |  2091429 |   153552 |    21786     14 |      397 |      338
317.54/317.68	c  317s |      16 |  2093711 |   154052 |    21786     14 |      397 |      338
319.64/319.71	c  319s |      16 |  2121652 |   155452 |    21786     15 |      397 |      338
321.74/321.80	c  321s |      16 |  2141627 |   156552 |    21786     15 |      397 |      338
323.75/323.89	c  323s |      16 |  2151650 |   157752 |    21786     15 |      397 |      338
325.85/326.00	c  325s |      16 |  2165112 |   159052 |    21786     15 |      397 |      338
327.94/328.09	c  327s |      16 |  2170655 |   159952 |    21786     15 |      397 |      338
330.14/330.30	c  330s |      16 |  2173763 |   160852 |    21786     15 |      397 |      338
332.24/332.33	c  332s |      16 |  2193649 |   162052 |    21786     15 |      397 |      338
334.34/334.45	c  334s |      16 |  2210998 |   163252 |    21786     15 |      397 |      338
336.44/336.50	c  336s |      16 |  2220960 |   164152 |    21786     15 |      397 |      338
338.63/338.75	c  338s |      16 |  2236570 |   165452 |    21786     16 |      397 |      338
340.73/340.80	c  340s |      16 |  2265321 |   167052 |    21786     16 |      397 |      338
342.73/342.87	c  342s |      16 |  2272300 |   168452 |    21786     16 |      397 |      338
344.93/345.02	c  344s |      16 |  2287975 |   169752 |    21786     16 |      397 |      338
347.03/347.16	c  346s |      16 |  2308598 |   171052 |    21786     16 |      397 |      338
349.04/349.17	c  348s |      16 |  2318495 |   171952 |    21786     16 |      397 |      338
351.33/351.43	c  351s |      16 |  2327972 |   173052 |    21786     16 |      397 |      338
353.35/353.47	c  353s |      16 |  2330926 |   173652 |    21786     16 |      397 |      338
355.44/355.56	c  355s |      16 |  2339407 |   174852 |    21786     16 |      397 |      338
357.54/357.63	c  357s |      16 |  2353825 |   176052 |    21786     16 |      397 |      338
359.64/359.72	c  359s |      16 |  2362648 |   176752 |    21786     17 |      397 |      338
361.74/361.82	c  361s |      16 |  2366048 |   177652 |    21786     17 |      397 |      338
364.14/364.21	c  363s |      16 |  2368137 |   178252 |    21786     17 |      397 |      338
366.34/366.45	c  366s |      16 |  2370282 |   178852 |    21786     17 |      397 |      338
368.34/368.46	c  368s |      16 |  2371204 |   179152 |    21786     17 |      397 |      338
370.53/370.67	c  370s |      16 |  2372751 |   179552 |    21786     17 |      397 |      338
372.83/372.99	c  372s |      16 |  2374808 |   180052 |    21786     17 |      397 |      338
375.13/375.27	c  375s |      16 |  2376168 |   180452 |    21786     17 |      397 |      338
377.93/378.04	c  377s |      16 |  2376987 |   180752 |    21786     17 |      397 |      338
380.43/380.60	c  380s |      16 |  2377953 |   181052 |    21786     17 |      397 |      338
382.63/382.76	c  382s |      16 |  2379976 |   181452 |    21786     17 |      397 |      338
384.73/384.89	c  384s |      16 |  2380987 |   181852 |    21786     17 |      397 |      338
387.13/387.29	c  387s |      16 |  2383146 |   182352 |    21786     17 |      397 |      338
389.53/389.61	c  389s |      16 |  2383919 |   182652 |    21786     17 |      397 |      338
392.03/392.13	c  391s |      16 |  2384682 |   182952 |    21786     17 |      397 |      338
394.04/394.14	c  393s |      16 |  2385569 |   183352 |    21786     17 |      397 |      338
396.24/396.33	c  396s |      16 |  2387342 |   183952 |    21786     17 |      397 |      338
398.23/398.38	c  398s |      16 |  2390140 |   184552 |    21786     17 |      397 |      338
400.63/400.73	c  400s |      16 |  2402910 |   185652 |    21786     17 |      397 |      338
402.72/402.90	c  402s |      16 |  2406202 |   186252 |    21786     17 |      397 |      338
405.03/405.15	c  404s |      16 |  2428205 |   187452 |    21786     17 |      397 |      338
407.33/407.49	c  407s |      16 |  2434738 |   188352 |    21786     18 |      397 |      338
409.43/409.59	c  409s |      16 |  2460202 |   189852 |    21786     18 |      397 |      338
411.63/411.71	c  411s |      16 |  2484620 |   191552 |    21786     18 |      397 |      338
413.72/413.86	c  413s |      16 |  2504277 |   192952 |    21786     18 |      397 |      338
415.92/416.06	c  415s |      16 |  2518608 |   194352 |    21786     18 |      397 |      338
418.02/418.13	c  417s |      16 |  2525480 |   195152 |    21786     18 |      397 |      338
420.02/420.13	c  419s |      16 |  2534274 |   196252 |    23965     18 |      397 |      338
422.63/422.78	c  422s |      16 |  2545806 |   197252 |    23965     18 |      397 |      338
423.12/423.21	c  422s |      17 |  2548472 |   197432 |    23965     18 |      397 |      338
425.22/425.30	c  425s |      17 |  2577370 |   198632 |    23965     18 |      397 |      338
427.22/427.33	c  427s |      17 |  2584844 |   199532 |    23965     18 |      397 |      338
429.42/429.56	c  429s |      17 |  2591390 |   200532 |    23965     18 |      397 |      338
431.73/431.83	c  431s |      17 |  2596998 |   201632 |    23965     18 |      397 |      338
433.83/433.91	c  433s |      17 |  2604803 |   202632 |    23965     19 |      397 |      338
436.03/436.14	c  435s |      17 |  2617441 |   203932 |    23965     19 |      397 |      338
438.03/438.18	c  437s |      17 |  2621072 |   204932 |    23965     19 |      397 |      338
440.13/440.21	c  439s |      17 |  2628919 |   206132 |    23965     19 |      397 |      338
442.13/442.26	c  442s |      17 |  2631830 |   206932 |    23965     19 |      397 |      338
444.33/444.47	c  444s |      17 |  2634536 |   207732 |    23965     19 |      397 |      338
446.53/446.62	c  446s |      17 |  2636490 |   208332 |    23965     19 |      397 |      338
448.62/448.78	c  448s |      17 |  2639628 |   209132 |    23965     19 |      397 |      338
451.12/451.20	c  450s |      17 |  2641680 |   209732 |    23965     19 |      397 |      338
453.12/453.28	c  453s |      17 |  2644161 |   210332 |    23965     19 |      397 |      338
455.42/455.54	c  455s |      17 |  2645465 |   210832 |    23965     19 |      397 |      338
457.62/457.71	c  457s |      17 |  2646349 |   211232 |    23965     19 |      397 |      338
459.82/460.00	c  459s |      17 |  2647808 |   211832 |    23965     19 |      397 |      338
462.12/462.28	c  462s |      17 |  2648820 |   212232 |    23965     19 |      397 |      338
464.22/464.38	c  464s |      17 |  2649906 |   212632 |    23965     19 |      397 |      338
466.32/466.49	c  466s |      17 |  2650967 |   213032 |    23965     19 |      397 |      338
468.42/468.56	c  468s |      17 |  2651909 |   213432 |    23965     19 |      397 |      338
470.62/470.77	c  470s |      17 |  2653245 |   213932 |    23965     19 |      397 |      338
472.91/473.04	c  472s |      17 |  2654544 |   214332 |    23965     19 |      397 |      338
475.21/475.34	c  475s |      17 |  2655027 |   214632 |    23965     19 |      397 |      338
477.31/477.46	c  477s |      17 |  2656748 |   215032 |    23965     19 |      397 |      338
479.83/479.94	c  479s |      17 |  2658372 |   215432 |    23965     19 |      397 |      338
482.12/482.24	c  481s |      17 |  2658933 |   215732 |    23965     19 |      397 |      338
484.71/484.83	c  484s |      17 |  2659477 |   216032 |    23965     19 |      397 |      338
487.62/487.77	c  487s |      17 |  2660012 |   216332 |    23965     19 |      397 |      338
489.91/490.09	c  489s |      17 |  2660562 |   216632 |    23965     19 |      397 |      338
492.71/492.80	c  492s |      17 |  2661303 |   217032 |    23965     19 |      397 |      338
494.81/494.96	c  494s |      17 |  2662117 |   217432 |    23965     19 |      397 |      338
497.01/497.13	c  496s |      17 |  2662916 |   217732 |    23965     19 |      397 |      338
499.31/499.48	c  499s |      17 |  2663480 |   217932 |    23965     20 |      397 |      338
501.31/501.49	c  501s |      17 |  2668639 |   218632 |    23965     20 |      397 |      338
503.31/503.49	c  503s |      17 |  2675779 |   219632 |    23965     20 |      397 |      338
505.62/505.73	c  505s |      17 |  2678829 |   220232 |    23965     20 |      397 |      338
507.72/507.83	c  507s |      17 |  2681605 |   220832 |    23965     20 |      397 |      338
510.02/510.13	c  509s |      17 |  2683834 |   221432 |    23965     20 |      397 |      338
512.41/512.54	c  512s |      17 |  2686108 |   222032 |    23965     20 |      397 |      338
514.51/514.63	c  514s |      17 |  2687874 |   222632 |    23965     20 |      397 |      338
516.81/516.91	c  516s |      17 |  2690745 |   223232 |    23965     20 |      397 |      338
518.91/519.03	c  518s |      17 |  2693917 |   223732 |    23965     20 |      397 |      338
521.41/521.54	c  521s |      17 |  2695075 |   224132 |    23965     20 |      397 |      338
523.71/523.86	c  523s |      17 |  2697096 |   224532 |    23965     20 |      397 |      338
525.71/525.86	c  525s |      17 |  2703255 |   225332 |    23965     20 |      397 |      338
527.91/528.03	c  527s |      17 |  2707194 |   226132 |    23965     20 |      397 |      338
530.11/530.29	c  530s |      17 |  2708540 |   226632 |    23965     20 |      397 |      338
532.31/532.40	c  532s |      17 |  2709976 |   227132 |    23965     20 |      397 |      338
534.41/534.58	c  534s |      17 |  2712110 |   227632 |    23965     20 |      397 |      338
536.71/536.86	c  536s |      17 |  2713472 |   228032 |    23965     20 |      397 |      338
538.81/538.91	c  538s |      17 |  2714365 |   228332 |    23965     20 |      397 |      338
541.31/541.43	c  541s |      17 |  2715542 |   228732 |    23965     20 |      397 |      338
543.41/543.54	c  543s |      17 |  2716923 |   229132 |    23965     20 |      397 |      338
545.41/545.56	c  545s |      17 |  2717541 |   229432 |    23965     20 |      397 |      338
547.81/547.93	c  547s |      17 |  2718704 |   229832 |    23965     20 |      397 |      338
550.21/550.35	c  550s |      17 |  2720551 |   230332 |    23965     20 |      397 |      338
552.20/552.37	c  552s |      17 |  2728878 |   231232 |    23965     21 |      397 |      338
554.30/554.44	c  554s |      17 |  2738848 |   232632 |    23965     21 |      397 |      338
556.30/556.49	c  556s |      17 |  2741907 |   233332 |    23965     21 |      397 |      338
558.40/558.54	c  558s |      17 |  2749879 |   234632 |    23965     21 |      397 |      338
560.80/560.94	c  560s |      17 |  2758486 |   235932 |    23965     21 |      397 |      338
563.00/563.17	c  562s |      17 |  2766370 |   236832 |    23965     21 |      397 |      338
565.20/565.38	c  565s |      17 |  2773802 |   237732 |    23965     21 |      397 |      338
568.30/568.45	c  568s |      17 |  2774757 |   238032 |    23965     21 |      397 |      338
570.70/570.89	c  570s |      17 |  2776781 |   238332 |    23965     21 |      397 |      338
572.90/573.06	c  572s |      17 |  2777861 |   238532 |    23965     21 |      397 |      338
575.20/575.33	c  575s |      17 |  2783427 |   239432 |    23965     21 |      397 |      338
577.30/577.43	c  577s |      17 |  2785568 |   239832 |    23965     21 |      397 |      338
579.80/579.93	c  579s |      17 |  2787446 |   240432 |    23965     21 |      397 |      338
581.80/581.95	c  581s |      17 |  2788179 |   240732 |    23965     21 |      397 |      338
584.30/584.41	c  584s |      17 |  2789378 |   241132 |    23965     21 |      397 |      338
586.30/586.42	c  586s |      17 |  2791736 |   241632 |    23965     21 |      397 |      338
588.60/588.75	c  588s |      17 |  2793312 |   242032 |    23965     21 |      397 |      338
590.60/590.78	c  590s |      17 |  2794203 |   242332 |    23965     21 |      397 |      338
592.70/592.81	c  592s |      17 |  2794556 |   242532 |    23965     21 |      397 |      338
594.99/595.18	c  594s |      17 |  2797351 |   243032 |    23965     21 |      397 |      338
597.09/597.26	c  597s |      17 |  2806664 |   243932 |    23965     22 |      397 |      338
599.19/599.33	c  599s |      17 |  2810335 |   244632 |    23965     22 |      397 |      338
601.29/601.49	c  601s |      17 |  2819428 |   245732 |    23965     22 |      397 |      338
603.39/603.58	c  603s |      17 |  2824546 |   246632 |    23965     22 |      397 |      338
605.49/605.62	c  605s |      17 |  2831209 |   247532 |    23965     22 |      397 |      338
607.59/607.71	c  607s |      17 |  2839217 |   248632 |    23965     22 |      397 |      338
610.09/610.20	c  609s |      17 |  2840763 |   249232 |    23965     22 |      397 |      338
612.09/612.28	c  612s |      17 |  2843247 |   249832 |    23965     22 |      397 |      338
614.19/614.35	c  614s |      17 |  2846052 |   250532 |    23965     22 |      397 |      338
616.39/616.52	c  616s |      17 |  2847353 |   251132 |    23965     22 |      397 |      338
618.99/619.13	c  618s |      17 |  2848354 |   251532 |    23965     22 |      397 |      338
621.09/621.20	c  620s |      17 |  2849759 |   251932 |    23965     22 |      397 |      338
623.70/623.87	c  623s |      17 |  2850700 |   252332 |    23965     22 |      397 |      338
625.80/625.95	c  625s |      17 |  2851829 |   252732 |    23965     22 |      397 |      338
627.90/628.01	c  627s |      17 |  2852504 |   253032 |    23965     22 |      397 |      338
630.30/630.45	c  630s |      17 |  2853750 |   253432 |    23965     22 |      397 |      338
632.90/633.04	c  632s |      17 |  2854664 |   253832 |    23965     22 |      397 |      338
635.10/635.29	c  635s |      17 |  2854996 |   254032 |    23965     22 |      397 |      338
637.39/637.55	c  637s |      17 |  2855405 |   254232 |    23965     22 |      397 |      338
639.79/639.99	c  639s |      17 |  2856114 |   254532 |    23965     22 |      397 |      338
642.29/642.46	c  642s |      17 |  2856713 |   254832 |    23965     22 |      397 |      338
644.69/644.85	c  644s |      17 |  2857795 |   255132 |    23965     22 |      397 |      338
646.89/647.01	c  646s |      17 |  2858508 |   255332 |    23965     22 |      397 |      338
648.99/649.18	c  648s |      17 |  2863664 |   256032 |    23965     22 |      397 |      338
651.09/651.28	c  651s |      17 |  2865713 |   256532 |    23965     22 |      397 |      338
653.29/653.43	c  653s |      17 |  2866370 |   256832 |    23965     22 |      397 |      338
655.49/655.68	c  655s |      17 |  2866905 |   257132 |    23965     22 |      397 |      338
658.00/658.13	c  657s |      17 |  2868123 |   257532 |    23965     22 |      397 |      338
660.69/660.87	c  660s |      17 |  2868906 |   257832 |    23965     22 |      397 |      338
663.39/663.50	c  663s |      17 |  2870020 |   258232 |    23965     22 |      397 |      338
665.39/665.59	c  665s |      17 |  2871235 |   258532 |    23965     23 |      397 |      338
667.69/667.87	c  667s |      17 |  2872468 |   259032 |    23965     23 |      397 |      338
670.59/670.74	c  670s |      17 |  2873600 |   259432 |    23965     23 |      397 |      338
673.19/673.37	c  673s |      17 |  2874405 |   259832 |    23965     23 |      397 |      338
675.39/675.52	c  675s |      17 |  2877793 |   260532 |    23965     23 |      397 |      338
677.79/677.91	c  677s |      17 |  2885019 |   261432 |    23965     23 |      397 |      338
680.18/680.35	c  680s |      17 |  2890353 |   262232 |    23965     23 |      397 |      338
682.58/682.70	c  682s |      17 |  2892907 |   262932 |    23965     23 |      397 |      338
684.58/684.70	c  684s |      17 |  2894676 |   263432 |    23965     23 |      397 |      338
686.59/686.74	c  686s |      17 |  2896415 |   263832 |    23965     23 |      397 |      338
688.68/688.81	c  688s |      17 |  2898652 |   264232 |    23965     23 |      397 |      338
690.78/690.93	c  690s |      17 |  2900482 |   264832 |    23965     23 |      397 |      338
693.08/693.30	c  693s |      17 |  2901584 |   265132 |    23965     23 |      397 |      338
695.59/695.75	c  695s |      17 |  2902942 |   265532 |    23965     23 |      397 |      338
697.89/698.03	c  697s |      17 |  2903822 |   265832 |    23965     23 |      397 |      338
700.19/700.32	c  700s |      17 |  2905005 |   266232 |    23965     23 |      397 |      338
702.79/702.95	c  702s |      17 |  2906208 |   266632 |    23965     23 |      397 |      338
705.29/705.45	c  705s |      17 |  2907428 |   266932 |    23965     23 |      397 |      338
707.59/707.74	c  707s |      17 |  2909091 |   267332 |    23965     23 |      397 |      338
710.18/710.39	c  710s |      17 |  2909969 |   267632 |    23965     23 |      397 |      338
712.38/712.50	c  712s |      17 |  2910755 |   267832 |    23965     23 |      397 |      338
714.98/715.10	c  714s |      17 |  2911597 |   268132 |    23965     23 |      397 |      338
717.18/717.37	c  717s |      17 |  2912829 |   268532 |    23965     23 |      397 |      338
719.28/719.47	c  719s |      17 |  2913904 |   268932 |    23965     23 |      397 |      338
721.38/721.55	c  721s |      17 |  2915001 |   269232 |    23965     23 |      397 |      338
724.47/724.64	c  724s |      17 |  2915831 |   269532 |    23965     23 |      397 |      338
726.58/726.73	c  726s |      17 |  2916195 |   269732 |    23965     23 |      397 |      338
728.88/729.08	c  728s |      17 |  2916914 |   270032 |    23965     23 |      397 |      338
731.69/731.88	c  731s |      17 |  2917835 |   270332 |    23965     23 |      397 |      338
734.48/734.61	c  734s |      17 |  2917996 |   270432 |    23965     23 |      397 |      338
736.68/736.82	c  736s |      17 |  2921062 |   270932 |    23965     23 |      397 |      338
738.88/739.02	c  738s |      17 |  2923234 |   271432 |    23965     23 |      397 |      338
741.68/741.88	c  741s |      17 |  2924061 |   271832 |    23965     23 |      397 |      338
744.37/744.53	c  744s |      17 |  2924497 |   272132 |    23965     23 |      397 |      338
746.97/747.11	c  746s |      17 |  2925715 |   272632 |    23965     23 |      397 |      338
749.17/749.31	c  749s |      17 |  2926422 |   272932 |    23965     24 |      397 |      338
751.27/751.46	c  751s |      17 |  2928866 |   273432 |    23965     24 |      397 |      338
753.37/753.54	c  753s |      17 |  2943175 |   274732 |    23965     24 |      397 |      338
755.37/755.58	c  755s |      17 |  2953711 |   275732 |    23965     24 |      397 |      338
757.47/757.63	c  757s |      17 |  2965482 |   276932 |    23965     24 |      397 |      338
759.67/759.81	c  759s |      17 |  2972235 |   278032 |    23965     24 |      397 |      338
761.87/762.05	c  761s |      17 |  2978538 |   279032 |    23965     24 |      397 |      338
763.97/764.11	c  763s |      17 |  2983460 |   280132 |    23965     24 |      397 |      338
765.97/766.12	c  765s |      17 |  2985961 |   281032 |    23965     24 |      397 |      338
768.08/768.21	c  767s |      17 |  2988596 |   281932 |    23965     24 |      397 |      338
770.28/770.41	c  770s |      17 |  2992232 |   282832 |    23965     24 |      397 |      338
772.38/772.56	c  772s |      17 |  2993176 |   283332 |    23965     24 |      397 |      338
774.87/775.05	c  774s |      17 |  2994576 |   283832 |    23965     24 |      397 |      338
777.67/777.89	c  777s |      17 |  2995327 |   284132 |    23965     24 |      397 |      338
780.08/780.28	c  780s |      17 |  2995659 |   284332 |    23965     24 |      397 |      338
782.47/782.67	c  782s |      17 |  2996290 |   284632 |    23965     24 |      397 |      338
785.07/785.20	c  784s |      17 |  2996989 |   284932 |    23965     24 |      397 |      338
787.17/787.35	c  787s |      17 |  3003329 |   285632 |    23965     25 |      397 |      338
789.27/789.40	c  789s |      17 |  3014817 |   287132 |    23965     25 |      397 |      338
792.07/792.25	c  792s |      17 |  3019534 |   287932 |    23965     25 |      397 |      338
794.38/794.53	c  794s |      17 |  3022192 |   288632 |    23965     25 |      397 |      338
797.07/797.24	c  796s |      17 |  3023918 |   289132 |    23965     25 |      397 |      338
799.77/799.91	c  799s |      17 |  3026389 |   289632 |    23965     25 |      397 |      338
801.97/802.10	c  801s |      17 |  3028037 |   289932 |    23965     25 |      397 |      338
804.06/804.22	c  803s |      17 |  3031867 |   290732 |    23965     25 |      397 |      338
806.06/806.23	c  805s |      17 |  3033122 |   291232 |    23965     25 |      397 |      338
808.06/808.29	c  808s |      17 |  3035780 |   291632 |    23965     25 |      397 |      338
810.36/810.50	c  810s |      17 |  3041043 |   292532 |    23965     25 |      397 |      338
812.56/812.71	c  812s |      17 |  3047610 |   293432 |    23965     25 |      397 |      338
814.56/814.74	c  814s |      17 |  3052162 |   294332 |    26362     25 |      397 |      338
816.76/816.93	c  816s |      17 |  3057514 |   295232 |    26362     25 |      397 |      338
818.67/818.89	c  818s |      18 |  3065641 |   296252 |    26362     25 |      397 |      338
820.77/820.95	c  820s |      18 |  3083906 |   297452 |    26362     25 |      397 |      338
823.26/823.48	c  823s |      18 |  3116366 |   298852 |    26362     26 |      398 |      339
825.46/825.61	c  825s |      18 |  3140175 |   300552 |    26362     26 |      398 |      339
827.56/827.76	c  827s |      18 |  3146382 |   301652 |    26362     26 |      398 |      339
829.57/829.79	c  829s |      18 |  3159705 |   302752 |    26362     26 |      398 |      339
831.66/831.83	c  831s |      18 |  3178183 |   304152 |    26362     26 |      398 |      339
833.66/833.85	c  833s |      18 |  3194374 |   305452 |    26362     26 |      398 |      339
835.76/835.93	c  835s |      18 |  3221517 |   306752 |    26362     26 |      398 |      339
837.76/837.99	c  837s |      18 |  3240092 |   308052 |    26362     26 |      398 |      339
840.06/840.22	c  839s |      18 |  3250083 |   309152 |    26362     26 |      398 |      339
842.46/842.60	c  842s |      18 |  3251416 |   309752 |    26362     26 |      398 |      339
844.66/844.80	c  844s |      18 |  3259767 |   310452 |    26362     26 |      398 |      339
846.66/846.90	c  846s |      18 |  3270546 |   311452 |    26362     26 |      398 |      339
848.76/848.92	c  848s |      18 |  3281728 |   312452 |    26362     26 |      398 |      339
851.26/851.40	c  851s |      18 |  3290064 |   313352 |    26362     27 |      398 |      339
853.26/853.44	c  853s |      18 |  3321413 |   315152 |    26362     27 |      398 |      339
855.46/855.61	c  855s |      18 |  3327015 |   315952 |    26362     27 |      398 |      339
857.55/857.76	c  857s |      18 |  3337534 |   316952 |    26362     27 |      398 |      339
859.56/859.78	c  859s |      18 |  3344109 |   317952 |    26362     27 |      398 |      339
861.57/861.79	c  861s |      18 |  3353161 |   318852 |    26362     27 |      398 |      339
863.77/863.92	c  863s |      18 |  3364403 |   319952 |    26362     27 |      398 |      339
865.87/866.04	c  865s |      18 |  3381555 |   321252 |    26362     27 |      398 |      339
867.96/868.17	c  867s |      18 |  3395661 |   322352 |    26362     27 |      398 |      339
870.06/870.23	c  869s |      18 |  3408919 |   323552 |    26362     27 |      398 |      339
872.06/872.24	c  871s |      18 |  3417937 |   324552 |    26362     27 |      398 |      339
874.16/874.32	c  874s |      18 |  3427295 |   325752 |    26362     27 |      398 |      339
876.46/876.62	c  876s |      18 |  3432400 |   326752 |    26362     27 |      398 |      339
878.66/878.85	c  878s |      18 |  3433597 |   327152 |    26362     27 |      398 |      339
880.86/881.05	c  880s |      18 |  3437359 |   327652 |    26362     27 |      398 |      339
882.96/883.14	c  882s |      18 |  3447349 |   328852 |    26362     28 |      398 |      339
885.26/885.43	c  885s |      18 |  3449190 |   329552 |    26362     28 |      398 |      339
887.36/887.59	c  887s |      18 |  3465296 |   331052 |    26362     28 |      398 |      339
889.46/889.62	c  889s |      18 |  3477510 |   332252 |    26362     28 |      398 |      339
891.76/891.99	c  891s |      18 |  3480683 |   333252 |    26362     28 |      398 |      339
893.86/894.08	c  893s |      18 |  3492432 |   334552 |    26362     28 |      398 |      339
895.96/896.18	c  895s |      18 |  3506132 |   336052 |    26362     28 |      398 |      339
898.05/898.28	c  898s |      18 |  3519007 |   337352 |    26362     28 |      398 |      339
900.45/900.62	c  900s |      18 |  3525888 |   338452 |    26362     28 |      398 |      339
902.55/902.72	c  902s |      18 |  3537178 |   339652 |    26362     28 |      398 |      339
904.75/904.91	c  904s |      18 |  3541341 |   340652 |    26362     28 |      398 |      339
906.95/907.11	c  906s |      18 |  3542826 |   341252 |    26362     28 |      398 |      339
909.25/909.41	c  909s |      18 |  3545029 |   341952 |    26362     28 |      398 |      339
911.35/911.54	c  911s |      18 |  3546210 |   342452 |    26362     28 |      398 |      339
913.45/913.66	c  913s |      18 |  3547524 |   342852 |    26362     29 |      398 |      339
915.55/915.71	c  915s |      18 |  3558056 |   344252 |    26362     29 |      398 |      339
917.56/917.73	c  917s |      18 |  3586277 |   345852 |    26362     29 |      398 |      339
919.76/919.96	c  919s |      18 |  3592766 |   346852 |    26362     29 |      398 |      339
921.95/922.13	c  921s |      18 |  3597110 |   347952 |    26362     29 |      398 |      339
923.95/924.14	c  923s |      18 |  3607033 |   349052 |    26362     29 |      398 |      339
925.95/926.16	c  925s |      18 |  3616010 |   350152 |    26362     29 |      398 |      339
928.05/928.28	c  928s |      18 |  3628942 |   351252 |    26362     29 |      398 |      339
930.15/930.35	c  930s |      18 |  3649717 |   352652 |    26362     29 |      398 |      339
932.25/932.41	c  932s |      18 |  3660287 |   353952 |    26362     29 |      398 |      339
934.25/934.49	c  934s |      18 |  3680980 |   355052 |    26362     30 |      398 |      339
936.35/936.59	c  936s |      18 |  3697413 |   356452 |    26362     30 |      398 |      339
938.46/938.61	c  938s |      18 |  3702534 |   357652 |    26362     30 |      398 |      339
940.55/940.74	c  940s |      18 |  3709660 |   358752 |    26362     30 |      398 |      339
942.75/942.96	c  942s |      18 |  3712024 |   359552 |    26362     30 |      398 |      339
944.95/945.19	c  944s |      18 |  3713492 |   360152 |    26362     30 |      398 |      339
947.15/947.38	c  947s |      18 |  3716375 |   360852 |    26362     30 |      398 |      339
949.35/949.54	c  949s |      18 |  3719064 |   361452 |    26362     30 |      398 |      339
951.65/951.89	c  951s |      18 |  3720266 |   361852 |    26362     30 |      398 |      339
954.45/954.67	c  954s |      18 |  3721302 |   362252 |    26362     30 |      398 |      339
956.55/956.74	c  956s |      18 |  3722567 |   362652 |    26362     30 |      398 |      339
958.75/958.93	c  958s |      18 |  3723942 |   363052 |    26362     30 |      398 |      339
960.85/961.06	c  960s |      18 |  3725420 |   363452 |    26362     30 |      398 |      339
963.44/963.60	c  963s |      18 |  3726305 |   363852 |    26362     30 |      398 |      339
965.74/965.96	c  965s |      18 |  3727012 |   364152 |    26362     30 |      398 |      339
968.15/968.38	c  968s |      18 |  3727678 |   364452 |    26362     30 |      398 |      339
970.84/971.08	c  970s |      18 |  3728400 |   364752 |    26362     30 |      398 |      339
972.94/973.15	c  972s |      18 |  3729416 |   365052 |    26362     30 |      398 |      339
975.74/975.97	c  975s |      18 |  3730140 |   365352 |    26362     30 |      398 |      339
977.84/978.09	c  977s |      18 |  3731298 |   365652 |    26362     30 |      398 |      339
980.44/980.65	c  980s |      18 |  3731922 |   365952 |    26362     30 |      398 |      339
983.44/983.68	c  983s |      18 |  3732678 |   366252 |    26362     30 |      398 |      339
985.85/986.05	c  985s |      18 |  3733367 |   366552 |    26362     30 |      398 |      339
988.54/988.78	c  988s |      18 |  3734343 |   366852 |    26362     30 |      398 |      339
990.94/991.15	c  990s |      18 |  3735404 |   367152 |    26362     30 |      398 |      339
994.14/994.35	c  994s |      18 |  3736106 |   367452 |    26362     30 |      398 |      339
997.14/997.31	c  997s |      18 |  3736650 |   367752 |    26362     30 |      398 |      339
999.54/999.76	c  999s |      18 |  3736807 |   367852 |    26362     30 |      398 |      339
1001.54/1001.78	c 1001s |      18 |  3739726 |   368552 |    26362     31 |      398 |      339
1003.63/1003.83	c 1003s |      18 |  3742033 |   369252 |    26362     31 |      398 |      339
1005.64/1005.88	c 1005s |      18 |  3745126 |   369852 |    26362     31 |      398 |      339
1007.85/1008.01	c 1007s |      18 |  3748549 |   370652 |    26362     31 |      398 |      339
1009.95/1010.14	c 1009s |      18 |  3753997 |   371652 |    26362     31 |      398 |      339
1011.94/1012.19	c 1011s |      18 |  3758510 |   372352 |    26362     31 |      398 |      339
1014.04/1014.29	c 1014s |      18 |  3762213 |   373052 |    26362     31 |      398 |      339
1016.34/1016.51	c 1016s |      18 |  3763921 |   373552 |    26362     31 |      398 |      339
1018.54/1018.74	c 1018s |      18 |  3765310 |   373952 |    26362     31 |      398 |      339
1020.94/1021.17	c 1020s |      18 |  3766391 |   374352 |    26362     31 |      398 |      339
1023.14/1023.31	c 1023s |      18 |  3767089 |   374652 |    26362     31 |      398 |      339
1025.14/1025.37	c 1025s |      18 |  3768435 |   375052 |    26362     31 |      398 |      339
1027.73/1027.96	c 1027s |      18 |  3769616 |   375452 |    26362     31 |      398 |      339
1029.93/1030.19	c 1029s |      18 |  3772515 |   375952 |    26362     31 |      398 |      339
1032.13/1032.33	c 1032s |      18 |  3773626 |   376252 |    26362     31 |      398 |      339
1034.53/1034.72	c 1034s |      18 |  3775575 |   376652 |    26362     31 |      398 |      339
1036.63/1036.87	c 1036s |      18 |  3790418 |   378052 |    26362     31 |      398 |      339
1038.64/1038.87	c 1038s |      18 |  3799113 |   379252 |    26362     31 |      398 |      339
1040.84/1041.06	c 1040s |      18 |  3804336 |   380352 |    26362     31 |      398 |      339
1042.94/1043.18	c 1042s |      18 |  3805384 |   380952 |    26362     31 |      398 |      339
1045.14/1045.33	c 1045s |      18 |  3806436 |   381452 |    26362     31 |      398 |      339
1047.13/1047.34	c 1047s |      18 |  3809373 |   382152 |    26362     32 |      398 |      339
1049.33/1049.59	c 1049s |      18 |  3811840 |   383152 |    26362     32 |      398 |      339
1051.53/1051.73	c 1051s |      18 |  3817692 |   384452 |    26362     32 |      398 |      339
1053.63/1053.85	c 1053s |      18 |  3822169 |   385452 |    26362     32 |      398 |      339
1055.73/1055.91	c 1055s |      18 |  3824678 |   386252 |    26362     32 |      398 |      339
1057.93/1058.18	c 1057s |      18 |  3828317 |   387052 |    26362     32 |      398 |      339
1060.03/1060.25	c 1059s |      18 |  3830373 |   387652 |    26362     32 |      398 |      339
1062.03/1062.26	c 1062s |      18 |  3834435 |   388552 |    26362     32 |      398 |      339
1064.13/1064.37	c 1064s |      18 |  3837458 |   389352 |    26362     32 |      398 |      339
1066.23/1066.42	c 1066s |      18 |  3840796 |   390152 |    26362     32 |      398 |      339
1068.34/1068.59	c 1068s |      18 |  3843911 |   390952 |    26362     32 |      398 |      339
1070.44/1070.60	c 1070s |      18 |  3846392 |   391552 |    26362     32 |      398 |      339
1072.43/1072.68	c 1072s |      18 |  3847707 |   392052 |    26362     32 |      398 |      339
1074.73/1074.93	c 1074s |      18 |  3848846 |   392452 |    26362     32 |      398 |      339
1076.72/1076.96	c 1076s |      18 |  3849160 |   392652 |    26362     32 |      398 |      339
1079.02/1079.25	c 1079s |      18 |  3851496 |   393252 |    26362     32 |      398 |      339
1081.23/1081.46	c 1081s |      18 |  3853410 |   393852 |    26362     32 |      398 |      339
1083.74/1083.91	c 1083s |      18 |  3854720 |   394352 |    26362     32 |      398 |      339
1085.93/1086.12	c 1085s |      18 |  3856151 |   394852 |    26362     32 |      398 |      339
1088.42/1088.65	c 1088s |      18 |  3856853 |   395152 |    26362     33 |      398 |      339
1090.62/1090.80	c 1090s |      18 |  3862746 |   396452 |    26362     33 |      398 |      339
1092.72/1092.97	c 1092s |      18 |  3865873 |   397352 |    26362     33 |      398 |      339
1094.82/1095.03	c 1094s |      18 |  3869138 |   398152 |    26362     33 |      398 |      339
1097.03/1097.21	c 1096s |      18 |  3870526 |   398652 |    26362     33 |      398 |      339
1099.42/1099.60	c 1099s |      18 |  3872123 |   399252 |    26362     33 |      398 |      339
1101.52/1101.75	c 1101s |      18 |  3873477 |   399752 |    26362     33 |      398 |      339
1103.53/1103.79	c 1103s |      18 |  3875528 |   400352 |    26362     33 |      398 |      339
1105.63/1105.87	c 1105s |      18 |  3877805 |   400952 |    26362     33 |      398 |      339
1107.83/1108.06	c 1107s |      18 |  3882009 |   401752 |    26362     33 |      398 |      339
1109.82/1110.06	c 1109s |      18 |  3884526 |   402252 |    26362     33 |      398 |      339
1112.13/1112.30	c 1112s |      18 |  3886310 |   402852 |    26362     33 |      398 |      339
1114.12/1114.38	c 1114s |      18 |  3887889 |   403352 |    26362     33 |      398 |      339
1116.42/1116.69	c 1116s |      18 |  3890019 |   403952 |    26362     33 |      398 |      339
1118.52/1118.72	c 1118s |      18 |  3891186 |   404352 |    26362     33 |      398 |      339
1120.52/1120.73	c 1120s |      18 |  3892540 |   404752 |    26362     33 |      398 |      339
1122.72/1122.92	c 1122s |      18 |  3893881 |   405252 |    26362     33 |      398 |      339
1124.82/1125.05	c 1124s |      18 |  3896726 |   405852 |    26362     33 |      398 |      339
1127.22/1127.41	c 1127s |      18 |  3898717 |   406452 |    26362     33 |      398 |      339
1129.22/1129.44	c 1129s |      18 |  3899494 |   406752 |    26362     33 |      398 |      339
1131.22/1131.45	c 1131s |      18 |  3900422 |   407052 |    26362     33 |      398 |      339
1133.23/1133.47	c 1133s |      18 |  3901954 |   407552 |    26362     33 |      398 |      339
1135.43/1135.65	c 1135s |      18 |  3902732 |   407952 |    26362     33 |      398 |      339
1137.82/1138.09	c 1137s |      18 |  3903579 |   408352 |    26362     33 |      398 |      339
1139.92/1140.13	c 1139s |      18 |  3903977 |   408552 |    26362     34 |      398 |      339
1142.21/1142.41	c 1142s |      18 |  3905643 |   409252 |    26362     34 |      398 |      339
1144.61/1144.80	c 1144s |      18 |  3906825 |   409852 |    26362     34 |      398 |      339
1146.62/1146.86	c 1146s |      18 |  3907939 |   410352 |    26362     34 |      398 |      339
1148.82/1149.09	c 1148s |      18 |  3909518 |   410952 |    26362     34 |      398 |      339
1151.02/1151.23	c 1150s |      18 |  3911883 |   411652 |    26362     34 |      398 |      339
1153.02/1153.29	c 1153s |      18 |  3913215 |   412252 |    26362     34 |      398 |      339
1155.12/1155.35	c 1155s |      18 |  3916438 |   413252 |    26362     34 |      398 |      339
1157.21/1157.47	c 1157s |      18 |  3918697 |   413952 |    26362     34 |      398 |      339
1159.52/1159.74	c 1159s |      18 |  3920887 |   414652 |    26362     34 |      398 |      339
1161.61/1161.81	c 1161s |      18 |  3923409 |   415352 |    26362     34 |      398 |      339
1163.92/1164.14	c 1163s |      18 |  3924700 |   415752 |    26362     34 |      398 |      339
1165.91/1166.16	c 1165s |      18 |  3925750 |   416252 |    26362     34 |      398 |      339
1168.02/1168.29	c 1168s |      18 |  3927177 |   416752 |    26362     34 |      398 |      339
1170.62/1170.82	c 1170s |      18 |  3927743 |   417052 |    26362     34 |      398 |      339
1173.41/1173.67	c 1173s |      18 |  3928562 |   417452 |    26362     34 |      398 |      339
1175.71/1175.90	c 1175s |      18 |  3928933 |   417652 |    26362     34 |      398 |      339
1177.71/1177.91	c 1177s |      18 |  3929855 |   417952 |    26362     34 |      398 |      339
1179.91/1180.17	c 1179s |      18 |  3932230 |   418552 |    26362     34 |      398 |      339
1182.11/1182.38	c 1182s |      18 |  3934513 |   419352 |    26362     34 |      398 |      339
1184.61/1184.90	c 1184s |      18 |  3935710 |   419852 |    26362     34 |      398 |      339
1187.11/1187.34	c 1187s |      18 |  3936672 |   420252 |    26362     34 |      398 |      339
1189.31/1189.56	c 1189s |      18 |  3937158 |   420552 |    26362     34 |      398 |      339
1191.41/1191.61	c 1191s |      18 |  3938453 |   420852 |    26362     35 |      398 |      339
1193.51/1193.79	c 1193s |      18 |  3941894 |   421952 |    26362     35 |      398 |      339
1195.71/1195.97	c 1195s |      18 |  3945695 |   422952 |    26362     35 |      398 |      339
1197.71/1197.97	c 1197s |      18 |  3949417 |   423852 |    26362     35 |      398 |      339
1199.80/1200.07	c 1199s |      18 |  3952151 |   424752 |    26362     35 |      398 |      339
1202.00/1202.28	c 1202s |      18 |  3953588 |   425352 |    26362     35 |      398 |      339
1204.30/1204.51	c 1204s |      18 |  3956918 |   426052 |    26362     35 |      398 |      339
1206.30/1206.56	c 1206s |      18 |  3957937 |   426552 |    26362     35 |      398 |      339
1208.60/1208.89	c 1208s |      18 |  3959672 |   427152 |    26362     35 |      398 |      339
1210.81/1211.07	c 1210s |      18 |  3960945 |   427652 |    26362     35 |      398 |      339
1212.81/1213.08	c 1212s |      18 |  3962088 |   428052 |    26362     35 |      398 |      339
1214.91/1215.19	c 1214s |      18 |  3964803 |   428652 |    26362     35 |      398 |      339
1217.20/1217.43	c 1217s |      18 |  3966586 |   429352 |    26362     35 |      398 |      339
1219.40/1219.66	c 1219s |      18 |  3968261 |   429952 |    26362     35 |      398 |      339
1221.80/1222.03	c 1221s |      18 |  3969004 |   430352 |    26362     35 |      398 |      339
1223.90/1224.19	c 1223s |      18 |  3969908 |   430752 |    26362     35 |      398 |      339
1226.11/1226.34	c 1226s |      18 |  3970505 |   431052 |    26362     35 |      398 |      339
1228.61/1228.81	c 1228s |      18 |  3970912 |   431352 |    26362     35 |      398 |      339
1231.01/1231.21	c 1230s |      18 |  3971457 |   431652 |    26362     35 |      398 |      339
1233.31/1233.55	c 1233s |      18 |  3973103 |   432152 |    26362     35 |      398 |      339
1235.60/1235.82	c 1235s |      18 |  3974531 |   432652 |    26362     35 |      398 |      339
1237.71/1237.99	c 1237s |      18 |  3976819 |   433252 |    26362     36 |      398 |      339
1239.91/1240.17	c 1239s |      18 |  3980288 |   434252 |    26362     36 |      398 |      339
1242.10/1242.37	c 1242s |      18 |  3983488 |   435052 |    26362     36 |      398 |      339
1244.40/1244.63	c 1244s |      18 |  3987670 |   435952 |    26362     36 |      398 |      339
1246.41/1246.67	c 1246s |      18 |  3988364 |   436352 |    26362     36 |      398 |      339
1248.50/1248.72	c 1248s |      18 |  3989359 |   436752 |    26362     36 |      398 |      339
1250.80/1251.02	c 1250s |      18 |  3990432 |   437152 |    26362     36 |      398 |      339
1253.00/1253.22	c 1252s |      18 |  3991966 |   437652 |    26362     36 |      398 |      339
1255.30/1255.53	c 1255s |      18 |  3994781 |   438352 |    26362     36 |      398 |      339
1257.50/1257.71	c 1257s |      18 |  3995350 |   438752 |    26362     36 |      398 |      339
1259.89/1260.11	c 1259s |      18 |  3996254 |   439252 |    26362     36 |      398 |      339
1262.00/1262.24	c 1261s |      18 |  3998156 |   439752 |    26362     36 |      398 |      339
1264.01/1264.30	c 1264s |      18 |  4000594 |   440552 |    26362     36 |      398 |      339
1266.21/1266.41	c 1266s |      18 |  4001996 |   441152 |    26362     36 |      398 |      339
1268.60/1268.80	c 1268s |      18 |  4003574 |   441652 |    28999     36 |      398 |      339
1271.40/1271.63	c 1271s |      18 |  4004164 |   441952 |    28999     36 |      398 |      339
1273.80/1274.05	c 1273s |      18 |  4005552 |   442452 |    28999     36 |      398 |      339
1276.20/1276.43	c 1276s |      18 |  4006685 |   442852 |    28999     36 |      398 |      339
1278.89/1279.10	c 1278s |      18 |  4007586 |   443252 |    28999     36 |      398 |      339
1280.89/1281.11	c 1280s |      18 |  4008008 |   443452 |    28999     36 |      398 |      339
1283.81/1284.04	c 1283s |      18 |  4009103 |   443852 |    28999     36 |      398 |      339
1287.00/1287.24	c 1286s |      18 |  4009785 |   444152 |    28999     36 |      398 |      339
1289.49/1289.71	c 1289s |      18 |  4009934 |   444252 |    28999     36 |      398 |      339
1291.69/1291.94	c 1291s |      18 |  4010554 |   444452 |    28999     36 |      398 |      339
1291.99/1292.26	c 1292s |      19 |  4010610 |   444482 |    28999     36 |      398 |      339
1294.09/1294.36	c 1294s |      19 |  4018417 |   445282 |    28999     37 |      398 |      339
1296.19/1296.48	c 1296s |      19 |  4036407 |   446882 |    28999     37 |      399 |      340
1298.29/1298.53	c 1298s |      19 |  4043447 |   448282 |    28999     37 |      399 |      340
1300.29/1300.56	c 1300s |      19 |  4057056 |   449682 |    28999     37 |      399 |      340
1302.59/1302.86	c 1302s |      19 |  4060811 |   450682 |    28999     37 |      399 |      340
1304.69/1304.90	c 1304s |      19 |  4065106 |   451282 |    28999     37 |      399 |      340
1306.79/1307.00	c 1306s |      19 |  4082286 |   452482 |    28999     37 |      399 |      340
1308.78/1309.05	c 1308s |      19 |  4100090 |   453882 |    28999     37 |      399 |      340
1310.88/1311.15	c 1310s |      19 |  4122106 |   455182 |    28999     37 |      399 |      340
1312.98/1313.24	c 1312s |      19 |  4142944 |   456382 |    28999     38 |      399 |      340
1315.08/1315.31	c 1315s |      19 |  4166927 |   457982 |    28999     38 |      399 |      340
1317.08/1317.38	c 1317s |      19 |  4186646 |   459482 |    28999     38 |      399 |      340
1319.18/1319.48	c 1319s |      19 |  4197617 |   460882 |    28999     38 |      399 |      340
1321.38/1321.65	c 1321s |      19 |  4210033 |   461982 |    28999     38 |      399 |      340
1323.48/1323.74	c 1323s |      19 |  4220653 |   463482 |    28999     38 |      399 |      340
1325.48/1325.79	c 1325s |      19 |  4229985 |   464682 |    28999     38 |      399 |      340
1327.67/1327.97	c 1327s |      19 |  4239807 |   465882 |    28999     38 |      399 |      340
1329.87/1330.10	c 1329s |      19 |  4246976 |   466982 |    28999     38 |      399 |      340
1332.07/1332.40	c 1332s |      19 |  4248944 |   467582 |    28999     38 |      399 |      340
1334.17/1334.45	c 1334s |      19 |  4259485 |   468782 |    28999     39 |      399 |      340
1336.27/1336.50	c 1336s |      19 |  4262299 |   469682 |    28999     39 |      399 |      340
1338.27/1338.55	c 1338s |      19 |  4265504 |   470482 |    28999     39 |      399 |      340
1340.37/1340.60	c 1340s |      19 |  4279638 |   471982 |    28999     39 |      399 |      340
1342.38/1342.66	c 1342s |      19 |  4289547 |   473182 |    28999     39 |      399 |      340
1344.58/1344.85	c 1344s |      19 |  4290863 |   473782 |    28999     39 |      399 |      340
1346.68/1346.96	c 1346s |      19 |  4291750 |   474282 |    28999     39 |      399 |      340
1349.08/1349.36	c 1349s |      19 |  4293140 |   474882 |    28999     39 |      399 |      340
1351.17/1351.44	c 1351s |      19 |  4293705 |   475282 |    28999     39 |      399 |      340
1353.27/1353.53	c 1353s |      19 |  4295561 |   475882 |    28999     39 |      399 |      340
1355.38/1355.62	c 1355s |      19 |  4296348 |   476382 |    28999     39 |      399 |      340
1357.87/1358.10	c 1357s |      19 |  4297681 |   476882 |    28999     39 |      399 |      340
1360.07/1360.30	c 1360s |      19 |  4298311 |   477182 |    28999     39 |      399 |      340
1362.26/1362.57	c 1362s |      19 |  4298805 |   477482 |    28999     39 |      399 |      340
1364.46/1364.71	c 1364s |      19 |  4303078 |   478082 |    28999     39 |      399 |      340
1366.46/1366.72	c 1366s |      19 |  4305501 |   478882 |    28999     39 |      399 |      340
1368.66/1368.90	c 1368s |      19 |  4307759 |   479582 |    28999     39 |      399 |      340
1370.67/1370.99	c 1370s |      19 |  4312530 |   480082 |    28999     40 |      399 |      340
1372.76/1373.07	c 1372s |      19 |  4333359 |   481382 |    28999     40 |      399 |      340
1374.86/1375.17	c 1374s |      19 |  4350224 |   482782 |    28999     40 |      400 |      341
1376.96/1377.27	c 1377s |      19 |  4376998 |   484382 |    28999     40 |      400 |      341
1379.16/1379.41	c 1379s |      19 |  4390033 |   485782 |    28999     40 |      400 |      341
1381.16/1381.41	c 1381s |      19 |  4404356 |   486982 |    28999     40 |      400 |      341
1383.36/1383.65	c 1383s |      19 |  4409051 |   487782 |    28999     40 |      400 |      341
1385.77/1386.04	c 1385s |      19 |  4410702 |   488282 |    28999     40 |      400 |      341
1387.86/1388.14	c 1387s |      19 |  4414258 |   488982 |    28999     40 |      400 |      341
1390.06/1390.37	c 1390s |      19 |  4416233 |   489382 |    28999     40 |      400 |      341
1392.16/1392.44	c 1392s |      19 |  4425974 |   490582 |    28999     40 |      400 |      341
1394.26/1394.54	c 1394s |      19 |  4443342 |   491982 |    28999     41 |      400 |      341
1396.46/1396.71	c 1396s |      19 |  4460766 |   493282 |    28999     41 |      400 |      341
1398.66/1398.90	c 1398s |      19 |  4464767 |   494182 |    28999     41 |      400 |      341
1401.47/1401.74	c 1401s |      19 |  4466447 |   494782 |    28999     41 |      400 |      341
1403.66/1403.96	c 1403s |      19 |  4466928 |   494982 |    28999     41 |      400 |      341
1406.06/1406.33	c 1406s |      19 |  4467734 |   495182 |    28999     41 |      400 |      341
1408.16/1408.44	c 1408s |      19 |  4470357 |   495882 |    28999     41 |      400 |      341
1410.46/1410.72	c 1410s |      19 |  4471106 |   496182 |    28999     41 |      400 |      341
1413.56/1413.89	c 1413s |      19 |  4471467 |   496382 |    28999     41 |      400 |      341
1415.95/1416.26	c 1416s |      19 |  4471977 |   496582 |    28999     41 |      400 |      341
1418.15/1418.48	c 1418s |      19 |  4473821 |   497182 |    28999     41 |      400 |      341
1420.26/1420.53	c 1420s |      19 |  4475895 |   497682 |    28999     41 |      400 |      341
1422.65/1422.99	c 1422s |      19 |  4476431 |   497882 |    28999     41 |      400 |      341
1424.75/1425.04	c 1424s |      19 |  4477803 |   498382 |    28999     41 |      400 |      341
1426.76/1427.06	c 1426s |      19 |  4479405 |   498882 |    28999     41 |      400 |      341
1429.25/1429.55	c 1429s |      19 |  4481261 |   499382 |    28999     41 |      400 |      341
1432.15/1432.46	c 1432s |      19 |  4481934 |   499682 |    28999     41 |      400 |      341
1434.55/1434.88	c 1434s |      19 |  4482335 |   499882 |    28999     41 |      400 |      341
1436.84/1437.19	c 1436s |      19 |  4483925 |   500382 |    28999     41 |      400 |      341
1439.04/1439.30	c 1439s |      19 |  4485055 |   500782 |    28999     41 |      400 |      341
1441.24/1441.52	c 1441s |      19 |  4485919 |   500982 |    28999     41 |      400 |      341
1443.44/1443.78	c 1443s |      19 |  4486980 |   501382 |    28999     41 |      400 |      341
1445.94/1446.24	c 1445s |      19 |  4487840 |   501782 |    28999     41 |      400 |      341
1448.64/1448.90	c 1448s |      19 |  4488825 |   502082 |    28999     41 |      400 |      341
1450.84/1451.16	c 1450s |      19 |  4489592 |   502382 |    28999     41 |      400 |      341
1452.94/1453.23	c 1452s |      19 |  4502732 |   503682 |    28999     42 |      400 |      341
1455.04/1455.33	c 1455s |      19 |  4517074 |   505082 |    28999     42 |      400 |      341
1457.04/1457.36	c 1457s |      19 |  4528212 |   506482 |    28999     42 |      400 |      341
1459.13/1459.45	c 1459s |      19 |  4531395 |   507382 |    28999     42 |      400 |      341
1461.14/1461.46	c 1461s |      19 |  4534008 |   508082 |    28999     42 |      400 |      341
1463.34/1463.65	c 1463s |      19 |  4536702 |   508782 |    28999     42 |      400 |      341
1465.94/1466.21	c 1465s |      19 |  4539151 |   509382 |    28999     42 |      400 |      341
1468.13/1468.44	c 1468s |      19 |  4541387 |   509782 |    28999     42 |      400 |      341
1470.13/1470.46	c 1470s |      19 |  4550551 |   510582 |    28999     42 |      400 |      341
1472.33/1472.69	c 1472s |      19 |  4563182 |   511782 |    28999     43 |      400 |      341
1474.43/1474.72	c 1474s |      19 |  4572111 |   513082 |    28999     43 |      400 |      341
1476.43/1476.77	c 1476s |      19 |  4579166 |   514182 |    28999     43 |      400 |      341
1478.73/1479.04	c 1478s |      19 |  4582528 |   515182 |    28999     43 |      400 |      341
1481.03/1481.30	c 1481s |      19 |  4585380 |   515982 |    28999     43 |      400 |      341
1483.13/1483.46	c 1483s |      19 |  4587312 |   516582 |    28999     43 |      400 |      341
1485.23/1485.50	c 1485s |      19 |  4600413 |   517482 |    28999     43 |      400 |      341
1487.23/1487.53	c 1487s |      19 |  4621969 |   518782 |    28999     43 |      400 |      341
1489.43/1489.78	c 1489s |      19 |  4630455 |   519882 |    28999     43 |      400 |      341
1491.52/1491.89	c 1491s |      19 |  4635753 |   520682 |    28999     44 |      400 |      341
1493.72/1494.08	c 1493s |      19 |  4639957 |   521882 |    28999     44 |      400 |      341
1495.92/1496.21	c 1495s |      19 |  4647168 |   522982 |    28999     44 |      400 |      341
1497.91/1498.22	c 1497s |      19 |  4655304 |   523982 |    28999     44 |      400 |      341
1499.91/1500.29	c 1500s |      19 |  4668774 |   525382 |    28999     44 |      400 |      341
1502.01/1502.38	c 1502s |      19 |  4682563 |   526782 |    28999     44 |      400 |      341
1504.01/1504.39	c 1504s |      19 |  4695879 |   527882 |    28999     44 |      400 |      341
1506.12/1506.43	c 1506s |      19 |  4704587 |   528782 |    28999     44 |      400 |      341
1508.23/1508.57	c 1508s |      19 |  4707736 |   529282 |    28999     45 |      400 |      341
1510.52/1510.82	c 1510s |      19 |  4728948 |   530882 |    28999     45 |      400 |      341
1512.63/1512.93	c 1512s |      19 |  4743776 |   532182 |    28999     45 |      400 |      341
1514.73/1515.06	c 1514s |      19 |  4761347 |   533582 |    28999     45 |      400 |      341
1516.82/1517.12	c 1516s |      19 |  4781646 |   535082 |    28999     45 |      400 |      341
1518.82/1519.17	c 1518s |      19 |  4795514 |   536282 |    28999     45 |      400 |      341
1520.91/1521.23	c 1520s |      19 |  4803592 |   537482 |    28999     45 |      400 |      341
1523.11/1523.47	c 1523s |      19 |  4807820 |   538382 |    28999     45 |      400 |      341
1525.21/1525.52	c 1525s |      19 |  4814182 |   539182 |    28999     46 |      400 |      341
1527.31/1527.60	c 1527s |      19 |  4818970 |   540682 |    28999     46 |      400 |      341
1529.41/1529.72	c 1529s |      19 |  4824204 |   542082 |    28999     46 |      400 |      341
1531.41/1531.77	c 1531s |      19 |  4831207 |   543082 |    28999     46 |      400 |      341
1533.71/1534.02	c 1533s |      19 |  4832607 |   543582 |    28999     46 |      400 |      341
1536.01/1536.36	c 1536s |      19 |  4834032 |   544082 |    28999     46 |      400 |      341
1538.11/1538.47	c 1538s |      19 |  4834991 |   544482 |    28999     46 |      400 |      341
1540.30/1540.65	c 1540s |      19 |  4836478 |   544882 |    28999     46 |      400 |      341
1542.31/1542.68	c 1542s |      19 |  4838159 |   545382 |    28999     46 |      400 |      341
1544.60/1544.97	c 1544s |      19 |  4839410 |   545782 |    28999     46 |      400 |      341
1547.40/1547.77	c 1547s |      19 |  4840732 |   546182 |    28999     46 |      400 |      341
1549.71/1550.02	c 1549s |      19 |  4841484 |   546482 |    28999     46 |      400 |      341
1551.81/1552.16	c 1551s |      19 |  4842640 |   546882 |    28999     46 |      400 |      341
1554.31/1554.65	c 1554s |      19 |  4843825 |   547282 |    28999     46 |      400 |      341
1556.30/1556.69	c 1556s |      19 |  4844413 |   547582 |    28999     46 |      400 |      341
1558.50/1558.82	c 1558s |      19 |  4845632 |   547882 |    28999     46 |      400 |      341
1560.90/1561.22	c 1560s |      19 |  4846326 |   548182 |    28999     46 |      400 |      341
1564.20/1564.57	c 1564s |      19 |  4846935 |   548482 |    28999     46 |      400 |      341
1566.90/1567.22	c 1566s |      19 |  4847468 |   548682 |    28999     46 |      400 |      341
1569.29/1569.63	c 1569s |      19 |  4848206 |   548982 |    28999     46 |      400 |      341
1571.49/1571.84	c 1571s |      19 |  4849034 |   549382 |    28999     46 |      400 |      341
1573.69/1574.01	c 1573s |      19 |  4849753 |   549682 |    28999     47 |      400 |      341
1575.79/1576.12	c 1575s |      19 |  4851725 |   550482 |    28999     47 |      400 |      341
1577.99/1578.39	c 1578s |      19 |  4853760 |   551282 |    28999     47 |      400 |      341
1580.08/1580.42	c 1580s |      19 |  4854708 |   551782 |    28999     47 |      400 |      341
1582.38/1582.79	c 1582s |      19 |  4856272 |   552282 |    28999     47 |      400 |      341
1584.58/1584.90	c 1584s |      19 |  4857172 |   552582 |    28999     47 |      400 |      341
1587.29/1587.64	c 1587s |      19 |  4858065 |   552882 |    28999     47 |      400 |      341
1589.67/1590.03	c 1589s |      19 |  4858978 |   553182 |    28999     47 |      400 |      341
1592.07/1592.46	c 1592s |      19 |  4861517 |   553982 |    28999     47 |      400 |      341
1594.47/1594.85	c 1594s |      19 |  4865347 |   554782 |    28999     47 |      400 |      341
1597.18/1597.51	c 1597s |      19 |  4867642 |   555382 |    28999     47 |      400 |      341
1599.77/1600.10	c 1599s |      19 |  4868714 |   555782 |    28999     47 |      400 |      341
1601.78/1602.17	c 1601s |      19 |  4869909 |   556082 |    28999     47 |      400 |      341
1604.08/1604.42	c 1604s |      19 |  4871375 |   556482 |    28999     47 |      400 |      341
1607.18/1607.57	c 1607s |      19 |  4872480 |   556882 |    28999     47 |      400 |      341
1609.57/1609.93	c 1609s |      19 |  4873828 |   557382 |    28999     47 |      400 |      341
1612.37/1612.70	c 1612s |      19 |  4875134 |   557782 |    28999     47 |      400 |      341
1614.37/1614.75	c 1614s |      19 |  4875873 |   558082 |    28999     47 |      400 |      341
1617.07/1617.44	c 1617s |      19 |  4876597 |   558382 |    28999     47 |      400 |      341
1619.27/1619.65	c 1619s |      19 |  4877896 |   558682 |    28999     47 |      400 |      341
1621.86/1622.29	c 1622s |      19 |  4879211 |   559082 |    28999     47 |      400 |      341
1624.06/1624.44	c 1624s |      19 |  4880097 |   559382 |    28999     47 |      400 |      341
1626.36/1626.70	c 1626s |      19 |  4880899 |   559682 |    28999     47 |      400 |      341
1628.46/1628.89	c 1628s |      19 |  4884226 |   560482 |    28999     48 |      400 |      341
1630.96/1631.32	c 1631s |      19 |  4886789 |   561182 |    28999     48 |      400 |      341
1632.96/1633.38	c 1633s |      19 |  4888088 |   561682 |    28999     48 |      400 |      341
1635.36/1635.70	c 1635s |      19 |  4891246 |   562482 |    28999     48 |      400 |      341
1637.46/1637.85	c 1637s |      19 |  4892533 |   562982 |    28999     48 |      400 |      341
1639.45/1639.88	c 1639s |      19 |  4894245 |   563482 |    28999     48 |      400 |      341
1641.65/1642.00	c 1641s |      19 |  4895947 |   563982 |    28999     48 |      400 |      341
1643.65/1644.08	c 1643s |      19 |  4897833 |   564482 |    28999     48 |      400 |      341
1645.75/1646.11	c 1645s |      19 |  4898873 |   564882 |    28999     48 |      400 |      341
1648.25/1648.66	c 1648s |      19 |  4900124 |   565282 |    28999     48 |      400 |      341
1650.55/1650.99	c 1650s |      19 |  4901313 |   565682 |    28999     48 |      400 |      341
1652.75/1653.17	c 1652s |      19 |  4903003 |   566182 |    28999     48 |      400 |      341
1655.15/1655.56	c 1655s |      19 |  4904582 |   566682 |    28999     48 |      400 |      341
1657.55/1657.96	c 1657s |      19 |  4905936 |   567182 |    28999     48 |      400 |      341
1660.15/1660.52	c 1660s |      19 |  4907220 |   567682 |    28999     48 |      400 |      341
1662.24/1662.68	c 1662s |      19 |  4908328 |   568082 |    28999     48 |      400 |      341
1664.54/1664.98	c 1664s |      19 |  4909264 |   568482 |    28999     48 |      400 |      341
1666.74/1667.17	c 1666s |      19 |  4910836 |   568882 |    28999     48 |      400 |      341
1669.24/1669.68	c 1669s |      19 |  4912502 |   569382 |    28999     48 |      400 |      341
1671.65/1672.02	c 1671s |      19 |  4913549 |   569782 |    28999     48 |      400 |      341
1673.75/1674.15	c 1673s |      19 |  4920846 |   570982 |    28999     49 |      400 |      341
1675.95/1676.34	c 1676s |      19 |  4924842 |   572282 |    28999     49 |      400 |      341
1678.04/1678.44	c 1678s |      19 |  4932418 |   573582 |    28999     49 |      400 |      341
1680.14/1680.52	c 1680s |      19 |  4942949 |   574882 |    28999     49 |      400 |      341
1682.14/1682.53	c 1682s |      19 |  4950302 |   576082 |    28999     49 |      400 |      341
1684.34/1684.73	c 1684s |      19 |  4953223 |   576982 |    28999     49 |      400 |      341
1686.44/1686.88	c 1686s |      19 |  4954799 |   577582 |    28999     49 |      400 |      341
1688.54/1688.92	c 1688s |      19 |  4955620 |   577982 |    28999     49 |      400 |      341
1690.54/1690.97	c 1690s |      19 |  4958177 |   578582 |    28999     49 |      400 |      341
1692.64/1693.07	c 1692s |      19 |  4959638 |   579082 |    28999     49 |      400 |      341
1694.74/1695.19	c 1694s |      19 |  4963720 |   580082 |    28999     50 |      400 |      341
1696.84/1697.23	c 1696s |      19 |  4966476 |   580682 |    28999     50 |      400 |      341
1699.13/1699.55	c 1699s |      19 |  4967594 |   581082 |    28999     50 |      400 |      341
1701.33/1701.78	c 1701s |      19 |  4970926 |   582082 |    28999     50 |      400 |      341
1703.43/1703.81	c 1703s |      19 |  4973120 |   582882 |    28999     50 |      400 |      341
1705.63/1706.00	c 1705s |      19 |  4974794 |   583582 |    28999     50 |      400 |      341
1707.73/1708.11	c 1707s |      19 |  4977354 |   584382 |    28999     50 |      400 |      341
1709.72/1710.17	c 1709s |      19 |  4979271 |   584982 |    28999     50 |      400 |      341
1711.82/1712.21	c 1711s |      19 |  4981372 |   585682 |    28999     50 |      400 |      341
1713.83/1714.21	c 1713s |      19 |  4983116 |   586282 |    28999     50 |      400 |      341
1716.04/1716.43	c 1716s |      19 |  4987357 |   587182 |    28999     50 |      400 |      341
1718.02/1718.46	c 1718s |      19 |  4993740 |   588182 |    28999     51 |      400 |      341
1720.12/1720.59	c 1720s |      19 |  5006383 |   589882 |    28999     51 |      400 |      341
1722.53/1722.91	c 1722s |      19 |  5015864 |   591082 |    28999     51 |      400 |      341
1724.52/1724.96	c 1724s |      19 |  5019989 |   591882 |    28999     51 |      400 |      341
1726.62/1727.02	c 1726s |      19 |  5024974 |   592782 |    28999     51 |      400 |      341
1728.82/1729.28	c 1729s |      19 |  5027617 |   593582 |    28999     51 |      400 |      341
1730.92/1731.30	c 1731s |      19 |  5029900 |   594082 |    28999     51 |      400 |      341
1733.22/1733.67	c 1733s |      19 |  5033438 |   594982 |    28999     51 |      400 |      341
1735.42/1735.82	c 1735s |      19 |  5035474 |   595582 |    28999     51 |      400 |      341
1737.41/1737.89	c 1737s |      19 |  5037601 |   596182 |    28999     51 |      400 |      341
1739.51/1739.92	c 1739s |      19 |  5039811 |   596682 |    28999     52 |      400 |      341
1741.61/1742.08	c 1741s |      19 |  5045357 |   597582 |    28999     52 |      400 |      341
1743.71/1744.16	c 1743s |      19 |  5047012 |   598082 |    28999     52 |      400 |      341
1745.72/1746.17	c 1745s |      19 |  5051298 |   598982 |    28999     52 |      400 |      341
1747.92/1748.38	c 1748s |      19 |  5053981 |   599782 |    28999     52 |      400 |      341
1750.02/1750.47	c 1750s |      19 |  5056108 |   600482 |    28999     52 |      400 |      341
1752.22/1752.63	c 1752s |      19 |  5057772 |   600982 |    28999     52 |      400 |      341
1754.31/1754.73	c 1754s |      19 |  5059242 |   601482 |    28999     52 |      400 |      341
1756.81/1757.23	c 1756s |      19 |  5060721 |   601982 |    28999     52 |      400 |      341
1759.31/1759.70	c 1759s |      19 |  5061583 |   602382 |    28999     52 |      400 |      341
1761.71/1762.13	c 1761s |      19 |  5063593 |   602882 |    28999     52 |      400 |      341
1764.20/1764.60	c 1764s |      19 |  5065539 |   603482 |    28999     52 |      400 |      341
1766.51/1766.93	c 1766s |      19 |  5070061 |   604282 |    28999     52 |      400 |      341
1768.60/1769.04	c 1768s |      19 |  5071055 |   604682 |    28999     52 |      400 |      341
1770.70/1771.13	c 1770s |      19 |  5072643 |   605082 |    28999     52 |      400 |      341
1772.80/1773.21	c 1772s |      19 |  5077017 |   605882 |    28999     53 |      400 |      341
1775.00/1775.40	c 1775s |      19 |  5082827 |   607082 |    28999     53 |      400 |      341
1777.40/1777.82	c 1777s |      19 |  5086873 |   607982 |    28999     53 |      400 |      341
1779.49/1779.97	c 1779s |      19 |  5088350 |   608482 |    28999     53 |      400 |      341
1781.79/1782.21	c 1781s |      19 |  5089864 |   609082 |    28999     53 |      400 |      341
1783.80/1784.23	c 1783s |      19 |  5091728 |   609582 |    28999     53 |      400 |      341
1785.89/1786.35	c 1786s |      19 |  5093413 |   610082 |    28999     53 |      400 |      341
1788.39/1788.82	c 1788s |      19 |  5094628 |   610482 |    28999     53 |      400 |      341
1790.98/1791.41	c 1791s |      19 |  5095853 |   610882 |    28999     53 |      400 |      341
1793.68/1794.19	c 1793s |      19 |  5096954 |   611282 |    28999     53 |      400 |      341
1796.58/1797.03	c 1796s |      19 |  5097652 |   611582 |    28999     53 |      400 |      341
1798.69/1799.19	c 1798s |      19 |  5098410 |   611882 |    28999     53 |      400 |      341

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

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

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


[startup+0 s]
/proc/loadavg: 2.37 2.30 2.23 3/180 13299
/proc/meminfo: memFree=29209760/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=680380 CPUtime=0 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 2529 0 0 0 0 0 0 0 20 0 4 0 110336156 696709120 3401 33554432000 4194304 16246674 140736572491968 140736572491392 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13299/statm: 170863 3410 441 2943 0 167757 0
[pid=13299/tid=13300] ppid=13296 vsize=697788 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 714534912 3469 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=701884 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 718729216 3485 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=707004 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110336156 723972096 3505 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100132 s]
/proc/loadavg: 2.37 2.30 2.23 3/180 13299
/proc/meminfo: memFree=29209760/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1301060 CPUtime=0.08 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 28408 0 0 0 5 3 0 0 20 0 4 0 110336156 1332285440 29218 33554432000 4194304 16246674 140736572491968 140736572491280 8055408 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13299/statm: 325265 29232 801 2943 0 322159 0
[pid=13299/tid=13300] ppid=13296 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1332285440 29244 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1332285440 29256 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1332285440 29266 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060

[startup+0.20051 s]
/proc/loadavg: 2.37 2.30 2.23 3/180 13299
/proc/meminfo: memFree=29209760/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 45092 0 0 0 13 6 0 0 20 0 4 0 110336156 1333334016 45901 33554432000 4194304 16246674 140736572491968 140736572473856 6935016 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13299/statm: 325521 45901 833 2943 0 322415 0
[pid=13299/tid=13300] ppid=13296 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1333334016 45901 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1333334016 45901 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1333334016 45901 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300483 s]
/proc/loadavg: 2.37 2.30 2.23 3/180 13299
/proc/meminfo: memFree=29209760/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 63565 0 0 0 21 8 0 0 20 0 4 0 110336156 1333334016 64374 33554432000 4194304 16246674 140736572491968 140736572473856 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13299/statm: 325521 64386 876 2943 0 322415 0
[pid=13299/tid=13300] ppid=13296 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1333334016 64394 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1333334016 64401 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1333334016 64404 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700345 s]
/proc/loadavg: 2.37 2.30 2.23 3/180 13299
/proc/meminfo: memFree=29209760/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1302084 CPUtime=0.69 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 136482 0 0 0 52 17 0 0 20 0 4 0 110336156 1333334016 137291 33554432000 4194304 16246674 140736572491968 140736572473856 5828874 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13299/statm: 325521 137298 876 2943 0 322415 0
[pid=13299/tid=13300] ppid=13296 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1333334016 137302 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1333334016 137305 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1333334016 137309 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.5004 s]
/proc/loadavg: 2.37 2.30 2.23 3/184 13303
/proc/meminfo: memFree=28346072/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1311300 CPUtime=1.49 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 232832 0 0 0 119 30 0 0 20 0 4 0 110336156 1342771200 233642 33554432000 4194304 16246674 140736572491968 140736572473856 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13299/statm: 327825 233661 882 2943 0 324719 0
[pid=13299/tid=13300] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 233670 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 233679 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 233690 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1311300

[startup+3.1004 s]
/proc/loadavg: 2.37 2.30 2.23 3/184 13303
/proc/meminfo: memFree=28131172/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1311300 CPUtime=3.08 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 269006 0 0 0 274 34 0 0 20 0 4 0 110336156 1342771200 269815 33554432000 4194304 16246674 140736572491968 140736572473856 5754764 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13299/statm: 327825 269815 885 2943 0 324719 0
[pid=13299/tid=13300] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 269815 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 269815 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 269815 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1311300

[startup+6.30039 s]
/proc/loadavg: 2.34 2.30 2.23 3/184 13303
/proc/meminfo: memFree=28131172/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1311300 CPUtime=6.28 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 269006 0 0 0 594 34 0 0 20 0 4 0 110336156 1342771200 269815 33554432000 4194304 16246674 140736572491968 140736572473856 5661440 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13299/statm: 327825 269815 885 2943 0 324719 0
[pid=13299/tid=13300] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 269815 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 269815 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 269815 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.31 2.29 2.23 3/184 13303
/proc/meminfo: memFree=28131468/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1311300 CPUtime=12.68 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 269006 0 0 0 1234 34 0 0 20 0 4 0 110336156 1342771200 269815 33554432000 4194304 16246674 140736572491968 140736572473856 5717656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13299/statm: 327825 269815 885 2943 0 324719 0
[pid=13299/tid=13300] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 269815 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 269815 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 269815 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5004 s]
/proc/loadavg: 2.32 2.29 2.23 3/184 13303
/proc/meminfo: memFree=28132080/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1311300 CPUtime=25.49 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 269006 0 0 0 2514 35 0 0 20 0 4 0 110336156 1342771200 269815 33554432000 4194304 16246674 140736572491968 140736572473856 12483272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13299/statm: 327825 269815 885 2943 0 324719 0
[pid=13299/tid=13300] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 269815 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 269815 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 269815 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1311300

[startup+51.1004 s]
/proc/loadavg: 2.27 2.29 2.23 3/183 13303
/proc/meminfo: memFree=28132092/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1311300 CPUtime=51.08 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 269007 0 0 0 5073 35 0 0 20 0 4 0 110336156 1342771200 269816 33554432000 4194304 16246674 140736572491968 140736572473856 12483532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13299/statm: 327825 269816 886 2943 0 324719 0
[pid=13299/tid=13300] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 269816 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 269816 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 269816 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

[startup+102.3 s]
/proc/loadavg: 2.25 2.28 2.23 4/183 13305
/proc/meminfo: memFree=28131496/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1311300 CPUtime=102.28 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 269007 0 0 0 10192 36 0 0 20 0 4 0 110336156 1342771200 269816 33554432000 4194304 16246674 140736572491968 140736572473856 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13299/statm: 327825 269816 886 2943 0 324719 0
[pid=13299/tid=13300] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 269816 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 269816 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1342771200 269816 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1311300


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

/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1344868352 270328 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1313348

[startup+1302.3 s]
/proc/loadavg: 2.26 2.25 2.23 3/183 13335
/proc/meminfo: memFree=28121836/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1314372 CPUtime=1302.09 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 269597 0 0 0 130147 62 0 0 20 0 4 0 110336156 1345916928 270395 33554432000 4194304 16246674 140736572491968 140736572491144 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13299/statm: 328593 270395 886 2943 0 325487 0
[pid=13299/tid=13300] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270395 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270395 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270395 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.25 2.25 2.22 3/183 13337
/proc/meminfo: memFree=28120504/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1314372 CPUtime=1362.06 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 269807 0 0 0 136143 63 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 140736572473856 5721801 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13299/statm: 328593 270588 886 2943 0 325487 0
[pid=13299/tid=13300] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.28 2.26 2.23 3/183 13338
/proc/meminfo: memFree=28120408/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1314372 CPUtime=1422.05 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 269822 0 0 0 142141 64 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 140736572491144 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13299/statm: 328593 270588 886 2943 0 325487 0
[pid=13299/tid=13300] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.27 2.26 2.23 3/183 13388
/proc/meminfo: memFree=28122088/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1314372 CPUtime=1482.03 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 269842 0 0 0 148138 65 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 140736572491144 5675793 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13299/statm: 328593 270588 886 2943 0 325487 0
[pid=13299/tid=13300] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1314372

[startup+1542.3 s]
/proc/loadavg: 2.20 2.24 2.22 3/183 13389
/proc/meminfo: memFree=28122000/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1314372 CPUtime=1542 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 269865 0 0 0 154134 66 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 140736572473856 12477688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13299/statm: 328593 270588 886 2943 0 325487 0
[pid=13299/tid=13300] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.39 2.28 2.23 3/183 13390
/proc/meminfo: memFree=28121956/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1314372 CPUtime=1601.98 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 269899 0 0 0 160129 69 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 140736572473856 5722908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13299/statm: 328593 270588 886 2943 0 325487 0
[pid=13299/tid=13300] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.25 2.26 2.23 3/183 13392
/proc/meminfo: memFree=28121864/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1314372 CPUtime=1661.94 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 269929 0 0 0 166123 71 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 140736572491144 5722842 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13299/statm: 328593 270588 886 2943 0 325487 0
[pid=13299/tid=13300] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.26 2.26 2.23 3/183 13393
/proc/meminfo: memFree=28121896/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1314372 CPUtime=1721.92 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 269967 0 0 0 172119 73 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 140736572473856 5677716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13299/statm: 328593 270588 886 2943 0 325487 0
[pid=13299/tid=13300] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.25 2.25 2.22 3/184 13397
/proc/meminfo: memFree=28120924/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1314372 CPUtime=1781.9 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 269995 0 0 0 178117 73 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 140736572473856 5722960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13299/statm: 328593 270588 886 2943 0 325487 0
[pid=13299/tid=13300] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.25 2.25 2.22 3/184 13397
/proc/meminfo: memFree=28120772/32872528 swapFree=15272/1656604
[pid=13299] ppid=13296 vsize=1314372 CPUtime=1800.09 cores=0,2,4,6
/proc/13299/stat : 13299 (toysat) R 13296 13299 9894 0 -1 4202496 270008 0 0 0 179934 75 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 140736572473856 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13299/statm: 328593 270588 886 2943 0 325487 0
[pid=13299/tid=13300] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13300/stat : 13300 (toysat) S 13296 13299 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139952062967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13299/tid=13301] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13301/stat : 13301 (toysat) S 13296 13299 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139951979080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13299/tid=13302] ppid=13296 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13299/task/13302/stat : 13302 (toysat) S 13296 13299 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110336156 1345916928 270588 33554432000 4194304 16246674 140736572491968 139951968607408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1314372

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 13299 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.52
CPU time (s): 1800.11
CPU user time (s): 1799.35
CPU system time (s): 0.758884
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.758884
maximum resident set size= 1082352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270008
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= 247
involuntary context switches= 1962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.63429 second user time and 6.87096 second system time

The end

Begin job on node136 at 2016-06-07 09:20:28
IDJOB=4078924
IDBENCH=90138
IDSOLVER=2542
FILE ID=node136/4078924-1465284028
RUNJOBID= node136-1465261284-9910
PBS_JOBID= 19843291
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 34d84c84a6977bf98000135522032f88
RANDOM SEED=539117168

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
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:        29209924 kB
Buffers:           50780 kB
Cached:           142264 kB
SwapCached:          768 kB
Active:          1149896 kB
Inactive:         121200 kB
Active(anon):    1076232 kB
Inactive(anon):     3540 kB
Active(file):      73664 kB
Inactive(file):   117660 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             16872 kB
Writeback:             0 kB
AnonPages:       2817416 kB
Mapped:            10708 kB
Shmem:                 0 kB
Slab:             597880 kB
SReclaimable:      42044 kB
SUnreclaim:       555836 kB
KernelStack:        1528 kB
PageTables:         9400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2880336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1728512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node136 at 2016-06-07 09:50:29