0.00/0.00	c 2016-06-18T06:29:12+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-4101425-1466224152.opb"]
0.00/0.01	c use --random-gen="101124363 4074368892 2133912399 3898442340 1701538249 1742909114 2405072401 1903701969 2375380514 2247398968 913313712 2687126395 1839541294 3526464594 304286964 2007775163 416588545 434722139 372578922 3413612716 606246873 2817352555 2321334429 10574271 3641550516 3032573964 3836886843 775219499 2531590058 1035615285 2689902468 2660165551 2619916272 2452105815 2266026021 2103809518 3486545542 383484176 3849790604 660815970 4194477268 818983086 3600153703 669257216 3575695174 974967216 2849765654 434466295 64988335 3596927092 1161065327 2868546062 582061029 1385178097 1864937813 933526862 4129428031 3237396253 2022344545 2284057327 3863220381 3674966969 240058161 13002126 147252718 2912151193 3601388540 3695121740 444114615 1249475734 3047277127 2561095121 3245696179 3037293548 226310897 2484362319 1848078913 1601084424 390594808 889023131 3252660748 3289252099 1543002487 1670827381 3991168091 1590978632 758621349 1984002617 3369908114 895397606 2870299859 2437520320 2493893115 3568917235 3724565942 1938979607 225787158 1211956112 439911887 182901529 1469429505 3259456175 631130488 1163653174 789659881 2031046975 2443338284 3668118010 2736939280 713137173 993660338 3040493241 256830172 810688412 173973677 3945549482 3986198712 1087034767 364283270 31018471 502169748 2103705815 2435612390 1500118989 1345678129 873162901 3410524994 318987647 1236765880 279863190 2313538254 4268179590 3268281782 952226623 3082629651 3475883323 1770356155 3403231398 1101326306 1487382705 2839875471 2443349229 2215041343 3318696769 2129443057 2208659019 2932859719 2294075849 474024822 2876528772 1143520720 1387341962 1514626011 268831911 1954713012 1953471691 2951365407 1108943994 750365265 2402324566 3418041103 170257793 2221479347 3523067750 1912012697 1294055072 1061175282 1945058775 2107376960 3671678836 3230923747 3690357902 3318580288 1759994962 2597833835 2091729139 2194185488 1772592606 504849057 1787999285 441242390 2414976098 3025959780 2436855635 3068258024 1390104697 3305383807 3006049588 2934358282 2404201786 908607589 3157597560 1630754271 3507020390 1736657075 1732647961 2125175063 1663692689 1639526541 1040047032 211970395 3741396401 306639097 1167364838 2489030362 1354247298 3829801945 3162181997 1285301419 2950215492 3155119328 2576963286 3784011383 3109250964 3347152084 2669229959 4254993693 4112281111 540712331 2724841647 2205938889 2225540268 3206022723 3807978188 1874688087 3281753580 3430892045 1764975322 1137815464 2067060176 563914451 2871090634 3714708393 2958680717 1421441692 2773258786 982501550 1987718432 1991575008 1336521711 2251856241 514391450 1495616050 3391011644 4061058827 1922458377 1567193916 1279956484 3949617808 607923681 1768098113 960061090 4132627640 2514400902 4258061381 2777923871 255 362436" option to reproduce the execution
0.09/0.17	c #vars 8627
0.09/0.17	c #constraints 825
0.49/0.50	c BCD2: Hardening is enabled.
0.49/0.50	c BCD2: BiasedSearch is enabled.
0.49/0.50	c Solving starts ...
0.49/0.50	c ============================[ Search Statistics ]============================
0.49/0.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.50	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.50	c =============================================================================
0.49/0.50	c  0.0s |       0 |        0 |        0 |     3418      0 |       55 |        0
0.59/0.67	c  0.2s |       1 |     2729 |      100 |     3418      0 |       57 |       12
0.89/0.91	c  0.4s |       2 |     7406 |      250 |     3760      0 |       59 |       12
1.19/1.23	c  0.7s |       3 |    13976 |      475 |     4136      0 |       60 |       12
1.59/1.69	c  1.2s |       4 |    26522 |      813 |     4550      0 |       70 |       12
2.19/2.24	c  1.7s |       5 |    39428 |     1320 |     5005      0 |       75 |       12
3.19/3.24	c  2.7s |       6 |    58669 |     2081 |     6057      0 |       92 |       12
4.78/4.82	c  4.3s |       7 |    94435 |     3223 |     6663      0 |      107 |       12
6.88/6.98	c  6.5s |       7 |   121747 |     4223 |     6663      0 |      138 |       12
7.88/7.91	c  7.4s |       8 |   140020 |     4936 |     7330      0 |      142 |       12
9.99/10.05	c  9.6s |       8 |   173905 |     6036 |     7330      0 |      165 |       12
12.09/12.11	c 11.6s |       8 |   204823 |     7136 |     7330      0 |      186 |       28
13.29/13.36	c 12.9s |       9 |   219343 |     7506 |     8064      0 |      199 |       28
15.39/15.41	c 14.9s |       9 |   242136 |     8306 |     8064      0 |      213 |       28
17.48/17.58	c 17.1s |       9 |   266786 |     9506 |     8064      1 |      227 |       28
19.58/19.68	c 19.2s |       9 |   303171 |    11106 |     8064      1 |      232 |       28
20.08/20.11	c 19.6s |      10 |   304665 |    11361 |     8871      1 |      232 |       28
22.18/22.25	c 21.7s |      10 |   330021 |    12261 |     8871      1 |      242 |       28
24.58/24.61	c 24.1s |      10 |   350410 |    13261 |     8871      1 |      256 |       28
26.58/26.62	c 26.1s |      10 |   369569 |    14161 |     8871      2 |      262 |       28
28.59/28.67	c 28.2s |      10 |   405538 |    15461 |     8871      2 |      270 |       28
30.68/30.78	c 30.3s |      10 |   444871 |    16761 |     8871      2 |      277 |       28
31.38/31.46	c 31.0s |      11 |   451464 |    17144 |     9759      2 |      279 |       28
33.58/33.63	c 33.1s |      11 |   475711 |    18144 |     9759      2 |      288 |       28
35.78/35.89	c 35.4s |      11 |   507620 |    19444 |     9759      2 |      292 |       28
37.88/37.93	c 37.4s |      11 |   526797 |    20444 |     9759      3 |      299 |       28
39.88/39.93	c 39.4s |      11 |   551984 |    21444 |     9759      3 |      309 |       28
41.98/42.06	c 41.6s |      11 |   585515 |    22744 |     9759      3 |      315 |       28
43.98/44.09	c 43.6s |      11 |   609115 |    23644 |     9759      3 |      325 |       28
46.28/46.37	c 45.9s |      11 |   636795 |    24744 |     9759      3 |      333 |       28
48.28/48.38	c 47.9s |      11 |   663265 |    25644 |     9759      4 |      342 |       28
48.58/48.63	c 48.1s |      12 |   668794 |    25819 |    10735      4 |      344 |       28
50.58/50.70	c 50.2s |      12 |   690728 |    26819 |    10735      4 |      359 |       28
52.69/52.77	c 52.3s |      12 |   715278 |    28119 |    10735      4 |      364 |       28
54.88/54.93	c 54.4s |      12 |   744054 |    29319 |    10735      4 |      368 |       28
57.08/57.10	c 56.6s |      12 |   770655 |    30119 |    10735      4 |      376 |       28
59.28/59.34	c 58.8s |      12 |   797373 |    31119 |    10735      4 |      383 |       28
61.38/61.40	c 60.9s |      12 |   816145 |    31719 |    10735      5 |      394 |       28
63.38/63.45	c 63.0s |      12 |   829319 |    32919 |    10735      5 |      401 |       28
65.48/65.57	c 65.1s |      12 |   856047 |    34419 |    10735      5 |      404 |       28
67.58/67.66	c 67.2s |      12 |   873237 |    35519 |    10735      5 |      408 |       28
69.68/69.75	c 69.3s |      12 |   892550 |    36519 |    10735      5 |      413 |       28
71.78/71.82	c 71.3s |      12 |   911917 |    37819 |    10735      5 |      413 |       28
73.79/73.88	c 73.4s |      12 |   926522 |    38719 |    11809      6 |      418 |       28
74.08/74.11	c 73.6s |      13 |   926868 |    38832 |    11809      6 |      418 |       28
76.08/76.16	c 75.7s |      13 |   948580 |    40232 |    11809      6 |      419 |       28
78.19/78.23	c 77.7s |      13 |   963539 |    41232 |    11809      6 |      427 |       28
80.28/80.33	c 79.8s |      13 |   977336 |    42232 |    11809      6 |      429 |       28
82.28/82.34	c 81.8s |      13 |   994787 |    43332 |    11809      6 |      433 |       28
84.68/84.80	c 84.3s |      13 |  1010710 |    44232 |    11809      6 |      442 |       28
86.98/87.06	c 86.6s |      13 |  1019307 |    45232 |    11809      6 |      442 |       28
89.48/89.57	c 89.1s |      13 |  1020042 |    45632 |    11809      6 |      442 |       28
91.67/91.77	c 91.3s |      13 |  1021015 |    46032 |    11809      6 |      442 |       28
94.17/94.24	c 93.7s |      13 |  1021292 |    46232 |    11809      6 |      442 |       28
97.38/97.46	c 97.0s |      13 |  1022044 |    46532 |    11809      6 |      442 |       28
99.98/100.04	c 99.5s |      13 |  1022473 |    46832 |    11809      6 |      442 |       28
102.08/102.19	c  101s |      13 |  1023431 |    47232 |    11809      6 |      442 |       28
104.37/104.50	c  104s |      13 |  1026471 |    47632 |    11809      7 |      444 |       28
106.78/106.81	c  106s |      13 |  1046380 |    48632 |    11809      7 |      448 |       28
108.77/108.88	c  108s |      13 |  1061285 |    49332 |    11809      7 |      455 |       28
110.97/111.01	c  110s |      13 |  1068355 |    49832 |    11809      7 |      462 |       28
113.07/113.13	c  112s |      13 |  1084199 |    50932 |    11809      7 |      463 |       28
115.07/115.16	c  114s |      13 |  1104374 |    52132 |    11809      7 |      464 |       28
117.17/117.21	c  116s |      13 |  1117806 |    52932 |    11809      8 |      466 |       28
119.17/119.29	c  118s |      13 |  1142204 |    54332 |    11809      8 |      466 |       28
121.27/121.36	c  120s |      13 |  1161880 |    55632 |    11809      8 |      468 |       28
123.37/123.48	c  122s |      13 |  1193877 |    57032 |    11809      8 |      469 |       28
125.48/125.51	c  125s |      13 |  1211483 |    58032 |    12990      8 |      473 |       28
125.97/126.01	c  125s |      14 |  1215301 |    58352 |    12990      8 |      473 |       28
127.97/128.02	c  127s |      14 |  1230820 |    59252 |    12990      8 |      476 |       28
130.17/130.24	c  129s |      14 |  1248362 |    60352 |    12990      9 |      477 |       28
132.17/132.27	c  131s |      14 |  1270364 |    61652 |    12990      9 |      483 |       28
134.28/134.36	c  133s |      14 |  1291981 |    63052 |    12990      9 |      483 |       28
136.67/136.73	c  136s |      14 |  1309289 |    64252 |    12990      9 |      487 |       28
138.87/138.90	c  138s |      14 |  1322293 |    65452 |    12990      9 |      491 |       28
141.07/141.10	c  140s |      14 |  1324134 |    65952 |    12990      9 |      491 |       28
143.17/143.27	c  142s |      14 |  1340836 |    67152 |    12990      9 |      492 |       28
145.27/145.35	c  144s |      14 |  1350036 |    68052 |    12990     10 |      493 |       28
147.26/147.36	c  146s |      14 |  1361635 |    69252 |    12990     10 |      493 |       28
149.36/149.43	c  148s |      14 |  1378895 |    70552 |    12990     10 |      494 |       28
151.36/151.47	c  150s |      14 |  1392433 |    71652 |    12990     10 |      497 |       28
153.46/153.57	c  153s |      14 |  1398493 |    72452 |    12990     10 |      497 |       28
155.76/155.82	c  155s |      14 |  1403499 |    73352 |    12990     10 |      497 |       28
157.76/157.83	c  157s |      14 |  1416563 |    74452 |    12990     10 |      497 |       28
159.76/159.89	c  159s |      14 |  1429702 |    75452 |    12990     11 |      497 |       28
161.86/161.96	c  161s |      14 |  1439223 |    76152 |    12990     11 |      502 |       28
164.36/164.42	c  163s |      14 |  1447199 |    77152 |    12990     11 |      502 |       28
166.37/166.45	c  165s |      14 |  1455529 |    77952 |    12990     11 |      502 |       28
168.47/168.50	c  168s |      14 |  1476059 |    79152 |    12990     11 |      504 |       28
170.67/170.70	c  170s |      14 |  1497018 |    80252 |    12990     11 |      506 |       28
172.67/172.73	c  172s |      14 |  1508617 |    81252 |    12990     11 |      509 |       28
175.16/175.26	c  174s |      14 |  1512978 |    82152 |    12990     11 |      509 |       28
177.36/177.46	c  176s |      14 |  1513649 |    82352 |    12990     11 |      509 |       28
179.46/179.54	c  179s |      14 |  1514931 |    82652 |    12990     11 |      509 |       28
181.57/181.66	c  181s |      14 |  1531288 |    83852 |    12990     12 |      509 |       28
183.67/183.78	c  183s |      14 |  1544893 |    85252 |    12990     12 |      510 |       28
185.76/185.83	c  185s |      14 |  1556627 |    86352 |    12990     12 |      510 |       28
187.76/187.87	c  187s |      14 |  1567602 |    87252 |    14290     12 |      514 |       28
188.56/188.60	c  188s |      15 |  1571039 |    87632 |    14290     12 |      515 |       28
190.56/190.66	c  190s |      15 |  1584247 |    88532 |    14290     12 |      518 |       28
192.57/192.66	c  192s |      15 |  1598805 |    89532 |    14290     12 |      519 |       28
194.96/195.02	c  194s |      15 |  1607765 |    90432 |    14290     12 |      521 |       28
197.16/197.29	c  196s |      15 |  1613612 |    91132 |    14290     13 |      522 |       28
199.36/199.44	c  198s |      15 |  1634439 |    92732 |    14290     13 |      522 |       28
201.46/201.52	c  201s |      15 |  1647129 |    93932 |    14290     13 |      522 |       28
203.56/203.65	c  203s |      15 |  1663092 |    94832 |    14290     13 |      526 |       28
205.66/205.73	c  205s |      15 |  1682859 |    96132 |    14290     13 |      526 |       28
207.86/207.94	c  207s |      15 |  1698134 |    96932 |    14290     13 |      530 |       28
209.85/209.96	c  209s |      15 |  1711816 |    97932 |    14290     13 |      531 |       28
211.85/211.99	c  211s |      15 |  1721468 |    98532 |    14290     14 |      539 |       28
214.15/214.22	c  213s |      15 |  1736343 |    99732 |    14290     14 |      541 |       28
216.25/216.30	c  215s |      15 |  1754303 |   101132 |    14290     14 |      542 |       28
218.35/218.40	c  217s |      15 |  1761441 |   102232 |    14290     14 |      542 |       28
220.45/220.58	c  220s |      15 |  1770985 |   103232 |    14290     14 |      543 |       28
222.55/222.60	c  222s |      15 |  1789344 |   104232 |    14290     14 |      546 |       28
224.65/224.77	c  224s |      15 |  1806047 |   105232 |    14290     14 |      549 |       28
226.75/226.86	c  226s |      15 |  1821501 |   106032 |    14290     15 |      552 |       28
229.06/229.10	c  228s |      15 |  1838032 |   107332 |    14290     15 |      552 |       28
231.06/231.12	c  230s |      15 |  1847469 |   108332 |    14290     15 |      552 |       28
233.06/233.14	c  232s |      15 |  1857224 |   109332 |    14290     15 |      552 |       28
235.06/235.14	c  234s |      15 |  1875136 |   110532 |    14290     15 |      553 |       28
237.16/237.29	c  236s |      15 |  1887424 |   111432 |    14290     15 |      556 |       28
239.56/239.63	c  239s |      15 |  1905806 |   112532 |    14290     15 |      558 |       28
242.06/242.12	c  241s |      15 |  1914547 |   113532 |    14290     16 |      559 |       28
244.05/244.16	c  243s |      15 |  1934616 |   114832 |    14290     16 |      561 |       28
246.15/246.30	c  245s |      15 |  1938497 |   115532 |    14290     16 |      561 |       28
248.55/248.63	c  248s |      15 |  1939118 |   115832 |    14290     16 |      561 |       28
250.55/250.64	c  250s |      15 |  1955675 |   116932 |    14290     16 |      562 |       28
252.75/252.83	c  252s |      15 |  1971435 |   117932 |    14290     16 |      565 |       28
254.75/254.88	c  254s |      15 |  1987117 |   119032 |    14290     16 |      567 |       28
256.95/257.00	c  256s |      15 |  2000167 |   120032 |    14290     16 |      569 |       28
259.04/259.13	c  258s |      15 |  2011859 |   121032 |    14290     16 |      570 |       28
261.04/261.19	c  260s |      15 |  2025214 |   121832 |    14290     17 |      575 |       28
263.15/263.22	c  262s |      15 |  2029147 |   122332 |    14290     17 |      576 |       28
265.16/265.24	c  264s |      15 |  2043078 |   123432 |    14290     17 |      577 |       28
267.15/267.26	c  266s |      15 |  2057005 |   124732 |    14290     17 |      577 |       28
269.15/269.28	c  268s |      15 |  2067377 |   125732 |    14290     17 |      577 |       28
271.35/271.42	c  270s |      15 |  2087136 |   127032 |    14290     17 |      577 |       28
273.45/273.53	c  273s |      15 |  2099650 |   127932 |    14290     17 |      579 |       28
275.65/275.72	c  275s |      15 |  2104273 |   128732 |    14290     17 |      579 |       28
278.05/278.15	c  277s |      15 |  2108131 |   129432 |    14290     18 |      580 |       28
280.35/280.43	c  279s |      15 |  2124402 |   130232 |    14290     18 |      588 |       28
282.55/282.61	c  282s |      15 |  2128646 |   130932 |    15720     18 |      589 |       28
283.25/283.34	c  282s |      16 |  2137239 |   131552 |    15720     18 |      589 |       28
285.44/285.51	c  285s |      16 |  2158275 |   132552 |    15720     18 |      592 |       28
287.54/287.65	c  287s |      16 |  2167883 |   133552 |    15720     18 |      592 |       28
289.64/289.78	c  289s |      16 |  2183517 |   134452 |    15720     18 |      595 |       28
291.84/291.92	c  291s |      16 |  2200751 |   135852 |    15720     18 |      595 |       28
293.84/293.94	c  293s |      16 |  2218149 |   136952 |    15720     18 |      596 |       28
296.34/296.42	c  295s |      16 |  2239474 |   137952 |    15720     19 |      599 |       28
298.54/298.61	c  298s |      16 |  2256643 |   139252 |    15720     19 |      601 |       28
300.55/300.67	c  300s |      16 |  2266076 |   140152 |    15720     19 |      601 |       28
302.65/302.74	c  302s |      16 |  2285373 |   141352 |    15720     19 |      602 |       28
304.85/304.92	c  304s |      16 |  2295950 |   142052 |    15720     19 |      605 |       28
307.34/307.42	c  306s |      16 |  2296620 |   142252 |    15720     19 |      605 |       28
309.84/309.92	c  309s |      16 |  2297810 |   142552 |    15720     19 |      605 |       28
312.04/312.16	c  311s |      16 |  2299594 |   143052 |    15720     19 |      605 |       28
314.55/314.68	c  314s |      16 |  2301878 |   143552 |    15720     19 |      605 |       28
317.14/317.20	c  316s |      16 |  2302968 |   143852 |    15720     19 |      605 |       28
319.24/319.30	c  318s |      16 |  2308307 |   144652 |    15720     19 |      605 |       28
321.34/321.44	c  320s |      16 |  2330596 |   145752 |    15720     19 |      609 |       28
323.34/323.48	c  322s |      16 |  2342837 |   146752 |    15720     19 |      609 |       28
325.44/325.50	c  325s |      16 |  2356537 |   147752 |    15720     19 |      609 |       28
327.44/327.58	c  327s |      16 |  2364734 |   148452 |    15720     20 |      616 |       28
329.83/329.90	c  329s |      16 |  2376214 |   149252 |    15720     20 |      619 |       28
331.83/331.96	c  331s |      16 |  2396752 |   150652 |    15720     20 |      619 |       28
333.83/333.97	c  333s |      16 |  2410511 |   151752 |    15720     20 |      619 |       28
336.23/336.30	c  335s |      16 |  2421269 |   152852 |    15720     20 |      620 |       28
338.23/338.38	c  337s |      16 |  2433195 |   154152 |    15720     20 |      620 |       28
340.23/340.38	c  339s |      16 |  2450477 |   155252 |    15720     20 |      621 |       28
342.44/342.51	c  342s |      16 |  2459389 |   156252 |    15720     20 |      621 |       28
344.54/344.68	c  344s |      16 |  2467374 |   156952 |    15720     21 |      622 |       28
347.04/347.16	c  346s |      16 |  2487188 |   158252 |    15720     21 |      628 |       28
349.24/349.35	c  348s |      16 |  2509696 |   159452 |    15720     21 |      630 |       28
351.34/351.48	c  350s |      16 |  2525126 |   160552 |    15720     21 |      633 |       28
353.44/353.58	c  353s |      16 |  2541468 |   161452 |    15720     21 |      636 |       28
355.64/355.70	c  355s |      16 |  2559695 |   162652 |    15720     21 |      637 |       28
357.74/357.84	c  357s |      16 |  2573265 |   163652 |    15720     21 |      638 |       28
359.94/360.00	c  359s |      16 |  2578216 |   164352 |    15720     21 |      638 |       28
361.94/362.08	c  361s |      16 |  2584043 |   165152 |    15720     21 |      638 |       28
364.43/364.58	c  364s |      16 |  2585302 |   165652 |    15720     21 |      638 |       28
366.53/366.69	c  366s |      16 |  2587415 |   166252 |    15720     21 |      638 |       28
368.63/368.77	c  368s |      16 |  2595717 |   166952 |    15720     22 |      639 |       28
370.74/370.85	c  370s |      16 |  2600948 |   167852 |    15720     22 |      639 |       28
373.03/373.15	c  372s |      16 |  2607823 |   168752 |    15720     22 |      639 |       28
375.14/375.29	c  374s |      16 |  2612530 |   169552 |    15720     22 |      639 |       28
377.34/377.48	c  376s |      16 |  2617812 |   170152 |    15720     22 |      639 |       28
379.54/379.66	c  379s |      16 |  2620752 |   170852 |    15720     22 |      639 |       28
381.93/382.04	c  381s |      16 |  2632994 |   172052 |    15720     22 |      639 |       28
384.13/384.28	c  383s |      16 |  2637435 |   172652 |    15720     22 |      639 |       28
386.13/386.28	c  385s |      16 |  2640732 |   173052 |    15720     22 |      639 |       28
388.13/388.30	c  387s |      16 |  2646173 |   173552 |    15720     22 |      639 |       28
390.43/390.54	c  390s |      16 |  2659010 |   174252 |    15720     23 |      641 |       28
392.43/392.58	c  392s |      16 |  2669982 |   175252 |    15720     23 |      643 |       28
394.53/394.69	c  394s |      16 |  2678887 |   176352 |    15720     23 |      643 |       28
396.63/396.79	c  396s |      16 |  2691657 |   177552 |    15720     23 |      644 |       28
398.83/398.90	c  398s |      16 |  2704179 |   178652 |    15720     23 |      644 |       28
400.93/401.03	c  400s |      16 |  2720069 |   179952 |    15720     23 |      645 |       28
402.93/403.05	c  402s |      16 |  2734636 |   181052 |    15720     23 |      645 |       28
404.93/405.05	c  404s |      16 |  2744579 |   181752 |    15720     23 |      647 |       28
406.94/407.05	c  406s |      16 |  2760650 |   182852 |    15720     23 |      648 |       28
409.03/409.16	c  408s |      16 |  2769404 |   183552 |    15720     24 |      650 |       28
411.23/411.32	c  410s |      16 |  2782709 |   184752 |    15720     24 |      651 |       28
413.43/413.53	c  413s |      16 |  2789500 |   185552 |    15720     24 |      651 |       28
415.43/415.58	c  415s |      16 |  2802744 |   186352 |    15720     24 |      655 |       28
417.43/417.58	c  417s |      16 |  2815278 |   187352 |    15720     24 |      657 |       28
419.53/419.66	c  419s |      16 |  2838479 |   188652 |    15720     24 |      657 |       28
421.73/421.89	c  421s |      16 |  2846534 |   189552 |    15720     24 |      658 |       28
424.03/424.18	c  423s |      16 |  2849646 |   190152 |    15720     24 |      658 |       28
426.23/426.35	c  425s |      16 |  2863132 |   191552 |    15720     24 |      658 |       28
428.32/428.45	c  427s |      16 |  2871298 |   192752 |    15720     24 |      658 |       28
430.32/430.46	c  429s |      16 |  2883043 |   193652 |    15720     25 |      658 |       28
432.62/432.79	c  432s |      16 |  2893977 |   194752 |    15720     25 |      660 |       28
434.82/434.94	c  434s |      16 |  2911436 |   195852 |    15720     25 |      661 |       28
437.32/437.44	c  436s |      16 |  2921202 |   196652 |    17292     25 |      665 |       28
438.62/438.76	c  438s |      17 |  2929952 |   197432 |    17292     25 |      666 |       28
440.62/440.79	c  440s |      17 |  2946518 |   198532 |    17292     25 |      666 |       28
442.72/442.81	c  442s |      17 |  2961813 |   199332 |    17292     25 |      668 |       28
444.72/444.86	c  444s |      17 |  2970569 |   200032 |    17292     25 |      671 |       28
446.93/447.05	c  446s |      17 |  2982174 |   201232 |    17292     25 |      671 |       28
449.12/449.24	c  448s |      17 |  2995344 |   202332 |    17292     25 |      672 |       28
451.32/451.48	c  450s |      17 |  3004734 |   203132 |    17292     26 |      674 |       28
453.42/453.53	c  453s |      17 |  3020195 |   204132 |    17292     26 |      677 |       28
455.52/455.68	c  455s |      17 |  3033659 |   205332 |    17292     26 |      677 |       28
457.63/457.78	c  457s |      17 |  3047522 |   206532 |    17292     26 |      678 |       28
459.73/459.86	c  459s |      17 |  3058185 |   207432 |    17292     26 |      678 |       28
461.82/462.00	c  461s |      17 |  3063765 |   208432 |    17292     26 |      678 |       28
463.92/464.09	c  463s |      17 |  3078745 |   209532 |    17292     26 |      678 |       28
466.02/466.13	c  465s |      17 |  3094544 |   210132 |    17292     26 |      681 |       28
468.02/468.13	c  467s |      17 |  3096808 |   210632 |    17292     26 |      681 |       28
470.11/470.23	c  469s |      17 |  3098254 |   211032 |    17292     26 |      681 |       28
472.41/472.58	c  472s |      17 |  3099509 |   211432 |    17292     26 |      681 |       28
474.52/474.62	c  474s |      17 |  3100322 |   211732 |    17292     26 |      681 |       28
476.62/476.75	c  476s |      17 |  3101569 |   212132 |    17292     26 |      681 |       28
478.62/478.76	c  478s |      17 |  3116472 |   213132 |    17292     26 |      681 |       28
480.72/480.83	c  480s |      17 |  3126745 |   214332 |    17292     27 |      681 |       28
482.82/482.94	c  482s |      17 |  3148121 |   215632 |    17292     27 |      682 |       28
484.92/485.06	c  484s |      17 |  3168623 |   216632 |    17292     27 |      683 |       28
487.22/487.39	c  486s |      17 |  3177429 |   217732 |    17292     27 |      684 |       28
489.52/489.62	c  489s |      17 |  3186925 |   218332 |    17292     27 |      686 |       28
491.62/491.75	c  491s |      17 |  3200154 |   219232 |    17292     27 |      688 |       28
493.61/493.77	c  493s |      17 |  3210920 |   220332 |    17292     27 |      688 |       28
495.71/495.87	c  495s |      17 |  3219166 |   221332 |    17292     27 |      688 |       28
497.92/498.03	c  497s |      17 |  3221207 |   221932 |    17292     27 |      688 |       28
500.81/500.98	c  500s |      17 |  3227143 |   222432 |    17292     28 |      689 |       28
503.01/503.16	c  502s |      17 |  3243784 |   223632 |    17292     28 |      691 |       28
505.11/505.26	c  504s |      17 |  3262352 |   225032 |    17292     28 |      692 |       28
507.21/507.39	c  506s |      17 |  3275015 |   225932 |    17292     28 |      694 |       28
509.32/509.49	c  508s |      17 |  3279687 |   226532 |    17292     28 |      697 |       28
511.71/511.84	c  511s |      17 |  3290866 |   227832 |    17292     28 |      698 |       28
513.81/513.94	c  513s |      17 |  3307703 |   228932 |    17292     28 |      699 |       28
515.91/516.04	c  515s |      17 |  3317343 |   230032 |    17292     28 |      700 |       28
517.91/518.10	c  517s |      17 |  3324326 |   230732 |    17292     28 |      700 |       28
520.11/520.30	c  519s |      17 |  3326651 |   231132 |    17292     28 |      700 |       28
522.21/522.35	c  521s |      17 |  3329569 |   231632 |    17292     28 |      700 |       28
524.61/524.75	c  524s |      17 |  3330861 |   232032 |    17292     28 |      700 |       28
527.20/527.35	c  526s |      17 |  3332191 |   232332 |    17292     28 |      700 |       28
529.60/529.78	c  529s |      17 |  3334348 |   232732 |    17292     28 |      700 |       28
532.20/532.38	c  531s |      17 |  3335733 |   233132 |    17292     28 |      700 |       28
534.31/534.45	c  533s |      17 |  3338261 |   233632 |    17292     28 |      700 |       28
536.41/536.57	c  536s |      17 |  3350247 |   234532 |    17292     29 |      700 |       28
538.51/538.68	c  538s |      17 |  3364309 |   235532 |    17292     29 |      703 |       28
540.71/540.89	c  540s |      17 |  3375101 |   236432 |    17292     29 |      705 |       28
542.80/542.92	c  542s |      17 |  3388753 |   237632 |    17292     29 |      705 |       28
544.80/544.96	c  544s |      17 |  3397408 |   238632 |    17292     29 |      705 |       28
546.90/547.09	c  546s |      17 |  3409636 |   239532 |    17292     29 |      707 |       28
549.00/549.13	c  548s |      17 |  3420258 |   240332 |    17292     29 |      709 |       28
551.20/551.31	c  550s |      17 |  3433366 |   241232 |    17292     29 |      710 |       28
553.31/553.47	c  552s |      17 |  3441322 |   241932 |    17292     30 |      711 |       28
555.41/555.53	c  555s |      17 |  3456030 |   243132 |    17292     30 |      711 |       28
557.50/557.63	c  557s |      17 |  3468125 |   244332 |    17292     30 |      713 |       28
559.70/559.81	c  559s |      17 |  3476912 |   245432 |    17292     30 |      713 |       28
561.80/561.96	c  561s |      17 |  3488107 |   246532 |    17292     30 |      713 |       28
564.40/564.53	c  564s |      17 |  3491080 |   247032 |    17292     30 |      713 |       28
566.90/567.09	c  566s |      17 |  3492278 |   247432 |    17292     30 |      713 |       28
568.90/569.09	c  568s |      17 |  3501039 |   248332 |    17292     30 |      713 |       28
571.01/571.12	c  570s |      17 |  3508591 |   249232 |    17292     30 |      713 |       28
573.30/573.42	c  572s |      17 |  3517408 |   250032 |    17292     30 |      715 |       28
575.50/575.66	c  575s |      17 |  3526414 |   251032 |    17292     30 |      716 |       28
577.70/577.80	c  577s |      17 |  3538120 |   251832 |    17292     31 |      719 |       28
579.71/579.81	c  579s |      17 |  3552396 |   252932 |    17292     31 |      719 |       28
581.91/582.03	c  581s |      17 |  3567335 |   253932 |    17292     31 |      721 |       28
584.01/584.17	c  583s |      17 |  3582569 |   254832 |    17292     31 |      725 |       28
586.10/586.22	c  585s |      17 |  3594776 |   255832 |    17292     31 |      726 |       28
588.20/588.37	c  587s |      17 |  3598548 |   256532 |    17292     31 |      727 |       28
590.40/590.55	c  590s |      17 |  3608547 |   257632 |    17292     31 |      727 |       28
592.60/592.71	c  592s |      17 |  3618852 |   258532 |    17292     31 |      727 |       28
594.70/594.87	c  594s |      17 |  3631552 |   259732 |    17292     31 |      727 |       28
596.90/597.00	c  596s |      17 |  3646792 |   260732 |    17292     31 |      727 |       28
598.90/599.02	c  598s |      17 |  3660052 |   261732 |    17292     32 |      727 |       28
600.90/601.02	c  600s |      17 |  3672022 |   262832 |    17292     32 |      727 |       28
602.90/603.08	c  602s |      17 |  3683849 |   264032 |    17292     32 |      727 |       28
604.90/605.10	c  604s |      17 |  3692584 |   264932 |    17292     32 |      727 |       28
607.20/607.36	c  606s |      17 |  3697455 |   265532 |    17292     32 |      727 |       28
609.30/609.50	c  608s |      17 |  3705934 |   266532 |    17292     32 |      727 |       28
611.69/611.81	c  611s |      17 |  3708949 |   267232 |    17292     32 |      727 |       28
613.89/614.10	c  613s |      17 |  3710424 |   267732 |    17292     32 |      727 |       28
616.09/616.29	c  615s |      17 |  3711074 |   267932 |    17292     32 |      727 |       28
618.10/618.29	c  617s |      17 |  3720547 |   268632 |    17292     32 |      727 |       28
620.30/620.42	c  619s |      17 |  3735170 |   269632 |    17292     32 |      728 |       28
622.39/622.56	c  622s |      17 |  3746999 |   270532 |    17292     32 |      728 |       28
624.49/624.66	c  624s |      17 |  3756751 |   271232 |    17292     33 |      730 |       28
626.59/626.73	c  626s |      17 |  3769321 |   272132 |    17292     33 |      732 |       28
628.70/628.86	c  628s |      17 |  3783005 |   273632 |    17292     33 |      732 |       28
630.89/631.08	c  630s |      17 |  3791094 |   274532 |    17292     33 |      732 |       28
632.99/633.19	c  632s |      17 |  3800624 |   275332 |    17292     33 |      734 |       28
635.19/635.37	c  634s |      17 |  3813035 |   276232 |    17292     33 |      736 |       28
637.29/637.44	c  636s |      17 |  3825336 |   277332 |    17292     33 |      737 |       28
639.49/639.60	c  639s |      17 |  3832608 |   278232 |    17292     33 |      738 |       28
641.49/641.60	c  641s |      17 |  3839064 |   278932 |    17292     33 |      739 |       28
643.59/643.72	c  643s |      17 |  3841480 |   279532 |    17292     33 |      739 |       28
645.79/645.94	c  645s |      17 |  3843455 |   280032 |    17292     33 |      739 |       28
647.79/648.00	c  647s |      17 |  3844254 |   280332 |    17292     33 |      739 |       28
649.88/650.08	c  649s |      17 |  3856038 |   280932 |    17292     34 |      739 |       28
652.09/652.25	c  651s |      17 |  3866420 |   281732 |    17292     34 |      742 |       28
654.19/654.36	c  653s |      17 |  3891600 |   282932 |    17292     34 |      742 |       28
656.39/656.51	c  656s |      17 |  3913429 |   284032 |    17292     34 |      743 |       28
658.49/658.66	c  658s |      17 |  3924310 |   285132 |    17292     34 |      744 |       28
660.49/660.68	c  660s |      17 |  3938465 |   286132 |    17292     34 |      745 |       28
662.69/662.89	c  662s |      17 |  3951398 |   287332 |    17292     34 |      746 |       28
664.79/664.98	c  664s |      17 |  3959404 |   288232 |    17292     34 |      747 |       28
666.79/666.99	c  666s |      17 |  3965443 |   288932 |    17292     34 |      747 |       28
668.98/669.14	c  668s |      17 |  3977261 |   289932 |    17292     34 |      747 |       28
671.08/671.29	c  670s |      17 |  3991684 |   290932 |    17292     34 |      747 |       28
673.38/673.52	c  673s |      17 |  3996523 |   291832 |    17292     34 |      747 |       28
675.48/675.61	c  675s |      17 |  4001888 |   292332 |    17292     35 |      747 |       28
677.48/677.67	c  677s |      17 |  4015341 |   293332 |    17292     35 |      748 |       28
679.68/679.83	c  679s |      17 |  4025750 |   294332 |    19022     35 |      749 |       28
681.67/681.83	c  681s |      17 |  4033792 |   295532 |    19022     35 |      749 |       28
683.67/683.83	c  683s |      18 |  4036387 |   296252 |    19022     35 |      749 |       28
685.67/685.85	c  685s |      18 |  4054404 |   297052 |    19022     35 |      751 |       28
687.77/687.96	c  687s |      18 |  4063863 |   297852 |    19022     35 |      753 |       28
689.87/690.02	c  689s |      18 |  4067675 |   298652 |    19022     35 |      753 |       28
691.98/692.11	c  691s |      18 |  4073598 |   299452 |    19022     35 |      753 |       28
694.09/694.20	c  693s |      18 |  4089265 |   300452 |    19022     35 |      754 |       28
696.08/696.27	c  695s |      18 |  4102214 |   301752 |    19022     35 |      754 |       28
698.18/698.38	c  697s |      18 |  4115823 |   302652 |    19022     36 |      754 |       28
700.38/700.50	c  700s |      18 |  4129293 |   303752 |    19022     36 |      758 |       28
702.38/702.55	c  702s |      18 |  4148092 |   305052 |    19022     36 |      759 |       28
704.38/704.56	c  704s |      18 |  4153013 |   305852 |    19022     36 |      759 |       28
706.47/706.65	c  706s |      18 |  4161135 |   306952 |    19022     36 |      759 |       28
708.67/708.84	c  708s |      18 |  4177036 |   307852 |    19022     36 |      761 |       28
710.77/710.95	c  710s |      18 |  4192449 |   309152 |    19022     36 |      761 |       28
712.97/713.10	c  712s |      18 |  4201861 |   310452 |    19022     36 |      761 |       28
714.98/715.16	c  714s |      18 |  4207926 |   311052 |    19022     36 |      761 |       28
717.18/717.33	c  716s |      18 |  4219806 |   312052 |    19022     36 |      761 |       28
719.27/719.46	c  718s |      18 |  4233109 |   313052 |    19022     36 |      761 |       28
721.47/721.65	c  721s |      18 |  4244909 |   314152 |    19022     37 |      761 |       28
723.46/723.67	c  723s |      18 |  4261547 |   315352 |    19022     37 |      762 |       28
725.66/725.87	c  725s |      18 |  4278917 |   316652 |    19022     37 |      762 |       28
727.76/727.92	c  727s |      18 |  4293304 |   317652 |    19022     37 |      762 |       28
729.76/729.96	c  729s |      18 |  4304648 |   318552 |    19022     37 |      764 |       28
731.96/732.10	c  731s |      18 |  4318516 |   319752 |    19022     37 |      764 |       28
734.07/734.24	c  733s |      18 |  4330939 |   320852 |    19022     37 |      765 |       28
736.17/736.30	c  735s |      18 |  4343353 |   321952 |    19022     37 |      765 |       28
738.37/738.57	c  738s |      18 |  4352839 |   322952 |    19022     37 |      765 |       28
740.47/740.63	c  740s |      18 |  4359249 |   323752 |    19022     37 |      765 |       28
742.47/742.67	c  742s |      18 |  4375067 |   324852 |    19022     38 |      765 |       28
744.47/744.69	c  744s |      18 |  4384837 |   325852 |    19022     38 |      766 |       28
746.67/746.81	c  746s |      18 |  4398560 |   327152 |    19022     38 |      766 |       28
748.77/748.92	c  748s |      18 |  4409073 |   328352 |    19022     38 |      766 |       28
750.76/750.95	c  750s |      18 |  4416460 |   329252 |    19022     38 |      766 |       28
753.26/753.49	c  752s |      18 |  4419871 |   329952 |    19022     38 |      766 |       28
756.96/757.14	c  756s |      18 |  4420391 |   330252 |    19022     38 |      766 |       28
759.66/759.82	c  759s |      18 |  4420794 |   330452 |    19022     38 |      766 |       28
762.17/762.32	c  761s |      18 |  4422216 |   330852 |    19022     38 |      766 |       28
764.86/765.08	c  764s |      18 |  4423238 |   331152 |    19022     38 |      766 |       28
768.06/768.26	c  767s |      18 |  4423656 |   331352 |    19022     38 |      766 |       28
770.25/770.43	c  769s |      18 |  4426821 |   331852 |    19022     38 |      766 |       28
772.25/772.49	c  771s |      18 |  4440080 |   332852 |    19022     38 |      767 |       28
774.76/774.93	c  774s |      18 |  4451126 |   333752 |    19022     39 |      768 |       28
776.76/776.96	c  776s |      18 |  4460644 |   334552 |    19022     39 |      768 |       28
779.56/779.71	c  779s |      18 |  4478791 |   335752 |    19022     39 |      771 |       28
781.66/781.89	c  781s |      18 |  4489338 |   336852 |    19022     39 |      772 |       28
783.75/783.92	c  783s |      18 |  4497801 |   337552 |    19022     39 |      772 |       28
786.05/786.29	c  785s |      18 |  4504021 |   338352 |    19022     39 |      772 |       28
788.25/788.40	c  787s |      18 |  4520151 |   339152 |    19022     39 |      774 |       28
790.65/790.82	c  790s |      18 |  4526886 |   339752 |    19022     39 |      778 |       28
793.16/793.30	c  792s |      18 |  4542111 |   340852 |    19022     39 |      779 |       28
795.46/795.62	c  795s |      18 |  4555372 |   342152 |    19022     39 |      779 |       28
797.55/797.77	c  797s |      18 |  4562747 |   343052 |    19022     39 |      779 |       28
799.75/799.98	c  799s |      18 |  4575698 |   344352 |    19022     39 |      779 |       28
801.86/802.03	c  801s |      18 |  4587519 |   345252 |    19022     40 |      779 |       28
803.85/804.07	c  803s |      18 |  4596768 |   346252 |    19022     40 |      780 |       28
805.95/806.12	c  805s |      18 |  4603070 |   347252 |    19022     40 |      780 |       28
807.95/808.19	c  807s |      18 |  4612506 |   348252 |    19022     40 |      781 |       28
810.24/810.41	c  809s |      18 |  4615258 |   348952 |    19022     40 |      781 |       28
812.24/812.46	c  811s |      18 |  4627086 |   350052 |    19022     40 |      781 |       28
814.54/814.76	c  814s |      18 |  4638804 |   351152 |    19022     40 |      781 |       28
816.74/816.93	c  816s |      18 |  4648419 |   352152 |    19022     40 |      781 |       28
818.94/819.20	c  818s |      18 |  4655665 |   352752 |    19022     40 |      783 |       28
821.04/821.25	c  820s |      18 |  4667013 |   353752 |    19022     40 |      783 |       28
823.35/823.56	c  823s |      18 |  4672590 |   354652 |    19022     40 |      783 |       28
825.45/825.68	c  825s |      18 |  4683365 |   355352 |    19022     41 |      784 |       28
827.54/827.71	c  827s |      18 |  4700371 |   356652 |    19022     41 |      784 |       28
829.54/829.78	c  829s |      18 |  4715245 |   357652 |    19022     41 |      785 |       28
831.64/831.89	c  831s |      18 |  4733555 |   358952 |    19022     41 |      785 |       28
833.65/833.90	c  833s |      18 |  4744133 |   360152 |    19022     41 |      785 |       28
835.85/836.02	c  835s |      18 |  4753802 |   361452 |    19022     41 |      785 |       28
837.94/838.13	c  837s |      18 |  4767495 |   362552 |    19022     41 |      786 |       28
839.94/840.14	c  839s |      18 |  4783724 |   363452 |    19022     41 |      787 |       28
842.54/842.76	c  842s |      18 |  4788296 |   364252 |    19022     41 |      787 |       28
844.64/844.82	c  844s |      18 |  4791555 |   364752 |    19022     41 |      787 |       28
846.73/846.98	c  846s |      18 |  4798262 |   365652 |    19022     42 |      787 |       28
848.93/849.18	c  848s |      18 |  4804823 |   366452 |    19022     42 |      788 |       28
851.34/851.50	c  851s |      18 |  4808986 |   367152 |    19022     42 |      789 |       28
853.63/853.82	c  853s |      18 |  4820564 |   368152 |    19022     42 |      790 |       28
855.64/855.88	c  855s |      18 |  4829202 |   369052 |    19022     42 |      790 |       28
857.93/858.12	c  857s |      18 |  4840661 |   370052 |    19022     42 |      790 |       28
860.04/860.29	c  859s |      18 |  4845610 |   370752 |    19022     42 |      790 |       28
862.13/862.34	c  861s |      18 |  4853015 |   371652 |    19022     42 |      790 |       28
864.44/864.66	c  864s |      18 |  4856797 |   372452 |    19022     42 |      790 |       28
866.93/867.18	c  866s |      18 |  4859457 |   372952 |    19022     42 |      790 |       28
868.93/869.19	c  868s |      18 |  4860836 |   373252 |    19022     42 |      790 |       28
871.33/871.51	c  871s |      18 |  4863956 |   373752 |    19022     42 |      790 |       28
873.53/873.78	c  873s |      18 |  4865271 |   374152 |    19022     42 |      790 |       28
876.53/876.71	c  876s |      18 |  4877281 |   375052 |    19022     43 |      791 |       28
878.73/878.96	c  878s |      18 |  4886335 |   376052 |    19022     43 |      791 |       28
880.72/880.98	c  880s |      18 |  4894052 |   377052 |    19022     43 |      791 |       28
882.82/883.04	c  882s |      18 |  4911815 |   378152 |    19022     43 |      791 |       28
884.82/885.05	c  884s |      18 |  4922885 |   379352 |    19022     43 |      791 |       28
886.82/887.08	c  886s |      18 |  4933246 |   380452 |    19022     43 |      791 |       28
889.12/889.38	c  888s |      18 |  4937553 |   381052 |    19022     43 |      792 |       28
891.22/891.47	c  890s |      18 |  4951154 |   382152 |    19022     43 |      793 |       28
893.42/893.60	c  893s |      18 |  4961295 |   383352 |    19022     43 |      793 |       28
895.82/896.02	c  895s |      18 |  4963119 |   384052 |    19022     43 |      793 |       28
897.82/898.06	c  897s |      18 |  4975739 |   384752 |    19022     43 |      794 |       28
899.82/900.07	c  899s |      18 |  4986276 |   385752 |    19022     43 |      794 |       28
902.22/902.46	c  901s |      18 |  4998440 |   386452 |    19022     44 |      795 |       28
904.42/904.60	c  904s |      18 |  5009614 |   387752 |    19022     44 |      795 |       28
906.72/906.99	c  906s |      18 |  5013680 |   388352 |    19022     44 |      796 |       28
908.91/909.18	c  908s |      18 |  5032382 |   389352 |    19022     44 |      798 |       28
911.11/911.38	c  910s |      18 |  5042586 |   390352 |    19022     44 |      799 |       28
913.41/913.60	c  913s |      18 |  5056623 |   391452 |    19022     44 |      799 |       28
916.21/916.44	c  915s |      18 |  5069040 |   392252 |    19022     44 |      803 |       28
918.31/918.57	c  918s |      18 |  5078296 |   393152 |    19022     44 |      804 |       28
920.40/920.60	c  920s |      18 |  5093193 |   393952 |    19022     44 |      806 |       28
922.60/922.85	c  922s |      18 |  5102458 |   395152 |    19022     44 |      806 |       28
924.60/924.88	c  924s |      18 |  5107007 |   395752 |    19022     44 |      806 |       28
926.80/927.06	c  926s |      18 |  5117774 |   396452 |    19022     45 |      806 |       28
928.81/929.07	c  928s |      18 |  5126369 |   397152 |    19022     45 |      807 |       28
930.91/931.11	c  930s |      18 |  5146933 |   398252 |    19022     45 |      809 |       28
933.00/933.24	c  932s |      18 |  5161456 |   399452 |    19022     45 |      809 |       28
935.00/935.26	c  934s |      18 |  5173362 |   400252 |    19022     45 |      809 |       28
937.01/937.29	c  936s |      18 |  5185705 |   401452 |    19022     45 |      809 |       28
939.20/939.45	c  938s |      18 |  5203645 |   402752 |    19022     45 |      809 |       28
941.30/941.55	c  941s |      18 |  5213619 |   403752 |    19022     45 |      809 |       28
943.40/943.60	c  943s |      18 |  5222518 |   404752 |    19022     45 |      809 |       28
945.60/945.83	c  945s |      18 |  5229523 |   405752 |    19022     45 |      809 |       28
947.70/947.90	c  947s |      18 |  5234131 |   406552 |    19022     45 |      809 |       28
949.79/950.07	c  949s |      18 |  5243867 |   407652 |    19022     45 |      809 |       28
952.19/952.45	c  951s |      18 |  5245535 |   408252 |    19022     45 |      809 |       28
954.29/954.52	c  954s |      18 |  5246535 |   408652 |    19022     45 |      809 |       28
956.39/956.69	c  956s |      18 |  5247109 |   408852 |    19022     45 |      809 |       28
959.59/959.83	c  959s |      18 |  5247744 |   409152 |    19022     45 |      809 |       28
961.59/961.84	c  961s |      18 |  5249212 |   409452 |    19022     45 |      809 |       28
963.79/964.01	c  963s |      18 |  5249411 |   409552 |    19022     45 |      809 |       28
966.99/967.22	c  966s |      18 |  5249692 |   409752 |    19022     45 |      809 |       28
969.08/969.35	c  968s |      18 |  5249974 |   409952 |    19022     45 |      809 |       28
971.38/971.69	c  971s |      18 |  5250610 |   410152 |    19022     46 |      809 |       28
973.69/973.90	c  973s |      18 |  5257028 |   411152 |    19022     46 |      809 |       28
975.69/975.91	c  975s |      18 |  5264731 |   412052 |    19022     46 |      809 |       28
977.79/978.05	c  977s |      18 |  5277775 |   413152 |    19022     46 |      809 |       28
979.89/980.17	c  979s |      18 |  5287769 |   414152 |    19022     46 |      810 |       28
981.88/982.19	c  981s |      18 |  5297545 |   414952 |    19022     46 |      811 |       28
983.98/984.21	c  983s |      18 |  5312895 |   415952 |    19022     46 |      812 |       28
986.28/986.53	c  986s |      18 |  5316576 |   416752 |    19022     46 |      812 |       28
988.38/988.63	c  988s |      18 |  5328030 |   417852 |    19022     46 |      813 |       28
990.48/990.72	c  990s |      18 |  5335310 |   418352 |    19022     47 |      814 |       28
992.48/992.78	c  992s |      18 |  5350583 |   419552 |    19022     47 |      814 |       28
994.57/994.87	c  994s |      18 |  5358391 |   420552 |    19022     47 |      814 |       28
996.97/997.28	c  996s |      18 |  5364885 |   421452 |    19022     47 |      814 |       28
999.07/999.32	c  998s |      18 |  5367272 |   422052 |    19022     47 |      814 |       28
1001.17/1001.44	c 1000s |      18 |  5384007 |   423452 |    19022     47 |      814 |       28
1003.27/1003.57	c 1003s |      18 |  5401987 |   424752 |    19022     47 |      814 |       28
1005.47/1005.73	c 1005s |      18 |  5411626 |   425652 |    19022     47 |      815 |       28
1007.56/1007.84	c 1007s |      18 |  5432424 |   426852 |    19022     47 |      815 |       28
1009.67/1009.97	c 1009s |      18 |  5444861 |   428052 |    19022     47 |      815 |       28
1011.66/1012.00	c 1011s |      18 |  5455174 |   429252 |    19022     47 |      815 |       28
1013.76/1014.08	c 1013s |      18 |  5467001 |   430052 |    19022     48 |      817 |       28
1016.06/1016.37	c 1015s |      18 |  5481196 |   431152 |    19022     48 |      819 |       28
1018.16/1018.46	c 1017s |      18 |  5493367 |   432252 |    19022     48 |      821 |       28
1020.46/1020.74	c 1020s |      18 |  5505178 |   433452 |    19022     48 |      822 |       28
1022.66/1022.94	c 1022s |      18 |  5512649 |   434452 |    19022     48 |      822 |       28
1024.76/1025.02	c 1024s |      18 |  5524832 |   435252 |    19022     48 |      827 |       28
1026.77/1027.02	c 1026s |      18 |  5532807 |   436352 |    19022     48 |      827 |       28
1028.87/1029.16	c 1028s |      18 |  5545221 |   437552 |    19022     48 |      827 |       28
1031.57/1031.82	c 1031s |      18 |  5558299 |   438752 |    19022     49 |      829 |       28
1033.57/1033.83	c 1033s |      18 |  5569483 |   439752 |    19022     49 |      832 |       28
1035.67/1035.96	c 1035s |      18 |  5581265 |   440752 |    19022     49 |      833 |       28
1037.76/1038.07	c 1037s |      18 |  5602084 |   442152 |    20925     49 |      833 |       28
1039.86/1040.12	c 1039s |      18 |  5613582 |   443052 |    20925     49 |      833 |       28
1041.96/1042.25	c 1041s |      18 |  5636641 |   444352 |    20925     49 |      833 |       28
1042.16/1042.46	c 1041s |      19 |  5638706 |   444482 |    20925     49 |      833 |       28
1044.46/1044.70	c 1044s |      19 |  5652707 |   445482 |    20925     49 |      834 |       28
1046.56/1046.86	c 1046s |      19 |  5671949 |   446782 |    20925     49 |      834 |       28
1048.75/1049.01	c 1048s |      19 |  5687139 |   447882 |    20925     49 |      835 |       28
1050.95/1051.21	c 1050s |      19 |  5699806 |   448882 |    20925     49 |      836 |       28
1053.05/1053.34	c 1052s |      19 |  5715105 |   449882 |    20925     49 |      838 |       28
1055.24/1055.51	c 1055s |      19 |  5726247 |   450682 |    20925     49 |      840 |       28
1057.24/1057.56	c 1057s |      19 |  5732196 |   451482 |    20925     49 |      840 |       28
1059.34/1059.69	c 1059s |      19 |  5734921 |   452182 |    20925     49 |      840 |       28
1061.54/1061.81	c 1061s |      19 |  5742001 |   453082 |    20925     49 |      840 |       28
1063.56/1063.81	c 1063s |      19 |  5745754 |   453782 |    20925     49 |      840 |       28
1065.66/1065.94	c 1065s |      19 |  5747519 |   454182 |    20925     49 |      840 |       28
1067.95/1068.21	c 1067s |      19 |  5749437 |   454582 |    20925     49 |      840 |       28
1070.04/1070.31	c 1069s |      19 |  5750218 |   454982 |    20925     49 |      840 |       28
1072.64/1072.91	c 1072s |      19 |  5751327 |   455382 |    20925     49 |      840 |       28
1074.84/1075.12	c 1074s |      19 |  5751794 |   455582 |    20925     49 |      840 |       28
1077.84/1078.14	c 1077s |      19 |  5752500 |   455882 |    20925     49 |      840 |       28
1080.73/1081.08	c 1080s |      19 |  5752921 |   456082 |    20925     49 |      840 |       28
1084.24/1084.59	c 1084s |      19 |  5753326 |   456282 |    20925     49 |      840 |       28
1086.33/1086.63	c 1086s |      19 |  5753753 |   456482 |    20925     49 |      840 |       28
1088.43/1088.76	c 1088s |      19 |  5754036 |   456682 |    20925     49 |      840 |       28
1090.73/1091.03	c 1090s |      19 |  5754643 |   456882 |    20925     50 |      840 |       28
1093.24/1093.54	c 1093s |      19 |  5755652 |   457182 |    20925     50 |      840 |       28
1095.83/1096.11	c 1095s |      19 |  5756334 |   457482 |    20925     50 |      840 |       28
1098.13/1098.49	c 1097s |      19 |  5757537 |   457782 |    20925     50 |      840 |       28
1100.52/1100.87	c 1100s |      19 |  5757927 |   457982 |    20925     50 |      840 |       28
1102.72/1103.05	c 1102s |      19 |  5758424 |   458182 |    20925     50 |      840 |       28
1105.63/1105.99	c 1105s |      19 |  5758804 |   458382 |    20925     50 |      840 |       28
1108.32/1108.68	c 1108s |      19 |  5759226 |   458582 |    20925     50 |      840 |       28
1111.42/1111.73	c 1111s |      19 |  5759614 |   458782 |    20925     50 |      840 |       28
1114.02/1114.35	c 1113s |      19 |  5760173 |   458982 |    20925     50 |      840 |       28
1116.81/1117.11	c 1116s |      19 |  5760755 |   459182 |    20925     50 |      840 |       28
1119.81/1120.16	c 1119s |      19 |  5761019 |   459382 |    20925     50 |      840 |       28
1123.91/1124.29	c 1123s |      19 |  5761306 |   459582 |    20925     50 |      840 |       28
1127.71/1128.03	c 1127s |      19 |  5761569 |   459782 |    20925     50 |      840 |       28
1130.71/1131.08	c 1130s |      19 |  5761960 |   459982 |    20925     50 |      840 |       28
1134.21/1134.59	c 1134s |      19 |  5762337 |   460182 |    20925     50 |      840 |       28
1137.80/1138.19	c 1137s |      19 |  5762671 |   460382 |    20925     50 |      840 |       28
1140.40/1140.78	c 1140s |      19 |  5763605 |   460582 |    20925     50 |      840 |       28
1144.50/1144.84	c 1144s |      19 |  5763929 |   460782 |    20925     50 |      840 |       28
1146.80/1147.16	c 1146s |      19 |  5764080 |   460882 |    20925     50 |      840 |       28
1149.00/1149.37	c 1148s |      19 |  5764286 |   460982 |    20925     50 |      840 |       28
1151.90/1152.28	c 1151s |      19 |  5764443 |   461082 |    20925     50 |      840 |       28
1154.80/1155.17	c 1154s |      19 |  5764557 |   461182 |    20925     50 |      840 |       28
1157.49/1157.82	c 1157s |      19 |  5764674 |   461282 |    20925     50 |      840 |       28
1160.69/1161.03	c 1160s |      19 |  5764809 |   461382 |    20925     50 |      840 |       28
1163.29/1163.65	c 1163s |      19 |  5765007 |   461482 |    20925     50 |      840 |       28
1166.59/1166.91	c 1166s |      19 |  5765122 |   461582 |    20925     50 |      840 |       28
1168.59/1168.99	c 1168s |      19 |  5768327 |   461982 |    20925     50 |      840 |       28
1170.78/1171.10	c 1170s |      19 |  5781659 |   462782 |    20925     50 |      841 |       28
1172.88/1173.21	c 1172s |      19 |  5794695 |   463982 |    20925     50 |      841 |       28
1174.98/1175.33	c 1174s |      19 |  5799037 |   464782 |    20925     50 |      841 |       28
1177.28/1177.60	c 1177s |      19 |  5800076 |   465082 |    20925     50 |      841 |       28
1179.38/1179.73	c 1179s |      19 |  5814505 |   466182 |    20925     50 |      841 |       28
1181.98/1182.38	c 1181s |      19 |  5821519 |   467082 |    20925     51 |      841 |       28
1184.08/1184.41	c 1183s |      19 |  5831033 |   468282 |    20925     51 |      841 |       28
1186.37/1186.76	c 1186s |      19 |  5836251 |   468982 |    20925     51 |      841 |       28
1188.67/1189.04	c 1188s |      19 |  5837669 |   469282 |    20925     51 |      841 |       28
1190.87/1191.25	c 1190s |      19 |  5840642 |   469582 |    20925     51 |      841 |       28
1192.87/1193.28	c 1192s |      19 |  5851906 |   470682 |    20925     51 |      841 |       28
1195.06/1195.48	c 1194s |      19 |  5866361 |   472082 |    20925     51 |      841 |       28
1197.17/1197.56	c 1197s |      19 |  5874185 |   473282 |    20925     51 |      841 |       28
1199.37/1199.78	c 1199s |      19 |  5884208 |   474582 |    20925     51 |      841 |       28
1201.57/1201.92	c 1201s |      19 |  5892198 |   475182 |    20925     51 |      843 |       28
1203.57/1203.95	c 1203s |      19 |  5907994 |   476182 |    20925     51 |      844 |       28
1205.67/1206.05	c 1205s |      19 |  5925555 |   477382 |    20925     51 |      844 |       28
1207.86/1208.22	c 1207s |      19 |  5941334 |   478682 |    20925     51 |      844 |       28
1210.36/1210.77	c 1210s |      19 |  5950740 |   479382 |    20925     52 |      844 |       28
1212.56/1212.92	c 1212s |      19 |  5963756 |   480682 |    20925     52 |      845 |       28
1214.66/1215.05	c 1214s |      19 |  5979882 |   481782 |    20925     52 |      847 |       28
1216.96/1217.34	c 1216s |      19 |  5984743 |   482582 |    20925     52 |      847 |       28
1219.05/1219.45	c 1218s |      19 |  5991872 |   483482 |    20925     52 |      847 |       28
1221.05/1221.49	c 1220s |      19 |  5999526 |   484382 |    20925     52 |      847 |       28
1223.25/1223.68	c 1223s |      19 |  6006760 |   485182 |    20925     52 |      848 |       28
1225.25/1225.69	c 1225s |      19 |  6020641 |   486382 |    20925     52 |      848 |       28
1227.45/1227.83	c 1227s |      19 |  6025577 |   487382 |    20925     52 |      848 |       28
1229.56/1229.99	c 1229s |      19 |  6031525 |   488282 |    20925     52 |      849 |       28
1231.95/1232.32	c 1231s |      19 |  6034907 |   489082 |    20925     52 |      849 |       28
1233.96/1234.33	c 1233s |      19 |  6044523 |   490082 |    20925     52 |      849 |       28
1236.05/1236.43	c 1235s |      19 |  6056139 |   491082 |    20925     53 |      850 |       28
1238.04/1238.49	c 1237s |      19 |  6073389 |   492482 |    20925     53 |      850 |       28
1240.14/1240.51	c 1240s |      19 |  6089655 |   493682 |    20925     53 |      851 |       28
1242.24/1242.68	c 1242s |      19 |  6095487 |   494482 |    20925     53 |      851 |       28
1244.44/1244.87	c 1244s |      19 |  6100643 |   495182 |    20925     53 |      851 |       28
1246.74/1247.12	c 1246s |      19 |  6101955 |   495482 |    20925     53 |      851 |       28
1248.84/1249.22	c 1248s |      19 |  6103054 |   495782 |    20925     53 |      851 |       28
1251.24/1251.64	c 1251s |      19 |  6104201 |   496082 |    20925     53 |      851 |       28
1253.84/1254.22	c 1253s |      19 |  6105435 |   496382 |    20925     53 |      851 |       28
1255.84/1256.24	c 1255s |      19 |  6107023 |   496682 |    20925     53 |      851 |       28
1258.04/1258.44	c 1257s |      19 |  6108471 |   497082 |    20925     53 |      851 |       28
1260.34/1260.71	c 1260s |      19 |  6111253 |   497482 |    20925     53 |      851 |       28
1262.73/1263.15	c 1262s |      19 |  6128607 |   498482 |    20925     53 |      853 |       28
1264.83/1265.21	c 1264s |      19 |  6131549 |   499082 |    20925     53 |      853 |       28
1266.94/1267.30	c 1266s |      19 |  6145885 |   500182 |    20925     53 |      853 |       28
1268.92/1269.37	c 1268s |      19 |  6156187 |   500982 |    20925     54 |      853 |       28
1271.13/1271.58	c 1271s |      19 |  6165475 |   502082 |    20925     54 |      854 |       28
1273.44/1273.81	c 1273s |      19 |  6167556 |   502782 |    20925     54 |      854 |       28
1276.13/1276.50	c 1275s |      19 |  6169290 |   503182 |    20925     54 |      854 |       28
1278.22/1278.61	c 1278s |      19 |  6174511 |   503882 |    20925     54 |      854 |       28
1280.42/1280.81	c 1280s |      19 |  6181691 |   504882 |    20925     54 |      854 |       28
1282.73/1283.16	c 1282s |      19 |  6183504 |   505482 |    20925     54 |      854 |       28
1285.13/1285.58	c 1285s |      19 |  6184414 |   505882 |    20925     54 |      854 |       28
1287.42/1287.81	c 1287s |      19 |  6185835 |   506282 |    20925     54 |      854 |       28
1289.62/1290.00	c 1289s |      19 |  6186649 |   506582 |    20925     54 |      854 |       28
1292.72/1293.16	c 1292s |      19 |  6187746 |   506982 |    20925     54 |      854 |       28
1294.83/1295.28	c 1294s |      19 |  6188272 |   507182 |    20925     54 |      854 |       28
1297.73/1298.14	c 1297s |      19 |  6188891 |   507482 |    20925     54 |      854 |       28
1300.22/1300.69	c 1300s |      19 |  6189456 |   507682 |    20925     54 |      854 |       28
1302.62/1303.06	c 1302s |      19 |  6190019 |   507882 |    20925     54 |      854 |       28
1305.02/1305.43	c 1304s |      19 |  6194553 |   508282 |    20925     54 |      855 |       28
1307.12/1307.55	c 1307s |      19 |  6207076 |   509582 |    20925     54 |      855 |       28
1309.52/1309.98	c 1309s |      19 |  6217207 |   510582 |    20925     54 |      856 |       28
1311.52/1311.98	c 1311s |      19 |  6230195 |   511682 |    20925     54 |      856 |       28
1314.42/1314.80	c 1314s |      19 |  6238626 |   512582 |    20925     55 |      857 |       28
1316.52/1317.00	c 1316s |      19 |  6251280 |   513682 |    20925     55 |      858 |       28
1318.62/1319.04	c 1318s |      19 |  6270704 |   514682 |    20925     55 |      860 |       28
1320.72/1321.12	c 1320s |      19 |  6279397 |   515882 |    20925     55 |      860 |       28
1322.72/1323.17	c 1322s |      19 |  6287302 |   516882 |    20925     55 |      860 |       28
1324.81/1325.29	c 1324s |      19 |  6300646 |   518182 |    20925     55 |      860 |       28
1327.01/1327.44	c 1326s |      19 |  6312875 |   518982 |    20925     55 |      861 |       28
1329.11/1329.58	c 1329s |      19 |  6321950 |   520082 |    20925     55 |      861 |       28
1331.31/1331.72	c 1331s |      19 |  6331754 |   521182 |    20925     55 |      861 |       28
1333.72/1334.17	c 1333s |      19 |  6338326 |   522082 |    20925     55 |      861 |       28
1335.82/1336.22	c 1335s |      19 |  6342610 |   522682 |    20925     55 |      862 |       28
1338.12/1338.54	c 1338s |      19 |  6350328 |   523282 |    20925     56 |      863 |       28
1340.12/1340.55	c 1340s |      19 |  6370276 |   524582 |    20925     56 |      863 |       28
1342.22/1342.67	c 1342s |      19 |  6380741 |   525782 |    20925     56 |      863 |       28
1344.62/1345.00	c 1344s |      19 |  6389916 |   526782 |    20925     56 |      863 |       28
1346.81/1347.25	c 1346s |      19 |  6390844 |   527082 |    20925     56 |      863 |       28
1349.21/1349.60	c 1349s |      19 |  6391041 |   527182 |    20925     56 |      863 |       28
1354.01/1354.44	c 1353s |      19 |  6391401 |   527382 |    20925     56 |      863 |       28
1356.12/1356.54	c 1356s |      19 |  6393152 |   527782 |    20925     56 |      863 |       28
1358.12/1358.54	c 1358s |      19 |  6395666 |   528082 |    20925     56 |      863 |       28
1360.51/1360.95	c 1360s |      19 |  6398131 |   528482 |    20925     56 |      863 |       28
1362.91/1363.38	c 1362s |      19 |  6399104 |   528782 |    20925     56 |      863 |       28
1365.41/1365.83	c 1365s |      19 |  6401386 |   529082 |    20925     56 |      863 |       28
1368.41/1368.89	c 1368s |      19 |  6402565 |   529282 |    20925     56 |      863 |       28
1371.51/1371.99	c 1371s |      19 |  6403035 |   529482 |    20925     56 |      863 |       28
1374.51/1374.97	c 1374s |      19 |  6403570 |   529682 |    20925     56 |      863 |       28
1377.71/1378.13	c 1377s |      19 |  6403734 |   529782 |    20925     56 |      863 |       28
1380.60/1381.02	c 1380s |      19 |  6403943 |   529882 |    20925     56 |      863 |       28
1384.31/1384.71	c 1384s |      19 |  6404213 |   529982 |    20925     56 |      863 |       28
1386.41/1386.80	c 1386s |      19 |  6408034 |   530682 |    20925     56 |      863 |       28
1388.61/1389.02	c 1388s |      19 |  6413343 |   531682 |    20925     56 |      863 |       28
1391.00/1391.44	c 1390s |      19 |  6421455 |   532282 |    20925     56 |      865 |       28
1393.31/1393.79	c 1393s |      19 |  6430951 |   533082 |    20925     56 |      867 |       28
1395.40/1395.85	c 1395s |      19 |  6442602 |   534082 |    20925     56 |      867 |       28
1397.60/1398.03	c 1397s |      19 |  6452966 |   535282 |    20925     56 |      867 |       28
1399.70/1400.18	c 1399s |      19 |  6466690 |   536182 |    20925     57 |      867 |       28
1401.80/1402.28	c 1401s |      19 |  6483173 |   537382 |    20925     57 |      868 |       28
1404.01/1404.47	c 1403s |      19 |  6490047 |   538282 |    20925     57 |      868 |       28
1406.21/1406.69	c 1406s |      19 |  6502565 |   539282 |    20925     57 |      868 |       28
1408.31/1408.73	c 1408s |      19 |  6506184 |   539982 |    20925     57 |      868 |       28
1410.40/1410.86	c 1410s |      19 |  6511452 |   540682 |    20925     57 |      868 |       28
1412.60/1413.01	c 1412s |      19 |  6527442 |   541782 |    20925     57 |      868 |       28
1414.60/1415.02	c 1414s |      19 |  6539129 |   542882 |    20925     57 |      868 |       28
1416.60/1417.02	c 1416s |      19 |  6551147 |   543882 |    20925     57 |      868 |       28
1418.71/1419.13	c 1418s |      19 |  6561214 |   544982 |    20925     57 |      868 |       28
1420.81/1421.28	c 1420s |      19 |  6564345 |   545682 |    20925     57 |      868 |       28
1423.10/1423.59	c 1423s |      19 |  6565389 |   546182 |    20925     57 |      868 |       28
1425.50/1425.91	c 1425s |      19 |  6566247 |   546582 |    20925     57 |      868 |       28
1427.90/1428.34	c 1427s |      19 |  6567108 |   546982 |    20925     57 |      868 |       28
1430.60/1431.10	c 1430s |      19 |  6568132 |   547382 |    20925     57 |      868 |       28
1433.60/1434.04	c 1433s |      19 |  6572796 |   547982 |    20925     58 |      868 |       28
1435.90/1436.35	c 1435s |      19 |  6578348 |   548882 |    20925     58 |      868 |       28
1438.60/1439.02	c 1438s |      19 |  6580507 |   549382 |    20925     58 |      868 |       28
1440.71/1441.15	c 1440s |      19 |  6593253 |   550682 |    20925     58 |      868 |       28
1442.70/1443.19	c 1442s |      19 |  6601014 |   551782 |    20925     58 |      868 |       28
1444.90/1445.34	c 1444s |      19 |  6606820 |   552782 |    20925     58 |      868 |       28
1447.21/1447.61	c 1447s |      19 |  6611779 |   553682 |    20925     58 |      868 |       28
1449.30/1449.73	c 1449s |      19 |  6617738 |   554582 |    20925     58 |      868 |       28
1451.40/1451.80	c 1451s |      19 |  6625921 |   555682 |    20925     58 |      868 |       28
1453.40/1453.89	c 1453s |      19 |  6633808 |   556682 |    20925     58 |      868 |       28
1455.69/1456.19	c 1455s |      19 |  6639229 |   557282 |    20925     58 |      869 |       28
1458.59/1459.04	c 1458s |      19 |  6654822 |   558282 |    20925     59 |      870 |       28
1460.69/1461.12	c 1460s |      19 |  6670618 |   559582 |    20925     59 |      870 |       28
1462.70/1463.16	c 1462s |      19 |  6685342 |   560882 |    20925     59 |      870 |       28
1464.80/1465.27	c 1464s |      19 |  6701927 |   562082 |    20925     59 |      870 |       28
1466.89/1467.38	c 1466s |      19 |  6712465 |   563082 |    20925     59 |      871 |       28
1469.09/1469.58	c 1469s |      19 |  6725216 |   564482 |    20925     59 |      871 |       28
1471.19/1471.61	c 1471s |      19 |  6735204 |   565582 |    20925     59 |      871 |       28
1473.20/1473.68	c 1473s |      19 |  6753828 |   566982 |    20925     59 |      871 |       28
1475.30/1475.72	c 1475s |      19 |  6760879 |   567982 |    20925     59 |      871 |       28
1477.40/1477.80	c 1477s |      19 |  6778544 |   569282 |    20925     59 |      871 |       28
1479.40/1479.81	c 1479s |      19 |  6788430 |   570482 |    20925     59 |      871 |       28
1481.59/1482.07	c 1481s |      19 |  6791514 |   571282 |    20925     59 |      871 |       28
1483.79/1484.23	c 1483s |      19 |  6798491 |   572182 |    20925     60 |      871 |       28
1486.39/1486.86	c 1486s |      19 |  6809419 |   573082 |    20925     60 |      872 |       28
1488.49/1488.96	c 1488s |      19 |  6812340 |   573682 |    20925     60 |      872 |       28
1490.59/1491.05	c 1490s |      19 |  6818740 |   574482 |    20925     60 |      872 |       28
1492.59/1493.09	c 1492s |      19 |  6833892 |   575782 |    20925     60 |      872 |       28
1494.79/1495.23	c 1494s |      19 |  6849859 |   577082 |    20925     60 |      872 |       28
1496.89/1497.34	c 1496s |      19 |  6864150 |   578182 |    20925     60 |      873 |       28
1498.89/1499.40	c 1498s |      19 |  6872357 |   578982 |    20925     60 |      873 |       28
1501.39/1501.88	c 1501s |      19 |  6881699 |   580082 |    20925     60 |      874 |       28
1503.40/1503.89	c 1503s |      19 |  6884508 |   580682 |    20925     60 |      874 |       28
1505.60/1506.07	c 1505s |      19 |  6894316 |   581982 |    20925     60 |      874 |       28
1507.70/1508.17	c 1507s |      19 |  6901583 |   583082 |    20925     60 |      874 |       28
1510.19/1510.61	c 1510s |      19 |  6914761 |   584182 |    20925     61 |      874 |       28
1512.39/1512.82	c 1512s |      19 |  6925557 |   585282 |    20925     61 |      874 |       28
1514.49/1514.95	c 1514s |      19 |  6934095 |   586282 |    20925     61 |      874 |       28
1516.60/1517.09	c 1516s |      19 |  6948397 |   587582 |    20925     61 |      874 |       28
1518.59/1519.09	c 1518s |      19 |  6955569 |   588482 |    20925     61 |      874 |       28
1520.79/1521.21	c 1520s |      19 |  6968999 |   589482 |    20925     61 |      878 |       28
1522.89/1523.34	c 1522s |      19 |  6982974 |   590882 |    20925     61 |      878 |       28
1524.99/1525.48	c 1524s |      19 |  6999778 |   591982 |    20925     61 |      879 |       28
1527.08/1527.59	c 1527s |      19 |  7005166 |   592582 |    20925     61 |      881 |       28
1529.38/1529.81	c 1529s |      19 |  7007625 |   593282 |    20925     61 |      881 |       28
1531.38/1531.86	c 1531s |      19 |  7011192 |   593982 |    20925     61 |      881 |       28
1533.49/1533.96	c 1533s |      19 |  7012309 |   594382 |    20925     61 |      881 |       28
1535.59/1536.01	c 1535s |      19 |  7013432 |   594782 |    20925     61 |      881 |       28
1537.98/1538.44	c 1537s |      19 |  7014179 |   595182 |    20925     61 |      881 |       28
1540.08/1540.53	c 1540s |      19 |  7023777 |   596082 |    20925     62 |      881 |       28
1542.18/1542.60	c 1542s |      19 |  7029527 |   597082 |    20925     62 |      881 |       28
1544.18/1544.60	c 1544s |      19 |  7031174 |   597582 |    20925     62 |      881 |       28
1546.30/1546.75	c 1546s |      19 |  7033593 |   598282 |    20925     62 |      881 |       28
1548.68/1549.11	c 1548s |      19 |  7035225 |   598882 |    20925     62 |      881 |       28
1550.88/1551.34	c 1550s |      19 |  7036815 |   599282 |    20925     62 |      881 |       28
1552.98/1553.43	c 1552s |      19 |  7047259 |   600082 |    20925     62 |      882 |       28
1554.99/1555.43	c 1554s |      19 |  7058372 |   600982 |    20925     62 |      882 |       28
1556.98/1557.49	c 1556s |      19 |  7072709 |   602182 |    20925     62 |      882 |       28
1559.09/1559.57	c 1559s |      19 |  7076779 |   602682 |    20925     62 |      883 |       28
1561.59/1562.06	c 1561s |      19 |  7079243 |   603282 |    20925     62 |      883 |       28
1563.69/1564.15	c 1563s |      19 |  7089667 |   604282 |    20925     62 |      883 |       28
1565.88/1566.31	c 1565s |      19 |  7101364 |   605182 |    20925     62 |      884 |       28
1568.78/1569.28	c 1568s |      19 |  7115868 |   605982 |    20925     63 |      885 |       28
1570.78/1571.30	c 1570s |      19 |  7134873 |   607282 |    20925     63 |      886 |       28
1572.88/1573.37	c 1572s |      19 |  7154811 |   608482 |    20925     63 |      887 |       28
1574.98/1575.43	c 1574s |      19 |  7163823 |   609782 |    20925     63 |      887 |       28
1576.99/1577.49	c 1576s |      19 |  7166395 |   610482 |    20925     63 |      887 |       28
1578.98/1579.49	c 1578s |      19 |  7168939 |   611182 |    20925     63 |      887 |       28
1581.27/1581.72	c 1581s |      19 |  7171346 |   611782 |    20925     63 |      887 |       28
1583.69/1584.17	c 1583s |      19 |  7172053 |   612182 |    20925     63 |      887 |       28
1585.89/1586.35	c 1585s |      19 |  7177372 |   612782 |    20925     63 |      887 |       28
1587.99/1588.47	c 1587s |      19 |  7186589 |   613982 |    20925     63 |      887 |       28
1590.19/1590.63	c 1590s |      19 |  7194080 |   615082 |    20925     63 |      887 |       28
1592.28/1592.77	c 1592s |      19 |  7208856 |   616382 |    20925     63 |      887 |       28
1594.37/1594.82	c 1594s |      19 |  7217969 |   617382 |    20925     63 |      887 |       28
1596.58/1597.01	c 1596s |      19 |  7219499 |   617882 |    20925     63 |      887 |       28
1599.77/1600.24	c 1599s |      19 |  7221136 |   618382 |    20925     63 |      887 |       28
1602.07/1602.60	c 1602s |      19 |  7223603 |   618682 |    20925     64 |      887 |       28
1604.17/1604.69	c 1604s |      19 |  7232905 |   619682 |    20925     64 |      887 |       28
1606.27/1606.75	c 1606s |      19 |  7243866 |   620882 |    20925     64 |      887 |       28
1608.37/1608.88	c 1608s |      19 |  7257836 |   622082 |    20925     64 |      887 |       28
1610.77/1611.27	c 1610s |      19 |  7277881 |   623282 |    20925     64 |      889 |       28
1612.87/1613.38	c 1612s |      19 |  7292275 |   624582 |    20925     64 |      889 |       28
1615.07/1615.52	c 1615s |      19 |  7310466 |   625982 |    20925     64 |      889 |       28
1617.17/1617.61	c 1617s |      19 |  7321893 |   626982 |    20925     64 |      890 |       28
1619.57/1620.01	c 1619s |      19 |  7338621 |   628182 |    20925     64 |      891 |       28
1621.67/1622.11	c 1621s |      19 |  7350168 |   629382 |    20925     64 |      891 |       28
1623.67/1624.13	c 1623s |      19 |  7362920 |   630282 |    20925     65 |      891 |       28
1625.87/1626.31	c 1625s |      19 |  7378179 |   631682 |    20925     65 |      891 |       28
1627.87/1628.39	c 1627s |      19 |  7395448 |   633182 |    20925     65 |      891 |       28
1630.07/1630.59	c 1630s |      19 |  7415560 |   634582 |    20925     65 |      891 |       28
1632.27/1632.74	c 1632s |      19 |  7444146 |   635982 |    20925     65 |      891 |       28
1634.47/1634.93	c 1634s |      19 |  7462011 |   637082 |    20925     65 |      892 |       28
1636.57/1637.06	c 1636s |      19 |  7470742 |   638082 |    20925     65 |      893 |       28
1638.97/1639.40	c 1638s |      19 |  7481870 |   639082 |    20925     65 |      893 |       28
1641.27/1641.72	c 1641s |      19 |  7483968 |   639482 |    20925     65 |      893 |       28
1643.27/1643.73	c 1643s |      19 |  7492958 |   640582 |    20925     65 |      893 |       28
1645.47/1645.94	c 1645s |      19 |  7499440 |   641282 |    20925     66 |      894 |       28
1647.57/1648.02	c 1647s |      19 |  7515877 |   642382 |    20925     66 |      897 |       28
1649.67/1650.12	c 1649s |      19 |  7528019 |   643482 |    20925     66 |      897 |       28
1651.67/1652.17	c 1651s |      19 |  7532103 |   644282 |    20925     66 |      897 |       28
1653.77/1654.23	c 1653s |      19 |  7543513 |   645482 |    20925     66 |      897 |       28
1655.87/1656.34	c 1655s |      19 |  7558075 |   646682 |    20925     66 |      897 |       28
1657.87/1658.40	c 1657s |      19 |  7577409 |   647882 |    20925     66 |      897 |       28
1660.06/1660.53	c 1660s |      19 |  7592733 |   649082 |    20925     66 |      897 |       28
1662.17/1662.61	c 1662s |      19 |  7600621 |   650082 |    20925     66 |      897 |       28
1664.17/1664.66	c 1664s |      19 |  7610112 |   650982 |    20925     66 |      897 |       28
1667.07/1667.52	c 1667s |      19 |  7624246 |   651782 |    20925     67 |      899 |       28
1669.27/1669.74	c 1669s |      19 |  7636136 |   652882 |    20925     67 |      900 |       28
1671.67/1672.20	c 1671s |      19 |  7638177 |   653282 |    20925     67 |      900 |       28
1673.77/1674.30	c 1673s |      19 |  7656864 |   654582 |    20925     67 |      900 |       28
1675.86/1676.36	c 1675s |      19 |  7667866 |   655482 |    20925     67 |      902 |       28
1678.27/1678.73	c 1678s |      19 |  7680618 |   656482 |    20925     67 |      903 |       28
1680.37/1680.87	c 1680s |      19 |  7695795 |   657482 |    20925     67 |      904 |       28
1682.57/1683.05	c 1682s |      19 |  7707111 |   658582 |    20925     67 |      904 |       28
1684.66/1685.17	c 1684s |      19 |  7724811 |   659782 |    20925     67 |      904 |       28
1686.86/1687.31	c 1686s |      19 |  7737098 |   660882 |    20925     67 |      904 |       28
1689.06/1689.59	c 1689s |      19 |  7742860 |   661882 |    20925     67 |      904 |       28
1691.37/1691.84	c 1691s |      19 |  7744032 |   662282 |    23018     67 |      904 |       28
1693.36/1693.85	c 1693s |      19 |  7750100 |   663082 |    23018     67 |      904 |       28
1695.46/1695.93	c 1695s |      19 |  7755082 |   663982 |    23018     67 |      904 |       28
1697.76/1698.24	c 1697s |      19 |  7763647 |   665082 |    23018     67 |      905 |       28
1699.76/1700.24	c 1699s |      19 |  7768898 |   666082 |    23018     67 |      905 |       28
1701.76/1702.26	c 1701s |      20 |  7771520 |   666827 |    23018     67 |      905 |       28
1703.86/1704.39	c 1703s |      20 |  7780662 |   667427 |    23018     68 |      905 |       28
1706.06/1706.53	c 1706s |      20 |  7789863 |   668327 |    23018     68 |      905 |       28
1708.05/1708.60	c 1708s |      20 |  7800728 |   669127 |    23018     68 |      907 |       28
1710.25/1710.79	c 1710s |      20 |  7814851 |   670227 |    23018     68 |      909 |       28
1712.36/1712.86	c 1712s |      20 |  7822586 |   671127 |    23018     68 |      910 |       28
1714.57/1715.06	c 1714s |      20 |  7826666 |   671927 |    23018     68 |      910 |       28
1716.86/1717.32	c 1716s |      20 |  7833709 |   672927 |    23018     68 |      910 |       28
1719.06/1719.51	c 1719s |      20 |  7834996 |   673427 |    23018     68 |      910 |       28
1721.07/1721.60	c 1721s |      20 |  7842809 |   674427 |    23018     68 |      910 |       28
1723.46/1723.95	c 1723s |      20 |  7851239 |   675327 |    23018     68 |      911 |       28
1725.47/1725.99	c 1725s |      20 |  7858678 |   675827 |    23018     68 |      913 |       28
1727.67/1728.16	c 1727s |      20 |  7869327 |   676527 |    23018     68 |      915 |       28
1729.76/1730.29	c 1729s |      20 |  7876429 |   677527 |    23018     68 |      915 |       28
1732.95/1733.49	c 1732s |      20 |  7881057 |   678327 |    23018     69 |      916 |       28
1735.05/1735.51	c 1735s |      20 |  7889316 |   679127 |    23018     69 |      918 |       28
1737.05/1737.59	c 1737s |      20 |  7898682 |   680227 |    23018     69 |      918 |       28
1739.25/1739.72	c 1739s |      20 |  7911944 |   681427 |    23018     69 |      918 |       28
1741.35/1741.83	c 1741s |      20 |  7924655 |   682327 |    23018     69 |      920 |       28
1743.45/1743.94	c 1743s |      20 |  7943290 |   683527 |    23018     69 |      921 |       28
1745.56/1746.02	c 1745s |      20 |  7955594 |   684527 |    23018     69 |      921 |       28
1747.66/1748.12	c 1747s |      20 |  7969629 |   685427 |    23018     69 |      923 |       28
1749.86/1750.32	c 1749s |      20 |  7979882 |   686527 |    23018     69 |      923 |       28
1751.96/1752.46	c 1751s |      20 |  7986115 |   687427 |    23018     69 |      923 |       28
1754.16/1754.69	c 1754s |      20 |  7992218 |   688227 |    23018     69 |      923 |       28
1756.36/1756.82	c 1756s |      20 |  8006588 |   689427 |    23018     69 |      923 |       28
1758.35/1758.86	c 1758s |      20 |  8014118 |   690427 |    23018     69 |      923 |       28
1760.45/1760.91	c 1760s |      20 |  8023245 |   691627 |    23018     69 |      923 |       28
1762.55/1763.02	c 1762s |      20 |  8035764 |   692427 |    23018     70 |      924 |       28
1764.55/1765.07	c 1764s |      20 |  8048345 |   693727 |    23018     70 |      924 |       28
1766.55/1767.08	c 1766s |      20 |  8066286 |   694827 |    23018     70 |      926 |       28
1768.75/1769.22	c 1768s |      20 |  8070619 |   695627 |    23018     70 |      926 |       28
1770.85/1771.32	c 1770s |      20 |  8078511 |   696527 |    23018     70 |      926 |       28
1772.86/1773.32	c 1772s |      20 |  8079516 |   696827 |    23018     70 |      926 |       28
1774.85/1775.39	c 1774s |      20 |  8083885 |   697327 |    23018     70 |      927 |       28
1777.05/1777.57	c 1777s |      20 |  8093893 |   698627 |    23018     70 |      927 |       28
1779.15/1779.68	c 1779s |      20 |  8104321 |   699827 |    23018     70 |      927 |       28
1781.35/1781.84	c 1781s |      20 |  8114548 |   701127 |    23018     70 |      927 |       28
1783.45/1783.91	c 1783s |      20 |  8120311 |   702027 |    23018     70 |      927 |       28
1785.54/1786.03	c 1785s |      20 |  8126290 |   702727 |    23018     70 |      929 |       28
1787.74/1788.24	c 1787s |      20 |  8128864 |   703127 |    23018     71 |      930 |       28
1789.84/1790.37	c 1789s |      20 |  8140301 |   704527 |    23018     71 |      930 |       28
1791.84/1792.39	c 1791s |      20 |  8152472 |   705727 |    23018     71 |      930 |       28
1793.94/1794.48	c 1793s |      20 |  8157985 |   706827 |    23018     71 |      930 |       28
1796.14/1796.61	c 1796s |      20 |  8165757 |   707927 |    23018     71 |      930 |       28
1798.15/1798.64	c 1798s |      20 |  8170112 |   708727 |    23018     71 |      930 |       28

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

pid=15603
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.29 2.29 2.27 3/179 15606
/proc/meminfo: memFree=29378628/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=675396 CPUtime=0 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 2514 0 0 0 0 0 0 0 20 0 4 0 24461987 691605504 3385 33554432000 4194304 16246674 140734587733024 140734587732448 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 169617 3393 442 2943 0 166511 0
[pid=15606/tid=15607] ppid=15603 vsize=692804 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 709431296 3452 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=697924 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 714674176 3470 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=702020 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 718868480 3486 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.29 2.29 2.27 3/179 15606
/proc/meminfo: memFree=29378628/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 28412 0 0 0 5 4 0 0 20 0 4 0 24461987 1250496512 29221 33554432000 4194304 16246674 140734587733024 140734587732336 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 305297 29224 802 2943 0 302191 0
[pid=15606/tid=15607] ppid=15603 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1250496512 29226 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1250496512 29228 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1250496512 29231 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200518 s]
/proc/loadavg: 2.29 2.29 2.27 3/179 15606
/proc/meminfo: memFree=29378628/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1310276 CPUtime=0.19 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 50757 0 0 0 12 7 0 0 20 0 4 0 24461987 1341722624 51566 33554432000 4194304 16246674 140734587733024 140734587732336 6163991 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 327569 51566 842 2943 0 324463 0
[pid=15606/tid=15607] ppid=15603 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1341722624 51566 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1341722624 51566 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1341722624 51566 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300493 s]
/proc/loadavg: 2.29 2.29 2.27 3/179 15606
/proc/meminfo: memFree=29378628/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1310276 CPUtime=0.29 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 57774 0 0 0 21 8 0 0 20 0 4 0 24461987 1341722624 58583 33554432000 4194304 16246674 140734587733024 140734587732336 6756338 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 327569 58597 842 2943 0 324463 0
[pid=15606/tid=15607] ppid=15603 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1341722624 58605 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1341722624 58616 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1341722624 58624 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1310276

[startup+0.700395 s]
/proc/loadavg: 2.29 2.29 2.27 3/179 15606
/proc/meminfo: memFree=29378628/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1310276 CPUtime=0.69 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 165667 0 0 0 46 23 0 0 20 0 4 0 24461987 1341722624 166476 33554432000 4194304 16246674 140734587733024 140734587732336 13954518 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 327569 166485 888 2943 0 324463 0
[pid=15606/tid=15607] ppid=15603 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1341722624 166490 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1341722624 166495 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1341722624 166499 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1310276

[startup+1.50041 s]
/proc/loadavg: 2.29 2.29 2.27 4/183 15610
/proc/meminfo: memFree=28321716/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1319492 CPUtime=1.49 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 271009 0 0 0 114 35 0 0 20 0 4 0 24461987 1351159808 271818 33554432000 4194304 16246674 140734587733024 140734587714944 5662177 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 329873 271818 891 2943 0 326767 0
[pid=15606/tid=15607] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271818 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271818 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271818 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1319492

[startup+3.10042 s]
/proc/loadavg: 2.29 2.29 2.27 4/183 15610
/proc/meminfo: memFree=28291840/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1319492 CPUtime=3.09 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 271066 0 0 0 274 35 0 0 20 0 4 0 24461987 1351159808 271875 33554432000 4194304 16246674 140734587733024 140734587714944 13950188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 329873 271875 894 2943 0 326767 0
[pid=15606/tid=15607] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271875 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271875 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271875 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1319492

[startup+6.30042 s]
/proc/loadavg: 2.26 2.28 2.26 3/183 15610
/proc/meminfo: memFree=28291720/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1319492 CPUtime=6.28 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 271066 0 0 0 593 35 0 0 20 0 4 0 24461987 1351159808 271875 33554432000 4194304 16246674 140734587733024 140734587714944 13928642 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 329873 271875 894 2943 0 326767 0
[pid=15606/tid=15607] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271875 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271875 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271875 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1319492

[startup+12.7004 s]
/proc/loadavg: 2.32 2.29 2.27 3/183 15610
/proc/meminfo: memFree=28292364/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1319492 CPUtime=12.68 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 271067 0 0 0 1233 35 0 0 20 0 4 0 24461987 1351159808 271876 33554432000 4194304 16246674 140734587733024 140734587714944 5531888 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 329873 271876 895 2943 0 326767 0
[pid=15606/tid=15607] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271876 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271876 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271876 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1319492

[startup+25.5004 s]
/proc/loadavg: 2.25 2.28 2.26 4/183 15610
/proc/meminfo: memFree=28292596/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1319492 CPUtime=25.48 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 271070 0 0 0 2513 35 0 0 20 0 4 0 24461987 1351159808 271879 33554432000 4194304 16246674 140734587733024 140734587714944 13006136 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 329873 271879 898 2943 0 326767 0
[pid=15606/tid=15607] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271879 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271879 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271879 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1319492

[startup+51.1005 s]
/proc/loadavg: 2.34 2.30 2.27 3/184 15613
/proc/meminfo: memFree=28291564/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1319492 CPUtime=51.08 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 271070 0 0 0 5073 35 0 0 20 0 4 0 24461987 1351159808 271879 33554432000 4194304 16246674 140734587733024 140734587714944 12477795 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 329873 271879 898 2943 0 326767 0
[pid=15606/tid=15607] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271879 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271879 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271879 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1319492

[startup+102.301 s]
/proc/loadavg: 2.30 2.30 2.27 3/184 15614
/proc/meminfo: memFree=28292024/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1319492 CPUtime=102.28 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 271072 0 0 0 10190 38 0 0 20 0 4 0 24461987 1351159808 271881 33554432000 4194304 16246674 140734587733024 140734587732200 5721677 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 329873 271881 900 2943 0 326767 0
[pid=15606/tid=15607] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271881 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271881 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271881 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492


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

/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1319492

[startup+1362.3 s]
/proc/loadavg: 2.26 2.23 2.22 3/182 15694
/proc/meminfo: memFree=28285696/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1319492 CPUtime=1361.91 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 271375 0 0 0 136104 87 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140734587732200 13963936 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 329873 271884 900 2943 0 326767 0
[pid=15606/tid=15607] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1319492

[startup+1422.3 s]
/proc/loadavg: 2.17 2.22 2.21 4/183 15696
/proc/meminfo: memFree=28286200/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1319492 CPUtime=1421.9 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 271375 0 0 0 142100 90 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140734587714944 6012036 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 329873 271884 900 2943 0 326767 0
[pid=15606/tid=15607] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1319492

[startup+1482.3 s]
/proc/loadavg: 2.16 2.20 2.20 3/183 15698
/proc/meminfo: memFree=28286116/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1319492 CPUtime=1481.89 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 271375 0 0 0 148096 93 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140734587714944 13954595 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 329873 271884 900 2943 0 326767 0
[pid=15606/tid=15607] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1319492

[startup+1542.31 s]
/proc/loadavg: 2.15 2.19 2.20 3/183 15699
/proc/meminfo: memFree=28286176/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1319492 CPUtime=1541.89 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 271375 0 0 0 154094 95 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140734587714944 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 329873 271884 900 2943 0 326767 0
[pid=15606/tid=15607] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1319492

[startup+1602.3 s]
/proc/loadavg: 2.20 2.20 2.20 4/183 15700
/proc/meminfo: memFree=28285944/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1319492 CPUtime=1601.87 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 271375 0 0 0 160088 99 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140734587732200 5589492 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 329873 271884 900 2943 0 326767 0
[pid=15606/tid=15607] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1319492

[startup+1662.3 s]
/proc/loadavg: 2.19 2.20 2.19 3/183 15701
/proc/meminfo: memFree=28285476/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1319492 CPUtime=1661.86 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 271375 0 0 0 166086 100 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140734587714944 5722604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 329873 271884 900 2943 0 326767 0
[pid=15606/tid=15607] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1319492

[startup+1722.3 s]
/proc/loadavg: 2.19 2.20 2.19 3/183 15702
/proc/meminfo: memFree=28285780/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1319492 CPUtime=1721.86 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 271375 0 0 0 172084 102 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140734587714944 13963936 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 329873 271884 900 2943 0 326767 0
[pid=15606/tid=15607] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1319492

[startup+1782.3 s]
/proc/loadavg: 2.18 2.19 2.18 4/183 15704
/proc/meminfo: memFree=28285440/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1319492 CPUtime=1781.85 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 271375 0 0 0 178081 104 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140734587732200 5546233 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 329873 271884 900 2943 0 326767 0
[pid=15606/tid=15607] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1319492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.19 2.19 2.18 4/183 15704
/proc/meminfo: memFree=28285540/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1319492 CPUtime=1800.04 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 271375 0 0 0 179900 104 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140734587732200 5666924 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 329873 271884 900 2943 0 326767 0
[pid=15606/tid=15607] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1319492

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

[startup+1800.5 s]
/proc/loadavg: 2.19 2.19 2.18 4/183 15704
/proc/meminfo: memFree=28285540/32872528 swapFree=1286400/1433568
[pid=15606] ppid=15603 vsize=1319492 CPUtime=1800.04 cores=0,2,4,6
/proc/15606/stat : 15606 (toysat) R 15603 15606 12983 0 -1 4202496 271375 0 0 0 179900 104 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140734587732200 5666924 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15606/statm: 329873 271884 900 2943 0 326767 0
[pid=15606/tid=15607] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15607/stat : 15607 (toysat) S 15603 15606 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041493916912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15606/tid=15608] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15608/stat : 15608 (toysat) S 15603 15606 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041483427056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15606/tid=15609] ppid=15603 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/15606/task/15609/stat : 15609 (toysat) S 15603 15606 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24461987 1351159808 271884 33554432000 4194304 16246674 140734587733024 140041368104112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1319492

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.01
CPU system time (s): 1.04884
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.04884
maximum resident set size= 1087536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271375
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= 320
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.56731 second user time and 6.97694 second system time

The end

Begin job on node130 at 2016-06-18 06:29:12
IDJOB=4101425
IDBENCH=1746
IDSOLVER=2542
FILE ID=node130/4101425-1466224152
RUNJOBID= node130-1466206066-12999
PBS_JOBID= 19918147
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air06.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101425-1466224152/watcher-4101425-1466224152 -o /tmp/evaluation-result-4101425-1466224152/solver-4101425-1466224152 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101425-1466224152.opb

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

MD5SUM BENCH= 9ad64595976e8d5a822b98ffb6dea9d7
RANDOM SEED=778955571

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
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:        29379156 kB
Buffers:          103124 kB
Cached:           125912 kB
SwapCached:         1804 kB
Active:          1191116 kB
Inactive:         131196 kB
Active(anon):    1093680 kB
Inactive(anon):     1604 kB
Active(file):      97436 kB
Inactive(file):   129592 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67099028 kB
Dirty:             17104 kB
Writeback:             0 kB
AnonPages:       2525960 kB
Mapped:            10732 kB
Shmem:                 0 kB
Slab:             602600 kB
SReclaimable:      46084 kB
SUnreclaim:       556516 kB
KernelStack:        1448 kB
PageTables:         8964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2671904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1230848 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= 71716 MiB
End job on node130 at 2016-06-18 06:59:13