0.00/0.00	c 2016-06-07T08:52:46+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-4078943-1465282366.opb"]
0.00/0.01	c use --random-gen="1312838399 2772964314 681461650 1171466558 3133472069 2823487900 853969617 1323699305 2136756026 561575589 2417345467 2582054683 1330808317 3729028531 2816311734 1515416959 1130090170 1261010520 2988990670 3583038012 2060569953 2409798097 2126579345 1520771313 166795601 2121896597 908514462 810138384 3412090058 2750102689 1315487973 2454953127 1161323531 3230847881 1532234288 1481709812 441143574 1969360334 710836717 900659496 110409700 244731738 2080922774 3560570617 2836674023 1159357254 2069393018 1534063944 3003169876 2771865850 2025797704 2260124279 2943948637 3881983240 1948495072 85387881 3062872049 917752509 1578792998 100259977 3555504171 4170809778 2662437948 3272343773 728365810 3009239020 1619638502 4220648263 308743900 2083360617 27377481 630706253 508099195 1677496589 1142915952 3071968935 2807342971 3233992235 2681892731 3858253923 427579882 2378457910 3550105800 806718586 2482102941 1340961698 4174546680 4005165735 2398003161 2063915227 1586316672 128276872 2483705762 418340538 4185406788 2497544423 2189271348 3873207955 1357475190 4271340575 3742594338 1613502286 519945269 3827348967 1905803024 2721069782 4117508580 2650581411 695429564 1842879280 798160830 918817390 1156048867 3808061626 1667317781 3789089604 2721266344 2899503866 3332848946 3848920623 3604785880 3293533149 2256018997 1798070497 4118033671 1373220477 4287446232 4166559071 1429634282 4290783240 1778191143 754293217 4138750809 3522458477 3159923866 2832904536 1839796235 2957067670 490834923 454470914 2461915884 1989942380 1913143019 4253357784 3674763369 1834522962 843306050 4283566282 2601036631 2555262014 2920813250 2717449153 4004406009 1602077881 2170506031 2475170709 564350070 2933663818 1214930662 1700973315 1185490973 3797221348 513391388 670785537 3934948497 1150579458 1532071677 1160155680 1414269992 3636802138 1690169029 1577775091 1351963794 237973693 2242394799 2975569768 2284197548 772834643 497572056 4070507082 880117794 2224362499 2235395926 1383084484 4108436415 3607005905 2998101980 4065497411 2266431003 2369137942 259909234 2778153642 1147425140 2326804712 874016885 3883935827 3849625940 3488945314 433390427 4119656903 1376922822 2795711796 4227866824 1558824161 3241026630 2249369128 3201953396 558155447 287949109 2014648538 361926155 1700553573 1354679796 2550840902 2932976226 2553142699 2986606421 542559783 3490668619 3833685533 696476713 1130904054 307670247 140129978 2765720825 362569200 1353501051 4265885358 3324241336 1691596493 3230212690 3390108144 2098409349 2660815467 2197133321 1927912206 769505804 505360305 3105198148 3066098581 612100442 362769552 3575880956 2115930349 3707856933 347613728 1122094016 1179198921 2365577288 2987123184 2879217952 2932924166 3991698458 3491020760 1687292381 3241878076 255 362436" option to reproduce the execution
0.09/0.11	c #vars 6256
0.09/0.11	c #constraints 6442
0.18/0.23	c Solving starts ...
0.18/0.23	c ============================[ Search Statistics ]============================
0.18/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.23	c =============================================================================
0.18/0.23	c  0.0s |       0 |        0 |        0 |     4232      0 |      362 |        0
0.29/0.37	c  0.1s |       1 |     3267 |      100 |     4232      0 |      363 |      304
0.58/0.64	c  0.4s |       2 |     5030 |      250 |     4656      0 |      363 |      304
0.78/0.86	c  0.6s |       3 |     8586 |      475 |     5122      0 |      363 |      304
1.28/1.33	c  1.1s |       4 |    12122 |      813 |     5635      0 |      363 |      304
1.99/2.04	c  1.8s |       5 |    24054 |     1320 |     6199      0 |      364 |      305
2.69/2.78	c  2.5s |       6 |    42776 |     2081 |     7501      0 |      364 |      305
3.99/4.01	c  3.8s |       7 |    67188 |     3223 |     8252      0 |      365 |      306
6.09/6.17	c  5.9s |       7 |    87705 |     4923 |     9078      0 |      371 |      312
6.09/6.19	c  6.0s |       8 |    87727 |     4936 |     9078      0 |      371 |      312
8.19/8.26	c  8.0s |       8 |   111894 |     6436 |     9078      0 |      374 |      315
9.59/9.62	c  9.4s |       9 |   126420 |     7506 |     9986      0 |      375 |      316
11.59/11.65	c 11.4s |       9 |   140248 |     8706 |     9986      0 |      376 |      317
13.68/13.73	c 13.5s |       9 |   162353 |    10206 |     9986      0 |      378 |      319
15.58/15.66	c 15.4s |      10 |   175635 |    11361 |    10985      1 |      378 |      319
17.78/17.80	c 17.6s |      10 |   200481 |    12961 |    10985      1 |      380 |      321
19.79/19.87	c 19.6s |      10 |   224431 |    14461 |    10985      1 |      382 |      323
21.78/21.88	c 21.6s |      10 |   237730 |    15761 |    10985      1 |      382 |      323
23.88/23.95	c 23.7s |      10 |   255672 |    17061 |    12084      1 |      382 |      323
23.98/24.07	c 23.8s |      11 |   256198 |    17144 |    12084      1 |      382 |      323
26.08/26.17	c 25.9s |      11 |   272539 |    18544 |    12084      1 |      382 |      323
28.48/28.53	c 28.3s |      11 |   283561 |    19844 |    12084      2 |      382 |      323
30.68/30.71	c 30.5s |      11 |   287124 |    20544 |    12084      2 |      382 |      323
32.68/32.72	c 32.5s |      11 |   295505 |    21344 |    12084      2 |      382 |      323
34.68/34.74	c 34.5s |      11 |   326256 |    22844 |    12084      2 |      382 |      323
36.88/36.95	c 36.7s |      11 |   342348 |    24344 |    12084      2 |      382 |      323
39.08/39.11	c 38.9s |      11 |   349683 |    25444 |    12084      2 |      382 |      323
39.98/40.08	c 39.9s |      12 |   350957 |    25819 |    13293      2 |      382 |      323
42.18/42.26	c 42.0s |      12 |   359404 |    26819 |    13293      3 |      383 |      324
44.58/44.62	c 44.4s |      12 |   361864 |    27519 |    13293      3 |      383 |      324
46.67/46.76	c 46.5s |      12 |   364818 |    28219 |    13293      3 |      383 |      324
49.17/49.23	c 49.0s |      12 |   366587 |    28819 |    13293      3 |      383 |      324
51.27/51.33	c 51.1s |      12 |   367383 |    29219 |    13293      3 |      383 |      324
53.77/53.84	c 53.6s |      12 |   368955 |    29719 |    13293      3 |      383 |      324
55.87/55.96	c 55.7s |      12 |   374780 |    30419 |    13293      3 |      383 |      324
58.18/58.24	c 58.0s |      12 |   380777 |    31619 |    13293      3 |      383 |      324
60.18/60.25	c 60.0s |      12 |   391160 |    32719 |    13293      3 |      383 |      324
62.28/62.39	c 62.2s |      12 |   403248 |    33819 |    13293      3 |      383 |      324
64.58/64.61	c 64.4s |      12 |   407550 |    34519 |    13293      4 |      383 |      324
66.78/66.81	c 66.6s |      12 |   417211 |    35719 |    13293      4 |      383 |      324
68.88/68.92	c 68.7s |      12 |   422354 |    36619 |    13293      4 |      383 |      324
70.98/71.05	c 70.8s |      12 |   425109 |    37219 |    13293      4 |      383 |      324
73.17/73.27	c 73.0s |      12 |   427155 |    37819 |    13293      4 |      383 |      324
75.37/75.44	c 75.2s |      12 |   429525 |    38419 |    13293      4 |      383 |      324
77.57/77.63	c 77.4s |      12 |   430239 |    38719 |    14623      4 |      383 |      324
78.37/78.41	c 78.2s |      13 |   430511 |    38832 |    14623      4 |      383 |      324
80.38/80.47	c 80.2s |      13 |   450948 |    40332 |    14623      4 |      383 |      324
82.37/82.49	c 82.3s |      13 |   468354 |    41332 |    14623      4 |      384 |      325
84.47/84.57	c 84.3s |      13 |   488262 |    42432 |    14623      5 |      385 |      326
86.57/86.69	c 86.5s |      13 |   491653 |    43432 |    14623      5 |      385 |      326
88.87/88.92	c 88.7s |      13 |   507900 |    44832 |    14623      5 |      385 |      326
91.07/91.11	c 90.9s |      13 |   516473 |    46032 |    14623      5 |      385 |      326
93.07/93.16	c 92.9s |      13 |   527420 |    47232 |    14623      5 |      385 |      326
95.17/95.23	c 95.0s |      13 |   536992 |    48532 |    14623      5 |      385 |      326
97.27/97.30	c 97.1s |      13 |   542802 |    49432 |    14623      5 |      385 |      326
99.37/99.44	c 99.2s |      13 |   559953 |    50732 |    14623      6 |      385 |      326
101.47/101.52	c  101s |      13 |   581531 |    52132 |    14623      6 |      386 |      327
103.47/103.57	c  103s |      13 |   605863 |    53632 |    14623      6 |      386 |      327
105.58/105.63	c  105s |      13 |   625390 |    55032 |    14623      6 |      386 |      327
107.78/107.81	c  107s |      13 |   640293 |    56132 |    14623      6 |      387 |      328
109.87/109.92	c  109s |      13 |   653999 |    57332 |    14623      6 |      387 |      328
111.87/111.97	c  111s |      13 |   667050 |    58332 |    16086      6 |      388 |      329
111.97/112.01	c  111s |      14 |   667334 |    58352 |    16086      6 |      388 |      329
113.97/114.07	c  113s |      14 |   686913 |    59652 |    16086      6 |      388 |      329
116.07/116.20	c  115s |      14 |   710366 |    60952 |    16086      7 |      389 |      330
118.17/118.25	c  118s |      14 |   729203 |    62252 |    16086      7 |      390 |      331
120.27/120.32	c  120s |      14 |   745741 |    63552 |    16086      7 |      390 |      331
122.37/122.43	c  122s |      14 |   760427 |    64752 |    16086      7 |      391 |      332
124.47/124.55	c  124s |      14 |   778828 |    66152 |    16086      7 |      391 |      332
126.67/126.71	c  126s |      14 |   797156 |    67352 |    16086      7 |      391 |      332
128.77/128.84	c  128s |      14 |   813913 |    68552 |    16086      8 |      391 |      332
130.97/131.07	c  130s |      14 |   824795 |    69752 |    16086      8 |      391 |      332
133.27/133.30	c  133s |      14 |   835671 |    70952 |    16086      8 |      391 |      332
135.27/135.32	c  135s |      14 |   846515 |    72052 |    16086      8 |      391 |      332
137.37/137.47	c  137s |      14 |   861419 |    73152 |    16086      8 |      391 |      332
139.46/139.53	c  139s |      14 |   871366 |    74352 |    16086      8 |      391 |      332
141.46/141.59	c  141s |      14 |   887851 |    75552 |    16086      8 |      391 |      332
143.56/143.65	c  143s |      14 |   902515 |    76652 |    16086      8 |      391 |      332
145.66/145.76	c  145s |      14 |   919054 |    77952 |    16086      9 |      392 |      333
147.66/147.77	c  147s |      14 |   933565 |    79452 |    16086      9 |      392 |      333
149.76/149.88	c  149s |      14 |   948821 |    80752 |    16086      9 |      392 |      333
151.96/152.07	c  151s |      14 |   955995 |    81752 |    16086      9 |      392 |      333
154.16/154.23	c  153s |      14 |   960037 |    82852 |    16086      9 |      392 |      333
156.36/156.43	c  156s |      14 |   961325 |    83352 |    16086      9 |      392 |      333
158.47/158.58	c  158s |      14 |   964559 |    84252 |    16086      9 |      392 |      333
160.76/160.86	c  160s |      14 |   966286 |    84752 |    16086      9 |      392 |      333
162.96/163.01	c  162s |      14 |   968367 |    85352 |    16086      9 |      392 |      333
165.16/165.29	c  165s |      14 |   969767 |    85852 |    16086      9 |      392 |      333
167.36/167.46	c  167s |      14 |   971604 |    86452 |    16086      9 |      392 |      333
169.56/169.66	c  169s |      14 |   973094 |    87052 |    17695      9 |      392 |      333
172.36/172.48	c  172s |      14 |   973772 |    87352 |    17695      9 |      392 |      333
174.76/174.90	c  174s |      15 |   974293 |    87632 |    17695      9 |      392 |      333
176.86/176.95	c  176s |      15 |   991731 |    88832 |    17695     10 |      392 |      333
178.95/179.02	c  178s |      15 |  1019251 |    90432 |    17695     10 |      392 |      333
181.05/181.17	c  180s |      15 |  1041362 |    91832 |    17695     10 |      392 |      333
183.25/183.35	c  183s |      15 |  1055688 |    93232 |    17695     10 |      392 |      333
185.35/185.49	c  185s |      15 |  1070262 |    94532 |    17695     10 |      392 |      333
187.45/187.50	c  187s |      15 |  1079443 |    95832 |    17695     10 |      392 |      333
189.45/189.52	c  189s |      15 |  1086450 |    96932 |    17695     11 |      392 |      333
191.46/191.58	c  191s |      15 |  1106801 |    98232 |    17695     11 |      392 |      333
193.56/193.62	c  193s |      15 |  1123408 |    99432 |    17695     11 |      392 |      333
195.55/195.67	c  195s |      15 |  1134229 |   100732 |    17695     11 |      392 |      333
197.65/197.72	c  197s |      15 |  1148033 |   102032 |    17695     11 |      392 |      333
199.66/199.76	c  199s |      15 |  1166548 |   103232 |    17695     11 |      392 |      333
201.76/201.82	c  201s |      15 |  1180648 |   104432 |    17695     11 |      392 |      333
203.76/203.88	c  203s |      15 |  1196236 |   105632 |    17695     11 |      392 |      333
205.76/205.89	c  205s |      15 |  1210931 |   106832 |    17695     12 |      392 |      333
208.16/208.26	c  208s |      15 |  1221252 |   108232 |    17695     12 |      392 |      333
210.26/210.39	c  210s |      15 |  1225179 |   109132 |    17695     12 |      392 |      333
212.46/212.57	c  212s |      15 |  1225758 |   109432 |    17695     12 |      392 |      333
214.66/214.77	c  214s |      15 |  1226790 |   109832 |    17695     12 |      392 |      333
217.36/217.46	c  217s |      15 |  1227555 |   110032 |    17695     12 |      392 |      333
219.85/219.92	c  219s |      15 |  1228780 |   110432 |    17695     12 |      392 |      333
221.85/221.98	c  221s |      15 |  1229346 |   110732 |    17695     12 |      392 |      333
224.15/224.24	c  224s |      15 |  1230178 |   111032 |    17695     12 |      392 |      333
226.56/226.62	c  226s |      15 |  1230847 |   111332 |    17695     12 |      392 |      333
228.55/228.65	c  228s |      15 |  1231966 |   111632 |    17695     12 |      392 |      333
230.75/230.88	c  230s |      15 |  1234965 |   112132 |    17695     12 |      392 |      333
233.05/233.13	c  232s |      15 |  1236814 |   112732 |    17695     12 |      392 |      333
235.05/235.19	c  234s |      15 |  1241019 |   113432 |    17695     12 |      392 |      333
237.25/237.34	c  237s |      15 |  1245199 |   114232 |    17695     12 |      392 |      333
239.35/239.40	c  239s |      15 |  1259078 |   115332 |    17695     12 |      393 |      334
241.75/241.88	c  241s |      15 |  1270677 |   116532 |    17695     13 |      393 |      334
243.95/244.01	c  243s |      15 |  1282240 |   117932 |    17695     13 |      393 |      334
245.95/246.04	c  245s |      15 |  1298650 |   119432 |    17695     13 |      393 |      334
247.95/248.06	c  247s |      15 |  1304181 |   120332 |    17695     13 |      393 |      334
250.35/250.40	c  250s |      15 |  1307507 |   121032 |    17695     13 |      393 |      334
252.95/253.02	c  252s |      15 |  1311993 |   121832 |    17695     13 |      393 |      334
255.15/255.27	c  255s |      15 |  1313597 |   122232 |    17695     13 |      393 |      334
257.75/257.80	c  257s |      15 |  1314877 |   122632 |    17695     13 |      393 |      334
259.84/259.93	c  259s |      15 |  1316298 |   123032 |    17695     13 |      393 |      334
261.85/261.99	c  261s |      15 |  1317242 |   123332 |    17695     13 |      393 |      334
264.34/264.47	c  264s |      15 |  1319784 |   123932 |    17695     13 |      393 |      334
267.04/267.17	c  266s |      15 |  1321679 |   124432 |    17695     13 |      393 |      334
269.14/269.29	c  269s |      15 |  1325447 |   125132 |    17695     13 |      393 |      334
271.24/271.32	c  271s |      15 |  1331286 |   125832 |    17695     13 |      393 |      334
273.34/273.46	c  273s |      15 |  1335327 |   126532 |    17695     14 |      393 |      334
275.35/275.49	c  275s |      15 |  1340407 |   127332 |    17695     14 |      393 |      334
277.44/277.56	c  277s |      15 |  1350012 |   128732 |    17695     14 |      393 |      334
279.54/279.67	c  279s |      15 |  1370641 |   130232 |    17695     14 |      393 |      334
281.14/281.29	c  281s |      16 |  1384444 |   131552 |    19465     14 |      393 |      334
283.24/283.40	c  283s |      16 |  1387896 |   132452 |    19465     14 |      393 |      334
285.34/285.44	c  285s |      16 |  1390901 |   133152 |    19465     14 |      393 |      334
287.74/287.80	c  287s |      16 |  1392768 |   133652 |    19465     14 |      393 |      334
289.94/290.06	c  289s |      16 |  1394086 |   134152 |    19465     14 |      393 |      334
292.04/292.13	c  291s |      16 |  1394719 |   134452 |    19465     14 |      393 |      334
294.34/294.48	c  294s |      16 |  1395499 |   134752 |    19465     14 |      393 |      334
296.54/296.69	c  296s |      16 |  1396283 |   135052 |    19465     14 |      393 |      334
298.74/298.86	c  298s |      16 |  1396999 |   135352 |    19465     14 |      393 |      334
300.94/301.00	c  300s |      16 |  1397714 |   135652 |    19465     14 |      393 |      334
304.14/304.25	c  304s |      16 |  1399200 |   136052 |    19465     14 |      393 |      334
307.04/307.19	c  306s |      16 |  1399585 |   136252 |    19465     14 |      393 |      334
309.15/309.24	c  309s |      16 |  1400763 |   136552 |    19465     14 |      393 |      334
311.64/311.76	c  311s |      16 |  1401923 |   136952 |    19465     14 |      393 |      334
313.94/314.04	c  313s |      16 |  1402603 |   137252 |    19465     14 |      393 |      334
316.24/316.32	c  316s |      16 |  1403484 |   137552 |    19465     14 |      393 |      334
318.84/318.97	c  318s |      16 |  1404950 |   137952 |    19465     14 |      393 |      334
321.24/321.36	c  321s |      16 |  1405752 |   138252 |    19465     14 |      393 |      334
323.54/323.62	c  323s |      16 |  1406878 |   138552 |    19465     14 |      393 |      334
326.04/326.18	c  325s |      16 |  1408486 |   138952 |    19465     14 |      393 |      334
328.33/328.42	c  328s |      16 |  1409494 |   139252 |    19465     14 |      393 |      334
330.53/330.67	c  330s |      16 |  1410262 |   139552 |    19465     14 |      393 |      334
333.03/333.16	c  332s |      16 |  1411000 |   139852 |    19465     14 |      393 |      334
335.33/335.48	c  335s |      16 |  1411361 |   140052 |    19465     14 |      393 |      334
338.03/338.11	c  337s |      16 |  1411901 |   140252 |    19465     15 |      393 |      334
340.03/340.13	c  339s |      16 |  1412350 |   140452 |    19465     15 |      393 |      334
342.33/342.42	c  342s |      16 |  1412742 |   140652 |    19465     15 |      393 |      334
344.63/344.74	c  344s |      16 |  1413264 |   140852 |    19465     15 |      393 |      334
347.13/347.24	c  347s |      16 |  1413924 |   141152 |    19465     15 |      393 |      334
349.23/349.32	c  349s |      16 |  1414475 |   141352 |    19465     15 |      393 |      334
352.33/352.48	c  352s |      16 |  1415118 |   141652 |    19465     15 |      393 |      334
354.53/354.63	c  354s |      16 |  1415926 |   141852 |    19465     15 |      393 |      334
356.53/356.64	c  356s |      16 |  1416336 |   142052 |    19465     15 |      393 |      334
358.93/359.07	c  358s |      16 |  1416716 |   142252 |    19465     15 |      393 |      334
361.53/361.65	c  361s |      16 |  1417048 |   142452 |    19465     15 |      393 |      334
363.53/363.67	c  363s |      16 |  1417430 |   142652 |    19465     15 |      393 |      334
365.73/365.89	c  365s |      16 |  1417844 |   142852 |    19465     15 |      393 |      334
367.93/368.00	c  367s |      16 |  1430861 |   144152 |    19465     15 |      393 |      334
370.03/370.13	c  369s |      16 |  1450587 |   145552 |    19465     15 |      393 |      334
372.43/372.56	c  372s |      16 |  1476613 |   146952 |    19465     15 |      394 |      335
374.43/374.56	c  374s |      16 |  1492416 |   148252 |    19465     15 |      394 |      335
376.53/376.63	c  376s |      16 |  1507952 |   149452 |    19465     16 |      394 |      335
378.53/378.68	c  378s |      16 |  1528631 |   151052 |    19465     16 |      394 |      335
380.63/380.78	c  380s |      16 |  1547703 |   152452 |    19465     16 |      394 |      335
382.73/382.82	c  382s |      16 |  1563510 |   153752 |    19465     16 |      394 |      335
384.83/384.97	c  384s |      16 |  1581187 |   155152 |    19465     16 |      394 |      335
387.03/387.11	c  386s |      16 |  1587150 |   156252 |    19465     16 |      394 |      335
389.62/389.76	c  389s |      16 |  1592630 |   157152 |    19465     16 |      394 |      335
391.82/391.94	c  391s |      16 |  1593845 |   157652 |    19465     16 |      394 |      335
393.92/394.01	c  393s |      16 |  1594783 |   158052 |    19465     16 |      394 |      335
395.93/396.07	c  395s |      16 |  1595553 |   158452 |    19465     16 |      394 |      335
398.32/398.49	c  398s |      16 |  1596482 |   158852 |    19465     16 |      394 |      335
400.62/400.78	c  400s |      16 |  1597435 |   159252 |    19465     16 |      394 |      335
402.82/402.90	c  402s |      16 |  1599386 |   159652 |    19465     16 |      394 |      335
404.83/404.99	c  404s |      16 |  1600323 |   160052 |    19465     16 |      394 |      335
407.22/407.32	c  407s |      16 |  1602195 |   160452 |    19465     16 |      394 |      335
409.23/409.39	c  409s |      16 |  1603422 |   160852 |    19465     16 |      394 |      335
411.92/412.06	c  411s |      16 |  1604394 |   161252 |    19465     16 |      394 |      335
414.22/414.31	c  414s |      16 |  1606112 |   161652 |    19465     17 |      394 |      335
416.22/416.39	c  416s |      16 |  1617292 |   162852 |    19465     17 |      394 |      335
418.62/418.72	c  418s |      16 |  1629939 |   164052 |    19465     17 |      394 |      335
420.72/420.82	c  420s |      16 |  1631435 |   164452 |    19465     17 |      394 |      335
422.82/422.90	c  422s |      16 |  1633882 |   165052 |    19465     17 |      394 |      335
424.92/425.01	c  424s |      16 |  1648035 |   166152 |    19465     17 |      395 |      336
427.02/427.10	c  426s |      16 |  1650248 |   166852 |    19465     17 |      395 |      336
429.12/429.21	c  428s |      16 |  1668983 |   168152 |    19465     17 |      395 |      336
431.13/431.30	c  431s |      16 |  1681619 |   169552 |    19465     17 |      395 |      336
433.22/433.40	c  433s |      16 |  1683737 |   170252 |    19465     17 |      395 |      336
435.42/435.56	c  435s |      16 |  1684681 |   170652 |    19465     17 |      395 |      336
438.12/438.22	c  437s |      16 |  1685117 |   170852 |    19465     17 |      395 |      336
440.22/440.31	c  440s |      16 |  1686035 |   171152 |    19465     17 |      395 |      336
442.23/442.34	c  442s |      16 |  1688576 |   171952 |    19465     17 |      395 |      336
444.52/444.65	c  444s |      16 |  1690314 |   172552 |    19465     17 |      395 |      336
446.72/446.89	c  446s |      16 |  1691727 |   173052 |    19465     17 |      395 |      336
449.62/449.79	c  449s |      16 |  1693476 |   173552 |    19465     18 |      395 |      336
452.13/452.23	c  451s |      16 |  1693645 |   173652 |    19465     18 |      395 |      336
454.22/454.38	c  454s |      16 |  1696614 |   174352 |    19465     18 |      395 |      336
456.31/456.50	c  456s |      16 |  1699176 |   174952 |    19465     18 |      395 |      336
458.72/458.81	c  458s |      16 |  1715837 |   176352 |    19465     18 |      395 |      336
460.71/460.83	c  460s |      16 |  1742315 |   177952 |    19465     18 |      395 |      336
462.71/462.85	c  462s |      16 |  1755906 |   179452 |    19465     18 |      395 |      336
464.81/464.94	c  464s |      16 |  1773448 |   180952 |    19465     18 |      395 |      336
466.91/467.05	c  466s |      16 |  1776965 |   181752 |    19465     18 |      395 |      336
469.11/469.21	c  468s |      16 |  1780480 |   182652 |    19465     18 |      395 |      336
471.11/471.25	c  471s |      16 |  1799087 |   183952 |    19465     19 |      395 |      336
473.11/473.29	c  473s |      16 |  1807108 |   185252 |    19465     19 |      395 |      336
475.12/475.29	c  475s |      16 |  1822664 |   186452 |    19465     19 |      395 |      336
477.21/477.40	c  477s |      16 |  1824862 |   187252 |    19465     19 |      395 |      336
479.41/479.53	c  479s |      16 |  1841342 |   188652 |    19465     19 |      395 |      336
481.41/481.53	c  481s |      16 |  1849124 |   189852 |    19465     19 |      395 |      336
483.51/483.61	c  483s |      16 |  1863060 |   191152 |    19465     19 |      395 |      336
485.51/485.63	c  485s |      16 |  1868365 |   192252 |    19465     19 |      395 |      336
487.61/487.75	c  487s |      16 |  1874198 |   193352 |    19465     19 |      395 |      336
489.81/489.91	c  489s |      16 |  1877260 |   194152 |    19465     19 |      395 |      336
491.91/492.08	c  491s |      16 |  1880626 |   195052 |    19465     19 |      395 |      336
494.00/494.13	c  493s |      16 |  1882799 |   195752 |    19465     20 |      395 |      336
496.20/496.34	c  496s |      16 |  1887837 |   196752 |    21412     20 |      395 |      336
498.50/498.63	c  498s |      16 |  1889778 |   197252 |    21412     20 |      395 |      336
499.50/499.68	c  499s |      17 |  1890082 |   197432 |    21412     20 |      395 |      336
501.70/501.86	c  501s |      17 |  1899374 |   198932 |    21412     20 |      395 |      336
503.71/503.89	c  503s |      17 |  1911426 |   200332 |    21412     20 |      395 |      336
505.91/506.00	c  505s |      17 |  1923533 |   201832 |    21412     20 |      395 |      336
507.91/508.03	c  507s |      17 |  1929568 |   202932 |    21412     20 |      395 |      336
509.91/510.04	c  509s |      17 |  1933048 |   203832 |    21412     20 |      395 |      336
512.21/512.39	c  512s |      17 |  1934696 |   204532 |    21412     20 |      395 |      336
514.51/514.66	c  514s |      17 |  1936117 |   205132 |    21412     20 |      395 |      336
516.61/516.74	c  516s |      17 |  1941634 |   205932 |    21412     20 |      395 |      336
518.71/518.83	c  518s |      17 |  1955016 |   207232 |    21412     21 |      395 |      336
520.81/520.97	c  520s |      17 |  1960607 |   208332 |    21412     21 |      395 |      336
522.91/523.09	c  522s |      17 |  1982024 |   209932 |    21412     21 |      396 |      337
525.21/525.31	c  525s |      17 |  1989210 |   211132 |    21412     21 |      396 |      337
527.21/527.36	c  527s |      17 |  2010866 |   212732 |    21412     21 |      396 |      337
529.41/529.55	c  529s |      17 |  2029264 |   214232 |    21412     21 |      396 |      337
531.51/531.64	c  531s |      17 |  2046135 |   215632 |    21412     21 |      396 |      337
533.60/533.73	c  533s |      17 |  2060179 |   217032 |    21412     21 |      396 |      337
535.80/535.92	c  535s |      17 |  2072679 |   218332 |    21412     22 |      396 |      337
537.81/537.95	c  537s |      17 |  2084716 |   219932 |    21412     22 |      396 |      337
540.01/540.15	c  539s |      17 |  2104328 |   221732 |    21412     22 |      397 |      338
542.00/542.17	c  541s |      17 |  2117860 |   222932 |    21412     22 |      397 |      338
544.10/544.24	c  544s |      17 |  2139368 |   224732 |    21412     22 |      397 |      338
546.20/546.32	c  546s |      17 |  2152790 |   226432 |    21412     22 |      397 |      338
548.30/548.44	c  548s |      17 |  2168803 |   227832 |    21412     22 |      397 |      338
550.30/550.49	c  550s |      17 |  2177555 |   229132 |    21412     22 |      397 |      338
552.40/552.52	c  552s |      17 |  2188085 |   230332 |    21412     23 |      397 |      338
554.60/554.73	c  554s |      17 |  2200556 |   231932 |    21412     23 |      397 |      338
556.70/556.83	c  556s |      17 |  2210095 |   233432 |    21412     23 |      397 |      338
558.71/558.86	c  558s |      17 |  2224436 |   235032 |    21412     23 |      397 |      338
560.70/560.87	c  560s |      17 |  2249670 |   236532 |    21412     23 |      397 |      338
562.80/562.96	c  562s |      17 |  2258378 |   237632 |    21412     23 |      397 |      338
565.00/565.12	c  564s |      17 |  2271483 |   238932 |    21412     23 |      397 |      338
567.20/567.35	c  567s |      17 |  2285582 |   240232 |    21412     23 |      397 |      338
569.30/569.40	c  569s |      17 |  2295563 |   241332 |    21412     24 |      397 |      338
571.30/571.45	c  571s |      17 |  2322881 |   243332 |    21412     24 |      397 |      338
573.40/573.51	c  573s |      17 |  2332719 |   244532 |    21412     24 |      397 |      338
575.60/575.79	c  575s |      17 |  2342001 |   245932 |    21412     24 |      397 |      338
577.70/577.82	c  577s |      17 |  2350237 |   246932 |    21412     24 |      397 |      338
579.89/580.05	c  579s |      17 |  2354062 |   247932 |    21412     24 |      397 |      338
581.90/582.07	c  581s |      17 |  2355485 |   248432 |    21412     24 |      397 |      338
584.19/584.33	c  584s |      17 |  2357523 |   249032 |    21412     24 |      397 |      338
586.49/586.68	c  586s |      17 |  2358980 |   249532 |    21412     24 |      397 |      338
588.89/589.05	c  588s |      17 |  2361170 |   250032 |    21412     24 |      397 |      338
591.19/591.31	c  591s |      17 |  2362166 |   250432 |    21412     24 |      397 |      338
593.20/593.36	c  593s |      17 |  2363481 |   250832 |    21412     24 |      397 |      338
595.50/595.67	c  595s |      17 |  2364600 |   251232 |    21412     24 |      397 |      338
597.60/597.76	c  597s |      17 |  2365997 |   251632 |    21412     24 |      397 |      338
600.09/600.23	c  599s |      17 |  2367642 |   252132 |    21412     24 |      397 |      338
602.39/602.53	c  602s |      17 |  2368967 |   252532 |    21412     24 |      397 |      338
604.59/604.74	c  604s |      17 |  2370643 |   252932 |    21412     24 |      397 |      338
607.19/607.36	c  607s |      17 |  2372053 |   253332 |    21412     24 |      397 |      338
609.79/609.98	c  609s |      17 |  2375048 |   253732 |    21412     25 |      397 |      338
611.89/612.06	c  611s |      17 |  2397528 |   255632 |    21412     25 |      397 |      338
613.89/614.09	c  613s |      17 |  2423014 |   257632 |    21412     25 |      397 |      338
616.10/616.22	c  615s |      17 |  2435384 |   259232 |    21412     25 |      397 |      338
618.20/618.32	c  618s |      17 |  2455073 |   260732 |    21412     25 |      397 |      338
620.30/620.45	c  620s |      17 |  2462295 |   261832 |    21412     25 |      397 |      338
622.29/622.46	c  622s |      17 |  2465633 |   262632 |    21412     25 |      397 |      338
624.29/624.49	c  624s |      17 |  2476646 |   263632 |    21412     26 |      397 |      338
626.39/626.56	c  626s |      17 |  2500763 |   265332 |    21412     26 |      397 |      338
628.49/628.61	c  628s |      17 |  2515519 |   266932 |    21412     26 |      397 |      338
630.59/630.70	c  630s |      17 |  2526358 |   268432 |    21412     26 |      397 |      338
632.59/632.73	c  632s |      17 |  2534218 |   269632 |    21412     26 |      397 |      338
634.60/634.78	c  634s |      17 |  2550058 |   271432 |    21412     26 |      397 |      338
636.69/636.85	c  636s |      17 |  2561189 |   272632 |    21412     26 |      397 |      338
638.78/638.96	c  638s |      17 |  2571424 |   274032 |    21412     27 |      397 |      338
640.88/641.00	c  640s |      17 |  2580648 |   275232 |    21412     27 |      397 |      338
642.88/643.05	c  642s |      17 |  2592276 |   277132 |    21412     27 |      397 |      338
644.88/645.06	c  644s |      17 |  2607065 |   278932 |    21412     27 |      397 |      338
646.88/647.07	c  646s |      17 |  2611010 |   280032 |    21412     27 |      397 |      338
649.18/649.33	c  649s |      17 |  2617423 |   281432 |    21412     27 |      397 |      338
651.48/651.62	c  651s |      17 |  2619300 |   282132 |    21412     27 |      397 |      338
653.68/653.86	c  653s |      17 |  2621222 |   282932 |    21412     27 |      397 |      338
655.78/655.94	c  655s |      17 |  2622672 |   283532 |    21412     27 |      397 |      338
657.88/658.08	c  657s |      17 |  2624477 |   284132 |    21412     27 |      397 |      338
660.19/660.40	c  660s |      17 |  2626219 |   284632 |    21412     27 |      397 |      338
662.28/662.49	c  662s |      17 |  2627358 |   285032 |    21412     27 |      397 |      338
664.48/664.64	c  664s |      17 |  2629438 |   285632 |    21412     28 |      397 |      338
666.49/666.69	c  666s |      17 |  2632401 |   286532 |    21412     28 |      397 |      338
668.58/668.72	c  668s |      17 |  2634706 |   287332 |    21412     28 |      397 |      338
670.58/670.78	c  670s |      17 |  2635494 |   287732 |    21412     28 |      397 |      338
672.68/672.83	c  672s |      17 |  2651101 |   289432 |    21412     28 |      397 |      338
674.68/674.89	c  674s |      17 |  2656123 |   290732 |    21412     28 |      397 |      338
676.78/676.95	c  676s |      17 |  2665316 |   291932 |    21412     28 |      397 |      338
678.88/679.04	c  678s |      17 |  2677855 |   293632 |    21412     28 |      397 |      338
680.98/681.11	c  680s |      17 |  2693264 |   295332 |    23554     29 |      397 |      338
682.08/682.20	c  681s |      18 |  2702210 |   296252 |    23554     29 |      397 |      338
684.18/684.35	c  684s |      18 |  2720649 |   297852 |    23554     29 |      397 |      338
686.18/686.36	c  686s |      18 |  2731738 |   299252 |    23554     29 |      397 |      338
688.38/688.50	c  688s |      18 |  2750879 |   300952 |    23554     29 |      397 |      338
690.48/690.61	c  690s |      18 |  2761583 |   302652 |    23554     29 |      397 |      338
692.57/692.74	c  692s |      18 |  2765008 |   303752 |    23554     29 |      397 |      338
694.67/694.89	c  694s |      18 |  2767946 |   304452 |    23554     30 |      397 |      338
696.77/696.92	c  696s |      18 |  2777867 |   305952 |    23554     30 |      397 |      338
698.87/699.01	c  698s |      18 |  2795972 |   307652 |    23554     30 |      397 |      338
700.88/701.06	c  700s |      18 |  2809025 |   309252 |    23554     30 |      397 |      338
702.98/703.14	c  702s |      18 |  2823028 |   310552 |    23554     30 |      397 |      338
704.99/705.16	c  704s |      18 |  2831859 |   311752 |    23554     30 |      397 |      338
707.08/707.28	c  707s |      18 |  2842981 |   313052 |    23554     30 |      397 |      338
709.18/709.34	c  709s |      18 |  2862542 |   314352 |    23554     31 |      397 |      338
711.28/711.44	c  711s |      18 |  2878709 |   315952 |    23554     31 |      397 |      338
713.28/713.46	c  713s |      18 |  2900348 |   317552 |    23554     31 |      397 |      338
715.28/715.47	c  715s |      18 |  2920287 |   319152 |    23554     31 |      398 |      339
717.38/717.52	c  717s |      18 |  2936129 |   320552 |    23554     31 |      398 |      339
719.48/719.60	c  719s |      18 |  2951141 |   322052 |    23554     31 |      398 |      339
721.48/721.63	c  721s |      18 |  2976162 |   323552 |    23554     32 |      398 |      339
723.47/723.66	c  723s |      18 |  2996838 |   325352 |    23554     32 |      398 |      339
725.57/725.75	c  725s |      18 |  3009202 |   327052 |    23554     32 |      398 |      339
727.67/727.84	c  727s |      18 |  3021552 |   328452 |    23554     32 |      398 |      339
729.77/729.94	c  729s |      18 |  3024617 |   329252 |    23554     32 |      398 |      339
731.87/732.06	c  731s |      18 |  3030555 |   330352 |    23554     32 |      398 |      339
733.97/734.12	c  733s |      18 |  3049112 |   331752 |    23554     33 |      398 |      339
736.07/736.20	c  735s |      18 |  3062113 |   333452 |    23554     33 |      398 |      339
738.27/738.44	c  738s |      18 |  3064542 |   334352 |    23554     33 |      398 |      339
740.47/740.60	c  740s |      18 |  3067761 |   335152 |    23554     33 |      398 |      339
742.47/742.62	c  742s |      18 |  3070841 |   335952 |    23554     33 |      398 |      339
744.67/744.84	c  744s |      18 |  3073811 |   336952 |    23554     33 |      398 |      339
746.66/746.89	c  746s |      18 |  3076780 |   337752 |    23554     33 |      398 |      339
748.86/749.02	c  748s |      18 |  3086039 |   338552 |    23554     33 |      398 |      339
750.86/751.08	c  750s |      18 |  3100692 |   339752 |    23554     34 |      398 |      339
752.96/753.15	c  752s |      18 |  3120065 |   341352 |    23554     34 |      398 |      339
755.16/755.31	c  755s |      18 |  3138133 |   342952 |    23554     34 |      398 |      339
757.16/757.32	c  757s |      18 |  3141514 |   343752 |    23554     34 |      398 |      339
759.26/759.42	c  759s |      18 |  3169188 |   345452 |    23554     34 |      398 |      339
761.26/761.47	c  761s |      18 |  3189340 |   346852 |    23554     34 |      398 |      339
763.56/763.71	c  763s |      18 |  3198790 |   347852 |    23554     35 |      398 |      339
765.56/765.73	c  765s |      18 |  3221450 |   349552 |    23554     35 |      398 |      339
767.56/767.79	c  767s |      18 |  3239934 |   351252 |    23554     35 |      398 |      339
769.66/769.83	c  769s |      18 |  3252090 |   352652 |    23554     35 |      398 |      339
771.65/771.83	c  771s |      18 |  3271627 |   354052 |    23554     35 |      398 |      339
773.75/773.91	c  773s |      18 |  3287753 |   355452 |    23554     35 |      398 |      339
775.75/775.99	c  775s |      18 |  3309637 |   357152 |    23554     36 |      398 |      339
777.85/778.04	c  777s |      18 |  3328190 |   358652 |    23554     36 |      398 |      339
780.15/780.32	c  780s |      18 |  3332516 |   359652 |    23554     36 |      398 |      339
782.25/782.46	c  782s |      18 |  3336737 |   360752 |    23554     36 |      398 |      339
784.35/784.50	c  784s |      18 |  3340731 |   361552 |    23554     36 |      398 |      339
786.46/786.64	c  786s |      18 |  3349265 |   362852 |    23554     36 |      398 |      339
788.56/788.71	c  788s |      18 |  3369595 |   364652 |    23554     37 |      398 |      339
790.75/790.93	c  790s |      18 |  3375922 |   365752 |    23554     37 |      398 |      339
793.05/793.23	c  792s |      18 |  3378353 |   366452 |    23554     37 |      398 |      339
795.25/795.40	c  795s |      18 |  3388884 |   367352 |    23554     37 |      398 |      339
797.24/797.45	c  797s |      18 |  3398808 |   368652 |    23554     37 |      398 |      339
799.34/799.54	c  799s |      18 |  3401414 |   369452 |    23554     37 |      398 |      339
801.44/801.68	c  801s |      18 |  3404383 |   370452 |    23554     37 |      398 |      339
803.54/803.76	c  803s |      18 |  3420706 |   371852 |    23554     38 |      398 |      339
805.64/805.84	c  805s |      18 |  3440453 |   373352 |    23554     38 |      398 |      339
807.64/807.88	c  807s |      18 |  3452018 |   374652 |    23554     38 |      398 |      339
809.74/809.93	c  809s |      18 |  3463621 |   375952 |    23554     38 |      398 |      339
811.75/811.97	c  811s |      18 |  3491928 |   377852 |    23554     39 |      398 |      339
814.04/814.26	c  814s |      18 |  3504516 |   379252 |    23554     39 |      398 |      339
816.34/816.53	c  816s |      18 |  3511804 |   380352 |    23554     39 |      398 |      339
818.64/818.82	c  818s |      18 |  3527795 |   381752 |    23554     39 |      398 |      339
820.84/821.07	c  820s |      18 |  3554605 |   383352 |    23554     40 |      398 |      339
822.93/823.10	c  822s |      18 |  3589893 |   385352 |    23554     40 |      398 |      339
824.94/825.14	c  824s |      18 |  3610540 |   387352 |    23554     40 |      398 |      339
827.04/827.21	c  826s |      18 |  3625546 |   388952 |    23554     40 |      398 |      339
829.13/829.38	c  829s |      18 |  3630506 |   390052 |    23554     40 |      398 |      339
831.23/831.46	c  831s |      18 |  3632348 |   390652 |    23554     40 |      398 |      339
833.34/833.58	c  833s |      18 |  3634403 |   391352 |    23554     40 |      398 |      339
835.34/835.59	c  835s |      18 |  3636014 |   391952 |    23554     40 |      398 |      339
837.44/837.68	c  837s |      18 |  3639547 |   392852 |    23554     41 |      398 |      339
839.53/839.72	c  839s |      18 |  3642781 |   394052 |    23554     41 |      398 |      339
841.53/841.74	c  841s |      18 |  3645134 |   394952 |    23554     41 |      398 |      339
843.54/843.74	c  843s |      18 |  3647468 |   395852 |    23554     41 |      398 |      339
845.53/845.75	c  845s |      18 |  3649127 |   396552 |    23554     41 |      398 |      339
847.53/847.75	c  847s |      18 |  3665898 |   398252 |    23554     42 |      398 |      339
849.63/849.80	c  849s |      18 |  3694120 |   400152 |    23554     42 |      398 |      339
851.73/851.90	c  851s |      18 |  3713689 |   401752 |    23554     42 |      398 |      339
853.73/853.93	c  853s |      18 |  3729018 |   403052 |    23554     43 |      398 |      339
855.73/855.98	c  855s |      18 |  3742415 |   404752 |    23554     43 |      398 |      339
857.93/858.12	c  857s |      18 |  3753586 |   406452 |    23554     43 |      398 |      339
860.03/860.24	c  860s |      18 |  3756605 |   407352 |    23554     43 |      398 |      339
862.23/862.42	c  862s |      18 |  3759668 |   408352 |    23554     43 |      398 |      339
864.32/864.58	c  864s |      18 |  3764384 |   409252 |    23554     43 |      398 |      339
866.73/866.94	c  866s |      18 |  3767782 |   410052 |    23554     44 |      398 |      339
868.82/869.04	c  868s |      18 |  3788082 |   411952 |    23554     44 |      398 |      339
870.92/871.13	c  870s |      18 |  3791399 |   412952 |    23554     44 |      398 |      339
872.92/873.18	c  872s |      18 |  3794047 |   413852 |    23554     44 |      398 |      339
875.02/875.23	c  874s |      18 |  3799397 |   414852 |    23554     44 |      398 |      339
877.31/877.55	c  877s |      18 |  3802708 |   415552 |    23554     44 |      398 |      339
879.61/879.81	c  879s |      18 |  3807088 |   416152 |    23554     45 |      398 |      339
881.81/882.01	c  881s |      18 |  3810112 |   416852 |    23554     45 |      398 |      339
883.81/884.05	c  883s |      18 |  3816054 |   418152 |    23554     45 |      398 |      339
885.91/886.19	c  885s |      18 |  3822649 |   419352 |    23554     45 |      398 |      339
888.11/888.39	c  888s |      18 |  3824790 |   419852 |    23554     45 |      398 |      339
890.31/890.52	c  890s |      18 |  3826221 |   420252 |    23554     45 |      398 |      339
892.50/892.78	c  892s |      18 |  3829082 |   420952 |    23554     45 |      398 |      339
894.60/894.86	c  894s |      18 |  3832735 |   421552 |    23554     46 |      398 |      339
896.70/896.98	c  896s |      18 |  3837782 |   422652 |    23554     46 |      398 |      339
899.20/899.45	c  899s |      18 |  3840039 |   423552 |    23554     46 |      398 |      339
901.60/901.82	c  901s |      18 |  3842213 |   424252 |    23554     46 |      398 |      339
903.60/903.83	c  903s |      18 |  3845322 |   425052 |    23554     46 |      398 |      339
905.60/905.84	c  905s |      18 |  3847671 |   425652 |    23554     46 |      398 |      339
907.70/907.93	c  907s |      18 |  3849866 |   426152 |    23554     46 |      398 |      339
909.89/910.15	c  909s |      18 |  3851431 |   426652 |    23554     46 |      398 |      339
912.09/912.31	c  912s |      18 |  3852305 |   427052 |    23554     46 |      398 |      339
914.39/914.60	c  914s |      18 |  3853702 |   427552 |    23554     46 |      398 |      339
916.39/916.60	c  916s |      18 |  3856860 |   428352 |    23554     47 |      398 |      339
918.79/919.06	c  918s |      18 |  3858902 |   428952 |    23554     47 |      398 |      339
920.89/921.12	c  920s |      18 |  3862859 |   430052 |    23554     47 |      398 |      339
922.98/923.28	c  923s |      18 |  3868527 |   431052 |    23554     47 |      398 |      339
925.19/925.42	c  925s |      18 |  3870972 |   431652 |    23554     47 |      398 |      339
927.29/927.59	c  927s |      18 |  3873405 |   432252 |    23554     47 |      398 |      339
929.40/929.64	c  929s |      18 |  3875775 |   432852 |    23554     47 |      398 |      339
931.50/931.77	c  931s |      18 |  3877284 |   433352 |    23554     48 |      398 |      339
933.69/933.97	c  933s |      18 |  3884741 |   434652 |    23554     48 |      398 |      339
936.08/936.38	c  936s |      18 |  3886385 |   435152 |    23554     48 |      398 |      339
938.19/938.44	c  938s |      18 |  3890395 |   436052 |    23554     48 |      398 |      339
940.29/940.55	c  940s |      18 |  3896938 |   437152 |    23554     48 |      398 |      339
942.48/942.78	c  942s |      18 |  3899852 |   437852 |    23554     48 |      398 |      339
944.58/944.87	c  944s |      18 |  3901625 |   438252 |    23554     48 |      398 |      339
947.27/947.58	c  947s |      18 |  3903110 |   438652 |    23554     49 |      398 |      339
949.47/949.73	c  949s |      18 |  3908227 |   439652 |    23554     49 |      398 |      339
951.47/951.77	c  951s |      18 |  3914215 |   440652 |    23554     49 |      398 |      339
953.58/953.82	c  953s |      18 |  3919216 |   441752 |    25910     49 |      398 |      339
955.78/956.01	c  955s |      18 |  3922235 |   442652 |    25910     49 |      398 |      339
957.98/958.29	c  958s |      18 |  3924510 |   443452 |    25910     49 |      398 |      339
960.08/960.39	c  960s |      18 |  3926595 |   444052 |    25910     49 |      398 |      339
962.16/962.44	c  962s |      19 |  3927538 |   444482 |    25910     49 |      398 |      339
964.16/964.46	c  964s |      19 |  3946062 |   446082 |    25910     50 |      398 |      339
966.26/966.56	c  966s |      19 |  3962199 |   447682 |    25910     50 |      398 |      339
968.36/968.65	c  968s |      19 |  3979191 |   449382 |    25910     50 |      398 |      339
970.46/970.76	c  970s |      19 |  3993244 |   450782 |    25910     50 |      398 |      339
972.66/972.96	c  972s |      19 |  3997152 |   451882 |    25910     50 |      398 |      339
974.66/974.99	c  974s |      19 |  4011699 |   453582 |    25910     51 |      398 |      339
976.76/977.01	c  976s |      19 |  4015343 |   454582 |    25910     51 |      398 |      339
978.76/979.07	c  978s |      19 |  4020305 |   455682 |    25910     51 |      398 |      339
980.96/981.29	c  981s |      19 |  4022911 |   456482 |    25910     51 |      398 |      339
983.16/983.42	c  983s |      19 |  4024331 |   457182 |    25910     51 |      398 |      339
985.16/985.49	c  985s |      19 |  4025860 |   457782 |    25910     51 |      398 |      339
987.26/987.57	c  987s |      19 |  4027262 |   458382 |    25910     51 |      398 |      339
989.36/989.68	c  989s |      19 |  4029335 |   459082 |    25910     51 |      398 |      339
991.66/991.93	c  991s |      19 |  4031256 |   459782 |    25910     51 |      398 |      339
993.85/994.12	c  993s |      19 |  4037253 |   461082 |    25910     52 |      398 |      339
996.05/996.31	c  996s |      19 |  4039865 |   462082 |    25910     52 |      398 |      339
998.15/998.44	c  998s |      19 |  4042071 |   462882 |    25910     52 |      398 |      339
1000.35/1000.60	c 1000s |      19 |  4043517 |   463582 |    25910     52 |      398 |      339
1002.44/1002.75	c 1002s |      19 |  4045817 |   464482 |    25910     52 |      398 |      339
1004.44/1004.79	c 1004s |      19 |  4047881 |   465182 |    25910     52 |      398 |      339
1006.74/1007.03	c 1006s |      19 |  4049630 |   465882 |    25910     52 |      398 |      339
1009.04/1009.38	c 1009s |      19 |  4051046 |   466482 |    25910     52 |      398 |      339
1011.34/1011.62	c 1011s |      19 |  4051936 |   466982 |    25910     52 |      398 |      339
1013.44/1013.78	c 1013s |      19 |  4052987 |   467382 |    25910     52 |      398 |      339
1015.53/1015.84	c 1015s |      19 |  4056392 |   468382 |    25910     53 |      398 |      339
1017.53/1017.84	c 1017s |      19 |  4058375 |   469182 |    25910     53 |      398 |      339
1019.63/1019.98	c 1019s |      19 |  4060344 |   469882 |    25910     53 |      398 |      339
1022.03/1022.32	c 1022s |      19 |  4061665 |   470482 |    25910     53 |      398 |      339
1024.33/1024.62	c 1024s |      19 |  4063105 |   471082 |    25910     53 |      398 |      339
1026.43/1026.76	c 1026s |      19 |  4068725 |   471782 |    25910     53 |      398 |      339
1028.52/1028.85	c 1028s |      19 |  4077608 |   473382 |    25910     53 |      398 |      339
1030.63/1030.99	c 1030s |      19 |  4081838 |   474482 |    25910     53 |      398 |      339
1032.93/1033.26	c 1033s |      19 |  4083459 |   475182 |    25910     53 |      398 |      339
1035.03/1035.33	c 1035s |      19 |  4085774 |   475882 |    25910     54 |      398 |      339
1037.13/1037.46	c 1037s |      19 |  4089944 |   477082 |    25910     54 |      398 |      339
1039.23/1039.55	c 1039s |      19 |  4092621 |   477982 |    25910     54 |      398 |      339
1041.32/1041.65	c 1041s |      19 |  4095703 |   478682 |    25910     54 |      398 |      339
1043.52/1043.86	c 1043s |      19 |  4097393 |   479282 |    25910     54 |      398 |      339
1045.82/1046.13	c 1045s |      19 |  4098646 |   479782 |    25910     54 |      398 |      339
1047.91/1048.28	c 1048s |      19 |  4099922 |   480182 |    25910     54 |      398 |      339
1050.12/1050.46	c 1050s |      19 |  4101951 |   480882 |    25910     54 |      398 |      339
1052.32/1052.64	c 1052s |      19 |  4103525 |   481382 |    25910     54 |      398 |      339
1054.63/1054.93	c 1054s |      19 |  4104985 |   481982 |    25910     54 |      398 |      339
1056.92/1057.21	c 1056s |      19 |  4106448 |   482582 |    25910     54 |      398 |      339
1058.92/1059.22	c 1058s |      19 |  4108210 |   483182 |    25910     55 |      398 |      339
1061.52/1061.83	c 1061s |      19 |  4110636 |   483982 |    25910     55 |      398 |      339
1064.11/1064.47	c 1064s |      19 |  4111935 |   484482 |    25910     55 |      398 |      339
1066.21/1066.55	c 1066s |      19 |  4113863 |   485182 |    25910     55 |      398 |      339
1068.61/1068.96	c 1068s |      19 |  4115040 |   485682 |    25910     55 |      398 |      339
1070.81/1071.13	c 1070s |      19 |  4116449 |   486182 |    25910     55 |      398 |      339
1073.60/1073.98	c 1073s |      19 |  4117658 |   486682 |    25910     55 |      398 |      339
1075.90/1076.27	c 1076s |      19 |  4119161 |   487282 |    25910     55 |      398 |      339
1078.10/1078.40	c 1078s |      19 |  4119775 |   487582 |    25910     55 |      398 |      339
1080.40/1080.75	c 1080s |      19 |  4120381 |   487882 |    25910     55 |      398 |      339
1082.50/1082.81	c 1082s |      19 |  4120973 |   488182 |    25910     55 |      398 |      339
1084.70/1085.07	c 1084s |      19 |  4121643 |   488482 |    25910     55 |      398 |      339
1087.00/1087.30	c 1087s |      19 |  4122476 |   488782 |    25910     55 |      398 |      339
1089.59/1089.93	c 1089s |      19 |  4123337 |   489182 |    25910     55 |      398 |      339
1091.59/1091.95	c 1091s |      19 |  4124544 |   489582 |    25910     55 |      398 |      339
1093.89/1094.22	c 1093s |      19 |  4127953 |   490282 |    25910     56 |      398 |      339
1095.89/1096.28	c 1096s |      19 |  4133240 |   491482 |    25910     56 |      398 |      339
1097.89/1098.29	c 1098s |      19 |  4135326 |   492082 |    25910     56 |      398 |      339
1100.09/1100.47	c 1100s |      19 |  4139219 |   492982 |    25910     56 |      398 |      339
1102.19/1102.52	c 1102s |      19 |  4142503 |   493982 |    25910     56 |      398 |      339
1104.39/1104.73	c 1104s |      19 |  4145733 |   494782 |    25910     56 |      398 |      339
1106.49/1106.86	c 1106s |      19 |  4148748 |   495682 |    25910     56 |      398 |      339
1108.69/1109.08	c 1108s |      19 |  4151221 |   496382 |    25910     56 |      398 |      339
1110.89/1111.20	c 1110s |      19 |  4152603 |   496882 |    25910     56 |      398 |      339
1112.99/1113.37	c 1113s |      19 |  4153986 |   497282 |    25910     57 |      398 |      339
1115.28/1115.61	c 1115s |      19 |  4158187 |   498382 |    25910     57 |      398 |      339
1117.39/1117.75	c 1117s |      19 |  4162484 |   499382 |    25910     57 |      398 |      339
1119.77/1120.13	c 1119s |      19 |  4166234 |   500382 |    25910     57 |      398 |      339
1121.87/1122.25	c 1122s |      19 |  4167151 |   500782 |    25910     57 |      398 |      339
1123.97/1124.34	c 1124s |      19 |  4168759 |   501382 |    25910     57 |      398 |      339
1126.37/1126.74	c 1126s |      19 |  4170387 |   502082 |    25910     57 |      398 |      339
1128.56/1128.95	c 1128s |      19 |  4172309 |   502782 |    25910     57 |      398 |      339
1130.66/1131.03	c 1130s |      19 |  4173902 |   503382 |    25910     57 |      398 |      339
1132.67/1133.09	c 1132s |      19 |  4177507 |   504182 |    25910     58 |      398 |      339
1134.76/1135.16	c 1134s |      19 |  4180930 |   505082 |    25910     58 |      398 |      339
1136.86/1137.28	c 1137s |      19 |  4184958 |   505882 |    25910     58 |      398 |      339
1138.97/1139.39	c 1139s |      19 |  4187928 |   506782 |    25910     58 |      398 |      339
1141.07/1141.44	c 1141s |      19 |  4189208 |   507282 |    25910     58 |      398 |      339
1143.16/1143.58	c 1143s |      19 |  4191280 |   507882 |    25910     58 |      398 |      339
1145.66/1146.01	c 1145s |      19 |  4193547 |   508582 |    25910     58 |      398 |      339
1147.86/1148.26	c 1148s |      19 |  4195805 |   509282 |    25910     58 |      398 |      339
1150.16/1150.58	c 1150s |      19 |  4198678 |   510082 |    25910     59 |      398 |      339
1152.25/1152.62	c 1152s |      19 |  4202562 |   511282 |    25910     59 |      398 |      339
1154.35/1154.78	c 1154s |      19 |  4204350 |   512082 |    25910     59 |      398 |      339
1156.65/1157.04	c 1156s |      19 |  4206296 |   512782 |    25910     59 |      398 |      339
1158.65/1159.07	c 1158s |      19 |  4209981 |   513882 |    25910     59 |      398 |      339
1160.85/1161.29	c 1161s |      19 |  4214005 |   514982 |    25910     59 |      398 |      339
1162.94/1163.31	c 1163s |      19 |  4215519 |   515582 |    25910     59 |      398 |      339
1165.05/1165.45	c 1165s |      19 |  4216446 |   516082 |    25910     59 |      398 |      339
1167.15/1167.57	c 1167s |      19 |  4221044 |   517182 |    25910     60 |      398 |      339
1169.25/1169.63	c 1169s |      19 |  4225129 |   518282 |    25910     60 |      398 |      339
1171.35/1171.73	c 1171s |      19 |  4228293 |   519182 |    25910     60 |      398 |      339
1173.45/1173.82	c 1173s |      19 |  4230084 |   519782 |    25910     60 |      398 |      339
1175.55/1175.93	c 1175s |      19 |  4234317 |   520682 |    25910     60 |      398 |      339
1177.64/1178.07	c 1177s |      19 |  4236794 |   521382 |    25910     60 |      398 |      339
1179.95/1180.38	c 1180s |      19 |  4238697 |   521982 |    25910     60 |      398 |      339
1182.03/1182.44	c 1182s |      19 |  4240474 |   522482 |    25910     61 |      398 |      339
1184.13/1184.53	c 1184s |      19 |  4242761 |   523382 |    25910     61 |      398 |      339
1186.33/1186.79	c 1186s |      19 |  4245058 |   524082 |    25910     61 |      398 |      339
1188.74/1189.19	c 1188s |      19 |  4246388 |   524682 |    25910     61 |      398 |      339
1190.94/1191.40	c 1191s |      19 |  4248691 |   525382 |    25910     61 |      398 |      339
1193.14/1193.51	c 1193s |      19 |  4252930 |   526482 |    25910     61 |      398 |      339
1195.13/1195.54	c 1195s |      19 |  4254889 |   527182 |    25910     61 |      398 |      339
1197.54/1197.91	c 1197s |      19 |  4258919 |   528082 |    25910     61 |      398 |      339
1199.53/1199.98	c 1199s |      19 |  4262397 |   528982 |    25910     62 |      398 |      339
1202.03/1202.46	c 1202s |      19 |  4265209 |   529882 |    25910     62 |      398 |      339
1204.13/1204.60	c 1204s |      19 |  4269253 |   530982 |    25910     62 |      398 |      339
1206.22/1206.68	c 1206s |      19 |  4272257 |   531882 |    25910     62 |      398 |      339
1208.32/1208.75	c 1208s |      19 |  4274514 |   532582 |    25910     62 |      398 |      339
1210.52/1210.99	c 1210s |      19 |  4277963 |   533382 |    25910     62 |      398 |      339
1212.81/1213.20	c 1212s |      19 |  4279791 |   533982 |    25910     62 |      398 |      339
1214.81/1215.25	c 1215s |      19 |  4282388 |   534682 |    25910     63 |      398 |      339
1216.82/1217.28	c 1217s |      19 |  4286056 |   535482 |    25910     63 |      398 |      339
1218.92/1219.34	c 1219s |      19 |  4289318 |   536182 |    25910     63 |      398 |      339
1221.11/1221.53	c 1221s |      19 |  4292081 |   536982 |    25910     63 |      398 |      339
1223.11/1223.54	c 1223s |      19 |  4296114 |   537782 |    25910     63 |      398 |      339
1225.31/1225.73	c 1225s |      19 |  4298706 |   538482 |    25910     63 |      398 |      339
1227.51/1227.93	c 1227s |      19 |  4300573 |   539082 |    25910     63 |      398 |      339
1229.61/1230.00	c 1229s |      19 |  4301611 |   539382 |    25910     64 |      398 |      339
1231.61/1232.07	c 1231s |      19 |  4305896 |   540582 |    25910     64 |      398 |      339
1233.70/1234.15	c 1233s |      19 |  4308825 |   541482 |    25910     64 |      398 |      339
1235.90/1236.40	c 1236s |      19 |  4311456 |   542282 |    25910     64 |      398 |      339
1238.21/1238.70	c 1238s |      19 |  4315076 |   543182 |    25910     64 |      398 |      339
1240.31/1240.71	c 1240s |      19 |  4316886 |   543682 |    25910     64 |      398 |      339
1242.40/1242.88	c 1242s |      19 |  4318861 |   544282 |    25910     64 |      398 |      339
1244.40/1244.89	c 1244s |      19 |  4323470 |   545382 |    25910     65 |      398 |      339
1246.60/1247.00	c 1246s |      19 |  4325482 |   546082 |    25910     65 |      398 |      339
1248.89/1249.30	c 1249s |      19 |  4328928 |   547082 |    25910     65 |      398 |      339
1250.89/1251.35	c 1251s |      19 |  4331267 |   547782 |    25910     65 |      398 |      339
1252.99/1253.40	c 1253s |      19 |  4332415 |   548382 |    25910     65 |      398 |      339
1255.29/1255.72	c 1255s |      19 |  4334221 |   549082 |    25910     65 |      398 |      339
1257.29/1257.76	c 1257s |      19 |  4335587 |   549582 |    25910     66 |      398 |      339
1259.29/1259.78	c 1259s |      19 |  4339210 |   550682 |    25910     66 |      398 |      339
1261.49/1261.97	c 1261s |      19 |  4342111 |   551382 |    25910     66 |      398 |      339
1263.68/1264.20	c 1263s |      19 |  4344736 |   552182 |    25910     66 |      398 |      339
1265.79/1266.21	c 1265s |      19 |  4346629 |   552682 |    25910     66 |      398 |      339
1267.89/1268.34	c 1268s |      19 |  4348394 |   553282 |    25910     66 |      398 |      339
1269.88/1270.35	c 1270s |      19 |  4349683 |   553682 |    25910     66 |      398 |      339
1272.39/1272.83	c 1272s |      19 |  4352195 |   554182 |    25910     67 |      398 |      339
1274.68/1275.13	c 1274s |      19 |  4355523 |   555082 |    25910     67 |      398 |      339
1276.69/1277.19	c 1276s |      19 |  4357802 |   555682 |    25910     67 |      398 |      339
1278.78/1279.30	c 1279s |      19 |  4360197 |   556382 |    25910     67 |      398 |      339
1280.98/1281.43	c 1281s |      19 |  4361546 |   556982 |    25910     67 |      398 |      339
1283.08/1283.52	c 1283s |      19 |  4362870 |   557382 |    25910     67 |      398 |      339
1285.37/1285.81	c 1285s |      19 |  4364165 |   557882 |    25910     67 |      398 |      339
1287.68/1288.15	c 1287s |      19 |  4366141 |   558382 |    25910     67 |      398 |      339
1290.08/1290.59	c 1290s |      19 |  4367510 |   558882 |    25910     67 |      398 |      339
1292.18/1292.67	c 1292s |      19 |  4375900 |   559682 |    25910     68 |      399 |      340
1294.38/1294.86	c 1294s |      19 |  4387609 |   561082 |    25910     68 |      399 |      340
1296.47/1296.91	c 1296s |      19 |  4391356 |   562082 |    25910     68 |      399 |      340
1298.57/1299.05	c 1298s |      19 |  4393123 |   562882 |    25910     68 |      399 |      340
1300.56/1301.06	c 1300s |      19 |  4395332 |   563482 |    25910     68 |      399 |      340
1302.86/1303.33	c 1303s |      19 |  4396969 |   564182 |    25910     69 |      399 |      340
1304.96/1305.45	c 1305s |      19 |  4398969 |   564982 |    25910     69 |      399 |      340
1307.06/1307.51	c 1307s |      19 |  4400759 |   565782 |    25910     69 |      399 |      340
1309.16/1309.66	c 1309s |      19 |  4401933 |   566382 |    25910     69 |      399 |      340
1311.16/1311.67	c 1311s |      19 |  4403262 |   566982 |    25910     69 |      399 |      340
1313.25/1313.72	c 1313s |      19 |  4405402 |   567582 |    25910     70 |      399 |      340
1315.27/1315.75	c 1315s |      19 |  4419495 |   569182 |    25910     70 |      399 |      340
1317.37/1317.83	c 1317s |      19 |  4425102 |   570082 |    25910     70 |      399 |      340
1319.57/1320.09	c 1319s |      19 |  4428720 |   570782 |    25910     71 |      399 |      340
1322.55/1323.02	c 1322s |      19 |  4431723 |   571582 |    25910     71 |      399 |      340
1324.65/1325.13	c 1324s |      19 |  4442880 |   572882 |    25910     72 |      399 |      340
1326.65/1327.17	c 1326s |      19 |  4455700 |   573982 |    25910     72 |      399 |      340
1328.85/1329.32	c 1329s |      19 |  4464565 |   575082 |    25910     73 |      399 |      340
1330.95/1331.42	c 1331s |      19 |  4472335 |   575982 |    25910     73 |      399 |      340
1333.35/1333.82	c 1333s |      19 |  4473491 |   576382 |    25910     73 |      399 |      340
1335.45/1335.94	c 1335s |      19 |  4474122 |   576682 |    25910     73 |      399 |      340
1337.64/1338.11	c 1337s |      19 |  4475103 |   576982 |    25910     73 |      399 |      340
1339.74/1340.21	c 1339s |      19 |  4475871 |   577282 |    25910     73 |      399 |      340
1342.33/1342.86	c 1342s |      19 |  4476694 |   577582 |    25910     73 |      399 |      340
1344.84/1345.40	c 1345s |      19 |  4477462 |   577882 |    25910     73 |      399 |      340
1348.24/1348.72	c 1348s |      19 |  4478167 |   578182 |    25910     73 |      399 |      340
1350.73/1351.28	c 1351s |      19 |  4478507 |   578382 |    25910     73 |      399 |      340
1353.22/1353.73	c 1353s |      19 |  4479640 |   578682 |    25910     73 |      399 |      340
1355.43/1355.92	c 1355s |      19 |  4480296 |   578982 |    25910     74 |      399 |      340
1357.43/1357.98	c 1357s |      19 |  4485564 |   579782 |    25910     74 |      399 |      340
1359.53/1360.05	c 1359s |      19 |  4488552 |   580382 |    25910     74 |      399 |      340
1361.73/1362.24	c 1362s |      19 |  4491183 |   580982 |    25910     74 |      399 |      340
1363.83/1364.36	c 1364s |      19 |  4493906 |   581682 |    25910     74 |      399 |      340
1365.84/1366.39	c 1366s |      19 |  4497197 |   582282 |    25910     74 |      399 |      340
1368.43/1368.93	c 1368s |      19 |  4498896 |   582782 |    25910     74 |      399 |      340
1370.43/1370.93	c 1370s |      19 |  4504214 |   583682 |    25910     75 |      399 |      340
1372.43/1372.96	c 1372s |      19 |  4527392 |   585182 |    25910     76 |      399 |      340
1374.53/1375.07	c 1374s |      19 |  4543658 |   586482 |    25910     77 |      399 |      340
1376.62/1377.18	c 1376s |      19 |  4550406 |   587082 |    25910     77 |      399 |      340
1378.72/1379.29	c 1379s |      19 |  4560295 |   588182 |    25910     78 |      399 |      340
1380.92/1381.45	c 1381s |      19 |  4571975 |   589482 |    25910     79 |      399 |      340
1382.92/1383.46	c 1383s |      19 |  4579554 |   590382 |    25910     80 |      399 |      340
1384.92/1385.49	c 1385s |      19 |  4593063 |   591882 |    25910     81 |      399 |      340
1387.02/1387.58	c 1387s |      19 |  4603590 |   593182 |    25910     82 |      399 |      340
1389.22/1389.77	c 1389s |      19 |  4606228 |   593882 |    25910     82 |      399 |      340
1391.42/1391.92	c 1391s |      19 |  4607808 |   594482 |    25910     82 |      399 |      340
1393.52/1394.00	c 1393s |      19 |  4609589 |   594982 |    25910     82 |      399 |      340
1396.02/1396.54	c 1396s |      19 |  4611121 |   595582 |    25910     82 |      399 |      340
1398.12/1398.68	c 1398s |      19 |  4613308 |   596282 |    25910     83 |      399 |      340
1400.42/1400.97	c 1400s |      19 |  4616436 |   597082 |    25910     83 |      399 |      340
1402.82/1403.36	c 1403s |      19 |  4617200 |   597382 |    25910     83 |      399 |      340
1404.92/1405.44	c 1405s |      19 |  4618533 |   597882 |    25910     83 |      399 |      340
1407.22/1407.78	c 1407s |      19 |  4619788 |   598382 |    25910     83 |      399 |      340
1409.52/1410.07	c 1409s |      19 |  4620891 |   598782 |    25910     84 |      399 |      340
1411.93/1412.44	c 1412s |      19 |  4623264 |   599482 |    25910     84 |      399 |      340
1414.13/1414.67	c 1414s |      19 |  4624279 |   599882 |    25910     84 |      399 |      340
1416.81/1417.30	c 1417s |      19 |  4625290 |   600282 |    25910     84 |      399 |      340
1419.01/1419.56	c 1419s |      19 |  4626388 |   600682 |    25910     84 |      399 |      340
1421.51/1422.09	c 1421s |      19 |  4627239 |   601082 |    25910     84 |      399 |      340
1423.71/1424.27	c 1424s |      19 |  4627789 |   601382 |    25910     84 |      399 |      340
1426.23/1426.74	c 1426s |      19 |  4628563 |   601682 |    25910     84 |      399 |      340
1428.62/1429.19	c 1428s |      19 |  4629291 |   601982 |    25910     85 |      399 |      340
1430.62/1431.20	c 1430s |      19 |  4632083 |   602882 |    25910     85 |      399 |      340
1432.72/1433.28	c 1433s |      19 |  4634382 |   603482 |    25910     85 |      399 |      340
1435.12/1435.65	c 1435s |      19 |  4636002 |   603982 |    25910     85 |      399 |      340
1437.22/1437.72	c 1437s |      19 |  4636487 |   604182 |    25910     85 |      399 |      340
1439.81/1440.31	c 1440s |      19 |  4637839 |   604582 |    25910     85 |      399 |      340
1442.21/1442.76	c 1442s |      19 |  4638683 |   604882 |    25910     85 |      399 |      340
1444.82/1445.31	c 1445s |      19 |  4639552 |   605182 |    25910     85 |      399 |      340
1447.32/1447.86	c 1447s |      19 |  4640388 |   605482 |    25910     86 |      399 |      340
1449.51/1450.04	c 1449s |      19 |  4640982 |   605782 |    25910     86 |      399 |      340
1451.62/1452.18	c 1451s |      19 |  4643027 |   606182 |    25910     86 |      399 |      340
1453.82/1454.33	c 1454s |      19 |  4644405 |   606582 |    25910     86 |      399 |      340
1456.62/1457.14	c 1456s |      19 |  4645346 |   606982 |    25910     86 |      399 |      340
1459.02/1459.56	c 1459s |      19 |  4646269 |   607382 |    25910     86 |      399 |      340
1461.11/1461.60	c 1461s |      19 |  4646871 |   607682 |    25910     86 |      399 |      340
1463.31/1463.82	c 1463s |      19 |  4647422 |   607882 |    25910     87 |      399 |      340
1465.31/1465.89	c 1465s |      19 |  4652111 |   608982 |    25910     87 |      399 |      340
1467.61/1468.17	c 1467s |      19 |  4654467 |   609682 |    25910     87 |      399 |      340
1469.71/1470.27	c 1470s |      19 |  4656051 |   610182 |    25910     87 |      399 |      340
1472.01/1472.50	c 1472s |      19 |  4658090 |   610782 |    25910     88 |      399 |      340
1474.31/1474.84	c 1474s |      19 |  4661862 |   611782 |    25910     88 |      399 |      340
1476.61/1477.14	c 1476s |      19 |  4664370 |   612382 |    25910     88 |      399 |      340
1479.61/1480.12	c 1479s |      19 |  4665244 |   612782 |    25910     88 |      399 |      340
1482.00/1482.52	c 1482s |      19 |  4665982 |   613082 |    25910     88 |      399 |      340
1484.01/1484.53	c 1484s |      19 |  4668477 |   613682 |    25910     89 |      399 |      340
1486.41/1486.96	c 1486s |      19 |  4669923 |   614282 |    25910     89 |      399 |      340
1488.71/1489.28	c 1489s |      19 |  4670922 |   614682 |    25910     89 |      399 |      340
1491.22/1491.71	c 1491s |      19 |  4671830 |   615082 |    25910     89 |      399 |      340
1493.61/1494.15	c 1493s |      19 |  4673494 |   615582 |    25910     89 |      399 |      340
1495.80/1496.37	c 1496s |      19 |  4675136 |   616082 |    25910     90 |      399 |      340
1498.00/1498.57	c 1498s |      19 |  4676722 |   616582 |    25910     90 |      399 |      340
1500.20/1500.74	c 1500s |      19 |  4678627 |   617182 |    25910     90 |      399 |      340
1502.51/1503.07	c 1502s |      19 |  4679321 |   617582 |    25910     90 |      399 |      340
1504.61/1505.18	c 1504s |      19 |  4679880 |   617882 |    25910     90 |      399 |      340
1506.81/1507.30	c 1507s |      19 |  4682506 |   618482 |    25910     91 |      399 |      340
1508.81/1509.36	c 1509s |      19 |  4684065 |   618982 |    25910     91 |      399 |      340
1511.01/1511.54	c 1511s |      19 |  4685899 |   619482 |    25910     91 |      399 |      340
1513.00/1513.57	c 1513s |      19 |  4687393 |   619982 |    25910     91 |      399 |      340
1515.20/1515.71	c 1515s |      19 |  4688679 |   620382 |    25910     92 |      399 |      340
1517.40/1517.90	c 1517s |      19 |  4690671 |   621082 |    25910     92 |      399 |      340
1519.40/1519.94	c 1519s |      19 |  4692273 |   621582 |    25910     92 |      399 |      340
1521.50/1522.04	c 1521s |      19 |  4693101 |   621982 |    25910     92 |      399 |      340
1523.60/1524.14	c 1523s |      19 |  4694425 |   622382 |    25910     92 |      399 |      340
1525.70/1526.28	c 1526s |      19 |  4695005 |   622682 |    25910     92 |      399 |      340
1527.90/1528.43	c 1528s |      19 |  4695652 |   622982 |    25910     92 |      399 |      340
1530.30/1530.80	c 1530s |      19 |  4696314 |   623282 |    25910     93 |      399 |      340
1532.30/1532.86	c 1532s |      19 |  4697337 |   623682 |    25910     93 |      399 |      340
1535.11/1535.63	c 1535s |      19 |  4699186 |   624282 |    25910     93 |      399 |      340
1537.70/1538.25	c 1538s |      19 |  4700668 |   624782 |    25910     93 |      399 |      340
1540.00/1540.59	c 1540s |      19 |  4702437 |   625282 |    25910     93 |      399 |      340
1542.10/1542.65	c 1542s |      19 |  4703820 |   625682 |    25910     94 |      399 |      340
1544.30/1544.88	c 1544s |      19 |  4705521 |   626182 |    25910     94 |      399 |      340
1546.40/1546.99	c 1546s |      19 |  4706578 |   626682 |    25910     94 |      399 |      340
1548.59/1549.13	c 1548s |      19 |  4707556 |   627182 |    25910     94 |      399 |      340
1550.80/1551.38	c 1551s |      19 |  4709107 |   627682 |    25910     94 |      399 |      340
1553.10/1553.63	c 1553s |      19 |  4710483 |   628182 |    25910     95 |      399 |      340
1555.30/1555.84	c 1555s |      19 |  4711895 |   628682 |    25910     95 |      399 |      340
1557.30/1557.84	c 1557s |      19 |  4712962 |   629082 |    25910     95 |      399 |      340
1559.89/1560.40	c 1560s |      19 |  4713705 |   629482 |    25910     95 |      399 |      340
1562.29/1562.89	c 1562s |      19 |  4714927 |   629882 |    25910     95 |      399 |      340
1564.59/1565.10	c 1564s |      19 |  4715746 |   630282 |    25910     96 |      399 |      340
1566.89/1567.40	c 1567s |      19 |  4718589 |   630882 |    25910     96 |      399 |      340
1569.00/1569.53	c 1569s |      19 |  4719738 |   631282 |    25910     96 |      399 |      340
1571.70/1572.24	c 1572s |      19 |  4720985 |   631682 |    25910     96 |      399 |      340
1574.40/1574.91	c 1574s |      19 |  4721745 |   631982 |    25910     96 |      399 |      340
1576.90/1577.48	c 1577s |      19 |  4722985 |   632482 |    25910     96 |      399 |      340
1579.59/1580.11	c 1579s |      19 |  4724104 |   632882 |    25910     96 |      399 |      340
1581.59/1582.16	c 1581s |      19 |  4725084 |   633282 |    25910     97 |      399 |      340
1583.69/1584.28	c 1584s |      19 |  4725750 |   633682 |    25910     97 |      399 |      340
1586.19/1586.78	c 1586s |      19 |  4726777 |   634082 |    25910     97 |      399 |      340
1588.29/1588.84	c 1588s |      19 |  4727578 |   634382 |    25910     97 |      399 |      340
1590.39/1590.90	c 1590s |      19 |  4728402 |   634682 |    25910     97 |      399 |      340
1592.99/1593.53	c 1593s |      19 |  4729537 |   635082 |    25910     97 |      399 |      340
1595.09/1595.64	c 1595s |      19 |  4730280 |   635382 |    25910     98 |      399 |      340
1597.49/1598.07	c 1597s |      19 |  4731702 |   635882 |    25910     98 |      399 |      340
1600.00/1600.54	c 1600s |      19 |  4732564 |   636282 |    25910     98 |      399 |      340
1602.20/1602.75	c 1602s |      19 |  4733508 |   636682 |    25910     98 |      399 |      340
1604.19/1604.77	c 1604s |      19 |  4734145 |   636982 |    25910     98 |      399 |      340
1606.99/1607.58	c 1607s |      19 |  4734669 |   637282 |    25910     98 |      399 |      340
1609.18/1609.77	c 1609s |      19 |  4735488 |   637582 |    25910     98 |      399 |      340
1611.59/1612.18	c 1611s |      19 |  4736046 |   637882 |    25910     98 |      399 |      340
1614.09/1614.61	c 1614s |      19 |  4736716 |   638182 |    25910     99 |      399 |      340
1616.39/1616.90	c 1616s |      19 |  4737412 |   638482 |    25910     99 |      399 |      340
1618.59/1619.10	c 1618s |      19 |  4740293 |   639082 |    25910     99 |      399 |      340
1620.59/1621.17	c 1620s |      19 |  4748639 |   640282 |    25910    100 |      399 |      340
1622.59/1623.19	c 1622s |      19 |  4754669 |   641382 |    25910    100 |      399 |      340
1624.68/1625.23	c 1625s |      19 |  4763621 |   642682 |    25910    101 |      399 |      340
1626.78/1627.35	c 1627s |      19 |  4771081 |   644082 |    25910    102 |      399 |      340
1628.78/1629.37	c 1629s |      19 |  4775536 |   644882 |    25910    102 |      399 |      340
1630.98/1631.57	c 1631s |      19 |  4779578 |   645782 |    25910    102 |      399 |      340
1633.09/1633.62	c 1633s |      19 |  4784168 |   646782 |    25910    103 |      399 |      340
1635.08/1635.69	c 1635s |      19 |  4791084 |   647882 |    25910    103 |      399 |      340
1637.18/1637.79	c 1637s |      19 |  4795512 |   648682 |    25910    104 |      399 |      340
1639.38/1639.96	c 1639s |      19 |  4798770 |   649382 |    25910    104 |      399 |      340
1641.58/1642.13	c 1641s |      19 |  4803576 |   650382 |    25910    105 |      399 |      340
1644.09/1644.69	c 1644s |      19 |  4805804 |   651082 |    25910    105 |      399 |      340
1646.29/1646.87	c 1646s |      19 |  4809218 |   651882 |    25910    106 |      399 |      340
1648.29/1648.88	c 1648s |      19 |  4815140 |   652782 |    25910    107 |      399 |      340
1650.39/1650.94	c 1650s |      19 |  4817791 |   653582 |    25910    107 |      399 |      340
1652.38/1652.98	c 1652s |      19 |  4823815 |   654582 |    25910    108 |      399 |      340
1654.48/1655.06	c 1654s |      19 |  4827753 |   655482 |    25910    108 |      399 |      340
1656.68/1657.22	c 1656s |      19 |  4832207 |   656482 |    25910    109 |      399 |      340
1658.88/1659.42	c 1659s |      19 |  4834633 |   657282 |    25910    109 |      399 |      340
1661.28/1661.80	c 1661s |      19 |  4837809 |   658182 |    25910    110 |      399 |      340
1663.28/1663.85	c 1663s |      19 |  4839891 |   658782 |    25910    110 |      399 |      340
1665.38/1665.97	c 1665s |      19 |  4843082 |   659582 |    25910    111 |      399 |      340
1667.38/1667.99	c 1667s |      19 |  4845599 |   660282 |    25910    112 |      399 |      340
1669.98/1670.51	c 1670s |      19 |  4851258 |   661282 |    25910    112 |      399 |      340
1672.08/1672.63	c 1672s |      19 |  4860601 |   662582 |    28502    113 |      399 |      340
1674.28/1674.88	c 1674s |      19 |  4866651 |   663782 |    28502    113 |      399 |      340
1676.58/1677.11	c 1676s |      19 |  4874781 |   664982 |    28502    113 |      399 |      340
1678.67/1679.24	c 1679s |      19 |  4876536 |   665682 |    28502    113 |      399 |      340
1680.97/1681.51	c 1681s |      19 |  4878121 |   666082 |    28502    114 |      399 |      340
1681.97/1682.55	c 1682s |      20 |  4883536 |   666827 |    28502    114 |      399 |      340
1683.97/1684.57	c 1684s |      20 |  4890067 |   668027 |    28502    114 |      399 |      340
1686.08/1686.67	c 1686s |      20 |  4903300 |   669327 |    28502    115 |      399 |      340
1688.28/1688.87	c 1688s |      20 |  4909971 |   670527 |    28502    115 |      399 |      340
1690.58/1691.17	c 1690s |      20 |  4911936 |   671127 |    28502    115 |      399 |      340
1692.98/1693.51	c 1693s |      20 |  4913980 |   671727 |    28502    115 |      399 |      340
1695.38/1695.91	c 1695s |      20 |  4916630 |   672527 |    28502    115 |      399 |      340
1697.38/1697.97	c 1697s |      20 |  4917593 |   672927 |    28502    115 |      399 |      340
1699.48/1700.03	c 1699s |      20 |  4924381 |   673827 |    28502    116 |      399 |      340
1701.58/1702.16	c 1701s |      20 |  4925455 |   674427 |    28502    116 |      399 |      340
1703.78/1704.35	c 1704s |      20 |  4926913 |   675027 |    28502    116 |      399 |      340
1706.08/1706.66	c 1706s |      20 |  4936055 |   676327 |    28502    116 |      399 |      340
1708.18/1708.78	c 1708s |      20 |  4940314 |   677127 |    28502    117 |      399 |      340
1710.18/1710.79	c 1710s |      20 |  4949099 |   678427 |    28502    117 |      399 |      340
1712.18/1712.80	c 1712s |      20 |  4958035 |   679727 |    28502    118 |      399 |      340
1714.38/1714.99	c 1714s |      20 |  4973720 |   681327 |    28502    119 |      399 |      340
1716.48/1717.07	c 1716s |      20 |  4975320 |   681727 |    28502    119 |      399 |      340
1718.97/1719.50	c 1719s |      20 |  4978465 |   682427 |    28502    119 |      399 |      340
1721.37/1721.95	c 1721s |      20 |  4979861 |   682827 |    28502    119 |      399 |      340
1723.47/1724.07	c 1723s |      20 |  4989417 |   683927 |    28502    120 |      399 |      340
1725.57/1726.14	c 1725s |      20 |  4999431 |   685127 |    28502    120 |      399 |      340
1727.68/1728.24	c 1728s |      20 |  5008465 |   686127 |    28502    121 |      399 |      340
1729.67/1730.24	c 1730s |      20 |  5030047 |   687527 |    28502    122 |      399 |      340
1731.87/1732.41	c 1732s |      20 |  5042890 |   689127 |    28502    123 |      399 |      340
1733.97/1734.55	c 1734s |      20 |  5055065 |   690627 |    28502    124 |      399 |      340
1736.17/1736.74	c 1736s |      20 |  5059808 |   691727 |    28502    124 |      399 |      340
1738.17/1738.75	c 1738s |      20 |  5065172 |   692727 |    28502    125 |      399 |      340
1740.27/1740.83	c 1740s |      20 |  5077728 |   694027 |    28502    126 |      399 |      340
1742.27/1742.85	c 1742s |      20 |  5090606 |   695627 |    28502    126 |      399 |      340
1744.37/1744.94	c 1744s |      20 |  5095629 |   697027 |    28502    127 |      399 |      340
1746.38/1746.95	c 1746s |      20 |  5116616 |   698727 |    28502    128 |      399 |      340
1748.47/1749.07	c 1748s |      20 |  5126579 |   699927 |    28502    128 |      399 |      340
1750.77/1751.37	c 1751s |      20 |  5128774 |   700527 |    28502    128 |      399 |      340
1752.97/1753.58	c 1753s |      20 |  5133244 |   701427 |    28502    129 |      399 |      340
1755.07/1755.67	c 1755s |      20 |  5135901 |   702127 |    28502    129 |      399 |      340
1757.16/1757.73	c 1757s |      20 |  5138264 |   702727 |    28502    129 |      399 |      340
1759.36/1759.96	c 1759s |      20 |  5139654 |   703227 |    28502    129 |      399 |      340
1761.96/1762.50	c 1762s |      20 |  5141470 |   703727 |    28502    130 |      399 |      340
1763.97/1764.54	c 1764s |      20 |  5146547 |   704927 |    28502    130 |      399 |      340
1766.07/1766.64	c 1766s |      20 |  5151888 |   706227 |    28502    130 |      399 |      340
1768.06/1768.65	c 1768s |      20 |  5157745 |   707627 |    28502    131 |      399 |      340
1770.26/1770.80	c 1770s |      20 |  5160916 |   708627 |    28502    131 |      399 |      340
1772.26/1772.81	c 1772s |      20 |  5168617 |   709527 |    28502    132 |      399 |      340
1774.26/1774.88	c 1774s |      20 |  5187157 |   711127 |    28502    134 |      399 |      340
1776.26/1776.88	c 1776s |      20 |  5201511 |   712627 |    28502    140 |      400 |      341
1778.36/1778.92	c 1778s |      20 |  5213680 |   714027 |    28502    141 |      400 |      341
1780.37/1780.94	c 1780s |      20 |  5224819 |   715427 |    28502    141 |      400 |      341
1782.36/1782.95	c 1782s |      20 |  5235414 |   716627 |    28502    142 |      400 |      341
1784.56/1785.12	c 1784s |      20 |  5243358 |   718027 |    28502    143 |      400 |      341
1786.56/1787.15	c 1786s |      20 |  5257188 |   719427 |    28502    145 |      400 |      341
1788.96/1789.55	c 1789s |      20 |  5266340 |   720527 |    28502    145 |      400 |      341
1790.96/1791.57	c 1791s |      20 |  5276949 |   721727 |    28502    146 |      400 |      341
1793.36/1793.90	c 1793s |      20 |  5279983 |   722327 |    28502    146 |      400 |      341
1795.86/1796.41	c 1796s |      20 |  5282014 |   722927 |    28502    146 |      400 |      341
1798.36/1798.99	c 1798s |      20 |  5282807 |   723227 |    28502    146 |      400 |      341

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4078943-1465282366/watcher-4078943-1465282366 -o /tmp/evaluation-result-4078943-1465282366/solver-4078943-1465282366 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465278758-3413 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078943-1465282366.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.10 2.12 2.09 3/179 3802
/proc/meminfo: memFree=30088416/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=319932 CPUtime=0 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 1122 0 0 0 0 0 0 0 20 0 4 0 110169130 327610368 1993 33554432000 4194304 16246674 140737483836576 140737483836000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3802/statm: 80495 2001 441 2943 0 77389 0
[pid=3802/tid=3803] ppid=3799 vsize=337340 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 345436160 2059 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=341436 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 349630464 2075 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=345532 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 353824768 2092 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100185 s]
/proc/loadavg: 2.10 2.12 2.09 3/179 3802
/proc/meminfo: memFree=30088416/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 27992 0 0 0 6 3 0 0 20 0 4 0 110169130 1249447936 28801 33554432000 4194304 16246674 140737483836576 140737483835888 4220897 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3802/statm: 305041 28801 801 2943 0 301935 0
[pid=3802/tid=3803] ppid=3799 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1249447936 28801 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1249447936 28801 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1249447936 28801 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200601 s]
/proc/loadavg: 2.10 2.12 2.09 3/179 3802
/proc/meminfo: memFree=30088416/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1302084 CPUtime=0.18 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 48261 0 0 0 13 5 0 0 20 0 4 0 110169130 1333334016 49070 33554432000 4194304 16246674 140737483836576 140737483835888 13927272 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3802/statm: 325521 49070 834 2943 0 322415 0
[pid=3802/tid=3803] ppid=3799 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1333334016 49070 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1333334016 49070 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1333334016 49070 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1302084

[startup+0.300511 s]
/proc/loadavg: 2.10 2.12 2.09 3/179 3802
/proc/meminfo: memFree=30088416/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 56396 0 0 0 22 7 0 0 20 0 4 0 110169130 1333334016 57205 33554432000 4194304 16246674 140737483836576 140737483835888 5546098 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3802/statm: 325521 57221 876 2943 0 322415 0
[pid=3802/tid=3803] ppid=3799 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1333334016 57229 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1333334016 57241 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1333334016 57245 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.7004 s]
/proc/loadavg: 2.10 2.12 2.09 3/179 3802
/proc/meminfo: memFree=30088416/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1310276 CPUtime=0.68 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 115816 0 0 0 54 14 0 0 20 0 4 0 110169130 1341722624 116625 33554432000 4194304 16246674 140737483836576 140737483835888 5673995 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3802/statm: 327569 116625 883 2943 0 324463 0
[pid=3802/tid=3803] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 116625 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 116625 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 116625 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1310276

[startup+1.50041 s]
/proc/loadavg: 2.10 2.12 2.09 3/183 3806
/proc/meminfo: memFree=29435264/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1310276 CPUtime=1.49 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 255798 0 0 0 117 32 0 0 20 0 4 0 110169130 1341722624 256607 33554432000 4194304 16246674 140737483836576 140737483818496 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3802/statm: 327569 256615 883 2943 0 324463 0
[pid=3802/tid=3803] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 256620 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 256624 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 256629 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1310276

[startup+3.10043 s]
/proc/loadavg: 2.10 2.12 2.09 3/183 3806
/proc/meminfo: memFree=29012176/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1310276 CPUtime=3.09 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 268751 0 0 0 275 34 0 0 20 0 4 0 110169130 1341722624 269560 33554432000 4194304 16246674 140737483836576 140737483818496 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3802/statm: 327569 269560 885 2943 0 324463 0
[pid=3802/tid=3803] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 269560 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 269560 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 269560 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1310276

[startup+6.30044 s]
/proc/loadavg: 2.09 2.12 2.09 3/183 3806
/proc/meminfo: memFree=29012324/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1310276 CPUtime=6.29 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 268751 0 0 0 595 34 0 0 20 0 4 0 110169130 1341722624 269560 33554432000 4194304 16246674 140737483836576 140737483835752 13950184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3802/statm: 327569 269560 885 2943 0 324463 0
[pid=3802/tid=3803] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 269560 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 269560 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 269560 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 3806
/proc/meminfo: memFree=29012624/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1310276 CPUtime=12.69 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 268751 0 0 0 1235 34 0 0 20 0 4 0 110169130 1341722624 269560 33554432000 4194304 16246674 140737483836576 140737483818496 5754801 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3802/statm: 327569 269560 885 2943 0 324463 0
[pid=3802/tid=3803] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 269560 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 269560 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 269560 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.13 2.12 2.09 3/183 3806
/proc/meminfo: memFree=29012540/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1310276 CPUtime=25.48 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 268752 0 0 0 2514 34 0 0 20 0 4 0 110169130 1341722624 269561 33554432000 4194304 16246674 140737483836576 140737483818496 6837232 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3802/statm: 327569 269561 886 2943 0 324463 0
[pid=3802/tid=3803] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 269561 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 269561 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 269561 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.08 2.11 2.09 3/182 3806
/proc/meminfo: memFree=29012520/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1310276 CPUtime=51.07 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 268752 0 0 0 5073 34 0 0 20 0 4 0 110169130 1341722624 269561 33554432000 4194304 16246674 140737483836576 140737483818496 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3802/statm: 327569 269561 886 2943 0 324463 0
[pid=3802/tid=3803] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 269561 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 269561 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1341722624 269561 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1310276

[startup+102.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 3808
/proc/meminfo: memFree=29010872/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1311300 CPUtime=102.27 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 269008 0 0 0 10192 35 0 0 20 0 4 0 110169130 1342771200 269817 33554432000 4194304 16246674 140737483836576 140737483818496 6078336 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3802/statm: 327825 269817 886 2943 0 324719 0
[pid=3802/tid=3803] ppid=3799 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1342771200 269817 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1342771200 269817 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1342771200 269817 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1311300


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

/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.12 2.17 2.11 3/183 3862
/proc/meminfo: memFree=28998360/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1314372 CPUtime=1301.86 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 270113 0 0 0 130127 59 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 140737483818496 7249934 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3802/statm: 328593 270554 886 2943 0 325487 0
[pid=3802/tid=3803] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.08 2.15 2.10 3/183 3863
/proc/meminfo: memFree=28999024/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1314372 CPUtime=1361.83 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 270151 0 0 0 136122 61 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 140737483818496 5717592 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3802/statm: 328593 270554 886 2943 0 325487 0
[pid=3802/tid=3803] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.13 2.15 2.10 3/183 3864
/proc/meminfo: memFree=28999236/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1314372 CPUtime=1421.82 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 270151 0 0 0 142120 62 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 140737483835752 5546001 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3802/statm: 328593 270554 886 2943 0 325487 0
[pid=3802/tid=3803] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.13 2.15 2.10 3/183 3865
/proc/meminfo: memFree=28999116/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1314372 CPUtime=1481.8 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 270151 0 0 0 148115 65 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 140737483818496 6836192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3802/statm: 328593 270554 886 2943 0 325487 0
[pid=3802/tid=3803] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.27 2.19 2.11 3/183 3866
/proc/meminfo: memFree=28999340/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1314372 CPUtime=1541.8 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 270151 0 0 0 154112 68 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 140737483835752 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3802/statm: 328593 270554 886 2943 0 325487 0
[pid=3802/tid=3803] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.20 2.18 2.11 3/183 3868
/proc/meminfo: memFree=28999084/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1314372 CPUtime=1601.79 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 270151 0 0 0 160107 72 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 140737483818496 5721633 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3802/statm: 328593 270554 886 2943 0 325487 0
[pid=3802/tid=3803] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.18 2.18 2.11 3/184 3872
/proc/meminfo: memFree=28999128/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1314372 CPUtime=1661.78 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 270151 0 0 0 166104 74 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 140737483818496 12483341 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3802/statm: 328593 270554 886 2943 0 325487 0
[pid=3802/tid=3803] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.10 2.16 2.11 3/183 3873
/proc/meminfo: memFree=28999000/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1314372 CPUtime=1721.77 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 270151 0 0 0 172102 75 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 140737483818496 5717656 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3802/statm: 328593 270554 886 2943 0 325487 0
[pid=3802/tid=3803] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.17 2.17 2.11 3/183 3874
/proc/meminfo: memFree=28998504/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1314372 CPUtime=1781.76 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 270151 0 0 0 178101 75 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 140737483818496 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3802/statm: 328593 270554 886 2943 0 325487 0
[pid=3802/tid=3803] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.12 2.16 2.11 3/183 3923
/proc/meminfo: memFree=29001752/32872528 swapFree=12328/568296
[pid=3802] ppid=3799 vsize=1314372 CPUtime=1800.06 cores=1,3,5,7
/proc/3802/stat : 3802 (toysat) R 3799 3802 3396 0 -1 4202496 270151 0 0 0 179931 75 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 140737483818496 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3802/statm: 328593 270554 886 2943 0 325487 0
[pid=3802/tid=3803] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3803/stat : 3803 (toysat) S 3799 3802 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849231215856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3802/tid=3804] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3804/stat : 3804 (toysat) S 3799 3802 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849220726000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3802/tid=3805] ppid=3799 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3802/task/3805/stat : 3805 (toysat) S 3799 3802 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110169130 1345916928 270554 33554432000 4194304 16246674 140737483836576 139849101208752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1314372

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.32
CPU system time (s): 0.758884
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.758884
maximum resident set size= 1082216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270151
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= 424
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6089 second user time and 13.416 second system time

The end

Begin job on node138 at 2016-06-07 08:52:46
IDJOB=4078943
IDBENCH=90121
IDSOLVER=2542
FILE ID=node138/4078943-1465282366
RUNJOBID= node138-1465278758-3413
PBS_JOBID= 19843315
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 21cc97db69195cd3dcf69a6d797764c1
RANDOM SEED=169798352

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.807
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:        30088944 kB
Buffers:          103240 kB
Cached:           250276 kB
SwapCached:        46740 kB
Active:          1213568 kB
Inactive:         263416 kB
Active(anon):    1078024 kB
Inactive(anon):    47688 kB
Active(file):     135544 kB
Inactive(file):   215728 kB
Unevictable:      568296 kB
Mlocked:           12328 kB
SwapTotal:      67108856 kB
SwapFree:       67053656 kB
Dirty:             33596 kB
Writeback:             0 kB
AnonPages:       1646064 kB
Mapped:            11704 kB
Shmem:                 0 kB
Slab:             603344 kB
SReclaimable:      46432 kB
SUnreclaim:       556912 kB
KernelStack:        1472 kB
PageTables:         7028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1791084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    559104 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 node138 at 2016-06-07 09:22:46