0.00/0.00	c 2016-06-17T01:38:19+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-4098269-1466120299.opb"]
0.00/0.01	c use --random-gen="2645470669 4238108111 2719663039 2401572895 2597489845 313941818 4170479244 1104604271 3952715827 379088655 2311558127 307686319 1108791954 1491923647 2349701303 2568729906 2205460114 1944124516 3490660445 3977177131 3909564929 2658370743 2065992115 3205941603 3471853932 1014392393 335507677 3491552223 3023461313 3231119844 2161770431 3358559055 1081084154 2837004809 1988531956 3459159768 3335080783 2905520452 1396148867 901698635 830193440 2331373223 2059816262 3275023133 3042748743 2123797187 2095829257 1361807086 1677669588 3809853263 1143899100 305980814 1881694920 178910984 1536160332 2434142515 1176797323 2484670745 3798826032 992974537 2743523807 1005531997 2328178100 457487299 3730773022 3677264042 1700739405 28614377 1036263193 4214612797 523190847 1048998450 1861220443 1488443389 3834548358 3883995680 2559569154 3690445177 3953046191 4084090682 905475399 1021076273 3516503971 882018869 2811683210 3516353316 3677933162 129724380 3865074911 2084735351 923768380 107427822 605333936 2953467064 870506339 2322575974 3261436489 2269262076 3656006950 4190647710 3716764252 956216087 4205704836 4089910748 71256535 3992796478 405990061 1950109684 4015862744 787966451 1961474508 1427141464 3441339236 4112198842 97293613 2407067225 109681145 1838932936 2624921214 4174942315 2751752356 2057736141 3570100048 1309727197 1907665310 3267474445 353589293 4292093657 4141729769 2838429900 2313862736 3258373781 2368278752 425839358 2453842762 825717949 3557254890 3579894562 1985811983 4288752012 3774432114 739971058 911743621 1119887642 1808011989 502117485 3198124690 2586762314 2149861489 1051281928 3230862415 3350093595 3510836703 4153134503 67160151 2890564640 3223147054 1299224167 2457222975 4031680392 1144031892 3366091090 1739863900 4201116260 929809298 4234581187 2299694056 218114270 1960314309 413809188 2051619701 2063954392 431130722 2458046766 1860180690 80932554 324525103 651736138 1430910553 2724186727 318126647 1912568064 4132661796 3233607970 1384517586 2308858039 1474952860 270224721 3837908214 3001809784 1731571511 36404159 2448739941 1557319128 2177857206 1278481442 1580105835 3751968628 1634423286 1484125863 3237981912 2795399401 223321915 4214852526 1613311780 797579706 3676126578 3275827641 2512437340 3955527994 3873728228 4120727070 1184774614 1437653774 4145411084 2846351120 3326655694 2079725417 2251017125 730594610 1722696139 1821853613 3099770221 3140442382 1728534325 1244869842 3412299110 3804437400 4161874991 822548559 863763851 767641984 3656120955 547291377 304216158 4224644916 2611994826 828981467 3346311920 2443958190 1081855265 4281601032 3407497334 2772738839 2045716311 4154287473 2933141238 3539997908 1930289736 2182330394 777702261 441153195 1427783482 3113139574 153355361 3093688106 255 362436" option to reproduce the execution
0.09/0.17	c #vars 1722
0.09/0.17	c #constraints 8204
0.39/0.43	c Solving starts ...
0.39/0.43	c ============================[ Search Statistics ]============================
0.39/0.43	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.43	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.43	c =============================================================================
0.39/0.43	c  0.0s |       0 |        0 |        0 |     3308      0 |        5 |        0
0.49/0.55	c  0.1s |       1 |      440 |      100 |     3308      0 |        5 |      352
0.69/0.71	c  0.3s |       2 |     1254 |      250 |     3639      0 |        5 |      352
0.88/0.96	c  0.5s |       3 |     1727 |      475 |     4003      0 |        5 |      352
1.20/1.28	c  0.8s |       4 |     2679 |      813 |     4404      0 |        5 |      352
1.69/1.75	c  1.3s |       5 |     3945 |     1320 |     4845      0 |        5 |      352
2.29/2.31	c  1.9s |       6 |     5433 |     2081 |     5864      0 |        5 |      352
3.09/3.17	c  2.7s |       7 |     7233 |     3223 |     6451      0 |        5 |      352
4.59/4.67	c  4.2s |       8 |    10891 |     4936 |     7097      0 |        5 |      352
6.59/6.68	c  6.3s |       8 |    14951 |     7236 |     7097      0 |        5 |      352
6.89/6.91	c  6.5s |       9 |    15336 |     7506 |     7807      0 |        5 |      352
8.89/8.94	c  8.5s |       9 |    19741 |     9806 |     7807      1 |        5 |      352
10.38/10.49	c 10.1s |      10 |    22526 |    11361 |     8588      1 |        5 |      352
12.48/12.59	c 12.2s |      10 |    26865 |    13561 |     8588      2 |        5 |      352
14.58/14.63	c 14.2s |      10 |    31252 |    15861 |     8588      2 |        5 |      352
15.68/15.79	c 15.4s |      11 |    34193 |    17144 |     9447      2 |        5 |      352
17.78/17.87	c 17.4s |      11 |    37818 |    19244 |     9447      3 |        5 |      352
19.89/19.95	c 19.5s |      11 |    41430 |    21544 |     9447      3 |        5 |      352
21.88/21.98	c 21.5s |      11 |    45317 |    23744 |     9447      4 |        5 |      352
23.58/23.69	c 23.3s |      12 |    48718 |    25819 |    10392      4 |        5 |      352
25.68/25.76	c 25.3s |      12 |    52494 |    28219 |    10392      4 |        5 |      352
27.68/27.78	c 27.4s |      12 |    56104 |    30719 |    10392      5 |        5 |      352
29.78/29.84	c 29.4s |      12 |    59476 |    33219 |    10392      5 |        5 |      352
31.78/31.86	c 31.4s |      12 |    62826 |    35019 |    10392      6 |        5 |      352
33.77/33.87	c 33.4s |      12 |    66736 |    37119 |    10392      6 |        5 |      352
35.37/35.46	c 35.0s |      13 |    69218 |    38832 |    11432      6 |        5 |      352
37.38/37.50	c 37.1s |      13 |    72573 |    40932 |    11432      6 |        5 |      352
39.47/39.52	c 39.1s |      13 |    75915 |    43132 |    11432      7 |        5 |      352
41.47/41.54	c 41.1s |      13 |    79352 |    45532 |    11432      7 |        5 |      352
43.47/43.57	c 43.1s |      13 |    82272 |    47232 |    11432      8 |        5 |      352
45.57/45.65	c 45.2s |      13 |    85427 |    49332 |    11432      8 |        5 |      352
47.67/47.73	c 47.3s |      13 |    88362 |    51332 |    11432      8 |        5 |      352
49.67/49.74	c 49.3s |      13 |    90907 |    53332 |    11432      8 |        5 |      352
51.68/51.77	c 51.3s |      13 |    93628 |    55432 |    11432      9 |        5 |      352
53.67/53.77	c 53.3s |      13 |    96461 |    57132 |    11432      9 |        5 |      352
55.08/55.11	c 54.7s |      14 |    98357 |    58352 |    12576      9 |        5 |      352
57.07/57.13	c 56.7s |      14 |   101245 |    60152 |    12576      9 |        5 |      352
59.08/59.17	c 58.7s |      14 |   104769 |    62052 |    12576     10 |        5 |      352
61.17/61.25	c 60.8s |      14 |   108724 |    64352 |    12576     10 |        5 |      352
63.27/63.33	c 62.9s |      14 |   112263 |    66552 |    12576     10 |        5 |      352
65.27/65.39	c 65.0s |      14 |   116244 |    68852 |    12576     11 |        5 |      352
67.37/67.41	c 67.0s |      14 |   120216 |    71352 |    12576     11 |        5 |      352
69.47/69.53	c 69.1s |      14 |   123427 |    73852 |    12576     12 |        5 |      352
71.48/71.58	c 71.1s |      14 |   126675 |    75952 |    12576     12 |        5 |      352
73.57/73.63	c 73.2s |      14 |   130615 |    78352 |    12576     12 |        5 |      352
75.57/75.68	c 75.2s |      14 |   134084 |    80652 |    12576     13 |        5 |      352
77.67/77.74	c 77.3s |      14 |   137333 |    83052 |    12576     13 |        5 |      352
79.77/79.83	c 79.4s |      14 |   140321 |    85452 |    12576     13 |        5 |      352
81.87/81.95	c 81.5s |      14 |   143494 |    87452 |    13834     13 |        5 |      352
82.07/82.17	c 81.7s |      15 |   143743 |    87632 |    13834     13 |        5 |      352
84.07/84.18	c 83.8s |      15 |   145919 |    89032 |    13834     14 |        5 |      352
86.17/86.22	c 85.8s |      15 |   149380 |    91032 |    13834     14 |        5 |      352
88.17/88.23	c 87.8s |      15 |   152789 |    93332 |    13834     14 |        5 |      352
90.18/90.25	c 89.8s |      15 |   156114 |    95632 |    13834     15 |        5 |      352
92.27/92.34	c 91.9s |      15 |   159146 |    98032 |    13834     15 |        5 |      352
94.27/94.35	c 93.9s |      15 |   162102 |    99932 |    13834     15 |        5 |      352
96.37/96.41	c 96.0s |      15 |   165550 |   102032 |    13834     15 |        5 |      352
98.37/98.45	c 98.0s |      15 |   168980 |   104232 |    13834     16 |        5 |      352
100.36/100.49	c  100s |      15 |   172601 |   106532 |    13834     16 |        5 |      352
102.47/102.56	c  102s |      15 |   175617 |   108832 |    13834     16 |        5 |      352
104.57/104.62	c  104s |      15 |   178454 |   111032 |    13834     17 |        5 |      352
106.56/106.66	c  106s |      15 |   181340 |   112932 |    13834     17 |        5 |      352
108.66/108.72	c  108s |      15 |   184624 |   115232 |    13834     17 |        5 |      352
110.76/110.87	c  110s |      15 |   187483 |   117432 |    13834     18 |        5 |      352
112.86/112.93	c  112s |      15 |   190843 |   119832 |    13834     18 |        5 |      352
114.96/115.00	c  114s |      15 |   193823 |   121832 |    13834     18 |        5 |      352
116.96/117.09	c  116s |      15 |   197242 |   123932 |    13834     18 |        5 |      352
119.06/119.14	c  118s |      15 |   199763 |   125932 |    13834     19 |        5 |      352
121.07/121.18	c  120s |      15 |   202446 |   128032 |    13834     19 |        5 |      352
123.17/123.22	c  122s |      15 |   204694 |   129832 |    13834     19 |        5 |      352
125.16/125.21	c  124s |      16 |   207043 |   131552 |    15218     19 |        5 |      352
127.67/127.71	c  127s |      16 |   210159 |   133252 |    15218     20 |        5 |      352
129.66/129.73	c  129s |      16 |   213060 |   134852 |    15218     20 |        5 |      352
131.76/131.80	c  131s |      16 |   217355 |   136952 |    15218     20 |        5 |      352
133.76/133.85	c  133s |      16 |   221086 |   139052 |    15218     20 |        5 |      352
135.76/135.85	c  135s |      16 |   224395 |   141052 |    15218     20 |        5 |      352
137.76/137.86	c  137s |      16 |   227972 |   143352 |    15218     21 |        5 |      352
139.86/139.91	c  139s |      16 |   231482 |   145852 |    15218     21 |        5 |      352
141.97/142.02	c  141s |      16 |   234940 |   148252 |    15218     21 |        5 |      352
143.96/144.06	c  143s |      16 |   238160 |   150152 |    15218     22 |        5 |      352
146.06/146.11	c  145s |      16 |   242039 |   152352 |    15218     22 |        5 |      352
148.06/148.11	c  147s |      16 |   245380 |   154752 |    15218     22 |        5 |      352
150.06/150.19	c  149s |      16 |   248672 |   157252 |    15218     22 |        5 |      352
152.16/152.26	c  151s |      16 |   251737 |   159452 |    15218     23 |        5 |      352
154.16/154.29	c  153s |      16 |   255137 |   161452 |    15218     23 |        5 |      352
156.27/156.39	c  155s |      16 |   258472 |   163652 |    15218     23 |        5 |      352
158.37/158.43	c  157s |      16 |   261488 |   165852 |    15218     24 |        5 |      352
160.36/160.44	c  160s |      16 |   264802 |   168452 |    15218     24 |        5 |      352
162.45/162.51	c  162s |      16 |   268021 |   170652 |    15218     24 |        5 |      352
164.45/164.54	c  164s |      16 |   270912 |   172652 |    15218     24 |        5 |      352
166.46/166.57	c  166s |      16 |   274278 |   175252 |    15218     25 |        5 |      352
168.56/168.62	c  168s |      16 |   277203 |   177552 |    15218     25 |        5 |      352
170.56/170.67	c  170s |      16 |   280556 |   179952 |    15218     25 |        5 |      352
172.56/172.68	c  172s |      16 |   283704 |   182352 |    15218     26 |        5 |      352
174.66/174.74	c  174s |      16 |   287255 |   184952 |    15218     26 |        5 |      352
176.66/176.76	c  176s |      16 |   290459 |   187552 |    15218     26 |        5 |      352
178.66/178.78	c  178s |      16 |   293300 |   189952 |    15218     27 |        5 |      352
180.75/180.86	c  180s |      16 |   296610 |   192752 |    15218     27 |        5 |      352
182.85/182.96	c  182s |      16 |   299445 |   195052 |    15218     27 |        5 |      352
184.86/184.97	c  184s |      16 |   301822 |   197052 |    16740     27 |        5 |      352
185.35/185.42	c  184s |      17 |   302361 |   197432 |    16740     27 |        5 |      352
187.35/187.48	c  187s |      17 |   304563 |   199032 |    16740     28 |        5 |      352
189.96/190.04	c  189s |      17 |   306984 |   201032 |    16740     28 |        5 |      352
192.16/192.21	c  191s |      17 |   307318 |   201232 |    16740     28 |        5 |      352
194.15/194.25	c  193s |      17 |   310665 |   203432 |    16740     28 |        5 |      352
196.25/196.32	c  195s |      17 |   313603 |   205432 |    16740     28 |        5 |      352
198.25/198.37	c  197s |      17 |   316368 |   207332 |    16740     28 |        5 |      352
200.26/200.39	c  199s |      17 |   319319 |   209232 |    16740     29 |        5 |      352
202.36/202.41	c  201s |      17 |   322291 |   211432 |    16740     29 |        5 |      352
204.35/204.46	c  204s |      17 |   325441 |   213632 |    16740     29 |        5 |      352
206.45/206.51	c  206s |      17 |   328318 |   215232 |    16740     29 |        5 |      352
208.44/208.54	c  208s |      17 |   331562 |   216832 |    16740     30 |        5 |      352
210.55/210.61	c  210s |      17 |   335305 |   219032 |    16740     30 |        5 |      352
212.55/212.68	c  212s |      17 |   338395 |   220932 |    16740     30 |        5 |      352
214.65/214.72	c  214s |      17 |   342056 |   222732 |    16740     30 |        5 |      352
216.76/216.84	c  216s |      17 |   344856 |   224632 |    16740     31 |        5 |      352
218.75/218.89	c  218s |      17 |   348617 |   226832 |    16740     31 |        5 |      352
220.85/220.93	c  220s |      17 |   351864 |   229032 |    16740     31 |        5 |      352
222.95/223.00	c  222s |      17 |   354993 |   231332 |    16740     31 |        5 |      352
224.94/225.05	c  224s |      17 |   358529 |   233132 |    16740     31 |        5 |      352
227.04/227.14	c  226s |      17 |   362158 |   235232 |    16740     32 |        5 |      352
229.04/229.17	c  228s |      17 |   366193 |   237532 |    16740     32 |        5 |      352
231.14/231.24	c  230s |      17 |   369817 |   239832 |    16740     32 |        5 |      352
233.14/233.24	c  232s |      17 |   372978 |   242232 |    16740     32 |        5 |      352
235.14/235.25	c  234s |      17 |   376445 |   244432 |    16740     33 |        5 |      352
237.24/237.30	c  236s |      17 |   379142 |   246532 |    16740     33 |        5 |      352
239.23/239.38	c  238s |      17 |   381941 |   248732 |    16740     33 |        5 |      352
241.23/241.38	c  240s |      17 |   384562 |   250532 |    16740     33 |        5 |      352
243.33/243.41	c  242s |      17 |   387847 |   252632 |    16740     34 |        5 |      352
245.35/245.48	c  245s |      17 |   391062 |   254932 |    16740     34 |        5 |      352
247.45/247.53	c  247s |      17 |   393875 |   257132 |    16740     34 |        5 |      352
249.44/249.53	c  249s |      17 |   396846 |   258932 |    16740     34 |        5 |      352
251.53/251.60	c  251s |      17 |   400043 |   261232 |    16740     35 |        5 |      352
253.53/253.67	c  253s |      17 |   403559 |   263832 |    16740     35 |        5 |      352
255.53/255.69	c  255s |      17 |   406749 |   266132 |    16740     35 |        5 |      352
257.63/257.72	c  257s |      17 |   409551 |   268332 |    16740     35 |        5 |      352
259.63/259.73	c  259s |      17 |   412957 |   270932 |    16740     36 |        5 |      352
261.63/261.75	c  261s |      17 |   416115 |   273432 |    16740     36 |        5 |      352
263.63/263.75	c  263s |      17 |   419153 |   275832 |    16740     36 |        5 |      352
265.73/265.80	c  265s |      17 |   421827 |   278232 |    16740     37 |        5 |      352
269.93/270.03	c  269s |      17 |   424795 |   280632 |    16740     37 |        5 |      352
272.02/272.12	c  271s |      17 |   429084 |   282832 |    16740     37 |        5 |      352
274.02/274.18	c  273s |      17 |   432514 |   284932 |    16740     37 |        5 |      352
276.03/276.19	c  275s |      17 |   435684 |   286732 |    16740     38 |        5 |      352
278.12/278.22	c  277s |      17 |   439263 |   289132 |    16740     38 |        5 |      352
280.12/280.29	c  279s |      17 |   442915 |   291532 |    16740     38 |        5 |      352
282.12/282.29	c  281s |      17 |   446285 |   294032 |    16740     38 |        5 |      352
284.21/284.34	c  283s |      17 |   449367 |   295832 |    18414     38 |        5 |      352
284.72/284.81	c  284s |      18 |   450049 |   296252 |    18414     38 |        5 |      352
286.71/286.84	c  286s |      18 |   452927 |   297852 |    18414     39 |        5 |      352
288.71/288.85	c  288s |      18 |   457062 |   299852 |    18414     39 |        5 |      352
290.71/290.89	c  290s |      18 |   461043 |   301952 |    18414     39 |        5 |      352
292.82/292.90	c  292s |      18 |   463689 |   303852 |    18414     39 |        5 |      352
294.82/294.96	c  294s |      18 |   466596 |   305752 |    18414     39 |        5 |      352
296.92/297.02	c  296s |      18 |   469235 |   307852 |    18414     40 |        5 |      352
299.01/299.11	c  298s |      18 |   471859 |   309852 |    18414     40 |        5 |      352
301.11/301.22	c  300s |      18 |   474309 |   311652 |    18414     40 |        5 |      352
303.11/303.27	c  302s |      18 |   476820 |   313452 |    18414     40 |        5 |      352
305.20/305.35	c  304s |      18 |   479510 |   315052 |    18414     40 |        5 |      352
307.30/307.44	c  307s |      18 |   482780 |   316952 |    18414     41 |        5 |      352
309.30/309.49	c  309s |      18 |   486171 |   319052 |    18414     41 |        5 |      352
311.40/311.56	c  311s |      18 |   489122 |   321352 |    18414     41 |        5 |      352
313.51/313.62	c  313s |      18 |   491828 |   323352 |    18414     41 |        5 |      352
315.50/315.68	c  315s |      18 |   495372 |   324852 |    18414     41 |        5 |      352
317.60/317.77	c  317s |      18 |   498308 |   326552 |    18414     42 |        6 |      356
319.60/319.79	c  319s |      18 |   501217 |   328552 |    18414     42 |        6 |      356
321.70/321.87	c  321s |      18 |   503986 |   330552 |    18414     42 |        6 |      356
323.80/323.90	c  323s |      18 |   506659 |   332652 |    18414     42 |        6 |      356
325.90/326.00	c  325s |      18 |   508998 |   334252 |    18414     42 |        6 |      356
327.90/328.00	c  327s |      18 |   511504 |   335752 |    18414     43 |        6 |      356
329.90/330.09	c  329s |      18 |   514303 |   337352 |    18414     43 |        6 |      356
332.10/332.23	c  331s |      18 |   517315 |   339052 |    18414     43 |        6 |      356
334.09/334.26	c  333s |      18 |   520344 |   340752 |    18414     43 |        7 |      360
336.10/336.29	c  335s |      18 |   523343 |   342452 |    18414     43 |        7 |      360
338.20/338.39	c  337s |      18 |   525835 |   343952 |    18414     44 |        7 |      360
340.30/340.45	c  340s |      18 |   529592 |   346152 |    18414     44 |        7 |      360
342.30/342.48	c  342s |      18 |   533328 |   348152 |    18414     44 |        7 |      360
344.39/344.57	c  344s |      18 |   536578 |   350252 |    18414     44 |        7 |      360
346.50/346.63	c  346s |      18 |   540288 |   352252 |    18414     44 |        7 |      360
348.49/348.69	c  348s |      18 |   543449 |   354352 |    18414     45 |        7 |      360
350.59/350.71	c  350s |      18 |   546858 |   356752 |    18414     45 |        7 |      360
352.59/352.72	c  352s |      18 |   549728 |   358452 |    18414     45 |        7 |      360
354.69/354.81	c  354s |      18 |   553130 |   360452 |    18414     45 |        7 |      360
356.68/356.89	c  356s |      18 |   556717 |   362252 |    18414     45 |        8 |      364
358.78/358.97	c  358s |      18 |   559261 |   364052 |    18414     46 |        8 |      364
360.88/361.02	c  360s |      18 |   562228 |   366152 |    18414     46 |        8 |      364
362.89/363.05	c  362s |      18 |   565131 |   367752 |    18414     46 |        9 |      368
364.88/365.07	c  364s |      18 |   568722 |   369552 |    18414     46 |        9 |      368
366.98/367.17	c  366s |      18 |   571790 |   371452 |    18414     46 |        9 |      368
369.08/369.21	c  368s |      18 |   574700 |   373252 |    18414     47 |        9 |      368
371.08/371.23	c  370s |      18 |   577784 |   375352 |    18414     47 |        9 |      368
373.18/373.35	c  372s |      18 |   580915 |   377052 |    18414     47 |        9 |      368
375.18/375.37	c  374s |      18 |   584407 |   378952 |    18414     47 |        9 |      368
377.19/377.39	c  376s |      18 |   587097 |   380752 |    18414     47 |        9 |      368
379.28/379.42	c  378s |      18 |   590363 |   382552 |    18414     48 |        9 |      368
381.38/381.52	c  381s |      18 |   593933 |   385052 |    18414     48 |        9 |      368
383.38/383.53	c  383s |      18 |   597117 |   387352 |    18414     48 |        9 |      368
385.37/385.60	c  385s |      18 |   600161 |   389652 |    18414     48 |        9 |      368
387.47/387.60	c  387s |      18 |   602862 |   391252 |    18414     48 |        9 |      368
389.47/389.70	c  389s |      18 |   605956 |   393152 |    18414     49 |        9 |      368
391.58/391.71	c  391s |      18 |   609538 |   395352 |    18414     49 |        9 |      368
393.57/393.75	c  393s |      18 |   612386 |   397452 |    18414     49 |        9 |      368
395.56/395.79	c  395s |      18 |   614900 |   399552 |    18414     49 |        9 |      368
397.76/397.96	c  397s |      18 |   617496 |   401252 |    18414     50 |        9 |      368
399.76/399.98	c  399s |      18 |   620485 |   403352 |    18414     50 |        9 |      368
401.86/402.06	c  401s |      18 |   623735 |   405652 |    18414     50 |        9 |      368
403.86/404.09	c  403s |      18 |   626869 |   408152 |    18414     50 |        9 |      368
405.96/406.13	c  405s |      18 |   629373 |   409952 |    18414     50 |        9 |      368
407.96/408.18	c  407s |      18 |   632390 |   412052 |    18414     51 |        9 |      368
410.05/410.23	c  409s |      18 |   635659 |   414552 |    18414     51 |        9 |      368
412.05/412.29	c  411s |      18 |   638736 |   416852 |    18414     51 |        9 |      368
414.15/414.38	c  413s |      18 |   641449 |   418952 |    18414     51 |        9 |      368
416.25/416.43	c  416s |      18 |   644386 |   421252 |    18414     52 |        9 |      368
418.25/418.46	c  418s |      18 |   647137 |   423452 |    18414     52 |        9 |      368
420.35/420.52	c  420s |      18 |   650209 |   425952 |    18414     52 |        9 |      368
422.35/422.56	c  422s |      18 |   652931 |   428052 |    18414     52 |        9 |      368
424.45/424.62	c  424s |      18 |   655917 |   430352 |    18414     53 |        9 |      368
426.54/426.70	c  426s |      18 |   659037 |   432952 |    18414     53 |        9 |      368
428.54/428.75	c  428s |      18 |   662041 |   435352 |    18414     53 |        9 |      368
430.54/430.76	c  430s |      18 |   664881 |   437752 |    18414     53 |        9 |      368
435.84/436.08	c  435s |      18 |   666867 |   439452 |    18414     54 |        9 |      368
437.94/438.12	c  437s |      18 |   668220 |   440452 |    18414     54 |        9 |      368
439.94/440.13	c  439s |      18 |   671243 |   442552 |    20256     54 |        9 |      368
441.84/442.02	c  441s |      19 |   674004 |   444482 |    20256     54 |        9 |      368
443.84/444.04	c  443s |      19 |   677704 |   446182 |    20256     54 |        9 |      368
445.83/446.09	c  445s |      19 |   680541 |   447982 |    20256     54 |        9 |      368
447.93/448.17	c  447s |      19 |   683770 |   449982 |    20256     54 |        9 |      368
449.93/450.19	c  449s |      19 |   686822 |   452082 |    20256     55 |        9 |      368
452.04/452.22	c  451s |      19 |   689563 |   453682 |    20256     55 |        9 |      368
454.03/454.27	c  453s |      19 |   692854 |   455582 |    20256     55 |        9 |      368
456.12/456.35	c  455s |      19 |   696397 |   457682 |    20256     55 |        9 |      368
458.12/458.37	c  457s |      19 |   699770 |   459682 |    20256     55 |        9 |      368
460.22/460.41	c  459s |      19 |   703235 |   461782 |    20256     56 |        9 |      368
462.22/462.45	c  462s |      19 |   707000 |   464182 |    20256     56 |        9 |      368
464.32/464.50	c  464s |      19 |   709845 |   466482 |    20256     56 |        9 |      368
466.33/466.52	c  466s |      19 |   712946 |   468082 |    20256     56 |        9 |      368
468.32/468.58	c  468s |      19 |   715692 |   469982 |    20256     56 |        9 |      368
470.42/470.65	c  470s |      19 |   718097 |   471782 |    20256     56 |        9 |      368
472.52/472.74	c  472s |      19 |   720634 |   473782 |    20256     57 |        9 |      368
474.51/474.79	c  474s |      19 |   723178 |   475682 |    20256     57 |        9 |      368
476.61/476.88	c  476s |      19 |   726415 |   477482 |    20256     57 |        9 |      368
478.71/478.96	c  478s |      19 |   729300 |   479382 |    20256     57 |        9 |      368
480.71/480.96	c  480s |      19 |   732132 |   481282 |    20256     57 |        9 |      368
482.72/482.97	c  482s |      19 |   734677 |   483182 |    20256     58 |        9 |      368
484.70/484.98	c  484s |      19 |   737537 |   485182 |    20256     58 |        9 |      368
486.80/487.02	c  486s |      19 |   740797 |   487282 |    20256     58 |        9 |      368
488.90/489.10	c  488s |      19 |   743601 |   489282 |    20256     58 |        9 |      368
490.90/491.12	c  490s |      19 |   746411 |   491382 |    20256     58 |        9 |      368
492.90/493.13	c  492s |      19 |   748707 |   493082 |    20256     59 |        9 |      368
494.90/495.16	c  494s |      19 |   751971 |   495482 |    20256     59 |        9 |      368
496.90/497.17	c  496s |      19 |   754938 |   497782 |    20256     59 |        9 |      368
499.00/499.22	c  498s |      19 |   757963 |   499982 |    20256     59 |        9 |      368
500.99/501.23	c  500s |      19 |   760765 |   502182 |    20256     59 |        9 |      368
503.09/503.30	c  502s |      19 |   763619 |   504382 |    20256     60 |        9 |      368
505.09/505.30	c  504s |      19 |   766395 |   506682 |    20256     60 |        9 |      368
507.09/507.35	c  506s |      19 |   769118 |   509082 |    20256     60 |        9 |      368
509.10/509.37	c  508s |      19 |   771678 |   511082 |    20256     60 |        9 |      368
511.09/511.39	c  510s |      19 |   774088 |   512982 |    20256     60 |        9 |      368
515.99/516.26	c  515s |      19 |   775033 |   513582 |    20256     61 |        9 |      368
518.00/518.29	c  517s |      19 |   778377 |   515582 |    20256     61 |        9 |      368
520.09/520.35	c  519s |      19 |   782006 |   517582 |    20256     61 |        9 |      368
522.09/522.36	c  521s |      19 |   785317 |   519582 |    20256     61 |        9 |      368
524.18/524.45	c  524s |      19 |   788574 |   521682 |    20256     61 |        9 |      368
526.28/526.55	c  526s |      19 |   791642 |   523782 |    20256     61 |        9 |      368
528.28/528.60	c  528s |      19 |   794813 |   526182 |    20256     62 |        9 |      368
530.38/530.64	c  530s |      19 |   797642 |   527882 |    20256     62 |        9 |      368
532.48/532.73	c  532s |      19 |   800760 |   529982 |    20256     62 |        9 |      368
534.48/534.79	c  534s |      19 |   803339 |   531982 |    20256     62 |        9 |      368
536.58/536.81	c  536s |      19 |   805728 |   533682 |    20256     62 |        9 |      368
538.57/538.88	c  538s |      19 |   808108 |   535282 |    20256     63 |        9 |      368
540.67/540.97	c  540s |      19 |   811527 |   537282 |    20256     63 |        9 |      368
542.77/543.04	c  542s |      19 |   814300 |   539182 |    20256     63 |        9 |      368
544.77/545.09	c  544s |      19 |   817046 |   541082 |    20256     63 |        9 |      368
546.87/547.17	c  546s |      19 |   819546 |   542982 |    20256     63 |        9 |      368
548.97/549.27	c  548s |      19 |   821994 |   544982 |    20256     63 |        9 |      368
550.98/551.29	c  550s |      19 |   824343 |   546782 |    20256     64 |        9 |      368
553.08/553.37	c  552s |      19 |   827131 |   548982 |    20256     64 |        9 |      368
555.16/555.41	c  554s |      19 |   829544 |   550782 |    20256     64 |        9 |      368
557.16/557.45	c  557s |      19 |   832184 |   552882 |    20256     64 |        9 |      368
559.16/559.47	c  559s |      19 |   834521 |   554682 |    20256     64 |        9 |      368
561.26/561.55	c  561s |      19 |   836857 |   556682 |    20256     65 |        9 |      368
563.36/563.61	c  563s |      19 |   839565 |   558782 |    20256     65 |        9 |      368
565.36/565.67	c  565s |      19 |   841928 |   560882 |    20256     65 |        9 |      368
567.46/567.74	c  567s |      19 |   844320 |   562882 |    20256     65 |        9 |      368
569.56/569.89	c  569s |      19 |   846599 |   564782 |    20256     65 |        9 |      368
571.76/572.09	c  571s |      19 |   848636 |   566182 |    20256     66 |        9 |      368
573.86/574.14	c  573s |      19 |   850913 |   567882 |    20256     66 |        9 |      368
575.85/576.19	c  575s |      19 |   853889 |   570182 |    20256     66 |        9 |      368
578.36/578.60	c  578s |      19 |   854323 |   570482 |    20256     66 |        9 |      368
580.35/580.66	c  580s |      19 |   857381 |   572482 |    20256     66 |        9 |      368
582.35/582.68	c  582s |      19 |   860555 |   574382 |    20256     66 |        9 |      368
584.35/584.69	c  584s |      19 |   863458 |   576182 |    20256     66 |        9 |      368
586.55/586.84	c  586s |      19 |   866566 |   578282 |    20256     67 |        9 |      368
588.55/588.87	c  588s |      19 |   869731 |   580782 |    20256     67 |        9 |      368
590.55/590.88	c  590s |      19 |   872474 |   582382 |    20256     67 |        9 |      368
592.65/592.99	c  592s |      19 |   875000 |   584282 |    20256     67 |        9 |      368
594.74/595.09	c  594s |      19 |   877389 |   586182 |    20256     67 |        9 |      368
596.84/597.14	c  596s |      19 |   880202 |   588082 |    20256     68 |        9 |      368
598.84/599.16	c  598s |      19 |   882963 |   590082 |    20256     68 |        9 |      368
600.94/601.26	c  600s |      19 |   885835 |   592082 |    20256     68 |        9 |      368
603.04/603.30	c  602s |      19 |   888732 |   594182 |    20256     68 |        9 |      368
605.03/605.36	c  604s |      19 |   891067 |   596082 |    20256     68 |        9 |      368
607.44/607.79	c  607s |      19 |   892497 |   597182 |    20256     69 |       10 |      372
609.53/609.86	c  609s |      19 |   895082 |   599182 |    20256     69 |       10 |      372
611.63/611.94	c  611s |      19 |   897257 |   600582 |    20256     69 |       10 |      372
613.73/614.03	c  613s |      19 |   899995 |   602282 |    20256     69 |       10 |      372
615.74/616.05	c  615s |      19 |   903319 |   603982 |    20256     69 |       10 |      372
617.73/618.08	c  617s |      19 |   906744 |   605982 |    20256     69 |       10 |      372
619.83/620.10	c  619s |      19 |   909673 |   607782 |    20256     70 |       10 |      372
621.83/622.16	c  621s |      19 |   912945 |   609782 |    20256     70 |       10 |      372
623.93/624.25	c  623s |      19 |   916333 |   611982 |    20256     70 |       10 |      372
625.93/626.29	c  625s |      19 |   919081 |   614082 |    20256     70 |       10 |      372
628.03/628.35	c  627s |      19 |   922063 |   615782 |    20256     70 |       10 |      372
630.23/630.50	c  630s |      19 |   924739 |   617482 |    20256     70 |       10 |      372
632.23/632.56	c  632s |      19 |   928203 |   619382 |    20256     71 |       10 |      372
634.22/634.56	c  634s |      19 |   931272 |   621582 |    20256     71 |       10 |      372
636.22/636.58	c  636s |      19 |   934442 |   623582 |    20256     71 |       10 |      372
638.32/638.63	c  638s |      19 |   937317 |   625682 |    20256     71 |       10 |      372
640.32/640.65	c  640s |      19 |   939934 |   627782 |    20256     71 |       10 |      372
642.32/642.69	c  642s |      19 |   942286 |   629382 |    20256     72 |       10 |      372
644.42/644.73	c  644s |      19 |   945580 |   631582 |    20256     72 |       10 |      372
646.41/646.76	c  646s |      19 |   948587 |   633782 |    20256     72 |       10 |      372
648.52/648.84	c  648s |      19 |   951287 |   635782 |    20256     72 |       10 |      372
650.61/650.92	c  650s |      19 |   954068 |   637682 |    20256     72 |       10 |      372
652.61/652.99	c  652s |      19 |   956466 |   639482 |    20256     73 |       10 |      372
654.81/655.12	c  654s |      19 |   959231 |   641782 |    20256     73 |       10 |      372
656.81/657.13	c  656s |      19 |   961681 |   643482 |    20256     73 |       10 |      372
658.81/659.16	c  658s |      19 |   964293 |   645382 |    20256     73 |       10 |      372
660.91/661.24	c  660s |      19 |   966989 |   647482 |    20256     73 |       10 |      372
663.01/663.36	c  662s |      19 |   969640 |   649482 |    20256     74 |       10 |      372
665.11/665.42	c  664s |      19 |   972484 |   651682 |    20256     74 |       10 |      372
667.11/667.47	c  667s |      19 |   975241 |   653882 |    20256     74 |       10 |      372
669.21/669.56	c  669s |      19 |   977983 |   655982 |    20256     74 |       10 |      372
671.21/671.59	c  671s |      19 |   980234 |   657882 |    20256     74 |       10 |      372
673.21/673.59	c  673s |      19 |   982490 |   659782 |    20256     74 |       10 |      372
675.30/675.67	c  675s |      19 |   985089 |   661982 |    20256     75 |       10 |      372
677.41/677.73	c  677s |      19 |   987622 |   664082 |    22282     75 |       10 |      372
679.50/679.81	c  679s |      19 |   989888 |   665982 |    22282     75 |       10 |      372
680.41/680.76	c  680s |      20 |   990910 |   666827 |    22282     75 |       10 |      372
683.90/684.24	c  683s |      20 |   991585 |   667227 |    22282     75 |       10 |      372
685.90/686.30	c  685s |      20 |   994374 |   668627 |    22282     75 |       10 |      372
688.10/688.41	c  687s |      20 |   996342 |   669827 |    22282     75 |       10 |      372
690.10/690.48	c  690s |      20 |   999143 |   671627 |    22282     75 |       10 |      372
692.20/692.58	c  692s |      20 |  1001779 |   673227 |    22282     76 |       10 |      372
694.30/694.62	c  694s |      20 |  1004499 |   674627 |    22282     76 |       11 |      376
696.30/696.66	c  696s |      20 |  1007517 |   676527 |    22282     76 |       11 |      376
698.30/698.69	c  698s |      20 |  1009852 |   678227 |    22282     76 |       11 |      376
700.40/700.78	c  700s |      20 |  1013145 |   680227 |    22282     76 |       11 |      376
702.49/702.84	c  702s |      20 |  1015754 |   681927 |    22282     76 |       11 |      376
704.49/704.89	c  704s |      20 |  1018244 |   683627 |    22282     76 |       11 |      376
706.59/706.99	c  706s |      20 |  1020812 |   685627 |    22282     77 |       11 |      376
708.69/709.06	c  708s |      20 |  1023431 |   687527 |    22282     77 |       11 |      376
710.70/711.08	c  710s |      20 |  1025261 |   688527 |    22282     77 |       11 |      376
712.80/713.16	c  712s |      20 |  1028602 |   690427 |    22282     77 |       11 |      376
714.90/715.25	c  714s |      20 |  1032149 |   692427 |    22282     77 |       11 |      376
716.90/717.29	c  716s |      20 |  1035133 |   694227 |    22282     77 |       11 |      376
718.99/719.34	c  718s |      20 |  1037588 |   695727 |    22282     78 |       11 |      376
721.09/721.42	c  720s |      20 |  1040911 |   698027 |    22282     78 |       11 |      376
723.19/723.58	c  723s |      20 |  1044032 |   700227 |    22282     78 |       11 |      376
725.29/725.65	c  725s |      20 |  1047318 |   701927 |    22282     78 |       11 |      376
727.29/727.67	c  727s |      20 |  1049941 |   703727 |    22282     78 |       11 |      376
729.39/729.71	c  729s |      20 |  1052751 |   705427 |    22282     78 |       11 |      376
731.38/731.74	c  731s |      20 |  1055687 |   707227 |    22282     79 |       11 |      376
733.39/733.80	c  733s |      20 |  1058989 |   709627 |    22282     79 |       11 |      376
735.48/735.81	c  735s |      20 |  1062001 |   712027 |    22282     79 |       11 |      376
737.58/737.93	c  737s |      20 |  1064508 |   713727 |    22282     79 |       11 |      376
739.58/739.98	c  739s |      20 |  1066854 |   715427 |    22282     79 |       12 |      380
741.69/742.05	c  741s |      20 |  1069269 |   717127 |    22282     79 |       12 |      380
743.69/744.06	c  743s |      20 |  1071476 |   718727 |    22282     80 |       12 |      380
747.27/747.67	c  747s |      20 |  1073959 |   720627 |    22282     80 |       12 |      380
749.38/749.73	c  749s |      20 |  1076944 |   722527 |    22282     80 |       12 |      380
751.38/751.79	c  751s |      20 |  1079853 |   724327 |    22282     80 |       12 |      380
753.48/753.88	c  753s |      20 |  1082669 |   726227 |    22282     80 |       12 |      380
755.57/755.91	c  755s |      20 |  1085396 |   728127 |    22282     80 |       12 |      380
757.58/757.95	c  757s |      20 |  1087603 |   729827 |    22282     81 |       13 |      384
759.97/760.33	c  759s |      20 |  1089935 |   731627 |    22282     81 |       13 |      384
761.98/762.38	c  761s |      20 |  1092640 |   733527 |    22282     81 |       13 |      384
764.06/764.42	c  763s |      20 |  1095458 |   735427 |    22282     81 |       13 |      384
766.16/766.54	c  766s |      20 |  1098472 |   737227 |    22282     81 |       13 |      384
768.16/768.57	c  768s |      20 |  1101021 |   738927 |    22282     81 |       13 |      384
770.26/770.68	c  770s |      20 |  1103533 |   740727 |    22282     81 |       13 |      384
772.26/772.69	c  772s |      20 |  1106185 |   742527 |    22282     82 |       13 |      384
774.35/774.76	c  774s |      20 |  1108769 |   744627 |    22282     82 |       13 |      384
776.45/776.82	c  776s |      20 |  1111491 |   746527 |    22282     82 |       13 |      384
778.56/778.91	c  778s |      20 |  1114131 |   748427 |    22282     82 |       13 |      384
780.55/780.98	c  780s |      20 |  1117068 |   750327 |    22282     82 |       13 |      384
782.65/783.08	c  782s |      20 |  1119551 |   752227 |    22282     82 |       13 |      384
784.75/785.13	c  784s |      20 |  1122016 |   754127 |    22282     83 |       13 |      384
786.85/787.20	c  786s |      20 |  1125056 |   755827 |    22282     83 |       13 |      384
788.85/789.26	c  788s |      20 |  1127629 |   757827 |    22282     83 |       13 |      384
790.95/791.34	c  790s |      20 |  1130112 |   759827 |    22282     83 |       13 |      384
793.05/793.42	c  792s |      20 |  1132378 |   761527 |    22282     83 |       13 |      384
795.06/795.47	c  795s |      20 |  1134676 |   763227 |    22282     83 |       13 |      384
797.15/797.51	c  797s |      20 |  1136794 |   764927 |    22282     84 |       13 |      384
799.15/799.55	c  799s |      20 |  1139336 |   766927 |    22282     84 |       13 |      384
801.15/801.59	c  801s |      20 |  1141891 |   769027 |    22282     84 |       13 |      384
803.25/803.64	c  803s |      20 |  1144228 |   771027 |    22282     84 |       13 |      384
805.25/805.66	c  805s |      20 |  1146547 |   772827 |    22282     84 |       13 |      384
807.25/807.67	c  807s |      20 |  1148893 |   774627 |    22282     84 |       13 |      384
809.35/809.78	c  809s |      20 |  1150774 |   776127 |    22282     85 |       13 |      384
811.35/811.78	c  811s |      20 |  1153094 |   778027 |    22282     85 |       13 |      384
816.55/816.96	c  816s |      20 |  1154438 |   778827 |    22282     85 |       13 |      384
818.65/819.01	c  818s |      20 |  1157399 |   780527 |    22282     85 |       14 |      388
820.75/821.11	c  820s |      20 |  1160716 |   782227 |    22282     85 |       14 |      388
822.75/823.14	c  822s |      20 |  1163758 |   783927 |    22282     85 |       14 |      388
824.85/825.20	c  824s |      20 |  1166657 |   785527 |    22282     85 |       14 |      388
826.85/827.26	c  826s |      20 |  1170109 |   787327 |    22282     85 |       14 |      388
828.95/829.32	c  828s |      20 |  1172854 |   788927 |    22282     86 |       14 |      388
830.95/831.36	c  830s |      20 |  1175777 |   790827 |    22282     86 |       14 |      388
832.95/833.38	c  832s |      20 |  1178730 |   792827 |    22282     86 |       14 |      388
835.05/835.47	c  835s |      20 |  1181889 |   794927 |    22282     86 |       14 |      388
837.14/837.58	c  837s |      20 |  1184317 |   796527 |    22282     86 |       14 |      388
839.34/839.70	c  839s |      20 |  1186570 |   797927 |    22282     86 |       14 |      388
841.34/841.76	c  841s |      20 |  1188945 |   799327 |    22282     87 |       14 |      388
843.35/843.79	c  843s |      20 |  1192121 |   801227 |    22282     87 |       14 |      388
845.44/845.83	c  845s |      20 |  1195042 |   803127 |    22282     87 |       14 |      388
847.54/847.90	c  847s |      20 |  1198034 |   805127 |    22282     87 |       14 |      388
849.54/849.91	c  849s |      20 |  1200865 |   807127 |    22282     87 |       14 |      388
851.64/852.00	c  851s |      20 |  1203594 |   809227 |    22282     87 |       14 |      388
853.64/854.04	c  853s |      20 |  1205743 |   810627 |    22282     88 |       14 |      388
855.74/856.17	c  855s |      20 |  1208890 |   812527 |    22282     88 |       15 |      392
857.83/858.24	c  857s |      20 |  1210463 |   813427 |    22282     88 |       15 |      392
859.94/860.32	c  859s |      20 |  1212900 |   815127 |    22282     88 |       15 |      392
861.93/862.40	c  861s |      20 |  1215888 |   817027 |    22282     88 |       15 |      392
864.03/864.49	c  864s |      20 |  1219304 |   818727 |    22282     88 |       16 |      396
866.23/866.61	c  866s |      20 |  1222442 |   820527 |    22282     88 |       16 |      396
868.23/868.67	c  868s |      20 |  1224583 |   822027 |    22282     89 |       16 |      396
870.23/870.69	c  870s |      20 |  1226801 |   823727 |    22282     89 |       16 |      396
872.33/872.75	c  872s |      20 |  1229992 |   825827 |    22282     89 |       16 |      396
874.32/874.79	c  874s |      20 |  1232666 |   827927 |    22282     89 |       16 |      396
876.33/876.80	c  876s |      20 |  1234993 |   829127 |    22282     89 |       16 |      396
878.54/878.93	c  878s |      20 |  1238045 |   830827 |    22282     89 |       16 |      396
880.53/880.95	c  880s |      20 |  1240444 |   832427 |    22282     89 |       16 |      396
882.63/883.03	c  882s |      20 |  1242986 |   833927 |    22282     90 |       16 |      396
884.63/885.04	c  884s |      20 |  1246552 |   836027 |    22282     90 |       16 |      396
886.73/887.13	c  886s |      20 |  1249676 |   838327 |    22282     90 |       16 |      396
888.83/889.22	c  888s |      20 |  1252353 |   839927 |    22282     90 |       16 |      396
890.93/891.33	c  890s |      20 |  1254960 |   841727 |    22282     90 |       16 |      396
892.93/893.36	c  892s |      20 |  1257510 |   843227 |    22282     90 |       16 |      396
895.03/895.47	c  895s |      20 |  1259886 |   844927 |    22282     90 |       16 |      396
897.13/897.51	c  897s |      20 |  1262309 |   846527 |    22282     91 |       16 |      396
899.23/899.61	c  899s |      20 |  1265313 |   848527 |    22282     91 |       18 |      404
901.22/901.61	c  901s |      20 |  1268106 |   850527 |    22282     91 |       18 |      404
903.22/903.67	c  903s |      20 |  1270533 |   851927 |    22282     91 |       18 |      404
905.22/905.69	c  905s |      20 |  1273043 |   853827 |    22282     91 |       18 |      404
907.42/907.81	c  907s |      20 |  1275383 |   855627 |    22282     91 |       18 |      404
909.43/909.85	c  909s |      20 |  1277284 |   857027 |    22282     92 |       18 |      404
912.63/913.04	c  912s |      20 |  1279514 |   858427 |    22282     92 |       18 |      404
914.72/915.10	c  914s |      20 |  1282776 |   860327 |    22282     92 |       18 |      404
916.72/917.12	c  916s |      20 |  1285613 |   862027 |    22282     92 |       18 |      404
918.72/919.14	c  918s |      20 |  1288112 |   863627 |    22282     92 |       18 |      404
920.82/921.20	c  920s |      20 |  1290454 |   865327 |    22282     92 |       18 |      404
922.82/923.27	c  922s |      20 |  1292686 |   867127 |    22282     92 |       18 |      404
924.92/925.39	c  924s |      20 |  1294663 |   868427 |    22282     93 |       18 |      404
927.02/927.49	c  927s |      20 |  1297581 |   870427 |    22282     93 |       18 |      404
929.12/929.52	c  929s |      20 |  1300408 |   872127 |    22282     93 |       18 |      404
931.12/931.57	c  931s |      20 |  1303407 |   874027 |    22282     93 |       18 |      404
933.22/933.60	c  933s |      20 |  1306109 |   875927 |    22282     93 |       18 |      404
935.22/935.61	c  935s |      20 |  1308543 |   877727 |    22282     93 |       18 |      404
937.22/937.62	c  937s |      20 |  1311053 |   879327 |    22282     93 |       18 |      404
939.22/939.67	c  939s |      20 |  1314203 |   881327 |    22282     94 |       18 |      404
941.22/941.69	c  941s |      20 |  1317065 |   883527 |    22282     94 |       18 |      404
943.31/943.78	c  943s |      20 |  1319816 |   885627 |    22282     94 |       18 |      404
945.31/945.79	c  945s |      20 |  1322083 |   887427 |    22282     94 |       18 |      404
947.41/947.80	c  947s |      20 |  1324425 |   889127 |    22282     94 |       18 |      404
949.51/949.96	c  949s |      20 |  1326872 |   890827 |    22282     95 |       18 |      404
951.61/952.04	c  951s |      20 |  1329722 |   892927 |    22282     95 |       18 |      404
953.71/954.10	c  953s |      20 |  1332629 |   895227 |    22282     95 |       19 |      408
955.71/956.11	c  955s |      20 |  1335430 |   897327 |    22282     95 |       19 |      408
957.72/958.14	c  957s |      20 |  1337719 |   899127 |    22282     95 |       19 |      408
959.81/960.23	c  959s |      20 |  1340056 |   901027 |    22282     95 |       19 |      408
961.91/962.31	c  961s |      20 |  1342274 |   902827 |    22282     96 |       19 |      408
963.91/964.37	c  963s |      20 |  1345130 |   905227 |    22282     96 |       19 |      408
967.21/967.62	c  967s |      20 |  1347245 |   906927 |    22282     96 |       19 |      408
969.31/969.71	c  969s |      20 |  1350007 |   908127 |    22282     96 |       19 |      408
971.41/971.85	c  971s |      20 |  1353081 |   909927 |    22282     96 |       19 |      408
973.51/973.90	c  973s |      20 |  1356570 |   911627 |    22282     96 |       19 |      408
975.50/975.98	c  975s |      20 |  1359544 |   913327 |    22282     96 |       19 |      408
977.62/978.04	c  977s |      20 |  1362340 |   914927 |    22282     97 |       19 |      408
979.72/980.12	c  979s |      20 |  1365923 |   917327 |    22282     97 |       19 |      408
981.71/982.18	c  981s |      20 |  1368894 |   919527 |    22282     97 |       19 |      408
983.91/984.34	c  983s |      20 |  1371598 |   921527 |    22282     97 |       19 |      408
985.90/986.39	c  985s |      20 |  1374233 |   923127 |    22282     97 |       19 |      408
988.10/988.54	c  988s |      20 |  1376473 |   924727 |    22282     97 |       19 |      408
990.20/990.62	c  990s |      20 |  1379006 |   926427 |    22282     98 |       19 |      408
992.20/992.65	c  992s |      20 |  1381476 |   928127 |    22282     98 |       19 |      408
994.30/994.71	c  994s |      20 |  1384374 |   930227 |    22282     98 |       19 |      408
996.30/996.74	c  996s |      20 |  1387082 |   932327 |    22282     98 |       19 |      408
998.30/998.80	c  998s |      20 |  1389260 |   934027 |    22282     98 |       19 |      408
1000.40/1000.89	c 1000s |      20 |  1391412 |   935727 |    22282     98 |       19 |      408
1002.50/1002.97	c 1002s |      20 |  1393457 |   937227 |    22282     99 |       19 |      408
1004.50/1004.98	c 1004s |      20 |  1395555 |   938927 |    22282     99 |       19 |      408
1006.60/1007.07	c 1006s |      20 |  1397821 |   940727 |    22282     99 |       19 |      408
1008.70/1009.17	c 1008s |      20 |  1400037 |   942527 |    22282     99 |       19 |      408
1010.70/1011.18	c 1010s |      20 |  1402201 |   944227 |    22282     99 |       19 |      408
1012.80/1013.23	c 1012s |      20 |  1404556 |   946027 |    22282     99 |       19 |      408
1014.79/1015.23	c 1014s |      20 |  1406583 |   947727 |    22282     99 |       19 |      408
1016.90/1017.32	c 1016s |      20 |  1408649 |   949327 |    22282    100 |       19 |      408
1018.90/1019.36	c 1018s |      20 |  1410839 |   951027 |    22282    100 |       19 |      408
1021.00/1021.43	c 1021s |      20 |  1413028 |   952827 |    22282    100 |       19 |      408
1023.00/1023.45	c 1023s |      20 |  1415137 |   954527 |    22282    100 |       19 |      408
1025.09/1025.52	c 1025s |      20 |  1417047 |   956127 |    22282    100 |       19 |      408
1027.19/1027.61	c 1027s |      20 |  1418851 |   957627 |    22282    100 |       19 |      408
1029.20/1029.64	c 1029s |      20 |  1420510 |   959027 |    22282    100 |       19 |      408
1031.30/1031.76	c 1031s |      20 |  1422142 |   960427 |    22282    101 |       19 |      408
1033.70/1034.14	c 1033s |      20 |  1423881 |   961927 |    22282    101 |       19 |      408
1035.80/1036.22	c 1035s |      20 |  1426083 |   963327 |    22282    101 |       19 |      408
1037.79/1038.26	c 1037s |      20 |  1428246 |   964927 |    22282    101 |       19 |      408
1039.89/1040.34	c 1039s |      20 |  1431000 |   966627 |    22282    101 |       19 |      408
1041.99/1042.44	c 1042s |      20 |  1433529 |   968427 |    22282    101 |       19 |      408
1043.99/1044.48	c 1044s |      20 |  1435942 |   970227 |    22282    101 |       19 |      408
1046.29/1046.74	c 1046s |      20 |  1436711 |   970827 |    22282    101 |       19 |      408
1048.39/1048.80	c 1048s |      20 |  1438253 |   972027 |    22282    102 |       19 |      408
1050.40/1050.90	c 1050s |      20 |  1441315 |   974327 |    22282    102 |       19 |      408
1052.50/1052.94	c 1052s |      20 |  1443810 |   976027 |    22282    102 |       19 |      408
1054.60/1055.05	c 1054s |      20 |  1446062 |   977627 |    22282    102 |       19 |      408
1056.59/1057.06	c 1056s |      20 |  1448143 |   979127 |    22282    102 |       19 |      408
1058.59/1059.08	c 1058s |      20 |  1450096 |   980627 |    22282    102 |       19 |      408
1060.69/1061.14	c 1060s |      20 |  1452127 |   982127 |    22282    102 |       19 |      408
1062.79/1063.21	c 1062s |      20 |  1453814 |   983527 |    22282    103 |       19 |      408
1064.79/1065.24	c 1064s |      20 |  1455830 |   985127 |    22282    103 |       19 |      408
1066.79/1067.26	c 1066s |      20 |  1458050 |   986827 |    22282    103 |       19 |      408
1068.90/1069.35	c 1068s |      20 |  1460386 |   988627 |    22282    103 |       19 |      408
1070.89/1071.37	c 1070s |      20 |  1462658 |   990127 |    22282    103 |       19 |      408
1072.99/1073.42	c 1072s |      20 |  1464621 |   991627 |    22282    103 |       19 |      408
1075.09/1075.56	c 1075s |      20 |  1466527 |   993127 |    22282    103 |       19 |      408
1077.19/1077.64	c 1077s |      20 |  1468277 |   994527 |    24511    103 |       19 |      408
1079.19/1079.69	c 1079s |      20 |  1470330 |   995927 |    24511    103 |       19 |      408
1081.29/1081.71	c 1081s |      20 |  1471879 |   997127 |    24511    104 |       19 |      408
1083.28/1083.74	c 1083s |      20 |  1474028 |   998927 |    24511    104 |       19 |      408
1084.88/1085.34	c 1084s |      21 |  1475680 |  1000345 |    24511    104 |       19 |      408
1086.88/1087.37	c 1086s |      21 |  1477137 |  1001045 |    24511    104 |       19 |      408
1088.98/1089.41	c 1088s |      21 |  1479347 |  1002545 |    24511    104 |       19 |      408
1090.98/1091.42	c 1090s |      21 |  1481447 |  1003945 |    24511    104 |       19 |      408
1093.09/1093.53	c 1093s |      21 |  1483502 |  1005345 |    24511    104 |       19 |      408
1095.08/1095.58	c 1095s |      21 |  1485278 |  1006745 |    24511    104 |       19 |      408
1097.18/1097.62	c 1097s |      21 |  1487402 |  1008345 |    24511    104 |       19 |      408
1099.19/1099.66	c 1099s |      21 |  1489427 |  1009845 |    24511    104 |       19 |      408
1101.39/1101.85	c 1101s |      21 |  1491152 |  1011245 |    24511    105 |       19 |      408
1103.38/1103.90	c 1103s |      21 |  1493314 |  1013045 |    24511    105 |       19 |      408
1105.48/1105.90	c 1105s |      21 |  1495683 |  1014745 |    24511    105 |       19 |      408
1107.58/1108.00	c 1107s |      21 |  1497929 |  1016545 |    24511    105 |       19 |      408
1109.59/1110.04	c 1109s |      21 |  1500319 |  1018445 |    24511    105 |       19 |      408
1111.68/1112.15	c 1111s |      21 |  1501683 |  1019445 |    24511    105 |       19 |      408
1113.68/1114.18	c 1113s |      21 |  1503662 |  1020745 |    24511    105 |       19 |      408
1115.77/1116.28	c 1115s |      21 |  1505637 |  1021745 |    24511    105 |       19 |      408
1117.98/1118.42	c 1117s |      21 |  1507311 |  1022945 |    24511    106 |       19 |      408
1120.08/1120.53	c 1120s |      21 |  1510164 |  1024945 |    24511    106 |       19 |      408
1122.08/1122.54	c 1122s |      21 |  1512857 |  1026845 |    24511    106 |       19 |      408
1124.08/1124.57	c 1124s |      21 |  1515617 |  1028745 |    24511    106 |       19 |      408
1126.09/1126.58	c 1126s |      21 |  1518349 |  1030645 |    24511    106 |       19 |      408
1128.19/1128.68	c 1128s |      21 |  1521061 |  1032645 |    24511    106 |       19 |      408
1130.28/1130.73	c 1130s |      21 |  1523437 |  1034145 |    24511    106 |       19 |      408
1132.38/1132.81	c 1132s |      21 |  1525951 |  1035645 |    24511    107 |       19 |      408
1134.48/1134.94	c 1134s |      21 |  1529029 |  1037645 |    24511    107 |       19 |      408
1136.58/1137.02	c 1136s |      21 |  1531782 |  1039545 |    24511    107 |       19 |      408
1138.68/1139.13	c 1138s |      21 |  1534464 |  1041545 |    24511    107 |       19 |      408
1140.78/1141.28	c 1140s |      21 |  1536598 |  1043045 |    24511    107 |       19 |      408
1142.88/1143.35	c 1142s |      21 |  1539202 |  1044645 |    24511    107 |       19 |      408
1144.97/1145.41	c 1144s |      21 |  1541350 |  1046145 |    24511    107 |       19 |      408
1146.98/1147.47	c 1147s |      21 |  1543588 |  1047845 |    24511    108 |       19 |      408
1149.18/1149.61	c 1149s |      21 |  1546646 |  1050145 |    24511    108 |       19 |      408
1151.17/1151.65	c 1151s |      21 |  1549015 |  1051845 |    24511    108 |       19 |      408
1153.17/1153.68	c 1153s |      21 |  1551365 |  1053645 |    24511    108 |       19 |      408
1155.17/1155.69	c 1155s |      21 |  1553462 |  1055245 |    24511    108 |       19 |      408
1157.17/1157.69	c 1157s |      21 |  1555886 |  1056945 |    24511    108 |       19 |      408
1159.27/1159.74	c 1159s |      21 |  1558057 |  1058445 |    24511    108 |       19 |      408
1161.27/1161.75	c 1161s |      21 |  1559951 |  1059945 |    24511    108 |       19 |      408
1163.37/1163.82	c 1163s |      21 |  1562249 |  1061845 |    24511    109 |       19 |      408
1165.37/1165.84	c 1165s |      21 |  1564440 |  1063545 |    24511    109 |       19 |      408
1167.47/1167.90	c 1167s |      21 |  1566647 |  1065345 |    24511    109 |       19 |      408
1169.47/1169.95	c 1169s |      21 |  1568657 |  1066945 |    24511    109 |       19 |      408
1171.57/1172.02	c 1171s |      21 |  1570854 |  1068745 |    24511    109 |       19 |      408
1173.67/1174.11	c 1173s |      21 |  1572968 |  1070445 |    24511    109 |       19 |      408
1175.67/1176.14	c 1175s |      21 |  1574962 |  1072145 |    24511    109 |       19 |      408
1177.68/1178.18	c 1177s |      21 |  1576985 |  1073845 |    24511    110 |       19 |      408
1179.77/1180.20	c 1179s |      21 |  1579503 |  1076045 |    24511    110 |       19 |      408
1184.07/1184.55	c 1184s |      21 |  1581088 |  1077345 |    24511    110 |       19 |      408
1186.17/1186.60	c 1186s |      21 |  1582210 |  1078045 |    24511    110 |       19 |      408
1188.17/1188.69	c 1188s |      21 |  1584930 |  1079645 |    24511    110 |       19 |      408
1190.27/1190.74	c 1190s |      21 |  1587236 |  1081345 |    24511    110 |       19 |      408
1192.27/1192.76	c 1192s |      21 |  1589350 |  1082845 |    24511    110 |       19 |      408
1194.37/1194.81	c 1194s |      21 |  1591696 |  1084445 |    24511    110 |       19 |      408
1196.37/1196.90	c 1196s |      21 |  1593644 |  1085945 |    24511    111 |       19 |      408
1198.46/1198.92	c 1198s |      21 |  1595907 |  1087545 |    24511    111 |       19 |      408
1200.56/1201.02	c 1200s |      21 |  1598486 |  1089245 |    24511    111 |       19 |      408
1202.56/1203.09	c 1202s |      21 |  1601150 |  1091145 |    24511    111 |       19 |      408
1204.76/1205.21	c 1204s |      21 |  1604296 |  1092945 |    24511    111 |       19 |      408
1206.87/1207.32	c 1206s |      21 |  1606729 |  1094945 |    24511    111 |       19 |      408
1208.87/1209.36	c 1208s |      21 |  1608894 |  1096645 |    24511    111 |       19 |      408
1210.96/1211.46	c 1211s |      21 |  1610841 |  1098145 |    24511    111 |       19 |      408
1213.06/1213.58	c 1213s |      21 |  1612877 |  1099745 |    24511    112 |       19 |      408
1215.17/1215.63	c 1215s |      21 |  1615624 |  1101945 |    24511    112 |       19 |      408
1217.16/1217.65	c 1217s |      21 |  1618028 |  1103845 |    24511    112 |       19 |      408
1219.27/1219.74	c 1219s |      21 |  1620560 |  1105545 |    24511    112 |       19 |      408
1221.27/1221.76	c 1221s |      21 |  1622951 |  1107345 |    24511    112 |       19 |      408
1223.37/1223.81	c 1223s |      21 |  1625076 |  1109045 |    24511    112 |       19 |      408
1225.36/1225.89	c 1225s |      21 |  1627306 |  1110745 |    24511    112 |       19 |      408
1227.46/1227.96	c 1227s |      21 |  1629866 |  1112645 |    24511    113 |       19 |      408
1229.56/1230.03	c 1229s |      21 |  1632569 |  1114845 |    24511    113 |       19 |      408
1231.57/1232.05	c 1231s |      21 |  1635022 |  1116745 |    24511    113 |       19 |      408
1233.56/1234.07	c 1233s |      21 |  1637566 |  1118745 |    24511    113 |       19 |      408
1235.66/1236.10	c 1235s |      21 |  1639777 |  1120545 |    24511    113 |       19 |      408
1237.76/1238.20	c 1237s |      21 |  1642107 |  1122545 |    24511    113 |       19 |      408
1239.96/1240.47	c 1240s |      21 |  1642576 |  1122845 |    24511    113 |       19 |      408
1242.15/1242.65	c 1242s |      21 |  1643705 |  1123645 |    24511    114 |       19 |      408
1244.26/1244.73	c 1244s |      21 |  1646382 |  1125745 |    24511    114 |       19 |      408
1246.26/1246.79	c 1246s |      21 |  1648936 |  1127745 |    24511    114 |       19 |      408
1248.36/1248.83	c 1248s |      21 |  1651397 |  1129545 |    24511    114 |       19 |      408
1250.46/1250.94	c 1250s |      21 |  1653745 |  1131245 |    24511    114 |       19 |      408
1252.57/1253.05	c 1252s |      21 |  1656794 |  1133045 |    24511    114 |       19 |      408
1254.66/1255.12	c 1254s |      21 |  1658884 |  1134545 |    24511    114 |       19 |      408
1256.66/1257.16	c 1256s |      21 |  1661095 |  1136145 |    24511    114 |       19 |      408
1258.76/1259.21	c 1258s |      21 |  1663813 |  1138145 |    24511    115 |       19 |      408
1260.75/1261.28	c 1260s |      21 |  1666406 |  1140045 |    24511    115 |       19 |      408
1262.85/1263.39	c 1262s |      21 |  1668782 |  1141845 |    24511    115 |       19 |      408
1264.95/1265.48	c 1265s |      21 |  1671222 |  1143745 |    24511    115 |       19 |      408
1267.05/1267.54	c 1267s |      21 |  1673588 |  1145545 |    24511    115 |       19 |      408
1269.15/1269.61	c 1269s |      21 |  1675622 |  1147145 |    24511    115 |       19 |      408
1271.16/1271.62	c 1271s |      21 |  1677653 |  1148845 |    24511    115 |       19 |      408
1273.26/1273.70	c 1273s |      21 |  1679968 |  1150745 |    24511    116 |       19 |      408
1275.26/1275.78	c 1275s |      21 |  1682742 |  1152845 |    24511    116 |       19 |      408
1277.36/1277.86	c 1277s |      21 |  1685351 |  1154945 |    24511    116 |       19 |      408
1279.45/1279.94	c 1279s |      21 |  1687707 |  1156845 |    24511    116 |       19 |      408
1281.45/1281.94	c 1281s |      21 |  1689811 |  1158745 |    24511    116 |       19 |      408
1283.55/1284.08	c 1283s |      21 |  1690892 |  1159545 |    24511    116 |       19 |      408
1285.65/1286.18	c 1285s |      21 |  1692911 |  1161045 |    24511    116 |       19 |      408
1287.76/1288.27	c 1287s |      21 |  1694849 |  1162445 |    24511    117 |       19 |      408
1289.86/1290.34	c 1289s |      21 |  1697754 |  1164645 |    24511    117 |       19 |      408
1291.95/1292.46	c 1292s |      21 |  1700551 |  1166545 |    24511    117 |       19 |      408
1293.95/1294.48	c 1294s |      21 |  1703097 |  1168345 |    24511    117 |       19 |      408
1295.95/1296.48	c 1296s |      21 |  1705481 |  1170145 |    24511    117 |       19 |      408
1298.04/1298.57	c 1298s |      21 |  1707733 |  1171945 |    24511    117 |       19 |      408
1300.14/1300.65	c 1300s |      21 |  1709871 |  1173745 |    24511    117 |       19 |      408
1302.14/1302.66	c 1302s |      21 |  1712032 |  1175545 |    24511    118 |       19 |      408
1304.25/1304.71	c 1304s |      21 |  1714523 |  1177445 |    24511    118 |       19 |      408
1306.24/1306.71	c 1306s |      21 |  1716858 |  1179345 |    24511    118 |       19 |      408
1308.34/1308.80	c 1308s |      21 |  1719290 |  1181045 |    24511    118 |       19 |      408
1310.34/1310.81	c 1310s |      21 |  1721275 |  1182545 |    24511    118 |       19 |      408
1312.34/1312.85	c 1312s |      21 |  1723231 |  1184045 |    24511    118 |       19 |      408
1314.44/1314.92	c 1314s |      21 |  1725098 |  1185545 |    24511    118 |       19 |      408
1316.54/1317.02	c 1316s |      21 |  1726963 |  1187045 |    24511    119 |       19 |      408
1318.55/1319.08	c 1318s |      21 |  1727864 |  1187645 |    24511    119 |       19 |      408
1320.65/1321.15	c 1320s |      21 |  1730578 |  1189845 |    24511    119 |       19 |      408
1322.64/1323.19	c 1322s |      21 |  1733006 |  1191845 |    24511    119 |       19 |      408
1324.74/1325.28	c 1324s |      21 |  1735495 |  1193845 |    24511    119 |       19 |      408
1326.84/1327.37	c 1326s |      21 |  1737715 |  1195745 |    24511    119 |       19 |      408
1328.94/1329.48	c 1329s |      21 |  1739685 |  1197245 |    24511    119 |       19 |      408
1331.05/1331.55	c 1331s |      21 |  1741715 |  1198745 |    24511    119 |       19 |      408
1333.14/1333.61	c 1333s |      21 |  1744001 |  1200445 |    24511    120 |       19 |      408
1335.14/1335.65	c 1335s |      21 |  1746264 |  1202345 |    24511    120 |       19 |      408
1337.15/1337.66	c 1337s |      21 |  1748722 |  1204145 |    24511    120 |       19 |      408
1339.14/1339.67	c 1339s |      21 |  1751083 |  1205945 |    24511    120 |       19 |      408
1341.24/1341.77	c 1341s |      21 |  1753318 |  1207845 |    24511    120 |       19 |      408
1343.24/1343.78	c 1343s |      21 |  1755465 |  1209645 |    24511    120 |       19 |      408
1345.34/1345.83	c 1345s |      21 |  1757463 |  1211345 |    24511    120 |       19 |      408
1348.34/1348.84	c 1348s |      21 |  1759343 |  1212945 |    24511    121 |       19 |      408
1350.35/1350.86	c 1350s |      21 |  1762152 |  1214945 |    24511    121 |       19 |      408
1352.34/1352.88	c 1352s |      21 |  1764939 |  1217045 |    24511    121 |       19 |      408
1354.44/1354.99	c 1354s |      21 |  1767649 |  1219245 |    24511    121 |       19 |      408
1356.64/1357.10	c 1356s |      21 |  1770170 |  1221345 |    24511    121 |       19 |      408
1358.63/1359.18	c 1358s |      21 |  1772588 |  1223345 |    24511    121 |       19 |      408
1360.63/1361.20	c 1360s |      21 |  1774743 |  1225145 |    24511    121 |       19 |      408
1362.73/1363.26	c 1362s |      21 |  1777109 |  1227045 |    24511    122 |       19 |      408
1364.83/1365.33	c 1364s |      21 |  1779997 |  1229345 |    24511    122 |       19 |      408
1366.84/1367.36	c 1366s |      21 |  1782484 |  1231545 |    24511    122 |       19 |      408
1368.93/1369.41	c 1368s |      21 |  1784773 |  1233445 |    24511    122 |       19 |      408
1370.93/1371.49	c 1371s |      21 |  1786990 |  1235345 |    24511    122 |       19 |      408
1373.03/1373.56	c 1373s |      21 |  1789297 |  1237245 |    24511    122 |       19 |      408
1375.03/1375.59	c 1375s |      21 |  1791452 |  1239045 |    24511    123 |       19 |      408
1377.03/1377.59	c 1377s |      21 |  1793843 |  1241145 |    24511    123 |       19 |      408
1379.13/1379.61	c 1379s |      21 |  1796270 |  1243145 |    24511    123 |       19 |      408
1381.14/1381.69	c 1381s |      21 |  1798448 |  1245045 |    24511    123 |       19 |      408
1383.23/1383.79	c 1383s |      21 |  1800828 |  1247045 |    24511    123 |       19 |      408
1385.33/1385.85	c 1385s |      21 |  1802986 |  1248945 |    24511    123 |       19 |      408
1387.53/1388.06	c 1387s |      21 |  1804871 |  1250645 |    24511    124 |       19 |      408
1395.63/1396.16	c 1395s |      21 |  1806467 |  1252045 |    24511    124 |      100 |      720
1399.03/1399.53	c 1399s |      21 |  1806658 |  1252145 |    24511    124 |      100 |      720
1401.04/1401.58	c 1401s |      21 |  1812222 |  1255245 |    24511    124 |      100 |      720
1403.03/1403.59	c 1403s |      21 |  1815995 |  1258045 |    24511    124 |      100 |      720
1405.13/1405.60	c 1405s |      21 |  1819920 |  1260845 |    24511    124 |      100 |      720
1407.13/1407.64	c 1407s |      21 |  1823484 |  1263145 |    24511    124 |      100 |      720
1409.23/1409.71	c 1409s |      21 |  1826995 |  1265445 |    24511    124 |      100 |      720
1411.23/1411.78	c 1411s |      21 |  1830384 |  1267845 |    24511    124 |      100 |      720
1413.33/1413.86	c 1413s |      21 |  1833094 |  1269845 |    24511    124 |      100 |      720
1415.34/1415.87	c 1415s |      21 |  1835247 |  1271645 |    24511    124 |      100 |      720
1417.44/1417.91	c 1417s |      21 |  1837412 |  1273345 |    24511    124 |      100 |      720
1419.53/1420.00	c 1419s |      21 |  1839907 |  1274945 |    24511    124 |      100 |      720
1421.63/1422.18	c 1421s |      21 |  1842121 |  1276645 |    24511    125 |      100 |      720
1423.73/1424.27	c 1423s |      21 |  1844837 |  1278745 |    24511    125 |      100 |      720
1425.83/1426.33	c 1425s |      21 |  1847352 |  1280845 |    24511    125 |      100 |      720
1427.83/1428.33	c 1427s |      21 |  1849795 |  1282745 |    24511    125 |      100 |      720
1429.83/1430.33	c 1429s |      21 |  1852068 |  1284545 |    24511    125 |      100 |      720
1431.83/1432.39	c 1431s |      21 |  1854142 |  1286345 |    24511    125 |      100 |      720
1434.03/1434.52	c 1434s |      21 |  1856324 |  1288045 |    24511    125 |      100 |      720
1436.03/1436.57	c 1436s |      21 |  1857635 |  1288945 |    24511    126 |      100 |      720
1438.12/1438.61	c 1438s |      21 |  1860312 |  1290745 |    24511    126 |      100 |      720
1440.12/1440.62	c 1440s |      21 |  1862746 |  1292745 |    24511    126 |      100 |      720
1443.93/1444.43	c 1444s |      21 |  1864526 |  1293945 |    24511    126 |      100 |      720
1446.43/1446.99	c 1446s |      21 |  1865358 |  1294445 |    24511    126 |      100 |      720
1448.52/1449.09	c 1448s |      21 |  1868288 |  1296445 |    24511    126 |      100 |      720
1450.62/1451.18	c 1450s |      21 |  1871053 |  1298445 |    24511    126 |      100 |      720
1452.73/1453.23	c 1452s |      21 |  1873719 |  1300545 |    24511    126 |      100 |      720
1454.82/1455.34	c 1454s |      21 |  1875577 |  1301945 |    24511    127 |      100 |      720
1456.83/1457.38	c 1456s |      21 |  1878063 |  1303745 |    24511    127 |      100 |      720
1458.92/1459.40	c 1458s |      21 |  1880371 |  1305445 |    24511    127 |      102 |      728
1461.02/1461.50	c 1461s |      21 |  1882814 |  1307345 |    24511    127 |      102 |      728
1463.02/1463.51	c 1463s |      21 |  1885197 |  1309045 |    24511    127 |      102 |      728
1465.02/1465.59	c 1465s |      21 |  1887605 |  1310945 |    24511    127 |      102 |      728
1467.12/1467.68	c 1467s |      21 |  1889747 |  1312645 |    24511    127 |      102 |      728
1469.23/1469.71	c 1469s |      21 |  1891977 |  1314345 |    24511    127 |      102 |      728
1471.22/1471.72	c 1471s |      21 |  1894470 |  1316345 |    24511    128 |      102 |      728
1473.22/1473.74	c 1473s |      21 |  1897325 |  1318645 |    24511    128 |      102 |      728
1475.31/1475.80	c 1475s |      21 |  1899889 |  1320845 |    24511    128 |      102 |      728
1477.82/1478.34	c 1477s |      21 |  1902177 |  1322745 |    24511    128 |      102 |      728
1479.81/1480.37	c 1479s |      21 |  1903537 |  1323445 |    24511    128 |      102 |      728
1481.91/1482.41	c 1481s |      21 |  1906440 |  1325045 |    24511    128 |      102 |      728
1483.91/1484.46	c 1484s |      21 |  1909360 |  1326645 |    24511    128 |      102 |      728
1486.01/1486.54	c 1486s |      21 |  1911563 |  1328245 |    24511    129 |      102 |      728
1488.02/1488.58	c 1488s |      21 |  1914814 |  1330445 |    24511    129 |      102 |      728
1490.02/1490.59	c 1490s |      21 |  1917416 |  1332545 |    24511    129 |      102 |      728
1492.12/1492.61	c 1492s |      21 |  1919811 |  1334145 |    24511    129 |      102 |      728
1494.12/1494.64	c 1494s |      21 |  1922076 |  1335745 |    24511    129 |      102 |      728
1496.22/1496.71	c 1496s |      21 |  1924488 |  1337545 |    24511    129 |      102 |      728
1498.21/1498.74	c 1498s |      21 |  1926890 |  1339345 |    24511    129 |      102 |      728
1500.31/1500.83	c 1500s |      21 |  1929156 |  1340845 |    24511    130 |      102 |      728
1502.32/1502.83	c 1502s |      21 |  1931815 |  1342945 |    24511    130 |      102 |      728
1504.32/1504.88	c 1504s |      21 |  1934534 |  1345145 |    24511    130 |      102 |      728
1506.32/1506.88	c 1506s |      21 |  1936993 |  1347145 |    24511    130 |      102 |      728
1508.41/1508.96	c 1508s |      21 |  1939430 |  1349045 |    24511    130 |      102 |      728
1510.51/1511.00	c 1510s |      21 |  1941883 |  1351045 |    24511    130 |      102 |      728
1512.51/1513.01	c 1512s |      21 |  1944241 |  1352845 |    24511    131 |      102 |      728
1514.61/1515.10	c 1514s |      21 |  1947214 |  1355245 |    24511    131 |      102 |      728
1516.61/1517.19	c 1516s |      21 |  1950167 |  1357645 |    24511    131 |      102 |      728
1518.72/1519.27	c 1518s |      21 |  1953064 |  1360045 |    24511    131 |      102 |      728
1521.11/1521.69	c 1521s |      21 |  1953346 |  1360245 |    24511    131 |      102 |      728
1523.21/1523.76	c 1523s |      21 |  1955351 |  1361745 |    24511    131 |      102 |      728
1525.22/1525.77	c 1525s |      21 |  1957731 |  1363345 |    24511    131 |      102 |      728
1527.31/1527.83	c 1527s |      21 |  1960088 |  1365045 |    24511    131 |      102 |      728
1529.50/1530.01	c 1529s |      21 |  1962627 |  1366945 |    24511    132 |      102 |      728
1531.60/1532.14	c 1531s |      21 |  1965462 |  1368945 |    24511    132 |      102 |      728
1533.61/1534.17	c 1533s |      21 |  1967799 |  1370945 |    24511    132 |      102 |      728
1535.61/1536.18	c 1535s |      21 |  1970248 |  1372745 |    24511    132 |      102 |      728
1537.71/1538.21	c 1537s |      21 |  1972448 |  1374445 |    24511    132 |      102 |      728
1539.71/1540.25	c 1539s |      21 |  1974822 |  1376245 |    24511    132 |      102 |      728
1541.90/1542.42	c 1541s |      21 |  1976854 |  1377945 |    24511    133 |      102 |      728
1543.91/1544.49	c 1544s |      21 |  1979725 |  1380145 |    24511    133 |      102 |      728
1545.90/1546.49	c 1546s |      21 |  1982255 |  1382245 |    24511    133 |      102 |      728
1548.00/1548.52	c 1548s |      21 |  1984533 |  1384245 |    24511    133 |      102 |      728
1550.00/1550.56	c 1550s |      21 |  1986846 |  1386245 |    24511    133 |      102 |      728
1552.10/1552.64	c 1552s |      21 |  1989143 |  1388345 |    24511    133 |      102 |      728
1554.21/1554.77	c 1554s |      21 |  1990332 |  1389245 |    24511    133 |      102 |      728
1556.40/1556.95	c 1556s |      21 |  1992238 |  1390545 |    24511    134 |      102 |      728
1558.50/1559.01	c 1558s |      21 |  1995079 |  1392745 |    24511    134 |      102 |      728
1560.51/1561.04	c 1560s |      21 |  1997519 |  1394745 |    24511    134 |      102 |      728
1562.50/1563.09	c 1562s |      21 |  1999945 |  1396645 |    24511    134 |      102 |      728
1564.60/1565.11	c 1564s |      21 |  2002348 |  1398445 |    24511    134 |      102 |      728
1566.70/1567.22	c 1566s |      21 |  2004650 |  1400345 |    24511    134 |      102 |      728
1568.70/1569.22	c 1568s |      21 |  2006991 |  1402145 |    24511    134 |      102 |      728
1570.79/1571.30	c 1570s |      21 |  2009316 |  1404045 |    24511    135 |      102 |      728
1572.79/1573.34	c 1572s |      21 |  2012182 |  1406445 |    24511    135 |      102 |      728
1574.80/1575.35	c 1574s |      21 |  2015076 |  1408945 |    24511    135 |      102 |      728
1576.90/1577.43	c 1576s |      21 |  2016846 |  1410345 |    24511    135 |      102 |      728
1578.89/1579.48	c 1579s |      21 |  2019139 |  1412245 |    24511    135 |      102 |      728
1580.99/1581.59	c 1581s |      21 |  2021145 |  1413845 |    24511    135 |      102 |      728
1583.09/1583.63	c 1583s |      21 |  2023128 |  1415445 |    24511    135 |      102 |      728
1585.09/1585.65	c 1585s |      21 |  2025203 |  1417145 |    24511    136 |      102 |      728
1587.09/1587.65	c 1587s |      21 |  2027371 |  1419045 |    24511    136 |      102 |      728
1589.19/1589.75	c 1589s |      21 |  2029618 |  1420745 |    24511    136 |      102 |      728
1591.30/1591.82	c 1591s |      21 |  2032029 |  1422645 |    24511    136 |      102 |      728
1593.29/1593.85	c 1593s |      21 |  2034309 |  1424445 |    24511    136 |      102 |      728
1595.39/1595.95	c 1595s |      21 |  2036332 |  1426145 |    24511    136 |      102 |      728
1597.39/1597.97	c 1597s |      21 |  2038413 |  1427845 |    24511    136 |      102 |      728
1599.49/1600.01	c 1599s |      21 |  2040387 |  1429445 |    24511    137 |      102 |      728
1601.48/1602.08	c 1601s |      21 |  2042830 |  1431545 |    24511    137 |      102 |      728
1603.58/1604.13	c 1603s |      21 |  2045131 |  1433545 |    24511    137 |      102 |      728
1605.68/1606.24	c 1605s |      21 |  2047340 |  1435345 |    24511    137 |      102 |      728
1607.80/1608.34	c 1607s |      21 |  2049351 |  1437045 |    24511    137 |      102 |      728
1609.79/1610.37	c 1609s |      21 |  2051283 |  1438745 |    24511    137 |      102 |      728
1611.99/1612.50	c 1612s |      21 |  2053434 |  1440645 |    24511    137 |      102 |      728
1613.99/1614.50	c 1614s |      21 |  2055291 |  1442345 |    24511    138 |      102 |      728
1615.99/1616.52	c 1616s |      21 |  2057634 |  1444345 |    24511    138 |      102 |      728
1617.99/1618.53	c 1618s |      21 |  2059767 |  1446245 |    24511    138 |      102 |      728
1620.09/1620.61	c 1620s |      21 |  2062083 |  1448345 |    24511    138 |      102 |      728
1622.18/1622.70	c 1622s |      21 |  2064124 |  1450145 |    24511    138 |      102 |      728
1624.19/1624.78	c 1624s |      21 |  2066257 |  1452045 |    24511    138 |      102 |      728
1626.28/1626.83	c 1626s |      21 |  2068221 |  1453745 |    24511    138 |      102 |      728
1637.89/1638.40	c 1637s |      21 |  2070269 |  1455245 |    24511    139 |      181 |     1032
1639.89/1640.46	c 1640s |      21 |  2072202 |  1456445 |    24511    139 |      181 |     1032
1641.99/1642.50	c 1642s |      21 |  2076208 |  1459245 |    24511    139 |      181 |     1032
1643.99/1644.56	c 1644s |      21 |  2080187 |  1461945 |    24511    139 |      181 |     1032
1646.09/1646.60	c 1646s |      21 |  2083482 |  1464545 |    24511    139 |      181 |     1032
1648.08/1648.69	c 1648s |      21 |  2086768 |  1466645 |    24511    139 |      181 |     1032
1650.18/1650.76	c 1650s |      21 |  2089641 |  1468745 |    24511    139 |      181 |     1032
1652.28/1652.88	c 1652s |      21 |  2092213 |  1470645 |    24511    139 |      181 |     1032
1654.28/1654.89	c 1654s |      21 |  2094414 |  1472345 |    24511    139 |      181 |     1032
1656.38/1656.99	c 1656s |      21 |  2096860 |  1474245 |    24511    139 |      181 |     1032
1658.48/1659.02	c 1658s |      21 |  2098997 |  1476045 |    24511    139 |      181 |     1032
1660.59/1661.13	c 1660s |      21 |  2101130 |  1477745 |    24511    139 |      181 |     1032
1662.58/1663.20	c 1662s |      21 |  2103450 |  1479345 |    24511    139 |      181 |     1032
1664.68/1665.24	c 1664s |      21 |  2105511 |  1480845 |    24511    140 |      181 |     1032
1666.78/1667.33	c 1666s |      21 |  2108002 |  1482745 |    24511    140 |      182 |     1036
1668.78/1669.33	c 1668s |      21 |  2108720 |  1483345 |    24511    140 |      182 |     1036
1670.88/1671.45	c 1671s |      21 |  2110959 |  1485045 |    24511    140 |      182 |     1036
1672.88/1673.47	c 1673s |      21 |  2113175 |  1486745 |    24511    140 |      182 |     1036
1675.08/1675.60	c 1675s |      21 |  2115224 |  1488245 |    24511    140 |      182 |     1036
1677.18/1677.74	c 1677s |      21 |  2117242 |  1489745 |    24511    140 |      182 |     1036
1679.19/1679.80	c 1679s |      21 |  2119359 |  1491445 |    26963    140 |      182 |     1036
1681.28/1681.88	c 1681s |      21 |  2121359 |  1493145 |    26963    140 |      182 |     1036
1683.59/1684.19	c 1683s |      21 |  2123552 |  1494745 |    26963    141 |      182 |     1036
1685.68/1686.23	c 1685s |      21 |  2125905 |  1496645 |    26963    141 |      182 |     1036
1687.68/1688.29	c 1687s |      21 |  2128372 |  1498745 |    26963    141 |      182 |     1036
1689.78/1690.37	c 1689s |      21 |  2130507 |  1500545 |    26963    141 |      182 |     1036
1689.88/1690.47	c 1690s |      22 |  2130608 |  1500622 |    26963    141 |      182 |     1036
1691.88/1692.49	c 1692s |      22 |  2132881 |  1502122 |    26963    141 |      182 |     1036
1693.97/1694.50	c 1694s |      22 |  2135143 |  1503922 |    26963    141 |      182 |     1036
1696.07/1696.61	c 1696s |      22 |  2137409 |  1505522 |    26963    141 |      182 |     1036
1698.17/1698.71	c 1698s |      22 |  2139510 |  1507122 |    26963    141 |      182 |     1036
1700.18/1700.72	c 1700s |      22 |  2141008 |  1508322 |    26963    142 |      182 |     1036
1702.57/1703.10	c 1702s |      22 |  2141300 |  1508522 |    26963    142 |      182 |     1036
1704.58/1705.19	c 1704s |      22 |  2144369 |  1510522 |    26963    142 |      182 |     1036
1706.68/1707.26	c 1706s |      22 |  2146894 |  1512622 |    26963    142 |      182 |     1036
1708.78/1709.36	c 1708s |      22 |  2149505 |  1514722 |    26963    142 |      182 |     1036
1710.88/1711.44	c 1711s |      22 |  2151699 |  1516622 |    26963    142 |      182 |     1036
1712.88/1713.47	c 1713s |      22 |  2153718 |  1518222 |    26963    142 |      182 |     1036
1714.98/1715.55	c 1715s |      22 |  2155845 |  1519922 |    26963    142 |      182 |     1036
1717.08/1717.61	c 1717s |      22 |  2157845 |  1521522 |    26963    142 |      182 |     1036
1719.07/1719.69	c 1719s |      22 |  2159779 |  1523122 |    26963    143 |      182 |     1036
1721.17/1721.71	c 1721s |      22 |  2162098 |  1525122 |    26963    143 |      182 |     1036
1723.18/1723.79	c 1723s |      22 |  2164101 |  1526622 |    26963    143 |      182 |     1036
1725.27/1725.88	c 1725s |      22 |  2166162 |  1528222 |    26963    143 |      182 |     1036
1727.47/1728.03	c 1727s |      22 |  2168285 |  1530022 |    26963    143 |      182 |     1036
1729.57/1730.10	c 1729s |      22 |  2170047 |  1531322 |    26963    143 |      182 |     1036
1731.57/1732.18	c 1731s |      22 |  2171825 |  1532722 |    26963    143 |      182 |     1036
1733.67/1734.24	c 1733s |      22 |  2174003 |  1534322 |    26963    143 |      182 |     1036
1735.77/1736.31	c 1735s |      22 |  2175875 |  1535922 |    26963    143 |      182 |     1036
1737.77/1738.31	c 1737s |      22 |  2177197 |  1537022 |    26963    144 |      182 |     1036
1739.77/1740.38	c 1739s |      22 |  2179566 |  1538922 |    26963    144 |      182 |     1036
1741.87/1742.46	c 1742s |      22 |  2181882 |  1540822 |    26963    144 |      182 |     1036
1743.97/1744.52	c 1744s |      22 |  2184083 |  1542722 |    26963    144 |      182 |     1036
1745.97/1746.55	c 1746s |      22 |  2185995 |  1544222 |    26963    144 |      182 |     1036
1747.97/1748.55	c 1748s |      22 |  2188316 |  1546022 |    26963    144 |      182 |     1036
1750.07/1750.65	c 1750s |      22 |  2190288 |  1547522 |    26963    144 |      182 |     1036
1752.17/1752.72	c 1752s |      22 |  2192293 |  1549122 |    26963    144 |      182 |     1036
1754.17/1754.75	c 1754s |      22 |  2194106 |  1550622 |    26963    145 |      182 |     1036
1756.17/1756.79	c 1756s |      22 |  2196539 |  1552622 |    26963    145 |      182 |     1036
1758.76/1759.32	c 1758s |      22 |  2199046 |  1554822 |    26963    145 |      182 |     1036
1760.86/1761.40	c 1760s |      22 |  2201234 |  1556622 |    26963    145 |      182 |     1036
1762.87/1763.46	c 1763s |      22 |  2203629 |  1558422 |    26963    145 |      182 |     1036
1764.97/1765.51	c 1765s |      22 |  2205911 |  1560222 |    26963    145 |      182 |     1036
1766.97/1767.54	c 1767s |      22 |  2207880 |  1561922 |    26963    145 |      182 |     1036
1769.07/1769.62	c 1769s |      22 |  2209742 |  1563522 |    26963    145 |      182 |     1036
1771.07/1771.63	c 1771s |      22 |  2211424 |  1564922 |    26963    146 |      182 |     1036
1773.16/1773.78	c 1773s |      22 |  2213773 |  1567022 |    26963    146 |      182 |     1036
1775.26/1775.83	c 1775s |      22 |  2216134 |  1568822 |    26963    146 |      182 |     1036
1777.26/1777.88	c 1777s |      22 |  2218430 |  1570722 |    26963    146 |      182 |     1036
1779.37/1779.98	c 1779s |      22 |  2220757 |  1572622 |    26963    146 |      182 |     1036
1781.47/1782.10	c 1781s |      22 |  2222866 |  1574522 |    26963    146 |      182 |     1036
1783.57/1784.14	c 1783s |      22 |  2224827 |  1576122 |    26963    146 |      182 |     1036
1785.56/1786.19	c 1785s |      22 |  2226724 |  1577722 |    26963    146 |      182 |     1036
1787.66/1788.28	c 1787s |      22 |  2228597 |  1579322 |    26963    147 |      182 |     1036
1789.76/1790.32	c 1789s |      22 |  2231038 |  1581422 |    26963    147 |      182 |     1036
1791.76/1792.34	c 1791s |      22 |  2233298 |  1583422 |    26963    147 |      182 |     1036
1793.76/1794.35	c 1793s |      22 |  2235306 |  1585222 |    26963    147 |      182 |     1036
1795.76/1796.39	c 1795s |      22 |  2237373 |  1587022 |    26963    147 |      182 |     1036
1797.86/1798.41	c 1797s |      22 |  2239239 |  1588722 |    26963    147 |      182 |     1036
1799.86/1800.42	c 1799s |      22 |  2241164 |  1590422 |    26963    147 |      182 |     1036

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

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

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


[startup+0 s]
/proc/loadavg: 1.35 1.83 1.92 5/178 30040
/proc/meminfo: memFree=31585352/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=454212 CPUtime=0 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 1646 0 0 0 0 0 0 0 20 0 4 0 14076670 465113088 2007 33554432000 4194304 16246674 140735437667552 140735437666976 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30040/statm: 114065 2017 442 2943 0 110959 0
[pid=30040/tid=30041] ppid=30034 vsize=470596 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 481890304 2071 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=474692 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 486084608 2088 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=478788 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14076671 490278912 2105 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100123 s]
/proc/loadavg: 1.35 1.83 1.92 5/178 30040
/proc/meminfo: memFree=31585352/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 25627 0 0 0 5 4 0 0 20 0 4 0 14076670 1249447936 25926 33554432000 4194304 16246674 140735437667552 140735437666864 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30040/statm: 305041 25926 802 2943 0 301935 0
[pid=30040/tid=30041] ppid=30034 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1249447936 25926 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1249447936 25926 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1249447936 25926 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200429 s]
/proc/loadavg: 1.35 1.83 1.92 5/178 30040
/proc/meminfo: memFree=31585352/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 46412 0 0 0 12 7 0 0 20 0 4 0 14076670 1333334016 46711 33554432000 4194304 16246674 140735437667552 140735437666864 12478189 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30040/statm: 325521 46723 836 2943 0 322415 0
[pid=30040/tid=30041] ppid=30034 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1333334016 46730 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1333334016 46742 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1333334016 46748 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300431 s]
/proc/loadavg: 1.35 1.83 1.92 5/178 30040
/proc/meminfo: memFree=31585352/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1302084 CPUtime=0.28 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 69934 0 0 0 18 10 0 0 20 0 4 0 14076670 1333334016 70234 33554432000 4194304 16246674 140735437667552 140735437666864 6155169 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30040/statm: 325521 70236 836 2943 0 322415 0
[pid=30040/tid=30041] ppid=30034 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1333334016 70240 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1333334016 70250 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1333334016 70256 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1302084

[startup+0.700332 s]
/proc/loadavg: 1.35 1.83 1.92 5/178 30040
/proc/meminfo: memFree=31585352/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1302084 CPUtime=0.69 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 140663 0 0 0 47 22 0 0 20 0 4 0 14076670 1333334016 140962 33554432000 4194304 16246674 140735437667552 140735437666864 5677541 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30040/statm: 325521 140969 878 2943 0 322415 0
[pid=30040/tid=30041] ppid=30034 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1333334016 140974 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1333334016 140975 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1333334016 140975 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50033 s]
/proc/loadavg: 1.35 1.83 1.92 3/183 30094
/proc/meminfo: memFree=30093560/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1311300 CPUtime=1.49 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 268851 0 0 0 110 39 0 0 20 0 4 0 14076670 1342771200 269150 33554432000 4194304 16246674 140735437667552 140735437666864 5667210 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30040/statm: 327825 269150 886 2943 0 324719 0
[pid=30040/tid=30041] ppid=30034 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1342771200 269150 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1342771200 269150 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1342771200 269150 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1311300

[startup+3.10034 s]
/proc/loadavg: 1.40 1.83 1.92 3/183 30094
/proc/meminfo: memFree=29524864/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1311300 CPUtime=3.09 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 268878 0 0 0 270 39 0 0 20 0 4 0 14076670 1342771200 269177 33554432000 4194304 16246674 140735437667552 140735437649472 13820907 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30040/statm: 327825 269177 886 2943 0 324719 0
[pid=30040/tid=30041] ppid=30034 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1342771200 269177 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1342771200 269177 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1342771200 269177 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1311300

[startup+6.30034 s]
/proc/loadavg: 1.40 1.83 1.92 3/183 30094
/proc/meminfo: memFree=29437996/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1311300 CPUtime=6.29 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 269007 0 0 0 590 39 0 0 20 0 4 0 14076670 1342771200 269306 33554432000 4194304 16246674 140735437667552 140735437649472 5545708 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30040/statm: 327825 269306 886 2943 0 324719 0
[pid=30040/tid=30041] ppid=30034 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1342771200 269306 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1342771200 269306 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1342771200 269306 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 1.49 1.83 1.92 3/183 30094
/proc/meminfo: memFree=29438404/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1311300 CPUtime=12.68 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 269011 0 0 0 1229 39 0 0 20 0 4 0 14076670 1342771200 269310 33554432000 4194304 16246674 140735437667552 140735437649472 13820888 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30040/statm: 327825 269310 888 2943 0 324719 0
[pid=30040/tid=30041] ppid=30034 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1342771200 269310 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1342771200 269310 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1342771200 269310 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5004 s]
/proc/loadavg: 1.57 1.84 1.92 3/183 30143
/proc/meminfo: memFree=29423596/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1318468 CPUtime=25.48 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 270803 0 0 0 2509 39 0 0 20 0 4 0 14076670 1350111232 271102 33554432000 4194304 16246674 140735437667552 140735437649472 5673837 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30040/statm: 329617 271102 888 2943 0 326511 0
[pid=30040/tid=30041] ppid=30034 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1350111232 271102 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1350111232 271102 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1350111232 271102 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 1.72 1.85 1.92 3/183 30143
/proc/meminfo: memFree=29415816/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1319492 CPUtime=51.07 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 270852 0 0 0 5068 39 0 0 20 0 4 0 14076670 1351159808 271151 33554432000 4194304 16246674 140735437667552 140735437649472 5823863 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30040/statm: 329873 271151 888 2943 0 326767 0
[pid=30040/tid=30041] ppid=30034 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1351159808 271151 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1351159808 271151 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1351159808 271151 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1319492

[startup+102.3 s]
/proc/loadavg: 1.43 1.76 1.88 2/174 30177
/proc/meminfo: memFree=30515836/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1325636 CPUtime=102.27 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 272595 0 0 0 10187 40 0 0 20 0 4 0 14076670 1357451264 272894 33554432000 4194304 16246674 140735437667552 140735437649472 5828829 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30040/statm: 331409 272894 888 2943 0 328303 0
[pid=30040/tid=30041] ppid=30034 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1357451264 272894 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1357451264 272894 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1357451264 272894 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1325636


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

/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1416171520 287234 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1382980

[startup+1302.3 s]
/proc/loadavg: 1.05 1.03 1.23 2/174 30207
/proc/meminfo: memFree=30456496/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1382980 CPUtime=1301.84 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 287284 0 0 0 130026 158 0 0 20 0 4 0 14076670 1416171520 287234 33554432000 4194304 16246674 140735437667552 140735437649472 5823262 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30040/statm: 345745 287234 889 2943 0 342639 0
[pid=30040/tid=30041] ppid=30034 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1416171520 287234 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1416171520 287234 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1416171520 287234 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1382980

[startup+1362.3 s]
/proc/loadavg: 1.01 1.02 1.21 2/173 30231
/proc/meminfo: memFree=30427508/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1410628 CPUtime=1361.84 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 294196 0 0 0 136022 162 0 0 20 0 4 0 14076670 1444483072 294146 33554432000 4194304 16246674 140735437667552 140735437649472 5672623 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30040/statm: 352657 294146 889 2943 0 349551 0
[pid=30040/tid=30041] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294146 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294146 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294146 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1410628

[startup+1422.3 s]
/proc/loadavg: 1.00 1.02 1.20 2/173 30233
/proc/meminfo: memFree=30428436/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1410628 CPUtime=1421.84 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 294197 0 0 0 142020 164 0 0 20 0 4 0 14076670 1444483072 294147 33554432000 4194304 16246674 140735437667552 140735437650544 13963936 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30040/statm: 352657 294147 890 2943 0 349551 0
[pid=30040/tid=30041] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1410628

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/173 30234
/proc/meminfo: memFree=30428556/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1410628 CPUtime=1481.81 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 294197 0 0 0 148006 175 0 0 20 0 4 0 14076670 1444483072 294147 33554432000 4194304 16246674 140735437667552 140735437649472 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30040/statm: 352657 294147 890 2943 0 349551 0
[pid=30040/tid=30041] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1410628

[startup+1542.31 s]
/proc/loadavg: 1.00 1.01 1.17 2/173 30235
/proc/meminfo: memFree=30428424/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1410628 CPUtime=1541.81 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 294197 0 0 0 153998 183 0 0 20 0 4 0 14076670 1444483072 294147 33554432000 4194304 16246674 140735437667552 140735437649472 13198659 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30040/statm: 352657 294147 890 2943 0 349551 0
[pid=30040/tid=30041] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1410628

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/173 30236
/proc/meminfo: memFree=30428176/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1410628 CPUtime=1601.78 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 294197 0 0 0 159990 188 0 0 20 0 4 0 14076670 1444483072 294147 33554432000 4194304 16246674 140735437667552 140735437650544 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30040/statm: 352657 294147 890 2943 0 349551 0
[pid=30040/tid=30041] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1410628

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/173 30237
/proc/meminfo: memFree=30428420/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1410628 CPUtime=1661.78 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 294197 0 0 0 165964 214 0 0 20 0 4 0 14076670 1444483072 294147 33554432000 4194304 16246674 140735437667552 140735437649472 5823428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30040/statm: 352657 294147 890 2943 0 349551 0
[pid=30040/tid=30041] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1410628

[startup+1722.3 s]
/proc/loadavg: 1.08 1.03 1.14 2/173 30239
/proc/meminfo: memFree=30428156/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1410628 CPUtime=1721.77 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 294197 0 0 0 171953 224 0 0 20 0 4 0 14076670 1444483072 294147 33554432000 4194304 16246674 140735437667552 140735437649472 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30040/statm: 352657 294147 890 2943 0 349551 0
[pid=30040/tid=30041] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1410628

[startup+1782.3 s]
/proc/loadavg: 1.21 1.08 1.15 2/173 30240
/proc/meminfo: memFree=30428020/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1410628 CPUtime=1781.77 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 294197 0 0 0 177947 230 0 0 20 0 4 0 14076670 1444483072 294147 33554432000 4194304 16246674 140735437667552 140735437649472 5667544 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30040/statm: 352657 294147 890 2943 0 349551 0
[pid=30040/tid=30041] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1410628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.16 1.08 1.15 2/173 30240
/proc/meminfo: memFree=30427900/32872528 swapFree=338160/354512
[pid=30040] ppid=30034 vsize=1410628 CPUtime=1800.06 cores=0,2,4,6
/proc/30040/stat : 30040 (toysat) R 30034 30040 27941 0 -1 4202496 294197 0 0 0 179776 230 0 0 20 0 4 0 14076670 1444483072 294147 33554432000 4194304 16246674 140735437667552 140735437649472 5523464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30040/statm: 352657 294147 890 2943 0 349551 0
[pid=30040/tid=30041] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30041/stat : 30041 (toysat) S 30034 30040 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247769787632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30040/tid=30042] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30042/stat : 30042 (toysat) S 30034 30040 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247759297776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30040/tid=30043] ppid=30034 vsize=1410628 CPUtime=0 cores=0,2,4,6
/proc/30040/task/30043/stat : 30043 (toysat) S 30034 30040 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14076671 1444483072 294147 33554432000 4194304 16246674 140735437667552 140247748824240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1410628

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1797.77
CPU system time (s): 2.30865
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 1410628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.77
system time used= 2.30865
maximum resident set size= 1176588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294197
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= 367
involuntary context switches= 2633

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3673 second user time and 14.6688 second system time

The end

Begin job on node126 at 2016-06-17 01:38:19
IDJOB=4098269
IDBENCH=107876
IDSOLVER=2542
FILE ID=node126/4098269-1466120299
RUNJOBID= node126-1466120299-30008
PBS_JOBID= 19904128
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= fc75568757442c2d7a8019d642ae1221
RANDOM SEED=1821579875

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.121
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:        31588944 kB
Buffers:           60968 kB
Cached:           162620 kB
SwapCached:         1752 kB
Active:           122280 kB
Inactive:         103560 kB
Active(anon):       4408 kB
Inactive(anon):      608 kB
Active(file):     117872 kB
Inactive(file):   102952 kB
Unevictable:      354512 kB
Mlocked:          338160 kB
SwapTotal:      67108856 kB
SwapFree:       67099252 kB
Dirty:             33084 kB
Writeback:            12 kB
AnonPages:        461280 kB
Mapped:             6936 kB
Shmem:                 0 kB
Slab:             570724 kB
SReclaimable:      14964 kB
SUnreclaim:       555760 kB
KernelStack:        1392 kB
PageTables:         4544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     451492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 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= 71724 MiB
End job on node126 at 2016-06-17 02:08:20