0.00/0.00	c 2016-06-17T01:08:38+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-4097828-1466118518.opb"]
0.00/0.01	c use --random-gen="1677406947 3576615508 1712228149 3060804291 3738754656 1743637706 902292753 1007159194 1562686330 3156963534 3021052534 979019949 4211900117 2281281509 869771921 4006684759 546846197 306260722 2588360683 855640110 2025147368 1085528375 1904794433 2699557609 1962171907 2362525308 1379009642 1291554044 3605779480 3275038650 2624302443 3875891659 3618062760 1315871931 577545748 2988912352 651227933 2907810182 2669406065 1413201945 3438597926 2453570944 3250127331 3662032099 271747099 2853673116 3190614150 2221956174 514094483 3666913039 3460172999 1135233026 2497197933 3086636480 922070789 3538157205 3919067058 2883858417 4209908390 2670110689 3399515085 2274279317 3685171142 3321347276 4115491744 1505853278 3212450326 441190218 2878650269 123158067 670147410 1965731023 4131789776 3269400071 278651540 2923503406 841555246 667617115 2532245394 3616966663 4146206277 3679059987 257237720 1127529053 3430999722 3775391738 500012880 455258192 2734046483 1642537651 3551897330 635574002 1162887130 2290430462 2413245380 4281788769 1809032245 3620517652 1951317743 763978850 3488808519 4199270202 2020249117 3371881692 133994575 2142392294 116949948 3193958404 928475391 855920187 168832937 1221776715 3630477826 4245970544 2729704211 3842223679 2401096676 1264968527 1540048182 574532058 2616669972 3625790324 1695170214 1327388061 3385797201 1165660490 2507701037 2139558621 3435848398 947093898 532290311 1558640744 2122099487 4233758169 977049370 1758643405 2436381113 2300214401 250822283 569011134 1245118255 2047975564 767747755 1582047412 672404127 2544739702 990229251 1008017248 398460626 3864273307 4017913322 762222068 3600211924 2587008478 1190324142 4105952745 3628440019 2730060804 2187821058 2854909315 470593986 2247218627 810087497 72642444 548401067 2230350586 4288677211 3533932845 3451293849 2784282117 3080638922 3949880622 940238684 1809392701 4040722411 3167240635 2973369655 2592836908 4022142706 2821474307 2687449704 4281972245 3593656842 1824553210 2800320140 1420099891 3546175906 2851145324 871262785 2316435733 1213538336 748540494 4164466980 431906259 2608927340 3364956076 2807876700 1002233109 105932819 832245254 2738194908 137696038 3040075923 2708430585 3136607174 3454630989 4226622454 72818565 998793865 2258896580 1848945900 3070560276 1499266508 946892935 3009693442 2013270692 3197397583 3561150723 1571754419 1324573383 3062654977 4040278719 3663239743 2647666155 2692863422 2110724469 1937056424 4124002318 2784397368 3780090042 277780207 3629880390 3725548779 1873665229 1188197631 523916512 4121144152 721396079 2889434078 1587795001 3172676520 2447582975 3721883026 4267243871 668520047 1029879865 422448170 1217932933 3813361783 390971639 3804242866 2332505303 4170820006 1549797688 1352201630 4219063673 255 362436" option to reproduce the execution
0.19/0.20	c #vars 2163
0.19/0.20	c #constraints 10354
0.39/0.46	c Solving starts ...
0.39/0.46	c ============================[ Search Statistics ]============================
0.39/0.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.46	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.46	c =============================================================================
0.39/0.46	c  0.0s |       0 |        0 |        0 |     4171      0 |        3 |        0
0.59/0.62	c  0.2s |       1 |      550 |      100 |     4171      0 |        3 |      180
0.79/0.81	c  0.4s |       2 |      818 |      250 |     4589      0 |        3 |      180
0.99/1.10	c  0.6s |       3 |     1445 |      475 |     5048      0 |        3 |      180
1.49/1.57	c  1.1s |       4 |     2424 |      813 |     5553      0 |        3 |      180
1.89/1.97	c  1.5s |       5 |     3676 |     1320 |     6109      0 |        3 |      180
2.59/2.65	c  2.2s |       6 |     5071 |     2081 |     7393      0 |        3 |      180
3.49/3.54	c  3.1s |       7 |     7016 |     3223 |     8133      0 |        3 |      180
5.29/5.30	c  4.8s |       8 |    10223 |     4936 |     8947      0 |        3 |      180
7.28/7.39	c  6.9s |       8 |    14287 |     6836 |     8947      0 |        3 |      180
7.98/8.05	c  7.6s |       9 |    15289 |     7506 |     9842      0 |        3 |      180
10.08/10.12	c  9.7s |       9 |    18961 |     9606 |     9842      0 |        3 |      180
11.78/11.88	c 11.4s |      10 |    21903 |    11361 |    10827      1 |        3 |      180
13.89/13.95	c 13.5s |      10 |    26530 |    13361 |    10827      1 |        3 |      180
15.89/15.97	c 15.5s |      10 |    30092 |    15261 |    10827      1 |        3 |      180
17.99/18.05	c 17.6s |      11 |    33866 |    17144 |    11910      2 |        3 |      180
19.99/20.07	c 19.6s |      11 |    37973 |    18944 |    11910      2 |        3 |      180
22.10/22.13	c 21.7s |      11 |    42480 |    21144 |    11910      2 |        3 |      180
24.20/24.24	c 23.8s |      11 |    46034 |    23244 |    11910      2 |        3 |      180
26.19/26.29	c 25.8s |      11 |    49698 |    25544 |    11910      3 |        3 |      180
26.49/26.55	c 26.1s |      12 |    50204 |    25819 |    13102      3 |        3 |      180
28.49/28.57	c 28.1s |      12 |    53366 |    28119 |    13102      3 |        3 |      180
30.59/30.65	c 30.2s |      12 |    56423 |    30019 |    13102      3 |        3 |      180
32.68/32.72	c 32.3s |      12 |    59867 |    31919 |    13102      4 |        3 |      180
34.78/34.86	c 34.4s |      12 |    63219 |    33919 |    13102      4 |        3 |      180
36.88/36.91	c 36.5s |      12 |    66040 |    35719 |    13102      4 |        3 |      180
38.88/38.99	c 38.5s |      12 |    69495 |    37619 |    13102      5 |        3 |      180
39.98/40.02	c 39.6s |      13 |    71490 |    38832 |    14413      5 |        3 |      180
41.98/42.02	c 41.6s |      13 |    75159 |    41132 |    14413      5 |        3 |      180
43.99/44.08	c 43.6s |      13 |    78102 |    43332 |    14413      5 |        3 |      180
46.08/46.19	c 45.7s |      13 |    80799 |    45232 |    14413      5 |        3 |      180
48.18/48.27	c 47.8s |      13 |    83908 |    46932 |    14413      6 |        3 |      180
50.18/50.29	c 49.8s |      13 |    87545 |    49032 |    14413      6 |        3 |      180
52.28/52.38	c 51.9s |      13 |    90897 |    51232 |    14413      6 |        3 |      180
54.28/54.38	c 53.9s |      13 |    93806 |    53332 |    14413      6 |        3 |      180
56.28/56.38	c 55.9s |      13 |    96673 |    55432 |    14413      7 |        3 |      180
58.39/58.42	c 58.0s |      13 |    99238 |    57332 |    14413      7 |        3 |      180
59.39/59.44	c 59.0s |      14 |   100524 |    58352 |    15855      7 |        3 |      180
61.48/61.50	c 61.0s |      14 |   103711 |    60152 |    15855      7 |        3 |      180
63.48/63.56	c 63.1s |      14 |   106466 |    62152 |    15855      7 |        3 |      180
65.58/65.62	c 65.2s |      14 |   109506 |    64152 |    15855      8 |        3 |      180
67.58/67.67	c 67.2s |      14 |   112558 |    66452 |    15855      8 |        3 |      180
69.68/69.75	c 69.3s |      14 |   115485 |    68452 |    15855      8 |        3 |      180
71.78/71.84	c 71.4s |      14 |   118260 |    70352 |    15855      8 |        3 |      180
73.88/73.90	c 73.4s |      14 |   121186 |    72452 |    15855      9 |        3 |      180
75.89/75.97	c 75.5s |      14 |   124052 |    74552 |    15855      9 |        3 |      180
77.98/78.03	c 77.6s |      14 |   126988 |    76652 |    15855      9 |        3 |      180
79.98/80.06	c 79.6s |      14 |   129572 |    78652 |    15855      9 |        3 |      180
82.08/82.15	c 81.7s |      14 |   132433 |    80852 |    15855     10 |        3 |      180
84.18/84.24	c 83.8s |      14 |   135510 |    83252 |    15855     10 |        3 |      180
86.28/86.33	c 85.9s |      14 |   138271 |    85552 |    15855     10 |        3 |      180
88.08/88.12	c 87.7s |      15 |   140697 |    87632 |    17441     10 |        3 |      180
90.08/90.14	c 89.7s |      15 |   143389 |    89932 |    17441     11 |        3 |      180
93.67/93.72	c 93.3s |      15 |   143905 |    90132 |    17441     11 |        3 |      180
95.68/95.78	c 95.3s |      15 |   146500 |    91732 |    17441     11 |        3 |      180
97.77/97.84	c 97.4s |      15 |   149335 |    93732 |    17441     11 |        3 |      180
99.77/99.88	c 99.4s |      15 |   152031 |    95432 |    17441     11 |        3 |      180
101.87/101.96	c  101s |      15 |   154630 |    97232 |    17441     11 |        3 |      180
103.97/104.02	c  103s |      15 |   156782 |    98832 |    17441     12 |        3 |      180
105.97/106.07	c  105s |      15 |   159607 |   100932 |    17441     12 |        3 |      180
107.97/108.08	c  107s |      15 |   162411 |   103132 |    17441     12 |        3 |      180
109.98/110.09	c  109s |      15 |   165038 |   104532 |    17441     12 |        3 |      180
111.97/112.09	c  111s |      15 |   167113 |   106032 |    17441     12 |        3 |      180
114.07/114.19	c  113s |      15 |   169639 |   107432 |    17441     12 |        3 |      180
116.17/116.25	c  115s |      15 |   171673 |   108832 |    17441     13 |        3 |      180
118.27/118.30	c  117s |      15 |   174450 |   110832 |    17441     13 |        3 |      180
120.27/120.32	c  119s |      15 |   176928 |   112632 |    17441     13 |        3 |      180
122.37/122.41	c  121s |      15 |   179330 |   114632 |    17441     13 |        3 |      180
124.47/124.55	c  124s |      15 |   181566 |   116432 |    17441     13 |        3 |      180
126.58/126.61	c  126s |      15 |   183522 |   117832 |    17441     14 |        3 |      180
128.57/128.66	c  128s |      15 |   186334 |   119632 |    17441     14 |        3 |      180
130.67/130.71	c  130s |      15 |   188958 |   121432 |    17441     14 |        3 |      180
132.67/132.79	c  132s |      15 |   191336 |   123232 |    17441     14 |        3 |      180
134.77/134.84	c  134s |      15 |   193675 |   125032 |    17441     14 |        3 |      180
136.77/136.86	c  136s |      15 |   195500 |   126432 |    17441     15 |        3 |      180
138.87/138.90	c  138s |      15 |   197890 |   128232 |    17441     15 |        3 |      180
140.88/140.94	c  140s |      15 |   200026 |   129732 |    17441     15 |        3 |      180
142.98/143.03	c  142s |      15 |   202547 |   131432 |    19186     15 |        3 |      180
143.08/143.18	c  142s |      16 |   202688 |   131552 |    19186     15 |        3 |      180
145.17/145.26	c  144s |      16 |   204278 |   132452 |    19186     15 |        3 |      180
147.26/147.30	c  146s |      16 |   207209 |   134052 |    19186     15 |        3 |      180
149.26/149.35	c  148s |      16 |   209510 |   135652 |    19186     15 |        3 |      180
151.36/151.45	c  150s |      16 |   212100 |   137352 |    19186     16 |        3 |      180
153.46/153.51	c  153s |      16 |   214667 |   138952 |    19186     16 |        3 |      180
155.46/155.59	c  155s |      16 |   217614 |   140852 |    19186     16 |        3 |      180
157.56/157.67	c  157s |      16 |   220139 |   142752 |    19186     16 |        3 |      180
159.66/159.77	c  159s |      16 |   222502 |   144652 |    19186     16 |        3 |      180
161.67/161.80	c  161s |      16 |   224710 |   146552 |    19186     16 |        3 |      180
163.76/163.88	c  163s |      16 |   227248 |   148152 |    19186     17 |        3 |      180
165.86/165.95	c  165s |      16 |   229493 |   149352 |    19186     17 |        3 |      180
167.86/167.99	c  167s |      16 |   232410 |   151052 |    19186     17 |        3 |      180
169.96/170.06	c  169s |      16 |   234932 |   152752 |    19186     17 |        3 |      180
172.06/172.11	c  171s |      16 |   237007 |   154352 |    19186     17 |        3 |      180
174.06/174.19	c  173s |      16 |   239379 |   155952 |    19186     17 |        3 |      180
176.16/176.26	c  175s |      16 |   241564 |   157352 |    19186     18 |        3 |      180
178.27/178.35	c  177s |      16 |   243943 |   159052 |    19186     18 |        3 |      180
180.37/180.45	c  179s |      16 |   246384 |   160752 |    19186     18 |        3 |      180
182.46/182.51	c  182s |      16 |   248611 |   162352 |    19186     18 |        3 |      180
184.46/184.57	c  184s |      16 |   250933 |   164052 |    19186     18 |        3 |      180
186.56/186.64	c  186s |      16 |   253292 |   165852 |    19186     18 |        3 |      180
188.76/188.81	c  188s |      16 |   255304 |   167152 |    19186     19 |        3 |      180
190.86/190.99	c  190s |      16 |   257749 |   168652 |    19186     19 |        3 |      180
192.96/193.01	c  192s |      16 |   260090 |   169852 |    19186     19 |        3 |      180
194.96/195.06	c  194s |      16 |   262850 |   171552 |    19186     19 |        3 |      180
197.06/197.11	c  196s |      16 |   265613 |   173152 |    19186     19 |        3 |      180
199.06/199.16	c  198s |      16 |   268239 |   174852 |    19186     19 |        3 |      180
201.05/201.16	c  200s |      16 |   270711 |   176452 |    19186     19 |        3 |      180
203.15/203.23	c  202s |      16 |   273471 |   178252 |    19186     20 |        3 |      180
205.15/205.27	c  204s |      16 |   276498 |   180352 |    19186     20 |        3 |      180
207.15/207.29	c  206s |      16 |   279457 |   182452 |    19186     20 |        3 |      180
209.25/209.35	c  208s |      16 |   282136 |   184552 |    19186     20 |        3 |      180
211.26/211.37	c  210s |      16 |   284165 |   186052 |    19186     20 |        3 |      180
213.46/213.53	c  213s |      16 |   286030 |   187452 |    19186     21 |        3 |      180
215.56/215.62	c  215s |      16 |   288387 |   189152 |    19186     21 |        3 |      180
217.66/217.71	c  217s |      16 |   290747 |   190952 |    19186     21 |        3 |      180
219.66/219.74	c  219s |      16 |   293140 |   192752 |    19186     21 |        3 |      180
221.66/221.79	c  221s |      16 |   295673 |   194452 |    19186     21 |        3 |      180
223.76/223.83	c  223s |      16 |   298074 |   196252 |    21105     21 |        3 |      180
225.36/225.46	c  225s |      17 |   299835 |   197432 |    21105     21 |        3 |      180
227.56/227.64	c  227s |      17 |   302558 |   198432 |    21105     21 |        3 |      180
229.66/229.78	c  229s |      17 |   305782 |   199832 |    21105     22 |        3 |      180
231.76/231.85	c  231s |      17 |   308776 |   201732 |    21105     22 |        3 |      180
233.86/233.93	c  233s |      17 |   311807 |   203332 |    21105     22 |        3 |      180
235.86/235.98	c  235s |      17 |   315118 |   205132 |    21105     22 |        3 |      180
237.96/238.00	c  237s |      17 |   317536 |   206832 |    21105     22 |        3 |      180
239.96/240.00	c  239s |      17 |   319740 |   208432 |    21105     22 |        3 |      180
241.96/242.09	c  241s |      17 |   321858 |   209932 |    21105     22 |        3 |      180
244.06/244.12	c  243s |      17 |   324100 |   211632 |    21105     23 |        3 |      180
246.16/246.20	c  245s |      17 |   327129 |   213732 |    21105     23 |        3 |      180
248.16/248.27	c  247s |      17 |   329840 |   215832 |    21105     23 |        3 |      180
250.45/250.54	c  250s |      17 |   331892 |   217332 |    21105     23 |        3 |      180
252.45/252.58	c  252s |      17 |   333886 |   218732 |    21105     23 |        3 |      180
254.55/254.65	c  254s |      17 |   337556 |   220132 |    21105     23 |        3 |      180
256.75/256.81	c  256s |      17 |   339538 |   221632 |    21105     24 |        3 |      180
258.75/258.84	c  258s |      17 |   341948 |   223532 |    21105     24 |        3 |      180
260.76/260.84	c  260s |      17 |   344440 |   225232 |    21105     24 |        3 |      180
262.86/262.91	c  262s |      17 |   346382 |   226732 |    21105     24 |        3 |      180
264.95/265.05	c  264s |      17 |   348223 |   228032 |    21105     24 |        3 |      180
267.05/267.15	c  266s |      17 |   350274 |   229432 |    21105     24 |        3 |      180
269.15/269.27	c  268s |      17 |   352452 |   230932 |    21105     24 |        3 |      180
271.15/271.29	c  270s |      17 |   354132 |   231932 |    21105     25 |        3 |      180
273.25/273.34	c  272s |      17 |   356682 |   233532 |    21105     25 |        3 |      180
275.25/275.35	c  274s |      17 |   359148 |   235132 |    21105     25 |        3 |      180
277.35/277.46	c  277s |      17 |   361520 |   236832 |    21105     25 |        3 |      180
279.36/279.50	c  279s |      17 |   363504 |   238232 |    21105     25 |        3 |      180
281.45/281.59	c  281s |      17 |   365951 |   239932 |    21105     25 |        3 |      180
283.65/283.73	c  283s |      17 |   368553 |   241632 |    21105     25 |        3 |      180
285.75/285.81	c  285s |      17 |   370894 |   243332 |    21105     26 |        3 |      180
287.75/287.86	c  287s |      17 |   373906 |   245532 |    21105     26 |        3 |      180
289.85/289.99	c  289s |      17 |   376197 |   247232 |    21105     26 |        3 |      180
292.05/292.12	c  291s |      17 |   378476 |   248832 |    21105     26 |        3 |      180
294.05/294.16	c  293s |      17 |   380599 |   250432 |    21105     26 |        3 |      180
296.15/296.20	c  295s |      17 |   382763 |   252032 |    21105     26 |        3 |      180
298.15/298.27	c  297s |      17 |   384745 |   253632 |    21105     26 |        3 |      180
300.25/300.32	c  299s |      17 |   386621 |   255132 |    21105     27 |        3 |      180
302.25/302.39	c  301s |      17 |   389057 |   256832 |    21105     27 |        3 |      180
304.35/304.43	c  303s |      17 |   391311 |   258732 |    21105     27 |        3 |      180
306.45/306.54	c  306s |      17 |   393574 |   260532 |    21105     27 |        3 |      180
308.45/308.57	c  308s |      17 |   395539 |   262132 |    21105     27 |        3 |      180
310.44/310.59	c  310s |      17 |   397361 |   263432 |    21105     27 |        3 |      180
312.64/312.78	c  312s |      17 |   399190 |   264732 |    21105     28 |        3 |      180
314.74/314.82	c  314s |      17 |   401595 |   266532 |    21105     28 |        3 |      180
316.75/316.87	c  316s |      17 |   403951 |   268332 |    21105     28 |        3 |      180
318.84/318.94	c  318s |      17 |   406174 |   270032 |    21105     28 |        3 |      180
320.94/321.05	c  320s |      17 |   408166 |   271632 |    21105     28 |        3 |      180
322.94/323.09	c  322s |      17 |   410187 |   273232 |    21105     28 |        3 |      180
325.04/325.12	c  324s |      17 |   412010 |   274632 |    21105     28 |        3 |      180
327.14/327.20	c  326s |      17 |   413804 |   275932 |    21105     29 |        3 |      180
329.24/329.36	c  328s |      17 |   416226 |   277832 |    21105     29 |        3 |      180
331.34/331.42	c  330s |      17 |   418214 |   279532 |    21105     29 |        3 |      180
333.44/333.53	c  333s |      17 |   420119 |   281132 |    21105     29 |        3 |      180
335.45/335.56	c  335s |      17 |   422009 |   282632 |    21105     29 |        3 |      180
337.65/337.72	c  337s |      17 |   423999 |   284232 |    21105     29 |        3 |      180
339.64/339.79	c  339s |      17 |   425844 |   285832 |    21105     29 |        3 |      180
342.15/342.22	c  341s |      17 |   427358 |   287132 |    21105     30 |        3 |      180
344.24/344.37	c  343s |      17 |   429380 |   288732 |    21105     30 |        3 |      180
346.34/346.43	c  345s |      17 |   431432 |   290232 |    21105     30 |        3 |      180
348.44/348.51	c  348s |      17 |   433310 |   291832 |    21105     30 |        3 |      180
351.24/351.37	c  350s |      17 |   434801 |   293132 |    21105     30 |        3 |      180
353.34/353.42	c  352s |      17 |   436632 |   294532 |    23216     30 |        3 |      180
355.44/355.52	c  355s |      17 |   438352 |   295832 |    23216     30 |        3 |      180
356.14/356.27	c  355s |      18 |   438839 |   296252 |    23216     30 |        3 |      180
359.03/359.17	c  358s |      18 |   439338 |   296552 |    23216     30 |        3 |      180
361.23/361.32	c  360s |      18 |   441813 |   297852 |    23216     30 |        3 |      180
363.23/363.38	c  362s |      18 |   443797 |   299252 |    23216     30 |        3 |      180
365.33/365.44	c  364s |      18 |   445714 |   300152 |    23216     31 |        3 |      180
367.34/367.48	c  367s |      18 |   448579 |   301952 |    23216     31 |        3 |      180
369.43/369.55	c  369s |      18 |   451403 |   303652 |    23216     31 |        3 |      180
371.53/371.67	c  371s |      18 |   454439 |   305452 |    23216     31 |        3 |      180
373.73/373.80	c  373s |      18 |   457358 |   307352 |    23216     31 |        3 |      180
375.83/375.92	c  375s |      18 |   460305 |   309252 |    23216     31 |        3 |      180
377.83/377.93	c  377s |      18 |   462522 |   310852 |    23216     31 |        3 |      180
379.83/379.94	c  379s |      18 |   464737 |   312452 |    23216     32 |        3 |      180
381.83/381.94	c  381s |      18 |   467408 |   314452 |    23216     32 |        3 |      180
383.94/384.05	c  383s |      18 |   469964 |   316052 |    23216     32 |        3 |      180
386.04/386.13	c  385s |      18 |   472265 |   317552 |    23216     32 |        3 |      180
388.04/388.19	c  387s |      18 |   474299 |   319152 |    23216     32 |        3 |      180
390.23/390.30	c  389s |      18 |   476308 |   320652 |    23216     32 |        3 |      180
392.23/392.37	c  391s |      18 |   478332 |   322152 |    23216     32 |        3 |      180
394.33/394.44	c  393s |      18 |   480219 |   323652 |    23216     32 |        3 |      180
396.33/396.47	c  396s |      18 |   481972 |   325052 |    23216     33 |        3 |      180
398.43/398.53	c  398s |      18 |   483914 |   326452 |    23216     33 |        3 |      180
400.53/400.68	c  400s |      18 |   485922 |   327952 |    23216     33 |        3 |      180
402.54/402.69	c  402s |      18 |   488194 |   329452 |    23216     33 |        3 |      180
404.63/404.74	c  404s |      18 |   490488 |   331052 |    23216     33 |        3 |      180
406.73/406.80	c  406s |      18 |   492954 |   332452 |    23216     33 |        3 |      180
408.73/408.89	c  408s |      18 |   494899 |   333852 |    23216     33 |        3 |      180
410.83/410.92	c  410s |      18 |   496840 |   335152 |    23216     33 |        3 |      180
412.83/412.93	c  412s |      18 |   498701 |   336552 |    23216     34 |        3 |      180
414.83/414.95	c  414s |      18 |   500911 |   338352 |    23216     34 |        3 |      180
416.84/416.99	c  416s |      18 |   502790 |   339852 |    23216     34 |        3 |      180
418.93/419.08	c  418s |      18 |   505379 |   341452 |    23216     34 |        3 |      180
421.03/421.12	c  420s |      18 |   507606 |   343052 |    23216     34 |        3 |      180
423.13/423.23	c  422s |      18 |   509955 |   344752 |    23216     34 |        3 |      180
425.13/425.23	c  424s |      18 |   512131 |   346452 |    23216     34 |        3 |      180
427.23/427.31	c  426s |      18 |   513898 |   347852 |    23216     35 |        3 |      180
429.23/429.36	c  428s |      18 |   516477 |   349552 |    23216     35 |        3 |      180
431.33/431.42	c  430s |      18 |   518959 |   351252 |    23216     35 |        3 |      180
433.33/433.42	c  432s |      18 |   521421 |   352952 |    23216     35 |        3 |      180
435.33/435.43	c  434s |      18 |   523479 |   354452 |    23216     35 |        3 |      180
437.43/437.52	c  437s |      18 |   525688 |   356052 |    23216     35 |        3 |      180
439.43/439.56	c  439s |      18 |   527749 |   357652 |    23216     35 |        3 |      180
441.52/441.66	c  441s |      18 |   529678 |   359152 |    23216     35 |        3 |      180
443.62/443.76	c  443s |      18 |   531458 |   360452 |    23216     36 |        3 |      180
445.62/445.79	c  445s |      18 |   534121 |   362452 |    23216     36 |        3 |      180
447.73/447.84	c  447s |      18 |   536595 |   364452 |    23216     36 |        3 |      180
449.72/449.88	c  449s |      18 |   538907 |   366052 |    23216     36 |        3 |      180
451.82/451.97	c  451s |      18 |   541238 |   367752 |    23216     36 |        3 |      180
453.92/454.03	c  453s |      18 |   543397 |   369452 |    23216     36 |        3 |      180
456.02/456.13	c  455s |      18 |   545726 |   371152 |    23216     36 |        3 |      180
458.02/458.18	c  457s |      18 |   548040 |   372752 |    23216     37 |        3 |      180
460.12/460.24	c  459s |      18 |   550749 |   374852 |    23216     37 |        3 |      180
462.12/462.24	c  461s |      18 |   553208 |   376652 |    23216     37 |        3 |      180
464.13/464.30	c  463s |      18 |   555805 |   378652 |    23216     37 |        3 |      180
466.22/466.34	c  465s |      18 |   557930 |   380352 |    23216     37 |        3 |      180
468.22/468.37	c  467s |      18 |   560115 |   382052 |    23216     37 |        3 |      180
470.32/470.49	c  470s |      18 |   562232 |   383852 |    23216     37 |        3 |      180
472.42/472.53	c  472s |      18 |   564532 |   385752 |    23216     38 |        3 |      180
478.82/478.91	c  478s |      18 |   566002 |   386852 |    23216     38 |        3 |      180
480.92/481.06	c  480s |      18 |   567496 |   387752 |    23216     38 |        3 |      180
483.02/483.16	c  482s |      18 |   569713 |   389252 |    23216     38 |        3 |      180
485.12/485.25	c  484s |      18 |   571888 |   390852 |    23216     38 |        3 |      180
487.22/487.36	c  486s |      18 |   574081 |   392452 |    23216     38 |        3 |      180
489.32/489.44	c  488s |      18 |   576156 |   393852 |    23216     38 |        3 |      180
491.42/491.51	c  491s |      18 |   578302 |   395352 |    23216     38 |        3 |      180
493.42/493.59	c  493s |      18 |   580255 |   396752 |    23216     39 |        3 |      180
495.51/495.67	c  495s |      18 |   582842 |   398552 |    23216     39 |        3 |      180
497.71/497.81	c  497s |      18 |   584947 |   400152 |    23216     39 |        3 |      180
499.81/499.92	c  499s |      18 |   587137 |   401852 |    23216     39 |        3 |      180
501.81/501.95	c  501s |      18 |   589164 |   403452 |    23216     39 |        3 |      180
503.91/504.07	c  503s |      18 |   591065 |   405052 |    23216     39 |        3 |      180
506.11/506.23	c  505s |      18 |   592133 |   405952 |    23216     39 |        3 |      180
508.22/508.32	c  507s |      18 |   593508 |   406952 |    23216     39 |        3 |      180
510.21/510.39	c  509s |      18 |   594845 |   407952 |    23216     40 |        3 |      180
512.31/512.44	c  511s |      18 |   596863 |   409452 |    23216     40 |        3 |      180
514.41/514.52	c  514s |      18 |   598852 |   410852 |    23216     40 |        3 |      180
516.41/516.56	c  516s |      18 |   600862 |   412252 |    23216     40 |        3 |      180
518.51/518.65	c  518s |      18 |   602720 |   413652 |    23216     40 |        3 |      180
520.51/520.67	c  520s |      18 |   605244 |   415252 |    23216     40 |        3 |      180
522.61/522.71	c  522s |      18 |   607307 |   416752 |    23216     40 |        3 |      180
524.71/524.81	c  524s |      18 |   609037 |   418152 |    23216     40 |        3 |      180
526.71/526.90	c  526s |      18 |   610851 |   419652 |    23216     40 |        3 |      180
528.91/529.07	c  528s |      18 |   611838 |   420452 |    23216     41 |        3 |      180
531.01/531.10	c  530s |      18 |   613694 |   421852 |    23216     41 |        3 |      180
533.01/533.10	c  532s |      18 |   615751 |   423352 |    23216     41 |        3 |      180
535.01/535.15	c  534s |      18 |   617816 |   424852 |    23216     41 |        3 |      180
537.11/537.20	c  536s |      18 |   619947 |   426452 |    23216     41 |        3 |      180
539.11/539.22	c  538s |      18 |   622032 |   428052 |    23216     41 |        3 |      180
541.12/541.30	c  540s |      18 |   624042 |   429652 |    23216     41 |        3 |      180
543.21/543.33	c  542s |      18 |   625587 |   430952 |    23216     41 |        3 |      180
545.31/545.44	c  544s |      18 |   627244 |   432352 |    23216     41 |        3 |      180
547.31/547.46	c  547s |      18 |   628762 |   433652 |    23216     42 |        3 |      180
549.31/549.48	c  549s |      18 |   630633 |   434852 |    23216     42 |        3 |      180
551.41/551.56	c  551s |      18 |   632711 |   436352 |    23216     42 |        3 |      180
553.41/553.58	c  553s |      18 |   634748 |   437952 |    23216     42 |        3 |      180
555.52/555.68	c  555s |      18 |   637344 |   439652 |    23216     42 |        3 |      180
557.62/557.75	c  557s |      18 |   639517 |   441252 |    23216     42 |        3 |      180
559.71/559.80	c  559s |      18 |   641616 |   442852 |    25538     42 |        3 |      180
561.81/561.93	c  561s |      18 |   643757 |   444352 |    25538     42 |        3 |      180
562.01/562.12	c  561s |      19 |   643952 |   444482 |    25538     42 |        3 |      180
564.11/564.21	c  563s |      19 |   645768 |   445782 |    25538     42 |        3 |      180
566.11/566.23	c  565s |      19 |   647645 |   447082 |    25538     43 |        3 |      180
568.11/568.25	c  567s |      19 |   649920 |   448882 |    25538     43 |        3 |      180
570.11/570.27	c  569s |      19 |   652275 |   450782 |    25538     43 |        3 |      180
575.90/576.00	c  575s |      19 |   653103 |   451282 |    25538     43 |        3 |      180
577.90/578.07	c  577s |      19 |   655498 |   452582 |    25538     43 |        3 |      180
579.90/580.08	c  579s |      19 |   657813 |   454182 |    25538     43 |        3 |      180
582.00/582.15	c  581s |      19 |   660348 |   455582 |    25538     43 |        3 |      180
584.11/584.27	c  583s |      19 |   662841 |   457182 |    25538     43 |        3 |      180
586.10/586.30	c  585s |      19 |   665043 |   458682 |    25538     43 |        3 |      180
588.20/588.36	c  587s |      19 |   666815 |   459982 |    25538     44 |        3 |      180
590.30/590.45	c  589s |      19 |   669151 |   461582 |    25538     44 |        3 |      180
592.40/592.52	c  592s |      19 |   671807 |   463582 |    25538     44 |        3 |      180
594.50/594.63	c  594s |      19 |   674540 |   465582 |    25538     44 |        3 |      180
596.50/596.67	c  596s |      19 |   677315 |   467682 |    25538     44 |        3 |      180
598.59/598.73	c  598s |      19 |   679288 |   468982 |    25538     44 |        3 |      180
600.69/600.84	c  600s |      19 |   681022 |   470282 |    25538     44 |        3 |      180
602.80/602.92	c  602s |      19 |   682771 |   471582 |    25538     44 |        3 |      180
604.90/605.07	c  604s |      19 |   684450 |   472982 |    25538     44 |        3 |      180
606.99/607.18	c  606s |      19 |   686342 |   474482 |    25538     45 |        3 |      180
609.19/609.31	c  608s |      19 |   688488 |   476282 |    25538     45 |        3 |      180
611.19/611.37	c  610s |      19 |   690530 |   477782 |    25538     45 |        3 |      180
613.28/613.42	c  612s |      19 |   692533 |   479182 |    25538     45 |        3 |      180
615.38/615.52	c  615s |      19 |   694428 |   480682 |    25538     45 |        3 |      180
617.38/617.54	c  617s |      19 |   696240 |   481882 |    25538     45 |        3 |      180
619.48/619.64	c  619s |      19 |   698339 |   483282 |    25538     45 |        3 |      180
621.58/621.77	c  621s |      19 |   700046 |   484582 |    25538     45 |        3 |      180
623.68/623.81	c  623s |      19 |   701885 |   485982 |    25538     45 |        3 |      180
625.67/625.82	c  625s |      19 |   703765 |   487482 |    25538     46 |        3 |      180
627.77/627.91	c  627s |      19 |   705703 |   489082 |    25538     46 |        3 |      180
629.87/630.01	c  629s |      19 |   708218 |   490782 |    25538     46 |        3 |      180
631.97/632.12	c  631s |      19 |   710270 |   492182 |    25538     46 |        3 |      180
634.07/634.20	c  633s |      19 |   712683 |   493882 |    25538     46 |        3 |      180
636.17/636.32	c  635s |      19 |   714917 |   495482 |    25538     46 |        3 |      180
638.27/638.40	c  637s |      19 |   717344 |   497182 |    25538     46 |        3 |      180
640.27/640.42	c  639s |      19 |   719565 |   498882 |    25538     46 |        3 |      180
642.27/642.43	c  641s |      19 |   721389 |   500182 |    25538     47 |        3 |      180
644.37/644.51	c  644s |      19 |   723356 |   501682 |    25538     47 |        3 |      180
646.37/646.57	c  646s |      19 |   725449 |   503282 |    25538     47 |        3 |      180
648.47/648.66	c  648s |      19 |   727398 |   504882 |    25538     47 |        3 |      180
650.46/650.69	c  650s |      19 |   729706 |   506482 |    25538     47 |        3 |      180
652.56/652.77	c  652s |      19 |   731784 |   507982 |    25538     47 |        3 |      180
654.76/654.90	c  654s |      19 |   733688 |   509482 |    25538     47 |        3 |      180
656.76/656.94	c  656s |      19 |   735627 |   511082 |    25538     47 |        3 |      180
658.76/659.00	c  658s |      19 |   737309 |   512482 |    25538     47 |        3 |      180
660.86/661.10	c  660s |      19 |   739288 |   513982 |    25538     48 |        3 |      180
662.96/663.20	c  662s |      19 |   741476 |   515682 |    25538     48 |        3 |      180
665.05/665.21	c  664s |      19 |   743753 |   517582 |    25538     48 |        3 |      180
667.15/667.31	c  666s |      19 |   745793 |   519282 |    25538     48 |        3 |      180
669.15/669.36	c  668s |      19 |   747816 |   520982 |    25538     48 |        3 |      180
671.15/671.39	c  670s |      19 |   749726 |   522482 |    25538     48 |        3 |      180
673.25/673.47	c  673s |      19 |   751607 |   524082 |    25538     48 |        3 |      180
675.25/675.49	c  675s |      19 |   753327 |   525582 |    25538     48 |        3 |      180
677.35/677.56	c  677s |      19 |   755100 |   526982 |    25538     49 |        3 |      180
679.34/679.59	c  679s |      19 |   757231 |   528782 |    25538     49 |        3 |      180
681.44/681.61	c  681s |      19 |   759387 |   530582 |    25538     49 |        3 |      180
683.45/683.67	c  683s |      19 |   761611 |   532482 |    25538     49 |        3 |      180
685.55/685.79	c  685s |      19 |   763518 |   534082 |    25538     49 |        3 |      180
695.34/695.58	c  695s |      19 |   765021 |   535182 |    25538     49 |        3 |      180
697.54/697.70	c  697s |      19 |   767023 |   536382 |    25538     49 |        3 |      180
699.54/699.79	c  699s |      19 |   769102 |   537782 |    25538     49 |        3 |      180
702.23/702.42	c  701s |      19 |   771249 |   539082 |    25538     50 |        3 |      180
704.24/704.46	c  704s |      19 |   773930 |   540782 |    25538     50 |        3 |      180
706.34/706.53	c  706s |      19 |   776465 |   542482 |    25538     50 |        3 |      180
708.35/708.54	c  708s |      19 |   778604 |   544082 |    25538     50 |        3 |      180
710.34/710.54	c  710s |      19 |   780831 |   545682 |    25538     50 |        3 |      180
712.34/712.55	c  712s |      19 |   783426 |   547382 |    25538     50 |        3 |      180
714.34/714.56	c  714s |      19 |   785746 |   549182 |    25538     50 |        3 |      180
716.44/716.60	c  716s |      19 |   788062 |   550982 |    25538     50 |        3 |      180
718.54/718.79	c  718s |      19 |   789946 |   552382 |    25538     51 |        3 |      180
720.74/720.90	c  720s |      19 |   791592 |   553582 |    25538     51 |        3 |      180
722.84/723.06	c  722s |      19 |   793533 |   554982 |    25538     51 |        3 |      180
724.94/725.16	c  724s |      19 |   795610 |   556582 |    25538     51 |        3 |      180
726.94/727.18	c  726s |      19 |   797732 |   558182 |    25538     51 |        3 |      180
729.03/729.28	c  728s |      19 |   799811 |   559782 |    25538     51 |        3 |      180
731.13/731.36	c  730s |      19 |   801896 |   561282 |    25538     51 |        3 |      180
733.33/733.50	c  733s |      19 |   803586 |   562482 |    25538     51 |        3 |      180
735.33/735.56	c  735s |      19 |   805646 |   563682 |    25538     51 |        3 |      180
737.33/737.56	c  737s |      19 |   807477 |   564982 |    25538     51 |        3 |      180
739.33/739.59	c  739s |      19 |   809724 |   566282 |    25538     52 |        3 |      180
741.43/741.65	c  741s |      19 |   812145 |   567682 |    25538     52 |        3 |      180
743.54/743.76	c  743s |      19 |   814296 |   569282 |    25538     52 |        3 |      180
745.53/745.79	c  745s |      19 |   816277 |   570682 |    25538     52 |        3 |      180
747.73/747.92	c  747s |      19 |   818561 |   572282 |    25538     52 |        3 |      180
749.83/750.02	c  749s |      19 |   820886 |   573982 |    25538     52 |        3 |      180
751.93/752.19	c  751s |      19 |   823124 |   575782 |    25538     52 |        3 |      180
754.03/754.23	c  753s |      19 |   825142 |   577082 |    25538     52 |        3 |      180
756.03/756.23	c  755s |      19 |   826810 |   578382 |    25538     53 |        3 |      180
758.03/758.29	c  757s |      19 |   828936 |   580082 |    25538     53 |        3 |      180
760.22/760.40	c  759s |      19 |   831178 |   581882 |    25538     53 |        3 |      180
762.23/762.47	c  762s |      19 |   833260 |   583282 |    25538     53 |        3 |      180
764.33/764.52	c  764s |      19 |   835155 |   584682 |    25538     53 |        3 |      180
766.42/766.67	c  766s |      19 |   837184 |   586082 |    25538     53 |        3 |      180
768.52/768.73	c  768s |      19 |   839318 |   587482 |    25538     53 |        3 |      180
770.62/770.82	c  770s |      19 |   841298 |   588982 |    25538     53 |        3 |      180
772.62/772.84	c  772s |      19 |   843359 |   590482 |    25538     53 |        3 |      180
774.72/774.90	c  774s |      19 |   845217 |   591982 |    25538     54 |        3 |      180
776.72/776.97	c  776s |      19 |   847594 |   593682 |    25538     54 |        3 |      180
778.81/779.01	c  778s |      19 |   849984 |   595382 |    25538     54 |        3 |      180
780.82/781.03	c  780s |      19 |   852285 |   597182 |    25538     54 |        3 |      180
782.81/783.04	c  782s |      19 |   854442 |   598882 |    25538     54 |        3 |      180
784.91/785.12	c  784s |      19 |   856732 |   600482 |    25538     54 |        3 |      180
787.01/787.22	c  786s |      19 |   859068 |   602282 |    25538     54 |        3 |      180
789.11/789.34	c  788s |      19 |   861269 |   603982 |    25538     54 |        3 |      180
791.10/791.34	c  790s |      19 |   863106 |   605482 |    25538     55 |        3 |      180
793.20/793.41	c  792s |      19 |   865676 |   607482 |    25538     55 |        3 |      180
795.21/795.48	c  795s |      19 |   868231 |   609582 |    25538     55 |        3 |      180
797.20/797.50	c  797s |      19 |   870536 |   611482 |    25538     55 |        3 |      180
799.30/799.51	c  799s |      19 |   872635 |   613182 |    25538     55 |        3 |      180
801.40/801.60	c  801s |      19 |   874910 |   614982 |    25538     55 |        3 |      180
803.40/803.67	c  803s |      19 |   877202 |   616882 |    25538     55 |        3 |      180
810.00/810.22	c  809s |      19 |   878337 |   617682 |    25538     56 |        3 |      180
812.29/812.54	c  812s |      19 |   878555 |   617782 |    25538     56 |        3 |      180
814.39/814.64	c  814s |      19 |   881000 |   619382 |    25538     56 |        3 |      180
816.49/816.75	c  816s |      19 |   883348 |   621082 |    25538     56 |        3 |      180
818.49/818.76	c  818s |      19 |   885719 |   622782 |    25538     56 |        3 |      180
820.50/820.80	c  820s |      19 |   887857 |   624482 |    25538     56 |        3 |      180
822.70/822.91	c  822s |      19 |   890222 |   626282 |    25538     56 |        3 |      180
824.69/824.94	c  824s |      19 |   892366 |   628082 |    25538     56 |        3 |      180
826.69/826.95	c  826s |      19 |   894293 |   629382 |    25538     56 |        3 |      180
828.79/829.01	c  828s |      19 |   896320 |   630782 |    25538     56 |        3 |      180
830.88/831.10	c  830s |      19 |   898035 |   631982 |    25538     57 |        3 |      180
832.88/833.16	c  832s |      19 |   900411 |   633682 |    25538     57 |        3 |      180
834.88/835.16	c  834s |      19 |   902464 |   635282 |    25538     57 |        3 |      180
836.99/837.22	c  836s |      19 |   904554 |   636982 |    25538     57 |        3 |      180
839.08/839.33	c  838s |      19 |   906380 |   638382 |    25538     57 |        3 |      180
841.18/841.41	c  840s |      19 |   908243 |   639682 |    25538     57 |        3 |      180
843.18/843.46	c  843s |      19 |   909927 |   640982 |    25538     57 |        3 |      180
845.28/845.55	c  845s |      19 |   911653 |   642382 |    25538     57 |        3 |      180
847.38/847.61	c  847s |      19 |   913367 |   643682 |    25538     57 |        3 |      180
849.37/849.62	c  849s |      19 |   914829 |   644882 |    25538     58 |        3 |      180
851.37/851.69	c  851s |      19 |   916885 |   646582 |    25538     58 |        3 |      180
853.47/853.71	c  853s |      19 |   919148 |   648282 |    25538     58 |        3 |      180
855.47/855.77	c  855s |      19 |   921261 |   649882 |    25538     58 |        3 |      180
857.47/857.79	c  857s |      19 |   923156 |   651482 |    25538     58 |        3 |      180
859.56/859.88	c  859s |      19 |   925184 |   653082 |    25538     58 |        3 |      180
861.66/861.98	c  861s |      19 |   927066 |   654582 |    25538     58 |        3 |      180
863.86/864.10	c  863s |      19 |   929099 |   656282 |    25538     58 |        3 |      180
866.16/866.40	c  865s |      19 |   930861 |   657882 |    25538     59 |        3 |      180
868.26/868.54	c  868s |      19 |   932784 |   659482 |    25538     59 |        3 |      180
870.26/870.59	c  870s |      19 |   934243 |   660682 |    25538     59 |        3 |      180
872.36/872.65	c  872s |      19 |   935946 |   662082 |    25538     59 |        3 |      180
874.36/874.69	c  874s |      19 |   937701 |   663482 |    28092     59 |        3 |      180
876.46/876.78	c  876s |      19 |   939395 |   664682 |    28092     59 |        3 |      180
878.55/878.88	c  878s |      19 |   940885 |   665882 |    28092     59 |        3 |      180
880.55/880.80	c  880s |      20 |   942157 |   666827 |    28092     59 |        3 |      180
883.55/883.88	c  883s |      20 |   942599 |   666927 |    28092     59 |        3 |      180
885.65/885.90	c  885s |      20 |   944584 |   668127 |    28092     59 |        3 |      180
887.75/888.00	c  887s |      20 |   946793 |   669727 |    28092     59 |        3 |      180
889.76/890.04	c  889s |      20 |   948658 |   670927 |    28092     59 |        3 |      180
891.86/892.19	c  891s |      20 |   950536 |   672227 |    28092     59 |        3 |      180
894.06/894.39	c  893s |      20 |   952124 |   673327 |    28092     60 |        3 |      180
896.15/896.46	c  896s |      20 |   954408 |   675127 |    28092     60 |        3 |      180
898.25/898.54	c  898s |      20 |   956559 |   676627 |    28092     60 |        3 |      180
900.24/900.57	c  900s |      20 |   958794 |   678227 |    28092     60 |        3 |      180
902.34/902.70	c  902s |      20 |   960780 |   679827 |    28092     60 |        3 |      180
904.54/904.81	c  904s |      20 |   962931 |   681327 |    28092     60 |        3 |      180
906.54/906.85	c  906s |      20 |   964937 |   682727 |    28092     60 |        3 |      180
910.25/910.58	c  910s |      20 |   966283 |   683727 |    28092     60 |        3 |      180
912.35/912.69	c  912s |      20 |   967976 |   685027 |    28092     60 |        3 |      180
914.55/914.88	c  914s |      20 |   970092 |   686227 |    28092     60 |        3 |      180
916.64/916.94	c  916s |      20 |   972751 |   687427 |    28092     60 |        3 |      180
918.64/918.98	c  918s |      20 |   974406 |   688427 |    28092     61 |        3 |      180
920.64/920.99	c  920s |      20 |   976513 |   690027 |    28092     61 |        3 |      180
922.75/923.02	c  922s |      20 |   978927 |   691427 |    28092     61 |        3 |      180
924.74/925.04	c  924s |      20 |   981641 |   692927 |    28092     61 |        3 |      180
926.84/927.16	c  926s |      20 |   984017 |   694627 |    28092     61 |        3 |      180
928.93/929.22	c  928s |      20 |   986295 |   696327 |    28092     61 |        3 |      180
930.93/931.25	c  930s |      20 |   988611 |   697927 |    28092     61 |        3 |      180
933.03/933.34	c  932s |      20 |   990533 |   699527 |    28092     61 |        3 |      180
935.03/935.34	c  934s |      20 |   992626 |   701227 |    28092     61 |        3 |      180
937.13/937.47	c  937s |      20 |   994663 |   702227 |    28092     62 |        3 |      180
939.24/939.56	c  939s |      20 |   996781 |   703727 |    28092     62 |        3 |      180
941.33/941.63	c  941s |      20 |   999122 |   705227 |    28092     62 |        3 |      180
943.43/943.75	c  943s |      20 |  1001253 |   706827 |    28092     62 |        3 |      180
945.53/945.84	c  945s |      20 |  1003419 |   708327 |    28092     62 |        3 |      180
947.73/948.00	c  947s |      20 |  1005269 |   709727 |    28092     62 |        3 |      180
949.72/950.02	c  949s |      20 |  1007007 |   711027 |    28092     62 |        3 |      180
951.82/952.16	c  951s |      20 |  1008817 |   712527 |    28092     62 |        3 |      180
953.92/954.26	c  953s |      20 |  1011050 |   713827 |    28092     62 |        3 |      180
956.02/956.35	c  955s |      20 |  1013087 |   715027 |    28092     62 |        3 |      180
958.02/958.36	c  957s |      20 |  1014869 |   716127 |    28092     63 |        3 |      180
960.02/960.38	c  959s |      20 |  1016857 |   717427 |    28092     63 |        3 |      180
962.11/962.45	c  961s |      20 |  1019057 |   718827 |    28092     63 |        3 |      180
964.11/964.49	c  964s |      20 |  1021318 |   720327 |    28092     63 |        3 |      180
966.31/966.60	c  966s |      20 |  1023760 |   722027 |    28092     63 |        3 |      180
968.31/968.62	c  968s |      20 |  1025829 |   723527 |    28092     63 |        3 |      180
970.41/970.72	c  970s |      20 |  1027898 |   725127 |    28092     63 |        3 |      180
972.41/972.78	c  972s |      20 |  1029648 |   726427 |    28092     63 |        3 |      180
974.51/974.88	c  974s |      20 |  1031336 |   727627 |    28092     63 |        3 |      180
976.71/977.00	c  976s |      20 |  1032956 |   728827 |    28092     63 |        3 |      180
978.71/979.04	c  978s |      20 |  1034434 |   730027 |    28092     63 |        3 |      180
980.70/981.05	c  980s |      20 |  1035720 |   731027 |    28092     64 |        3 |      180
982.70/983.06	c  982s |      20 |  1038019 |   732627 |    28092     64 |        3 |      180
984.80/985.15	c  984s |      20 |  1040429 |   734427 |    28092     64 |        3 |      180
986.90/987.21	c  986s |      20 |  1042112 |   735727 |    28092     64 |        3 |      180
988.99/989.34	c  988s |      20 |  1043975 |   737227 |    28092     64 |        3 |      180
991.09/991.41	c  990s |      20 |  1045830 |   738627 |    28092     64 |        3 |      180
993.19/993.51	c  993s |      20 |  1047663 |   740127 |    28092     64 |        3 |      180
995.20/995.58	c  995s |      20 |  1049503 |   741627 |    28092     64 |        3 |      180
997.29/997.64	c  997s |      20 |  1051167 |   743027 |    28092     64 |        3 |      180
999.49/999.83	c  999s |      20 |  1052924 |   744427 |    28092     64 |        3 |      180
1001.59/1001.98	c 1001s |      20 |  1054302 |   745527 |    28092     65 |        3 |      180
1003.59/1003.99	c 1003s |      20 |  1056584 |   747227 |    28092     65 |        3 |      180
1005.69/1006.02	c 1005s |      20 |  1058688 |   748927 |    28092     65 |        3 |      180
1007.69/1008.07	c 1007s |      20 |  1060676 |   750427 |    28092     65 |        3 |      180
1009.78/1010.16	c 1009s |      20 |  1062536 |   751927 |    28092     65 |        3 |      180
1011.79/1012.19	c 1011s |      20 |  1064229 |   753427 |    28092     65 |        3 |      180
1013.78/1014.20	c 1013s |      20 |  1065889 |   754827 |    28092     65 |        3 |      180
1015.88/1016.26	c 1015s |      20 |  1067633 |   756327 |    28092     65 |        3 |      180
1017.98/1018.30	c 1017s |      20 |  1069224 |   757727 |    28092     65 |        3 |      180
1019.97/1020.31	c 1019s |      20 |  1070789 |   758927 |    28092     65 |        3 |      180
1022.68/1023.00	c 1022s |      20 |  1072074 |   759827 |    28092     66 |        3 |      180
1024.77/1025.14	c 1024s |      20 |  1073890 |   761127 |    28092     66 |        3 |      180
1026.77/1027.18	c 1026s |      20 |  1075932 |   762527 |    28092     66 |        3 |      180
1028.76/1029.19	c 1028s |      20 |  1077806 |   764027 |    28092     66 |        3 |      180
1030.86/1031.22	c 1030s |      20 |  1079817 |   765627 |    28092     66 |        3 |      180
1035.07/1035.44	c 1034s |      20 |  1080201 |   765927 |    28092     66 |        3 |      180
1037.36/1037.71	c 1037s |      20 |  1080528 |   766027 |    28092     66 |        3 |      180
1039.36/1039.76	c 1039s |      20 |  1082438 |   767327 |    28092     66 |        3 |      180
1041.47/1041.84	c 1041s |      20 |  1084369 |   768727 |    28092     66 |        3 |      180
1043.46/1043.87	c 1043s |      20 |  1086203 |   770127 |    28092     66 |        3 |      180
1045.56/1045.96	c 1045s |      20 |  1088004 |   771427 |    28092     66 |        3 |      180
1047.66/1048.02	c 1047s |      20 |  1089792 |   772827 |    28092     66 |        3 |      180
1049.66/1050.05	c 1049s |      20 |  1091527 |   774227 |    28092     67 |        3 |      180
1051.66/1052.09	c 1051s |      20 |  1092897 |   775327 |    28092     67 |        3 |      180
1053.65/1054.09	c 1053s |      20 |  1094806 |   776727 |    28092     67 |        3 |      180
1055.76/1056.16	c 1055s |      20 |  1096760 |   778127 |    28092     67 |        3 |      180
1057.96/1058.31	c 1057s |      20 |  1098734 |   779627 |    28092     67 |        3 |      180
1059.95/1060.36	c 1059s |      20 |  1100346 |   780927 |    28092     67 |        3 |      180
1062.05/1062.49	c 1062s |      20 |  1102095 |   782327 |    28092     67 |        3 |      180
1064.25/1064.64	c 1064s |      20 |  1103781 |   783727 |    28092     67 |        3 |      180
1066.25/1066.67	c 1066s |      20 |  1105299 |   784927 |    28092     67 |        3 |      180
1068.45/1068.81	c 1068s |      20 |  1107106 |   786127 |    28092     67 |        3 |      180
1070.44/1070.81	c 1070s |      20 |  1108985 |   787327 |    28092     67 |        3 |      180
1072.44/1072.85	c 1072s |      20 |  1110356 |   788427 |    28092     67 |        3 |      180
1074.45/1074.89	c 1074s |      20 |  1112123 |   789727 |    28092     68 |        3 |      180
1076.55/1076.91	c 1076s |      20 |  1114216 |   791327 |    28092     68 |        3 |      180
1078.54/1078.94	c 1078s |      20 |  1115902 |   792527 |    28092     68 |        3 |      180
1080.65/1081.04	c 1080s |      20 |  1117406 |   793727 |    28092     68 |        3 |      180
1082.65/1083.08	c 1082s |      20 |  1118804 |   794827 |    28092     68 |        3 |      180
1084.75/1085.12	c 1084s |      20 |  1120706 |   796327 |    28092     68 |        3 |      180
1086.94/1087.33	c 1086s |      20 |  1122150 |   797427 |    28092     68 |        3 |      180
1088.94/1089.38	c 1088s |      20 |  1123402 |   798427 |    28092     68 |        3 |      180
1091.04/1091.43	c 1090s |      20 |  1124661 |   799427 |    28092     68 |        3 |      180
1093.14/1093.54	c 1093s |      20 |  1126015 |   800527 |    28092     68 |        3 |      180
1095.34/1095.72	c 1095s |      20 |  1127644 |   801827 |    28092     68 |        3 |      180
1097.34/1097.78	c 1097s |      20 |  1129044 |   803027 |    28092     68 |        3 |      180
1099.53/1099.92	c 1099s |      20 |  1130232 |   804027 |    28092     69 |        3 |      180
1101.53/1101.96	c 1101s |      20 |  1131721 |   805227 |    28092     69 |        3 |      180
1103.63/1104.09	c 1103s |      20 |  1133361 |   806527 |    28092     69 |        3 |      180
1105.63/1106.09	c 1105s |      20 |  1134953 |   807827 |    28092     69 |        3 |      180
1107.73/1108.17	c 1107s |      20 |  1136718 |   809227 |    28092     69 |        3 |      180
1109.83/1110.25	c 1109s |      20 |  1138242 |   810527 |    28092     69 |        3 |      180
1111.83/1112.26	c 1111s |      20 |  1139581 |   811627 |    28092     69 |        3 |      180
1113.83/1114.29	c 1113s |      20 |  1141003 |   812827 |    28092     69 |        3 |      180
1115.93/1116.33	c 1115s |      20 |  1142589 |   814127 |    28092     69 |        3 |      180
1118.03/1118.41	c 1117s |      20 |  1144089 |   815427 |    28092     69 |        3 |      180
1120.02/1120.46	c 1120s |      20 |  1144554 |   815827 |    28092     69 |        3 |      180
1122.91/1123.32	c 1122s |      20 |  1144749 |   815927 |    28092     69 |        3 |      180
1125.02/1125.42	c 1124s |      20 |  1146012 |   816727 |    28092     69 |        3 |      180
1127.12/1127.51	c 1127s |      20 |  1147426 |   817827 |    28092     69 |        3 |      180
1129.21/1129.63	c 1129s |      20 |  1147697 |   817927 |    28092     70 |        3 |      180
1131.31/1131.72	c 1131s |      20 |  1149912 |   819227 |    28092     70 |        3 |      180
1133.41/1133.80	c 1133s |      20 |  1152247 |   820727 |    28092     70 |        3 |      180
1135.51/1135.95	c 1135s |      20 |  1154524 |   822227 |    28092     70 |        3 |      180
1137.51/1137.97	c 1137s |      20 |  1156485 |   823627 |    28092     70 |        3 |      180
1139.61/1140.08	c 1139s |      20 |  1158556 |   825127 |    28092     70 |        3 |      180
1141.71/1142.14	c 1141s |      20 |  1160654 |   826727 |    28092     70 |        3 |      180
1143.81/1144.21	c 1143s |      20 |  1162863 |   828527 |    28092     70 |        3 |      180
1145.91/1146.36	c 1145s |      20 |  1164868 |   829927 |    28092     70 |        3 |      180
1148.01/1148.47	c 1148s |      20 |  1166663 |   831227 |    28092     70 |        3 |      180
1150.10/1150.54	c 1150s |      20 |  1168129 |   832427 |    28092     70 |        3 |      180
1152.30/1152.73	c 1152s |      20 |  1169465 |   833427 |    28092     71 |        3 |      180
1154.40/1154.86	c 1154s |      20 |  1171319 |   834827 |    28092     71 |        3 |      180
1156.40/1156.87	c 1156s |      20 |  1172877 |   836027 |    28092     71 |        3 |      180
1158.40/1158.87	c 1158s |      20 |  1174859 |   837327 |    28092     71 |        3 |      180
1160.50/1160.92	c 1160s |      20 |  1176838 |   838727 |    28092     71 |        3 |      180
1162.60/1163.02	c 1162s |      20 |  1178482 |   840027 |    28092     71 |        3 |      180
1164.70/1165.15	c 1164s |      20 |  1180067 |   841327 |    28092     71 |        3 |      180
1166.80/1167.28	c 1166s |      20 |  1181785 |   842727 |    28092     71 |        3 |      180
1168.90/1169.35	c 1168s |      20 |  1183492 |   843927 |    28092     71 |        3 |      180
1170.99/1171.49	c 1171s |      20 |  1184944 |   845027 |    28092     71 |        3 |      180
1173.19/1173.65	c 1173s |      20 |  1186634 |   846227 |    28092     71 |        3 |      180
1175.29/1175.70	c 1175s |      20 |  1188286 |   847427 |    28092     72 |        3 |      180
1177.29/1177.71	c 1177s |      20 |  1189913 |   848827 |    28092     72 |        3 |      180
1179.28/1179.79	c 1179s |      20 |  1191550 |   850127 |    28092     72 |        3 |      180
1181.48/1181.94	c 1181s |      20 |  1193367 |   851527 |    28092     72 |        3 |      180
1183.48/1183.96	c 1183s |      20 |  1195010 |   852827 |    28092     72 |        3 |      180
1185.49/1185.98	c 1185s |      20 |  1196981 |   854327 |    28092     72 |        3 |      180
1187.59/1188.03	c 1187s |      20 |  1198455 |   855527 |    28092     72 |        3 |      180
1189.69/1190.16	c 1189s |      20 |  1200015 |   856827 |    28092     72 |        3 |      180
1191.79/1192.23	c 1191s |      20 |  1201520 |   858127 |    28092     72 |        3 |      180
1193.79/1194.28	c 1193s |      20 |  1203091 |   859427 |    28092     72 |        3 |      180
1195.89/1196.34	c 1195s |      20 |  1204668 |   860827 |    28092     72 |        3 |      180
1197.88/1198.37	c 1197s |      20 |  1205862 |   861827 |    28092     73 |        3 |      180
1199.88/1200.37	c 1199s |      20 |  1207638 |   863327 |    28092     73 |        3 |      180
1201.89/1202.37	c 1201s |      20 |  1209156 |   864527 |    28092     73 |        3 |      180
1204.09/1204.51	c 1204s |      20 |  1210832 |   865927 |    28092     73 |        3 |      180
1206.08/1206.57	c 1206s |      20 |  1212352 |   867127 |    28092     73 |        3 |      180
1208.18/1208.67	c 1208s |      20 |  1213981 |   868427 |    28092     73 |        3 |      180
1211.27/1211.74	c 1211s |      20 |  1214488 |   868827 |    28092     73 |        3 |      180
1213.37/1213.85	c 1213s |      20 |  1216137 |   869827 |    28092     73 |        3 |      180
1215.37/1215.86	c 1215s |      20 |  1217846 |   871027 |    28092     73 |        3 |      180
1217.47/1217.94	c 1217s |      20 |  1219375 |   871927 |    28092     73 |        3 |      180
1219.77/1220.20	c 1219s |      20 |  1220784 |   873027 |    28092     73 |        3 |      180
1221.87/1222.34	c 1221s |      20 |  1222371 |   874227 |    28092     73 |        3 |      180
1223.98/1224.47	c 1224s |      20 |  1223953 |   875527 |    28092     73 |        3 |      180
1226.08/1226.57	c 1226s |      20 |  1225198 |   876527 |    28092     74 |        3 |      180
1228.17/1228.70	c 1228s |      20 |  1227038 |   877927 |    28092     74 |        3 |      180
1230.27/1230.78	c 1230s |      20 |  1228944 |   879227 |    28092     74 |        3 |      180
1232.36/1232.82	c 1232s |      20 |  1230359 |   880327 |    28092     74 |        3 |      180
1234.36/1234.89	c 1234s |      20 |  1232375 |   881727 |    28092     74 |        3 |      180
1236.46/1236.95	c 1236s |      20 |  1234137 |   882727 |    28092     74 |        3 |      180
1238.46/1238.99	c 1238s |      20 |  1235923 |   883927 |    28092     74 |        3 |      180
1240.56/1241.09	c 1240s |      20 |  1237785 |   885227 |    28092     74 |        3 |      180
1242.67/1243.16	c 1242s |      20 |  1239528 |   886527 |    28092     74 |        3 |      180
1244.77/1245.27	c 1244s |      20 |  1241632 |   887927 |    28092     74 |        3 |      180
1246.87/1247.37	c 1246s |      20 |  1243627 |   889327 |    28092     74 |        3 |      180
1248.97/1249.45	c 1248s |      20 |  1245387 |   890727 |    28092     74 |        3 |      180
1251.97/1252.45	c 1251s |      20 |  1247195 |   892227 |    28092     75 |        3 |      180
1254.07/1254.54	c 1254s |      20 |  1248587 |   893427 |    28092     75 |        3 |      180
1256.17/1256.63	c 1256s |      20 |  1250637 |   894927 |    28092     75 |        3 |      180
1258.16/1258.64	c 1258s |      20 |  1252489 |   896327 |    28092     75 |        3 |      180
1260.27/1260.74	c 1260s |      20 |  1254422 |   897827 |    28092     75 |        3 |      180
1262.26/1262.76	c 1262s |      20 |  1256339 |   899427 |    28092     75 |        3 |      180
1264.36/1264.85	c 1264s |      20 |  1258037 |   900727 |    28092     75 |        3 |      180
1266.46/1266.90	c 1266s |      20 |  1259947 |   902127 |    28092     75 |        3 |      180
1268.46/1268.96	c 1268s |      20 |  1261634 |   903527 |    28092     75 |        3 |      180
1270.56/1271.01	c 1270s |      20 |  1263201 |   904827 |    28092     75 |        3 |      180
1272.66/1273.10	c 1272s |      20 |  1264444 |   905927 |    28092     76 |        3 |      180
1274.76/1275.26	c 1274s |      20 |  1266138 |   907427 |    28092     76 |        3 |      180
1276.96/1277.40	c 1276s |      20 |  1267835 |   908827 |    28092     76 |        3 |      180
1278.96/1279.41	c 1278s |      20 |  1269265 |   910027 |    28092     76 |        3 |      180
1281.06/1281.54	c 1281s |      20 |  1270821 |   911327 |    28092     76 |        3 |      180
1283.16/1283.61	c 1283s |      20 |  1272500 |   912627 |    28092     76 |        3 |      180
1285.15/1285.68	c 1285s |      20 |  1274186 |   914027 |    28092     76 |        3 |      180
1287.25/1287.78	c 1287s |      20 |  1275768 |   915127 |    28092     76 |        3 |      180
1289.45/1289.91	c 1289s |      20 |  1277406 |   916327 |    28092     76 |        3 |      180
1291.55/1292.04	c 1291s |      20 |  1278902 |   917427 |    28092     76 |        3 |      180
1293.55/1294.06	c 1293s |      20 |  1280314 |   918527 |    28092     76 |        3 |      180
1295.55/1296.08	c 1295s |      20 |  1281665 |   919527 |    28092     76 |        3 |      180
1297.95/1298.47	c 1298s |      20 |  1282711 |   920227 |    28092     77 |        3 |      180
1299.95/1300.49	c 1300s |      20 |  1284536 |   921627 |    28092     77 |        3 |      180
1302.06/1302.57	c 1302s |      20 |  1286308 |   923127 |    28092     77 |        3 |      180
1306.85/1307.36	c 1306s |      20 |  1287469 |   924027 |    28092     77 |        3 |      180
1308.95/1309.46	c 1309s |      20 |  1289392 |   925327 |    28092     77 |        3 |      180
1311.05/1311.58	c 1311s |      20 |  1291077 |   926627 |    28092     77 |        3 |      180
1313.15/1313.62	c 1313s |      20 |  1292870 |   928027 |    28092     77 |        3 |      180
1315.25/1315.71	c 1315s |      20 |  1294748 |   929527 |    28092     77 |        3 |      180
1317.24/1317.78	c 1317s |      20 |  1296599 |   930727 |    28092     77 |        3 |      180
1319.34/1319.83	c 1319s |      20 |  1298182 |   931927 |    28092     77 |        3 |      180
1321.34/1321.88	c 1321s |      20 |  1299747 |   933127 |    28092     77 |        3 |      180
1323.44/1323.90	c 1323s |      20 |  1301455 |   934427 |    28092     77 |        3 |      180
1325.54/1326.03	c 1325s |      20 |  1302989 |   935627 |    28092     78 |        3 |      180
1327.64/1328.10	c 1327s |      20 |  1305073 |   937227 |    28092     78 |        3 |      180
1329.64/1330.15	c 1329s |      20 |  1307260 |   939027 |    28092     78 |        3 |      180
1331.75/1332.24	c 1331s |      20 |  1309142 |   940527 |    28092     78 |        3 |      180
1333.85/1334.34	c 1333s |      20 |  1311046 |   942127 |    28092     78 |        3 |      180
1335.84/1336.35	c 1335s |      20 |  1312794 |   943627 |    28092     78 |        3 |      180
1337.94/1338.48	c 1338s |      20 |  1314641 |   945227 |    28092     78 |        3 |      180
1340.04/1340.55	c 1340s |      20 |  1316308 |   946627 |    28092     78 |        3 |      180
1342.04/1342.56	c 1342s |      20 |  1317958 |   948127 |    28092     78 |        3 |      180
1344.14/1344.60	c 1344s |      20 |  1319461 |   949427 |    28092     79 |        3 |      180
1346.14/1346.67	c 1346s |      20 |  1321376 |   951027 |    28092     79 |        3 |      180
1349.95/1350.40	c 1349s |      20 |  1323030 |   952427 |    28092     79 |        3 |      180
1352.05/1352.54	c 1352s |      20 |  1325143 |   953727 |    28092     79 |        3 |      180
1354.05/1354.57	c 1354s |      20 |  1326878 |   955127 |    28092     79 |        3 |      180
1356.24/1356.75	c 1356s |      20 |  1328552 |   956527 |    28092     79 |        3 |      180
1358.34/1358.83	c 1358s |      20 |  1330351 |   957827 |    28092     79 |        3 |      180
1360.35/1360.83	c 1360s |      20 |  1332003 |   959027 |    28092     79 |        3 |      180
1362.45/1362.98	c 1362s |      20 |  1333576 |   960327 |    28092     79 |        3 |      180
1364.44/1364.99	c 1364s |      20 |  1335245 |   961727 |    28092     79 |        3 |      180
1366.64/1367.17	c 1366s |      20 |  1336969 |   963027 |    28092     79 |        3 |      180
1368.84/1369.39	c 1368s |      20 |  1338170 |   964027 |    28092     80 |        3 |      180
1370.94/1371.46	c 1371s |      20 |  1340047 |   965627 |    28092     80 |        3 |      180
1373.04/1373.55	c 1373s |      20 |  1341959 |   967127 |    28092     80 |        3 |      180
1375.14/1375.65	c 1375s |      20 |  1343906 |   968727 |    28092     80 |        3 |      180
1377.14/1377.67	c 1377s |      20 |  1345656 |   970127 |    28092     80 |        3 |      180
1379.24/1379.79	c 1379s |      20 |  1347387 |   971627 |    28092     80 |        3 |      180
1381.44/1381.91	c 1381s |      20 |  1349274 |   973227 |    28092     80 |        3 |      180
1383.45/1383.95	c 1383s |      20 |  1350998 |   974727 |    28092     80 |        3 |      180
1385.55/1386.09	c 1385s |      20 |  1352372 |   975827 |    28092     80 |        3 |      180
1387.64/1388.18	c 1387s |      20 |  1353441 |   976727 |    28092     80 |        3 |      180
1389.74/1390.25	c 1389s |      20 |  1354938 |   977927 |    28092     80 |        3 |      180
1391.84/1392.35	c 1391s |      20 |  1356403 |   979227 |    28092     81 |        3 |      180
1393.94/1394.45	c 1393s |      20 |  1357999 |   980527 |    28092     81 |        3 |      180
1395.94/1396.47	c 1396s |      20 |  1359702 |   981727 |    28092     81 |        3 |      180
1397.94/1398.48	c 1398s |      20 |  1361550 |   983227 |    28092     81 |        3 |      180
1400.04/1400.54	c 1400s |      20 |  1363686 |   984927 |    28092     81 |        3 |      180
1402.14/1402.64	c 1402s |      20 |  1365611 |   986427 |    28092     81 |        3 |      180
1404.14/1404.65	c 1404s |      20 |  1367435 |   987927 |    28092     81 |        3 |      180
1406.24/1406.78	c 1406s |      20 |  1369062 |   989327 |    28092     81 |        3 |      180
1408.33/1408.81	c 1408s |      20 |  1370707 |   990727 |    28092     81 |        3 |      180
1410.33/1410.89	c 1410s |      20 |  1372353 |   992127 |    28092     81 |        3 |      180
1412.43/1412.91	c 1412s |      20 |  1374019 |   993527 |    30902     81 |        3 |      180
1414.53/1415.05	c 1414s |      20 |  1375649 |   994927 |    30902     81 |        3 |      180
1417.44/1417.92	c 1417s |      20 |  1376590 |   995727 |    30902     82 |        3 |      180
1419.43/1419.96	c 1419s |      20 |  1378369 |   997027 |    30902     82 |        3 |      180
1421.53/1422.08	c 1421s |      20 |  1380358 |   998627 |    30902     82 |        3 |      180
1423.63/1424.12	c 1423s |      20 |  1382096 |  1000127 |    30902     82 |        3 |      180
1423.93/1424.46	c 1424s |      21 |  1382359 |  1000345 |    30902     82 |        3 |      180
1426.03/1426.51	c 1426s |      21 |  1383968 |  1001645 |    30902     82 |        3 |      180
1434.13/1434.67	c 1434s |      21 |  1385531 |  1002745 |    30902     82 |        3 |      180
1438.23/1438.73	c 1438s |      21 |  1385821 |  1002845 |    30902     82 |        3 |      180
1440.43/1440.90	c 1440s |      21 |  1387526 |  1003945 |    30902     82 |        3 |      180
1442.43/1442.95	c 1442s |      21 |  1389080 |  1005045 |    30902     82 |        3 |      180
1444.53/1445.05	c 1444s |      21 |  1390578 |  1006145 |    30902     82 |        3 |      180
1446.73/1447.25	c 1446s |      21 |  1392252 |  1007445 |    30902     82 |        3 |      180
1448.83/1449.37	c 1448s |      21 |  1393963 |  1008445 |    30902     82 |        3 |      180
1450.93/1451.43	c 1450s |      21 |  1395700 |  1009645 |    30902     82 |        3 |      180
1452.93/1453.44	c 1452s |      21 |  1397788 |  1010945 |    30902     82 |        3 |      180
1454.93/1455.47	c 1455s |      21 |  1398917 |  1011745 |    30902     83 |        3 |      180
1457.03/1457.59	c 1457s |      21 |  1401374 |  1013445 |    30902     83 |        3 |      180
1459.13/1459.66	c 1459s |      21 |  1403296 |  1014945 |    30902     83 |        3 |      180
1461.22/1461.70	c 1461s |      21 |  1405047 |  1016445 |    30902     83 |        3 |      180
1463.22/1463.76	c 1463s |      21 |  1406230 |  1017345 |    30902     83 |        3 |      180
1465.42/1465.92	c 1465s |      21 |  1407924 |  1018445 |    30902     83 |        3 |      180
1467.42/1467.99	c 1467s |      21 |  1409443 |  1019645 |    30902     83 |        3 |      180
1469.72/1470.20	c 1469s |      21 |  1410735 |  1020645 |    30902     83 |        3 |      180
1471.92/1472.40	c 1471s |      21 |  1412140 |  1021645 |    30902     83 |        3 |      180
1473.92/1474.41	c 1473s |      21 |  1413397 |  1022545 |    30902     83 |        3 |      180
1476.02/1476.55	c 1476s |      21 |  1414877 |  1023745 |    30902     83 |        3 |      180
1478.12/1478.64	c 1478s |      21 |  1415936 |  1024645 |    30902     83 |        3 |      180
1480.23/1480.74	c 1480s |      21 |  1417476 |  1025845 |    30902     83 |        3 |      180
1482.33/1482.80	c 1482s |      21 |  1419090 |  1027045 |    30902     83 |        3 |      180
1484.32/1484.81	c 1484s |      21 |  1420867 |  1028345 |    30902     84 |        3 |      180
1486.42/1486.91	c 1486s |      21 |  1422690 |  1029845 |    30902     84 |        3 |      180
1488.42/1488.94	c 1488s |      21 |  1424561 |  1031345 |    30902     84 |        3 |      180
1490.42/1490.95	c 1490s |      21 |  1425744 |  1032245 |    30902     84 |        3 |      180
1492.42/1492.96	c 1492s |      21 |  1427333 |  1033345 |    30902     84 |        3 |      180
1494.52/1495.07	c 1494s |      21 |  1429646 |  1034745 |    30902     84 |        3 |      180
1496.62/1497.17	c 1496s |      21 |  1431241 |  1035945 |    30902     84 |        3 |      180
1498.72/1499.22	c 1498s |      21 |  1432827 |  1037145 |    30902     84 |        3 |      180
1500.82/1501.31	c 1500s |      21 |  1434110 |  1038145 |    30902     84 |        3 |      180
1502.92/1503.42	c 1502s |      21 |  1435953 |  1039445 |    30902     84 |        3 |      180
1505.02/1505.52	c 1505s |      21 |  1437439 |  1040545 |    30902     84 |        3 |      180
1507.02/1507.59	c 1507s |      21 |  1439246 |  1041945 |    30902     84 |        3 |      180
1509.22/1509.70	c 1509s |      21 |  1440681 |  1043045 |    30902     85 |        3 |      180
1511.22/1511.78	c 1511s |      21 |  1441981 |  1044045 |    30902     85 |        3 |      180
1513.32/1513.88	c 1513s |      21 |  1443697 |  1045245 |    30902     85 |        3 |      180
1515.52/1516.02	c 1515s |      21 |  1445555 |  1046545 |    30902     85 |        3 |      180
1517.62/1518.11	c 1517s |      21 |  1447336 |  1047845 |    30902     85 |        3 |      180
1519.72/1520.26	c 1519s |      21 |  1449500 |  1049445 |    30902     85 |        3 |      180
1521.82/1522.37	c 1521s |      21 |  1451123 |  1050845 |    30902     85 |        3 |      180
1524.02/1524.51	c 1524s |      21 |  1452931 |  1052245 |    30902     85 |        3 |      180
1526.12/1526.68	c 1526s |      21 |  1454463 |  1053445 |    30902     85 |        3 |      180
1528.21/1528.70	c 1528s |      21 |  1455976 |  1054645 |    30902     85 |        3 |      180
1530.31/1530.82	c 1530s |      21 |  1457477 |  1055845 |    30902     85 |        3 |      180
1532.41/1532.91	c 1532s |      21 |  1458757 |  1056945 |    30902     85 |        3 |      180
1534.51/1535.07	c 1534s |      21 |  1460246 |  1058145 |    30902     85 |        3 |      180
1536.61/1537.16	c 1536s |      21 |  1461518 |  1059245 |    30902     86 |        3 |      180
1538.61/1539.17	c 1538s |      21 |  1463172 |  1060545 |    30902     86 |        3 |      180
1540.62/1541.18	c 1540s |      21 |  1464703 |  1061845 |    30902     86 |        3 |      180
1542.71/1543.20	c 1542s |      21 |  1466284 |  1063245 |    30902     86 |        3 |      180
1544.71/1545.21	c 1544s |      21 |  1467768 |  1064545 |    30902     86 |        3 |      180
1546.81/1547.38	c 1546s |      21 |  1469428 |  1065945 |    30902     86 |        3 |      180
1548.91/1549.43	c 1548s |      21 |  1470841 |  1067145 |    30902     86 |        3 |      180
1551.01/1551.52	c 1551s |      21 |  1472207 |  1068345 |    30902     86 |        3 |      180
1553.21/1553.70	c 1553s |      21 |  1473341 |  1069245 |    30902     86 |        3 |      180
1555.41/1555.95	c 1555s |      21 |  1474391 |  1070145 |    30902     86 |        3 |      180
1557.61/1558.16	c 1557s |      21 |  1475516 |  1071045 |    30902     86 |        3 |      180
1559.81/1560.35	c 1559s |      21 |  1476785 |  1072045 |    30902     86 |        3 |      180
1562.01/1562.53	c 1562s |      21 |  1478143 |  1073045 |    30902     86 |        3 |      180
1564.21/1564.79	c 1564s |      21 |  1479227 |  1073945 |    30902     86 |        3 |      180
1566.91/1567.47	c 1567s |      21 |  1480138 |  1074645 |    30902     87 |        3 |      180
1569.11/1569.63	c 1569s |      21 |  1481567 |  1075845 |    30902     87 |        3 |      180
1571.11/1571.70	c 1571s |      21 |  1483147 |  1077245 |    30902     87 |        3 |      180
1573.31/1573.80	c 1573s |      21 |  1484384 |  1078245 |    30902     87 |        3 |      180
1575.41/1575.96	c 1575s |      21 |  1485758 |  1079345 |    30902     87 |        3 |      180
1577.51/1578.02	c 1577s |      21 |  1487016 |  1080245 |    30902     87 |        3 |      180
1579.60/1580.12	c 1579s |      21 |  1488186 |  1081145 |    30902     87 |        3 |      180
1581.60/1582.16	c 1581s |      21 |  1489488 |  1082245 |    30902     87 |        3 |      180
1583.61/1584.20	c 1583s |      21 |  1491227 |  1083445 |    30902     87 |        3 |      180
1585.81/1586.33	c 1585s |      21 |  1492928 |  1084745 |    30902     87 |        3 |      180
1587.80/1588.38	c 1587s |      21 |  1494460 |  1086045 |    30902     87 |        3 |      180
1597.41/1597.97	c 1597s |      21 |  1494792 |  1086145 |    30902     87 |        3 |      180
1599.61/1600.12	c 1599s |      21 |  1496408 |  1087145 |    30902     87 |        3 |      180
1601.61/1602.17	c 1601s |      21 |  1497841 |  1088245 |    30902     87 |        3 |      180
1603.71/1604.21	c 1603s |      21 |  1499393 |  1089345 |    30902     87 |        3 |      180
1606.41/1606.94	c 1606s |      21 |  1500816 |  1090445 |    30902     88 |        3 |      180
1608.51/1609.03	c 1608s |      21 |  1502294 |  1091745 |    30902     88 |        3 |      180
1610.61/1611.14	c 1610s |      21 |  1504003 |  1093145 |    30902     88 |        3 |      180
1612.71/1613.24	c 1612s |      21 |  1505710 |  1094645 |    30902     88 |        3 |      180
1614.80/1615.32	c 1614s |      21 |  1507097 |  1095745 |    30902     88 |        3 |      180
1617.00/1617.50	c 1617s |      21 |  1508520 |  1096945 |    30902     88 |        3 |      180
1619.00/1619.56	c 1619s |      21 |  1510312 |  1098045 |    30902     88 |        3 |      180
1621.10/1621.67	c 1621s |      21 |  1511862 |  1099145 |    30902     88 |        3 |      180
1623.30/1623.85	c 1623s |      21 |  1513297 |  1100145 |    30902     88 |        3 |      180
1625.50/1626.05	c 1625s |      21 |  1514860 |  1101245 |    30902     88 |        3 |      180
1627.61/1628.13	c 1627s |      21 |  1516221 |  1102145 |    30902     88 |        3 |      180
1629.60/1630.18	c 1629s |      21 |  1517601 |  1103245 |    30902     88 |        3 |      180
1631.80/1632.30	c 1631s |      21 |  1519304 |  1104345 |    30902     88 |        3 |      180
1633.80/1634.35	c 1633s |      21 |  1520929 |  1105545 |    30902     88 |        3 |      180
1635.90/1636.40	c 1635s |      21 |  1522354 |  1106445 |    30902     89 |        3 |      180
1638.00/1638.53	c 1638s |      21 |  1524273 |  1107945 |    30902     89 |        3 |      180
1640.10/1640.64	c 1640s |      21 |  1526197 |  1109345 |    30902     89 |        3 |      180
1642.20/1642.76	c 1642s |      21 |  1528060 |  1110745 |    30902     89 |        3 |      180
1644.30/1644.82	c 1644s |      21 |  1530100 |  1112245 |    30902     89 |        3 |      180
1646.31/1646.85	c 1646s |      21 |  1531979 |  1113745 |    30902     89 |        3 |      180
1648.41/1648.98	c 1648s |      21 |  1533576 |  1114945 |    30902     89 |        3 |      180
1650.50/1651.03	c 1650s |      21 |  1535158 |  1115845 |    30902     89 |        3 |      180
1652.70/1653.23	c 1652s |      21 |  1536796 |  1117045 |    30902     89 |        3 |      180
1654.80/1655.35	c 1654s |      21 |  1538331 |  1118145 |    30902     89 |        3 |      180
1656.80/1657.36	c 1656s |      21 |  1539768 |  1119145 |    30902     89 |        3 |      180
1659.00/1659.51	c 1659s |      21 |  1541636 |  1120345 |    30902     89 |        3 |      180
1661.10/1661.65	c 1661s |      21 |  1543034 |  1121445 |    30902     89 |        3 |      180
1663.10/1663.65	c 1663s |      21 |  1544333 |  1122445 |    30902     90 |        3 |      180
1665.10/1665.67	c 1665s |      21 |  1546168 |  1123945 |    30902     90 |        3 |      180
1667.20/1667.71	c 1667s |      21 |  1547838 |  1125245 |    30902     90 |        3 |      180
1669.30/1669.87	c 1669s |      21 |  1549378 |  1126345 |    30902     90 |        3 |      180
1671.39/1671.92	c 1671s |      21 |  1550859 |  1127445 |    30902     90 |        3 |      180
1673.39/1673.98	c 1673s |      21 |  1552343 |  1128545 |    30902     90 |        3 |      180
1675.49/1676.03	c 1675s |      21 |  1553893 |  1129745 |    30902     90 |        3 |      180
1677.49/1678.08	c 1677s |      21 |  1555628 |  1130945 |    30902     90 |        3 |      180
1679.59/1680.18	c 1679s |      21 |  1557603 |  1132345 |    30902     90 |        3 |      180
1681.69/1682.21	c 1681s |      21 |  1559158 |  1133445 |    30902     90 |        3 |      180
1683.70/1684.27	c 1683s |      21 |  1560887 |  1134745 |    30902     90 |        3 |      180
1685.69/1686.27	c 1685s |      21 |  1562432 |  1136045 |    30902     90 |        3 |      180
1688.10/1688.60	c 1688s |      21 |  1563880 |  1137145 |    30902     90 |        3 |      180
1690.20/1690.72	c 1690s |      21 |  1564912 |  1137945 |    30902     91 |        3 |      180
1692.29/1692.86	c 1692s |      21 |  1566463 |  1139245 |    30902     91 |        3 |      180
1694.49/1695.01	c 1694s |      21 |  1568126 |  1140645 |    30902     91 |        3 |      180
1696.49/1697.07	c 1696s |      21 |  1569758 |  1141945 |    30902     91 |        3 |      180
1698.59/1699.12	c 1698s |      21 |  1571292 |  1143145 |    30902     91 |        3 |      180
1700.69/1701.29	c 1700s |      21 |  1572753 |  1144145 |    30902     91 |        3 |      180
1702.79/1703.33	c 1702s |      21 |  1574347 |  1145345 |    30902     91 |        3 |      180
1704.89/1705.49	c 1705s |      21 |  1576159 |  1146645 |    30902     91 |        3 |      180
1706.99/1707.55	c 1707s |      21 |  1577623 |  1147845 |    30902     91 |        3 |      180
1709.19/1709.70	c 1709s |      21 |  1578990 |  1149045 |    30902     91 |        3 |      180
1711.29/1711.82	c 1711s |      21 |  1580432 |  1150245 |    30902     91 |        3 |      180
1713.49/1714.02	c 1713s |      21 |  1581900 |  1151345 |    30902     91 |        3 |      180
1715.49/1716.05	c 1715s |      21 |  1582986 |  1152245 |    30902     91 |        3 |      180
1717.59/1718.12	c 1717s |      21 |  1584249 |  1153245 |    30902     91 |        3 |      180
1719.69/1720.27	c 1719s |      21 |  1585578 |  1154245 |    30902     92 |        3 |      180
1721.69/1722.29	c 1721s |      21 |  1587263 |  1155645 |    30902     92 |        3 |      180
1723.98/1724.54	c 1724s |      21 |  1589349 |  1157345 |    30902     92 |        3 |      180
1726.08/1726.64	c 1726s |      21 |  1590837 |  1158545 |    30902     92 |        3 |      180
1728.18/1728.72	c 1728s |      21 |  1592358 |  1159745 |    30902     92 |        3 |      180
1730.28/1730.81	c 1730s |      21 |  1593953 |  1161045 |    30902     92 |        3 |      180
1732.28/1732.85	c 1732s |      21 |  1595508 |  1162345 |    30902     92 |        3 |      180
1734.29/1734.85	c 1734s |      21 |  1596950 |  1163545 |    30902     92 |        3 |      180
1736.49/1737.03	c 1736s |      21 |  1598605 |  1164945 |    30902     92 |        3 |      180
1738.59/1739.11	c 1738s |      21 |  1600108 |  1166145 |    30902     92 |        3 |      180
1740.68/1741.20	c 1740s |      21 |  1601697 |  1167445 |    30902     92 |        3 |      180
1742.68/1743.29	c 1742s |      21 |  1603106 |  1168645 |    30902     92 |        3 |      180
1744.88/1745.45	c 1744s |      21 |  1604534 |  1169845 |    30902     92 |        3 |      180
1746.98/1747.54	c 1747s |      21 |  1606056 |  1171145 |    30902     93 |        3 |      180
1749.08/1749.67	c 1749s |      21 |  1608060 |  1172845 |    30902     93 |        3 |      180
1753.38/1753.99	c 1753s |      21 |  1608201 |  1172945 |    30902     93 |        3 |      180
1757.08/1757.66	c 1757s |      21 |  1608326 |  1173045 |    30902     93 |        3 |      180
1760.38/1760.96	c 1760s |      21 |  1608641 |  1173245 |    30902     93 |        3 |      180
1762.58/1763.11	c 1762s |      21 |  1610608 |  1174745 |    30902     93 |        3 |      180
1764.68/1765.26	c 1764s |      21 |  1612458 |  1175945 |    30902     93 |        3 |      180
1766.78/1767.38	c 1766s |      21 |  1614294 |  1177245 |    30902     93 |        3 |      180
1768.88/1769.40	c 1768s |      21 |  1615892 |  1178445 |    30902     93 |        3 |      180
1770.88/1771.43	c 1770s |      21 |  1617640 |  1179745 |    30902     93 |        3 |      180
1772.98/1773.52	c 1773s |      21 |  1619347 |  1181045 |    30902     93 |        3 |      180
1775.08/1775.69	c 1775s |      21 |  1621421 |  1182445 |    30902     93 |        3 |      180
1777.18/1777.77	c 1777s |      21 |  1623174 |  1183745 |    30902     93 |        3 |      180
1779.28/1779.84	c 1779s |      21 |  1624708 |  1184945 |    30902     93 |        3 |      180
1781.68/1782.23	c 1781s |      21 |  1626396 |  1186345 |    30902     94 |        3 |      180
1784.07/1784.68	c 1784s |      21 |  1628481 |  1188045 |    30902     94 |        3 |      180
1786.17/1786.73	c 1786s |      21 |  1630198 |  1189345 |    30902     94 |        3 |      180
1788.27/1788.81	c 1788s |      21 |  1632271 |  1190645 |    30902     94 |        3 |      180
1790.38/1790.91	c 1790s |      21 |  1634258 |  1192045 |    30902     94 |        3 |      180
1792.37/1792.93	c 1792s |      21 |  1635939 |  1193445 |    30902     94 |        3 |      180
1794.47/1795.06	c 1794s |      21 |  1637723 |  1194745 |    30902     94 |        3 |      180
1796.47/1797.09	c 1796s |      21 |  1639421 |  1196145 |    30902     94 |        3 |      180
1798.57/1799.15	c 1798s |      21 |  1641152 |  1197545 |    30902     94 |        3 |      180

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

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

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


[startup+0 s]
/proc/loadavg: 2.29 2.30 2.27 4/179 3684
/proc/meminfo: memFree=29080784/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=812476 CPUtime=0 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 3046 0 0 0 0 0 0 0 20 0 4 0 13898432 831975424 2897 33554432000 4194304 16246674 140733792678704 140733792678128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 203631 2907 441 2943 0 200525 0
[pid=3684/tid=3685] ppid=3681 vsize=846268 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 866578432 3028 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=850364 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 870772736 3047 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=855484 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13898433 876015616 3065 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100132 s]
/proc/loadavg: 2.29 2.30 2.27 4/179 3684
/proc/meminfo: memFree=29080784/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 28407 0 0 0 5 4 0 0 20 0 4 0 13898432 1250496512 28195 33554432000 4194304 16246674 140733792678704 140733792678016 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 305297 28203 801 2943 0 302191 0
[pid=3684/tid=3685] ppid=3681 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1250496512 28207 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1250496512 28213 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1250496512 28218 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200491 s]
/proc/loadavg: 2.29 2.30 2.27 4/179 3684
/proc/meminfo: memFree=29080784/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 51110 0 0 0 11 8 0 0 20 0 4 0 13898432 1344868352 51409 33554432000 4194304 16246674 140733792678704 140733792678016 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 328337 51409 801 2943 0 325231 0
[pid=3684/tid=3685] ppid=3681 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1344868352 51409 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1344868352 51409 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1344868352 51409 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300458 s]
/proc/loadavg: 2.29 2.30 2.27 4/179 3684
/proc/meminfo: memFree=29080784/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 53755 0 0 0 21 8 0 0 20 0 4 0 13898432 1344868352 54054 33554432000 4194304 16246674 140733792678704 140733792678016 5740329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 328337 54069 835 2943 0 325231 0
[pid=3684/tid=3685] ppid=3681 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1344868352 54076 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1344868352 54084 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1344868352 54093 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700416 s]
/proc/loadavg: 2.29 2.30 2.27 4/179 3684
/proc/meminfo: memFree=29080784/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 131611 0 0 0 49 20 0 0 20 0 4 0 13898432 1344868352 131910 33554432000 4194304 16246674 140733792678704 140733792660608 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 328337 131919 879 2943 0 325231 0
[pid=3684/tid=3685] ppid=3681 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1344868352 131923 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1344868352 131928 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1344868352 131931 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.29 2.30 2.27 4/183 3688
/proc/meminfo: memFree=28281112/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 267651 0 0 0 111 38 0 0 20 0 4 0 13898432 1344868352 267950 33554432000 4194304 16246674 140733792678704 140733792661704 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 328337 267959 879 2943 0 325231 0
[pid=3684/tid=3685] ppid=3681 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1344868352 267964 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1344868352 267969 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1344868352 267971 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10043 s]
/proc/loadavg: 2.29 2.30 2.27 4/183 3688
/proc/meminfo: memFree=28000944/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1317444 CPUtime=3.09 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 270023 0 0 0 271 38 0 0 20 0 4 0 13898432 1349062656 270322 33554432000 4194304 16246674 140733792678704 140733792678016 5823013 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 329361 270322 886 2943 0 326255 0
[pid=3684/tid=3685] ppid=3681 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1349062656 270322 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1349062656 270322 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1349062656 270322 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1317444

[startup+6.30044 s]
/proc/loadavg: 2.27 2.29 2.27 4/183 3688
/proc/meminfo: memFree=28000156/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1317444 CPUtime=6.29 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 270034 0 0 0 591 38 0 0 20 0 4 0 13898432 1349062656 270333 33554432000 4194304 16246674 140733792678704 140733792660608 5674768 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 329361 270333 886 2943 0 326255 0
[pid=3684/tid=3685] ppid=3681 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1349062656 270333 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1349062656 270333 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1349062656 270333 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1317444

[startup+12.7004 s]
/proc/loadavg: 2.25 2.29 2.27 3/183 3688
/proc/meminfo: memFree=28000400/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1317444 CPUtime=12.68 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 270037 0 0 0 1230 38 0 0 20 0 4 0 13898432 1349062656 270336 33554432000 4194304 16246674 140733792678704 140733792660608 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 329361 270336 887 2943 0 326255 0
[pid=3684/tid=3685] ppid=3681 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1349062656 270336 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1349062656 270336 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1349062656 270336 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1317444

[startup+25.5005 s]
/proc/loadavg: 2.26 2.29 2.27 3/183 3688
/proc/meminfo: memFree=28000708/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1317444 CPUtime=25.49 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 270037 0 0 0 2510 39 0 0 20 0 4 0 13898432 1349062656 270336 33554432000 4194304 16246674 140733792678704 140733792660608 5754966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 329361 270336 887 2943 0 326255 0
[pid=3684/tid=3685] ppid=3681 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1349062656 270336 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1349062656 270336 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1349062656 270336 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1317444

[startup+51.1005 s]
/proc/loadavg: 2.31 2.30 2.27 3/183 3688
/proc/meminfo: memFree=27991668/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1326660 CPUtime=51.08 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 272341 0 0 0 5069 39 0 0 20 0 4 0 13898432 1358499840 272640 33554432000 4194304 16246674 140733792678704 140733792660608 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 331665 272640 887 2943 0 328559 0
[pid=3684/tid=3685] ppid=3681 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1358499840 272640 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1358499840 272640 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1358499840 272640 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1326660

[startup+102.3 s]
/proc/loadavg: 2.31 2.30 2.27 3/184 3692
/proc/meminfo: memFree=27983880/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1333828 CPUtime=102.28 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 274133 0 0 0 10188 40 0 0 20 0 4 0 13898432 1365839872 274432 33554432000 4194304 16246674 140733792678704 140733792660608 5673507 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 333457 274432 887 2943 0 330351 0
[pid=3684/tid=3685] ppid=3681 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1365839872 274432 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1365839872 274432 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1365839872 274432 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1333828


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

/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1403588608 283905 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1370692

[startup+1302.3 s]
/proc/loadavg: 2.23 2.23 2.23 3/184 3771
/proc/meminfo: memFree=27915932/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1412676 CPUtime=1301.85 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 294222 0 0 0 130128 57 0 0 20 0 4 0 13898432 1446580224 294401 33554432000 4194304 16246674 140733792678704 140733792660608 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 353169 294401 888 2943 0 350063 0
[pid=3684/tid=3685] ppid=3681 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1446580224 294401 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1446580224 294401 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1446580224 294401 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1412676

[startup+1362.3 s]
/proc/loadavg: 2.28 2.24 2.24 3/183 3772
/proc/meminfo: memFree=27914888/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1412676 CPUtime=1361.84 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 294222 0 0 0 136126 58 0 0 20 0 4 0 13898432 1446580224 294401 33554432000 4194304 16246674 140733792678704 140733792660608 5523531 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 353169 294401 888 2943 0 350063 0
[pid=3684/tid=3685] ppid=3681 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1446580224 294401 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1446580224 294401 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1446580224 294401 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1412676

[startup+1422.3 s]
/proc/loadavg: 2.20 2.23 2.23 3/183 3774
/proc/meminfo: memFree=27914168/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1412676 CPUtime=1421.84 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 294222 0 0 0 142126 58 0 0 20 0 4 0 13898432 1446580224 294401 33554432000 4194304 16246674 140733792678704 140733792660608 5523515 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 353169 294401 888 2943 0 350063 0
[pid=3684/tid=3685] ppid=3681 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1446580224 294401 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1446580224 294401 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1446580224 294401 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1412676

[startup+1482.3 s]
/proc/loadavg: 2.29 2.24 2.24 4/183 3775
/proc/meminfo: memFree=27901916/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1412676 CPUtime=1481.82 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 294222 0 0 0 148123 59 0 0 20 0 4 0 13898432 1446580224 294401 33554432000 4194304 16246674 140733792678704 140733792660608 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 353169 294401 888 2943 0 350063 0
[pid=3684/tid=3685] ppid=3681 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1446580224 294401 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1446580224 294401 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1446580224 294401 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1412676

[startup+1542.31 s]
/proc/loadavg: 2.21 2.23 2.23 3/183 3776
/proc/meminfo: memFree=27889920/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1424964 CPUtime=1541.82 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 297294 0 0 0 154122 60 0 0 20 0 4 0 13898432 1459163136 297473 33554432000 4194304 16246674 140733792678704 140733792660608 5676803 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 356241 297473 888 2943 0 353135 0
[pid=3684/tid=3685] ppid=3681 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1459163136 297473 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1459163136 297473 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1459163136 297473 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1424964

[startup+1602.3 s]
/proc/loadavg: 2.21 2.21 2.22 3/183 3777
/proc/meminfo: memFree=27889564/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1424964 CPUtime=1601.81 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 297294 0 0 0 160119 62 0 0 20 0 4 0 13898432 1459163136 297473 33554432000 4194304 16246674 140733792678704 140733792660608 5675010 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 356241 297473 888 2943 0 353135 0
[pid=3684/tid=3685] ppid=3681 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1459163136 297473 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1459163136 297473 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1459163136 297473 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1424964

[startup+1662.3 s]
/proc/loadavg: 2.27 2.22 2.22 3/183 3778
/proc/meminfo: memFree=27889332/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1424964 CPUtime=1661.8 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 297294 0 0 0 166118 62 0 0 20 0 4 0 13898432 1459163136 297473 33554432000 4194304 16246674 140733792678704 140733792660608 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 356241 297473 888 2943 0 353135 0
[pid=3684/tid=3685] ppid=3681 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1459163136 297473 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1459163136 297473 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1459163136 297473 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1424964

[startup+1722.3 s]
/proc/loadavg: 2.29 2.22 2.22 3/183 3780
/proc/meminfo: memFree=27889472/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1424964 CPUtime=1721.79 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 297294 0 0 0 172117 62 0 0 20 0 4 0 13898432 1459163136 297473 33554432000 4194304 16246674 140733792678704 140733792660608 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 356241 297473 888 2943 0 353135 0
[pid=3684/tid=3685] ppid=3681 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1459163136 297473 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1459163136 297473 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1459163136 297473 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1424964

[startup+1782.3 s]
/proc/loadavg: 2.20 2.21 2.21 3/183 3781
/proc/meminfo: memFree=27889636/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1424964 CPUtime=1781.78 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 297294 0 0 0 178115 63 0 0 20 0 4 0 13898432 1459163136 297473 33554432000 4194304 16246674 140733792678704 140733792660608 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 356241 297473 888 2943 0 353135 0
[pid=3684/tid=3685] ppid=3681 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1459163136 297473 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1459163136 297473 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1459163136 297473 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1424964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.15 2.20 2.21 4/183 3781
/proc/meminfo: memFree=27889604/32872528 swapFree=1541688/1694988
[pid=3684] ppid=3681 vsize=1424964 CPUtime=1800.07 cores=1,3,5,7
/proc/3684/stat : 3684 (toysat) R 3681 3684 31715 0 -1 4202496 297294 0 0 0 179944 63 0 0 20 0 4 0 13898432 1459163136 297473 33554432000 4194304 16246674 140733792678704 140733792660608 5677720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3684/statm: 356241 297473 888 2943 0 353135 0
[pid=3684/tid=3685] ppid=3681 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3685/stat : 3685 (toysat) S 3681 3684 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13898433 1459163136 297473 33554432000 4194304 16246674 140733792678704 139919082106096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=3684/tid=3686] ppid=3681 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3686/stat : 3686 (toysat) S 3681 3684 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13898433 1459163136 297473 33554432000 4194304 16246674 140733792678704 139919071616240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3684/tid=3687] ppid=3681 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/3684/task/3687/stat : 3687 (toysat) S 3681 3684 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13898433 1459163136 297473 33554432000 4194304 16246674 140733792678704 139919061142704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1424964

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.45
CPU system time (s): 0.638902
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 1424964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.638902
maximum resident set size= 1189892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297294
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= 396
involuntary context switches= 1875

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9743 second user time and 16.1445 second system time

The end

Begin job on node125 at 2016-06-17 01:08:38
IDJOB=4097828
IDBENCH=107813
IDSOLVER=2542
FILE ID=node125/4097828-1466118518
RUNJOBID= node125-1466112694-1101
PBS_JOBID= 19904034
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= 8f1ab1cee0eaffd9cfda11c2de0123e4
RANDOM SEED=1949139959

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29080412 kB
Buffers:           69660 kB
Cached:           164204 kB
SwapCached:         2680 kB
Active:          1271640 kB
Inactive:         115644 kB
Active(anon):    1153724 kB
Inactive(anon):     2308 kB
Active(file):     117916 kB
Inactive(file):   113336 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67097016 kB
Dirty:             17440 kB
Writeback:             0 kB
AnonPages:       2846956 kB
Mapped:            10708 kB
Shmem:                 0 kB
Slab:             573508 kB
SReclaimable:      16248 kB
SUnreclaim:       557260 kB
KernelStack:        1520 kB
PageTables:         9608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2991520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1288192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node125 at 2016-06-17 01:38:39