0.00/0.00	c 2016-06-17T01:18:34+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-4098003-1466119113.opb"]
0.00/0.01	c use --random-gen="2864619280 3320028368 3827688518 1180524961 656667592 11494408 3840034488 3087431511 2791642777 2293698726 423775763 689427441 2239766292 4115122527 1698352046 3689477072 3122067013 978176399 1694275556 3362714288 665972279 3664453768 2849382094 355237433 3280919724 3642682530 1101949052 2725998101 2104168099 706775260 1422966415 2332769498 1967781150 1668862161 155613311 3897642608 1464423267 1612341628 738789256 2736475026 1856007710 3469905508 2100250271 1459685958 2516106635 322635064 2410451755 2677918015 3305661465 569350333 1451791072 559924144 167089892 1195897409 3743365770 3723108390 2801831244 2868151422 494594700 1458851229 2518441355 819319182 4025963967 3090913210 1435198918 1421555376 3452203434 2705984272 864989055 1864489039 651965966 2000818047 687047770 2551994777 28027808 3332773393 4082920946 156501000 2109324219 355382299 1268450937 2705578848 1887522017 4053622963 1840283101 1047782864 2740196782 966732656 565974336 3116774780 393263734 3371949973 2911536678 3183867464 1271962570 2198870685 4080377556 2918554110 1776838679 1994461455 3371591461 3794202930 150588755 534206677 1706695553 3931394871 4011694866 1141285063 394944048 852508253 1506214246 394726097 1374356413 1352738196 2114290389 1231379657 3722145519 52376451 2445270011 2944143203 3483409826 854952813 238768108 31941458 888576781 4000813700 656898385 806478023 1667107378 2923381183 1303427223 25809263 643964636 620118946 2764518622 1937404138 2911065422 4135444046 1693679419 992244321 626376548 3988295733 247331280 3851777958 2236542397 955758724 1499241869 903959050 1377284345 2356025122 2897864704 3752545769 3391277166 1772987211 2262435437 3436044729 2780249120 3584952911 1635909039 433352330 3327353563 3899563786 2069260378 3483884264 1652127802 1003691869 946726048 2935546313 3435521711 2573635377 3670695959 3929835526 2949335549 482984955 3115580243 1726790875 1646929144 2204102253 111579180 3720346647 3225318187 3932625812 3526946649 3437170792 425682212 2076019209 2011385502 935419731 2131204963 1425206153 849726212 930969299 564478613 2192210289 313406786 2997719692 487207464 1366258582 1000392114 3782216511 316842558 1420604935 3907123500 1507797575 4198919570 1705654027 4053829767 3657695306 2519816016 2764248856 375445971 2728010434 4103995845 1727575616 3258043231 1469862488 495298586 2047264976 2199835340 708494158 2722117644 2806578336 1826336398 2854371161 938615106 428980571 2859036215 3736246133 1085042825 589280784 3688795042 155955605 341354099 1593329890 2291913973 3211041783 866226964 1909245154 3139583221 4174664862 7537031 750024412 474370940 2013879586 2506287314 3946665122 2900301269 3055965794 1449060414 1387894274 3153079185 272681651 3266741530 3241437784 2791393063 2248857456 255 362436" option to reproduce the execution
0.19/0.20	c #vars 2256
0.19/0.20	c #constraints 10862
0.39/0.49	c Solving starts ...
0.39/0.49	c ============================[ Search Statistics ]============================
0.39/0.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.49	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.49	c =============================================================================
0.39/0.49	c  0.0s |       0 |        0 |        0 |     4371      0 |        5 |        0
0.59/0.65	c  0.2s |       1 |      424 |      100 |     4371      0 |        5 |      400
0.79/0.85	c  0.4s |       2 |      844 |      250 |     4809      0 |        5 |      400
1.10/1.14	c  0.6s |       3 |     1628 |      475 |     5290      0 |        5 |      400
1.49/1.58	c  1.1s |       4 |     2666 |      813 |     5820      0 |        5 |      400
1.99/2.07	c  1.6s |       5 |     3845 |     1320 |     6403      0 |        5 |      400
2.69/2.79	c  2.3s |       6 |     5638 |     2081 |     7749      0 |        5 |      400
3.78/3.80	c  3.3s |       7 |     8158 |     3223 |     8524      0 |        5 |      400
5.38/5.50	c  5.0s |       8 |    11410 |     4936 |     9377      0 |        5 |      400
7.48/7.54	c  7.1s |       8 |    14856 |     7036 |     9377      0 |        5 |      400
7.98/8.07	c  7.6s |       9 |    15645 |     7506 |    10315      0 |        5 |      400
10.08/10.12	c  9.6s |       9 |    19230 |     9206 |    10315      0 |        5 |      400
12.09/12.17	c 11.7s |       9 |    22852 |    11006 |    10315      0 |        5 |      400
12.38/12.49	c 12.0s |      10 |    23376 |    11361 |    11347      0 |        5 |      400
14.49/14.50	c 14.0s |      10 |    26047 |    12961 |    11347      1 |        5 |      400
16.50/16.55	c 16.1s |      10 |    29543 |    14661 |    11347      1 |        5 |      400
18.59/18.62	c 18.1s |      10 |    33057 |    16661 |    11347      1 |        5 |      400
19.09/19.15	c 18.7s |      11 |    33851 |    17144 |    12482      1 |        5 |      400
21.19/21.26	c 20.8s |      11 |    36478 |    18944 |    12482      2 |        5 |      400
23.19/23.28	c 22.8s |      11 |    40345 |    20744 |    12482      2 |        5 |      400
25.29/25.37	c 24.9s |      11 |    44486 |    22744 |    12482      2 |        5 |      400
27.39/27.44	c 27.0s |      11 |    47871 |    24544 |    12482      2 |        5 |      400
28.88/28.91	c 28.4s |      12 |    49878 |    25819 |    13731      3 |        5 |      400
30.89/30.93	c 30.4s |      12 |    53365 |    27919 |    13731      3 |        5 |      400
32.88/33.00	c 32.5s |      12 |    56430 |    30219 |    13731      3 |        5 |      400
35.08/35.10	c 34.6s |      12 |    59509 |    32019 |    13731      3 |        5 |      400
37.18/37.20	c 36.7s |      12 |    62139 |    33719 |    13731      4 |        5 |      400
39.28/39.33	c 38.8s |      12 |    65202 |    35619 |    13731      4 |        5 |      400
41.28/41.38	c 40.9s |      12 |    68268 |    37519 |    13731      4 |        5 |      400
42.68/42.76	c 42.3s |      13 |    70394 |    38832 |    15105      4 |        5 |      400
44.68/44.79	c 44.3s |      13 |    73617 |    40432 |    15105      4 |        5 |      400
46.78/46.87	c 46.4s |      13 |    76452 |    42132 |    15105      5 |        5 |      400
48.88/48.97	c 48.5s |      13 |    79873 |    44232 |    15105      5 |        5 |      400
50.88/50.99	c 50.5s |      13 |    82792 |    46332 |    15105      5 |        5 |      400
52.98/53.04	c 52.6s |      13 |    85406 |    48432 |    15105      5 |        5 |      400
55.18/55.26	c 54.8s |      13 |    87694 |    49932 |    15105      6 |        5 |      400
57.18/57.29	c 56.8s |      13 |    90628 |    51732 |    15105      6 |        5 |      400
59.28/59.36	c 58.9s |      13 |    93458 |    53532 |    15105      6 |        5 |      400
61.38/61.42	c 60.9s |      13 |    95745 |    55232 |    15105      6 |        5 |      400
63.48/63.52	c 63.0s |      13 |    98215 |    57032 |    15105      6 |        5 |      400
64.88/64.99	c 64.5s |      14 |    99855 |    58352 |    16616      6 |        5 |      400
66.97/67.05	c 66.6s |      14 |   102422 |    59852 |    16616      7 |        5 |      400
68.98/69.09	c 68.6s |      14 |   105095 |    61452 |    16616      7 |        5 |      400
71.08/71.20	c 70.7s |      14 |   108310 |    63252 |    16616      7 |        5 |      400
73.18/73.28	c 72.8s |      14 |   110931 |    65052 |    16616      7 |        5 |      400
75.28/75.35	c 74.9s |      14 |   113506 |    67052 |    16616      7 |        5 |      400
77.38/77.45	c 77.0s |      14 |   116017 |    68952 |    16616      8 |        5 |      400
79.48/79.54	c 79.1s |      14 |   118759 |    70852 |    16616      8 |        5 |      400
81.49/81.55	c 81.1s |      14 |   121089 |    72452 |    16616      8 |        5 |      400
83.59/83.60	c 83.1s |      14 |   123811 |    74252 |    16616      8 |        5 |      400
85.58/85.63	c 85.1s |      14 |   126058 |    76052 |    16616      8 |        5 |      400
87.58/87.66	c 87.2s |      14 |   128603 |    77652 |    16616      9 |        5 |      400
89.68/89.72	c 89.2s |      14 |   131780 |    79852 |    16616      9 |        5 |      400
91.68/91.75	c 91.3s |      14 |   134718 |    82152 |    16616      9 |        5 |      400
93.78/93.85	c 93.4s |      14 |   137323 |    84052 |    16616      9 |        5 |      400
95.88/95.90	c 95.4s |      14 |   139870 |    86152 |    16616     10 |        5 |      400
97.17/97.29	c 96.8s |      15 |   141978 |    87632 |    18278     10 |        5 |      400
99.27/99.36	c 98.9s |      15 |   145102 |    90032 |    18278     10 |        5 |      400
101.28/101.39	c  100s |      15 |   147596 |    92032 |    18278     10 |        5 |      400
103.38/103.44	c  102s |      15 |   150497 |    94232 |    18278     10 |        5 |      400
105.37/105.45	c  104s |      15 |   152742 |    96232 |    18278     10 |        5 |      400
107.37/107.46	c  106s |      15 |   155145 |    98332 |    18278     11 |        5 |      400
110.66/110.79	c  110s |      15 |   156159 |    99132 |    18278     11 |        5 |      400
112.76/112.85	c  112s |      15 |   158548 |   100832 |    18278     11 |        5 |      400
114.86/114.94	c  114s |      15 |   161144 |   102832 |    18278     11 |        5 |      400
116.86/116.97	c  116s |      15 |   163575 |   104732 |    18278     11 |        5 |      400
118.86/118.99	c  118s |      15 |   165605 |   106332 |    18278     12 |        5 |      400
121.06/121.11	c  120s |      15 |   168370 |   107932 |    18278     12 |        5 |      400
123.06/123.17	c  122s |      15 |   170684 |   109532 |    18278     12 |        5 |      400
125.26/125.31	c  124s |      15 |   172982 |   111132 |    18278     12 |        5 |      400
127.25/127.38	c  126s |      15 |   175189 |   112632 |    18278     12 |        5 |      400
129.45/129.51	c  129s |      15 |   177265 |   114132 |    18278     12 |        5 |      400
131.45/131.53	c  131s |      15 |   179061 |   115432 |    18278     13 |        5 |      400
133.45/133.56	c  133s |      15 |   181514 |   117432 |    18278     13 |        5 |      400
135.55/135.64	c  135s |      15 |   183949 |   119132 |    18278     13 |        5 |      400
137.65/137.73	c  137s |      15 |   186345 |   120832 |    18278     13 |        5 |      400
139.66/139.79	c  139s |      15 |   188431 |   122632 |    18278     13 |        5 |      400
141.86/141.91	c  141s |      15 |   190296 |   124132 |    18278     13 |        5 |      400
143.85/143.96	c  143s |      15 |   191964 |   125332 |    18278     14 |        5 |      400
145.85/145.97	c  145s |      15 |   194080 |   126932 |    18278     14 |        5 |      400
147.85/147.99	c  147s |      15 |   196123 |   128532 |    18278     14 |        5 |      400
149.85/150.00	c  149s |      15 |   198291 |   130232 |    18278     14 |        5 |      400
151.35/151.48	c  150s |      16 |   199891 |   131552 |    20106     14 |        5 |      400
153.35/153.49	c  153s |      16 |   201349 |   132552 |    20106     14 |        5 |      400
155.35/155.50	c  155s |      16 |   203598 |   134052 |    20106     14 |        5 |      400
157.44/157.52	c  157s |      16 |   205982 |   135652 |    20106     14 |        5 |      400
159.45/159.59	c  159s |      16 |   207905 |   137052 |    20106     15 |        5 |      400
161.54/161.68	c  161s |      16 |   210647 |   139152 |    20106     15 |        5 |      400
163.64/163.70	c  163s |      16 |   213188 |   140852 |    20106     15 |        5 |      400
165.64/165.77	c  165s |      16 |   215802 |   142552 |    20106     15 |        5 |      400
167.64/167.79	c  167s |      16 |   218193 |   144152 |    20106     15 |        5 |      400
169.74/169.81	c  169s |      16 |   220536 |   145752 |    20106     15 |        5 |      400
171.73/171.85	c  171s |      16 |   222502 |   147352 |    20106     16 |        5 |      400
173.75/173.86	c  173s |      16 |   224783 |   148952 |    20106     16 |        5 |      400
175.84/175.93	c  175s |      16 |   227426 |   150852 |    20106     16 |        5 |      400
177.94/178.01	c  177s |      16 |   230104 |   152852 |    20106     16 |        5 |      400
179.94/180.05	c  179s |      16 |   232843 |   154752 |    20106     16 |        5 |      400
181.94/182.07	c  181s |      16 |   235495 |   156452 |    20106     16 |        5 |      400
184.04/184.16	c  183s |      16 |   238057 |   158352 |    20106     17 |        5 |      400
186.03/186.17	c  185s |      16 |   240904 |   160452 |    20106     17 |        5 |      400
188.04/188.20	c  187s |      16 |   243333 |   162352 |    20106     17 |        5 |      400
190.13/190.27	c  189s |      16 |   246112 |   164352 |    20106     17 |        5 |      400
192.13/192.28	c  191s |      16 |   248821 |   166452 |    20106     17 |        5 |      400
194.23/194.35	c  193s |      16 |   251075 |   168152 |    20106     18 |        5 |      400
196.33/196.44	c  195s |      16 |   254142 |   170452 |    20106     18 |        5 |      400
198.43/198.50	c  198s |      16 |   256833 |   172552 |    20106     18 |        5 |      400
200.43/200.53	c  200s |      16 |   259324 |   174552 |    20106     18 |        5 |      400
202.53/202.61	c  202s |      16 |   261717 |   176552 |    20106     18 |        5 |      400
207.53/207.66	c  207s |      16 |   264375 |   178652 |    20106     19 |        5 |      400
209.63/209.71	c  209s |      16 |   266566 |   179752 |    20106     19 |        5 |      400
211.63/211.76	c  211s |      16 |   270015 |   181752 |    20106     19 |        5 |      400
213.63/213.79	c  213s |      16 |   272698 |   183652 |    20106     19 |        5 |      400
215.73/215.84	c  215s |      16 |   275406 |   185552 |    20106     19 |        5 |      400
217.73/217.90	c  217s |      16 |   277853 |   187452 |    20106     19 |        5 |      400
219.82/219.97	c  219s |      16 |   280338 |   189452 |    20106     20 |        5 |      400
221.92/222.04	c  221s |      16 |   282959 |   191452 |    20106     20 |        5 |      400
224.02/224.10	c  223s |      16 |   285219 |   193152 |    20106     20 |        5 |      400
226.02/226.11	c  225s |      16 |   287383 |   194752 |    20106     20 |        5 |      400
228.02/228.19	c  227s |      16 |   289602 |   196052 |    20106     20 |        5 |      400
229.82/229.91	c  229s |      17 |   291562 |   197432 |    22117     20 |        5 |      400
231.82/231.92	c  231s |      17 |   293874 |   198932 |    22117     20 |        5 |      400
233.82/233.98	c  233s |      17 |   295970 |   200632 |    22117     20 |        5 |      400
236.02/236.17	c  235s |      17 |   298194 |   202332 |    22117     21 |        5 |      400
238.01/238.19	c  237s |      17 |   300690 |   204332 |    22117     21 |        5 |      400
240.11/240.21	c  239s |      17 |   303269 |   206332 |    22117     21 |        5 |      400
242.71/242.86	c  242s |      17 |   305224 |   207732 |    22117     21 |        5 |      400
244.81/244.90	c  244s |      17 |   307497 |   209232 |    22117     21 |        5 |      400
246.80/246.93	c  246s |      17 |   309821 |   210532 |    22117     21 |        5 |      400
248.90/249.03	c  248s |      17 |   311709 |   211932 |    22117     21 |        5 |      400
250.90/251.06	c  250s |      17 |   313767 |   213332 |    22117     22 |        5 |      400
253.01/253.11	c  252s |      17 |   316117 |   215032 |    22117     22 |        5 |      400
255.00/255.15	c  254s |      17 |   318823 |   216932 |    22117     22 |        5 |      400
257.00/257.19	c  256s |      17 |   321435 |   218932 |    22117     22 |        5 |      400
259.10/259.26	c  258s |      17 |   324143 |   221132 |    22117     22 |        5 |      400
261.20/261.38	c  260s |      17 |   326122 |   222532 |    22117     22 |        5 |      400
263.50/263.65	c  263s |      17 |   328178 |   224032 |    22117     23 |        5 |      400
265.50/265.67	c  265s |      17 |   330313 |   225632 |    22117     23 |        5 |      400
267.59/267.71	c  267s |      17 |   332597 |   227232 |    22117     23 |        5 |      400
269.69/269.83	c  269s |      17 |   334803 |   229032 |    22117     23 |        5 |      400
271.79/271.95	c  271s |      17 |   336678 |   230632 |    22117     23 |        5 |      400
273.99/274.12	c  273s |      17 |   338730 |   232032 |    22117     23 |        5 |      400
276.19/276.30	c  275s |      17 |   340709 |   233532 |    22117     23 |        5 |      400
278.29/278.41	c  277s |      17 |   342200 |   234732 |    22117     23 |        5 |      400
280.29/280.47	c  279s |      17 |   343694 |   235932 |    22117     24 |        5 |      400
282.39/282.57	c  282s |      17 |   345861 |   237632 |    22117     24 |        5 |      400
284.49/284.66	c  284s |      17 |   348103 |   239532 |    22117     24 |        5 |      400
286.58/286.71	c  286s |      17 |   350016 |   241032 |    22117     24 |        5 |      400
288.68/288.84	c  288s |      17 |   351807 |   242432 |    22117     24 |        5 |      400
290.68/290.87	c  290s |      17 |   353513 |   243732 |    22117     24 |        5 |      400
292.78/292.92	c  292s |      17 |   355365 |   245132 |    22117     24 |        5 |      400
294.88/295.00	c  294s |      17 |   357020 |   246432 |    22117     24 |        5 |      400
296.88/297.09	c  296s |      17 |   358934 |   247932 |    22117     25 |        5 |      400
298.98/299.16	c  298s |      17 |   361199 |   249832 |    22117     25 |        5 |      400
301.08/301.27	c  300s |      17 |   363372 |   251632 |    22117     25 |        5 |      400
303.08/303.27	c  302s |      17 |   365176 |   252932 |    22117     25 |        5 |      400
305.18/305.35	c  304s |      17 |   367361 |   254532 |    22117     25 |        5 |      400
307.27/307.40	c  306s |      17 |   369425 |   256232 |    22117     25 |        5 |      400
309.27/309.47	c  308s |      17 |   371345 |   257832 |    22117     25 |        5 |      400
311.28/311.49	c  310s |      17 |   373181 |   259432 |    22117     26 |        5 |      400
313.38/313.57	c  313s |      17 |   375363 |   261332 |    22117     26 |        5 |      400
315.47/315.64	c  315s |      17 |   377544 |   263232 |    22117     26 |        5 |      400
317.48/317.68	c  317s |      17 |   379501 |   264932 |    22117     26 |        5 |      400
319.58/319.70	c  319s |      17 |   381412 |   266632 |    22117     26 |        5 |      400
321.68/321.82	c  321s |      17 |   383355 |   268232 |    22117     26 |        5 |      400
323.77/323.91	c  323s |      17 |   385086 |   269732 |    22117     26 |        5 |      400
325.97/326.10	c  325s |      17 |   386539 |   270932 |    22117     27 |        5 |      400
328.07/328.21	c  327s |      17 |   388611 |   272632 |    22117     27 |        5 |      400
330.17/330.34	c  329s |      17 |   390457 |   274032 |    22117     27 |        5 |      400
332.27/332.41	c  331s |      17 |   392298 |   275532 |    22117     27 |        5 |      400
334.28/334.45	c  333s |      17 |   393931 |   276932 |    22117     27 |        5 |      400
342.57/342.76	c  342s |      17 |   395423 |   278032 |    22117     27 |        5 |      400
344.67/344.80	c  344s |      17 |   397770 |   279332 |    22117     27 |        5 |      400
346.67/346.85	c  346s |      17 |   399901 |   280932 |    22117     27 |        5 |      400
348.77/348.91	c  348s |      17 |   401841 |   282032 |    22117     28 |        5 |      400
350.88/351.01	c  350s |      17 |   404947 |   284032 |    22117     28 |        5 |      400
352.98/353.13	c  352s |      17 |   406484 |   285332 |    22117     28 |        5 |      400
355.07/355.25	c  354s |      17 |   408586 |   286832 |    22117     28 |        5 |      400
357.26/357.43	c  356s |      17 |   411198 |   288632 |    22117     28 |        5 |      400
359.26/359.46	c  358s |      17 |   413071 |   289932 |    22117     28 |        5 |      400
361.36/361.53	c  361s |      17 |   415207 |   291432 |    22117     28 |        5 |      400
363.46/363.63	c  363s |      17 |   417322 |   293032 |    22117     28 |        5 |      400
365.46/365.66	c  365s |      17 |   419569 |   294632 |    24329     29 |        5 |      400
367.16/367.33	c  366s |      18 |   421688 |   296252 |    24329     29 |        5 |      400
369.16/369.37	c  368s |      18 |   423607 |   297852 |    24329     29 |        5 |      400
371.36/371.55	c  371s |      18 |   425326 |   299252 |    24329     29 |        5 |      400
373.46/373.64	c  373s |      18 |   426925 |   300352 |    24329     29 |        5 |      400
375.56/375.72	c  375s |      18 |   428470 |   301552 |    24329     29 |        5 |      400
377.65/377.86	c  377s |      18 |   430717 |   302752 |    24329     29 |        5 |      400
379.75/379.94	c  379s |      18 |   432875 |   304152 |    24329     29 |        5 |      400
381.85/382.00	c  381s |      18 |   434996 |   305552 |    24329     29 |        5 |      400
383.86/384.03	c  383s |      18 |   436895 |   306852 |    24329     30 |        5 |      400
385.85/386.10	c  385s |      18 |   439077 |   308552 |    24329     30 |        5 |      400
387.95/388.15	c  387s |      18 |   440843 |   309952 |    24329     30 |        5 |      400
390.04/390.23	c  389s |      18 |   443279 |   311652 |    24329     30 |        5 |      400
392.04/392.23	c  391s |      18 |   445193 |   313152 |    24329     30 |        5 |      400
394.14/394.34	c  393s |      18 |   447360 |   314852 |    24329     30 |        5 |      400
396.24/396.49	c  396s |      18 |   450023 |   316852 |    24329     30 |        5 |      400
398.34/398.56	c  398s |      18 |   452087 |   318352 |    24329     30 |        5 |      400
400.44/400.66	c  400s |      18 |   454082 |   319652 |    24329     31 |        5 |      400
402.54/402.72	c  402s |      18 |   456404 |   321352 |    24329     31 |        5 |      400
404.54/404.79	c  404s |      18 |   458684 |   323052 |    24329     31 |        5 |      400
406.63/406.85	c  406s |      18 |   460847 |   324752 |    24329     31 |        5 |      400
408.63/408.85	c  408s |      18 |   463244 |   326452 |    24329     31 |        5 |      400
410.73/410.90	c  410s |      18 |   465198 |   327852 |    24329     31 |        5 |      400
412.83/413.03	c  412s |      18 |   467100 |   329152 |    24329     31 |        5 |      400
414.83/415.09	c  414s |      18 |   468989 |   330552 |    24329     31 |        5 |      400
416.93/417.13	c  416s |      18 |   470374 |   331652 |    24329     32 |        5 |      400
418.93/419.16	c  418s |      18 |   472556 |   333152 |    24329     32 |        5 |      400
421.03/421.23	c  420s |      18 |   474434 |   334552 |    24329     32 |        5 |      400
423.03/423.27	c  422s |      18 |   476662 |   336052 |    24329     32 |        5 |      400
425.13/425.36	c  424s |      18 |   478736 |   337552 |    24329     32 |        5 |      400
427.22/427.44	c  426s |      18 |   480831 |   339152 |    24329     32 |        5 |      400
429.32/429.50	c  429s |      18 |   482758 |   340752 |    24329     32 |        5 |      400
431.42/431.64	c  431s |      18 |   484795 |   342252 |    24329     32 |        5 |      400
433.42/433.65	c  433s |      18 |   486377 |   343352 |    24329     32 |        5 |      400
435.52/435.75	c  435s |      18 |   488063 |   344552 |    24329     33 |        5 |      400
437.62/437.85	c  437s |      18 |   490344 |   346252 |    24329     33 |        5 |      400
439.72/439.92	c  439s |      18 |   492679 |   348052 |    24329     33 |        5 |      400
441.81/442.00	c  441s |      18 |   494847 |   349752 |    24329     33 |        5 |      400
443.81/444.02	c  443s |      18 |   496945 |   351452 |    24329     33 |        5 |      400
445.81/446.09	c  445s |      18 |   499321 |   353152 |    24329     33 |        5 |      400
447.91/448.19	c  447s |      18 |   501277 |   354652 |    24329     33 |        5 |      400
450.01/450.25	c  449s |      18 |   503406 |   356252 |    24329     33 |        5 |      400
452.11/452.36	c  451s |      18 |   505483 |   357752 |    24329     34 |        5 |      400
454.22/454.41	c  453s |      18 |   507899 |   359752 |    24329     34 |        5 |      400
456.21/456.46	c  455s |      18 |   510170 |   361452 |    24329     34 |        5 |      400
458.31/458.58	c  458s |      18 |   512650 |   363152 |    24329     34 |        5 |      400
460.41/460.67	c  460s |      18 |   515041 |   364952 |    24329     34 |        5 |      400
462.51/462.77	c  462s |      18 |   517277 |   366652 |    24329     34 |        5 |      400
464.61/464.82	c  464s |      18 |   519185 |   368152 |    24329     34 |        5 |      400
466.70/466.94	c  466s |      18 |   520922 |   369552 |    24329     34 |        5 |      400
468.80/469.03	c  468s |      18 |   523270 |   371352 |    24329     35 |        5 |      400
470.80/471.05	c  470s |      18 |   525717 |   373352 |    24329     35 |        5 |      400
472.80/473.10	c  472s |      18 |   527961 |   375252 |    24329     35 |        5 |      400
474.90/475.19	c  474s |      18 |   530037 |   377052 |    24329     35 |        5 |      400
476.99/477.27	c  476s |      18 |   532053 |   378752 |    24329     35 |        5 |      400
479.09/479.34	c  478s |      18 |   534211 |   380452 |    24329     35 |        5 |      400
481.19/481.42	c  480s |      18 |   536198 |   382152 |    24329     35 |        5 |      400
483.19/483.45	c  482s |      18 |   538310 |   383952 |    24329     36 |        5 |      400
488.70/488.91	c  488s |      18 |   538497 |   384052 |    24329     36 |        5 |      400
493.39/493.67	c  493s |      18 |   538697 |   384152 |    24329     36 |        5 |      400
495.49/495.75	c  495s |      18 |   541072 |   385752 |    24329     36 |        5 |      400
497.49/497.78	c  497s |      18 |   543165 |   387052 |    24329     36 |        5 |      400
499.59/499.80	c  499s |      18 |   545453 |   388452 |    24329     36 |        5 |      400
501.69/501.90	c  501s |      18 |   547890 |   390152 |    24329     36 |        5 |      400
503.79/504.00	c  503s |      18 |   549872 |   391552 |    24329     36 |        5 |      400
505.90/506.14	c  505s |      18 |   552206 |   393052 |    24329     36 |        5 |      400
507.99/508.23	c  507s |      18 |   554217 |   394552 |    24329     36 |        5 |      400
510.08/510.35	c  509s |      18 |   556455 |   396152 |    24329     37 |        5 |      400
512.08/512.35	c  511s |      18 |   559309 |   398152 |    24329     37 |        5 |      400
514.08/514.39	c  513s |      18 |   561715 |   399952 |    24329     37 |        5 |      400
516.08/516.39	c  515s |      18 |   563914 |   401552 |    24329     37 |        5 |      400
518.18/518.41	c  517s |      18 |   565810 |   402752 |    24329     37 |        5 |      400
520.19/520.43	c  519s |      18 |   567605 |   404052 |    24329     37 |        5 |      400
522.29/522.59	c  522s |      18 |   569697 |   405352 |    24329     37 |        5 |      400
524.49/524.80	c  524s |      18 |   571777 |   406752 |    24329     37 |        5 |      400
526.58/526.90	c  526s |      18 |   573334 |   407952 |    24329     38 |        5 |      400
528.67/528.98	c  528s |      18 |   575857 |   409752 |    24329     38 |        5 |      400
530.77/531.04	c  530s |      18 |   578425 |   411752 |    24329     38 |        5 |      400
532.87/533.14	c  532s |      18 |   580793 |   413652 |    24329     38 |        5 |      400
534.97/535.25	c  534s |      18 |   582927 |   415252 |    24329     38 |        5 |      400
537.17/537.41	c  536s |      18 |   584541 |   416552 |    24329     38 |        5 |      400
539.17/539.49	c  538s |      18 |   586475 |   417952 |    24329     38 |        5 |      400
541.27/541.52	c  541s |      18 |   588389 |   419352 |    24329     38 |        5 |      400
543.37/543.64	c  543s |      18 |   590201 |   420652 |    24329     39 |        5 |      400
545.48/545.75	c  545s |      18 |   592221 |   422252 |    24329     39 |        5 |      400
547.47/547.79	c  547s |      18 |   594284 |   423952 |    24329     39 |        5 |      400
549.57/549.80	c  549s |      18 |   596510 |   425752 |    24329     39 |        5 |      400
551.57/551.81	c  551s |      18 |   598917 |   427152 |    24329     39 |        5 |      400
553.66/553.90	c  553s |      18 |   601302 |   428752 |    24329     39 |        5 |      400
555.66/555.97	c  555s |      18 |   603709 |   430352 |    24329     39 |        5 |      400
557.76/558.04	c  557s |      18 |   605793 |   431952 |    24329     39 |        5 |      400
559.86/560.12	c  559s |      18 |   607779 |   433452 |    24329     40 |        5 |      400
561.97/562.22	c  561s |      18 |   610498 |   435552 |    24329     40 |        5 |      400
563.96/564.28	c  563s |      18 |   612396 |   437052 |    24329     40 |        5 |      400
566.06/566.31	c  565s |      18 |   614564 |   438652 |    24329     40 |        5 |      400
568.05/568.31	c  567s |      18 |   616373 |   440152 |    24329     40 |        5 |      400
570.05/570.39	c  569s |      18 |   618428 |   441952 |    26762     40 |        5 |      400
572.15/572.49	c  572s |      18 |   620486 |   443652 |    26762     40 |        5 |      400
573.25/573.57	c  573s |      19 |   621525 |   444482 |    26762     40 |        5 |      400
575.35/575.68	c  575s |      19 |   623499 |   445882 |    26762     40 |        5 |      400
582.86/583.15	c  582s |      19 |   625247 |   447282 |    26762     40 |        5 |      400
584.96/585.28	c  584s |      19 |   627062 |   448282 |    26762     41 |        5 |      400
586.94/587.30	c  586s |      19 |   629272 |   449882 |    26762     41 |        5 |      400
589.04/589.34	c  588s |      19 |   631701 |   451682 |    26762     41 |        5 |      400
591.04/591.36	c  590s |      19 |   633774 |   453182 |    26762     41 |        5 |      400
593.14/593.44	c  592s |      19 |   636233 |   454882 |    26762     41 |        5 |      400
595.24/595.58	c  595s |      19 |   638412 |   456482 |    26762     41 |        5 |      400
597.34/597.65	c  597s |      19 |   640569 |   458082 |    26762     41 |        5 |      400
599.44/599.74	c  599s |      19 |   642668 |   459782 |    26762     41 |        5 |      400
601.44/601.78	c  601s |      19 |   644860 |   461582 |    26762     41 |        5 |      400
603.54/603.87	c  603s |      19 |   646191 |   462682 |    26762     42 |        5 |      400
605.64/605.91	c  605s |      19 |   648059 |   464082 |    26762     42 |        5 |      400
607.74/608.01	c  607s |      19 |   649778 |   465482 |    26762     42 |        5 |      400
609.74/610.07	c  609s |      19 |   651809 |   467182 |    26762     42 |        5 |      400
611.84/612.13	c  611s |      19 |   653848 |   468782 |    26762     42 |        5 |      400
613.93/614.22	c  613s |      19 |   655608 |   470182 |    26762     42 |        5 |      400
616.03/616.34	c  615s |      19 |   657645 |   471582 |    26762     42 |        5 |      400
618.13/618.43	c  617s |      19 |   659361 |   472882 |    26762     42 |        5 |      400
620.14/620.49	c  620s |      19 |   661160 |   474182 |    26762     42 |        5 |      400
622.13/622.49	c  622s |      19 |   662796 |   475382 |    26762     42 |        5 |      400
624.23/624.53	c  624s |      19 |   664829 |   476682 |    26762     43 |        5 |      400
626.23/626.58	c  626s |      19 |   667117 |   478382 |    26762     43 |        5 |      400
628.32/628.60	c  628s |      19 |   669102 |   479982 |    26762     43 |        5 |      400
630.42/630.71	c  630s |      19 |   670923 |   481382 |    26762     43 |        5 |      400
632.42/632.73	c  632s |      19 |   672730 |   482682 |    26762     43 |        5 |      400
634.53/634.83	c  634s |      19 |   674605 |   484082 |    26762     43 |        5 |      400
636.63/637.00	c  636s |      19 |   676461 |   485482 |    26762     43 |        5 |      400
638.72/639.01	c  638s |      19 |   677807 |   486582 |    26762     43 |        5 |      400
640.72/641.05	c  640s |      19 |   679288 |   487682 |    26762     43 |        5 |      400
642.82/643.15	c  642s |      19 |   680702 |   488882 |    26762     43 |        5 |      400
644.82/645.18	c  644s |      19 |   682163 |   490082 |    26762     44 |        5 |      400
647.12/647.42	c  646s |      19 |   683948 |   491482 |    26762     44 |        5 |      400
649.12/649.44	c  648s |      19 |   685964 |   492982 |    26762     44 |        5 |      400
651.12/651.49	c  651s |      19 |   687715 |   494382 |    26762     44 |        5 |      400
653.22/653.56	c  653s |      19 |   689749 |   495882 |    26762     44 |        5 |      400
655.21/655.60	c  655s |      19 |   691819 |   497382 |    26762     44 |        5 |      400
657.31/657.69	c  657s |      19 |   693845 |   499082 |    26762     44 |        5 |      400
659.41/659.72	c  659s |      19 |   695783 |   500582 |    26762     44 |        5 |      400
661.41/661.77	c  661s |      19 |   697550 |   501782 |    26762     44 |        5 |      400
663.51/663.89	c  663s |      19 |   699418 |   503182 |    26762     44 |        5 |      400
665.61/665.97	c  665s |      19 |   701577 |   504882 |    26762     45 |        5 |      400
667.70/668.03	c  667s |      19 |   703843 |   506582 |    26762     45 |        5 |      400
669.80/670.11	c  669s |      19 |   705910 |   508382 |    26762     45 |        5 |      400
671.81/672.19	c  671s |      19 |   708293 |   510182 |    26762     45 |        5 |      400
673.90/674.22	c  673s |      19 |   710460 |   511782 |    26762     45 |        5 |      400
675.90/676.27	c  675s |      19 |   712538 |   513482 |    26762     45 |        5 |      400
678.00/678.38	c  677s |      19 |   714480 |   515082 |    26762     45 |        5 |      400
680.10/680.40	c  679s |      19 |   716134 |   516582 |    26762     45 |        5 |      400
682.10/682.42	c  681s |      19 |   717770 |   517982 |    26762     46 |        5 |      400
684.10/684.44	c  683s |      19 |   719904 |   519682 |    26762     46 |        5 |      400
686.10/686.48	c  685s |      19 |   721737 |   521182 |    26762     46 |        5 |      400
690.79/691.10	c  690s |      19 |   722893 |   522182 |    26762     46 |        5 |      400
694.20/694.56	c  694s |      19 |   723164 |   522382 |    26762     46 |        5 |      400
696.40/696.70	c  696s |      19 |   724879 |   523782 |    26762     46 |        5 |      400
698.50/698.84	c  698s |      19 |   726976 |   525282 |    26762     46 |        5 |      400
700.60/700.93	c  700s |      19 |   729059 |   526882 |    26762     46 |        5 |      400
702.60/702.94	c  702s |      19 |   730988 |   528382 |    26762     46 |        5 |      400
704.60/704.96	c  704s |      19 |   732808 |   529882 |    26762     46 |        5 |      400
706.59/706.98	c  706s |      19 |   734219 |   531082 |    26762     47 |        5 |      400
708.69/709.00	c  708s |      19 |   735904 |   532482 |    26762     47 |        5 |      400
710.69/711.02	c  710s |      19 |   737549 |   533882 |    26762     47 |        5 |      400
712.69/713.07	c  712s |      19 |   739498 |   535382 |    26762     47 |        5 |      400
714.80/715.10	c  714s |      19 |   740921 |   536582 |    26762     47 |        5 |      400
716.89/717.22	c  716s |      19 |   742426 |   537782 |    26762     47 |        5 |      400
718.89/719.26	c  718s |      19 |   743751 |   538882 |    26762     47 |        5 |      400
720.99/721.32	c  720s |      19 |   745019 |   539982 |    26762     47 |        5 |      400
722.99/723.38	c  722s |      19 |   746538 |   541182 |    26762     47 |        5 |      400
725.19/725.53	c  725s |      19 |   748423 |   542482 |    26762     47 |        5 |      400
727.18/727.57	c  727s |      19 |   749835 |   543582 |    26762     47 |        5 |      400
729.28/729.67	c  729s |      19 |   751337 |   544882 |    26762     47 |        5 |      400
731.38/731.73	c  731s |      19 |   753040 |   546282 |    26762     48 |        5 |      400
733.49/733.85	c  733s |      19 |   754791 |   547782 |    26762     48 |        5 |      400
735.59/735.92	c  735s |      19 |   756513 |   549182 |    26762     48 |        5 |      400
737.68/738.04	c  737s |      19 |   758127 |   550482 |    26762     48 |        5 |      400
739.68/740.06	c  739s |      19 |   759516 |   551582 |    26762     48 |        5 |      400
741.68/742.09	c  741s |      19 |   761195 |   552882 |    26762     48 |        5 |      400
743.88/744.24	c  743s |      19 |   762908 |   554282 |    26762     48 |        5 |      400
745.98/746.33	c  745s |      19 |   764464 |   555582 |    26762     48 |        5 |      400
747.98/748.35	c  747s |      19 |   766051 |   556982 |    26762     48 |        5 |      400
749.98/750.38	c  749s |      19 |   767706 |   558382 |    26762     48 |        5 |      400
752.18/752.51	c  752s |      19 |   769248 |   559582 |    26762     49 |        5 |      400
754.18/754.56	c  754s |      19 |   771024 |   560982 |    26762     49 |        5 |      400
756.18/756.57	c  756s |      19 |   772639 |   562382 |    26762     49 |        5 |      400
758.28/758.62	c  758s |      19 |   774348 |   563882 |    26762     49 |        5 |      400
760.38/760.72	c  760s |      19 |   776145 |   565482 |    26762     49 |        5 |      400
762.48/762.84	c  762s |      19 |   777853 |   566982 |    26762     49 |        5 |      400
764.57/764.93	c  764s |      19 |   779462 |   568482 |    26762     49 |        5 |      400
767.17/767.59	c  767s |      19 |   780012 |   568982 |    26762     49 |        5 |      400
769.37/769.73	c  769s |      19 |   781017 |   569682 |    26762     49 |        5 |      400
771.47/771.80	c  771s |      19 |   782522 |   570882 |    26762     49 |        5 |      400
773.57/773.92	c  773s |      19 |   784056 |   571982 |    26762     49 |        5 |      400
775.67/776.06	c  775s |      19 |   785173 |   572782 |    26762     50 |        5 |      400
777.77/778.12	c  777s |      19 |   786737 |   573982 |    26762     50 |        5 |      400
779.87/780.25	c  779s |      19 |   788919 |   575682 |    26762     50 |        5 |      400
781.97/782.30	c  781s |      19 |   790929 |   577282 |    26762     50 |        5 |      400
783.98/784.40	c  783s |      19 |   792994 |   578982 |    26762     50 |        5 |      400
786.07/786.41	c  785s |      19 |   794557 |   580282 |    26762     50 |        5 |      400
788.07/788.49	c  788s |      19 |   796209 |   581582 |    26762     50 |        5 |      400
790.27/790.64	c  790s |      19 |   797794 |   582682 |    26762     50 |        5 |      400
792.37/792.71	c  792s |      19 |   799353 |   583782 |    26762     50 |        5 |      400
794.47/794.84	c  794s |      19 |   801055 |   585082 |    26762     50 |        5 |      400
796.97/797.34	c  796s |      19 |   802486 |   586082 |    26762     51 |        5 |      400
798.97/799.35	c  798s |      19 |   804583 |   587682 |    26762     51 |        5 |      400
800.97/801.38	c  800s |      19 |   806851 |   589282 |    26762     51 |        5 |      400
803.07/803.45	c  802s |      19 |   809364 |   591082 |    26762     51 |        5 |      400
805.07/805.46	c  804s |      19 |   811390 |   592682 |    26762     51 |        5 |      400
807.07/807.50	c  807s |      19 |   813729 |   594582 |    26762     51 |        5 |      400
809.17/809.59	c  809s |      19 |   815304 |   595882 |    26762     51 |        5 |      400
811.36/811.70	c  811s |      19 |   817131 |   597282 |    26762     51 |        5 |      400
813.36/813.79	c  813s |      19 |   818751 |   598382 |    26762     51 |        5 |      400
815.46/815.88	c  815s |      19 |   820868 |   599782 |    26762     51 |        5 |      400
817.47/817.89	c  817s |      19 |   822202 |   600782 |    26762     52 |        5 |      400
819.57/819.91	c  819s |      19 |   824284 |   602382 |    26762     52 |        5 |      400
821.57/821.94	c  821s |      19 |   826388 |   603982 |    26762     52 |        5 |      400
823.58/823.94	c  823s |      19 |   828510 |   605682 |    26762     52 |        5 |      400
825.57/825.95	c  825s |      19 |   830737 |   607482 |    26762     52 |        5 |      400
827.67/828.08	c  827s |      19 |   832639 |   608882 |    26762     52 |        5 |      400
829.87/830.20	c  829s |      19 |   834709 |   610382 |    26762     52 |        5 |      400
831.87/832.25	c  831s |      19 |   837050 |   612082 |    26762     52 |        5 |      400
833.97/834.38	c  833s |      19 |   839119 |   613682 |    26762     52 |        5 |      400
836.07/836.42	c  835s |      19 |   841343 |   615482 |    26762     53 |        5 |      400
838.07/838.45	c  837s |      19 |   843481 |   617282 |    26762     53 |        5 |      400
840.17/840.54	c  840s |      19 |   845723 |   619082 |    26762     53 |        5 |      400
842.27/842.62	c  842s |      19 |   847587 |   620482 |    26762     53 |        5 |      400
844.27/844.69	c  844s |      19 |   849331 |   621882 |    26762     53 |        5 |      400
846.37/846.75	c  846s |      19 |   851021 |   623282 |    26762     53 |        5 |      400
848.47/848.85	c  848s |      19 |   852819 |   624782 |    26762     53 |        5 |      400
850.57/850.94	c  850s |      19 |   854521 |   626282 |    26762     53 |        5 |      400
852.57/852.98	c  852s |      19 |   856029 |   627482 |    26762     54 |        5 |      400
854.66/855.09	c  854s |      19 |   858315 |   629382 |    26762     54 |        5 |      400
856.76/857.10	c  856s |      19 |   860529 |   631182 |    26762     54 |        5 |      400
858.77/859.20	c  858s |      19 |   862578 |   632782 |    26762     54 |        5 |      400
860.86/861.26	c  860s |      19 |   864841 |   634382 |    26762     54 |        5 |      400
862.96/863.34	c  862s |      19 |   866695 |   635782 |    26762     54 |        5 |      400
865.06/865.43	c  864s |      19 |   868464 |   637282 |    26762     54 |        5 |      400
867.16/867.52	c  867s |      19 |   870220 |   638782 |    26762     54 |        5 |      400
869.16/869.57	c  869s |      19 |   871783 |   640082 |    26762     54 |        5 |      400
871.26/871.60	c  871s |      19 |   873528 |   641382 |    26762     54 |        5 |      400
873.26/873.67	c  873s |      19 |   875634 |   643082 |    26762     55 |        5 |      400
875.27/875.68	c  875s |      19 |   877739 |   644882 |    26762     55 |        5 |      400
877.26/877.69	c  877s |      19 |   879695 |   646482 |    26762     55 |        5 |      400
879.36/879.76	c  879s |      19 |   881761 |   648282 |    26762     55 |        5 |      400
881.36/881.76	c  881s |      19 |   883691 |   649882 |    26762     55 |        5 |      400
883.46/883.80	c  883s |      19 |   885622 |   651482 |    26762     55 |        5 |      400
885.56/885.93	c  885s |      19 |   887739 |   653282 |    26762     55 |        5 |      400
887.56/887.93	c  887s |      19 |   889797 |   655082 |    26762     55 |        5 |      400
889.57/889.98	c  889s |      19 |   891568 |   656682 |    26762     56 |        5 |      400
895.85/896.27	c  895s |      19 |   891801 |   656782 |    26762     56 |        5 |      400
898.05/898.40	c  897s |      19 |   893881 |   658382 |    26762     56 |        5 |      400
900.05/900.48	c  899s |      19 |   896066 |   659982 |    26762     56 |        5 |      400
902.15/902.58	c  902s |      19 |   898251 |   661482 |    26762     56 |        5 |      400
904.25/904.61	c  904s |      19 |   900364 |   663082 |    29439     56 |        5 |      400
906.25/906.68	c  906s |      19 |   902508 |   664782 |    29439     56 |        5 |      400
908.35/908.77	c  908s |      19 |   904811 |   666682 |    29439     56 |        5 |      400
908.55/908.96	c  908s |      20 |   905001 |   666827 |    29439     56 |        5 |      400
910.65/911.02	c  910s |      20 |   906826 |   668027 |    29439     56 |        5 |      400
912.75/913.17	c  912s |      20 |   908539 |   669427 |    29439     56 |        5 |      400
914.96/915.31	c  914s |      20 |   910547 |   670927 |    29439     56 |        5 |      400
917.06/917.43	c  916s |      20 |   912275 |   672227 |    29439     57 |        5 |      400
919.16/919.50	c  919s |      20 |   914684 |   674127 |    29439     57 |        5 |      400
921.26/921.62	c  921s |      20 |   916697 |   675727 |    29439     57 |        5 |      400
923.25/923.69	c  923s |      20 |   918803 |   677327 |    29439     57 |        5 |      400
925.35/925.76	c  925s |      20 |   920905 |   679027 |    29439     57 |        5 |      400
927.45/927.86	c  927s |      20 |   923183 |   680827 |    29439     57 |        5 |      400
929.65/930.00	c  929s |      20 |   925115 |   682427 |    29439     57 |        5 |      400
931.65/932.08	c  931s |      20 |   926709 |   683727 |    29439     57 |        5 |      400
933.66/934.09	c  933s |      20 |   928661 |   685127 |    29439     57 |        5 |      400
935.76/936.16	c  935s |      20 |   930437 |   686627 |    29439     57 |        5 |      400
937.85/938.25	c  937s |      20 |   932273 |   688127 |    29439     58 |        5 |      400
939.95/940.36	c  939s |      20 |   934662 |   690027 |    29439     58 |        5 |      400
942.05/942.40	c  941s |      20 |   936884 |   691927 |    29439     58 |        5 |      400
944.05/944.49	c  943s |      20 |   938842 |   693527 |    29439     58 |        5 |      400
946.15/946.51	c  946s |      20 |   940669 |   695127 |    29439     58 |        5 |      400
948.15/948.56	c  948s |      20 |   942760 |   696827 |    29439     58 |        5 |      400
950.25/950.61	c  950s |      20 |   944417 |   698327 |    29439     58 |        5 |      400
952.36/952.70	c  952s |      20 |   946179 |   699827 |    29439     58 |        5 |      400
954.35/954.71	c  954s |      20 |   947960 |   701427 |    29439     58 |        5 |      400
956.35/956.78	c  956s |      20 |   949692 |   702927 |    29439     58 |        5 |      400
967.34/967.77	c  967s |      20 |   951704 |   704627 |    29439     59 |        5 |      400
969.55/969.91	c  969s |      20 |   951851 |   704727 |    29439     59 |        5 |      400
971.55/971.99	c  971s |      20 |   954207 |   706427 |    29439     59 |        5 |      400
973.75/974.11	c  973s |      20 |   956448 |   707927 |    29439     59 |        5 |      400
975.75/976.19	c  975s |      20 |   958694 |   709527 |    29439     59 |        5 |      400
977.95/978.33	c  977s |      20 |   960831 |   711227 |    29439     59 |        5 |      400
979.95/980.39	c  979s |      20 |   962816 |   712827 |    29439     59 |        5 |      400
982.05/982.42	c  981s |      20 |   964876 |   714527 |    29439     59 |        5 |      400
984.05/984.46	c  983s |      20 |   966476 |   715827 |    29439     59 |        5 |      400
986.15/986.53	c  986s |      20 |   968121 |   717227 |    29439     59 |        5 |      400
988.24/988.69	c  988s |      20 |   969293 |   718127 |    29439     60 |        5 |      400
990.44/990.81	c  990s |      20 |   970824 |   719427 |    29439     60 |        5 |      400
992.54/992.91	c  992s |      20 |   972696 |   720927 |    29439     60 |        5 |      400
994.54/994.98	c  994s |      20 |   974286 |   722327 |    29439     60 |        5 |      400
996.54/996.99	c  996s |      20 |   976069 |   723827 |    29439     60 |        5 |      400
998.64/999.09	c  998s |      20 |   977831 |   725227 |    29439     60 |        5 |      400
1000.75/1001.16	c 1000s |      20 |   979531 |   726527 |    29439     60 |        5 |      400
1002.85/1003.20	c 1002s |      20 |   981115 |   727727 |    29439     60 |        5 |      400
1004.84/1005.23	c 1004s |      20 |   982770 |   729127 |    29439     60 |        5 |      400
1006.94/1007.37	c 1006s |      20 |   984536 |   730627 |    29439     60 |        5 |      400
1009.04/1009.41	c 1008s |      20 |   986017 |   731827 |    29439     60 |        5 |      400
1011.04/1011.43	c 1010s |      20 |   987494 |   733027 |    29439     61 |        5 |      400
1013.14/1013.56	c 1013s |      20 |   989277 |   734427 |    29439     61 |        5 |      400
1015.24/1015.67	c 1015s |      20 |   991173 |   736027 |    29439     61 |        5 |      400
1017.34/1017.77	c 1017s |      20 |   993091 |   737727 |    29439     61 |        5 |      400
1019.45/1019.89	c 1019s |      20 |   994807 |   739027 |    29439     61 |        5 |      400
1021.55/1021.95	c 1021s |      20 |   996147 |   740127 |    29439     61 |        5 |      400
1023.54/1023.95	c 1023s |      20 |   997338 |   741127 |    29439     61 |        5 |      400
1025.64/1026.00	c 1025s |      20 |   998873 |   742327 |    29439     61 |        5 |      400
1027.64/1028.06	c 1027s |      20 |  1000246 |   743527 |    29439     61 |        5 |      400
1029.74/1030.12	c 1029s |      20 |  1001688 |   744827 |    29439     61 |        5 |      400
1031.84/1032.23	c 1031s |      20 |  1003248 |   746127 |    29439     61 |        5 |      400
1033.94/1034.31	c 1033s |      20 |  1004878 |   747527 |    29439     61 |        5 |      400
1035.94/1036.33	c 1035s |      20 |  1006344 |   748627 |    29439     62 |        5 |      400
1037.94/1038.38	c 1037s |      20 |  1008061 |   750027 |    29439     62 |        5 |      400
1040.04/1040.42	c 1039s |      20 |  1009804 |   751527 |    29439     62 |        5 |      400
1042.04/1042.44	c 1041s |      20 |  1011153 |   752727 |    29439     62 |        5 |      400
1044.14/1044.57	c 1044s |      20 |  1012723 |   754127 |    29439     62 |        5 |      400
1046.24/1046.63	c 1046s |      20 |  1014261 |   755527 |    29439     62 |        5 |      400
1048.24/1048.69	c 1048s |      20 |  1015809 |   756927 |    29439     62 |        5 |      400
1050.34/1050.72	c 1050s |      20 |  1017285 |   758227 |    29439     62 |        5 |      400
1052.34/1052.74	c 1052s |      20 |  1018856 |   759527 |    29439     62 |        5 |      400
1054.43/1054.86	c 1054s |      20 |  1019745 |   760327 |    29439     62 |        5 |      400
1057.63/1058.03	c 1057s |      20 |  1020653 |   761027 |    29439     62 |        5 |      400
1059.73/1060.15	c 1059s |      20 |  1022391 |   762227 |    29439     62 |        5 |      400
1062.34/1062.74	c 1062s |      20 |  1023877 |   763427 |    29439     63 |        5 |      400
1064.44/1064.84	c 1064s |      20 |  1025838 |   764827 |    29439     63 |        5 |      400
1066.53/1066.96	c 1066s |      20 |  1027990 |   766527 |    29439     63 |        5 |      400
1068.53/1068.98	c 1068s |      20 |  1030033 |   768227 |    29439     63 |        5 |      400
1070.63/1071.01	c 1070s |      20 |  1031899 |   769427 |    29439     63 |        5 |      400
1072.73/1073.15	c 1072s |      20 |  1033669 |   770827 |    29439     63 |        5 |      400
1074.83/1075.21	c 1074s |      20 |  1035225 |   771927 |    29439     63 |        5 |      400
1076.93/1077.32	c 1076s |      20 |  1036772 |   773127 |    29439     63 |        5 |      400
1079.03/1079.41	c 1078s |      20 |  1038405 |   774427 |    29439     63 |        5 |      400
1081.13/1081.53	c 1081s |      20 |  1039890 |   775627 |    29439     63 |        5 |      400
1083.14/1083.57	c 1083s |      20 |  1041498 |   776927 |    29439     63 |        5 |      400
1085.13/1085.58	c 1085s |      20 |  1043119 |   778327 |    29439     63 |        5 |      400
1087.23/1087.64	c 1087s |      20 |  1044038 |   779027 |    29439     64 |        5 |      400
1089.33/1089.74	c 1089s |      20 |  1045859 |   780527 |    29439     64 |        5 |      400
1091.33/1091.77	c 1091s |      20 |  1047527 |   781927 |    29439     64 |        5 |      400
1093.42/1093.85	c 1093s |      20 |  1049523 |   783627 |    29439     64 |        5 |      400
1095.42/1095.86	c 1095s |      20 |  1050999 |   784827 |    29439     64 |        5 |      400
1097.53/1097.92	c 1097s |      20 |  1052696 |   786127 |    29439     64 |        5 |      400
1099.52/1099.93	c 1099s |      20 |  1054237 |   787427 |    29439     64 |        5 |      400
1101.62/1102.04	c 1101s |      20 |  1055941 |   788927 |    29439     64 |        5 |      400
1103.72/1104.10	c 1103s |      20 |  1057374 |   790127 |    29439     64 |        5 |      400
1105.82/1106.27	c 1105s |      20 |  1058815 |   791327 |    29439     64 |        5 |      400
1107.92/1108.37	c 1107s |      20 |  1060396 |   792527 |    29439     64 |        5 |      400
1110.12/1110.52	c 1110s |      20 |  1061970 |   793827 |    29439     64 |        5 |      400
1112.22/1112.61	c 1112s |      20 |  1063478 |   795127 |    29439     65 |        5 |      400
1114.32/1114.71	c 1114s |      20 |  1065449 |   796827 |    29439     65 |        5 |      400
1116.42/1116.82	c 1116s |      20 |  1066991 |   798127 |    29439     65 |        5 |      400
1118.43/1118.84	c 1118s |      20 |  1068646 |   799527 |    29439     65 |        5 |      400
1120.42/1120.87	c 1120s |      20 |  1070370 |   801027 |    29439     65 |        5 |      400
1122.42/1122.89	c 1122s |      20 |  1071862 |   802327 |    29439     65 |        5 |      400
1124.62/1125.00	c 1124s |      20 |  1073417 |   803727 |    29439     65 |        5 |      400
1126.62/1127.04	c 1126s |      20 |  1074856 |   805027 |    29439     65 |        5 |      400
1128.72/1129.10	c 1128s |      20 |  1076279 |   806327 |    29439     65 |        5 |      400
1131.92/1132.36	c 1131s |      20 |  1077003 |   806927 |    29439     65 |        5 |      400
1134.02/1134.46	c 1133s |      20 |  1078555 |   808127 |    29439     65 |        5 |      400
1136.12/1136.54	c 1136s |      20 |  1079849 |   809027 |    29439     66 |        5 |      400
1138.22/1138.65	c 1138s |      20 |  1081446 |   810327 |    29439     66 |        5 |      400
1140.22/1140.69	c 1140s |      20 |  1082968 |   811527 |    29439     66 |        5 |      400
1142.31/1142.71	c 1142s |      20 |  1084789 |   813027 |    29439     66 |        5 |      400
1144.41/1144.84	c 1144s |      20 |  1086526 |   814427 |    29439     66 |        5 |      400
1146.41/1146.89	c 1146s |      20 |  1087991 |   815527 |    29439     66 |        5 |      400
1148.61/1149.00	c 1148s |      20 |  1089294 |   816627 |    29439     66 |        5 |      400
1150.61/1151.09	c 1150s |      20 |  1090616 |   817727 |    29439     66 |        5 |      400
1152.81/1153.21	c 1152s |      20 |  1091904 |   818827 |    29439     66 |        5 |      400
1154.81/1155.26	c 1154s |      20 |  1093263 |   820027 |    29439     66 |        5 |      400
1156.82/1157.26	c 1156s |      20 |  1094651 |   821227 |    29439     66 |        5 |      400
1159.02/1159.46	c 1158s |      20 |  1095966 |   822327 |    29439     66 |        5 |      400
1161.01/1161.48	c 1160s |      20 |  1097511 |   823527 |    29439     66 |        5 |      400
1163.11/1163.58	c 1163s |      20 |  1099028 |   824727 |    29439     67 |        5 |      400
1165.31/1165.70	c 1165s |      20 |  1100759 |   826227 |    29439     67 |        5 |      400
1167.31/1167.75	c 1167s |      20 |  1102449 |   827527 |    29439     67 |        5 |      400
1169.31/1169.79	c 1169s |      20 |  1104158 |   828927 |    29439     67 |        5 |      400
1171.41/1171.83	c 1171s |      20 |  1105959 |   830427 |    29439     67 |        5 |      400
1173.42/1173.86	c 1173s |      20 |  1107427 |   831627 |    29439     67 |        5 |      400
1175.52/1175.91	c 1175s |      20 |  1108951 |   832927 |    29439     67 |        5 |      400
1177.51/1177.92	c 1177s |      20 |  1110147 |   833927 |    29439     67 |        5 |      400
1179.61/1180.01	c 1179s |      20 |  1111770 |   835227 |    29439     67 |        5 |      400
1181.71/1182.13	c 1181s |      20 |  1113285 |   836527 |    29439     67 |        5 |      400
1183.81/1184.25	c 1183s |      20 |  1114982 |   837927 |    29439     67 |        5 |      400
1185.91/1186.30	c 1185s |      20 |  1116674 |   839427 |    29439     67 |        5 |      400
1190.51/1190.97	c 1190s |      20 |  1118056 |   840627 |    29439     68 |        5 |      400
1192.71/1193.10	c 1192s |      20 |  1119814 |   841827 |    29439     68 |        5 |      400
1194.71/1195.17	c 1194s |      20 |  1121447 |   843127 |    29439     68 |        5 |      400
1196.81/1197.28	c 1196s |      20 |  1122987 |   844327 |    29439     68 |        5 |      400
1198.91/1199.31	c 1198s |      20 |  1124642 |   845527 |    29439     68 |        5 |      400
1200.91/1201.33	c 1200s |      20 |  1126200 |   846727 |    29439     68 |        5 |      400
1202.91/1203.36	c 1202s |      20 |  1127678 |   847927 |    29439     68 |        5 |      400
1205.01/1205.42	c 1204s |      20 |  1129095 |   849127 |    29439     68 |        5 |      400
1207.01/1207.45	c 1206s |      20 |  1130581 |   850427 |    29439     68 |        5 |      400
1209.01/1209.48	c 1208s |      20 |  1131970 |   851327 |    29439     68 |        5 |      400
1211.20/1211.64	c 1211s |      20 |  1133254 |   852327 |    29439     68 |        5 |      400
1213.30/1213.76	c 1213s |      20 |  1134634 |   853427 |    29439     68 |        5 |      400
1215.40/1215.89	c 1215s |      20 |  1135999 |   854527 |    29439     68 |        5 |      400
1217.60/1218.09	c 1217s |      20 |  1136889 |   855227 |    29439     69 |        5 |      400
1219.70/1220.19	c 1219s |      20 |  1138714 |   856727 |    29439     69 |        5 |      400
1221.90/1222.33	c 1221s |      20 |  1140261 |   858127 |    29439     69 |        5 |      400
1224.10/1224.53	c 1224s |      20 |  1141384 |   859127 |    29439     69 |        5 |      400
1226.21/1226.63	c 1226s |      20 |  1142931 |   860427 |    29439     69 |        5 |      400
1228.31/1228.75	c 1228s |      20 |  1144440 |   861727 |    29439     69 |        5 |      400
1230.30/1230.79	c 1230s |      20 |  1145789 |   862827 |    29439     69 |        5 |      400
1232.40/1232.89	c 1232s |      20 |  1147436 |   864027 |    29439     69 |        5 |      400
1234.60/1235.04	c 1234s |      20 |  1148999 |   865227 |    29439     69 |        5 |      400
1236.70/1237.10	c 1236s |      20 |  1150352 |   866327 |    29439     69 |        5 |      400
1238.70/1239.16	c 1238s |      20 |  1151818 |   867427 |    29439     69 |        5 |      400
1240.80/1241.24	c 1240s |      20 |  1153567 |   868827 |    29439     69 |        5 |      400
1242.90/1243.33	c 1242s |      20 |  1155222 |   870227 |    29439     69 |        5 |      400
1245.00/1245.41	c 1244s |      20 |  1156669 |   871427 |    29439     70 |        5 |      400
1247.10/1247.51	c 1247s |      20 |  1158237 |   872727 |    29439     70 |        5 |      400
1249.20/1249.60	c 1249s |      20 |  1159795 |   874127 |    29439     70 |        5 |      400
1251.30/1251.74	c 1251s |      20 |  1161278 |   875427 |    29439     70 |        5 |      400
1253.40/1253.86	c 1253s |      20 |  1162872 |   876827 |    29439     70 |        5 |      400
1255.40/1255.88	c 1255s |      20 |  1164309 |   878127 |    29439     70 |        5 |      400
1257.50/1257.97	c 1257s |      20 |  1165737 |   879327 |    29439     70 |        5 |      400
1259.50/1259.97	c 1259s |      20 |  1166878 |   880327 |    29439     70 |        5 |      400
1261.60/1262.05	c 1261s |      20 |  1168253 |   881527 |    29439     70 |        5 |      400
1263.80/1264.20	c 1263s |      20 |  1169598 |   882727 |    29439     70 |        5 |      400
1265.81/1266.29	c 1265s |      20 |  1170872 |   883827 |    29439     70 |        5 |      400
1268.01/1268.46	c 1267s |      20 |  1172101 |   884927 |    29439     70 |        5 |      400
1270.21/1270.65	c 1270s |      20 |  1173102 |   885827 |    29439     71 |        5 |      400
1272.20/1272.70	c 1272s |      20 |  1173475 |   886127 |    29439     71 |        5 |      400
1274.51/1274.94	c 1274s |      20 |  1174561 |   887027 |    29439     71 |        5 |      400
1276.60/1277.00	c 1276s |      20 |  1175765 |   888027 |    29439     71 |        5 |      400
1278.70/1279.11	c 1278s |      20 |  1177332 |   889327 |    29439     71 |        5 |      400
1280.80/1281.23	c 1280s |      20 |  1179066 |   890727 |    29439     71 |        5 |      400
1283.00/1283.41	c 1282s |      20 |  1180495 |   891927 |    29439     71 |        5 |      400
1285.00/1285.50	c 1285s |      20 |  1181893 |   893127 |    29439     71 |        5 |      400
1287.10/1287.52	c 1287s |      20 |  1183124 |   894127 |    29439     71 |        5 |      400
1289.20/1289.66	c 1289s |      20 |  1184622 |   895327 |    29439     71 |        5 |      400
1291.29/1291.79	c 1291s |      20 |  1185879 |   896327 |    29439     71 |        5 |      400
1293.59/1294.07	c 1293s |      20 |  1187431 |   897627 |    29439     71 |        5 |      400
1295.79/1296.29	c 1295s |      20 |  1188518 |   898527 |    29439     71 |        5 |      400
1297.99/1298.45	c 1297s |      20 |  1189878 |   899627 |    29439     71 |        5 |      400
1299.99/1300.47	c 1299s |      20 |  1191140 |   900727 |    29439     71 |        5 |      400
1302.39/1302.82	c 1302s |      20 |  1192288 |   901727 |    29439     72 |        5 |      400
1304.39/1304.87	c 1304s |      20 |  1193757 |   902927 |    29439     72 |        5 |      400
1306.50/1306.93	c 1306s |      20 |  1195452 |   904327 |    29439     72 |        5 |      400
1308.49/1308.98	c 1308s |      20 |  1196807 |   905527 |    29439     72 |        5 |      400
1310.69/1311.11	c 1310s |      20 |  1198033 |   906627 |    29439     72 |        5 |      400
1312.69/1313.16	c 1312s |      20 |  1199199 |   907627 |    29439     72 |        5 |      400
1314.69/1315.16	c 1314s |      20 |  1200456 |   908727 |    29439     72 |        5 |      400
1316.69/1317.19	c 1316s |      20 |  1201918 |   909927 |    29439     72 |        5 |      400
1318.89/1319.33	c 1318s |      20 |  1203463 |   911227 |    29439     72 |        5 |      400
1320.89/1321.37	c 1320s |      20 |  1204841 |   912427 |    29439     72 |        5 |      400
1322.99/1323.47	c 1322s |      20 |  1205867 |   913227 |    29439     72 |        5 |      400
1325.09/1325.54	c 1325s |      20 |  1207325 |   914227 |    29439     72 |        5 |      400
1327.18/1327.60	c 1327s |      20 |  1208480 |   915127 |    29439     72 |        5 |      400
1329.18/1329.66	c 1329s |      20 |  1209726 |   916127 |    29439     72 |        5 |      400
1331.28/1331.76	c 1331s |      20 |  1210792 |   917027 |    29439     73 |        5 |      400
1333.49/1333.92	c 1333s |      20 |  1212050 |   918127 |    29439     73 |        5 |      400
1335.59/1336.04	c 1335s |      20 |  1213523 |   919327 |    29439     73 |        5 |      400
1337.69/1338.14	c 1337s |      20 |  1214921 |   920527 |    29439     73 |        5 |      400
1339.79/1340.25	c 1339s |      20 |  1216561 |   921927 |    29439     73 |        5 |      400
1341.89/1342.38	c 1341s |      20 |  1218373 |   923527 |    29439     73 |        5 |      400
1343.99/1344.47	c 1343s |      20 |  1219805 |   924827 |    29439     73 |        5 |      400
1346.10/1346.53	c 1346s |      20 |  1221371 |   926127 |    29439     73 |        5 |      400
1348.30/1348.72	c 1348s |      20 |  1222800 |   927327 |    29439     73 |        5 |      400
1350.40/1350.82	c 1350s |      20 |  1224150 |   928427 |    29439     73 |        5 |      400
1352.49/1352.93	c 1352s |      20 |  1225489 |   929527 |    29439     73 |        5 |      400
1354.49/1354.97	c 1354s |      20 |  1226495 |   930327 |    29439     73 |        5 |      400
1356.69/1357.13	c 1356s |      20 |  1227839 |   931427 |    29439     73 |        5 |      400
1358.79/1359.20	c 1358s |      20 |  1229077 |   932427 |    29439     74 |        5 |      400
1360.79/1361.28	c 1360s |      20 |  1229797 |   933027 |    29439     74 |        5 |      400
1362.88/1363.38	c 1362s |      20 |  1231299 |   934327 |    29439     74 |        5 |      400
1364.98/1365.47	c 1364s |      20 |  1232754 |   935527 |    29439     74 |        5 |      400
1367.18/1367.65	c 1367s |      20 |  1234131 |   936627 |    29439     74 |        5 |      400
1369.19/1369.66	c 1369s |      20 |  1235597 |   937827 |    29439     74 |        5 |      400
1371.29/1371.76	c 1371s |      20 |  1237139 |   939027 |    29439     74 |        5 |      400
1373.28/1373.76	c 1373s |      20 |  1238731 |   940327 |    29439     74 |        5 |      400
1375.48/1375.95	c 1375s |      20 |  1240321 |   941627 |    29439     74 |        5 |      400
1377.58/1378.02	c 1377s |      20 |  1241624 |   942727 |    29439     74 |        5 |      400
1379.58/1380.05	c 1379s |      20 |  1242953 |   943827 |    29439     74 |        5 |      400
1381.58/1382.05	c 1381s |      20 |  1244456 |   945127 |    29439     74 |        5 |      400
1383.68/1384.12	c 1383s |      20 |  1246044 |   946527 |    29439     74 |        5 |      400
1385.69/1386.13	c 1385s |      20 |  1247441 |   947727 |    29439     75 |        5 |      400
1387.89/1388.33	c 1387s |      20 |  1248769 |   948927 |    29439     75 |        5 |      400
1389.99/1390.43	c 1389s |      20 |  1249991 |   950027 |    29439     75 |        5 |      400
1391.98/1392.45	c 1391s |      20 |  1251434 |   951327 |    29439     75 |        5 |      400
1394.18/1394.65	c 1394s |      20 |  1252933 |   952627 |    29439     75 |        5 |      400
1396.28/1396.74	c 1396s |      20 |  1254114 |   953627 |    29439     75 |        5 |      400
1398.48/1398.91	c 1398s |      20 |  1255454 |   954727 |    29439     75 |        5 |      400
1400.58/1401.05	c 1400s |      20 |  1256687 |   955827 |    29439     75 |        5 |      400
1402.78/1403.20	c 1402s |      20 |  1258053 |   956927 |    29439     75 |        5 |      400
1404.78/1405.25	c 1404s |      20 |  1259161 |   957927 |    29439     75 |        5 |      400
1406.88/1407.32	c 1406s |      20 |  1260212 |   958827 |    29439     75 |        5 |      400
1408.88/1409.34	c 1408s |      20 |  1261398 |   959827 |    29439     75 |        5 |      400
1410.88/1411.34	c 1410s |      20 |  1262682 |   960927 |    29439     75 |        5 |      400
1412.97/1413.43	c 1412s |      20 |  1263871 |   961927 |    29439     75 |        5 |      400
1415.07/1415.57	c 1415s |      20 |  1264654 |   962627 |    29439     76 |        5 |      400
1417.27/1417.73	c 1417s |      20 |  1265949 |   963727 |    29439     76 |        5 |      400
1419.37/1419.87	c 1419s |      20 |  1267432 |   965027 |    29439     76 |        5 |      400
1421.57/1422.03	c 1421s |      20 |  1268686 |   966127 |    29439     76 |        5 |      400
1423.67/1424.18	c 1423s |      20 |  1270020 |   967327 |    29439     76 |        5 |      400
1425.77/1426.21	c 1425s |      20 |  1271218 |   968427 |    29439     76 |        5 |      400
1427.87/1428.30	c 1427s |      20 |  1272513 |   969627 |    29439     76 |        5 |      400
1429.87/1430.39	c 1429s |      20 |  1273803 |   970727 |    29439     76 |        5 |      400
1432.07/1432.52	c 1432s |      20 |  1275218 |   971927 |    29439     76 |        5 |      400
1434.17/1434.60	c 1434s |      20 |  1276523 |   973027 |    29439     76 |        5 |      400
1436.18/1436.66	c 1436s |      20 |  1277742 |   974127 |    29439     76 |        5 |      400
1438.27/1438.76	c 1438s |      20 |  1279413 |   975527 |    29439     76 |        5 |      400
1440.27/1440.78	c 1440s |      20 |  1280803 |   976727 |    29439     76 |        5 |      400
1442.67/1443.19	c 1442s |      20 |  1282130 |   977927 |    29439     77 |        5 |      400
1444.77/1445.29	c 1444s |      20 |  1283497 |   979127 |    29439     77 |        5 |      400
1446.87/1447.33	c 1446s |      20 |  1284865 |   980327 |    29439     77 |        5 |      400
1448.87/1449.37	c 1448s |      20 |  1286228 |   981527 |    29439     77 |        5 |      400
1450.97/1451.48	c 1450s |      20 |  1287588 |   982727 |    29439     77 |        5 |      400
1453.17/1453.60	c 1453s |      20 |  1288882 |   983927 |    29439     77 |        5 |      400
1455.17/1455.69	c 1455s |      20 |  1290227 |   985127 |    29439     77 |        5 |      400
1457.27/1457.70	c 1457s |      20 |  1291628 |   986427 |    29439     77 |        5 |      400
1460.27/1460.71	c 1460s |      20 |  1292301 |   987027 |    29439     77 |        5 |      400
1464.47/1464.98	c 1464s |      20 |  1293302 |   987827 |    29439     77 |        5 |      400
1466.57/1467.01	c 1466s |      20 |  1293940 |   988327 |    29439     77 |        5 |      400
1468.57/1469.07	c 1468s |      20 |  1295012 |   989227 |    29439     77 |        5 |      400
1470.77/1471.23	c 1470s |      20 |  1296060 |   990127 |    29439     77 |        5 |      400
1472.97/1473.41	c 1472s |      20 |  1297022 |   990927 |    29439     77 |        5 |      400
1475.07/1475.50	c 1475s |      20 |  1298114 |   991827 |    29439     77 |        5 |      400
1477.27/1477.72	c 1477s |      20 |  1299216 |   992727 |    29439     77 |        5 |      400
1479.27/1479.75	c 1479s |      20 |  1300006 |   993327 |    32383     78 |        5 |      400
1481.37/1481.84	c 1481s |      20 |  1301024 |   994227 |    32383     78 |        5 |      400
1483.77/1484.21	c 1483s |      20 |  1302257 |   995227 |    32383     78 |        5 |      400
1485.77/1486.28	c 1485s |      20 |  1303691 |   996427 |    32383     78 |        5 |      400
1487.97/1488.45	c 1487s |      20 |  1304940 |   997527 |    32383     78 |        5 |      400
1490.17/1490.64	c 1490s |      20 |  1306232 |   998627 |    32383     78 |        5 |      400
1492.37/1492.83	c 1492s |      20 |  1307394 |   999627 |    32383     78 |        5 |      400
1493.86/1494.32	c 1493s |      21 |  1308265 |  1000345 |    32383     78 |        5 |      400
1500.66/1501.17	c 1500s |      21 |  1308619 |  1000445 |    32383     78 |        5 |      400
1502.76/1503.29	c 1502s |      21 |  1310179 |  1001445 |    32383     78 |        5 |      400
1504.86/1505.31	c 1504s |      21 |  1311771 |  1002545 |    32383     78 |        5 |      400
1506.86/1507.37	c 1506s |      21 |  1313017 |  1003445 |    32383     78 |        5 |      400
1508.96/1509.43	c 1508s |      21 |  1314463 |  1004545 |    32383     78 |        5 |      400
1510.96/1511.45	c 1510s |      21 |  1315858 |  1005545 |    32383     78 |        5 |      400
1512.96/1513.47	c 1512s |      21 |  1317505 |  1006645 |    32383     78 |        5 |      400
1515.16/1515.60	c 1515s |      21 |  1318676 |  1007545 |    32383     78 |        5 |      400
1517.26/1517.74	c 1517s |      21 |  1319860 |  1008445 |    32383     78 |        5 |      400
1519.36/1519.84	c 1519s |      21 |  1321026 |  1009345 |    32383     78 |        5 |      400
1521.36/1521.86	c 1521s |      21 |  1322421 |  1010245 |    32383     78 |        5 |      400
1523.46/1523.93	c 1523s |      21 |  1322918 |  1010645 |    32383     79 |        5 |      400
1525.46/1525.93	c 1525s |      21 |  1324429 |  1011845 |    32383     79 |        5 |      400
1527.47/1527.99	c 1527s |      21 |  1325450 |  1012645 |    32383     79 |        5 |      400
1529.77/1530.21	c 1529s |      21 |  1326896 |  1013745 |    32383     79 |        5 |      400
1531.87/1532.32	c 1531s |      21 |  1328558 |  1014945 |    32383     79 |        5 |      400
1533.96/1534.40	c 1533s |      21 |  1330548 |  1016345 |    32383     79 |        5 |      400
1536.16/1536.61	c 1536s |      21 |  1331868 |  1017445 |    32383     79 |        5 |      400
1538.36/1538.85	c 1538s |      21 |  1333354 |  1018545 |    32383     79 |        5 |      400
1540.46/1540.91	c 1540s |      21 |  1334617 |  1019545 |    32383     79 |        5 |      400
1542.46/1542.93	c 1542s |      21 |  1336057 |  1020645 |    32383     79 |        5 |      400
1544.46/1544.99	c 1544s |      21 |  1337819 |  1021845 |    32383     79 |        5 |      400
1546.66/1547.10	c 1546s |      21 |  1339297 |  1023045 |    32383     79 |        5 |      400
1548.76/1549.25	c 1548s |      21 |  1340754 |  1024345 |    32383     79 |        5 |      400
1551.06/1551.50	c 1551s |      21 |  1342210 |  1025445 |    32383     79 |        5 |      400
1553.16/1553.64	c 1553s |      21 |  1343265 |  1026245 |    32383     79 |        5 |      400
1555.26/1555.78	c 1555s |      21 |  1344284 |  1027045 |    32383     79 |        5 |      400
1557.36/1557.87	c 1557s |      21 |  1345246 |  1027845 |    32383     80 |        5 |      400
1559.46/1559.92	c 1559s |      21 |  1346949 |  1029045 |    32383     80 |        5 |      400
1561.56/1562.06	c 1561s |      21 |  1348498 |  1030345 |    32383     80 |        5 |      400
1563.66/1564.13	c 1563s |      21 |  1349883 |  1031545 |    32383     80 |        5 |      400
1565.66/1566.18	c 1565s |      21 |  1351631 |  1032945 |    32383     80 |        5 |      400
1567.66/1568.18	c 1567s |      21 |  1353148 |  1034145 |    32383     80 |        5 |      400
1569.76/1570.23	c 1569s |      21 |  1354740 |  1035345 |    32383     80 |        5 |      400
1571.86/1572.34	c 1571s |      21 |  1356617 |  1036745 |    32383     80 |        5 |      400
1573.85/1574.37	c 1573s |      21 |  1358224 |  1038045 |    32383     80 |        5 |      400
1575.96/1576.43	c 1575s |      21 |  1360000 |  1039445 |    32383     80 |        5 |      400
1577.95/1578.45	c 1577s |      21 |  1361675 |  1040845 |    32383     80 |        5 |      400
1579.95/1580.46	c 1579s |      21 |  1362931 |  1041745 |    32383     80 |        5 |      400
1582.15/1582.60	c 1582s |      21 |  1363994 |  1042645 |    32383     80 |        5 |      400
1584.15/1584.61	c 1584s |      21 |  1365283 |  1043745 |    32383     80 |        5 |      400
1586.15/1586.63	c 1586s |      21 |  1366586 |  1044745 |    32383     81 |        5 |      400
1588.35/1588.84	c 1588s |      21 |  1368328 |  1046145 |    32383     81 |        5 |      400
1590.35/1590.86	c 1590s |      21 |  1369811 |  1047345 |    32383     81 |        5 |      400
1592.46/1592.94	c 1592s |      21 |  1371440 |  1048645 |    32383     81 |        5 |      400
1594.56/1595.05	c 1594s |      21 |  1372988 |  1049945 |    32383     81 |        5 |      400
1596.65/1597.18	c 1596s |      21 |  1374505 |  1051245 |    32383     81 |        5 |      400
1598.85/1599.40	c 1598s |      21 |  1375641 |  1052245 |    32383     81 |        5 |      400
1600.95/1601.47	c 1600s |      21 |  1376891 |  1053345 |    32383     81 |        5 |      400
1603.05/1603.53	c 1603s |      21 |  1378057 |  1054345 |    32383     81 |        5 |      400
1605.15/1605.61	c 1605s |      21 |  1379135 |  1055245 |    32383     81 |        5 |      400
1607.25/1607.72	c 1607s |      21 |  1380526 |  1056345 |    32383     81 |        5 |      400
1609.35/1609.82	c 1609s |      21 |  1381789 |  1057445 |    32383     81 |        5 |      400
1611.35/1611.84	c 1611s |      21 |  1383172 |  1058645 |    32383     81 |        5 |      400
1613.35/1613.87	c 1613s |      21 |  1384399 |  1059745 |    32383     81 |        5 |      400
1615.45/1615.94	c 1615s |      21 |  1385781 |  1060945 |    32383     81 |        5 |      400
1617.45/1617.95	c 1617s |      21 |  1387126 |  1062045 |    32383     82 |        5 |      400
1619.65/1620.14	c 1619s |      21 |  1388595 |  1063245 |    32383     82 |        5 |      400
1622.64/1623.16	c 1622s |      21 |  1388832 |  1063445 |    32383     82 |        5 |      400
1624.74/1625.21	c 1624s |      21 |  1389947 |  1064345 |    32383     82 |        5 |      400
1626.74/1627.26	c 1626s |      21 |  1391722 |  1065845 |    32383     82 |        5 |      400
1628.94/1629.42	c 1628s |      21 |  1393586 |  1067445 |    32383     82 |        5 |      400
1630.95/1631.46	c 1630s |      21 |  1395244 |  1068845 |    32383     82 |        5 |      400
1633.04/1633.54	c 1633s |      21 |  1396521 |  1069945 |    32383     82 |        5 |      400
1635.04/1635.58	c 1635s |      21 |  1397916 |  1071145 |    32383     82 |        5 |      400
1637.14/1637.67	c 1637s |      21 |  1399498 |  1072545 |    32383     82 |        5 |      400
1639.24/1639.75	c 1639s |      21 |  1400832 |  1073645 |    32383     82 |        5 |      400
1641.44/1641.90	c 1641s |      21 |  1402117 |  1074645 |    32383     82 |        5 |      400
1643.44/1643.97	c 1643s |      21 |  1403283 |  1075645 |    32383     82 |        5 |      400
1645.54/1646.03	c 1645s |      21 |  1404296 |  1076545 |    32383     82 |        5 |      400
1647.54/1648.07	c 1647s |      21 |  1405376 |  1077345 |    32383     82 |        5 |      400
1649.65/1650.16	c 1649s |      21 |  1406276 |  1078045 |    32383     83 |        5 |      400
1651.75/1652.25	c 1651s |      21 |  1407848 |  1079245 |    32383     83 |        5 |      400
1653.84/1654.36	c 1653s |      21 |  1409311 |  1080445 |    32383     83 |        5 |      400
1655.94/1656.45	c 1655s |      21 |  1410732 |  1081645 |    32383     83 |        5 |      400
1658.14/1658.62	c 1658s |      21 |  1412121 |  1082745 |    32383     83 |        5 |      400
1660.34/1660.81	c 1660s |      21 |  1413671 |  1083945 |    32383     83 |        5 |      400
1662.54/1663.06	c 1662s |      21 |  1414987 |  1085045 |    32383     83 |        5 |      400
1664.64/1665.17	c 1664s |      21 |  1416134 |  1085945 |    32383     83 |        5 |      400
1666.74/1667.25	c 1666s |      21 |  1417163 |  1086845 |    32383     83 |        5 |      400
1668.74/1669.27	c 1668s |      21 |  1418207 |  1087745 |    32383     83 |        5 |      400
1670.94/1671.43	c 1670s |      21 |  1419460 |  1088745 |    32383     83 |        5 |      400
1673.04/1673.53	c 1673s |      21 |  1420393 |  1089545 |    32383     83 |        5 |      400
1675.24/1675.72	c 1675s |      21 |  1421436 |  1090445 |    32383     83 |        5 |      400
1677.44/1677.91	c 1677s |      21 |  1422239 |  1091145 |    32383     83 |        5 |      400
1679.54/1680.04	c 1679s |      21 |  1423008 |  1091845 |    32383     83 |        5 |      400
1681.64/1682.14	c 1681s |      21 |  1423844 |  1092545 |    32383     83 |        5 |      400
1683.94/1684.40	c 1683s |      21 |  1424789 |  1093345 |    32383     83 |        5 |      400
1685.95/1686.43	c 1685s |      21 |  1425692 |  1094145 |    32383     83 |        5 |      400
1687.94/1688.50	c 1688s |      21 |  1426408 |  1094745 |    32383     84 |        5 |      400
1690.14/1690.66	c 1690s |      21 |  1427405 |  1095645 |    32383     84 |        5 |      400
1692.14/1692.66	c 1692s |      21 |  1428199 |  1096345 |    32383     84 |        5 |      400
1694.24/1694.74	c 1694s |      21 |  1429575 |  1097545 |    32383     84 |        5 |      400
1696.33/1696.89	c 1696s |      21 |  1430507 |  1098345 |    32383     84 |        5 |      400
1698.43/1698.97	c 1698s |      21 |  1431817 |  1099445 |    32383     84 |        5 |      400
1700.53/1701.05	c 1700s |      21 |  1432907 |  1100345 |    32383     84 |        5 |      400
1702.73/1703.28	c 1702s |      21 |  1434022 |  1101345 |    32383     84 |        5 |      400
1704.83/1705.38	c 1704s |      21 |  1435102 |  1102245 |    32383     84 |        5 |      400
1706.84/1707.39	c 1706s |      21 |  1435988 |  1103045 |    32383     84 |        5 |      400
1709.04/1709.51	c 1709s |      21 |  1436906 |  1103845 |    32383     84 |        5 |      400
1711.03/1711.60	c 1711s |      21 |  1437661 |  1104545 |    32383     84 |        5 |      400
1713.34/1713.81	c 1713s |      21 |  1438714 |  1105445 |    32383     84 |        5 |      400
1715.43/1715.94	c 1715s |      21 |  1439879 |  1106445 |    32383     84 |        5 |      400
1717.63/1718.17	c 1717s |      21 |  1440785 |  1107245 |    32383     84 |        5 |      400
1719.83/1720.36	c 1719s |      21 |  1441836 |  1108145 |    32383     84 |        5 |      400
1721.93/1722.40	c 1721s |      21 |  1442785 |  1108945 |    32383     84 |        5 |      400
1724.03/1724.52	c 1724s |      21 |  1443954 |  1109845 |    32383     84 |        5 |      400
1726.13/1726.69	c 1726s |      21 |  1445147 |  1110845 |    32383     84 |        5 |      400
1728.33/1728.86	c 1728s |      21 |  1446063 |  1111645 |    32383     85 |        5 |      400
1730.43/1730.94	c 1730s |      21 |  1447152 |  1112645 |    32383     85 |        5 |      400
1732.63/1733.14	c 1732s |      21 |  1448390 |  1113745 |    32383     85 |        5 |      400
1734.83/1735.39	c 1734s |      21 |  1449283 |  1114545 |    32383     85 |        5 |      400
1736.93/1737.41	c 1736s |      21 |  1450320 |  1115445 |    32383     85 |        5 |      400
1738.93/1739.43	c 1738s |      21 |  1451314 |  1116245 |    32383     85 |        5 |      400
1741.03/1741.58	c 1741s |      21 |  1452460 |  1117245 |    32383     85 |        5 |      400
1743.03/1743.59	c 1743s |      21 |  1453700 |  1118345 |    32383     85 |        5 |      400
1745.23/1745.71	c 1745s |      21 |  1454700 |  1119245 |    32383     85 |        5 |      400
1747.43/1747.91	c 1747s |      21 |  1455693 |  1120145 |    32383     85 |        5 |      400
1749.53/1750.06	c 1749s |      21 |  1456968 |  1121245 |    32383     85 |        5 |      400
1751.53/1752.08	c 1751s |      21 |  1458086 |  1122245 |    32383     85 |        5 |      400
1753.63/1754.11	c 1753s |      21 |  1459279 |  1123345 |    32383     85 |        5 |      400
1755.73/1756.23	c 1755s |      21 |  1460457 |  1124345 |    32383     85 |        5 |      400
1757.72/1758.28	c 1757s |      21 |  1461476 |  1125245 |    32383     85 |        5 |      400
1759.92/1760.44	c 1759s |      21 |  1462566 |  1126245 |    32383     85 |        5 |      400
1761.92/1762.45	c 1761s |      21 |  1463592 |  1127145 |    32383     85 |        5 |      400
1764.03/1764.55	c 1764s |      21 |  1464604 |  1128045 |    32383     85 |        5 |      400
1766.02/1766.59	c 1766s |      21 |  1465538 |  1128845 |    32383     86 |        5 |      400
1768.12/1768.66	c 1768s |      21 |  1466648 |  1129845 |    32383     86 |        5 |      400
1770.12/1770.69	c 1770s |      21 |  1467638 |  1130745 |    32383     86 |        5 |      400
1772.32/1772.80	c 1772s |      21 |  1468849 |  1131845 |    32383     86 |        5 |      400
1774.32/1774.84	c 1774s |      21 |  1469813 |  1132745 |    32383     86 |        5 |      400
1779.22/1779.72	c 1779s |      21 |  1470371 |  1133245 |    32383     86 |        5 |      400
1781.42/1781.97	c 1781s |      21 |  1471586 |  1134245 |    32383     86 |        5 |      400
1783.62/1784.15	c 1783s |      21 |  1472787 |  1135245 |    32383     86 |        5 |      400
1785.82/1786.32	c 1785s |      21 |  1473831 |  1136145 |    32383     86 |        5 |      400
1790.02/1790.51	c 1790s |      21 |  1474535 |  1136745 |    32383     86 |        5 |      400
1792.92/1793.44	c 1792s |      21 |  1475597 |  1137645 |    32383     86 |        5 |      400
1795.02/1795.53	c 1795s |      21 |  1476761 |  1138545 |    32383     86 |        5 |      400
1797.12/1797.66	c 1797s |      21 |  1477971 |  1139445 |    32383     86 |        5 |      400
1799.32/1799.83	c 1799s |      21 |  1478971 |  1140245 |    32383     86 |        5 |      400

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

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

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


[startup+0 s]
/proc/loadavg: 1.08 1.08 1.41 3/170 21372
/proc/meminfo: memFree=31167644/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=660924 CPUtime=0 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 2452 0 0 0 0 0 0 0 20 0 4 0 13960592 676786176 2812 33554432000 4194304 16246674 140737245080688 140737245080112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 165743 2822 441 2943 0 162637 0
[pid=21372/tid=21373] ppid=21369 vsize=682428 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 698806272 2896 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=686524 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 703000576 2915 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=690620 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13960592 707194880 2930 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 1.08 1.08 1.41 3/170 21372
/proc/meminfo: memFree=31167644/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 28008 0 0 0 5 3 0 0 20 0 4 0 13960592 1333334016 28307 33554432000 4194304 16246674 140737245080688 140737245080000 7374276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 325521 28323 801 2943 0 322415 0
[pid=21372/tid=21373] ppid=21369 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1333334016 28333 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1333334016 28346 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1333334016 28357 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200525 s]
/proc/loadavg: 1.08 1.08 1.41 3/170 21372
/proc/meminfo: memFree=31167644/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 48057 0 0 0 13 6 0 0 20 0 4 0 13960592 1344868352 48355 33554432000 4194304 16246674 140737245080688 140737245080000 7363272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 328337 48355 801 2943 0 325231 0
[pid=21372/tid=21373] ppid=21369 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1344868352 48355 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1344868352 48355 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1344868352 48355 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300495 s]
/proc/loadavg: 1.08 1.08 1.41 3/170 21372
/proc/meminfo: memFree=31167644/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 57317 0 0 0 22 7 0 0 20 0 4 0 13960592 1344868352 57616 33554432000 4194304 16246674 140737245080688 140737245080000 6757857 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 328337 57630 837 2943 0 325231 0
[pid=21372/tid=21373] ppid=21369 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1344868352 57637 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1344868352 57645 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1344868352 57654 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700352 s]
/proc/loadavg: 1.08 1.08 1.41 3/170 21372
/proc/meminfo: memFree=31167644/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 134928 0 0 0 52 17 0 0 20 0 4 0 13960592 1344868352 135226 33554432000 4194304 16246674 140737245080688 140737245080000 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 328337 135237 880 2943 0 325231 0
[pid=21372/tid=21373] ppid=21369 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1344868352 135244 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1344868352 135251 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1344868352 135258 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.5004 s]
/proc/loadavg: 1.08 1.08 1.41 4/183 21389
/proc/meminfo: memFree=29951016/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1318468 CPUtime=1.49 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 270478 0 0 0 114 35 0 0 20 0 4 0 13960592 1350111232 270776 33554432000 4194304 16246674 140737245080688 140737245062592 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 329617 270776 883 2943 0 326511 0
[pid=21372/tid=21373] ppid=21369 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1350111232 270776 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1350111232 270776 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1350111232 270776 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1318468

[startup+3.1004 s]
/proc/loadavg: 1.15 1.10 1.41 3/183 21389
/proc/meminfo: memFree=28996696/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1318468 CPUtime=3.09 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 270485 0 0 0 274 35 0 0 20 0 4 0 13960592 1350111232 270783 33554432000 4194304 16246674 140737245080688 140737245062592 5672056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 329617 270783 887 2943 0 326511 0
[pid=21372/tid=21373] ppid=21369 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1350111232 270783 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1350111232 270783 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1350111232 270783 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1318468

[startup+6.30041 s]
/proc/loadavg: 1.15 1.10 1.41 3/183 21389
/proc/meminfo: memFree=28994064/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1318468 CPUtime=6.28 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 270789 0 0 0 593 35 0 0 20 0 4 0 13960592 1350111232 271087 33554432000 4194304 16246674 140737245080688 140737245062592 5677678 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 329617 271087 887 2943 0 326511 0
[pid=21372/tid=21373] ppid=21369 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1350111232 271087 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1350111232 271087 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1350111232 271087 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1318468

[startup+12.7004 s]
/proc/loadavg: 1.28 1.13 1.41 3/183 21389
/proc/meminfo: memFree=28994196/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1318468 CPUtime=12.68 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 270790 0 0 0 1233 35 0 0 20 0 4 0 13960592 1350111232 271088 33554432000 4194304 16246674 140737245080688 140737245063688 7250064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 329617 271088 887 2943 0 326511 0
[pid=21372/tid=21373] ppid=21369 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1350111232 271088 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1350111232 271088 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1350111232 271088 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1318468

[startup+25.5005 s]
/proc/loadavg: 1.39 1.15 1.42 3/183 21389
/proc/meminfo: memFree=28980624/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1332804 CPUtime=25.49 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 274387 0 0 0 2513 36 0 0 20 0 4 0 13960592 1364791296 274685 33554432000 4194304 16246674 140737245080688 140737245062592 5823694 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 333201 274685 888 2943 0 330095 0
[pid=21372/tid=21373] ppid=21369 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1364791296 274685 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1364791296 274685 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1364791296 274685 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1332804

[startup+51.1005 s]
/proc/loadavg: 1.60 1.22 1.44 3/183 21389
/proc/meminfo: memFree=28971456/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1342020 CPUtime=51.08 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 276691 0 0 0 5072 36 0 0 20 0 4 0 13960592 1374228480 276989 33554432000 4194304 16246674 140737245080688 140737245062592 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 335505 276989 888 2943 0 332399 0
[pid=21372/tid=21373] ppid=21369 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1374228480 276989 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1374228480 276989 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1374228480 276989 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1342020

[startup+102.3 s]
/proc/loadavg: 1.84 1.35 1.47 3/184 21394
/proc/meminfo: memFree=28970524/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1342020 CPUtime=102.28 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 276705 0 0 0 10191 37 0 0 20 0 4 0 13960592 1374228480 276989 33554432000 4194304 16246674 140737245080688 140737245062592 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 335505 276989 888 2943 0 332399 0
[pid=21372/tid=21373] ppid=21369 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1374228480 276989 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1374228480 276989 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1374228480 276989 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1342020


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

/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1391172

[startup+1362.3 s]
/proc/loadavg: 2.19 2.16 1.95 3/183 21425
/proc/meminfo: memFree=28841916/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1391172 CPUtime=1361.89 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 289351 0 0 0 136139 50 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 140737245078528 5545832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 347793 289277 888 2943 0 344687 0
[pid=21372/tid=21373] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1391172

[startup+1422.3 s]
/proc/loadavg: 2.12 2.14 1.96 3/183 21426
/proc/meminfo: memFree=28841784/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1391172 CPUtime=1421.88 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 289351 0 0 0 142138 50 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 140737245062592 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 347793 289277 888 2943 0 344687 0
[pid=21372/tid=21373] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1391172

[startup+1482.3 s]
/proc/loadavg: 2.09 2.13 1.96 3/183 21427
/proc/meminfo: memFree=28807916/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1391172 CPUtime=1481.87 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 289351 0 0 0 148136 51 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 140737245062592 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 347793 289277 888 2943 0 344687 0
[pid=21372/tid=21373] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1391172

[startup+1542.31 s]
/proc/loadavg: 2.14 2.13 1.97 3/183 21428
/proc/meminfo: memFree=28807956/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1391172 CPUtime=1541.87 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 289351 0 0 0 154135 52 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 140737245062592 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 347793 289277 888 2943 0 344687 0
[pid=21372/tid=21373] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1391172

[startup+1602.3 s]
/proc/loadavg: 2.25 2.17 2.00 3/183 21430
/proc/meminfo: memFree=28808068/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1391172 CPUtime=1601.85 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 289351 0 0 0 160133 52 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 140737245062592 5675088 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 347793 289277 888 2943 0 344687 0
[pid=21372/tid=21373] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1391172

[startup+1662.3 s]
/proc/loadavg: 2.20 2.17 2.00 3/183 21431
/proc/meminfo: memFree=28808488/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1391172 CPUtime=1661.84 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 289351 0 0 0 166131 53 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 140737245062592 5676361 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 347793 289277 888 2943 0 344687 0
[pid=21372/tid=21373] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1391172

[startup+1722.3 s]
/proc/loadavg: 2.28 2.19 2.02 3/183 21432
/proc/meminfo: memFree=28808468/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1391172 CPUtime=1721.83 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 289351 0 0 0 172130 53 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 140737245062592 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 347793 289277 888 2943 0 344687 0
[pid=21372/tid=21373] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1391172

[startup+1782.3 s]
/proc/loadavg: 2.16 2.17 2.02 3/183 21433
/proc/meminfo: memFree=28807952/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1391172 CPUtime=1781.82 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 289351 0 0 0 178128 54 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 140737245062592 13191364 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 347793 289277 888 2943 0 344687 0
[pid=21372/tid=21373] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1391172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.19 2.18 2.02 3/183 21433
/proc/meminfo: memFree=28807952/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1391172 CPUtime=1800.02 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 289351 0 0 0 179948 54 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 140737245062592 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 347793 289277 888 2943 0 344687 0
[pid=21372/tid=21373] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1391172

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

[startup+1800.5 s]
/proc/loadavg: 2.19 2.18 2.02 3/183 21433
/proc/meminfo: memFree=28807952/32872528 swapFree=681192/736380
[pid=21372] ppid=21369 vsize=1391172 CPUtime=1800.02 cores=0,2,4,6
/proc/21372/stat : 21372 (toysat) R 21369 21372 17793 0 -1 4202496 289351 0 0 0 179948 54 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 140737245062592 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21372/statm: 347793 289277 888 2943 0 344687 0
[pid=21372/tid=21373] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21373/stat : 21373 (toysat) S 21369 21372 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747710184688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21372/tid=21374] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21374/stat : 21374 (toysat) S 21369 21372 17793 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747699694832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21372/tid=21375] ppid=21369 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/21372/task/21375/stat : 21375 (toysat) S 21369 21372 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960592 1424560128 289277 33554432000 4194304 16246674 140737245080688 139747689221296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1391172

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.49
CPU system time (s): 0.545917
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 1391172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.545917
maximum resident set size= 1157108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289351
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= 388
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64029 second user time and 6.87595 second system time

The end

Begin job on node112 at 2016-06-17 01:18:33
IDJOB=4098003
IDBENCH=107838
IDSOLVER=2542
FILE ID=node112/4098003-1466119113
RUNJOBID= node112-1466119113-21352
PBS_JOBID= 19904069
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_15.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098003-1466119113/watcher-4098003-1466119113 -o /tmp/evaluation-result-4098003-1466119113/solver-4098003-1466119113 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466119113-21352 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098003-1466119113.opb

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

MD5SUM BENCH= ecefcb7e3dc5798d6494dbad978c43e9
RANDOM SEED=663202263

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31168288 kB
Buffers:           70004 kB
Cached:           190636 kB
SwapCached:          696 kB
Active:           145112 kB
Inactive:         118000 kB
Active(anon):       4464 kB
Inactive(anon):      740 kB
Active(file):     140648 kB
Inactive(file):   117260 kB
Unevictable:      736380 kB
Mlocked:          681192 kB
SwapTotal:      67108856 kB
SwapFree:       67098028 kB
Dirty:             38064 kB
Writeback:             0 kB
AnonPages:        738516 kB
Mapped:             7060 kB
Shmem:                 0 kB
Slab:             572360 kB
SReclaimable:      16260 kB
SUnreclaim:       556100 kB
KernelStack:        1400 kB
PageTables:         5160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     833176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 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= 71676 MiB
End job on node112 at 2016-06-17 01:48:34