0.00/0.00	c 2016-06-26T19:45:13+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-4117205-1466963112.opb"]
0.00/0.01	c use --random-gen="255475120 1234758488 3873471759 2374635210 3407478290 3470512022 176782293 2259223461 810415931 3647017152 1781180740 1629414100 1674369586 2327273011 1083372939 2351757480 2139578749 3314945753 2826396218 3345761084 2798465132 2758350576 1823838054 1463822250 2154460797 2799664650 146494203 1515168263 2561336918 2326009379 2105351996 3120660845 1007590068 1811774379 3543892589 904475084 2542318955 2900084048 4004014387 4264381569 3456708108 2491328283 484863864 2733897357 3197600740 371000859 4020984388 3587192809 2368826707 3183269764 3540535443 555382093 983754674 911920024 2478787293 2126643372 1566199547 2960746100 1889148782 3663173971 3526569834 991803971 1768413260 756219530 2643836535 3614359425 2881746837 2745969801 3340804131 1417349539 2682930383 1714951687 2106286633 3453043483 1063508125 3015896048 1161914262 2312395922 2507120167 1145075783 2430938526 222082103 954159277 1534771295 1377080520 2593598147 3961433824 2271765117 205564383 1111679644 3684293646 3506087077 4082651616 1521835890 456616761 2142466037 3540363646 2678002204 962652813 592610149 43525467 2958401270 2611444277 4281063763 4058782359 2602029710 1030017875 1350377870 1009030419 1253066643 2003962510 452858458 3412541024 3943541722 3225553139 3038086670 4191212403 1077819482 3208829477 3450865013 972068270 1748677698 4124239493 2232041693 3111030366 273181243 2118873243 2097251359 1198115055 4079262846 1029491607 1472513623 1505737643 1410511524 3386515368 70976601 1001281374 1351669213 334601381 1807198276 2557805065 3260409768 1075205348 1345485178 3876772922 2396543918 3691286524 3350357335 1098376514 479103711 1567998927 3505755228 2114716025 3367927152 3365783385 3204848048 3261795346 2274049021 2074023803 2211457611 1009763758 2115684299 749977464 2054520633 3595963599 2418260001 2807917750 3792295459 3583733939 2891477701 842173098 2161526675 1367510531 3663685115 2747910450 1096950159 3277574816 2186673503 176236782 3108294738 406170043 805431760 1242532189 3155339616 4187690705 3084795074 125976357 3298582308 2635380008 64355748 997214343 3576594512 2202839529 2523807240 4134123804 744876664 3366940739 2546974754 2940614827 2120829651 2452580464 3198704251 4149933837 2361122869 1938226362 4263651049 2793565615 4033944133 687569543 341145061 3239081177 940637577 1455472052 3451552095 3122177694 2112005700 2054311079 1210510921 326823959 2900589462 3887234828 1522884261 2696335562 2244601796 4025298254 1122422836 3718877976 3767767272 1080679804 1525329171 3242941935 2063395640 3433542649 587146196 2960898025 959463593 4053857942 1045905006 1335462876 4246427085 3881006696 4001486477 2388588812 953838567 3643704546 2007399694 3617573921 3639302310 1343623218 3377198186 3035410988 138209175 308229277 1646415165 1332229290 1028907757 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8688
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      699 |        0
0.29/0.36	c  0.1s |       1 |     2041 |      100 |     4234      0 |      701 |      554
0.38/0.49	c  0.2s |       2 |     3734 |      250 |     4658      0 |      701 |      554
0.59/0.64	c  0.4s |       3 |     5595 |      475 |     5124      0 |      701 |      554
0.79/0.84	c  0.6s |       4 |     7358 |      813 |     5637      0 |      701 |      554
1.10/1.14	c  0.9s |       5 |    11775 |     1320 |     6201      0 |      701 |      554
1.78/1.89	c  1.6s |       6 |    18897 |     2081 |     7505      0 |      701 |      554
2.79/2.87	c  2.6s |       7 |    24240 |     3223 |     8256      0 |      701 |      554
4.39/4.47	c  4.2s |       8 |    28147 |     4936 |     9082      0 |      701 |      554
6.49/6.53	c  6.3s |       9 |    36044 |     7506 |     9991      0 |      701 |      554
8.49/8.56	c  8.3s |       9 |    40444 |     9406 |     9991      0 |      701 |      554
10.59/10.63	c 10.4s |       9 |    42461 |    10906 |     9991      0 |      701 |      554
11.29/11.34	c 11.1s |      10 |    43065 |    11361 |    10991      0 |      701 |      554
13.39/13.43	c 13.2s |      10 |    47259 |    13061 |    10991      0 |      701 |      554
15.39/15.48	c 15.2s |      10 |    50092 |    14761 |    10991      1 |      701 |      554
17.48/17.57	c 17.3s |      10 |    51699 |    16261 |    10991      1 |      701 |      554
18.79/18.88	c 18.6s |      11 |    52640 |    17144 |    12091      1 |      701 |      554
20.89/20.92	c 20.7s |      11 |    66614 |    19644 |    12091      1 |      701 |      554
22.88/22.93	c 22.7s |      11 |    72950 |    21444 |    12091      2 |      701 |      554
24.98/25.01	c 24.8s |      11 |    76396 |    23344 |    12091      2 |      701 |      554
27.08/27.19	c 26.9s |      11 |    78342 |    24744 |    12091      2 |      701 |      554
29.08/29.12	c 28.9s |      12 |    79690 |    25819 |    13301      2 |      701 |      554
31.08/31.18	c 30.9s |      12 |    85479 |    27519 |    13301      2 |      701 |      554
33.18/33.30	c 33.0s |      12 |    87597 |    29019 |    13301      2 |      701 |      554
35.19/35.30	c 35.0s |      12 |    89463 |    30319 |    13301      2 |      701 |      554
37.28/37.35	c 37.1s |      12 |    91649 |    31719 |    13301      3 |      701 |      554
39.38/39.42	c 39.2s |      12 |    93149 |    32919 |    13301      3 |      701 |      554
41.48/41.57	c 41.3s |      12 |    94256 |    33919 |    13301      3 |      701 |      554
43.48/43.58	c 43.3s |      12 |    95526 |    34819 |    13301      3 |      701 |      554
45.58/45.66	c 45.4s |      12 |    97218 |    36019 |    13301      3 |      701 |      554
47.68/47.78	c 47.5s |      12 |    98521 |    37119 |    13301      3 |      701 |      554
49.88/49.95	c 49.7s |      12 |    99648 |    38119 |    13301      3 |      701 |      554
51.69/51.73	c 51.5s |      13 |   100443 |    38832 |    14632      3 |      701 |      554
53.79/53.80	c 53.5s |      13 |   107658 |    41032 |    14632      4 |      701 |      554
55.89/55.90	c 55.6s |      13 |   112271 |    43032 |    14632      4 |      701 |      554
57.89/57.97	c 57.7s |      13 |   113657 |    44232 |    14632      4 |      701 |      554
59.98/60.08	c 59.8s |      13 |   115354 |    45532 |    14632      4 |      701 |      554
62.08/62.10	c 61.8s |      13 |   117169 |    46832 |    14632      4 |      701 |      554
64.08/64.11	c 63.9s |      13 |   119255 |    48132 |    14632      4 |      701 |      554
66.09/66.16	c 65.9s |      13 |   120514 |    49132 |    14632      5 |      701 |      554
68.08/68.18	c 67.9s |      13 |   121924 |    50232 |    14632      5 |      701 |      554
70.18/70.25	c 70.0s |      13 |   124034 |    51632 |    14632      5 |      701 |      554
72.18/72.30	c 72.0s |      13 |   125455 |    52732 |    14632      5 |      701 |      554
74.38/74.49	c 74.2s |      13 |   126833 |    53832 |    14632      5 |      701 |      554
76.48/76.59	c 76.3s |      13 |   128138 |    54832 |    14632      5 |      701 |      554
78.68/78.75	c 78.5s |      13 |   129217 |    55732 |    14632      5 |      701 |      554
80.88/80.96	c 80.7s |      13 |   130272 |    56632 |    14632      5 |      701 |      554
83.08/83.13	c 82.9s |      13 |   131200 |    57432 |    14632      5 |      701 |      554
84.98/85.08	c 84.8s |      14 |   132932 |    58352 |    16096      6 |      701 |      554
87.08/87.19	c 86.9s |      14 |   139104 |    60452 |    16096      6 |      701 |      554
89.18/89.27	c 89.0s |      14 |   142792 |    62052 |    16096      6 |      701 |      554
91.28/91.36	c 91.1s |      14 |   153952 |    64252 |    16096      6 |      701 |      554
93.48/93.51	c 93.3s |      14 |   157440 |    65552 |    16096      6 |      701 |      554
95.58/95.67	c 95.4s |      14 |   159994 |    66852 |    16096      6 |      701 |      554
97.88/97.94	c 97.7s |      14 |   160960 |    67652 |    16096      7 |      701 |      554
100.08/100.10	c 99.8s |      14 |   161960 |    68552 |    16096      7 |      701 |      554
102.17/102.28	c  102s |      14 |   163905 |    69852 |    16096      7 |      701 |      554
104.37/104.50	c  104s |      14 |   165431 |    70952 |    16096      7 |      701 |      554
106.47/106.55	c  106s |      14 |   166826 |    71952 |    16096      7 |      701 |      554
108.77/108.85	c  108s |      14 |   167955 |    72852 |    16096      7 |      701 |      554
111.08/111.18	c  110s |      14 |   168938 |    73652 |    16096      7 |      701 |      554
113.17/113.29	c  113s |      14 |   169795 |    74352 |    16096      7 |      701 |      554
115.48/115.58	c  115s |      14 |   170657 |    75052 |    16096      7 |      701 |      554
117.68/117.76	c  117s |      14 |   171491 |    75752 |    16096      7 |      701 |      554
119.88/119.95	c  119s |      14 |   172323 |    76452 |    16096      7 |      701 |      554
121.97/122.09	c  121s |      14 |   172990 |    77052 |    16096      7 |      701 |      554
124.17/124.25	c  123s |      14 |   173556 |    77552 |    16096      8 |      701 |      554
126.58/126.61	c  126s |      14 |   174213 |    78152 |    16096      8 |      701 |      554
128.57/128.63	c  128s |      14 |   174923 |    78752 |    16096      8 |      701 |      554
130.77/130.90	c  130s |      14 |   175941 |    79652 |    16096      8 |      701 |      554
133.07/133.15	c  132s |      14 |   176731 |    80352 |    16096      8 |      701 |      554
135.17/135.28	c  135s |      14 |   177370 |    80952 |    16096      8 |      701 |      554
137.27/137.40	c  137s |      14 |   178038 |    81552 |    16096      8 |      701 |      554
139.57/139.65	c  139s |      14 |   178705 |    82152 |    16096      8 |      701 |      554
141.77/141.81	c  141s |      14 |   179346 |    82752 |    16096      8 |      701 |      554
143.87/143.91	c  143s |      14 |   180023 |    83352 |    16096      8 |      701 |      554
146.27/146.31	c  146s |      14 |   180655 |    83952 |    16096      8 |      701 |      554
148.57/148.69	c  148s |      14 |   181288 |    84552 |    16096      8 |      701 |      554
150.96/151.01	c  150s |      14 |   181825 |    85052 |    16096      8 |      701 |      554
152.97/153.09	c  152s |      14 |   182372 |    85552 |    16096      8 |      701 |      554
155.46/155.51	c  155s |      14 |   183071 |    86152 |    16096      8 |      701 |      554
157.76/157.80	c  157s |      14 |   183759 |    86752 |    16096      8 |      701 |      554
159.96/160.02	c  159s |      14 |   184186 |    87152 |    17706      9 |      701 |      554
161.57/161.63	c  161s |      15 |   184741 |    87632 |    17706      9 |      701 |      554
163.57/163.67	c  163s |      15 |   189677 |    89632 |    17706      9 |      701 |      554
165.57/165.67	c  165s |      15 |   191572 |    91232 |    17706      9 |      701 |      554
167.77/167.81	c  167s |      15 |   193019 |    92532 |    17706      9 |      701 |      554
169.77/169.84	c  169s |      15 |   194162 |    93532 |    17706      9 |      701 |      554
171.77/171.90	c  171s |      15 |   195273 |    94532 |    17706      9 |      701 |      554
173.96/174.05	c  173s |      15 |   196287 |    95432 |    17706      9 |      701 |      554
176.16/176.20	c  175s |      15 |   197253 |    96332 |    17706      9 |      701 |      554
178.27/178.33	c  178s |      15 |   198620 |    97432 |    17706      9 |      701 |      554
180.37/180.49	c  180s |      15 |   199635 |    98332 |    17706     10 |      701 |      554
182.46/182.57	c  182s |      15 |   200857 |    99432 |    17706     10 |      701 |      554
184.66/184.71	c  184s |      15 |   202080 |   100532 |    17706     10 |      701 |      554
186.76/186.84	c  186s |      15 |   203187 |   101532 |    17706     10 |      701 |      554
188.86/188.96	c  188s |      15 |   204249 |   102532 |    17706     10 |      701 |      554
191.06/191.10	c  190s |      15 |   205230 |   103432 |    17706     10 |      701 |      554
193.16/193.24	c  192s |      15 |   206248 |   104332 |    17706     10 |      701 |      554
195.26/195.40	c  195s |      15 |   207099 |   105132 |    17706     10 |      701 |      554
197.46/197.56	c  197s |      15 |   207973 |   105932 |    17706     10 |      701 |      554
199.76/199.85	c  199s |      15 |   208835 |   106732 |    17706     10 |      701 |      554
201.96/202.01	c  201s |      15 |   209729 |   107532 |    17706     10 |      701 |      554
204.16/204.26	c  204s |      15 |   210589 |   108332 |    17706     10 |      701 |      554
206.26/206.39	c  206s |      15 |   211336 |   109032 |    17706     11 |      701 |      554
208.36/208.40	c  208s |      15 |   212346 |   109932 |    17706     11 |      701 |      554
210.56/210.63	c  210s |      15 |   213319 |   110832 |    17706     11 |      701 |      554
212.66/212.71	c  212s |      15 |   214189 |   111632 |    17706     11 |      701 |      554
214.66/214.74	c  214s |      15 |   214947 |   112332 |    17706     11 |      701 |      554
216.76/216.85	c  216s |      15 |   215837 |   113132 |    17706     11 |      701 |      554
218.86/218.99	c  218s |      15 |   216705 |   113932 |    17706     11 |      701 |      554
220.96/221.04	c  220s |      15 |   217468 |   114632 |    17706     11 |      701 |      554
223.16/223.23	c  222s |      15 |   218337 |   115432 |    17706     11 |      701 |      554
225.35/225.46	c  225s |      15 |   219184 |   116232 |    17706     11 |      701 |      554
227.45/227.59	c  227s |      15 |   219937 |   116932 |    17706     11 |      701 |      554
229.55/229.63	c  229s |      15 |   220584 |   117532 |    17706     11 |      701 |      554
231.75/231.89	c  231s |      15 |   221331 |   118232 |    17706     11 |      701 |      554
233.95/234.08	c  233s |      15 |   222097 |   118932 |    17706     11 |      701 |      554
236.25/236.33	c  236s |      15 |   222725 |   119532 |    17706     12 |      701 |      554
238.25/238.36	c  238s |      15 |   223578 |   120332 |    17706     12 |      701 |      554
240.45/240.50	c  240s |      15 |   224437 |   121132 |    17706     12 |      701 |      554
242.55/242.63	c  242s |      15 |   225306 |   121932 |    17706     12 |      701 |      554
244.55/244.64	c  244s |      15 |   226058 |   122632 |    17706     12 |      701 |      554
246.85/246.93	c  246s |      15 |   226898 |   123432 |    17706     12 |      701 |      554
249.05/249.15	c  248s |      15 |   227729 |   124232 |    17706     12 |      701 |      554
251.05/251.19	c  250s |      15 |   228818 |   125132 |    17706     12 |      701 |      554
253.35/253.46	c  253s |      15 |   229806 |   126032 |    17706     12 |      701 |      554
255.45/255.58	c  255s |      15 |   230714 |   126832 |    17706     12 |      701 |      554
257.65/257.78	c  257s |      15 |   231513 |   127532 |    17706     12 |      701 |      554
259.85/259.95	c  259s |      15 |   232287 |   128232 |    17706     12 |      701 |      554
262.05/262.11	c  261s |      15 |   233038 |   128932 |    17706     12 |      701 |      554
264.06/264.17	c  263s |      15 |   233793 |   129632 |    17706     12 |      701 |      554
266.16/266.23	c  265s |      15 |   234530 |   130332 |    17706     13 |      701 |      554
268.15/268.29	c  268s |      15 |   235390 |   131132 |    19477     13 |      701 |      554
269.25/269.37	c  269s |      16 |   235862 |   131552 |    19477     13 |      701 |      554
271.35/271.40	c  271s |      16 |   240568 |   133652 |    19477     13 |      701 |      554
273.45/273.51	c  273s |      16 |   247663 |   136152 |    19477     13 |      701 |      554
275.45/275.54	c  275s |      16 |   250727 |   137752 |    19477     13 |      701 |      554
277.55/277.64	c  277s |      16 |   252575 |   139052 |    19477     13 |      701 |      554
279.55/279.65	c  279s |      16 |   253841 |   140052 |    19477     13 |      701 |      554
281.65/281.72	c  281s |      16 |   254988 |   140952 |    19477     13 |      701 |      554
283.64/283.79	c  283s |      16 |   256334 |   141952 |    19477     13 |      701 |      554
285.74/285.90	c  285s |      16 |   257330 |   142752 |    19477     14 |      701 |      554
288.04/288.15	c  287s |      16 |   258650 |   143752 |    19477     14 |      701 |      554
290.14/290.21	c  289s |      16 |   259724 |   144552 |    19477     14 |      701 |      554
292.14/292.24	c  291s |      16 |   260557 |   145252 |    19477     14 |      701 |      554
294.34/294.45	c  294s |      16 |   261529 |   146052 |    19477     14 |      701 |      554
296.34/296.49	c  296s |      16 |   262309 |   146752 |    19477     14 |      701 |      554
298.84/298.92	c  298s |      16 |   263087 |   147452 |    19477     14 |      701 |      554
300.94/301.00	c  300s |      16 |   263743 |   148052 |    19477     14 |      701 |      554
302.95/303.03	c  302s |      16 |   264453 |   148652 |    19477     14 |      701 |      554
304.95/305.07	c  304s |      16 |   265268 |   149352 |    19477     14 |      701 |      554
307.25/307.38	c  307s |      16 |   265946 |   149952 |    19477     14 |      701 |      554
309.35/309.41	c  309s |      16 |   266502 |   150452 |    19477     14 |      701 |      554
311.55/311.60	c  311s |      16 |   267154 |   151052 |    19477     14 |      701 |      554
313.75/313.84	c  313s |      16 |   267824 |   151652 |    19477     14 |      701 |      554
315.85/315.99	c  315s |      16 |   268524 |   152152 |    19477     14 |      701 |      554
317.95/318.08	c  317s |      16 |   269378 |   152852 |    19477     14 |      701 |      554
320.15/320.21	c  319s |      16 |   270164 |   153452 |    19477     15 |      701 |      554
322.35/322.46	c  322s |      16 |   271282 |   154352 |    19477     15 |      701 |      554
324.34/324.47	c  324s |      16 |   272205 |   155152 |    19477     15 |      701 |      554
326.54/326.66	c  326s |      16 |   273111 |   155952 |    19477     15 |      701 |      554
328.64/328.78	c  328s |      16 |   274044 |   156752 |    19477     15 |      701 |      554
330.74/330.81	c  330s |      16 |   274828 |   157452 |    19477     15 |      701 |      554
332.74/332.82	c  332s |      16 |   275633 |   158152 |    19477     15 |      701 |      554
334.74/334.82	c  334s |      16 |   276443 |   158852 |    19477     15 |      701 |      554
336.84/336.93	c  336s |      16 |   277214 |   159552 |    19477     15 |      701 |      554
338.85/338.98	c  338s |      16 |   278006 |   160252 |    19477     15 |      701 |      554
341.14/341.28	c  341s |      16 |   278757 |   160952 |    19477     15 |      701 |      554
343.34/343.42	c  343s |      16 |   279432 |   161552 |    19477     15 |      701 |      554
345.45/345.55	c  345s |      16 |   280109 |   162152 |    19477     15 |      701 |      554
347.74/347.89	c  347s |      16 |   280746 |   162752 |    19477     15 |      701 |      554
349.94/350.02	c  349s |      16 |   281273 |   163252 |    19477     15 |      701 |      554
351.95/352.04	c  351s |      16 |   281845 |   163752 |    19477     15 |      701 |      554
354.15/354.30	c  354s |      16 |   282741 |   164452 |    19477     15 |      701 |      554
356.54/356.67	c  356s |      16 |   283258 |   164952 |    19477     16 |      701 |      554
358.74/358.80	c  358s |      16 |   284148 |   165652 |    19477     16 |      701 |      554
361.04/361.19	c  360s |      16 |   284954 |   166352 |    19477     16 |      701 |      554
363.34/363.44	c  363s |      16 |   285655 |   166952 |    19477     16 |      701 |      554
365.44/365.59	c  365s |      16 |   286309 |   167552 |    19477     16 |      701 |      554
367.74/367.85	c  367s |      16 |   286973 |   168152 |    19477     16 |      701 |      554
370.03/370.11	c  369s |      16 |   287656 |   168752 |    19477     16 |      701 |      554
372.13/372.20	c  371s |      16 |   288282 |   169352 |    19477     16 |      701 |      554
374.43/374.57	c  374s |      16 |   288959 |   169952 |    19477     16 |      701 |      554
376.53/376.68	c  376s |      16 |   289639 |   170552 |    19477     16 |      701 |      554
379.13/379.24	c  378s |      16 |   290184 |   171052 |    19477     16 |      701 |      554
381.13/381.25	c  380s |      16 |   290631 |   171452 |    19477     16 |      701 |      554
383.63/383.70	c  383s |      16 |   291158 |   171952 |    19477     16 |      701 |      554
385.93/386.07	c  385s |      16 |   291711 |   172452 |    19477     16 |      701 |      554
388.24/388.39	c  388s |      16 |   292265 |   172952 |    19477     16 |      701 |      554
390.73/390.85	c  390s |      16 |   292821 |   173452 |    19477     16 |      701 |      554
393.03/393.11	c  392s |      16 |   293384 |   173952 |    19477     16 |      701 |      554
395.23/395.36	c  395s |      16 |   293937 |   174452 |    19477     16 |      701 |      554
397.53/397.62	c  397s |      16 |   294469 |   174952 |    19477     16 |      701 |      554
399.73/399.82	c  399s |      16 |   294990 |   175452 |    19477     16 |      701 |      554
401.73/401.84	c  401s |      16 |   295394 |   175852 |    19477     16 |      701 |      554
404.03/404.17	c  403s |      16 |   295829 |   176252 |    19477     17 |      701 |      554
406.23/406.39	c  406s |      16 |   296370 |   176752 |    19477     17 |      701 |      554
408.42/408.54	c  408s |      16 |   297096 |   177352 |    19477     17 |      701 |      554
410.52/410.62	c  410s |      16 |   298029 |   178052 |    19477     17 |      701 |      554
412.62/412.77	c  412s |      16 |   298915 |   178752 |    19477     17 |      701 |      554
414.92/415.09	c  414s |      16 |   299698 |   179452 |    19477     17 |      701 |      554
417.12/417.26	c  417s |      16 |   300352 |   180052 |    19477     17 |      701 |      554
419.42/419.56	c  419s |      16 |   301167 |   180752 |    19477     17 |      701 |      554
421.72/421.82	c  421s |      16 |   301835 |   181352 |    19477     17 |      701 |      554
423.92/424.03	c  423s |      16 |   302496 |   181952 |    19477     17 |      701 |      554
426.32/426.41	c  426s |      16 |   303166 |   182552 |    19477     17 |      701 |      554
428.62/428.74	c  428s |      16 |   303827 |   183152 |    19477     17 |      701 |      554
430.72/430.85	c  430s |      16 |   304399 |   183652 |    19477     17 |      701 |      554
432.82/432.97	c  432s |      16 |   304952 |   184152 |    19477     17 |      701 |      554
434.92/435.06	c  434s |      16 |   305515 |   184652 |    19477     17 |      701 |      554
436.92/437.09	c  436s |      16 |   306070 |   185152 |    19477     17 |      701 |      554
439.22/439.34	c  439s |      16 |   306596 |   185652 |    19477     17 |      701 |      554
441.62/441.72	c  441s |      16 |   307150 |   186152 |    19477     17 |      701 |      554
444.03/444.15	c  443s |      16 |   307675 |   186652 |    19477     17 |      701 |      554
446.33/446.42	c  446s |      16 |   308218 |   187152 |    19477     17 |      701 |      554
448.32/448.44	c  448s |      16 |   308654 |   187552 |    19477     18 |      701 |      554
450.42/450.55	c  450s |      16 |   309332 |   188152 |    19477     18 |      701 |      554
452.62/452.78	c  452s |      16 |   309991 |   188752 |    19477     18 |      701 |      554
454.72/454.85	c  454s |      16 |   310642 |   189352 |    19477     18 |      701 |      554
456.82/456.90	c  456s |      16 |   311434 |   189952 |    19477     18 |      701 |      554
459.12/459.21	c  458s |      16 |   312379 |   190752 |    19477     18 |      701 |      554
461.32/461.48	c  461s |      16 |   313211 |   191452 |    19477     18 |      701 |      554
463.52/463.63	c  463s |      16 |   313874 |   192052 |    19477     18 |      701 |      554
465.82/465.93	c  465s |      16 |   314553 |   192652 |    19477     18 |      701 |      554
467.92/468.02	c  467s |      16 |   315085 |   193152 |    19477     18 |      701 |      554
470.22/470.38	c  470s |      16 |   315726 |   193752 |    19477     18 |      701 |      554
472.52/472.63	c  472s |      16 |   316426 |   194352 |    19477     18 |      701 |      554
474.52/474.67	c  474s |      16 |   317103 |   194952 |    19477     18 |      701 |      554
476.82/476.90	c  476s |      16 |   317647 |   195452 |    19477     18 |      701 |      554
478.82/478.95	c  478s |      16 |   318824 |   196152 |    21425     18 |      701 |      554
481.02/481.17	c  480s |      16 |   320035 |   196952 |    21425     18 |      701 |      554
482.52/482.62	c  482s |      17 |   320673 |   197432 |    21425     18 |      701 |      554
485.02/485.19	c  484s |      17 |   329179 |   199632 |    21425     19 |      701 |      554
487.12/487.30	c  487s |      17 |   331062 |   201132 |    21425     19 |      701 |      554
489.22/489.34	c  489s |      17 |   332575 |   202432 |    21425     19 |      701 |      554
491.42/491.53	c  491s |      17 |   333985 |   203632 |    21425     19 |      701 |      554
493.42/493.54	c  493s |      17 |   335198 |   204632 |    21425     19 |      701 |      554
495.41/495.55	c  495s |      17 |   336655 |   205932 |    21425     19 |      701 |      554
497.61/497.75	c  497s |      17 |   337940 |   207132 |    21425     19 |      701 |      554
499.61/499.79	c  499s |      17 |   339020 |   208132 |    21425     19 |      701 |      554
501.81/501.90	c  501s |      17 |   340060 |   209132 |    21425     19 |      701 |      554
503.91/504.00	c  503s |      17 |   341026 |   210032 |    21425     19 |      701 |      554
506.11/506.21	c  505s |      17 |   341970 |   210932 |    21425     19 |      701 |      554
508.22/508.37	c  508s |      17 |   342803 |   211732 |    21425     19 |      701 |      554
510.42/510.54	c  510s |      17 |   343640 |   212532 |    21425     19 |      701 |      554
512.52/512.63	c  512s |      17 |   344363 |   213232 |    21425     20 |      701 |      554
514.72/514.90	c  514s |      17 |   345192 |   214032 |    21425     20 |      701 |      554
516.92/517.08	c  516s |      17 |   346000 |   214832 |    21425     20 |      701 |      554
519.22/519.36	c  519s |      17 |   346850 |   215632 |    21425     20 |      701 |      554
521.32/521.45	c  521s |      17 |   347577 |   216332 |    21425     20 |      701 |      554
523.41/523.59	c  523s |      17 |   348336 |   217032 |    21425     20 |      701 |      554
525.61/525.79	c  525s |      17 |   349067 |   217732 |    21425     20 |      701 |      554
527.92/528.08	c  527s |      17 |   349788 |   218432 |    21425     20 |      701 |      554
530.22/530.33	c  530s |      17 |   350509 |   219132 |    21425     20 |      701 |      554
532.32/532.44	c  532s |      17 |   351126 |   219732 |    21425     20 |      701 |      554
534.41/534.56	c  534s |      17 |   351749 |   220332 |    21425     20 |      701 |      554
536.51/536.60	c  536s |      17 |   352267 |   220832 |    21425     20 |      701 |      554
538.61/538.70	c  538s |      17 |   352910 |   221432 |    21425     20 |      701 |      554
540.91/541.01	c  540s |      17 |   353680 |   222132 |    21425     20 |      701 |      554
543.21/543.38	c  543s |      17 |   354408 |   222832 |    21425     20 |      701 |      554
545.31/545.43	c  545s |      17 |   355044 |   223432 |    21425     20 |      701 |      554
547.31/547.47	c  547s |      17 |   355681 |   224032 |    21425     20 |      701 |      554
549.41/549.57	c  549s |      17 |   356300 |   224632 |    21425     20 |      701 |      554
551.71/551.80	c  551s |      17 |   356947 |   225232 |    21425     21 |      701 |      554
553.81/553.99	c  553s |      17 |   357900 |   226132 |    21425     21 |      701 |      554
556.01/556.15	c  555s |      17 |   358747 |   226932 |    21425     21 |      701 |      554
558.01/558.16	c  557s |      17 |   359470 |   227632 |    21425     21 |      701 |      554
560.20/560.32	c  560s |      17 |   360209 |   228332 |    21425     21 |      701 |      554
562.40/562.51	c  562s |      17 |   360950 |   229032 |    21425     21 |      701 |      554
564.40/564.52	c  564s |      17 |   361685 |   229732 |    21425     21 |      701 |      554
566.41/566.58	c  566s |      17 |   362444 |   230432 |    21425     21 |      701 |      554
568.50/568.61	c  568s |      17 |   363073 |   231032 |    21425     21 |      701 |      554
570.60/570.79	c  570s |      17 |   363693 |   231632 |    21425     21 |      701 |      554
572.80/572.91	c  572s |      17 |   364317 |   232232 |    21425     21 |      701 |      554
575.10/575.23	c  574s |      17 |   365067 |   232932 |    21425     21 |      701 |      554
577.30/577.46	c  577s |      17 |   365818 |   233632 |    21425     21 |      701 |      554
579.30/579.47	c  579s |      17 |   366451 |   234232 |    21425     21 |      701 |      554
581.50/581.68	c  581s |      17 |   367089 |   234832 |    21425     21 |      701 |      554
583.70/583.85	c  583s |      17 |   367724 |   235432 |    21425     21 |      701 |      554
585.70/585.88	c  585s |      17 |   368253 |   235932 |    21425     21 |      701 |      554
587.80/587.92	c  587s |      17 |   368766 |   236432 |    21425     21 |      701 |      554
589.90/590.06	c  589s |      17 |   369291 |   236932 |    21425     21 |      701 |      554
592.00/592.16	c  591s |      17 |   369700 |   237332 |    21425     22 |      701 |      554
594.20/594.36	c  594s |      17 |   370418 |   238032 |    21425     22 |      701 |      554
596.50/596.67	c  596s |      17 |   371133 |   238732 |    21425     22 |      701 |      554
598.60/598.76	c  598s |      17 |   371872 |   239432 |    21425     22 |      701 |      554
600.80/600.92	c  600s |      17 |   372623 |   240132 |    21425     22 |      701 |      554
603.00/603.19	c  602s |      17 |   373482 |   240932 |    21425     22 |      701 |      554
605.10/605.27	c  605s |      17 |   374222 |   241632 |    21425     22 |      701 |      554
607.30/607.49	c  607s |      17 |   374965 |   242332 |    21425     22 |      701 |      554
609.70/609.80	c  609s |      17 |   375686 |   243032 |    21425     22 |      701 |      554
611.80/611.95	c  611s |      17 |   376304 |   243632 |    21425     22 |      701 |      554
613.89/614.08	c  613s |      17 |   376932 |   244232 |    21425     22 |      701 |      554
615.90/616.09	c  615s |      17 |   377561 |   244832 |    21425     22 |      701 |      554
618.20/618.31	c  618s |      17 |   378189 |   245432 |    21425     22 |      701 |      554
620.30/620.41	c  620s |      17 |   378703 |   245932 |    21425     22 |      701 |      554
622.69/622.82	c  622s |      17 |   379317 |   246532 |    21425     22 |      701 |      554
624.70/624.84	c  624s |      17 |   379832 |   247032 |    21425     22 |      701 |      554
626.79/626.99	c  626s |      17 |   380353 |   247532 |    21425     22 |      701 |      554
628.89/629.08	c  628s |      17 |   380877 |   248032 |    21425     22 |      701 |      554
631.19/631.34	c  631s |      17 |   381381 |   248532 |    21425     22 |      701 |      554
633.50/633.69	c  633s |      17 |   381887 |   249032 |    21425     22 |      701 |      554
635.80/635.98	c  635s |      17 |   382404 |   249532 |    21425     22 |      701 |      554
638.09/638.24	c  637s |      17 |   382920 |   250032 |    21425     23 |      701 |      554
640.29/640.47	c  640s |      17 |   383736 |   250832 |    21425     23 |      701 |      554
642.30/642.50	c  642s |      17 |   384504 |   251532 |    21425     23 |      701 |      554
644.50/644.66	c  644s |      17 |   385231 |   252232 |    21425     23 |      701 |      554
646.49/646.66	c  646s |      17 |   385890 |   252832 |    21425     23 |      701 |      554
648.49/648.67	c  648s |      17 |   386512 |   253432 |    21425     23 |      701 |      554
650.79/650.90	c  650s |      17 |   387133 |   254032 |    21425     23 |      701 |      554
652.89/653.05	c  652s |      17 |   387751 |   254632 |    21425     23 |      701 |      554
654.99/655.14	c  654s |      17 |   388376 |   255232 |    21425     23 |      701 |      554
657.09/657.28	c  657s |      17 |   389010 |   255832 |    21425     23 |      701 |      554
659.19/659.32	c  659s |      17 |   389516 |   256332 |    21425     23 |      701 |      554
661.29/661.46	c  661s |      17 |   390029 |   256832 |    21425     23 |      701 |      554
663.69/663.85	c  663s |      17 |   390648 |   257432 |    21425     23 |      701 |      554
665.78/665.93	c  665s |      17 |   391167 |   257932 |    21425     23 |      701 |      554
667.98/668.10	c  667s |      17 |   391676 |   258432 |    21425     23 |      701 |      554
670.08/670.21	c  669s |      17 |   392206 |   258932 |    21425     23 |      701 |      554
672.18/672.35	c  672s |      17 |   392717 |   259432 |    21425     23 |      701 |      554
674.19/674.36	c  674s |      17 |   393228 |   259932 |    21425     23 |      701 |      554
676.50/676.67	c  676s |      17 |   393760 |   260432 |    21425     23 |      701 |      554
678.89/679.03	c  678s |      17 |   394273 |   260932 |    21425     23 |      701 |      554
681.09/681.23	c  680s |      17 |   394780 |   261432 |    21425     23 |      701 |      554
683.49/683.64	c  683s |      17 |   395288 |   261932 |    21425     23 |      701 |      554
685.79/685.90	c  685s |      17 |   395803 |   262432 |    21425     24 |      701 |      554
688.09/688.28	c  688s |      17 |   396519 |   263132 |    21425     24 |      701 |      554
690.19/690.37	c  690s |      17 |   397144 |   263732 |    21425     24 |      701 |      554
692.49/692.64	c  692s |      17 |   397876 |   264432 |    21425     24 |      701 |      554
694.49/694.67	c  694s |      17 |   398499 |   265032 |    21425     24 |      701 |      554
696.69/696.84	c  696s |      17 |   399106 |   265632 |    21425     24 |      701 |      554
698.89/699.02	c  698s |      17 |   399720 |   266232 |    21425     24 |      701 |      554
701.19/701.34	c  701s |      17 |   400453 |   266932 |    21425     24 |      701 |      554
703.49/703.67	c  703s |      17 |   401186 |   267632 |    21425     24 |      701 |      554
705.89/706.02	c  705s |      17 |   401925 |   268332 |    21425     24 |      701 |      554
708.19/708.35	c  708s |      17 |   402549 |   268932 |    21425     24 |      701 |      554
710.49/710.61	c  710s |      17 |   403168 |   269532 |    21425     24 |      701 |      554
712.79/712.98	c  712s |      17 |   403793 |   270132 |    21425     24 |      701 |      554
715.19/715.34	c  715s |      17 |   404432 |   270732 |    21425     24 |      701 |      554
717.39/717.53	c  717s |      17 |   404938 |   271232 |    21425     24 |      701 |      554
719.58/719.75	c  719s |      17 |   405457 |   271732 |    21425     24 |      701 |      554
721.59/721.77	c  721s |      17 |   405964 |   272232 |    21425     24 |      701 |      554
723.79/723.97	c  723s |      17 |   406484 |   272732 |    21425     24 |      701 |      554
726.08/726.23	c  725s |      17 |   407013 |   273232 |    21425     24 |      701 |      554
728.28/728.48	c  728s |      17 |   407545 |   273732 |    21425     24 |      701 |      554
730.88/731.00	c  730s |      17 |   408060 |   274232 |    21425     24 |      701 |      554
733.08/733.23	c  732s |      17 |   408589 |   274732 |    21425     25 |      701 |      554
735.28/735.45	c  735s |      17 |   409311 |   275432 |    21425     25 |      701 |      554
737.28/737.49	c  737s |      17 |   409941 |   276032 |    21425     25 |      701 |      554
739.58/739.70	c  739s |      17 |   410560 |   276632 |    21425     25 |      701 |      554
741.88/742.07	c  741s |      17 |   411189 |   277232 |    21425     25 |      701 |      554
743.98/744.11	c  743s |      17 |   411818 |   277832 |    21425     25 |      701 |      554
746.18/746.35	c  746s |      17 |   412469 |   278432 |    21425     25 |      701 |      554
748.28/748.45	c  748s |      17 |   413238 |   279132 |    21425     25 |      701 |      554
750.48/750.61	c  750s |      17 |   413979 |   279832 |    21425     25 |      701 |      554
752.58/752.78	c  752s |      17 |   414730 |   280532 |    21425     25 |      701 |      554
754.78/754.94	c  754s |      17 |   415360 |   281132 |    21425     25 |      701 |      554
756.88/757.09	c  756s |      17 |   415997 |   281732 |    21425     25 |      701 |      554
759.08/759.21	c  758s |      17 |   416634 |   282332 |    21425     25 |      701 |      554
761.09/761.29	c  761s |      17 |   417263 |   282932 |    21425     25 |      701 |      554
763.39/763.54	c  763s |      17 |   417913 |   283532 |    21425     25 |      701 |      554
765.48/765.66	c  765s |      17 |   418542 |   284132 |    21425     25 |      701 |      554
767.98/768.11	c  767s |      17 |   419173 |   284732 |    21425     25 |      701 |      554
769.98/770.15	c  769s |      17 |   419688 |   285232 |    21425     25 |      701 |      554
771.98/772.15	c  771s |      17 |   420210 |   285732 |    21425     25 |      701 |      554
774.18/774.31	c  774s |      17 |   420743 |   286232 |    21425     25 |      701 |      554
776.48/776.63	c  776s |      17 |   421268 |   286732 |    21425     25 |      701 |      554
778.68/778.83	c  778s |      17 |   421790 |   287232 |    21425     26 |      701 |      554
780.88/781.06	c  780s |      17 |   422520 |   287932 |    21425     26 |      701 |      554
783.08/783.26	c  783s |      17 |   423248 |   288632 |    21425     26 |      701 |      554
785.47/785.61	c  785s |      17 |   423962 |   289332 |    21425     26 |      701 |      554
787.58/787.72	c  787s |      17 |   424587 |   289932 |    21425     26 |      701 |      554
789.68/789.84	c  789s |      17 |   425208 |   290532 |    21425     26 |      701 |      554
791.98/792.16	c  791s |      17 |   425951 |   291232 |    21425     26 |      701 |      554
794.18/794.30	c  794s |      17 |   426572 |   291832 |    21425     26 |      701 |      554
796.28/796.42	c  796s |      17 |   427209 |   292432 |    21425     26 |      701 |      554
798.48/798.65	c  798s |      17 |   427836 |   293032 |    21425     26 |      701 |      554
800.78/800.96	c  800s |      17 |   428577 |   293732 |    21425     26 |      701 |      554
803.07/803.24	c  802s |      17 |   429235 |   294332 |    23568     26 |      701 |      554
805.37/805.59	c  805s |      17 |   429870 |   294932 |    23568     26 |      701 |      554
807.57/807.72	c  807s |      17 |   430503 |   295532 |    23568     26 |      701 |      554
809.67/809.87	c  809s |      17 |   431024 |   296032 |    23568     26 |      701 |      554
810.68/810.81	c  810s |      18 |   431253 |   296252 |    23568     26 |      701 |      554
812.67/812.82	c  812s |      18 |   438632 |   298152 |    23568     26 |      701 |      554
814.77/814.92	c  814s |      18 |   440694 |   299652 |    23568     26 |      701 |      554
817.17/817.35	c  817s |      18 |   442429 |   300952 |    23568     27 |      701 |      554
819.27/819.40	c  819s |      18 |   446746 |   302752 |    23568     27 |      701 |      554
821.37/821.52	c  821s |      18 |   448822 |   304252 |    23568     27 |      701 |      554
823.47/823.70	c  823s |      18 |   450532 |   305552 |    23568     27 |      701 |      554
825.67/825.87	c  825s |      18 |   451755 |   306552 |    23568     27 |      701 |      554
827.67/827.88	c  827s |      18 |   452835 |   307452 |    23568     27 |      701 |      554
829.96/830.13	c  829s |      18 |   453906 |   308352 |    23568     27 |      701 |      554
832.06/832.27	c  832s |      18 |   454861 |   309152 |    23568     27 |      701 |      554
834.26/834.48	c  834s |      18 |   457404 |   310452 |    23568     27 |      701 |      554
836.46/836.65	c  836s |      18 |   458858 |   311552 |    23568     27 |      701 |      554
838.46/838.68	c  838s |      18 |   460224 |   312552 |    23568     27 |      701 |      554
840.56/840.73	c  840s |      18 |   461469 |   313552 |    23568     27 |      701 |      554
842.66/842.85	c  842s |      18 |   462696 |   314452 |    23568     28 |      701 |      554
844.77/844.96	c  844s |      18 |   463840 |   315452 |    23568     28 |      701 |      554
846.97/847.15	c  846s |      18 |   465022 |   316452 |    23568     28 |      701 |      554
849.17/849.32	c  849s |      18 |   465928 |   317252 |    23568     28 |      701 |      554
851.16/851.38	c  851s |      18 |   466850 |   318052 |    23568     28 |      701 |      554
853.26/853.47	c  853s |      18 |   467784 |   318852 |    23568     28 |      701 |      554
855.46/855.60	c  855s |      18 |   468767 |   319652 |    23568     28 |      701 |      554
857.46/857.67	c  857s |      18 |   469813 |   320452 |    23568     28 |      701 |      554
859.46/859.67	c  859s |      18 |   470810 |   321252 |    23568     28 |      701 |      554
861.56/861.70	c  861s |      18 |   471651 |   321952 |    23568     28 |      701 |      554
863.66/863.83	c  863s |      18 |   472630 |   322752 |    23568     28 |      701 |      554
865.67/865.86	c  865s |      18 |   473466 |   323452 |    23568     28 |      701 |      554
867.77/867.92	c  867s |      18 |   474327 |   324152 |    23568     28 |      701 |      554
869.86/870.07	c  869s |      18 |   475292 |   324952 |    23568     28 |      701 |      554
872.06/872.22	c  871s |      18 |   476126 |   325652 |    23568     28 |      701 |      554
874.06/874.25	c  873s |      18 |   476866 |   326252 |    23568     28 |      701 |      554
876.36/876.53	c  876s |      18 |   477696 |   326952 |    23568     28 |      701 |      554
878.56/878.74	c  878s |      18 |   478506 |   327652 |    23568     28 |      701 |      554
880.56/880.78	c  880s |      18 |   479230 |   328252 |    23568     29 |      701 |      554
882.76/882.92	c  882s |      18 |   480141 |   329052 |    23568     29 |      701 |      554
884.86/885.09	c  884s |      18 |   481041 |   329852 |    23568     29 |      701 |      554
887.16/887.33	c  887s |      18 |   482008 |   330652 |    23568     29 |      701 |      554
889.15/889.37	c  889s |      18 |   482844 |   331352 |    23568     29 |      701 |      554
891.25/891.41	c  891s |      18 |   483661 |   332052 |    23568     29 |      701 |      554
893.45/893.62	c  893s |      18 |   484441 |   332752 |    23568     29 |      701 |      554
895.55/895.71	c  895s |      18 |   485105 |   333352 |    23568     29 |      701 |      554
897.65/897.80	c  897s |      18 |   485791 |   333952 |    23568     29 |      701 |      554
899.85/900.01	c  899s |      18 |   486612 |   334652 |    23568     29 |      701 |      554
902.15/902.33	c  902s |      18 |   487418 |   335352 |    23568     29 |      701 |      554
904.25/904.48	c  904s |      18 |   488114 |   335952 |    23568     29 |      701 |      554
906.36/906.56	c  906s |      18 |   488815 |   336552 |    23568     29 |      701 |      554
908.46/908.67	c  908s |      18 |   489541 |   337152 |    23568     29 |      701 |      554
910.76/910.94	c  910s |      18 |   490208 |   337752 |    23568     29 |      701 |      554
912.86/913.10	c  912s |      18 |   490899 |   338352 |    23568     29 |      701 |      554
915.16/915.35	c  915s |      18 |   491758 |   339052 |    23568     29 |      701 |      554
917.45/917.66	c  917s |      18 |   492551 |   339752 |    23568     29 |      701 |      554
919.46/919.69	c  919s |      18 |   493279 |   340352 |    23568     29 |      701 |      554
922.05/922.20	c  921s |      18 |   494160 |   341052 |    23568     30 |      701 |      554
924.05/924.28	c  924s |      18 |   495274 |   341952 |    23568     30 |      701 |      554
926.25/926.46	c  926s |      18 |   496188 |   342752 |    23568     30 |      701 |      554
928.45/928.61	c  928s |      18 |   497132 |   343552 |    23568     30 |      701 |      554
930.65/930.80	c  930s |      18 |   498069 |   344352 |    23568     30 |      701 |      554
932.65/932.89	c  932s |      18 |   499093 |   345152 |    23568     30 |      701 |      554
934.95/935.16	c  934s |      18 |   500079 |   345952 |    23568     30 |      701 |      554
937.15/937.34	c  937s |      18 |   500914 |   346652 |    23568     30 |      701 |      554
939.15/939.39	c  939s |      18 |   501628 |   347252 |    23568     30 |      701 |      554
941.34/941.50	c  941s |      18 |   502436 |   347952 |    23568     30 |      701 |      554
943.54/943.74	c  943s |      18 |   503258 |   348652 |    23568     30 |      701 |      554
945.85/946.02	c  945s |      18 |   504089 |   349352 |    23568     30 |      701 |      554
947.84/948.03	c  947s |      18 |   504756 |   349952 |    23568     30 |      701 |      554
949.94/950.17	c  949s |      18 |   505548 |   350652 |    23568     30 |      701 |      554
952.24/952.40	c  952s |      18 |   506349 |   351352 |    23568     30 |      701 |      554
954.44/954.60	c  954s |      18 |   507026 |   351952 |    23568     30 |      701 |      554
956.54/956.72	c  956s |      18 |   507717 |   352552 |    23568     30 |      701 |      554
958.64/958.87	c  958s |      18 |   508421 |   353152 |    23568     30 |      701 |      554
960.84/961.07	c  960s |      18 |   509271 |   353852 |    23568     30 |      701 |      554
962.94/963.10	c  962s |      18 |   509851 |   354352 |    23568     30 |      701 |      554
965.04/965.29	c  965s |      18 |   510483 |   354852 |    23568     31 |      701 |      554
967.44/967.61	c  967s |      18 |   511456 |   355652 |    23568     31 |      701 |      554
969.74/969.93	c  969s |      18 |   512242 |   356352 |    23568     31 |      701 |      554
972.04/972.24	c  971s |      18 |   513097 |   357052 |    23568     31 |      701 |      554
974.34/974.58	c  974s |      18 |   513907 |   357752 |    23568     31 |      701 |      554
976.54/976.77	c  976s |      18 |   514717 |   358452 |    23568     31 |      701 |      554
978.64/978.86	c  978s |      18 |   515423 |   359052 |    23568     31 |      701 |      554
980.84/981.05	c  980s |      18 |   516286 |   359752 |    23568     31 |      701 |      554
983.14/983.30	c  983s |      18 |   517098 |   360452 |    23568     31 |      701 |      554
985.34/985.52	c  985s |      18 |   517942 |   361152 |    23568     31 |      701 |      554
987.54/987.75	c  987s |      18 |   518776 |   361852 |    23568     31 |      701 |      554
989.64/989.82	c  989s |      18 |   519453 |   362452 |    23568     31 |      701 |      554
991.63/991.85	c  991s |      18 |   520157 |   363052 |    23568     31 |      701 |      554
993.73/993.92	c  993s |      18 |   520844 |   363652 |    23568     31 |      701 |      554
996.03/996.20	c  995s |      18 |   521554 |   364252 |    23568     31 |      701 |      554
998.33/998.58	c  998s |      18 |   522375 |   364952 |    23568     31 |      701 |      554
1000.53/1000.71	c 1000s |      18 |   523111 |   365552 |    23568     31 |      701 |      554
1002.63/1002.88	c 1002s |      18 |   523810 |   366152 |    23568     31 |      701 |      554
1005.03/1005.26	c 1005s |      18 |   524470 |   366752 |    23568     31 |      701 |      554
1007.03/1007.28	c 1007s |      18 |   525184 |   367352 |    23568     31 |      701 |      554
1009.23/1009.45	c 1009s |      18 |   525745 |   367852 |    23568     32 |      701 |      554
1011.23/1011.49	c 1011s |      18 |   526559 |   368552 |    23568     32 |      701 |      554
1013.43/1013.66	c 1013s |      18 |   527495 |   369352 |    23568     32 |      701 |      554
1015.53/1015.74	c 1015s |      18 |   528293 |   370052 |    23568     32 |      701 |      554
1017.63/1017.81	c 1017s |      18 |   529089 |   370752 |    23568     32 |      701 |      554
1019.83/1020.03	c 1019s |      18 |   529902 |   371452 |    23568     32 |      701 |      554
1021.84/1022.05	c 1021s |      18 |   530571 |   372052 |    23568     32 |      701 |      554
1023.83/1024.08	c 1023s |      18 |   531241 |   372652 |    23568     32 |      701 |      554
1026.15/1026.38	c 1026s |      18 |   532044 |   373352 |    23568     32 |      701 |      554
1028.44/1028.62	c 1028s |      18 |   532730 |   373952 |    23568     32 |      701 |      554
1030.54/1030.72	c 1030s |      18 |   533390 |   374552 |    23568     32 |      701 |      554
1032.64/1032.83	c 1032s |      18 |   534035 |   375152 |    23568     32 |      701 |      554
1034.84/1035.03	c 1034s |      18 |   534700 |   375752 |    23568     32 |      701 |      554
1036.84/1037.09	c 1036s |      18 |   535229 |   376252 |    23568     32 |      701 |      554
1038.94/1039.10	c 1038s |      18 |   535788 |   376752 |    23568     32 |      701 |      554
1041.04/1041.22	c 1040s |      18 |   536584 |   377352 |    23568     32 |      701 |      554
1043.04/1043.27	c 1043s |      18 |   537655 |   378152 |    23568     32 |      701 |      554
1045.34/1045.56	c 1045s |      18 |   538724 |   378952 |    23568     32 |      701 |      554
1047.33/1047.59	c 1047s |      18 |   539580 |   379652 |    23568     32 |      701 |      554
1049.43/1049.69	c 1049s |      18 |   540407 |   380352 |    23568     32 |      701 |      554
1051.93/1052.12	c 1051s |      18 |   541142 |   380952 |    23568     33 |      701 |      554
1054.13/1054.34	c 1054s |      18 |   542135 |   381752 |    23568     33 |      701 |      554
1056.33/1056.50	c 1056s |      18 |   543049 |   382552 |    23568     33 |      701 |      554
1058.53/1058.70	c 1058s |      18 |   544019 |   383352 |    23568     33 |      701 |      554
1060.63/1060.84	c 1060s |      18 |   544858 |   384052 |    23568     33 |      701 |      554
1062.83/1063.02	c 1062s |      18 |   545824 |   384852 |    23568     33 |      701 |      554
1065.03/1065.21	c 1064s |      18 |   546839 |   385652 |    23568     33 |      701 |      554
1067.13/1067.34	c 1067s |      18 |   547926 |   386552 |    23568     33 |      701 |      554
1069.33/1069.59	c 1069s |      18 |   548986 |   387452 |    23568     33 |      701 |      554
1071.43/1071.62	c 1071s |      18 |   549956 |   388252 |    23568     33 |      701 |      554
1073.63/1073.84	c 1073s |      18 |   550866 |   389052 |    23568     33 |      701 |      554
1075.93/1076.13	c 1075s |      18 |   551836 |   389852 |    23568     33 |      701 |      554
1078.03/1078.20	c 1077s |      18 |   552540 |   390452 |    23568     33 |      701 |      554
1080.04/1080.30	c 1080s |      18 |   553373 |   391152 |    23568     33 |      701 |      554
1082.13/1082.36	c 1082s |      18 |   554213 |   391852 |    23568     33 |      701 |      554
1084.44/1084.65	c 1084s |      18 |   555019 |   392552 |    23568     33 |      701 |      554
1086.43/1086.69	c 1086s |      18 |   555711 |   393152 |    23568     33 |      701 |      554
1088.73/1089.00	c 1088s |      18 |   556355 |   393752 |    23568     33 |      701 |      554
1091.23/1091.42	c 1091s |      18 |   557068 |   394352 |    23568     34 |      701 |      554
1093.33/1093.54	c 1093s |      18 |   558124 |   395252 |    23568     34 |      701 |      554
1095.33/1095.59	c 1095s |      18 |   559113 |   396052 |    23568     34 |      701 |      554
1097.43/1097.68	c 1097s |      18 |   560106 |   396852 |    23568     34 |      701 |      554
1099.52/1099.76	c 1099s |      18 |   561037 |   397652 |    23568     34 |      701 |      554
1101.52/1101.78	c 1101s |      18 |   561837 |   398352 |    23568     34 |      701 |      554
1103.72/1103.95	c 1103s |      18 |   562659 |   399052 |    23568     34 |      701 |      554
1106.02/1106.20	c 1105s |      18 |   563592 |   399852 |    23568     34 |      701 |      554
1108.12/1108.34	c 1108s |      18 |   564392 |   400552 |    23568     34 |      701 |      554
1110.12/1110.35	c 1110s |      18 |   565233 |   401252 |    23568     34 |      701 |      554
1112.22/1112.46	c 1112s |      18 |   566066 |   401952 |    23568     34 |      701 |      554
1114.32/1114.59	c 1114s |      18 |   566886 |   402652 |    23568     34 |      701 |      554
1116.72/1116.93	c 1116s |      18 |   567709 |   403352 |    23568     34 |      701 |      554
1119.02/1119.24	c 1118s |      18 |   568531 |   404052 |    23568     34 |      701 |      554
1121.42/1121.60	c 1121s |      18 |   569348 |   404752 |    23568     34 |      701 |      554
1123.42/1123.62	c 1123s |      18 |   570075 |   405352 |    23568     34 |      701 |      554
1125.62/1125.85	c 1125s |      18 |   570755 |   405952 |    23568     34 |      701 |      554
1127.92/1128.13	c 1127s |      18 |   571579 |   406652 |    23568     34 |      701 |      554
1130.12/1130.33	c 1130s |      18 |   572255 |   407252 |    23568     34 |      701 |      554
1132.12/1132.38	c 1132s |      18 |   572844 |   407752 |    23568     35 |      701 |      554
1134.22/1134.41	c 1134s |      18 |   573619 |   408452 |    23568     35 |      701 |      554
1136.42/1136.62	c 1136s |      18 |   574469 |   409152 |    23568     35 |      701 |      554
1138.62/1138.88	c 1138s |      18 |   575377 |   409952 |    23568     35 |      701 |      554
1140.92/1141.13	c 1140s |      18 |   576155 |   410652 |    23568     35 |      701 |      554
1143.22/1143.40	c 1143s |      18 |   576960 |   411352 |    23568     35 |      701 |      554
1145.32/1145.53	c 1145s |      18 |   577802 |   412052 |    23568     35 |      701 |      554
1147.41/1147.63	c 1147s |      18 |   578633 |   412752 |    23568     35 |      701 |      554
1149.51/1149.76	c 1149s |      18 |   579424 |   413452 |    23568     35 |      701 |      554
1151.71/1151.99	c 1151s |      18 |   580217 |   414152 |    23568     35 |      701 |      554
1154.01/1154.24	c 1153s |      18 |   581042 |   414852 |    23568     35 |      701 |      554
1156.21/1156.49	c 1156s |      18 |   581892 |   415552 |    23568     35 |      701 |      554
1158.31/1158.54	c 1158s |      18 |   582596 |   416152 |    23568     35 |      701 |      554
1160.31/1160.57	c 1160s |      18 |   583310 |   416752 |    23568     35 |      701 |      554
1162.40/1162.64	c 1162s |      18 |   584016 |   417352 |    23568     35 |      701 |      554
1164.60/1164.82	c 1164s |      18 |   584704 |   417952 |    23568     35 |      701 |      554
1166.80/1167.04	c 1166s |      18 |   585367 |   418552 |    23568     35 |      701 |      554
1168.90/1169.19	c 1168s |      18 |   586037 |   419152 |    23568     35 |      701 |      554
1171.10/1171.31	c 1171s |      18 |   586572 |   419652 |    23568     35 |      701 |      554
1173.20/1173.42	c 1173s |      18 |   587405 |   420352 |    23568     35 |      701 |      554
1175.50/1175.74	c 1175s |      18 |   587965 |   420852 |    23568     36 |      701 |      554
1177.70/1177.98	c 1177s |      18 |   588893 |   421652 |    23568     36 |      701 |      554
1179.99/1180.29	c 1180s |      18 |   589739 |   422352 |    23568     36 |      701 |      554
1182.09/1182.33	c 1182s |      18 |   590878 |   423252 |    23568     36 |      701 |      554
1184.19/1184.49	c 1184s |      18 |   592060 |   424152 |    23568     36 |      701 |      554
1186.39/1186.68	c 1186s |      18 |   593042 |   424952 |    23568     36 |      701 |      554
1188.49/1188.77	c 1188s |      18 |   593872 |   425652 |    23568     36 |      701 |      554
1190.59/1190.82	c 1190s |      18 |   594885 |   426452 |    23568     36 |      701 |      554
1192.79/1193.04	c 1192s |      18 |   595855 |   427252 |    23568     36 |      701 |      554
1194.89/1195.14	c 1194s |      18 |   596644 |   427952 |    23568     36 |      701 |      554
1197.09/1197.38	c 1197s |      18 |   597447 |   428652 |    23568     36 |      701 |      554
1199.48/1199.74	c 1199s |      18 |   598255 |   429352 |    23568     36 |      701 |      554
1201.58/1201.81	c 1201s |      18 |   598947 |   429952 |    23568     36 |      701 |      554
1203.78/1204.05	c 1203s |      18 |   599780 |   430652 |    23568     36 |      701 |      554
1205.88/1206.10	c 1205s |      18 |   600480 |   431252 |    23568     36 |      701 |      554
1208.08/1208.35	c 1208s |      18 |   601180 |   431852 |    23568     36 |      701 |      554
1210.18/1210.48	c 1210s |      18 |   601746 |   432352 |    23568     36 |      701 |      554
1212.28/1212.55	c 1212s |      18 |   602306 |   432852 |    23568     36 |      701 |      554
1214.58/1214.80	c 1214s |      18 |   602979 |   433452 |    23568     36 |      701 |      554
1216.58/1216.86	c 1216s |      18 |   603563 |   433952 |    23568     36 |      701 |      554
1218.69/1218.94	c 1218s |      18 |   604254 |   434552 |    23568     37 |      701 |      554
1220.98/1221.27	c 1221s |      18 |   605216 |   435352 |    23568     37 |      701 |      554
1223.08/1223.39	c 1223s |      18 |   606015 |   436052 |    23568     37 |      701 |      554
1225.18/1225.44	c 1225s |      18 |   606674 |   436652 |    23568     37 |      701 |      554
1227.38/1227.66	c 1227s |      18 |   607474 |   437352 |    23568     37 |      701 |      554
1229.77/1230.07	c 1229s |      18 |   608319 |   438052 |    23568     37 |      701 |      554
1232.07/1232.34	c 1232s |      18 |   609148 |   438752 |    23568     37 |      701 |      554
1234.27/1234.52	c 1234s |      18 |   609816 |   439352 |    23568     37 |      701 |      554
1236.37/1236.66	c 1236s |      18 |   610470 |   439952 |    23568     37 |      701 |      554
1238.57/1238.80	c 1238s |      18 |   611145 |   440552 |    23568     37 |      701 |      554
1240.67/1240.94	c 1240s |      18 |   611821 |   441152 |    23568     37 |      701 |      554
1242.77/1243.02	c 1242s |      18 |   612384 |   441652 |    25925     37 |      701 |      554
1245.07/1245.32	c 1245s |      18 |   612922 |   442152 |    25925     37 |      701 |      554
1247.36/1247.62	c 1247s |      18 |   613594 |   442752 |    25925     37 |      701 |      554
1249.66/1249.90	c 1249s |      18 |   614265 |   443352 |    25925     37 |      701 |      554
1251.76/1252.05	c 1251s |      18 |   614941 |   443952 |    25925     37 |      701 |      554
1253.76/1254.03	c 1253s |      19 |   615536 |   444482 |    25925     37 |      701 |      554
1255.76/1256.03	c 1255s |      19 |   620847 |   445982 |    25925     37 |      701 |      554
1257.76/1258.09	c 1257s |      19 |   623323 |   447882 |    25925     37 |      701 |      554
1259.86/1260.17	c 1259s |      19 |   624755 |   449082 |    25925     37 |      701 |      554
1262.06/1262.31	c 1262s |      19 |   625679 |   449882 |    25925     38 |      701 |      554
1264.26/1264.51	c 1264s |      19 |   627052 |   450982 |    25925     38 |      701 |      554
1266.26/1266.54	c 1266s |      19 |   628430 |   452182 |    25925     38 |      701 |      554
1268.26/1268.57	c 1268s |      19 |   629751 |   453282 |    25925     38 |      701 |      554
1270.45/1270.76	c 1270s |      19 |   630810 |   454182 |    25925     38 |      701 |      554
1272.56/1272.84	c 1272s |      19 |   631780 |   454982 |    25925     38 |      701 |      554
1274.66/1274.92	c 1274s |      19 |   632624 |   455782 |    25925     38 |      701 |      554
1276.96/1277.22	c 1276s |      19 |   633590 |   456582 |    25925     38 |      701 |      554
1279.34/1279.64	c 1279s |      19 |   634457 |   457282 |    25925     38 |      701 |      554
1281.54/1281.84	c 1281s |      19 |   635292 |   457982 |    25925     38 |      701 |      554
1283.74/1284.06	c 1283s |      19 |   636107 |   458682 |    25925     38 |      701 |      554
1285.94/1286.28	c 1286s |      19 |   637100 |   459482 |    25925     38 |      701 |      554
1288.34/1288.60	c 1288s |      19 |   638083 |   460282 |    25925     38 |      701 |      554
1290.54/1290.87	c 1290s |      19 |   638935 |   460982 |    25925     38 |      701 |      554
1292.54/1292.87	c 1292s |      19 |   639664 |   461582 |    25925     38 |      701 |      554
1294.74/1295.10	c 1294s |      19 |   640492 |   462282 |    25925     38 |      701 |      554
1296.94/1297.20	c 1296s |      19 |   641147 |   462882 |    25925     38 |      701 |      554
1299.13/1299.49	c 1299s |      19 |   641958 |   463582 |    25925     38 |      701 |      554
1301.43/1301.74	c 1301s |      19 |   642561 |   464082 |    25925     39 |      701 |      554
1303.53/1303.82	c 1303s |      19 |   643251 |   464682 |    25925     39 |      701 |      554
1305.73/1306.04	c 1305s |      19 |   643954 |   465282 |    25925     39 |      701 |      554
1308.03/1308.33	c 1308s |      19 |   644626 |   465882 |    25925     39 |      701 |      554
1310.23/1310.54	c 1310s |      19 |   645304 |   466482 |    25925     39 |      701 |      554
1312.44/1312.71	c 1312s |      19 |   646101 |   467182 |    25925     39 |      701 |      554
1314.64/1314.95	c 1314s |      19 |   646751 |   467782 |    25925     39 |      701 |      554
1316.83/1317.11	c 1316s |      19 |   647467 |   468382 |    25925     39 |      701 |      554
1319.23/1319.55	c 1319s |      19 |   648158 |   468982 |    25925     39 |      701 |      554
1321.43/1321.70	c 1321s |      19 |   648728 |   469482 |    25925     39 |      701 |      554
1323.43/1323.74	c 1323s |      19 |   649299 |   469982 |    25925     39 |      701 |      554
1325.63/1325.99	c 1325s |      19 |   649947 |   470582 |    25925     39 |      701 |      554
1327.93/1328.21	c 1327s |      19 |   650667 |   471182 |    25925     39 |      701 |      554
1330.23/1330.57	c 1330s |      19 |   651349 |   471782 |    25925     39 |      701 |      554
1332.33/1332.62	c 1332s |      19 |   651899 |   472282 |    25925     39 |      701 |      554
1334.43/1334.75	c 1334s |      19 |   652595 |   472882 |    25925     39 |      701 |      554
1336.43/1336.77	c 1336s |      19 |   653165 |   473382 |    25925     39 |      701 |      554
1338.63/1338.98	c 1338s |      19 |   653714 |   473882 |    25925     39 |      701 |      554
1340.82/1341.13	c 1340s |      19 |   654283 |   474382 |    25925     39 |      701 |      554
1343.22/1343.54	c 1343s |      19 |   654834 |   474882 |    25925     39 |      701 |      554
1345.52/1345.84	c 1345s |      19 |   655427 |   475382 |    25925     39 |      701 |      554
1347.52/1347.85	c 1347s |      19 |   655864 |   475782 |    25925     39 |      701 |      554
1349.61/1349.93	c 1349s |      19 |   656305 |   476182 |    25925     39 |      701 |      554
1352.01/1352.33	c 1352s |      19 |   656851 |   476682 |    25925     39 |      701 |      554
1354.31/1354.65	c 1354s |      19 |   657414 |   477182 |    25925     39 |      701 |      554
1356.51/1356.89	c 1356s |      19 |   657954 |   477682 |    25925     39 |      701 |      554
1359.10/1359.41	c 1359s |      19 |   658506 |   478182 |    25925     39 |      701 |      554
1361.10/1361.48	c 1361s |      19 |   658859 |   478482 |    25925     40 |      701 |      554
1363.20/1363.51	c 1363s |      19 |   659411 |   478982 |    25925     40 |      701 |      554
1365.20/1365.52	c 1365s |      19 |   659964 |   479482 |    25925     40 |      701 |      554
1367.50/1367.81	c 1367s |      19 |   660601 |   480082 |    25925     40 |      701 |      554
1369.70/1370.08	c 1369s |      19 |   661506 |   480882 |    25925     40 |      701 |      554
1372.09/1372.41	c 1372s |      19 |   662362 |   481582 |    25925     40 |      701 |      554
1374.39/1374.72	c 1374s |      19 |   663193 |   482282 |    25925     40 |      701 |      554
1376.69/1377.02	c 1376s |      19 |   663891 |   482882 |    25925     40 |      701 |      554
1378.89/1379.22	c 1378s |      19 |   664563 |   483482 |    25925     40 |      701 |      554
1381.09/1381.47	c 1381s |      19 |   665230 |   484082 |    25925     40 |      701 |      554
1383.19/1383.53	c 1383s |      19 |   665777 |   484582 |    25925     40 |      701 |      554
1385.49/1385.83	c 1385s |      19 |   666333 |   485082 |    25925     40 |      701 |      554
1387.79/1388.16	c 1387s |      19 |   667014 |   485682 |    25925     40 |      701 |      554
1389.98/1390.32	c 1390s |      19 |   667578 |   486182 |    25925     40 |      701 |      554
1392.18/1392.54	c 1392s |      19 |   668136 |   486682 |    25925     40 |      701 |      554
1394.49/1394.85	c 1394s |      19 |   668701 |   487182 |    25925     40 |      701 |      554
1396.58/1396.92	c 1396s |      19 |   669277 |   487682 |    25925     40 |      701 |      554
1398.89/1399.24	c 1398s |      19 |   669974 |   488282 |    25925     40 |      701 |      554
1400.97/1401.31	c 1401s |      19 |   670567 |   488782 |    25925     40 |      701 |      554
1402.97/1403.39	c 1403s |      19 |   671188 |   489282 |    25925     40 |      701 |      554
1405.17/1405.53	c 1405s |      19 |   671749 |   489782 |    25925     40 |      701 |      554
1407.47/1407.82	c 1407s |      19 |   672342 |   490282 |    25925     40 |      701 |      554
1409.47/1409.85	c 1409s |      19 |   672876 |   490782 |    25925     40 |      701 |      554
1411.57/1411.94	c 1411s |      19 |   673440 |   491282 |    25925     40 |      701 |      554
1413.77/1414.15	c 1413s |      19 |   674020 |   491782 |    25925     40 |      701 |      554
1416.27/1416.60	c 1416s |      19 |   674595 |   492282 |    25925     40 |      701 |      554
1418.67/1419.07	c 1418s |      19 |   675137 |   492782 |    25925     40 |      701 |      554
1420.87/1421.28	c 1421s |      19 |   675581 |   493182 |    25925     41 |      701 |      554
1423.07/1423.50	c 1423s |      19 |   676255 |   493782 |    25925     41 |      701 |      554
1425.17/1425.50	c 1425s |      19 |   676811 |   494282 |    25925     41 |      701 |      554
1427.48/1427.87	c 1427s |      19 |   677456 |   494882 |    25925     41 |      701 |      554
1429.56/1429.92	c 1429s |      19 |   678017 |   495382 |    25925     41 |      701 |      554
1431.66/1432.03	c 1431s |      19 |   678736 |   495982 |    25925     41 |      701 |      554
1433.66/1434.03	c 1433s |      19 |   679289 |   496482 |    25925     41 |      701 |      554
1436.06/1436.46	c 1436s |      19 |   679971 |   497082 |    25925     41 |      701 |      554
1438.16/1438.52	c 1438s |      19 |   680533 |   497582 |    25925     41 |      701 |      554
1440.35/1440.70	c 1440s |      19 |   681198 |   498182 |    25925     41 |      701 |      554
1442.35/1442.75	c 1442s |      19 |   681724 |   498682 |    25925     41 |      701 |      554
1444.55/1444.97	c 1444s |      19 |   682444 |   499282 |    25925     41 |      701 |      554
1446.85/1447.30	c 1447s |      19 |   683223 |   499982 |    25925     41 |      701 |      554
1449.05/1449.41	c 1449s |      19 |   683919 |   500582 |    25925     41 |      701 |      554
1451.25/1451.69	c 1451s |      19 |   684599 |   501182 |    25925     41 |      701 |      554
1453.35/1453.75	c 1453s |      19 |   685347 |   501782 |    25925     41 |      701 |      554
1455.55/1455.94	c 1455s |      19 |   685927 |   502282 |    25925     41 |      701 |      554
1457.95/1458.34	c 1458s |      19 |   686622 |   502882 |    25925     41 |      701 |      554
1460.34/1460.76	c 1460s |      19 |   687302 |   503482 |    25925     41 |      701 |      554
1462.44/1462.85	c 1462s |      19 |   687874 |   503982 |    25925     41 |      701 |      554
1464.74/1465.10	c 1464s |      19 |   688446 |   504482 |    25925     41 |      701 |      554
1466.74/1467.11	c 1466s |      19 |   688892 |   504882 |    25925     41 |      701 |      554
1468.74/1469.15	c 1468s |      19 |   689338 |   505282 |    25925     41 |      701 |      554
1471.04/1471.42	c 1471s |      19 |   689894 |   505782 |    25925     41 |      701 |      554
1473.44/1473.84	c 1473s |      19 |   690451 |   506282 |    25925     41 |      701 |      554
1475.74/1476.19	c 1475s |      19 |   691009 |   506782 |    25925     41 |      701 |      554
1478.83/1479.27	c 1479s |      19 |   691577 |   507282 |    25925     42 |      701 |      554
1480.93/1481.36	c 1481s |      19 |   692144 |   507782 |    25925     42 |      701 |      554
1483.13/1483.55	c 1483s |      19 |   692814 |   508382 |    25925     42 |      701 |      554
1485.43/1485.86	c 1485s |      19 |   693636 |   509082 |    25925     42 |      701 |      554
1487.53/1487.98	c 1487s |      19 |   694301 |   509682 |    25925     42 |      701 |      554
1489.82/1490.24	c 1489s |      19 |   694956 |   510282 |    25925     42 |      701 |      554
1492.12/1492.51	c 1492s |      19 |   695648 |   510882 |    25925     42 |      701 |      554
1494.32/1494.78	c 1494s |      19 |   696309 |   511482 |    25925     42 |      701 |      554
1496.83/1497.22	c 1496s |      19 |   696968 |   512082 |    25925     42 |      701 |      554
1499.12/1499.50	c 1499s |      19 |   697656 |   512682 |    25925     42 |      701 |      554
1501.32/1501.79	c 1501s |      19 |   698333 |   513282 |    25925     42 |      701 |      554
1503.42/1503.86	c 1503s |      19 |   698887 |   513782 |    25925     42 |      701 |      554
1505.52/1505.92	c 1505s |      19 |   699462 |   514282 |    25925     42 |      701 |      554
1507.52/1507.99	c 1507s |      19 |   700030 |   514782 |    25925     42 |      701 |      554
1509.62/1510.02	c 1509s |      19 |   700619 |   515282 |    25925     42 |      701 |      554
1512.02/1512.49	c 1512s |      19 |   701288 |   515882 |    25925     42 |      701 |      554
1514.12/1514.51	c 1514s |      19 |   701855 |   516382 |    25925     42 |      701 |      554
1516.22/1516.63	c 1516s |      19 |   702409 |   516882 |    25925     42 |      701 |      554
1518.32/1518.76	c 1518s |      19 |   702983 |   517382 |    25925     42 |      701 |      554
1520.41/1520.88	c 1520s |      19 |   703590 |   517882 |    25925     42 |      701 |      554
1522.51/1522.92	c 1522s |      19 |   704154 |   518382 |    25925     42 |      701 |      554
1524.91/1525.37	c 1525s |      19 |   704709 |   518882 |    25925     42 |      701 |      554
1527.01/1527.42	c 1527s |      19 |   705284 |   519382 |    25925     42 |      701 |      554
1529.31/1529.70	c 1529s |      19 |   705845 |   519882 |    25925     42 |      701 |      554
1531.41/1531.88	c 1531s |      19 |   706419 |   520382 |    25925     42 |      701 |      554
1533.80/1534.21	c 1533s |      19 |   706989 |   520882 |    25925     42 |      701 |      554
1536.00/1536.40	c 1536s |      19 |   707724 |   521482 |    25925     42 |      701 |      554
1538.00/1538.47	c 1538s |      19 |   708199 |   521882 |    25925     43 |      701 |      554
1540.00/1540.49	c 1540s |      19 |   709106 |   522582 |    25925     43 |      701 |      554
1542.20/1542.68	c 1542s |      19 |   710092 |   523382 |    25925     43 |      701 |      554
1544.20/1544.68	c 1544s |      19 |   710943 |   524082 |    25925     43 |      701 |      554
1546.31/1546.76	c 1546s |      19 |   711651 |   524682 |    25925     43 |      701 |      554
1548.51/1548.91	c 1548s |      19 |   712473 |   525382 |    25925     43 |      701 |      554
1550.60/1551.02	c 1550s |      19 |   713280 |   526082 |    25925     43 |      701 |      554
1552.80/1553.26	c 1553s |      19 |   713958 |   526682 |    25925     43 |      701 |      554
1555.00/1555.42	c 1555s |      19 |   714649 |   527282 |    25925     43 |      701 |      554
1557.20/1557.60	c 1557s |      19 |   715360 |   527882 |    25925     43 |      701 |      554
1559.39/1559.82	c 1559s |      19 |   716063 |   528482 |    25925     43 |      701 |      554
1561.39/1561.90	c 1561s |      19 |   716649 |   528982 |    25925     43 |      701 |      554
1563.69/1564.19	c 1563s |      19 |   717355 |   529582 |    25925     43 |      701 |      554
1566.19/1566.64	c 1566s |      19 |   718039 |   530182 |    25925     43 |      701 |      554
1568.49/1568.96	c 1568s |      19 |   718626 |   530682 |    25925     43 |      701 |      554
1570.78/1571.28	c 1571s |      19 |   719191 |   531182 |    25925     43 |      701 |      554
1573.18/1573.67	c 1573s |      19 |   719768 |   531682 |    25925     43 |      701 |      554
1575.48/1575.99	c 1575s |      19 |   720476 |   532282 |    25925     43 |      701 |      554
1577.58/1578.02	c 1577s |      19 |   721051 |   532782 |    25925     43 |      701 |      554
1579.57/1580.02	c 1579s |      19 |   721696 |   533282 |    25925     43 |      701 |      554
1581.87/1582.38	c 1582s |      19 |   722260 |   533782 |    25925     43 |      701 |      554
1583.87/1584.38	c 1584s |      19 |   722789 |   534282 |    25925     43 |      701 |      554
1586.17/1586.68	c 1586s |      19 |   723360 |   534782 |    25925     43 |      701 |      554
1588.27/1588.74	c 1588s |      19 |   723813 |   535182 |    25925     43 |      701 |      554
1590.37/1590.86	c 1590s |      19 |   724391 |   535682 |    25925     43 |      701 |      554
1593.07/1593.58	c 1593s |      19 |   724988 |   536182 |    25925     44 |      701 |      554
1595.17/1595.63	c 1595s |      19 |   725668 |   536782 |    25925     44 |      701 |      554
1597.17/1597.65	c 1597s |      19 |   726379 |   537382 |    25925     44 |      701 |      554
1599.27/1599.78	c 1599s |      19 |   727091 |   537982 |    25925     44 |      701 |      554
1601.37/1601.89	c 1601s |      19 |   727759 |   538582 |    25925     44 |      701 |      554
1603.67/1604.16	c 1603s |      19 |   728290 |   539082 |    25925     44 |      701 |      554
1605.67/1606.19	c 1605s |      19 |   728856 |   539582 |    25925     44 |      701 |      554
1607.87/1608.35	c 1608s |      19 |   729417 |   540082 |    25925     44 |      701 |      554
1610.16/1610.66	c 1610s |      19 |   729989 |   540582 |    25925     44 |      701 |      554
1612.27/1612.72	c 1612s |      19 |   730400 |   540982 |    25925     44 |      701 |      554
1614.66/1615.15	c 1614s |      19 |   730946 |   541482 |    25925     44 |      701 |      554
1616.86/1617.32	c 1617s |      19 |   731507 |   541982 |    25925     44 |      701 |      554
1619.15/1619.60	c 1619s |      19 |   732074 |   542482 |    25925     44 |      701 |      554
1621.45/1621.91	c 1621s |      19 |   732623 |   542982 |    25925     44 |      701 |      554
1623.45/1623.99	c 1623s |      19 |   733070 |   543382 |    25925     44 |      701 |      554
1625.95/1626.41	c 1626s |      19 |   733643 |   543882 |    25925     44 |      701 |      554
1628.25/1628.73	c 1628s |      19 |   734181 |   544382 |    25925     44 |      701 |      554
1630.35/1630.82	c 1630s |      19 |   734597 |   544782 |    25925     44 |      701 |      554
1632.44/1632.91	c 1632s |      19 |   735030 |   545182 |    25925     44 |      701 |      554
1634.54/1635.01	c 1634s |      19 |   735597 |   545682 |    25925     44 |      701 |      554
1636.64/1637.19	c 1636s |      19 |   736142 |   546182 |    25925     44 |      701 |      554
1638.94/1639.47	c 1639s |      19 |   736723 |   546682 |    25925     44 |      701 |      554
1641.14/1641.60	c 1641s |      19 |   737159 |   547082 |    25925     44 |      701 |      554
1643.24/1643.78	c 1643s |      19 |   737585 |   547482 |    25925     44 |      701 |      554
1645.44/1645.92	c 1645s |      19 |   738003 |   547882 |    25925     44 |      701 |      554
1647.45/1647.99	c 1647s |      19 |   738427 |   548282 |    25925     44 |      701 |      554
1649.64/1650.16	c 1649s |      19 |   738869 |   548682 |    25925     44 |      701 |      554
1651.93/1652.48	c 1652s |      19 |   739300 |   549082 |    25925     44 |      701 |      554
1654.13/1654.61	c 1654s |      19 |   739745 |   549482 |    25925     44 |      701 |      554
1656.24/1656.74	c 1656s |      19 |   740197 |   549882 |    25925     44 |      701 |      554
1658.63/1659.11	c 1658s |      19 |   740627 |   550282 |    25925     44 |      701 |      554
1661.13/1661.64	c 1661s |      19 |   740942 |   550582 |    25925     45 |      701 |      554
1663.43/1663.91	c 1663s |      19 |   741492 |   551082 |    25925     45 |      701 |      554
1665.73/1666.27	c 1666s |      19 |   742047 |   551582 |    25925     45 |      701 |      554
1667.93/1668.41	c 1668s |      19 |   742598 |   552082 |    25925     45 |      701 |      554
1670.32/1670.82	c 1670s |      19 |   743135 |   552582 |    25925     45 |      701 |      554
1672.63/1673.15	c 1672s |      19 |   743692 |   553082 |    25925     45 |      701 |      554
1675.02/1675.51	c 1675s |      19 |   744240 |   553582 |    25925     45 |      701 |      554
1677.33/1677.81	c 1677s |      19 |   744912 |   554182 |    25925     45 |      701 |      554
1679.62/1680.18	c 1679s |      19 |   745450 |   554682 |    25925     45 |      701 |      554
1681.72/1682.28	c 1682s |      19 |   746017 |   555182 |    25925     45 |      701 |      554
1684.02/1684.52	c 1684s |      19 |   746843 |   555882 |    25925     45 |      701 |      554
1686.02/1686.58	c 1686s |      19 |   747533 |   556482 |    25925     45 |      701 |      554
1688.42/1688.93	c 1688s |      19 |   748350 |   557182 |    25925     45 |      701 |      554
1690.82/1691.31	c 1691s |      19 |   749014 |   557782 |    25925     45 |      701 |      554
1692.92/1693.40	c 1693s |      19 |   749587 |   558282 |    25925     45 |      701 |      554
1694.91/1695.49	c 1695s |      19 |   750154 |   558782 |    25925     45 |      701 |      554
1697.21/1697.74	c 1697s |      19 |   750881 |   559382 |    25925     45 |      701 |      554
1699.21/1699.76	c 1699s |      19 |   751443 |   559882 |    25925     45 |      701 |      554
1701.41/1701.98	c 1701s |      19 |   752009 |   560382 |    25925     45 |      701 |      554
1703.61/1704.19	c 1703s |      19 |   752572 |   560882 |    25925     45 |      701 |      554
1705.71/1706.23	c 1705s |      19 |   753141 |   561382 |    25925     45 |      701 |      554
1708.10/1708.63	c 1708s |      19 |   753705 |   561882 |    25925     45 |      701 |      554
1710.40/1710.99	c 1710s |      19 |   754246 |   562382 |    25925     45 |      701 |      554
1712.90/1713.42	c 1713s |      19 |   754806 |   562882 |    25925     45 |      701 |      554
1714.90/1715.42	c 1715s |      19 |   755251 |   563282 |    25925     45 |      701 |      554
1717.20/1717.76	c 1717s |      19 |   755819 |   563782 |    25925     45 |      701 |      554
1719.31/1719.82	c 1719s |      19 |   756381 |   564282 |    25925     45 |      701 |      554
1721.41/1721.93	c 1721s |      19 |   756830 |   564682 |    25925     45 |      701 |      554
1724.21/1724.80	c 1724s |      19 |   757262 |   565082 |    25925     46 |      701 |      554
1726.61/1727.16	c 1726s |      19 |   757933 |   565682 |    25925     46 |      701 |      554
1728.81/1729.37	c 1729s |      19 |   758476 |   566182 |    25925     46 |      701 |      554
1731.20/1731.78	c 1731s |      19 |   759155 |   566782 |    25925     46 |      701 |      554
1733.40/1733.97	c 1733s |      19 |   759734 |   567282 |    25925     46 |      701 |      554
1735.50/1736.03	c 1735s |      19 |   760305 |   567782 |    25925     46 |      701 |      554
1737.60/1738.13	c 1737s |      19 |   760836 |   568282 |    25925     46 |      701 |      554
1739.59/1740.17	c 1739s |      19 |   761389 |   568782 |    25925     46 |      701 |      554
1741.79/1742.34	c 1742s |      19 |   761939 |   569282 |    25925     46 |      701 |      554
1743.89/1744.48	c 1744s |      19 |   762491 |   569782 |    25925     46 |      701 |      554
1746.09/1746.67	c 1746s |      19 |   763040 |   570282 |    25925     46 |      701 |      554
1748.39/1748.99	c 1748s |      19 |   763576 |   570782 |    25925     46 |      701 |      554
1750.69/1751.28	c 1751s |      19 |   764129 |   571282 |    25925     46 |      701 |      554
1752.89/1753.47	c 1753s |      19 |   764667 |   571782 |    25925     46 |      701 |      554
1755.28/1755.85	c 1755s |      19 |   765194 |   572282 |    25925     46 |      701 |      554
1757.58/1758.12	c 1757s |      19 |   765747 |   572782 |    25925     46 |      701 |      554
1759.87/1760.46	c 1760s |      19 |   766424 |   573382 |    25925     46 |      701 |      554
1761.97/1762.52	c 1762s |      19 |   766962 |   573882 |    25925     46 |      701 |      554
1764.17/1764.76	c 1764s |      19 |   767537 |   574382 |    25925     46 |      701 |      554
1766.37/1766.91	c 1766s |      19 |   768090 |   574882 |    25925     46 |      701 |      554
1768.38/1768.99	c 1768s |      19 |   768514 |   575282 |    25925     46 |      701 |      554
1770.76/1771.32	c 1771s |      19 |   769065 |   575782 |    25925     46 |      701 |      554
1772.77/1773.36	c 1773s |      19 |   769491 |   576182 |    25925     46 |      701 |      554
1774.76/1775.39	c 1775s |      19 |   769916 |   576582 |    25925     46 |      701 |      554
1777.26/1777.87	c 1777s |      19 |   770483 |   577082 |    25925     46 |      701 |      554
1779.76/1780.30	c 1780s |      19 |   771036 |   577582 |    25925     46 |      701 |      554
1782.06/1782.64	c 1782s |      19 |   771567 |   578082 |    25925     46 |      701 |      554
1784.26/1784.84	c 1784s |      19 |   772129 |   578582 |    25925     46 |      701 |      554
1786.36/1786.98	c 1786s |      19 |   772686 |   579082 |    25925     46 |      701 |      554
1788.66/1789.27	c 1789s |      19 |   773029 |   579382 |    25925     47 |      701 |      554
1790.96/1791.55	c 1791s |      19 |   773695 |   579982 |    25925     47 |      701 |      554
1793.06/1793.65	c 1793s |      19 |   774250 |   580482 |    25925     47 |      701 |      554
1795.26/1795.81	c 1795s |      19 |   774793 |   580982 |    25925     47 |      701 |      554
1797.36/1797.96	c 1797s |      19 |   775213 |   581382 |    25925     47 |      701 |      554
1799.35/1799.99	c 1799s |      19 |   775761 |   581882 |    25925     47 |      701 |      554

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

pid=23162
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.26 2.25 2.52 3/179 23165
/proc/meminfo: memFree=30299716/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=718268 CPUtime=0 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 2677 0 0 0 0 0 0 0 20 0 4 0 29349965 735506432 3548 33554432000 4194304 16246674 140733226476832 140733226476256 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 180079 3555 441 2943 0 176973 0
[pid=23165/tid=23166] ppid=23162 vsize=735676 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 753332224 3618 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=739772 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 757526528 3634 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=743868 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 761720832 3651 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.26 2.25 2.52 3/179 23165
/proc/meminfo: memFree=30299716/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 28275 0 0 0 6 3 0 0 20 0 4 0 29349965 1249447936 29084 33554432000 4194304 16246674 140733226476832 140733226476144 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 305041 29084 801 2943 0 301935 0
[pid=23165/tid=23166] ppid=23162 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1249447936 29084 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1249447936 29084 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1249447936 29084 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.20053 s]
/proc/loadavg: 2.26 2.25 2.52 3/179 23165
/proc/meminfo: memFree=30299716/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 48482 0 0 0 13 6 0 0 20 0 4 0 29349965 1332285440 49291 33554432000 4194304 16246674 140733226476832 140733226476144 12458379 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 325265 49291 842 2943 0 322159 0
[pid=23165/tid=23166] ppid=23162 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1332285440 49291 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1332285440 49291 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1332285440 49291 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300488 s]
/proc/loadavg: 2.26 2.25 2.52 3/179 23165
/proc/meminfo: memFree=30299716/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 50435 0 0 0 23 6 0 0 20 0 4 0 29349965 1332285440 51244 33554432000 4194304 16246674 140733226476832 140733226476144 5661217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 325265 51247 882 2943 0 322159 0
[pid=23165/tid=23166] ppid=23162 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1332285440 51249 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1332285440 51250 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1332285440 51252 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.70041 s]
/proc/loadavg: 2.26 2.25 2.52 3/179 23165
/proc/meminfo: memFree=30299716/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 97014 0 0 0 55 14 0 0 20 0 4 0 29349965 1332285440 97823 33554432000 4194304 16246674 140733226476832 140733226476144 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 325265 97830 882 2943 0 322159 0
[pid=23165/tid=23166] ppid=23162 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1332285440 97834 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1332285440 97837 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1332285440 97841 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50041 s]
/proc/loadavg: 2.26 2.25 2.52 3/183 23169
/proc/meminfo: memFree=29120168/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 194410 0 0 0 123 26 0 0 20 0 4 0 29349965 1332285440 195219 33554432000 4194304 16246674 140733226476832 140733226459832 5722241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 325265 195226 882 2943 0 322159 0
[pid=23165/tid=23166] ppid=23162 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1332285440 195231 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1332285440 195234 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1332285440 195238 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10042 s]
/proc/loadavg: 2.26 2.25 2.52 3/183 23169
/proc/meminfo: memFree=28192400/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1312324 CPUtime=3.09 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 269262 0 0 0 273 36 0 0 20 0 4 0 29349965 1343819776 270071 33554432000 4194304 16246674 140733226476832 140733226458752 5515792 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 328081 270071 888 2943 0 324975 0
[pid=23165/tid=23166] ppid=23162 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1343819776 270071 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1343819776 270071 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1343819776 270071 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30038 s]
/proc/loadavg: 2.24 2.25 2.52 3/183 23169
/proc/meminfo: memFree=28192784/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 269266 0 0 0 593 36 0 0 20 0 4 0 29349965 1343819776 270075 33554432000 4194304 16246674 140733226476832 140733226458752 5724032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 328081 270075 888 2943 0 324975 0
[pid=23165/tid=23166] ppid=23162 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1343819776 270075 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1343819776 270075 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1343819776 270075 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.22 2.25 2.51 3/183 23169
/proc/meminfo: memFree=28192768/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 269267 0 0 0 1233 36 0 0 20 0 4 0 29349965 1343819776 270076 33554432000 4194304 16246674 140733226476832 140733226458752 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 328081 270076 888 2943 0 324975 0
[pid=23165/tid=23166] ppid=23162 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1343819776 270076 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1343819776 270076 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1343819776 270076 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.32 2.27 2.51 4/183 23169
/proc/meminfo: memFree=28193580/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1312324 CPUtime=25.48 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 269270 0 0 0 2512 36 0 0 20 0 4 0 29349965 1343819776 270079 33554432000 4194304 16246674 140733226476832 140733226458752 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 328081 270079 891 2943 0 324975 0
[pid=23165/tid=23166] ppid=23162 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1343819776 270079 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1343819776 270079 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1343819776 270079 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.28 2.26 2.50 3/183 23169
/proc/meminfo: memFree=28193272/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 269271 0 0 0 5072 36 0 0 20 0 4 0 29349965 1343819776 270080 33554432000 4194304 16246674 140733226476832 140733226458752 5676365 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 328081 270080 892 2943 0 324975 0
[pid=23165/tid=23166] ppid=23162 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1343819776 270080 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1343819776 270080 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1343819776 270080 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.28 2.26 2.49 4/183 23170
/proc/meminfo: memFree=28183912/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1318468 CPUtime=102.28 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 270653 0 0 0 10191 37 0 0 20 0 4 0 29349965 1350111232 271462 33554432000 4194304 16246674 140733226476832 140733226458752 5823523 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 329617 271462 892 2943 0 326511 0
[pid=23165/tid=23166] ppid=23162 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1350111232 271462 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1350111232 271462 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1350111232 271462 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1328708

[startup+1302.3 s]
/proc/loadavg: 2.40 2.30 2.32 3/183 23272
/proc/meminfo: memFree=28161876/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1328708 CPUtime=1302.03 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 273469 0 0 0 130160 43 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 140733226458752 12483411 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 332177 274179 892 2943 0 329071 0
[pid=23165/tid=23166] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 1328708

[startup+1362.3 s]
/proc/loadavg: 2.27 2.27 2.31 3/183 23273
/proc/meminfo: memFree=28161412/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1328708 CPUtime=1362 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 273505 0 0 0 136156 44 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 140733226458752 12483512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 332177 274179 892 2943 0 329071 0
[pid=23165/tid=23166] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1328708

[startup+1422.3 s]
/proc/loadavg: 2.41 2.30 2.31 3/183 23275
/proc/meminfo: memFree=28160708/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1328708 CPUtime=1421.97 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 273550 0 0 0 142153 44 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 140733226476008 5722592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 332177 274179 892 2943 0 329071 0
[pid=23165/tid=23166] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1328708

[startup+1482.3 s]
/proc/loadavg: 2.32 2.29 2.30 3/183 23276
/proc/meminfo: memFree=28160748/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1328708 CPUtime=1481.93 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 273594 0 0 0 148148 45 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 140733226458752 6021240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 332177 274179 892 2943 0 329071 0
[pid=23165/tid=23166] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1328708

[startup+1542.31 s]
/proc/loadavg: 2.26 2.28 2.30 4/184 23280
/proc/meminfo: memFree=28160840/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1328708 CPUtime=1541.91 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 273635 0 0 0 154145 46 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 140733226458752 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 332177 274179 892 2943 0 329071 0
[pid=23165/tid=23166] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1328708

[startup+1602.3 s]
/proc/loadavg: 2.24 2.27 2.29 4/183 23281
/proc/meminfo: memFree=28160392/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1328708 CPUtime=1601.87 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 273678 0 0 0 160140 47 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 140733226458752 5676109 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 332177 274179 892 2943 0 329071 0
[pid=23165/tid=23166] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1328708

[startup+1662.3 s]
/proc/loadavg: 2.15 2.23 2.27 3/183 23282
/proc/meminfo: memFree=28160300/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1328708 CPUtime=1661.83 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 273716 0 0 0 166136 47 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 140733226476008 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 332177 274179 892 2943 0 329071 0
[pid=23165/tid=23166] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1328708

[startup+1722.3 s]
/proc/loadavg: 2.22 2.23 2.27 3/182 23283
/proc/meminfo: memFree=28160832/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1328708 CPUtime=1721.81 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 273761 0 0 0 172132 49 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 140733226475928 5677667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 332177 274179 892 2943 0 329071 0
[pid=23165/tid=23166] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1328708

[startup+1782.3 s]
/proc/loadavg: 2.25 2.24 2.27 3/183 23286
/proc/meminfo: memFree=28159868/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1328708 CPUtime=1781.76 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 273809 0 0 0 178127 49 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 140733226458752 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 332177 274179 892 2943 0 329071 0
[pid=23165/tid=23166] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1328708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.25 2.24 2.27 3/183 23286
/proc/meminfo: memFree=28159476/32872528 swapFree=1541156/1696500
[pid=23165] ppid=23162 vsize=1328708 CPUtime=1800.05 cores=1,3,5,7
/proc/23165/stat : 23165 (toysat) R 23162 23165 19474 0 -1 4202496 273822 0 0 0 179955 50 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 140733226458752 5673435 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23165/statm: 332177 274179 892 2943 0 329071 0
[pid=23165/tid=23166] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23166/stat : 23166 (toysat) S 23162 23165 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883555302640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23165/tid=23167] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23167/stat : 23167 (toysat) S 23162 23165 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883544812784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23165/tid=23168] ppid=23162 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/23165/task/23168/stat : 23168 (toysat) S 23162 23165 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29349965 1360596992 274179 33554432000 4194304 16246674 140733226476832 139883460947120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1328708

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 23165 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.06
CPU user time (s): 1799.56
CPU system time (s): 0.502923
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 1328708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.502923
maximum resident set size= 1096716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273822
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= 469
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.31704 second user time and 9.77251 second system time

The end

Begin job on node125 at 2016-06-26 19:45:13
IDJOB=4117205
IDBENCH=109566
IDSOLVER=2542
FILE ID=node125/4117205-1466963112
RUNJOBID= node125-1466961311-22991
PBS_JOBID= 19976354
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-8.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117205-1466963112/watcher-4117205-1466963112 -o /tmp/evaluation-result-4117205-1466963112/solver-4117205-1466963112 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466961311-22991 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117205-1466963112.opb

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

MD5SUM BENCH= 5ea154bf81356495a44b9c22bfa96bb7
RANDOM SEED=69218989

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
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		: 2667.021
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:        30326508 kB
Buffers:           26552 kB
Cached:            92128 kB
SwapCached:         1736 kB
Active:           101352 kB
Inactive:          45200 kB
Active(anon):      29044 kB
Inactive(anon):      448 kB
Active(file):      72308 kB
Inactive(file):    44752 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             33384 kB
Writeback:             0 kB
AnonPages:       1922072 kB
Mapped:             9128 kB
Shmem:                 0 kB
Slab:             567764 kB
SReclaimable:      11596 kB
SUnreclaim:       556168 kB
KernelStack:        1520 kB
PageTables:         9220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2825308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    358400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node125 at 2016-06-26 20:15:13