0.00/0.00	c 2016-06-17T01:13:57+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-4097912-1466118837.opb"]
0.00/0.01	c use --random-gen="4155859168 2615498110 2460421186 3983378223 3605802731 1452991778 26342812 959574484 3020952111 98091780 536820749 1579968474 2188241476 1270872659 2738423036 2553384216 1868615856 2797498523 1935533036 3696653254 3194323271 984518161 2050217598 205308930 3695008307 1250556732 1586311499 274874764 435788965 2956249200 1590177110 1840716000 2036569221 2299002617 2118229401 2895290023 4172648434 4095797536 2527628754 1641172159 1945598223 234895363 1525104565 3145173 3664994391 3127165981 2288683335 3397627497 3858387385 1574950294 3612156594 2496243148 3242181832 3794326049 752331919 2339952168 3748999725 1849185582 4170736383 3929335641 1874722919 1780553190 3703969465 4056328994 3599781764 1639778610 2800426404 3014107802 2403664521 3148554482 1817162310 3559126250 1428342312 1835085622 2874358490 801202677 538398104 2342737307 3502715012 1972950987 2315707720 3162114902 3524005269 782115848 520628831 2297032821 1696050649 366089154 2690925715 3878116986 1231972956 4188415347 2695381128 4286589325 1739487022 2183037132 3208235548 788247660 3327631892 1131333656 3750757117 3779369962 1604510004 3660464630 1189578776 112314155 1576329406 1877156647 23300595 4043965484 2920557038 1392711593 4078444315 1685376818 3624533642 1584157347 629010184 2312559434 3073442986 2607751063 3641293662 2804794857 934429555 484896581 4036286172 333655374 3812176261 638497077 2861143536 2591177214 2799053604 1232238439 21173997 175550351 2512365503 191049459 1293048908 3016362173 1853209670 1955010796 2342955255 210269193 1440533682 4178541425 1486160503 2660907917 3774134500 2734545082 2393271439 609876082 2149534783 2601151731 3110739423 2704403759 746670382 1091168999 3992162552 680610261 699507888 3784585000 3173641233 843747661 1469253081 2200185741 143752408 1661407782 116044321 4268421587 3469493983 92972711 4199233936 3301347820 1437212420 789165911 3808384695 1556966615 811577855 2666351633 1545745945 2604524612 2131442261 3231546882 562511128 330583881 3496607760 1300717058 715804314 1606237696 612941595 1003317383 4200324735 547740925 3043603214 29151686 2026872308 3488592510 1004096623 1752252018 2549714247 847692463 2412707557 2624436445 955883156 2371051477 3014959361 1737321145 4272912403 4017275731 2158533944 4280560397 4031332113 2208060895 979292770 564975968 3740616820 1423756972 3385292924 316680393 3804340467 3173313625 1586825724 3997082807 1522436617 3366031519 2425691460 808653835 4225529646 3378183137 3224733834 2007938477 4276646056 1136124497 1533160319 2892309946 2430229526 3035636635 2312594198 2392069909 2190077620 1850404055 1571920094 377710030 2032258978 3003982119 350626963 3456529153 1103179600 678006394 2694284219 4053409595 2805106532 1301791951 1351096738 956799240 2168562776 4044737919 255 362436" option to reproduce the execution
0.19/0.20	c #vars 2070
0.19/0.20	c #constraints 9950
0.39/0.44	c Solving starts ...
0.39/0.44	c ============================[ Search Statistics ]============================
0.39/0.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.44	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.44	c =============================================================================
0.39/0.44	c  0.0s |       0 |        0 |        0 |     4005      0 |        5 |        0
0.49/0.59	c  0.2s |       1 |      304 |      100 |     4005      0 |        5 |      384
0.79/0.80	c  0.4s |       2 |      540 |      250 |     4406      0 |        5 |      384
1.09/1.12	c  0.7s |       3 |     1007 |      475 |     4847      0 |        5 |      384
1.49/1.55	c  1.1s |       4 |     1621 |      813 |     5332      0 |        5 |      384
1.99/2.00	c  1.6s |       5 |     2800 |     1320 |     5866      0 |        5 |      384
2.59/2.65	c  2.2s |       6 |     4543 |     2081 |     7099      0 |        5 |      384
3.59/3.69	c  3.2s |       7 |     7126 |     3223 |     7809      0 |        5 |      384
5.19/5.28	c  4.8s |       8 |    10925 |     4936 |     8590      0 |        5 |      384
7.29/7.37	c  6.9s |       8 |    15195 |     7036 |     8590      0 |        5 |      384
7.80/7.85	c  7.4s |       9 |    15874 |     7506 |     9449      0 |        5 |      384
9.79/9.88	c  9.4s |       9 |    19538 |     9306 |     9449      0 |        5 |      384
11.89/11.91	c 11.5s |       9 |    22423 |    11006 |     9449      1 |        5 |      384
12.20/12.28	c 11.8s |      10 |    23011 |    11361 |    10394      1 |        5 |      384
14.30/14.37	c 13.9s |      10 |    26764 |    13161 |    10394      1 |        5 |      384
16.29/16.38	c 15.9s |      10 |    31612 |    15261 |    10394      1 |        5 |      384
18.09/18.17	c 17.7s |      11 |    34783 |    17144 |    11434      2 |        5 |      384
20.19/20.23	c 19.8s |      11 |    38644 |    19344 |    11434      2 |        5 |      384
22.19/22.24	c 21.8s |      11 |    42080 |    21544 |    11434      2 |        5 |      384
24.30/24.32	c 23.9s |      11 |    45130 |    23844 |    11434      3 |        5 |      384
26.39/26.44	c 26.0s |      11 |    48442 |    25744 |    12578      3 |        5 |      384
26.50/26.52	c 26.1s |      12 |    48542 |    25819 |    12578      3 |        5 |      384
28.49/28.54	c 28.1s |      12 |    53012 |    27819 |    12578      3 |        5 |      384
30.49/30.55	c 30.1s |      12 |    55863 |    29719 |    12578      3 |        5 |      384
32.49/32.56	c 32.1s |      12 |    59443 |    31819 |    12578      4 |        5 |      384
34.59/34.60	c 34.2s |      12 |    62537 |    34019 |    12578      4 |        5 |      384
36.59/36.63	c 36.2s |      12 |    65813 |    36319 |    12578      4 |        5 |      384
38.79/38.86	c 38.4s |      12 |    68938 |    38619 |    13836      5 |        5 |      384
38.99/39.08	c 38.6s |      13 |    69203 |    38832 |    13836      5 |        5 |      384
41.08/41.11	c 40.7s |      13 |    73262 |    40832 |    13836      5 |        5 |      384
43.08/43.17	c 42.7s |      13 |    76904 |    42832 |    13836      5 |        5 |      384
45.19/45.26	c 44.8s |      13 |    80064 |    44732 |    13836      6 |        5 |      384
47.18/47.29	c 46.9s |      13 |    83488 |    47132 |    13836      6 |        5 |      384
49.28/49.30	c 48.9s |      13 |    86635 |    49632 |    13836      6 |        5 |      384
51.28/51.31	c 50.9s |      13 |    89203 |    51332 |    13836      6 |        5 |      384
53.28/53.38	c 52.9s |      13 |    91954 |    53332 |    13836      7 |        5 |      384
55.28/55.39	c 55.0s |      13 |    95397 |    55632 |    13836      7 |        5 |      384
57.38/57.47	c 57.0s |      13 |    98492 |    57932 |    13836      7 |        5 |      384
57.88/57.90	c 57.5s |      14 |    99043 |    58352 |    15220      7 |        5 |      384
59.88/59.97	c 59.5s |      14 |   102017 |    60252 |    15220      7 |        5 |      384
61.98/62.03	c 61.6s |      14 |   105234 |    62552 |    15220      8 |        5 |      384
64.08/64.12	c 63.7s |      14 |   108806 |    65252 |    15220      8 |        5 |      384
66.18/66.22	c 65.8s |      14 |   111240 |    67252 |    15220      8 |        5 |      384
68.18/68.25	c 67.8s |      14 |   113964 |    69352 |    15220      9 |        5 |      384
70.28/70.31	c 69.9s |      14 |   116932 |    71652 |    15220      9 |        5 |      384
72.28/72.38	c 71.9s |      14 |   119551 |    73852 |    15220      9 |        5 |      384
74.38/74.41	c 74.0s |      14 |   122207 |    75952 |    15220      9 |        5 |      384
76.38/76.48	c 76.0s |      14 |   124805 |    78252 |    15220     10 |        5 |      384
78.38/78.49	c 78.1s |      14 |   127043 |    79952 |    15220     10 |        5 |      384
80.48/80.50	c 80.1s |      14 |   129443 |    81752 |    15220     10 |        5 |      384
82.48/82.59	c 82.1s |      14 |   132037 |    83852 |    15220     10 |        5 |      384
84.58/84.69	c 84.3s |      14 |   133903 |    85152 |    15220     11 |        5 |      384
86.68/86.77	c 86.3s |      14 |   136485 |    87152 |    16742     11 |        5 |      384
87.18/87.24	c 86.8s |      15 |   137068 |    87632 |    16742     11 |        5 |      384
91.38/91.44	c 91.0s |      15 |   139507 |    89532 |    16742     11 |        5 |      384
93.48/93.51	c 93.1s |      15 |   141858 |    91232 |    16742     11 |        5 |      384
95.57/95.62	c 95.2s |      15 |   144213 |    93032 |    16742     11 |        5 |      384
97.67/97.77	c 97.3s |      15 |   146480 |    94932 |    16742     12 |        5 |      384
99.77/99.83	c 99.4s |      15 |   149529 |    96932 |    16742     12 |        5 |      384
101.87/101.94	c  101s |      15 |   151981 |    98632 |    16742     12 |        5 |      384
103.97/104.03	c  103s |      15 |   154537 |   100232 |    16742     12 |        5 |      384
105.97/106.08	c  105s |      15 |   156952 |   101632 |    16742     12 |        5 |      384
107.97/108.09	c  107s |      15 |   158847 |   103032 |    16742     13 |        5 |      384
110.08/110.18	c  109s |      15 |   161354 |   104632 |    16742     13 |        5 |      384
112.18/112.27	c  111s |      15 |   163817 |   106332 |    16742     13 |        5 |      384
114.27/114.40	c  113s |      15 |   166701 |   108132 |    16742     13 |        5 |      384
116.47/116.51	c  116s |      15 |   169226 |   109832 |    16742     13 |        5 |      384
118.47/118.56	c  118s |      15 |   171417 |   111432 |    16742     13 |        5 |      384
120.57/120.65	c  120s |      15 |   173754 |   113232 |    16742     14 |        5 |      384
122.57/122.69	c  122s |      15 |   176483 |   115432 |    16742     14 |        5 |      384
124.67/124.73	c  124s |      15 |   178727 |   117032 |    16742     14 |        5 |      384
126.67/126.77	c  126s |      15 |   181404 |   118632 |    16742     14 |        5 |      384
128.67/128.80	c  128s |      15 |   184119 |   120232 |    16742     14 |        5 |      384
130.77/130.86	c  130s |      15 |   186704 |   122132 |    16742     15 |        5 |      384
132.77/132.87	c  132s |      15 |   189232 |   123932 |    16742     15 |        5 |      384
134.87/134.90	c  134s |      15 |   191782 |   125932 |    16742     15 |        5 |      384
136.87/136.91	c  136s |      15 |   194062 |   127832 |    16742     15 |        5 |      384
138.86/138.96	c  138s |      15 |   196032 |   129332 |    16742     16 |        5 |      384
140.96/141.03	c  140s |      15 |   199308 |   131332 |    18417     16 |        5 |      384
141.16/141.23	c  140s |      16 |   199558 |   131552 |    18417     16 |        5 |      384
143.26/143.32	c  142s |      16 |   202467 |   133452 |    18417     16 |        5 |      384
145.36/145.41	c  144s |      16 |   205163 |   135452 |    18417     16 |        5 |      384
147.37/147.45	c  147s |      16 |   207835 |   137552 |    18417     16 |        5 |      384
149.37/149.49	c  149s |      16 |   209758 |   138852 |    18417     16 |        5 |      384
151.57/151.68	c  151s |      16 |   211717 |   140252 |    18417     17 |        5 |      384
153.67/153.74	c  153s |      16 |   214356 |   141852 |    18417     17 |        5 |      384
155.67/155.78	c  155s |      16 |   216657 |   143752 |    18417     17 |        5 |      384
157.77/157.84	c  157s |      16 |   218933 |   145552 |    18417     17 |        5 |      384
159.77/159.87	c  159s |      16 |   221089 |   147152 |    18417     17 |        5 |      384
161.87/161.94	c  161s |      16 |   222966 |   148652 |    18417     17 |        5 |      384
163.98/164.07	c  163s |      16 |   224905 |   150152 |    18417     18 |        5 |      384
166.07/166.14	c  165s |      16 |   227214 |   151652 |    18417     18 |        5 |      384
168.07/168.18	c  167s |      16 |   229718 |   153352 |    18417     18 |        5 |      384
170.17/170.27	c  169s |      16 |   232155 |   154952 |    18417     18 |        5 |      384
172.26/172.30	c  171s |      16 |   234884 |   156452 |    18417     18 |        5 |      384
174.36/174.41	c  173s |      16 |   237092 |   158152 |    18417     18 |        5 |      384
176.36/176.42	c  175s |      16 |   239055 |   159552 |    18417     19 |        5 |      384
178.36/178.47	c  178s |      16 |   241561 |   161452 |    18417     19 |        5 |      384
180.47/180.52	c  180s |      16 |   244040 |   163452 |    18417     19 |        5 |      384
182.46/182.60	c  182s |      16 |   246226 |   164952 |    18417     19 |        5 |      384
184.56/184.64	c  184s |      16 |   248498 |   166552 |    18417     19 |        5 |      384
186.56/186.65	c  186s |      16 |   250700 |   168152 |    18417     19 |        5 |      384
188.56/188.65	c  188s |      16 |   252886 |   169752 |    18417     20 |        5 |      384
190.56/190.67	c  190s |      16 |   255106 |   171452 |    18417     20 |        5 |      384
192.57/192.69	c  192s |      16 |   257165 |   173252 |    18417     20 |        5 |      384
194.67/194.72	c  194s |      16 |   259231 |   174852 |    18417     20 |        5 |      384
196.76/196.80	c  196s |      16 |   261144 |   176352 |    18417     20 |        5 |      384
198.86/198.91	c  198s |      16 |   263143 |   177952 |    18417     20 |        5 |      384
200.86/200.95	c  200s |      16 |   265328 |   179852 |    18417     21 |        5 |      384
202.86/202.97	c  202s |      16 |   267514 |   181552 |    18417     21 |        5 |      384
204.96/205.05	c  204s |      16 |   269784 |   183352 |    18417     21 |        5 |      384
207.06/207.11	c  206s |      16 |   271889 |   185052 |    18417     21 |        5 |      384
209.07/209.18	c  208s |      16 |   273747 |   186552 |    18417     21 |        5 |      384
211.16/211.23	c  210s |      16 |   275663 |   187952 |    18417     21 |        5 |      384
213.16/213.26	c  212s |      16 |   277620 |   189552 |    18417     22 |        5 |      384
215.26/215.36	c  214s |      16 |   279864 |   191452 |    18417     22 |        5 |      384
217.36/217.40	c  216s |      16 |   281810 |   193052 |    18417     22 |        5 |      384
219.46/219.51	c  219s |      16 |   283921 |   194852 |    18417     22 |        5 |      384
221.46/221.52	c  221s |      16 |   285888 |   196552 |    20259     22 |        5 |      384
222.46/222.50	c  222s |      17 |   286856 |   197432 |    20259     22 |        5 |      384
224.46/224.55	c  224s |      17 |   288120 |   198132 |    20259     22 |        5 |      384
226.45/226.60	c  226s |      17 |   289555 |   199232 |    20259     23 |        5 |      384
228.55/228.68	c  228s |      17 |   291818 |   201032 |    20259     23 |        5 |      384
230.65/230.74	c  230s |      17 |   294203 |   202832 |    20259     23 |        5 |      384
232.65/232.76	c  232s |      17 |   296440 |   204632 |    20259     23 |        5 |      384
234.75/234.85	c  234s |      17 |   298525 |   206432 |    20259     23 |        5 |      384
236.75/236.87	c  236s |      17 |   300421 |   208032 |    20259     23 |        5 |      384
238.76/238.88	c  238s |      17 |   302046 |   209332 |    20259     23 |        5 |      384
240.86/240.97	c  240s |      17 |   303501 |   210532 |    20259     24 |        5 |      384
242.95/243.02	c  242s |      17 |   305760 |   212232 |    20259     24 |        5 |      384
244.95/245.06	c  244s |      17 |   307848 |   213832 |    20259     24 |        5 |      384
247.95/248.07	c  247s |      17 |   309590 |   215132 |    20259     24 |        5 |      384
250.05/250.13	c  249s |      17 |   312224 |   216532 |    20259     24 |        5 |      384
252.15/252.26	c  251s |      17 |   314701 |   218032 |    20259     24 |        5 |      384
254.25/254.32	c  253s |      17 |   316857 |   219532 |    20259     24 |        5 |      384
256.45/256.51	c  256s |      17 |   318607 |   220832 |    20259     25 |        5 |      384
258.45/258.59	c  258s |      17 |   321151 |   222632 |    20259     25 |        5 |      384
260.55/260.68	c  260s |      17 |   323561 |   224432 |    20259     25 |        5 |      384
262.65/262.77	c  262s |      17 |   326105 |   226332 |    20259     25 |        5 |      384
264.74/264.83	c  264s |      17 |   328417 |   228132 |    20259     25 |        5 |      384
266.84/266.97	c  266s |      17 |   330358 |   229532 |    20259     25 |        5 |      384
269.04/269.10	c  268s |      17 |   331865 |   230632 |    20259     26 |        5 |      384
271.04/271.11	c  270s |      17 |   333966 |   232232 |    20259     26 |        5 |      384
273.14/273.21	c  272s |      17 |   336248 |   233832 |    20259     26 |        5 |      384
275.14/275.27	c  274s |      17 |   338366 |   235432 |    20259     26 |        5 |      384
277.25/277.35	c  276s |      17 |   340588 |   237132 |    20259     26 |        5 |      384
279.24/279.38	c  278s |      17 |   342543 |   238832 |    20259     26 |        5 |      384
281.34/281.42	c  280s |      17 |   344364 |   240132 |    20259     26 |        5 |      384
283.35/283.47	c  283s |      17 |   346122 |   241532 |    20259     27 |        5 |      384
285.45/285.58	c  285s |      17 |   348224 |   242932 |    20259     27 |        5 |      384
287.55/287.67	c  287s |      17 |   350549 |   244632 |    20259     27 |        5 |      384
289.65/289.73	c  289s |      17 |   352567 |   246132 |    20259     27 |        5 |      384
291.75/291.85	c  291s |      17 |   354822 |   247832 |    20259     27 |        5 |      384
293.85/293.97	c  293s |      17 |   357543 |   249632 |    20259     27 |        5 |      384
295.85/295.98	c  295s |      17 |   359775 |   251432 |    20259     27 |        5 |      384
297.94/298.05	c  297s |      17 |   361440 |   252732 |    20259     28 |        5 |      384
300.04/300.10	c  299s |      17 |   363510 |   254332 |    20259     28 |        5 |      384
302.04/302.13	c  301s |      17 |   365612 |   256032 |    20259     28 |        5 |      384
304.04/304.15	c  303s |      17 |   367464 |   257432 |    20259     28 |        5 |      384
306.14/306.22	c  305s |      17 |   369428 |   258832 |    20259     28 |        5 |      384
308.24/308.30	c  307s |      17 |   371342 |   260232 |    20259     28 |        5 |      384
310.24/310.34	c  309s |      17 |   373174 |   261632 |    20259     28 |        5 |      384
312.24/312.37	c  311s |      17 |   374898 |   263032 |    20259     29 |        5 |      384
314.24/314.38	c  313s |      17 |   376983 |   264832 |    20259     29 |        5 |      384
316.34/316.47	c  316s |      17 |   378988 |   266432 |    20259     29 |        5 |      384
318.34/318.48	c  318s |      17 |   381132 |   268232 |    20259     29 |        5 |      384
320.44/320.54	c  320s |      17 |   383242 |   269732 |    20259     29 |        5 |      384
322.54/322.66	c  322s |      17 |   385051 |   271232 |    20259     29 |        5 |      384
324.64/324.70	c  324s |      17 |   386868 |   272732 |    20259     29 |        5 |      384
326.64/326.72	c  326s |      17 |   388780 |   274332 |    20259     30 |        5 |      384
328.64/328.75	c  328s |      17 |   390915 |   276232 |    20259     30 |        5 |      384
330.73/330.86	c  330s |      17 |   393086 |   278032 |    20259     30 |        5 |      384
332.83/332.96	c  332s |      17 |   394993 |   279732 |    20259     30 |        5 |      384
334.93/335.02	c  334s |      17 |   396981 |   281532 |    20259     30 |        5 |      384
337.04/337.15	c  336s |      17 |   398156 |   282332 |    20259     30 |        5 |      384
339.14/339.26	c  338s |      17 |   399355 |   283232 |    20259     31 |        5 |      384
341.24/341.35	c  340s |      17 |   401950 |   285032 |    20259     31 |        5 |      384
343.25/343.36	c  342s |      17 |   404435 |   286932 |    20259     31 |        5 |      384
345.24/345.38	c  344s |      17 |   406815 |   288832 |    20259     31 |        5 |      384
348.14/348.21	c  347s |      17 |   408205 |   290032 |    20259     31 |        5 |      384
350.14/350.23	c  349s |      17 |   410407 |   291632 |    20259     31 |        5 |      384
352.14/352.27	c  351s |      17 |   412578 |   293232 |    20259     31 |        5 |      384
354.25/354.38	c  353s |      17 |   414726 |   294732 |    22285     32 |        5 |      384
355.94/356.00	c  355s |      18 |   416623 |   296252 |    22285     32 |        5 |      384
357.94/358.06	c  357s |      18 |   418682 |   297652 |    22285     32 |        5 |      384
360.04/360.16	c  359s |      18 |   421147 |   299452 |    22285     32 |        5 |      384
362.14/362.20	c  361s |      18 |   423272 |   301252 |    22285     32 |        5 |      384
364.14/364.21	c  363s |      18 |   425447 |   302852 |    22285     32 |        5 |      384
366.14/366.26	c  365s |      18 |   427340 |   304252 |    22285     32 |        5 |      384
368.24/368.34	c  367s |      18 |   429341 |   305852 |    22285     32 |        5 |      384
370.23/370.35	c  369s |      18 |   431701 |   307452 |    22285     33 |        5 |      384
372.23/372.38	c  371s |      18 |   434029 |   309352 |    22285     33 |        5 |      384
374.33/374.47	c  374s |      18 |   436236 |   311152 |    22285     33 |        5 |      384
376.43/376.57	c  376s |      18 |   438184 |   312652 |    22285     33 |        5 |      384
378.53/378.64	c  378s |      18 |   440157 |   314152 |    22285     33 |        5 |      384
380.54/380.69	c  380s |      18 |   442277 |   315652 |    22285     33 |        5 |      384
382.63/382.79	c  382s |      18 |   444295 |   317252 |    22285     33 |        5 |      384
384.83/384.92	c  384s |      18 |   446334 |   318852 |    22285     34 |        5 |      384
386.83/386.94	c  386s |      18 |   448429 |   320652 |    22285     34 |        5 |      384
388.92/389.07	c  388s |      18 |   450482 |   322252 |    22285     34 |        5 |      384
391.02/391.11	c  390s |      18 |   452234 |   323652 |    22285     34 |        5 |      384
393.02/393.19	c  392s |      18 |   454365 |   325352 |    22285     34 |        5 |      384
395.12/395.26	c  394s |      18 |   456461 |   326952 |    22285     34 |        5 |      384
397.13/397.29	c  396s |      18 |   458240 |   328452 |    22285     34 |        5 |      384
399.22/399.38	c  398s |      18 |   460226 |   330152 |    22285     35 |        5 |      384
401.42/401.50	c  401s |      18 |   462650 |   332052 |    22285     35 |        5 |      384
403.42/403.59	c  403s |      18 |   465005 |   334052 |    22285     35 |        5 |      384
405.52/405.67	c  405s |      18 |   467001 |   335852 |    22285     35 |        5 |      384
407.52/407.68	c  407s |      18 |   468841 |   337452 |    22285     35 |        5 |      384
410.22/410.34	c  409s |      18 |   470118 |   338552 |    22285     35 |        5 |      384
412.31/412.40	c  411s |      18 |   471759 |   339752 |    22285     35 |        5 |      384
414.41/414.53	c  414s |      18 |   473530 |   341052 |    22285     35 |        5 |      384
416.51/416.64	c  416s |      18 |   474814 |   341952 |    22285     36 |        5 |      384
418.61/418.70	c  418s |      18 |   477128 |   343552 |    22285     36 |        5 |      384
420.61/420.75	c  420s |      18 |   479391 |   345252 |    22285     36 |        5 |      384
422.61/422.76	c  422s |      18 |   481550 |   347052 |    22285     36 |        5 |      384
426.11/426.22	c  425s |      18 |   484104 |   348852 |    22285     36 |        5 |      384
428.11/428.23	c  427s |      18 |   486348 |   350152 |    22285     36 |        5 |      384
430.21/430.30	c  429s |      18 |   488718 |   351752 |    22285     36 |        5 |      384
432.22/432.37	c  431s |      18 |   490772 |   352852 |    22285     37 |        5 |      384
434.31/434.43	c  433s |      18 |   493082 |   354452 |    22285     37 |        5 |      384
436.31/436.48	c  436s |      18 |   495095 |   355952 |    22285     37 |        5 |      384
438.41/438.52	c  438s |      18 |   497664 |   357552 |    22285     37 |        5 |      384
440.41/440.56	c  440s |      18 |   500098 |   359152 |    22285     37 |        5 |      384
442.50/442.67	c  442s |      18 |   502299 |   360752 |    22285     37 |        5 |      384
444.60/444.74	c  444s |      18 |   504398 |   362352 |    22285     37 |        5 |      384
446.70/446.87	c  446s |      18 |   506532 |   363952 |    22285     37 |        5 |      384
448.71/448.89	c  448s |      18 |   508365 |   365452 |    22285     38 |        5 |      384
450.80/450.93	c  450s |      18 |   510387 |   366752 |    22285     38 |        5 |      384
452.80/452.95	c  452s |      18 |   512651 |   368352 |    22285     38 |        5 |      384
454.90/455.02	c  454s |      18 |   514582 |   369652 |    22285     38 |        5 |      384
456.90/457.03	c  456s |      18 |   517191 |   371252 |    22285     38 |        5 |      384
458.90/459.03	c  458s |      18 |   519384 |   372652 |    22285     38 |        5 |      384
461.00/461.10	c  460s |      18 |   521998 |   374152 |    22285     38 |        5 |      384
463.40/463.52	c  463s |      18 |   524387 |   375752 |    22285     39 |        5 |      384
465.39/465.54	c  465s |      18 |   527391 |   377552 |    22285     39 |        5 |      384
467.40/467.55	c  467s |      18 |   530220 |   379552 |    22285     39 |        5 |      384
469.39/469.56	c  469s |      18 |   533284 |   381552 |    22285     39 |        5 |      384
471.49/471.62	c  471s |      18 |   535808 |   383452 |    22285     39 |        5 |      384
473.59/473.73	c  473s |      18 |   538289 |   385452 |    22285     39 |        5 |      384
475.58/475.73	c  475s |      18 |   540221 |   386952 |    22285     39 |        5 |      384
477.58/477.75	c  477s |      18 |   542151 |   388252 |    22285     40 |        5 |      384
479.68/479.84	c  479s |      18 |   544885 |   389952 |    22285     40 |        5 |      384
481.69/481.88	c  481s |      18 |   547849 |   391852 |    22285     40 |        5 |      384
483.78/483.98	c  483s |      18 |   550454 |   393652 |    22285     40 |        5 |      384
485.88/486.08	c  485s |      18 |   552844 |   395452 |    22285     40 |        5 |      384
487.98/488.13	c  487s |      18 |   555770 |   397452 |    22285     40 |        5 |      384
489.98/490.14	c  489s |      18 |   558379 |   399352 |    22285     41 |        5 |      384
492.08/492.21	c  491s |      18 |   560945 |   400952 |    22285     41 |        5 |      384
494.08/494.25	c  493s |      18 |   563708 |   402852 |    22285     41 |        5 |      384
496.18/496.31	c  495s |      18 |   565817 |   404552 |    22285     41 |        5 |      384
498.18/498.39	c  497s |      18 |   567998 |   406152 |    22285     41 |        5 |      384
500.28/500.50	c  500s |      18 |   570077 |   407752 |    22285     41 |        5 |      384
502.38/502.56	c  502s |      18 |   572118 |   409452 |    22285     41 |        5 |      384
504.48/504.66	c  504s |      18 |   574180 |   410952 |    22285     42 |        5 |      384
506.47/506.67	c  506s |      18 |   576588 |   412552 |    22285     42 |        5 |      384
508.57/508.77	c  508s |      18 |   579153 |   414352 |    22285     42 |        5 |      384
510.67/510.82	c  510s |      18 |   581496 |   416152 |    22285     42 |        5 |      384
512.77/512.94	c  512s |      18 |   584055 |   417952 |    22285     42 |        5 |      384
514.87/515.02	c  514s |      18 |   586514 |   419752 |    22285     42 |        5 |      384
516.87/517.03	c  516s |      18 |   588673 |   421452 |    22285     42 |        5 |      384
518.87/519.05	c  518s |      18 |   590600 |   422752 |    22285     43 |        5 |      384
520.86/521.08	c  520s |      18 |   593107 |   424552 |    22285     43 |        5 |      384
522.96/523.11	c  522s |      18 |   595716 |   426552 |    22285     43 |        5 |      384
524.96/525.11	c  524s |      18 |   598174 |   428452 |    22285     43 |        5 |      384
526.97/527.17	c  526s |      18 |   600797 |   430252 |    22285     43 |        5 |      384
529.07/529.28	c  528s |      18 |   603024 |   432152 |    22285     43 |        5 |      384
531.27/531.47	c  531s |      18 |   605111 |   433752 |    22285     44 |        5 |      384
533.37/533.53	c  533s |      18 |   607865 |   435852 |    22285     44 |        5 |      384
535.36/535.55	c  535s |      18 |   610570 |   437952 |    22285     44 |        5 |      384
537.46/537.61	c  537s |      18 |   613304 |   440052 |    22285     44 |        5 |      384
539.46/539.65	c  539s |      18 |   615769 |   442052 |    24514     44 |        5 |      384
541.56/541.74	c  541s |      18 |   618210 |   444052 |    24514     44 |        5 |      384
542.06/542.20	c  541s |      19 |   618694 |   444482 |    24514     44 |        5 |      384
547.35/547.59	c  547s |      19 |   619189 |   444782 |    24514     44 |        5 |      384
549.45/549.65	c  549s |      19 |   621314 |   445882 |    24514     44 |        5 |      384
551.45/551.69	c  551s |      19 |   623557 |   447382 |    24514     44 |        5 |      384
553.55/553.77	c  553s |      19 |   625207 |   448482 |    24514     45 |        5 |      384
555.65/555.80	c  555s |      19 |   628616 |   450482 |    24514     45 |        5 |      384
557.65/557.82	c  557s |      19 |   632008 |   452282 |    24514     45 |        5 |      384
559.65/559.89	c  559s |      19 |   635060 |   454082 |    24514     45 |        5 |      384
561.75/561.93	c  561s |      19 |   637784 |   455882 |    24514     45 |        5 |      384
563.85/564.02	c  563s |      19 |   640534 |   457782 |    24514     45 |        5 |      384
565.94/566.13	c  565s |      19 |   642915 |   459482 |    24514     45 |        5 |      384
567.94/568.15	c  567s |      19 |   645438 |   461482 |    24514     46 |        5 |      384
569.94/570.19	c  569s |      19 |   647295 |   462882 |    24514     46 |        5 |      384
572.04/572.23	c  571s |      19 |   649551 |   464482 |    24514     46 |        5 |      384
574.05/574.28	c  573s |      19 |   652145 |   466182 |    24514     46 |        5 |      384
576.14/576.33	c  575s |      19 |   654601 |   467882 |    24514     46 |        5 |      384
578.14/578.35	c  577s |      19 |   656956 |   469582 |    24514     46 |        5 |      384
580.14/580.35	c  579s |      19 |   659033 |   471182 |    24514     46 |        5 |      384
582.14/582.36	c  581s |      19 |   661179 |   472982 |    24514     46 |        5 |      384
584.24/584.42	c  583s |      19 |   663021 |   474482 |    24514     47 |        5 |      384
586.34/586.54	c  586s |      19 |   665522 |   476182 |    24514     47 |        5 |      384
588.34/588.54	c  588s |      19 |   668368 |   477982 |    24514     47 |        5 |      384
590.34/590.56	c  590s |      19 |   671024 |   479782 |    24514     47 |        5 |      384
592.34/592.57	c  592s |      19 |   673589 |   481582 |    24514     47 |        5 |      384
594.44/594.60	c  594s |      19 |   676136 |   483482 |    24514     47 |        5 |      384
596.53/596.71	c  596s |      19 |   678548 |   485482 |    24514     47 |        5 |      384
598.53/598.73	c  598s |      19 |   680444 |   486882 |    24514     48 |        5 |      384
600.54/600.79	c  600s |      19 |   682795 |   488582 |    24514     48 |        5 |      384
602.53/602.80	c  602s |      19 |   684894 |   490282 |    24514     48 |        5 |      384
604.73/604.91	c  604s |      19 |   687285 |   492082 |    24514     48 |        5 |      384
606.73/606.96	c  606s |      19 |   689740 |   493782 |    24514     48 |        5 |      384
608.83/609.03	c  608s |      19 |   692112 |   495382 |    24514     48 |        5 |      384
610.93/611.13	c  610s |      19 |   694567 |   496982 |    24514     48 |        5 |      384
613.13/613.37	c  612s |      19 |   696505 |   498482 |    24514     49 |        5 |      384
615.23/615.46	c  615s |      19 |   698885 |   500382 |    24514     49 |        5 |      384
617.23/617.49	c  617s |      19 |   701226 |   502282 |    24514     49 |        5 |      384
619.32/619.54	c  619s |      19 |   703579 |   503882 |    24514     49 |        5 |      384
621.43/621.65	c  621s |      19 |   705782 |   505482 |    24514     49 |        5 |      384
623.53/623.75	c  623s |      19 |   708244 |   507382 |    24514     49 |        5 |      384
625.62/625.80	c  625s |      19 |   710430 |   509082 |    24514     49 |        5 |      384
627.62/627.88	c  627s |      19 |   712305 |   510682 |    24514     49 |        5 |      384
629.72/629.90	c  629s |      19 |   714354 |   512282 |    24514     50 |        5 |      384
631.72/631.96	c  631s |      19 |   716696 |   514282 |    24514     50 |        5 |      384
633.82/634.03	c  633s |      19 |   718826 |   516082 |    24514     50 |        5 |      384
635.91/636.12	c  635s |      19 |   720954 |   517782 |    24514     50 |        5 |      384
637.92/638.17	c  637s |      19 |   723058 |   519582 |    24514     50 |        5 |      384
639.91/640.17	c  639s |      19 |   725065 |   521282 |    24514     50 |        5 |      384
642.11/642.34	c  641s |      19 |   727041 |   522782 |    24514     50 |        5 |      384
644.21/644.43	c  643s |      19 |   728637 |   524082 |    24514     51 |        5 |      384
646.21/646.44	c  646s |      19 |   730813 |   525882 |    24514     51 |        5 |      384
652.71/652.94	c  652s |      19 |   730983 |   525982 |    24514     51 |        5 |      384
655.91/656.16	c  655s |      19 |   731240 |   526082 |    24514     51 |        5 |      384
657.91/658.16	c  657s |      19 |   734150 |   527782 |    24514     51 |        5 |      384
659.92/660.16	c  659s |      19 |   736430 |   529382 |    24514     51 |        5 |      384
662.02/662.21	c  661s |      19 |   739569 |   530982 |    24514     51 |        5 |      384
664.01/664.22	c  663s |      19 |   743059 |   532682 |    24514     51 |        5 |      384
666.11/666.31	c  665s |      19 |   745802 |   534482 |    24514     51 |        5 |      384
668.21/668.40	c  667s |      19 |   747948 |   536082 |    24514     51 |        5 |      384
670.21/670.41	c  669s |      19 |   750476 |   537482 |    24514     52 |        5 |      384
672.21/672.47	c  672s |      19 |   753113 |   539382 |    24514     52 |        5 |      384
674.21/674.48	c  674s |      19 |   755761 |   541182 |    24514     52 |        5 |      384
676.31/676.57	c  676s |      19 |   758273 |   543082 |    24514     52 |        5 |      384
678.40/678.60	c  678s |      19 |   760736 |   545082 |    24514     52 |        5 |      384
680.50/680.74	c  680s |      19 |   762612 |   546082 |    24514     52 |        5 |      384
682.50/682.75	c  682s |      19 |   764881 |   547582 |    24514     52 |        5 |      384
684.70/684.97	c  684s |      19 |   766901 |   548882 |    24514     53 |        5 |      384
686.80/687.03	c  686s |      19 |   769451 |   550682 |    24514     53 |        5 |      384
688.90/689.11	c  688s |      19 |   772044 |   552482 |    24514     53 |        5 |      384
690.90/691.19	c  690s |      19 |   774551 |   554382 |    24514     53 |        5 |      384
692.90/693.19	c  692s |      19 |   777191 |   556182 |    24514     53 |        5 |      384
695.00/695.21	c  694s |      19 |   779559 |   557982 |    24514     53 |        5 |      384
696.99/697.22	c  696s |      19 |   781914 |   559682 |    24514     53 |        5 |      384
699.09/699.31	c  698s |      19 |   784068 |   561082 |    24514     53 |        5 |      384
701.09/701.32	c  700s |      19 |   785800 |   562382 |    24514     54 |        5 |      384
703.09/703.33	c  702s |      19 |   788504 |   564182 |    24514     54 |        5 |      384
705.19/705.43	c  704s |      19 |   791489 |   566082 |    24514     54 |        5 |      384
707.19/707.47	c  707s |      19 |   793796 |   567882 |    24514     54 |        5 |      384
709.18/709.48	c  709s |      19 |   796004 |   569682 |    24514     54 |        5 |      384
711.28/711.52	c  711s |      19 |   798144 |   571182 |    24514     54 |        5 |      384
713.38/713.68	c  713s |      19 |   800775 |   572682 |    24514     54 |        5 |      384
715.48/715.79	c  715s |      19 |   802753 |   574082 |    24514     54 |        5 |      384
717.58/717.87	c  717s |      19 |   804985 |   575782 |    24514     55 |        5 |      384
719.68/719.91	c  719s |      19 |   807630 |   577782 |    24514     55 |        5 |      384
721.68/721.97	c  721s |      19 |   810285 |   579982 |    24514     55 |        5 |      384
723.78/724.06	c  723s |      19 |   812448 |   581682 |    24514     55 |        5 |      384
725.78/726.07	c  725s |      19 |   814602 |   583182 |    24514     55 |        5 |      384
727.77/728.09	c  727s |      19 |   816704 |   584782 |    24514     55 |        5 |      384
729.87/730.19	c  729s |      19 |   819054 |   586582 |    24514     55 |        5 |      384
731.97/732.23	c  731s |      19 |   821521 |   588582 |    24514     56 |        5 |      384
734.07/734.34	c  733s |      19 |   823882 |   590282 |    24514     56 |        5 |      384
736.17/736.41	c  735s |      19 |   826559 |   592282 |    24514     56 |        5 |      384
738.17/738.45	c  738s |      19 |   829090 |   594382 |    24514     56 |        5 |      384
740.27/740.51	c  740s |      19 |   831422 |   595982 |    24514     56 |        5 |      384
742.27/742.54	c  742s |      19 |   833643 |   597682 |    24514     56 |        5 |      384
744.36/744.63	c  744s |      19 |   835909 |   599482 |    24514     56 |        5 |      384
746.36/746.65	c  746s |      19 |   838003 |   601182 |    24514     57 |        5 |      384
748.36/748.67	c  748s |      19 |   840305 |   602982 |    24514     57 |        5 |      384
750.46/750.77	c  750s |      19 |   842816 |   605082 |    24514     57 |        5 |      384
752.56/752.80	c  752s |      19 |   845211 |   606982 |    24514     57 |        5 |      384
754.56/754.87	c  754s |      19 |   847517 |   608882 |    24514     57 |        5 |      384
756.66/756.93	c  756s |      19 |   849864 |   610782 |    24514     57 |        5 |      384
758.65/758.99	c  758s |      19 |   852073 |   612682 |    24514     57 |        5 |      384
760.75/761.01	c  760s |      19 |   854109 |   614482 |    24514     58 |        5 |      384
762.75/763.03	c  762s |      19 |   856414 |   616382 |    24514     58 |        5 |      384
769.05/769.37	c  768s |      19 |   857638 |   617282 |    24514     58 |        5 |      384
771.75/772.04	c  771s |      19 |   858144 |   617582 |    24514     58 |        5 |      384
773.75/774.06	c  773s |      19 |   860323 |   619282 |    24514     58 |        5 |      384
775.84/776.14	c  775s |      19 |   862987 |   620982 |    24514     58 |        5 |      384
777.84/778.15	c  777s |      19 |   865093 |   622582 |    24514     58 |        5 |      384
779.94/780.27	c  779s |      19 |   867168 |   624082 |    24514     58 |        5 |      384
782.24/782.53	c  782s |      19 |   869146 |   625582 |    24514     59 |        5 |      384
784.34/784.63	c  784s |      19 |   871957 |   627682 |    24514     59 |        5 |      384
786.54/786.83	c  786s |      19 |   873850 |   629182 |    24514     59 |        5 |      384
788.54/788.88	c  788s |      19 |   875598 |   630482 |    24514     59 |        5 |      384
790.64/790.98	c  790s |      19 |   878294 |   632182 |    24514     59 |        5 |      384
792.64/792.99	c  792s |      19 |   880483 |   633782 |    24514     59 |        5 |      384
794.74/795.06	c  794s |      19 |   882489 |   635382 |    24514     59 |        5 |      384
796.73/797.06	c  796s |      19 |   884365 |   636782 |    24514     59 |        5 |      384
798.73/799.06	c  798s |      19 |   886275 |   638382 |    24514     59 |        5 |      384
800.83/801.11	c  800s |      19 |   888177 |   639882 |    24514     60 |        5 |      384
802.84/803.12	c  802s |      19 |   890283 |   641682 |    24514     60 |        5 |      384
804.94/805.28	c  804s |      19 |   892436 |   643482 |    24514     60 |        5 |      384
807.03/807.33	c  806s |      19 |   894557 |   644982 |    24514     60 |        5 |      384
809.03/809.35	c  808s |      19 |   896372 |   646382 |    24514     60 |        5 |      384
811.13/811.42	c  810s |      19 |   898544 |   647882 |    24514     60 |        5 |      384
813.13/813.43	c  812s |      19 |   900543 |   649382 |    24514     60 |        5 |      384
815.23/815.58	c  815s |      19 |   902711 |   650982 |    24514     60 |        5 |      384
817.32/817.60	c  817s |      19 |   904458 |   652482 |    24514     61 |        5 |      384
819.42/819.70	c  819s |      19 |   906496 |   654182 |    24514     61 |        5 |      384
821.43/821.77	c  821s |      19 |   908551 |   655782 |    24514     61 |        5 |      384
823.52/823.83	c  823s |      19 |   910473 |   657282 |    24514     61 |        5 |      384
825.62/825.96	c  825s |      19 |   912570 |   658982 |    24514     61 |        5 |      384
827.62/827.96	c  827s |      19 |   914398 |   660482 |    24514     61 |        5 |      384
829.72/830.05	c  829s |      19 |   916297 |   661982 |    24514     61 |        5 |      384
831.82/832.15	c  831s |      19 |   918180 |   663582 |    26966     61 |        5 |      384
833.82/834.16	c  833s |      19 |   919934 |   665082 |    26966     61 |        5 |      384
836.31/836.63	c  836s |      19 |   921758 |   666682 |    26966     62 |        5 |      384
836.51/836.84	c  836s |      20 |   921934 |   666827 |    26966     62 |        5 |      384
838.51/838.86	c  838s |      20 |   922375 |   667027 |    26966     62 |        5 |      384
840.61/840.94	c  840s |      20 |   923015 |   667327 |    26966     62 |        5 |      384
842.71/843.01	c  842s |      20 |   925441 |   668827 |    26966     62 |        5 |      384
844.81/845.12	c  844s |      20 |   928113 |   670527 |    26966     62 |        5 |      384
846.81/847.13	c  846s |      20 |   930451 |   672027 |    26966     62 |        5 |      384
848.80/849.15	c  848s |      20 |   932564 |   673627 |    26966     62 |        5 |      384
850.90/851.29	c  850s |      20 |   935204 |   675027 |    26966     62 |        5 |      384
853.10/853.40	c  852s |      20 |   937645 |   676627 |    26966     62 |        5 |      384
855.10/855.46	c  855s |      20 |   939790 |   678227 |    26966     62 |        5 |      384
857.30/857.60	c  857s |      20 |   941913 |   679827 |    26966     62 |        5 |      384
859.30/859.65	c  859s |      20 |   943714 |   681327 |    26966     63 |        5 |      384
861.31/861.66	c  861s |      20 |   945185 |   682527 |    26966     63 |        5 |      384
863.31/863.68	c  863s |      20 |   947675 |   684527 |    26966     63 |        5 |      384
865.61/865.93	c  865s |      20 |   949006 |   685427 |    26966     63 |        5 |      384
867.61/867.99	c  867s |      20 |   951450 |   686927 |    26966     63 |        5 |      384
869.70/870.06	c  869s |      20 |   954074 |   688527 |    26966     63 |        5 |      384
871.80/872.13	c  871s |      20 |   956110 |   689827 |    26966     63 |        5 |      384
873.80/874.17	c  873s |      20 |   957984 |   691327 |    26966     63 |        5 |      384
875.90/876.27	c  875s |      20 |   959846 |   692727 |    26966     63 |        5 |      384
877.90/878.27	c  877s |      20 |   961538 |   694027 |    26966     63 |        5 |      384
880.00/880.32	c  879s |      20 |   963764 |   695827 |    26966     64 |        5 |      384
882.10/882.45	c  882s |      20 |   965764 |   697427 |    26966     64 |        5 |      384
884.10/884.46	c  884s |      20 |   967590 |   698727 |    26966     64 |        5 |      384
886.20/886.53	c  886s |      20 |   969897 |   700227 |    26966     64 |        5 |      384
888.20/888.54	c  888s |      20 |   971846 |   701627 |    26966     64 |        5 |      384
890.20/890.57	c  890s |      20 |   973956 |   703127 |    26966     64 |        5 |      384
892.20/892.57	c  892s |      20 |   975849 |   704727 |    26966     64 |        5 |      384
894.30/894.65	c  894s |      20 |   977741 |   706227 |    26966     64 |        5 |      384
896.39/896.74	c  896s |      20 |   979581 |   707627 |    26966     64 |        5 |      384
898.50/898.80	c  898s |      20 |   981479 |   708927 |    26966     65 |        5 |      384
900.49/900.89	c  900s |      20 |   984073 |   710527 |    26966     65 |        5 |      384
902.59/902.95	c  902s |      20 |   986334 |   712027 |    26966     65 |        5 |      384
904.59/904.99	c  904s |      20 |   988656 |   713427 |    26966     65 |        5 |      384
906.69/907.00	c  906s |      20 |   990702 |   714827 |    26966     65 |        5 |      384
908.79/909.12	c  908s |      20 |   992499 |   716127 |    26966     65 |        5 |      384
910.79/911.17	c  910s |      20 |   994326 |   717427 |    26966     65 |        5 |      384
912.99/913.30	c  912s |      20 |   996538 |   718927 |    26966     65 |        5 |      384
915.09/915.41	c  914s |      20 |   998553 |   720427 |    26966     65 |        5 |      384
917.09/917.50	c  917s |      20 |  1000727 |   722027 |    26966     65 |        5 |      384
919.19/919.55	c  919s |      20 |  1002989 |   723627 |    26966     66 |        5 |      384
921.29/921.67	c  921s |      20 |  1005185 |   725427 |    26966     66 |        5 |      384
923.39/923.71	c  923s |      20 |  1007665 |   727127 |    26966     66 |        5 |      384
925.39/925.73	c  925s |      20 |  1010011 |   728627 |    26966     66 |        5 |      384
927.39/927.75	c  927s |      20 |  1012163 |   730227 |    26966     66 |        5 |      384
929.48/929.86	c  929s |      20 |  1015493 |   732127 |    26966     66 |        5 |      384
931.49/931.88	c  931s |      20 |  1017852 |   733827 |    26966     66 |        5 |      384
933.59/933.93	c  933s |      20 |  1020334 |   735627 |    26966     66 |        5 |      384
935.68/936.01	c  935s |      20 |  1022347 |   737127 |    26966     67 |        5 |      384
937.68/938.05	c  937s |      20 |  1024864 |   738927 |    26966     67 |        5 |      384
939.68/940.08	c  939s |      20 |  1027064 |   740727 |    26966     67 |        5 |      384
941.78/942.16	c  941s |      20 |  1029266 |   742527 |    26966     67 |        5 |      384
943.88/944.23	c  943s |      20 |  1031599 |   744127 |    26966     67 |        5 |      384
945.88/946.27	c  945s |      20 |  1033996 |   745727 |    26966     67 |        5 |      384
948.08/948.41	c  947s |      20 |  1036177 |   747327 |    26966     67 |        5 |      384
950.08/950.47	c  950s |      20 |  1038572 |   749027 |    26966     67 |        5 |      384
952.28/952.67	c  952s |      20 |  1040699 |   750727 |    26966     68 |        5 |      384
954.38/954.75	c  954s |      20 |  1042998 |   752627 |    26966     68 |        5 |      384
956.47/956.84	c  956s |      20 |  1045361 |   754427 |    26966     68 |        5 |      384
958.57/958.94	c  958s |      20 |  1047730 |   756127 |    26966     68 |        5 |      384
960.57/960.96	c  960s |      20 |  1049931 |   757827 |    26966     68 |        5 |      384
962.57/962.97	c  962s |      20 |  1052072 |   759627 |    26966     68 |        5 |      384
964.67/965.09	c  964s |      20 |  1054137 |   761327 |    26966     68 |        5 |      384
966.77/967.19	c  966s |      20 |  1055861 |   762827 |    26966     68 |        5 |      384
968.77/969.20	c  968s |      20 |  1057872 |   764527 |    26966     68 |        5 |      384
970.87/971.27	c  970s |      20 |  1059828 |   766327 |    26966     69 |        5 |      384
972.97/973.30	c  972s |      20 |  1061974 |   768127 |    26966     69 |        5 |      384
975.07/975.40	c  974s |      20 |  1063868 |   769727 |    26966     69 |        5 |      384
979.37/979.77	c  979s |      20 |  1064036 |   769827 |    26966     69 |        5 |      384
981.47/981.85	c  981s |      20 |  1064726 |   770327 |    26966     69 |        5 |      384
983.57/983.96	c  983s |      20 |  1067267 |   772127 |    26966     69 |        5 |      384
985.67/986.00	c  985s |      20 |  1069854 |   773727 |    26966     69 |        5 |      384
987.77/988.11	c  987s |      20 |  1072025 |   775427 |    26966     69 |        5 |      384
989.78/990.17	c  989s |      20 |  1074213 |   777027 |    26966     69 |        5 |      384
991.77/992.18	c  991s |      20 |  1076354 |   778627 |    26966     69 |        5 |      384
993.87/994.25	c  993s |      20 |  1077772 |   779727 |    26966     70 |        5 |      384
995.87/996.26	c  995s |      20 |  1079749 |   781127 |    26966     70 |        5 |      384
997.97/998.31	c  997s |      20 |  1082279 |   782727 |    26966     70 |        5 |      384
1000.07/1000.43	c  999s |      20 |  1085371 |   784427 |    26966     70 |        5 |      384
1002.06/1002.45	c 1002s |      20 |  1088105 |   785927 |    26966     70 |        5 |      384
1004.16/1004.58	c 1004s |      20 |  1090277 |   787527 |    26966     70 |        5 |      384
1006.17/1006.58	c 1006s |      20 |  1092269 |   789127 |    26966     70 |        5 |      384
1008.37/1008.73	c 1008s |      20 |  1094309 |   790827 |    26966     70 |        5 |      384
1010.36/1010.76	c 1010s |      20 |  1096348 |   792327 |    26966     70 |        5 |      384
1012.66/1013.09	c 1012s |      20 |  1098449 |   793727 |    26966     71 |        5 |      384
1014.76/1015.13	c 1014s |      20 |  1101383 |   795627 |    26966     71 |        5 |      384
1016.86/1017.20	c 1016s |      20 |  1104278 |   797427 |    26966     71 |        5 |      384
1018.86/1019.23	c 1018s |      20 |  1106534 |   799127 |    26966     71 |        5 |      384
1020.86/1021.29	c 1020s |      20 |  1108595 |   800927 |    26966     71 |        5 |      384
1022.96/1023.30	c 1022s |      20 |  1110733 |   802727 |    26966     71 |        5 |      384
1024.96/1025.37	c 1024s |      20 |  1112775 |   804327 |    26966     71 |        5 |      384
1027.06/1027.48	c 1027s |      20 |  1114757 |   805827 |    26966     71 |        5 |      384
1029.06/1029.50	c 1029s |      20 |  1116954 |   807527 |    26966     72 |        5 |      384
1031.16/1031.50	c 1031s |      20 |  1119355 |   809527 |    26966     72 |        5 |      384
1033.16/1033.52	c 1033s |      20 |  1121962 |   811227 |    26966     72 |        5 |      384
1035.25/1035.63	c 1035s |      20 |  1124152 |   813027 |    26966     72 |        5 |      384
1037.25/1037.69	c 1037s |      20 |  1126270 |   814827 |    26966     72 |        5 |      384
1039.26/1039.69	c 1039s |      20 |  1128587 |   816427 |    26966     72 |        5 |      384
1041.36/1041.73	c 1041s |      20 |  1130639 |   818027 |    26966     72 |        5 |      384
1043.45/1043.83	c 1043s |      20 |  1132593 |   819727 |    26966     72 |        5 |      384
1045.45/1045.84	c 1045s |      20 |  1134237 |   821127 |    26966     73 |        5 |      384
1047.45/1047.87	c 1047s |      20 |  1136409 |   822927 |    26966     73 |        5 |      384
1049.55/1049.94	c 1049s |      20 |  1138576 |   824727 |    26966     73 |        5 |      384
1051.55/1051.99	c 1051s |      20 |  1140830 |   826627 |    26966     73 |        5 |      384
1053.65/1054.08	c 1053s |      20 |  1143107 |   828527 |    26966     73 |        5 |      384
1055.76/1056.19	c 1055s |      20 |  1144920 |   830127 |    26966     73 |        5 |      384
1057.86/1058.26	c 1057s |      20 |  1146714 |   831527 |    26966     73 |        5 |      384
1061.35/1061.79	c 1061s |      20 |  1148328 |   832927 |    26966     73 |        5 |      384
1063.95/1064.34	c 1063s |      20 |  1148573 |   833127 |    26966     73 |        5 |      384
1065.95/1066.37	c 1065s |      20 |  1150162 |   834327 |    26966     74 |        5 |      384
1068.05/1068.40	c 1067s |      20 |  1152238 |   835927 |    26966     74 |        5 |      384
1070.05/1070.42	c 1069s |      20 |  1154393 |   837727 |    26966     74 |        5 |      384
1072.05/1072.49	c 1072s |      20 |  1156654 |   839427 |    26966     74 |        5 |      384
1074.14/1074.50	c 1074s |      20 |  1158518 |   840727 |    26966     74 |        5 |      384
1076.14/1076.58	c 1076s |      20 |  1160708 |   842227 |    26966     74 |        5 |      384
1078.24/1078.67	c 1078s |      20 |  1162617 |   843627 |    26966     74 |        5 |      384
1080.34/1080.70	c 1080s |      20 |  1164627 |   845227 |    26966     74 |        5 |      384
1082.44/1082.82	c 1082s |      20 |  1166462 |   846727 |    26966     74 |        5 |      384
1084.54/1084.94	c 1084s |      20 |  1168107 |   848127 |    26966     74 |        5 |      384
1086.55/1086.96	c 1086s |      20 |  1169850 |   849527 |    26966     75 |        5 |      384
1088.54/1088.98	c 1088s |      20 |  1172019 |   851227 |    26966     75 |        5 |      384
1090.64/1091.06	c 1090s |      20 |  1174128 |   852927 |    26966     75 |        5 |      384
1092.74/1093.18	c 1092s |      20 |  1176495 |   854527 |    26966     75 |        5 |      384
1094.74/1095.19	c 1094s |      20 |  1178509 |   856127 |    26966     75 |        5 |      384
1096.94/1097.33	c 1096s |      20 |  1180563 |   857827 |    26966     75 |        5 |      384
1098.94/1099.35	c 1098s |      20 |  1182392 |   859227 |    26966     75 |        5 |      384
1101.04/1101.46	c 1101s |      20 |  1184312 |   860727 |    26966     75 |        5 |      384
1103.05/1103.47	c 1103s |      20 |  1186047 |   862127 |    26966     75 |        5 |      384
1105.04/1105.48	c 1105s |      20 |  1187819 |   863627 |    26966     76 |        5 |      384
1107.14/1107.56	c 1107s |      20 |  1189963 |   865327 |    26966     76 |        5 |      384
1109.24/1109.61	c 1109s |      20 |  1192145 |   867027 |    26966     76 |        5 |      384
1111.34/1111.72	c 1111s |      20 |  1194419 |   868727 |    26966     76 |        5 |      384
1113.44/1113.82	c 1113s |      20 |  1196626 |   870527 |    26966     76 |        5 |      384
1115.44/1115.86	c 1115s |      20 |  1198633 |   872227 |    26966     76 |        5 |      384
1118.14/1118.53	c 1118s |      20 |  1199716 |   873127 |    26966     76 |        5 |      384
1120.14/1120.53	c 1120s |      20 |  1201529 |   874427 |    26966     76 |        5 |      384
1122.24/1122.61	c 1122s |      20 |  1203802 |   875727 |    26966     76 |        5 |      384
1124.24/1124.65	c 1124s |      20 |  1205676 |   876827 |    26966     77 |        5 |      384
1126.34/1126.70	c 1126s |      20 |  1208038 |   878427 |    26966     77 |        5 |      384
1128.44/1128.81	c 1128s |      20 |  1210256 |   880027 |    26966     77 |        5 |      384
1130.44/1130.82	c 1130s |      20 |  1212437 |   881627 |    26966     77 |        5 |      384
1132.44/1132.84	c 1132s |      20 |  1214443 |   883127 |    26966     77 |        5 |      384
1134.54/1134.96	c 1134s |      20 |  1216514 |   884827 |    26966     77 |        5 |      384
1136.64/1137.01	c 1136s |      20 |  1218466 |   886127 |    26966     77 |        5 |      384
1138.64/1139.09	c 1138s |      20 |  1220619 |   887727 |    26966     77 |        5 |      384
1140.74/1141.19	c 1140s |      20 |  1222991 |   889327 |    26966     77 |        5 |      384
1142.84/1143.23	c 1142s |      20 |  1224954 |   890927 |    26966     78 |        5 |      384
1144.94/1145.33	c 1144s |      20 |  1227488 |   893127 |    26966     78 |        5 |      384
1146.94/1147.36	c 1146s |      20 |  1230026 |   895127 |    26966     78 |        5 |      384
1149.04/1149.40	c 1148s |      20 |  1232605 |   897027 |    26966     78 |        5 |      384
1151.04/1151.43	c 1150s |      20 |  1235226 |   899227 |    26966     78 |        5 |      384
1153.03/1153.43	c 1152s |      20 |  1237552 |   900927 |    26966     78 |        5 |      384
1155.13/1155.51	c 1155s |      20 |  1239913 |   902627 |    26966     78 |        5 |      384
1157.13/1157.52	c 1157s |      20 |  1242463 |   904327 |    26966     79 |        5 |      384
1159.14/1159.59	c 1159s |      20 |  1245508 |   906727 |    26966     79 |        5 |      384
1161.24/1161.68	c 1161s |      20 |  1248173 |   908727 |    26966     79 |        5 |      384
1163.33/1163.74	c 1163s |      20 |  1250492 |   910627 |    26966     79 |        5 |      384
1165.43/1165.80	c 1165s |      20 |  1252642 |   912327 |    26966     79 |        5 |      384
1167.43/1167.82	c 1167s |      20 |  1254776 |   913927 |    26966     79 |        5 |      384
1169.43/1169.83	c 1169s |      20 |  1256673 |   915527 |    26966     79 |        5 |      384
1171.43/1171.84	c 1171s |      20 |  1258537 |   917127 |    26966     79 |        5 |      384
1173.53/1173.90	c 1173s |      20 |  1260397 |   918627 |    26966     80 |        5 |      384
1175.54/1175.94	c 1175s |      20 |  1262914 |   920627 |    26966     80 |        5 |      384
1177.63/1178.02	c 1177s |      20 |  1265403 |   922627 |    26966     80 |        5 |      384
1179.63/1180.06	c 1179s |      20 |  1267698 |   924627 |    26966     80 |        5 |      384
1181.73/1182.12	c 1181s |      20 |  1269749 |   926427 |    26966     80 |        5 |      384
1183.73/1184.19	c 1183s |      20 |  1271749 |   928127 |    26966     80 |        5 |      384
1186.23/1186.64	c 1186s |      20 |  1272701 |   928927 |    26966     80 |        5 |      384
1188.22/1188.69	c 1188s |      20 |  1273415 |   929527 |    26966     80 |        5 |      384
1190.32/1190.79	c 1190s |      20 |  1275674 |   931327 |    26966     80 |        5 |      384
1192.42/1192.85	c 1192s |      20 |  1277152 |   932427 |    26966     81 |        5 |      384
1194.52/1194.95	c 1194s |      20 |  1279608 |   934027 |    26966     81 |        5 |      384
1196.62/1197.08	c 1196s |      20 |  1281908 |   935827 |    26966     81 |        5 |      384
1198.73/1199.15	c 1198s |      20 |  1284259 |   937727 |    26966     81 |        5 |      384
1200.72/1201.20	c 1200s |      20 |  1286642 |   939627 |    26966     81 |        5 |      384
1202.92/1203.31	c 1202s |      20 |  1288890 |   941327 |    26966     81 |        5 |      384
1204.92/1205.36	c 1204s |      20 |  1290889 |   943027 |    26966     81 |        5 |      384
1207.02/1207.43	c 1206s |      20 |  1292955 |   944727 |    26966     81 |        5 |      384
1209.02/1209.43	c 1208s |      20 |  1294947 |   946327 |    26966     82 |        5 |      384
1211.02/1211.49	c 1211s |      20 |  1297367 |   948227 |    26966     82 |        5 |      384
1213.12/1213.57	c 1213s |      20 |  1299887 |   950227 |    26966     82 |        5 |      384
1215.12/1215.58	c 1215s |      20 |  1302009 |   952027 |    26966     82 |        5 |      384
1217.33/1217.71	c 1217s |      20 |  1303459 |   953027 |    26966     82 |        5 |      384
1219.43/1219.83	c 1219s |      20 |  1305712 |   954527 |    26966     82 |        5 |      384
1221.43/1221.84	c 1221s |      20 |  1307628 |   955927 |    26966     82 |        5 |      384
1223.43/1223.85	c 1223s |      20 |  1309687 |   957627 |    26966     82 |        5 |      384
1225.53/1225.91	c 1225s |      20 |  1311557 |   959127 |    26966     82 |        5 |      384
1227.53/1227.95	c 1227s |      20 |  1312739 |   960027 |    26966     83 |        5 |      384
1229.63/1230.04	c 1229s |      20 |  1315100 |   961927 |    26966     83 |        5 |      384
1231.73/1232.14	c 1231s |      20 |  1317248 |   963627 |    26966     83 |        5 |      384
1233.72/1234.20	c 1233s |      20 |  1319271 |   965227 |    26966     83 |        5 |      384
1235.82/1236.27	c 1235s |      20 |  1321610 |   966927 |    26966     83 |        5 |      384
1237.92/1238.31	c 1237s |      20 |  1324013 |   968827 |    26966     83 |        5 |      384
1240.02/1240.44	c 1240s |      20 |  1326313 |   970527 |    26966     83 |        5 |      384
1242.02/1242.48	c 1242s |      20 |  1328258 |   972127 |    26966     83 |        5 |      384
1244.12/1244.50	c 1244s |      20 |  1330229 |   973527 |    26966     83 |        5 |      384
1246.12/1246.51	c 1246s |      20 |  1332365 |   975027 |    26966     84 |        5 |      384
1248.13/1248.58	c 1248s |      20 |  1334677 |   976927 |    26966     84 |        5 |      384
1250.12/1250.58	c 1250s |      20 |  1336701 |   978627 |    26966     84 |        5 |      384
1252.22/1252.68	c 1252s |      20 |  1338943 |   980527 |    26966     84 |        5 |      384
1254.32/1254.73	c 1254s |      20 |  1341339 |   982527 |    26966     84 |        5 |      384
1256.42/1256.82	c 1256s |      20 |  1343347 |   984127 |    26966     84 |        5 |      384
1258.42/1258.88	c 1258s |      20 |  1345226 |   985527 |    26966     84 |        5 |      384
1260.52/1260.90	c 1260s |      20 |  1347224 |   987127 |    26966     84 |        5 |      384
1262.72/1263.11	c 1262s |      20 |  1349067 |   988627 |    26966     85 |        5 |      384
1264.82/1265.20	c 1264s |      20 |  1351931 |   990727 |    26966     85 |        5 |      384
1266.83/1267.27	c 1266s |      20 |  1354762 |   993027 |    26966     85 |        5 |      384
1268.82/1269.28	c 1268s |      20 |  1357562 |   995227 |    29663     85 |        5 |      384
1270.92/1271.33	c 1270s |      20 |  1360058 |   997227 |    29663     85 |        5 |      384
1272.92/1273.39	c 1272s |      20 |  1362488 |   999327 |    29663     85 |        5 |      384
1274.02/1274.49	c 1274s |      21 |  1363682 |  1000345 |    29663     85 |        5 |      384
1280.41/1280.84	c 1280s |      21 |  1365038 |  1001445 |    29663     85 |        5 |      384
1282.51/1282.99	c 1282s |      21 |  1366131 |  1002245 |    29663     85 |        5 |      384
1284.61/1285.03	c 1284s |      21 |  1367852 |  1003445 |    29663     85 |        5 |      384
1286.61/1287.06	c 1286s |      21 |  1370020 |  1004345 |    29663     86 |        5 |      384
1288.71/1289.14	c 1288s |      21 |  1373136 |  1006145 |    29663     86 |        5 |      384
1290.81/1291.22	c 1290s |      21 |  1376122 |  1008145 |    29663     86 |        5 |      384
1292.91/1293.33	c 1292s |      21 |  1378855 |  1009845 |    29663     86 |        5 |      384
1295.01/1295.43	c 1294s |      21 |  1381352 |  1011545 |    29663     86 |        5 |      384
1297.01/1297.50	c 1297s |      21 |  1383630 |  1013145 |    29663     86 |        5 |      384
1299.11/1299.52	c 1299s |      21 |  1386190 |  1014945 |    29663     86 |        5 |      384
1301.11/1301.55	c 1301s |      21 |  1388604 |  1016745 |    29663     86 |        5 |      384
1303.22/1303.60	c 1303s |      21 |  1391098 |  1018645 |    29663     86 |        5 |      384
1305.42/1305.83	c 1305s |      21 |  1392504 |  1019645 |    29663     87 |        5 |      384
1307.41/1307.90	c 1307s |      21 |  1394819 |  1021145 |    29663     87 |        5 |      384
1309.51/1309.99	c 1309s |      21 |  1397325 |  1022845 |    29663     87 |        5 |      384
1311.61/1312.02	c 1311s |      21 |  1399448 |  1024345 |    29663     87 |        5 |      384
1313.71/1314.13	c 1313s |      21 |  1402087 |  1026045 |    29663     87 |        5 |      384
1315.81/1316.20	c 1315s |      21 |  1404157 |  1027545 |    29663     87 |        5 |      384
1317.81/1318.29	c 1317s |      21 |  1406384 |  1029245 |    29663     87 |        5 |      384
1320.01/1320.47	c 1320s |      21 |  1408504 |  1030945 |    29663     87 |        5 |      384
1322.21/1322.60	c 1322s |      21 |  1410475 |  1032245 |    29663     87 |        5 |      384
1324.21/1324.61	c 1324s |      21 |  1412513 |  1033445 |    29663     87 |        5 |      384
1326.32/1326.73	c 1326s |      21 |  1414362 |  1034645 |    29663     88 |        5 |      384
1328.42/1328.81	c 1328s |      21 |  1416949 |  1036145 |    29663     88 |        5 |      384
1330.51/1330.90	c 1330s |      21 |  1419023 |  1037745 |    29663     88 |        5 |      384
1332.51/1332.95	c 1332s |      21 |  1420941 |  1039245 |    29663     88 |        5 |      384
1334.61/1335.01	c 1334s |      21 |  1422693 |  1040745 |    29663     88 |        5 |      384
1336.71/1337.11	c 1336s |      21 |  1424665 |  1042345 |    29663     88 |        5 |      384
1338.71/1339.16	c 1338s |      21 |  1426507 |  1043745 |    29663     88 |        5 |      384
1340.81/1341.29	c 1340s |      21 |  1428681 |  1045145 |    29663     88 |        5 |      384
1342.91/1343.39	c 1342s |      21 |  1430926 |  1046445 |    29663     88 |        5 |      384
1344.91/1345.40	c 1344s |      21 |  1433533 |  1047845 |    29663     88 |        5 |      384
1347.01/1347.42	c 1346s |      21 |  1435825 |  1049245 |    29663     88 |        5 |      384
1349.01/1349.45	c 1349s |      21 |  1437299 |  1050345 |    29663     89 |        5 |      384
1351.01/1351.50	c 1351s |      21 |  1439984 |  1052245 |    29663     89 |        5 |      384
1353.11/1353.51	c 1353s |      21 |  1442282 |  1054145 |    29663     89 |        5 |      384
1355.21/1355.61	c 1355s |      21 |  1444660 |  1055545 |    29663     89 |        5 |      384
1357.30/1357.72	c 1357s |      21 |  1447173 |  1057245 |    29663     89 |        5 |      384
1359.40/1359.81	c 1359s |      21 |  1449664 |  1058945 |    29663     89 |        5 |      384
1361.41/1361.90	c 1361s |      21 |  1452036 |  1060745 |    29663     89 |        5 |      384
1363.50/1363.94	c 1363s |      21 |  1454474 |  1062545 |    29663     89 |        5 |      384
1365.50/1365.96	c 1365s |      21 |  1456598 |  1064245 |    29663     89 |        5 |      384
1367.60/1368.05	c 1367s |      21 |  1458413 |  1065645 |    29663     90 |        5 |      384
1369.70/1370.12	c 1369s |      21 |  1460796 |  1067545 |    29663     90 |        5 |      384
1371.70/1372.14	c 1371s |      21 |  1462894 |  1069245 |    29663     90 |        5 |      384
1373.70/1374.16	c 1373s |      21 |  1465213 |  1070845 |    29663     90 |        5 |      384
1375.71/1376.18	c 1375s |      21 |  1467668 |  1072545 |    29663     90 |        5 |      384
1377.70/1378.19	c 1377s |      21 |  1469963 |  1074345 |    29663     90 |        5 |      384
1379.80/1380.22	c 1379s |      21 |  1472119 |  1076045 |    29663     90 |        5 |      384
1381.80/1382.26	c 1381s |      21 |  1474174 |  1077545 |    29663     90 |        5 |      384
1383.90/1384.37	c 1383s |      21 |  1476177 |  1079145 |    29663     90 |        5 |      384
1386.10/1386.54	c 1386s |      21 |  1478116 |  1080745 |    29663     91 |        5 |      384
1388.20/1388.63	c 1388s |      21 |  1480327 |  1082645 |    29663     91 |        5 |      384
1390.20/1390.68	c 1390s |      21 |  1482763 |  1084445 |    29663     91 |        5 |      384
1392.31/1392.78	c 1392s |      21 |  1485064 |  1086345 |    29663     91 |        5 |      384
1394.40/1394.80	c 1394s |      21 |  1487386 |  1088245 |    29663     91 |        5 |      384
1396.40/1396.88	c 1396s |      21 |  1489608 |  1090045 |    29663     91 |        5 |      384
1398.50/1398.94	c 1398s |      21 |  1492030 |  1092045 |    29663     91 |        5 |      384
1406.40/1406.89	c 1406s |      21 |  1493368 |  1093245 |    29663     91 |        5 |      384
1408.49/1408.97	c 1408s |      21 |  1494768 |  1094345 |    29663     91 |        5 |      384
1410.69/1411.11	c 1410s |      21 |  1496388 |  1095645 |    29663     91 |        5 |      384
1412.69/1413.12	c 1412s |      21 |  1498299 |  1097045 |    29663     92 |        5 |      384
1414.79/1415.21	c 1414s |      21 |  1500752 |  1098945 |    29663     92 |        5 |      384
1416.79/1417.22	c 1416s |      21 |  1502733 |  1100645 |    29663     92 |        5 |      384
1418.79/1419.26	c 1418s |      21 |  1505101 |  1102245 |    29663     92 |        5 |      384
1420.80/1421.27	c 1420s |      21 |  1507707 |  1103745 |    29663     92 |        5 |      384
1422.89/1423.31	c 1422s |      21 |  1509634 |  1105045 |    29663     92 |        5 |      384
1424.99/1425.44	c 1425s |      21 |  1511592 |  1106445 |    29663     92 |        5 |      384
1427.09/1427.59	c 1427s |      21 |  1513782 |  1107845 |    29663     92 |        5 |      384
1429.29/1429.73	c 1429s |      21 |  1515719 |  1109245 |    29663     92 |        5 |      384
1431.39/1431.83	c 1431s |      21 |  1517995 |  1110745 |    29663     92 |        5 |      384
1433.39/1433.85	c 1433s |      21 |  1520007 |  1112245 |    29663     93 |        5 |      384
1435.39/1435.87	c 1435s |      21 |  1522065 |  1113945 |    29663     93 |        5 |      384
1437.59/1438.02	c 1437s |      21 |  1523855 |  1115445 |    29663     93 |        5 |      384
1439.69/1440.10	c 1439s |      21 |  1525914 |  1116945 |    29663     93 |        5 |      384
1441.80/1442.23	c 1441s |      21 |  1527865 |  1118545 |    29663     93 |        5 |      384
1443.79/1444.25	c 1443s |      21 |  1529754 |  1120145 |    29663     93 |        5 |      384
1445.79/1446.29	c 1445s |      21 |  1531514 |  1121445 |    29663     93 |        5 |      384
1447.89/1448.38	c 1447s |      21 |  1533140 |  1122745 |    29663     93 |        5 |      384
1449.99/1450.42	c 1449s |      21 |  1534991 |  1124045 |    29663     93 |        5 |      384
1452.09/1452.56	c 1452s |      21 |  1536748 |  1125445 |    29663     93 |        5 |      384
1454.09/1454.59	c 1454s |      21 |  1538095 |  1126645 |    29663     94 |        5 |      384
1456.19/1456.64	c 1456s |      21 |  1540223 |  1128445 |    29663     94 |        5 |      384
1458.29/1458.76	c 1458s |      21 |  1541875 |  1129745 |    29663     94 |        5 |      384
1460.39/1460.90	c 1460s |      21 |  1543936 |  1131345 |    29663     94 |        5 |      384
1462.48/1462.97	c 1462s |      21 |  1546122 |  1132945 |    29663     94 |        5 |      384
1464.68/1465.11	c 1464s |      21 |  1548278 |  1134645 |    29663     94 |        5 |      384
1466.68/1467.19	c 1466s |      21 |  1550305 |  1136145 |    29663     94 |        5 |      384
1468.78/1469.28	c 1468s |      21 |  1552378 |  1137745 |    29663     94 |        5 |      384
1470.88/1471.32	c 1470s |      21 |  1554316 |  1139245 |    29663     94 |        5 |      384
1472.98/1473.43	c 1472s |      21 |  1556075 |  1140645 |    29663     94 |        5 |      384
1475.08/1475.51	c 1475s |      21 |  1557726 |  1142045 |    29663     95 |        5 |      384
1477.08/1477.52	c 1477s |      21 |  1559941 |  1143845 |    29663     95 |        5 |      384
1479.19/1479.60	c 1479s |      21 |  1562155 |  1145645 |    29663     95 |        5 |      384
1481.18/1481.67	c 1481s |      21 |  1564272 |  1147545 |    29663     95 |        5 |      384
1483.28/1483.71	c 1483s |      21 |  1566207 |  1149245 |    29663     95 |        5 |      384
1486.38/1486.87	c 1486s |      21 |  1568095 |  1150845 |    29663     95 |        5 |      384
1488.58/1489.04	c 1488s |      21 |  1569371 |  1151845 |    29663     95 |        5 |      384
1490.68/1491.10	c 1490s |      21 |  1571023 |  1153245 |    29663     95 |        5 |      384
1492.68/1493.16	c 1492s |      21 |  1572569 |  1154545 |    29663     95 |        5 |      384
1494.78/1495.26	c 1494s |      21 |  1574307 |  1155945 |    29663     95 |        5 |      384
1497.18/1497.68	c 1497s |      21 |  1576085 |  1157445 |    29663     96 |        5 |      384
1499.28/1499.73	c 1499s |      21 |  1578177 |  1159245 |    29663     96 |        5 |      384
1501.28/1501.78	c 1501s |      21 |  1580321 |  1161145 |    29663     96 |        5 |      384
1503.38/1503.83	c 1503s |      21 |  1581552 |  1162245 |    29663     96 |        5 |      384
1505.48/1505.94	c 1505s |      21 |  1583508 |  1163745 |    29663     96 |        5 |      384
1507.57/1508.01	c 1507s |      21 |  1585078 |  1165045 |    29663     96 |        5 |      384
1509.68/1510.12	c 1509s |      21 |  1586651 |  1166345 |    29663     96 |        5 |      384
1511.68/1512.18	c 1511s |      21 |  1588419 |  1167545 |    29663     96 |        5 |      384
1513.88/1514.35	c 1513s |      21 |  1590112 |  1168845 |    29663     96 |        5 |      384
1515.88/1516.38	c 1515s |      21 |  1591663 |  1170145 |    29663     96 |        5 |      384
1518.08/1518.51	c 1518s |      21 |  1593070 |  1171245 |    29663     96 |        5 |      384
1520.68/1521.14	c 1520s |      21 |  1594433 |  1172345 |    29663     97 |        5 |      384
1522.68/1523.19	c 1522s |      21 |  1595864 |  1173445 |    29663     97 |        5 |      384
1524.78/1525.24	c 1524s |      21 |  1597882 |  1175145 |    29663     97 |        5 |      384
1526.78/1527.25	c 1526s |      21 |  1599700 |  1176645 |    29663     97 |        5 |      384
1528.88/1529.30	c 1528s |      21 |  1601004 |  1177645 |    29663     97 |        5 |      384
1530.88/1531.36	c 1530s |      21 |  1602500 |  1178845 |    29663     97 |        5 |      384
1532.88/1533.37	c 1532s |      21 |  1604005 |  1180045 |    29663     97 |        5 |      384
1535.08/1535.50	c 1535s |      21 |  1605674 |  1181345 |    29663     97 |        5 |      384
1537.08/1537.53	c 1537s |      21 |  1607163 |  1182545 |    29663     97 |        5 |      384
1539.08/1539.55	c 1539s |      21 |  1608678 |  1183745 |    29663     97 |        5 |      384
1541.28/1541.73	c 1541s |      21 |  1610454 |  1185045 |    29663     97 |        5 |      384
1543.48/1543.93	c 1543s |      21 |  1612162 |  1186245 |    29663     97 |        5 |      384
1545.78/1546.24	c 1545s |      21 |  1613977 |  1187445 |    29663     98 |        5 |      384
1547.87/1548.32	c 1547s |      21 |  1615487 |  1188545 |    29663     98 |        5 |      384
1549.87/1550.34	c 1549s |      21 |  1617490 |  1190145 |    29663     98 |        5 |      384
1551.87/1552.39	c 1551s |      21 |  1619555 |  1191645 |    29663     98 |        5 |      384
1553.98/1554.41	c 1553s |      21 |  1621234 |  1192845 |    29663     98 |        5 |      384
1555.97/1556.47	c 1556s |      21 |  1623234 |  1194345 |    29663     98 |        5 |      384
1557.97/1558.48	c 1558s |      21 |  1624913 |  1195645 |    29663     98 |        5 |      384
1560.07/1560.58	c 1560s |      21 |  1626666 |  1196945 |    29663     98 |        5 |      384
1562.17/1562.65	c 1562s |      21 |  1628336 |  1198245 |    29663     98 |        5 |      384
1564.27/1564.73	c 1564s |      21 |  1629869 |  1199545 |    29663     98 |        5 |      384
1566.27/1566.75	c 1566s |      21 |  1631716 |  1201045 |    29663     98 |        5 |      384
1568.37/1568.83	c 1568s |      21 |  1633604 |  1202645 |    29663     98 |        5 |      384
1570.48/1570.92	c 1570s |      21 |  1634826 |  1203745 |    29663     99 |        5 |      384
1572.47/1572.99	c 1572s |      21 |  1636857 |  1205445 |    29663     99 |        5 |      384
1574.47/1575.00	c 1574s |      21 |  1638588 |  1206845 |    29663     99 |        5 |      384
1576.57/1577.07	c 1576s |      21 |  1640514 |  1208345 |    29663     99 |        5 |      384
1578.67/1579.19	c 1578s |      21 |  1642375 |  1209845 |    29663     99 |        5 |      384
1580.77/1581.29	c 1580s |      21 |  1644253 |  1211245 |    29663     99 |        5 |      384
1582.87/1583.35	c 1582s |      21 |  1646091 |  1212745 |    29663     99 |        5 |      384
1584.97/1585.41	c 1584s |      21 |  1647772 |  1214045 |    29663     99 |        5 |      384
1586.97/1587.48	c 1587s |      21 |  1649212 |  1215145 |    29663     99 |        5 |      384
1589.07/1589.52	c 1589s |      21 |  1650667 |  1216245 |    29663     99 |        5 |      384
1591.16/1591.60	c 1591s |      21 |  1652137 |  1217545 |    29663     99 |        5 |      384
1593.26/1593.73	c 1593s |      21 |  1653629 |  1218745 |    29663    100 |        5 |      384
1595.77/1596.21	c 1595s |      21 |  1654112 |  1219145 |    29663    100 |        5 |      384
1597.76/1598.22	c 1597s |      21 |  1655914 |  1220445 |    29663    100 |        5 |      384
1599.76/1600.30	c 1599s |      21 |  1657327 |  1221545 |    29663    100 |        5 |      384
1601.86/1602.33	c 1601s |      21 |  1658826 |  1222745 |    29663    100 |        5 |      384
1604.06/1604.51	c 1604s |      21 |  1660373 |  1223945 |    29663    100 |        5 |      384
1606.16/1606.62	c 1606s |      21 |  1661936 |  1225145 |    29663    100 |        5 |      384
1608.26/1608.77	c 1608s |      21 |  1663623 |  1226445 |    29663    100 |        5 |      384
1610.46/1610.92	c 1610s |      21 |  1665317 |  1227845 |    29663    100 |        5 |      384
1612.46/1612.93	c 1612s |      21 |  1666930 |  1229045 |    29663    100 |        5 |      384
1614.47/1614.97	c 1614s |      21 |  1668401 |  1230145 |    29663    100 |        5 |      384
1616.67/1617.13	c 1616s |      21 |  1669770 |  1231245 |    29663    100 |        5 |      384
1618.66/1619.20	c 1618s |      21 |  1671142 |  1232345 |    29663    100 |        5 |      384
1621.06/1621.56	c 1621s |      21 |  1672771 |  1233545 |    29663    101 |        5 |      384
1623.06/1623.57	c 1623s |      21 |  1674542 |  1234945 |    29663    101 |        5 |      384
1625.16/1625.68	c 1625s |      21 |  1676440 |  1236545 |    29663    101 |        5 |      384
1627.36/1627.80	c 1627s |      21 |  1678267 |  1238045 |    29663    101 |        5 |      384
1629.36/1629.86	c 1629s |      21 |  1680251 |  1239745 |    29663    101 |        5 |      384
1631.46/1631.95	c 1631s |      21 |  1682217 |  1241445 |    29663    101 |        5 |      384
1633.75/1634.25	c 1633s |      21 |  1683930 |  1242945 |    29663    101 |        5 |      384
1635.75/1636.28	c 1635s |      21 |  1685284 |  1244045 |    29663    101 |        5 |      384
1637.85/1638.31	c 1637s |      21 |  1686940 |  1245445 |    29663    101 |        5 |      384
1639.85/1640.36	c 1639s |      21 |  1688585 |  1246845 |    29663    101 |        5 |      384
1641.96/1642.42	c 1641s |      21 |  1690070 |  1248145 |    29663    101 |        5 |      384
1643.95/1644.47	c 1644s |      21 |  1691473 |  1249345 |    29663    102 |        5 |      384
1646.06/1646.57	c 1646s |      21 |  1692846 |  1250545 |    29663    102 |        5 |      384
1648.16/1648.67	c 1648s |      21 |  1694729 |  1252045 |    29663    102 |        5 |      384
1650.26/1650.71	c 1650s |      21 |  1696541 |  1253445 |    29663    102 |        5 |      384
1652.46/1652.90	c 1652s |      21 |  1698098 |  1254645 |    29663    102 |        5 |      384
1654.46/1654.95	c 1654s |      21 |  1699601 |  1255845 |    29663    102 |        5 |      384
1656.56/1657.00	c 1656s |      21 |  1700756 |  1256745 |    29663    102 |        5 |      384
1658.56/1659.02	c 1658s |      21 |  1702310 |  1257845 |    29663    102 |        5 |      384
1660.56/1661.07	c 1660s |      21 |  1703710 |  1259045 |    29663    102 |        5 |      384
1662.76/1663.24	c 1662s |      21 |  1705222 |  1260345 |    29663    102 |        5 |      384
1664.85/1665.34	c 1664s |      21 |  1706647 |  1261445 |    29663    102 |        5 |      384
1666.85/1667.34	c 1666s |      21 |  1708156 |  1262545 |    29663    102 |        5 |      384
1668.85/1669.35	c 1668s |      21 |  1709532 |  1263645 |    29663    102 |        5 |      384
1670.95/1671.40	c 1670s |      21 |  1710699 |  1264545 |    29663    103 |        5 |      384
1672.95/1673.48	c 1673s |      21 |  1712241 |  1265845 |    29663    103 |        5 |      384
1675.05/1675.51	c 1675s |      21 |  1713711 |  1267045 |    29663    103 |        5 |      384
1677.06/1677.57	c 1677s |      21 |  1715110 |  1268245 |    29663    103 |        5 |      384
1679.15/1679.64	c 1679s |      21 |  1716853 |  1269645 |    29663    103 |        5 |      384
1681.15/1681.69	c 1681s |      21 |  1718550 |  1271045 |    29663    103 |        5 |      384
1683.25/1683.79	c 1683s |      21 |  1720197 |  1272445 |    29663    103 |        5 |      384
1685.35/1685.86	c 1685s |      21 |  1721844 |  1273845 |    29663    103 |        5 |      384
1687.45/1687.98	c 1687s |      21 |  1723607 |  1275345 |    29663    103 |        5 |      384
1689.55/1690.04	c 1689s |      21 |  1725223 |  1276745 |    29663    103 |        5 |      384
1691.65/1692.16	c 1691s |      21 |  1726705 |  1278045 |    29663    103 |        5 |      384
1693.75/1694.27	c 1693s |      21 |  1728047 |  1279145 |    29663    103 |        5 |      384
1696.55/1697.03	c 1696s |      21 |  1729201 |  1280145 |    29663    104 |        5 |      384
1698.55/1699.07	c 1698s |      21 |  1731055 |  1281645 |    29663    104 |        5 |      384
1700.65/1701.12	c 1700s |      21 |  1732750 |  1283145 |    29663    104 |        5 |      384
1702.65/1703.18	c 1702s |      21 |  1734343 |  1284545 |    29663    104 |        5 |      384
1704.75/1705.28	c 1704s |      21 |  1736007 |  1286045 |    29663    104 |        5 |      384
1706.86/1707.38	c 1706s |      21 |  1737846 |  1287545 |    29663    104 |        5 |      384
1708.95/1709.43	c 1708s |      21 |  1739526 |  1288845 |    29663    104 |        5 |      384
1710.95/1711.45	c 1711s |      21 |  1741361 |  1290245 |    29663    104 |        5 |      384
1713.05/1713.57	c 1713s |      21 |  1743027 |  1291645 |    29663    104 |        5 |      384
1715.15/1715.61	c 1715s |      21 |  1744607 |  1292945 |    29663    104 |        5 |      384
1717.15/1717.64	c 1717s |      21 |  1746141 |  1294245 |    29663    104 |        5 |      384
1719.15/1719.70	c 1719s |      21 |  1747416 |  1295345 |    29663    105 |        5 |      384
1721.24/1721.72	c 1721s |      21 |  1748920 |  1296545 |    29663    105 |        5 |      384
1723.25/1723.79	c 1723s |      21 |  1750859 |  1298045 |    29663    105 |        5 |      384
1725.34/1725.83	c 1725s |      21 |  1752694 |  1299545 |    29663    105 |        5 |      384
1727.44/1727.96	c 1727s |      21 |  1754294 |  1300945 |    29663    105 |        5 |      384
1729.44/1729.98	c 1729s |      21 |  1755950 |  1302245 |    29663    105 |        5 |      384
1731.54/1732.07	c 1731s |      21 |  1757625 |  1303745 |    29663    105 |        5 |      384
1733.54/1734.08	c 1733s |      21 |  1759079 |  1305045 |    29663    105 |        5 |      384
1735.64/1736.18	c 1735s |      21 |  1760562 |  1306345 |    29663    105 |        5 |      384
1737.84/1738.30	c 1737s |      21 |  1762120 |  1307645 |    29663    105 |        5 |      384
1739.85/1740.35	c 1739s |      21 |  1763657 |  1308945 |    29663    105 |        5 |      384
1741.95/1742.48	c 1742s |      21 |  1765104 |  1310245 |    29663    105 |        5 |      384
1743.94/1744.49	c 1744s |      21 |  1766337 |  1311345 |    29663    106 |        5 |      384
1747.14/1747.61	c 1747s |      21 |  1767435 |  1312345 |    29663    106 |        5 |      384
1749.24/1749.73	c 1749s |      21 |  1768148 |  1312945 |    29663    106 |        5 |      384
1751.34/1751.80	c 1751s |      21 |  1769801 |  1314345 |    29663    106 |        5 |      384
1754.75/1755.25	c 1754s |      21 |  1771324 |  1315545 |    29663    106 |        5 |      384
1756.75/1757.26	c 1756s |      21 |  1772562 |  1316445 |    29663    106 |        5 |      384
1759.74/1760.20	c 1759s |      21 |  1774225 |  1317745 |    29663    106 |        5 |      384
1761.75/1762.23	c 1761s |      21 |  1775912 |  1318945 |    29663    106 |        5 |      384
1763.74/1764.27	c 1763s |      21 |  1777105 |  1319845 |    29663    106 |        5 |      384
1766.15/1766.61	c 1766s |      21 |  1778014 |  1320545 |    29663    106 |        5 |      384
1768.24/1768.73	c 1768s |      21 |  1779648 |  1321845 |    29663    106 |        5 |      384
1770.24/1770.79	c 1770s |      21 |  1781345 |  1323145 |    29663    106 |        5 |      384
1772.44/1772.91	c 1772s |      21 |  1783151 |  1324545 |    29663    106 |        5 |      384
1774.44/1774.99	c 1774s |      21 |  1784782 |  1325845 |    29663    106 |        5 |      384
1776.83/1777.36	c 1776s |      21 |  1785892 |  1326845 |    29663    107 |        5 |      384
1779.03/1779.50	c 1779s |      21 |  1787724 |  1328245 |    29663    107 |        5 |      384
1781.03/1781.56	c 1781s |      21 |  1789880 |  1329745 |    29663    107 |        5 |      384
1783.23/1783.70	c 1783s |      21 |  1791609 |  1331045 |    29663    107 |        5 |      384
1785.33/1785.84	c 1785s |      21 |  1793220 |  1332345 |    29663    107 |        5 |      384
1787.33/1787.86	c 1787s |      21 |  1794697 |  1333545 |    29663    107 |        5 |      384
1789.34/1789.89	c 1789s |      21 |  1796446 |  1334945 |    29663    107 |        5 |      384
1791.54/1792.03	c 1791s |      21 |  1797951 |  1336245 |    29663    107 |        5 |      384
1793.64/1794.13	c 1793s |      21 |  1799442 |  1337545 |    29663    107 |        5 |      384
1795.63/1796.14	c 1795s |      21 |  1801031 |  1338845 |    29663    107 |        5 |      384
1797.83/1798.34	c 1797s |      21 |  1802694 |  1340145 |    29663    107 |        5 |      384
1799.93/1800.45	c 1800s |      21 |  1804139 |  1341345 |    29663    107 |        5 |      384

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

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 2597
/proc/meminfo: memFree=30725136/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=676284 CPUtime=0 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 2514 0 0 0 0 0 0 0 20 0 4 0 13928502 692514816 2874 33554432000 4194304 16246674 140733488107328 140733488106752 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 169583 2883 441 2943 0 166477 0
[pid=2597/tid=2598] ppid=2594 vsize=721340 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 738652160 3049 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 742846464 3068 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13928502 748089344 3085 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 2597
/proc/meminfo: memFree=30725136/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 27118 0 0 0 5 4 0 0 20 0 4 0 13928502 1333334016 27416 33554432000 4194304 16246674 140733488107328 140733488106640 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 325521 27432 800 2943 0 322415 0
[pid=2597/tid=2598] ppid=2594 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1333334016 27446 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1333334016 27457 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1333334016 27469 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.20052 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 2597
/proc/meminfo: memFree=30725136/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 51797 0 0 0 12 7 0 0 20 0 4 0 13928502 1345916928 52606 33554432000 4194304 16246674 140733488107328 140733488106640 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 328593 52607 800 2943 0 325487 0
[pid=2597/tid=2598] ppid=2594 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1345916928 52607 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1345916928 52607 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1345916928 52607 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300475 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 2597
/proc/meminfo: memFree=30725136/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 52060 0 0 0 22 7 0 0 20 0 4 0 13928502 1345916928 52869 33554432000 4194304 16246674 140733488107328 140733488106640 6775184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 328593 52883 834 2943 0 325487 0
[pid=2597/tid=2598] ppid=2594 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1345916928 52890 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1345916928 52897 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1345916928 52907 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700369 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 2597
/proc/meminfo: memFree=30725136/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 128475 0 0 0 50 19 0 0 20 0 4 0 13928502 1345916928 129285 33554432000 4194304 16246674 140733488107328 140733488089216 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 328593 129307 876 2943 0 325487 0
[pid=2597/tid=2598] ppid=2594 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1345916928 129319 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1345916928 129333 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1345916928 129344 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50037 s]
/proc/loadavg: 2.12 2.04 2.01 3/183 2601
/proc/meminfo: memFree=29879792/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1316420 CPUtime=1.49 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 269682 0 0 0 110 39 0 0 20 0 4 0 13928502 1348014080 270491 33554432000 4194304 16246674 140733488107328 140733488089216 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 329105 270491 879 2943 0 325999 0
[pid=2597/tid=2598] ppid=2594 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1348014080 270491 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1348014080 270491 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1348014080 270491 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1316420

[startup+3.10037 s]
/proc/loadavg: 2.12 2.04 2.01 3/183 2601
/proc/meminfo: memFree=29643944/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1316420 CPUtime=3.09 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 269773 0 0 0 270 39 0 0 20 0 4 0 13928502 1348014080 270582 33554432000 4194304 16246674 140733488107328 140733488089216 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 329105 270582 882 2943 0 325999 0
[pid=2597/tid=2598] ppid=2594 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1348014080 270582 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1348014080 270582 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1348014080 270582 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1316420

[startup+6.30041 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 2601
/proc/meminfo: memFree=29643088/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1316420 CPUtime=6.29 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 269773 0 0 0 590 39 0 0 20 0 4 0 13928502 1348014080 270582 33554432000 4194304 16246674 140733488107328 140733488089216 5672056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 329105 270582 882 2943 0 325999 0
[pid=2597/tid=2598] ppid=2594 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1348014080 270582 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1348014080 270582 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1348014080 270582 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1316420

[startup+12.7004 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 2601
/proc/meminfo: memFree=29643492/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1316420 CPUtime=12.69 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 269776 0 0 0 1230 39 0 0 20 0 4 0 13928502 1348014080 270585 33554432000 4194304 16246674 140733488107328 140733488089216 5545894 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 329105 270585 884 2943 0 325999 0
[pid=2597/tid=2598] ppid=2594 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1348014080 270585 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1348014080 270585 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1348014080 270585 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1316420

[startup+25.5005 s]
/proc/loadavg: 2.16 2.05 2.01 3/183 2601
/proc/meminfo: memFree=29643120/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1317444 CPUtime=25.49 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 270034 0 0 0 2510 39 0 0 20 0 4 0 13928502 1349062656 270843 33554432000 4194304 16246674 140733488107328 140733488089216 5677802 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 329361 270843 885 2943 0 326255 0
[pid=2597/tid=2598] ppid=2594 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1349062656 270843 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1349062656 270843 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1349062656 270843 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1317444

[startup+51.1005 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 2601
/proc/meminfo: memFree=29636772/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1324612 CPUtime=51.08 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 271711 0 0 0 5069 39 0 0 20 0 4 0 13928502 1356402688 272520 33554432000 4194304 16246674 140733488107328 140733488089216 5523480 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 331153 272520 885 2943 0 328047 0
[pid=2597/tid=2598] ppid=2594 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1356402688 272520 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1356402688 272520 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1356402688 272520 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1324612

[startup+102.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/183 2602
/proc/meminfo: memFree=29615376/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1345092 CPUtime=102.28 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 276946 0 0 0 10188 40 0 0 20 0 4 0 13928502 1377374208 277755 33554432000 4194304 16246674 140733488107328 140733488090320 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 336273 277755 885 2943 0 333167 0
[pid=2597/tid=2598] ppid=2594 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1377374208 277755 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1377374208 277755 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1377374208 277755 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1345092


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

/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1391172

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2633
/proc/meminfo: memFree=29549604/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1391172 CPUtime=1361.9 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 288797 0 0 0 136138 52 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140733488089216 5522872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 347793 289534 888 2943 0 344687 0
[pid=2597/tid=2598] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1391172

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2634
/proc/meminfo: memFree=29549304/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1391172 CPUtime=1421.9 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 288797 0 0 0 142137 53 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140733488089216 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 347793 289534 888 2943 0 344687 0
[pid=2597/tid=2598] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1391172

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2683
/proc/meminfo: memFree=29617300/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1391172 CPUtime=1481.88 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 288797 0 0 0 148135 53 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140733488089216 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 347793 289534 888 2943 0 344687 0
[pid=2597/tid=2598] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1391172

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2782
/proc/meminfo: memFree=29594068/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1391172 CPUtime=1541.88 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 288797 0 0 0 154134 54 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140733488089216 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 347793 289534 888 2943 0 344687 0
[pid=2597/tid=2598] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1391172

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 2786
/proc/meminfo: memFree=29594052/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1391172 CPUtime=1601.86 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 288797 0 0 0 160132 54 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140733488089216 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 347793 289534 888 2943 0 344687 0
[pid=2597/tid=2598] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1391172

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2787
/proc/meminfo: memFree=29591584/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1391172 CPUtime=1661.86 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 288797 0 0 0 166131 55 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140733488089216 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 347793 289534 888 2943 0 344687 0
[pid=2597/tid=2598] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1391172

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 2788
/proc/meminfo: memFree=29591336/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1391172 CPUtime=1721.84 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 288797 0 0 0 172129 55 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140733488089216 6837186 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 347793 289534 888 2943 0 344687 0
[pid=2597/tid=2598] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1391172

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 2789
/proc/meminfo: memFree=29589968/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1391172 CPUtime=1781.83 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 288797 0 0 0 178127 56 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140733488089216 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 347793 289534 888 2943 0 344687 0
[pid=2597/tid=2598] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1391172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 2790
/proc/meminfo: memFree=29590228/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1391172 CPUtime=1800.03 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 288797 0 0 0 179947 56 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140733488089216 13949872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 347793 289534 888 2943 0 344687 0
[pid=2597/tid=2598] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1391172

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

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

[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 2790
/proc/meminfo: memFree=29590228/32872528 swapFree=7268/7268
[pid=2597] ppid=2594 vsize=1391172 CPUtime=1800.03 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 29295 0 -1 4202496 288797 0 0 0 179947 56 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140733488089216 13949872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2597/statm: 347793 289534 888 2943 0 344687 0
[pid=2597/tid=2598] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140670055460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669976816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13928502 1424560128 289534 33554432000 4194304 16246674 140733488107328 140669966343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1391172

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.48
CPU system time (s): 0.568913
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 1391172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.568913
maximum resident set size= 1158136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288797
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= 343
involuntary context switches= 1948

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2862 second user time and 6.587 second system time

The end

Begin job on node151 at 2016-06-17 01:13:57
IDJOB=4097912
IDBENCH=107825
IDSOLVER=2542
FILE ID=node151/4097912-1466118837
RUNJOBID= node151-1466112624-31871
PBS_JOBID= 19904038
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 29ef5a3d2a2feb1d7447df3e3126a59a
RANDOM SEED=2123351422

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        30725780 kB
Buffers:           70084 kB
Cached:           166240 kB
SwapCached:        61592 kB
Active:          1255536 kB
Inactive:         177568 kB
Active(anon):    1138120 kB
Inactive(anon):    61036 kB
Active(file):     117416 kB
Inactive(file):   116532 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67038988 kB
Dirty:             17332 kB
Writeback:             0 kB
AnonPages:       1143200 kB
Mapped:            10628 kB
Shmem:                 0 kB
Slab:             572772 kB
SReclaimable:      16148 kB
SUnreclaim:       556624 kB
KernelStack:        1488 kB
PageTables:         6484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1289560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    559104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node151 at 2016-06-17 01:43:57