0.00/0.00	c 2016-06-17T00:56:10+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-4097436-1466117770.opb"]
0.00/0.01	c use --random-gen="1805703191 3497479692 3483210470 979704235 3949199680 2271369890 2569009961 4144268095 3169704542 1670681699 1434971505 2665743421 3499753903 1823975815 1920886449 1591726575 3902874260 2033112309 1532197254 2672939460 4025963732 1552120117 904908528 2336986077 1721231978 3683503703 1981948489 2804965877 998625697 2850247413 241933900 1326635721 4101918239 1411227888 2938681037 2509951119 4249460536 3364189661 355114232 3840370261 1530292303 834936883 2437033617 2372296072 4010717761 1846116264 4048439047 3450945955 2162343147 4286257890 1429186114 2132997437 1321475202 3046901912 2597785790 1028683857 4067290438 2246847295 2789319255 3558593457 3342120580 2632713052 2762241627 3572196030 3033227964 2211701708 2952732941 927877199 3007900134 1155009611 2933107705 2641521644 2771166139 3495675610 1283442462 3780943003 3369274421 2696743998 2933570229 2243794545 1419507701 3841221779 3384056728 3912102035 3473952328 2110563983 3371883245 3300208454 4189375296 1926972391 812426284 2629364159 2646605811 1761621806 3645658778 1489192173 1599970788 865456210 1012737595 2635891010 670694419 467838104 1240404502 2761072315 3526088498 3477929254 3887407771 3473726702 1865793180 2020031998 607978341 591664305 1602928047 583069159 1434028981 1239454333 2671085495 3136202907 256829303 1994098264 3343495857 3496749745 1524291999 365780685 2389654169 1141379569 926912307 1918798287 3152476686 1840070566 2659301596 1688774811 2542686051 3363855900 1490864540 2914617416 2995157162 712858029 2544873176 10210808 3826685000 980295625 1486552114 1607737468 453702336 2282259932 4018249351 308745665 40807407 1159273671 3689543987 2860965623 884338820 3519829060 2125322314 575615406 481672694 2603984563 3881507068 2072734294 3823978049 259096674 2150630543 3460939180 1869789290 1624952135 14178346 3840844120 3338588427 82330584 3506759410 186669533 3458031527 1666643331 2037613062 5740031 2131491405 3499381269 1802743752 2535169508 2141010207 4232883045 3470255542 1729311142 1033705252 3247085157 3939771271 882108178 750059066 850988004 3330820706 720379358 3797264842 1928922709 2556982208 4100698688 2370370048 456983209 84399067 1043967214 3690351537 4125504253 3457642037 3657391718 247795671 2602030305 3872192876 1639609458 923928349 2790968711 275235901 1533796858 1432723678 4189888187 633134922 797968448 1712351606 1640961665 1811207846 1091673297 1187606517 4197684120 3728618181 1673515256 3317197377 227989644 3182002632 1852296995 363155894 3726660371 1166884886 3460196249 1671797940 2972233581 1709622522 1808199220 1614035000 99066212 4086562763 818737923 3744974159 1934028603 1490228998 3477993279 1431635822 4089525434 886093811 2913824 1263978468 2074591083 2033479356 1241046659 2022160834 1881123771 945107765 3601876188 255 362436" option to reproduce the execution
0.00/0.07	c #vars 1640
0.00/0.07	c #constraints 7845
0.09/0.19	c Solving starts ...
0.09/0.19	c ============================[ Search Statistics ]============================
0.09/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.19	c =============================================================================
0.09/0.19	c  0.0s |       0 |        0 |        0 |     3160      0 |        5 |        0
0.19/0.24	c  0.0s |       1 |      158 |      100 |     3160      0 |        5 |      318
0.28/0.30	c  0.1s |       2 |      362 |      250 |     3477      0 |        5 |      318
0.39/0.43	c  0.2s |       3 |      674 |      475 |     3825      0 |        5 |      318
0.59/0.61	c  0.4s |       4 |     1115 |      813 |     4208      0 |        5 |      318
0.68/0.92	c  0.7s |       5 |     2070 |     1320 |     4629      0 |        5 |      318
1.20/1.28	c  1.1s |       6 |     2937 |     2081 |     5602      0 |        5 |      318
1.79/1.83	c  1.6s |       7 |     4335 |     3223 |     6163      0 |        5 |      318
2.79/2.80	c  2.6s |       8 |     6864 |     4936 |     6780      0 |        5 |      318
4.69/4.74	c  4.6s |       9 |     9744 |     7506 |     7459      1 |        5 |      318
6.69/6.77	c  6.6s |       9 |    14099 |    10706 |     7459      1 |        5 |      318
7.19/7.26	c  7.1s |      10 |    14894 |    11361 |     8205      1 |        5 |      318
9.29/9.32	c  9.1s |      10 |    19653 |    15161 |     8205      2 |        5 |      318
10.39/10.42	c 10.2s |      11 |    21981 |    17144 |     9026      3 |        5 |      318
12.39/12.46	c 12.3s |      11 |    26730 |    21144 |     9026      3 |        5 |      318
14.39/14.46	c 14.3s |      11 |    30774 |    24544 |     9026      4 |        5 |      318
15.18/15.21	c 15.0s |      12 |    32245 |    25819 |     9929      4 |        5 |      318
17.18/17.22	c 17.0s |      12 |    36260 |    29019 |     9929      5 |        5 |      318
19.18/19.25	c 19.1s |      12 |    40538 |    32419 |     9929      6 |        5 |      318
21.18/21.28	c 21.1s |      12 |    44468 |    35819 |     9929      6 |        5 |      318
23.30/23.33	c 23.1s |      12 |    48039 |    38719 |    10922      7 |        5 |      318
23.39/23.40	c 23.2s |      13 |    48180 |    38832 |    10922      7 |        5 |      318
25.40/25.41	c 25.2s |      13 |    52258 |    42132 |    10922      7 |        5 |      318
27.39/27.41	c 27.2s |      13 |    56380 |    45432 |    10922      8 |        5 |      318
29.59/29.69	c 29.5s |      13 |    60191 |    48632 |    10922      9 |        5 |      318
31.69/31.72	c 31.5s |      13 |    64366 |    52132 |    10922      9 |        5 |      318
33.69/33.77	c 33.6s |      13 |    68461 |    55532 |    10922     10 |        5 |      318
35.19/35.25	c 35.1s |      14 |    71810 |    58352 |    12015     10 |        5 |      318
37.19/37.27	c 37.1s |      14 |    75665 |    61652 |    12015     11 |        5 |      318
39.19/39.29	c 39.1s |      14 |    78783 |    64252 |    12015     11 |        5 |      318
41.29/41.31	c 41.1s |      14 |    82477 |    67452 |    12015     12 |        5 |      318
43.29/43.35	c 43.2s |      14 |    86463 |    70852 |    12015     12 |        5 |      318
45.29/45.38	c 45.2s |      14 |    90059 |    73952 |    12015     13 |        5 |      318
47.28/47.39	c 47.2s |      14 |    93915 |    77352 |    12015     13 |        5 |      318
49.38/49.43	c 49.2s |      14 |    97746 |    80552 |    12015     14 |        5 |      318
51.38/51.44	c 51.3s |      14 |   100969 |    83252 |    12015     14 |        5 |      318
53.38/53.49	c 53.3s |      14 |   104872 |    86552 |    12015     15 |        5 |      318
53.99/54.08	c 53.9s |      15 |   106172 |    87632 |    13217     15 |        5 |      318
56.08/56.13	c 55.9s |      15 |   109827 |    90532 |    13217     15 |        5 |      318
58.08/58.16	c 58.0s |      15 |   113664 |    93632 |    13217     16 |        5 |      318
60.18/60.20	c 60.0s |      15 |   117486 |    96832 |    13217     16 |        5 |      318
62.18/62.22	c 62.0s |      15 |   120998 |    99732 |    13217     17 |        5 |      318
64.18/64.26	c 64.1s |      15 |   125389 |   103332 |    13217     17 |        5 |      318
66.28/66.32	c 66.1s |      15 |   129200 |   106532 |    13217     18 |        5 |      318
68.28/68.38	c 68.2s |      15 |   133058 |   109832 |    13217     18 |        5 |      318
70.28/70.39	c 70.2s |      15 |   136481 |   112832 |    13217     18 |        5 |      318
72.58/72.62	c 72.4s |      15 |   139171 |   115132 |    13217     19 |        5 |      318
74.57/74.69	c 74.5s |      15 |   142109 |   117732 |    13217     19 |        5 |      318
76.67/76.70	c 76.5s |      15 |   145661 |   120732 |    13217     20 |        5 |      318
78.67/78.71	c 78.5s |      15 |   149230 |   123832 |    13217     20 |        5 |      318
80.97/81.08	c 80.9s |      15 |   152304 |   126532 |    13217     21 |        5 |      318
83.07/83.11	c 82.9s |      15 |   156082 |   129732 |    13217     21 |        5 |      318
84.27/84.37	c 84.2s |      16 |   158198 |   131552 |    14539     21 |        5 |      318
86.37/86.41	c 86.2s |      16 |   161617 |   134152 |    14539     21 |        5 |      318
88.37/88.44	c 88.3s |      16 |   165460 |   137252 |    14539     22 |        5 |      318
90.38/90.46	c 90.3s |      16 |   169571 |   140552 |    14539     22 |        5 |      318
92.37/92.49	c 92.3s |      16 |   172592 |   143152 |    14539     23 |        5 |      318
94.47/94.52	c 94.3s |      16 |   176767 |   146552 |    14539     23 |        5 |      318
96.47/96.59	c 96.4s |      16 |   180252 |   149452 |    14539     24 |        5 |      318
98.47/98.60	c 98.4s |      16 |   184034 |   152752 |    14539     24 |        5 |      318
100.57/100.66	c  100s |      16 |   187306 |   155652 |    14539     24 |        5 |      318
102.67/102.70	c  102s |      16 |   189984 |   157852 |    14539     25 |        5 |      318
104.68/104.73	c  104s |      16 |   193794 |   160952 |    14539     25 |        5 |      318
106.67/106.75	c  106s |      16 |   197577 |   164052 |    14539     25 |        5 |      318
108.87/108.91	c  108s |      16 |   200820 |   166852 |    14539     26 |        5 |      318
110.87/110.92	c  110s |      16 |   204902 |   170252 |    14539     26 |        5 |      318
112.87/112.96	c  112s |      16 |   208623 |   173352 |    14539     27 |        5 |      318
114.87/114.98	c  114s |      16 |   212165 |   176452 |    14539     27 |        5 |      318
116.87/116.99	c  116s |      16 |   215304 |   179252 |    14539     28 |        5 |      318
118.87/119.00	c  118s |      16 |   218846 |   182452 |    14539     28 |        5 |      318
120.97/121.06	c  120s |      16 |   222090 |   185152 |    14539     28 |        5 |      318
123.07/123.10	c  122s |      16 |   225720 |   188152 |    14539     29 |        5 |      318
125.07/125.15	c  124s |      16 |   229424 |   191352 |    14539     29 |        5 |      318
127.07/127.15	c  126s |      16 |   232489 |   194052 |    14539     30 |        5 |      318
129.07/129.19	c  129s |      16 |   236081 |   197252 |    15993     30 |        5 |      318
129.27/129.32	c  129s |      17 |   236277 |   197432 |    15993     30 |        5 |      318
131.27/131.35	c  131s |      17 |   239158 |   199732 |    15993     30 |        5 |      318
133.37/133.42	c  133s |      17 |   242069 |   202032 |    15993     30 |        5 |      318
135.38/135.46	c  135s |      17 |   245547 |   204832 |    15993     31 |        5 |      318
137.37/137.48	c  137s |      17 |   249284 |   208032 |    15993     31 |        5 |      318
139.47/139.52	c  139s |      17 |   252736 |   210832 |    15993     31 |        5 |      318
141.47/141.54	c  141s |      17 |   256321 |   213832 |    15993     32 |        5 |      318
143.47/143.57	c  143s |      17 |   260003 |   216932 |    15993     32 |        5 |      318
145.57/145.60	c  145s |      17 |   263310 |   219832 |    15993     33 |        5 |      318
147.58/147.63	c  147s |      17 |   266869 |   223032 |    15993     33 |        5 |      318
149.57/149.63	c  149s |      17 |   268192 |   224132 |    15993     33 |        5 |      318
151.77/151.81	c  151s |      17 |   271770 |   227132 |    15993     34 |        5 |      318
153.77/153.83	c  153s |      17 |   275448 |   230332 |    15993     34 |        5 |      318
155.77/155.88	c  155s |      17 |   278890 |   233332 |    15993     34 |        5 |      318
157.87/157.93	c  157s |      17 |   281804 |   235932 |    15993     35 |        5 |      318
159.96/160.03	c  159s |      17 |   284655 |   238332 |    15993     35 |        5 |      318
161.96/162.04	c  161s |      17 |   287779 |   241032 |    15993     35 |        5 |      318
164.07/164.12	c  163s |      17 |   290541 |   243432 |    15993     36 |        5 |      318
166.06/166.14	c  165s |      17 |   293700 |   246232 |    15993     36 |        5 |      318
168.06/168.18	c  167s |      17 |   296800 |   248932 |    15993     36 |        5 |      318
170.16/170.24	c  170s |      17 |   299479 |   251332 |    15993     36 |        5 |      318
172.16/172.27	c  172s |      17 |   302479 |   254032 |    15993     37 |        5 |      318
174.26/174.34	c  174s |      17 |   305371 |   256732 |    15993     37 |        5 |      318
176.36/176.42	c  176s |      17 |   307891 |   259032 |    15993     37 |        5 |      318
178.66/178.73	c  178s |      17 |   309702 |   260632 |    15993     38 |        5 |      318
180.66/180.73	c  180s |      17 |   312567 |   262932 |    15993     38 |        5 |      318
182.67/182.77	c  182s |      17 |   315815 |   265732 |    15993     38 |        5 |      318
184.66/184.79	c  184s |      17 |   318881 |   268332 |    15993     39 |        5 |      318
186.76/186.82	c  186s |      17 |   322993 |   271832 |    15993     39 |        5 |      318
188.76/188.89	c  188s |      17 |   326319 |   274832 |    15993     39 |        5 |      318
191.66/191.73	c  191s |      17 |   329149 |   277332 |    15993     40 |        5 |      318
193.67/193.75	c  193s |      17 |   331710 |   279532 |    15993     40 |        5 |      318
195.66/195.75	c  195s |      17 |   334943 |   282232 |    15993     40 |        5 |      318
197.66/197.78	c  197s |      17 |   338087 |   284932 |    15993     41 |        5 |      318
199.76/199.85	c  199s |      17 |   341228 |   287632 |    15993     41 |        5 |      318
201.76/201.87	c  201s |      17 |   344438 |   290232 |    15993     41 |        5 |      318
203.96/204.03	c  203s |      17 |   347615 |   292832 |    15993     42 |        5 |      318
205.96/206.04	c  205s |      17 |   351142 |   295932 |    17593     42 |        5 |      318
206.36/206.41	c  206s |      18 |   351536 |   296252 |    17593     42 |        5 |      318
208.36/208.46	c  208s |      18 |   354327 |   298452 |    17593     42 |        5 |      318
210.36/210.48	c  210s |      18 |   357255 |   300852 |    17593     42 |        5 |      318
212.46/212.53	c  212s |      18 |   360132 |   303252 |    17593     43 |        5 |      318
214.46/214.58	c  214s |      18 |   363930 |   306452 |    17593     43 |        5 |      318
216.56/216.62	c  216s |      18 |   367177 |   309252 |    17593     43 |        5 |      318
218.55/218.65	c  218s |      18 |   370404 |   312052 |    17593     44 |        5 |      318
220.65/220.70	c  220s |      18 |   373729 |   314952 |    17593     44 |        5 |      318
222.65/222.71	c  222s |      18 |   376914 |   317752 |    17593     44 |        5 |      318
224.65/224.74	c  224s |      18 |   379580 |   320152 |    17593     45 |        5 |      318
226.66/226.78	c  226s |      18 |   382807 |   322852 |    17593     45 |        5 |      318
229.35/229.44	c  229s |      18 |   386096 |   325652 |    17593     45 |        5 |      318
231.35/231.45	c  231s |      18 |   387366 |   326752 |    17593     45 |        5 |      318
233.36/233.49	c  233s |      18 |   389972 |   329052 |    17593     46 |        5 |      318
235.46/235.55	c  235s |      18 |   393295 |   331952 |    17593     46 |        5 |      318
237.55/237.62	c  237s |      18 |   396321 |   334552 |    17593     46 |        5 |      318
239.55/239.67	c  239s |      18 |   399582 |   337252 |    17593     46 |        5 |      318
241.65/241.70	c  241s |      18 |   402660 |   339952 |    17593     47 |        5 |      318
243.65/243.71	c  243s |      18 |   405593 |   342552 |    17593     47 |        5 |      318
245.65/245.75	c  245s |      18 |   408443 |   345052 |    17593     47 |        5 |      318
247.65/247.79	c  247s |      18 |   411016 |   347252 |    17593     48 |        5 |      318
249.75/249.83	c  249s |      18 |   413968 |   349752 |    17593     48 |        5 |      318
251.75/251.86	c  251s |      18 |   417241 |   352552 |    17593     48 |        5 |      318
253.75/253.87	c  253s |      18 |   420172 |   355152 |    17593     48 |        5 |      318
255.75/255.87	c  255s |      18 |   422725 |   357452 |    17593     49 |        5 |      318
257.85/257.93	c  257s |      18 |   425649 |   360052 |    17593     49 |        5 |      318
259.95/260.02	c  259s |      18 |   428323 |   362452 |    17593     49 |        5 |      318
264.45/264.59	c  264s |      18 |   430645 |   364552 |    17593     50 |        5 |      318
266.45/266.60	c  266s |      18 |   434184 |   367552 |    17593     50 |        5 |      318
268.56/268.65	c  268s |      18 |   437155 |   370152 |    17593     50 |        5 |      318
270.55/270.68	c  270s |      18 |   439731 |   372452 |    17593     50 |        5 |      318
272.65/272.73	c  272s |      18 |   442490 |   374752 |    17593     51 |        5 |      318
274.65/274.76	c  274s |      18 |   445523 |   377452 |    17593     51 |        5 |      318
276.75/276.85	c  276s |      18 |   448347 |   379952 |    17593     51 |        5 |      318
278.75/278.86	c  278s |      18 |   450906 |   382252 |    17593     51 |        5 |      318
280.85/280.92	c  280s |      18 |   453439 |   384552 |    17593     52 |        5 |      318
282.85/282.93	c  282s |      18 |   455988 |   386852 |    17593     52 |        5 |      318
284.85/284.95	c  284s |      18 |   457885 |   388552 |    17593     52 |        5 |      318
286.85/286.97	c  286s |      18 |   460266 |   390752 |    17593     52 |        5 |      318
288.95/289.05	c  288s |      18 |   462877 |   393052 |    17593     53 |        5 |      318
291.04/291.14	c  290s |      18 |   465397 |   395352 |    17593     53 |        5 |      318
293.04/293.17	c  292s |      18 |   467713 |   397452 |    17593     53 |        5 |      318
295.04/295.19	c  295s |      18 |   470207 |   399652 |    17593     53 |        5 |      318
297.15/297.27	c  297s |      18 |   472547 |   401752 |    17593     54 |        5 |      318
299.25/299.32	c  299s |      18 |   474913 |   403952 |    17593     54 |        5 |      318
301.24/301.38	c  301s |      18 |   477255 |   406052 |    17593     54 |        5 |      318
303.44/303.51	c  303s |      18 |   479467 |   407952 |    17593     54 |        5 |      318
305.44/305.54	c  305s |      18 |   481553 |   409852 |    17593     55 |        5 |      318
307.44/307.59	c  307s |      18 |   483707 |   411752 |    17593     55 |        5 |      318
309.54/309.65	c  309s |      18 |   486336 |   414052 |    17593     55 |        5 |      318
311.64/311.73	c  311s |      18 |   488690 |   416152 |    17593     55 |        5 |      318
313.74/313.86	c  313s |      18 |   490771 |   418052 |    17593     56 |        5 |      318
315.84/315.94	c  315s |      18 |   493534 |   420552 |    17593     56 |        5 |      318
317.83/317.96	c  317s |      18 |   496187 |   422652 |    17593     56 |        5 |      318
319.93/320.02	c  319s |      18 |   499405 |   425352 |    17593     56 |        5 |      318
321.93/322.05	c  321s |      18 |   502737 |   428152 |    17593     57 |        5 |      318
323.93/324.06	c  323s |      18 |   506469 |   431352 |    17593     57 |        5 |      318
325.93/326.09	c  325s |      18 |   508890 |   433452 |    17593     57 |        5 |      318
328.03/328.19	c  328s |      18 |   511641 |   435852 |    17593     58 |        5 |      318
330.13/330.21	c  330s |      18 |   515053 |   438852 |    17593     58 |        5 |      318
332.13/332.26	c  332s |      18 |   518168 |   441652 |    19353     58 |        5 |      318
334.13/334.26	c  334s |      18 |   520935 |   444052 |    19353     58 |        5 |      318
334.43/334.59	c  334s |      19 |   521422 |   444482 |    19353     58 |        5 |      318
336.53/336.69	c  336s |      19 |   523549 |   446082 |    19353     58 |        5 |      318
338.63/338.74	c  338s |      19 |   525672 |   447782 |    19353     59 |        5 |      318
340.63/340.75	c  340s |      19 |   529147 |   450682 |    19353     59 |        5 |      318
342.63/342.80	c  342s |      19 |   532364 |   453382 |    19353     59 |        5 |      318
344.73/344.84	c  344s |      19 |   535482 |   456082 |    19353     59 |        5 |      318
346.83/346.90	c  346s |      19 |   538464 |   458582 |    19353     60 |        5 |      318
348.84/348.94	c  348s |      19 |   542032 |   461582 |    19353     60 |        5 |      318
350.83/350.98	c  350s |      19 |   545165 |   464282 |    19353     60 |        5 |      318
352.83/352.99	c  352s |      19 |   547845 |   466682 |    19353     61 |        5 |      318
354.83/354.99	c  354s |      19 |   549218 |   467882 |    19353     61 |        5 |      318
356.83/356.99	c  356s |      19 |   552779 |   470882 |    19353     61 |        5 |      318
358.93/359.06	c  358s |      19 |   556166 |   473682 |    19353     61 |        5 |      318
361.12/361.24	c  361s |      19 |   559078 |   476082 |    19353     62 |        5 |      318
363.13/363.29	c  363s |      19 |   562933 |   479382 |    19353     62 |        5 |      318
365.23/365.35	c  365s |      19 |   566273 |   482282 |    19353     62 |        5 |      318
367.32/367.40	c  367s |      19 |   569305 |   484982 |    19353     62 |        5 |      318
369.31/369.42	c  369s |      19 |   572453 |   487782 |    19353     63 |        5 |      318
371.31/371.46	c  371s |      19 |   574848 |   489782 |    19353     63 |        5 |      318
373.31/373.46	c  373s |      19 |   577899 |   492382 |    19353     63 |        5 |      318
375.41/375.51	c  375s |      19 |   581040 |   494982 |    19353     63 |        5 |      318
377.42/377.54	c  377s |      19 |   584014 |   497582 |    19353     64 |        5 |      318
379.52/379.60	c  379s |      19 |   587154 |   500382 |    19353     64 |        5 |      318
381.51/381.61	c  381s |      19 |   589698 |   502682 |    19353     64 |        5 |      318
383.61/383.73	c  383s |      19 |   592327 |   504882 |    19353     64 |        5 |      318
385.71/385.89	c  385s |      19 |   595090 |   507282 |    19353     65 |        5 |      318
387.81/387.95	c  387s |      19 |   598005 |   509882 |    19353     65 |        5 |      318
389.90/390.00	c  389s |      19 |   600684 |   512282 |    19353     65 |        5 |      318
391.90/392.06	c  391s |      19 |   603222 |   514582 |    19353     65 |        5 |      318
393.91/394.08	c  393s |      19 |   606092 |   517082 |    19353     66 |        5 |      318
396.01/396.10	c  395s |      19 |   609140 |   519782 |    19353     66 |        5 |      318
398.00/398.15	c  397s |      19 |   612059 |   522382 |    19353     66 |        5 |      318
400.41/400.56	c  400s |      19 |   613657 |   523782 |    19353     66 |        5 |      318
402.80/402.90	c  402s |      19 |   613893 |   523982 |    19353     66 |        5 |      318
404.81/404.92	c  404s |      19 |   617269 |   526582 |    19353     67 |        5 |      318
406.90/407.01	c  406s |      19 |   621065 |   529782 |    19353     67 |        5 |      318
408.90/409.04	c  408s |      19 |   624527 |   532682 |    19353     67 |        5 |      318
410.90/411.07	c  410s |      19 |   627640 |   535382 |    19353     68 |        5 |      318
412.90/413.09	c  412s |      19 |   631030 |   538282 |    19353     68 |        5 |      318
415.00/415.13	c  414s |      19 |   634312 |   541182 |    19353     68 |        5 |      318
417.10/417.23	c  417s |      19 |   637002 |   543482 |    19353     68 |        5 |      318
419.10/419.27	c  419s |      19 |   640062 |   546082 |    19353     69 |        5 |      318
421.19/421.31	c  421s |      19 |   643432 |   548982 |    19353     69 |        5 |      318
423.19/423.38	c  423s |      19 |   646768 |   551882 |    19353     69 |        5 |      318
425.39/425.55	c  425s |      19 |   649727 |   554482 |    19353     70 |        5 |      318
427.39/427.55	c  427s |      19 |   653047 |   557482 |    19353     70 |        5 |      318
429.39/429.56	c  429s |      19 |   655478 |   559582 |    19353     70 |        5 |      318
431.39/431.57	c  431s |      19 |   658479 |   562182 |    19353     70 |        5 |      318
433.49/433.62	c  433s |      19 |   660947 |   564382 |    19353     71 |        5 |      318
435.49/435.68	c  435s |      19 |   664576 |   567582 |    19353     71 |        5 |      318
437.59/437.75	c  437s |      19 |   667750 |   570382 |    19353     71 |        5 |      318
439.68/439.83	c  439s |      19 |   670166 |   572582 |    19353     71 |        5 |      318
441.78/441.96	c  441s |      19 |   672391 |   574482 |    19353     72 |        5 |      318
443.88/444.00	c  443s |      19 |   675660 |   577282 |    19353     72 |        5 |      318
448.69/448.83	c  448s |      19 |   678370 |   579582 |    19353     72 |        5 |      318
450.68/450.87	c  450s |      19 |   681118 |   581882 |    19353     72 |        5 |      318
452.68/452.90	c  452s |      19 |   683460 |   583982 |    19353     73 |        5 |      318
454.78/454.95	c  454s |      19 |   686542 |   586682 |    19353     73 |        5 |      318
456.78/456.98	c  456s |      19 |   689562 |   589282 |    19353     73 |        5 |      318
458.79/458.99	c  458s |      19 |   692309 |   591782 |    19353     73 |        5 |      318
460.89/461.04	c  460s |      19 |   694721 |   593982 |    19353     74 |        5 |      318
462.98/463.11	c  462s |      19 |   697822 |   596782 |    19353     74 |        5 |      318
465.08/465.23	c  465s |      19 |   700115 |   598882 |    19353     74 |        5 |      318
467.08/467.29	c  467s |      19 |   702733 |   601182 |    19353     74 |        5 |      318
469.08/469.29	c  469s |      19 |   705112 |   603282 |    19353     74 |        5 |      318
471.17/471.38	c  471s |      19 |   707442 |   605382 |    19353     75 |        5 |      318
473.27/473.43	c  473s |      19 |   710373 |   607882 |    19353     75 |        5 |      318
475.28/475.48	c  475s |      19 |   712927 |   610182 |    19353     75 |        5 |      318
477.27/477.49	c  477s |      19 |   715131 |   612182 |    19353     75 |        5 |      318
479.37/479.54	c  479s |      19 |   717251 |   613982 |    19353     76 |        5 |      318
481.37/481.59	c  481s |      19 |   719948 |   616482 |    19353     76 |        5 |      318
483.47/483.69	c  483s |      19 |   722188 |   618582 |    19353     76 |        5 |      318
485.57/485.73	c  485s |      19 |   724471 |   620682 |    19353     76 |        5 |      318
487.67/487.84	c  487s |      19 |   726650 |   622682 |    19353     76 |        5 |      318
489.77/489.91	c  489s |      19 |   729095 |   624882 |    19353     77 |        5 |      318
492.46/492.62	c  492s |      19 |   729353 |   625082 |    19353     77 |        5 |      318
494.46/494.62	c  494s |      19 |   732499 |   627782 |    19353     77 |        5 |      318
496.46/496.69	c  496s |      19 |   735206 |   630182 |    19353     77 |        5 |      318
498.56/498.77	c  498s |      19 |   737634 |   632382 |    19353     77 |        5 |      318
500.66/500.84	c  500s |      19 |   740509 |   634882 |    19353     78 |        5 |      318
502.77/502.91	c  502s |      19 |   743425 |   637482 |    19353     78 |        5 |      318
504.76/504.98	c  504s |      19 |   745960 |   639782 |    19353     78 |        5 |      318
506.87/507.05	c  506s |      19 |   748153 |   641682 |    19353     78 |        5 |      318
508.97/509.10	c  508s |      19 |   750516 |   643782 |    19353     79 |        5 |      318
510.97/511.11	c  510s |      19 |   751753 |   644882 |    19353     79 |        5 |      318
512.97/513.12	c  512s |      19 |   754764 |   647482 |    19353     79 |        5 |      318
514.96/515.12	c  514s |      19 |   757253 |   649682 |    19353     79 |        5 |      318
516.97/517.16	c  516s |      19 |   760067 |   652082 |    19353     79 |        5 |      318
518.96/519.17	c  518s |      19 |   762763 |   654382 |    19353     80 |        5 |      318
521.56/521.78	c  521s |      19 |   765501 |   656682 |    19353     80 |        5 |      318
523.67/523.84	c  523s |      19 |   767864 |   658582 |    19353     80 |        5 |      318
525.66/525.88	c  525s |      19 |   770777 |   660982 |    19353     80 |        5 |      318
527.76/527.93	c  527s |      19 |   773643 |   663382 |    21289     80 |        5 |      318
529.75/529.99	c  529s |      19 |   776136 |   665482 |    21289     81 |        5 |      318
530.85/531.08	c  530s |      20 |   777847 |   666827 |    21289     81 |        5 |      318
532.85/533.09	c  532s |      20 |   780706 |   669127 |    21289     81 |        5 |      318
534.95/535.13	c  534s |      20 |   783849 |   671727 |    21289     81 |        5 |      318
536.95/537.14	c  536s |      20 |   786811 |   674127 |    21289     81 |        5 |      318
538.96/539.16	c  538s |      20 |   788420 |   675427 |    21289     82 |        5 |      318
540.95/541.18	c  540s |      20 |   792287 |   678627 |    21289     82 |        5 |      318
542.95/543.19	c  542s |      20 |   795664 |   681527 |    21289     82 |        5 |      318
544.95/545.19	c  545s |      20 |   798806 |   684127 |    21289     82 |        5 |      318
547.05/547.21	c  547s |      20 |   802010 |   686827 |    21289     83 |        5 |      318
549.05/549.26	c  549s |      20 |   805391 |   689727 |    21289     83 |        5 |      318
551.15/551.32	c  551s |      20 |   808677 |   692627 |    21289     83 |        5 |      318
554.84/555.08	c  554s |      20 |   810903 |   694627 |    21289     83 |        5 |      318
556.94/557.11	c  556s |      20 |   813195 |   696527 |    21289     84 |        5 |      318
558.94/559.15	c  558s |      20 |   816854 |   699627 |    21289     84 |        5 |      318
560.94/561.20	c  561s |      20 |   820407 |   702627 |    21289     84 |        5 |      318
563.04/563.23	c  563s |      20 |   823305 |   705127 |    21289     84 |        5 |      318
565.04/565.26	c  565s |      20 |   825978 |   707427 |    21289     85 |        5 |      318
567.04/567.28	c  567s |      20 |   829396 |   710427 |    21289     85 |        5 |      318
569.04/569.29	c  569s |      20 |   832186 |   712927 |    21289     85 |        5 |      318
571.13/571.35	c  571s |      20 |   835022 |   715427 |    21289     85 |        5 |      318
573.14/573.37	c  573s |      20 |   837435 |   717627 |    21289     85 |        5 |      318
575.13/575.39	c  575s |      20 |   840381 |   720227 |    21289     86 |        5 |      318
577.23/577.45	c  577s |      20 |   841098 |   720827 |    21289     86 |        5 |      318
579.23/579.47	c  579s |      20 |   844153 |   723427 |    21289     86 |        5 |      318
581.33/581.57	c  581s |      20 |   847202 |   725927 |    21289     86 |        5 |      318
583.43/583.61	c  583s |      20 |   849832 |   728127 |    21289     86 |        5 |      318
585.43/585.66	c  585s |      20 |   852112 |   730127 |    21289     87 |        5 |      318
587.43/587.66	c  587s |      20 |   855313 |   732827 |    21289     87 |        5 |      318
589.43/589.67	c  589s |      20 |   858377 |   735527 |    21289     87 |        5 |      318
591.94/592.14	c  591s |      20 |   860575 |   737227 |    21289     87 |        5 |      318
594.04/594.25	c  594s |      20 |   863432 |   739527 |    21289     87 |        5 |      318
596.03/596.28	c  596s |      20 |   866416 |   742027 |    21289     88 |        5 |      318
598.13/598.31	c  598s |      20 |   869784 |   744827 |    21289     88 |        5 |      318
600.13/600.35	c  600s |      20 |   872804 |   747427 |    21289     88 |        5 |      318
602.23/602.41	c  602s |      20 |   875965 |   750027 |    21289     88 |        5 |      318
604.23/604.43	c  604s |      20 |   878971 |   752627 |    21289     89 |        5 |      318
606.23/606.45	c  606s |      20 |   882296 |   755527 |    21289     89 |        5 |      318
608.24/608.48	c  608s |      20 |   885266 |   758127 |    21289     89 |        5 |      318
611.22/611.44	c  611s |      20 |   886450 |   759127 |    21289     89 |        5 |      318
613.22/613.49	c  613s |      20 |   888623 |   760827 |    21289     89 |        5 |      318
615.32/615.53	c  615s |      20 |   891712 |   763327 |    21289     90 |        5 |      318
617.32/617.54	c  617s |      20 |   895348 |   766327 |    21289     90 |        5 |      318
619.41/619.60	c  619s |      20 |   898765 |   769127 |    21289     90 |        5 |      318
621.42/621.62	c  621s |      20 |   901660 |   771527 |    21289     90 |        5 |      318
623.41/623.67	c  623s |      20 |   904902 |   774227 |    21289     91 |        5 |      318
625.41/625.69	c  625s |      20 |   908260 |   777027 |    21289     91 |        5 |      318
627.51/627.73	c  627s |      20 |   911577 |   779827 |    21289     91 |        5 |      318
629.51/629.76	c  629s |      20 |   914509 |   782427 |    21289     91 |        5 |      318
633.21/633.48	c  633s |      20 |   917155 |   784727 |    21289     92 |        5 |      318
635.31/635.52	c  635s |      20 |   920792 |   787727 |    21289     92 |        5 |      318
637.31/637.55	c  637s |      20 |   923977 |   790327 |    21289     92 |        5 |      318
639.31/639.58	c  639s |      20 |   927009 |   792827 |    21289     92 |        5 |      318
641.32/641.59	c  641s |      20 |   930276 |   795627 |    21289     93 |        5 |      318
643.42/643.65	c  643s |      20 |   933474 |   798427 |    21289     93 |        5 |      318
645.41/645.67	c  645s |      20 |   936287 |   800827 |    21289     93 |        5 |      318
647.51/647.76	c  647s |      20 |   939171 |   803327 |    21289     93 |        5 |      318
649.51/649.78	c  649s |      20 |   941593 |   805427 |    21289     94 |        5 |      318
651.61/651.81	c  651s |      20 |   944576 |   808127 |    21289     94 |        5 |      318
653.60/653.90	c  653s |      20 |   947053 |   810327 |    21289     94 |        5 |      318
655.70/655.91	c  655s |      20 |   949857 |   812827 |    21289     94 |        5 |      318
657.71/657.91	c  657s |      20 |   952210 |   814927 |    21289     94 |        5 |      318
659.70/659.97	c  659s |      20 |   955250 |   817527 |    21289     95 |        5 |      318
661.80/662.03	c  661s |      20 |   958332 |   820227 |    21289     95 |        5 |      318
663.90/664.10	c  663s |      20 |   961253 |   822827 |    21289     95 |        5 |      318
668.20/668.45	c  668s |      20 |   961732 |   823227 |    21289     95 |        5 |      318
670.30/670.54	c  670s |      20 |   964566 |   825527 |    21289     95 |        5 |      318
672.30/672.59	c  672s |      20 |   967511 |   828027 |    21289     96 |        5 |      318
674.40/674.65	c  674s |      20 |   970868 |   831027 |    21289     96 |        5 |      318
676.40/676.67	c  676s |      20 |   973762 |   833627 |    21289     96 |        5 |      318
678.40/678.69	c  678s |      20 |   976302 |   835827 |    21289     96 |        5 |      318
680.49/680.71	c  680s |      20 |   978956 |   838127 |    21289     97 |        5 |      318
682.49/682.77	c  682s |      20 |   982594 |   841227 |    21289     97 |        5 |      318
684.59/684.82	c  684s |      20 |   985834 |   844027 |    21289     97 |        5 |      318
686.59/686.85	c  686s |      20 |   988454 |   846327 |    21289     97 |        5 |      318
688.69/688.91	c  688s |      20 |   991371 |   848927 |    21289     98 |        5 |      318
690.70/690.94	c  690s |      20 |   994438 |   851727 |    21289     98 |        5 |      318
694.00/694.25	c  694s |      20 |   996497 |   853527 |    21289     98 |        5 |      318
696.09/696.33	c  696s |      20 |   999171 |   855827 |    21289     98 |        5 |      318
698.09/698.38	c  698s |      20 |  1001509 |   857827 |    21289     98 |        5 |      318
700.09/700.38	c  700s |      20 |  1004335 |   860327 |    21289     99 |        5 |      318
702.09/702.39	c  702s |      20 |  1007210 |   862827 |    21289     99 |        5 |      318
704.19/704.42	c  704s |      20 |  1010201 |   865427 |    21289     99 |        5 |      318
706.19/706.45	c  706s |      20 |  1012679 |   867627 |    21289     99 |        5 |      318
708.29/708.51	c  708s |      20 |  1015176 |   869827 |    21289    100 |        5 |      318
710.28/710.54	c  710s |      20 |  1018146 |   872527 |    21289    100 |        5 |      318
712.29/712.57	c  712s |      20 |  1019471 |   873727 |    21289    100 |        5 |      318
714.39/714.65	c  714s |      20 |  1022258 |   876227 |    21289    100 |        5 |      318
716.49/716.75	c  716s |      20 |  1024919 |   878627 |    21289    100 |        5 |      318
718.49/718.79	c  718s |      20 |  1027563 |   880927 |    21289    101 |        5 |      318
720.59/720.85	c  720s |      20 |  1030626 |   883627 |    21289    101 |        5 |      318
722.59/722.88	c  722s |      20 |  1033041 |   885827 |    21289    101 |        5 |      318
724.69/724.92	c  724s |      20 |  1035447 |   888027 |    21289    101 |        5 |      318
726.69/726.92	c  726s |      20 |  1037678 |   890027 |    21289    101 |        5 |      318
729.08/729.37	c  729s |      20 |  1039967 |   892027 |    21289    102 |        5 |      318
731.18/731.41	c  731s |      20 |  1043129 |   894727 |    21289    102 |        5 |      318
733.28/733.50	c  733s |      20 |  1045950 |   897227 |    21289    102 |        5 |      318
735.28/735.53	c  735s |      20 |  1048616 |   899527 |    21289    102 |        5 |      318
737.38/737.60	c  737s |      20 |  1050658 |   901327 |    21289    103 |        5 |      318
739.37/739.62	c  739s |      20 |  1053881 |   904227 |    21289    103 |        5 |      318
743.77/744.02	c  743s |      20 |  1055513 |   905727 |    21289    103 |        5 |      318
745.78/746.06	c  745s |      20 |  1056858 |   906827 |    21289    103 |        5 |      318
747.77/748.09	c  747s |      20 |  1059835 |   909327 |    21289    103 |        5 |      318
749.97/750.22	c  750s |      20 |  1063135 |   912027 |    21289    104 |        5 |      318
751.97/752.27	c  752s |      20 |  1066987 |   915327 |    21289    104 |        5 |      318
753.97/754.29	c  754s |      20 |  1070494 |   918227 |    21289    104 |        5 |      318
756.07/756.35	c  756s |      20 |  1073527 |   920827 |    21289    104 |        5 |      318
758.07/758.39	c  758s |      20 |  1076149 |   923127 |    21289    105 |        5 |      318
760.17/760.41	c  760s |      20 |  1078011 |   924727 |    21289    105 |        5 |      318
762.17/762.46	c  762s |      20 |  1081499 |   927727 |    21289    105 |        5 |      318
764.16/764.49	c  764s |      20 |  1084457 |   930327 |    21289    105 |        5 |      318
766.16/766.49	c  766s |      20 |  1087036 |   932627 |    21289    105 |        5 |      318
768.26/768.52	c  768s |      20 |  1089758 |   935027 |    21289    106 |        5 |      318
770.26/770.54	c  770s |      20 |  1092770 |   937627 |    21289    106 |        5 |      318
772.26/772.55	c  772s |      20 |  1095590 |   940127 |    21289    106 |        5 |      318
774.37/774.62	c  774s |      20 |  1098207 |   942427 |    21289    106 |        5 |      318
776.47/776.75	c  776s |      20 |  1100534 |   944427 |    21289    107 |        5 |      318
778.56/778.82	c  778s |      20 |  1103691 |   947227 |    21289    107 |        5 |      318
780.55/780.86	c  780s |      20 |  1106601 |   949827 |    21289    107 |        5 |      318
782.65/782.91	c  782s |      20 |  1107992 |   951027 |    21289    107 |        5 |      318
784.65/784.99	c  784s |      20 |  1111077 |   953627 |    21289    107 |        5 |      318
786.75/787.03	c  786s |      20 |  1113208 |   955427 |    21289    108 |        5 |      318
788.75/789.08	c  788s |      20 |  1116448 |   958127 |    21289    108 |        5 |      318
790.75/791.08	c  790s |      20 |  1119887 |   961027 |    21289    108 |        5 |      318
792.85/793.13	c  792s |      20 |  1122969 |   963727 |    21289    108 |        5 |      318
794.85/795.18	c  794s |      20 |  1125492 |   965927 |    21289    109 |        5 |      318
797.05/797.31	c  797s |      20 |  1125611 |   966027 |    21289    109 |        5 |      318
799.05/799.34	c  799s |      20 |  1129401 |   969127 |    21289    109 |        5 |      318
801.05/801.36	c  801s |      20 |  1132720 |   971927 |    21289    109 |        5 |      318
803.15/803.43	c  803s |      20 |  1135848 |   974627 |    21289    109 |        5 |      318
805.16/805.44	c  805s |      20 |  1138487 |   976927 |    21289    110 |        5 |      318
807.15/807.46	c  807s |      20 |  1141296 |   979427 |    21289    110 |        5 |      318
809.25/809.54	c  809s |      20 |  1144317 |   982127 |    21289    110 |        5 |      318
811.24/811.56	c  811s |      20 |  1147117 |   984527 |    21289    110 |        5 |      318
813.34/813.63	c  813s |      20 |  1149793 |   986827 |    21289    110 |        5 |      318
815.34/815.66	c  815s |      20 |  1152632 |   989327 |    21289    111 |        5 |      318
817.34/817.69	c  817s |      20 |  1155363 |   991827 |    21289    111 |        5 |      318
819.45/819.73	c  819s |      20 |  1157889 |   994127 |    23418    111 |        5 |      318
821.44/821.76	c  821s |      20 |  1160201 |   996227 |    23418    111 |        5 |      318
823.54/823.80	c  823s |      20 |  1162680 |   998327 |    23418    111 |        5 |      318
825.64/825.94	c  825s |      20 |  1164889 |  1000327 |    23418    112 |        5 |      318
825.64/825.95	c  825s |      21 |  1164910 |  1000345 |    23418    112 |        5 |      318
828.94/829.22	c  829s |      21 |  1165850 |  1001145 |    23418    112 |        5 |      318
830.93/831.27	c  831s |      21 |  1166435 |  1001645 |    23418    112 |        5 |      318
833.03/833.32	c  833s |      21 |  1170158 |  1004745 |    23418    112 |        5 |      318
835.03/835.37	c  835s |      21 |  1173414 |  1007545 |    23418    112 |        5 |      318
837.04/837.38	c  837s |      21 |  1176286 |  1009945 |    23418    112 |        5 |      318
839.14/839.47	c  839s |      21 |  1179033 |  1012145 |    23418    113 |        5 |      318
841.23/841.51	c  841s |      21 |  1182290 |  1014945 |    23418    113 |        5 |      318
843.23/843.58	c  843s |      21 |  1185428 |  1017645 |    23418    113 |        5 |      318
845.33/845.62	c  845s |      21 |  1188362 |  1020145 |    23418    113 |        5 |      318
847.43/847.70	c  847s |      21 |  1191160 |  1022645 |    23418    113 |        5 |      318
849.42/849.72	c  849s |      21 |  1193697 |  1024945 |    23418    114 |        5 |      318
851.42/851.75	c  851s |      21 |  1197018 |  1027845 |    23418    114 |        5 |      318
853.73/854.07	c  853s |      21 |  1198202 |  1028945 |    23418    114 |        5 |      318
855.83/856.12	c  855s |      21 |  1201077 |  1031445 |    23418    114 |        5 |      318
857.84/858.16	c  857s |      21 |  1203754 |  1033745 |    23418    114 |        5 |      318
860.04/860.38	c  860s |      21 |  1206155 |  1035845 |    23418    115 |        5 |      318
862.13/862.40	c  862s |      21 |  1209007 |  1038345 |    23418    115 |        5 |      318
864.13/864.40	c  864s |      21 |  1212251 |  1041145 |    23418    115 |        5 |      318
866.13/866.47	c  866s |      21 |  1215020 |  1043645 |    23418    115 |        5 |      318
868.13/868.49	c  868s |      21 |  1217707 |  1046045 |    23418    115 |        5 |      318
870.23/870.53	c  870s |      21 |  1219904 |  1048045 |    23418    116 |        5 |      318
872.23/872.55	c  872s |      21 |  1222574 |  1050445 |    23418    116 |        5 |      318
874.33/874.62	c  874s |      21 |  1225210 |  1052845 |    23418    116 |        5 |      318
878.02/878.39	c  878s |      21 |  1225555 |  1053145 |    23418    116 |        5 |      318
880.12/880.45	c  880s |      21 |  1228951 |  1055945 |    23418    116 |        5 |      318
882.13/882.46	c  882s |      21 |  1231855 |  1058445 |    23418    116 |        5 |      318
884.12/884.48	c  884s |      21 |  1234537 |  1060845 |    23418    117 |        5 |      318
886.22/886.54	c  886s |      21 |  1238053 |  1063845 |    23418    117 |        5 |      318
888.22/888.57	c  888s |      21 |  1240983 |  1066345 |    23418    117 |        5 |      318
890.22/890.58	c  890s |      21 |  1243726 |  1068745 |    23418    117 |        5 |      318
892.22/892.59	c  892s |      21 |  1246396 |  1071045 |    23418    117 |        5 |      318
894.32/894.68	c  894s |      21 |  1249069 |  1073445 |    23418    118 |        5 |      318
896.32/896.69	c  896s |      21 |  1252170 |  1076145 |    23418    118 |        5 |      318
898.42/898.76	c  898s |      21 |  1254997 |  1078645 |    23418    118 |        5 |      318
900.41/900.77	c  900s |      21 |  1257443 |  1080845 |    23418    118 |        5 |      318
902.51/902.82	c  902s |      21 |  1259279 |  1082445 |    23418    118 |        5 |      318
904.51/904.87	c  904s |      21 |  1261325 |  1084245 |    23418    119 |        5 |      318
906.61/906.93	c  906s |      21 |  1264414 |  1087045 |    23418    119 |        5 |      318
908.61/908.98	c  908s |      21 |  1267252 |  1089545 |    23418    119 |        5 |      318
910.72/911.05	c  910s |      21 |  1269912 |  1091845 |    23418    119 |        5 |      318
912.71/913.06	c  912s |      21 |  1272228 |  1093945 |    23418    119 |        5 |      318
914.81/915.17	c  914s |      21 |  1274457 |  1095945 |    23418    120 |        5 |      318
916.81/917.18	c  916s |      21 |  1277324 |  1098445 |    23418    120 |        5 |      318
918.91/919.23	c  919s |      21 |  1280206 |  1101045 |    23418    120 |        5 |      318
921.11/921.46	c  921s |      21 |  1282620 |  1103245 |    23418    120 |        5 |      318
923.11/923.46	c  923s |      21 |  1285052 |  1105345 |    23418    120 |        5 |      318
925.51/925.89	c  925s |      21 |  1287059 |  1107145 |    23418    121 |        5 |      318
927.61/927.91	c  927s |      21 |  1289776 |  1109645 |    23418    121 |        5 |      318
929.60/929.97	c  929s |      21 |  1292438 |  1112045 |    23418    121 |        5 |      318
931.70/932.05	c  931s |      21 |  1294787 |  1114145 |    23418    121 |        5 |      318
933.71/934.07	c  933s |      21 |  1297048 |  1116145 |    23418    121 |        5 |      318
935.70/936.09	c  935s |      21 |  1299283 |  1118145 |    23418    121 |        5 |      318
937.80/938.11	c  937s |      21 |  1301697 |  1120345 |    23418    122 |        5 |      318
940.51/940.83	c  940s |      21 |  1303362 |  1121845 |    23418    122 |        5 |      318
942.51/942.86	c  942s |      21 |  1305281 |  1123345 |    23418    122 |        5 |      318
944.51/944.88	c  944s |      21 |  1308695 |  1126145 |    23418    122 |        5 |      318
946.61/946.96	c  946s |      21 |  1311847 |  1128745 |    23418    122 |        5 |      318
948.61/948.98	c  948s |      21 |  1314122 |  1130645 |    23418    123 |        5 |      318
950.70/951.04	c  950s |      21 |  1317448 |  1133545 |    23418    123 |        5 |      318
952.70/953.09	c  952s |      21 |  1321125 |  1136745 |    23418    123 |        5 |      318
954.80/955.12	c  954s |      21 |  1323643 |  1138945 |    23418    123 |        5 |      318
956.81/957.13	c  956s |      21 |  1326748 |  1141645 |    23418    123 |        5 |      318
958.80/959.15	c  958s |      21 |  1329321 |  1143945 |    23418    124 |        5 |      318
960.80/961.17	c  960s |      21 |  1332852 |  1147045 |    23418    124 |        5 |      318
962.90/963.22	c  963s |      21 |  1336031 |  1149845 |    23418    124 |        5 |      318
964.89/965.26	c  965s |      21 |  1338929 |  1152345 |    23418    124 |        5 |      318
966.99/967.35	c  967s |      21 |  1341224 |  1154345 |    23418    125 |        5 |      318
969.09/969.44	c  969s |      21 |  1344126 |  1156945 |    23418    125 |        5 |      318
971.10/971.50	c  971s |      21 |  1346992 |  1159545 |    23418    125 |        5 |      318
973.19/973.56	c  973s |      21 |  1349857 |  1162145 |    23418    125 |        5 |      318
975.29/975.61	c  975s |      21 |  1352175 |  1164245 |    23418    125 |        5 |      318
977.29/977.69	c  977s |      21 |  1353979 |  1165845 |    23418    125 |        5 |      318
979.39/979.72	c  979s |      21 |  1355889 |  1167445 |    23418    126 |        5 |      318
981.39/981.73	c  981s |      21 |  1359308 |  1170445 |    23418    126 |        5 |      318
983.49/983.85	c  983s |      21 |  1362184 |  1172945 |    23418    126 |        5 |      318
985.49/985.88	c  985s |      21 |  1364510 |  1175045 |    23418    126 |        5 |      318
987.59/987.92	c  987s |      21 |  1366851 |  1177145 |    23418    126 |        5 |      318
989.58/989.92	c  989s |      21 |  1368983 |  1179045 |    23418    127 |        5 |      318
991.99/992.35	c  992s |      21 |  1369783 |  1179745 |    23418    127 |        5 |      318
994.29/994.61	c  994s |      21 |  1372619 |  1182045 |    23418    127 |        5 |      318
996.28/996.61	c  996s |      21 |  1376248 |  1185045 |    23418    127 |        5 |      318
998.29/998.65	c  998s |      21 |  1379201 |  1187545 |    23418    127 |        5 |      318
1000.39/1000.78	c 1000s |      21 |  1382015 |  1189845 |    23418    128 |        5 |      318
1002.49/1002.82	c 1002s |      21 |  1385875 |  1193145 |    23418    128 |        5 |      318
1004.49/1004.83	c 1004s |      21 |  1389237 |  1196045 |    23418    128 |        5 |      318
1006.49/1006.89	c 1006s |      21 |  1392244 |  1198745 |    23418    128 |        5 |      318
1008.59/1008.92	c 1008s |      21 |  1394791 |  1201045 |    23418    128 |        5 |      318
1010.98/1011.32	c 1011s |      21 |  1395825 |  1201945 |    23418    129 |        5 |      318
1012.99/1013.35	c 1013s |      21 |  1399508 |  1205045 |    23418    129 |        5 |      318
1014.98/1015.39	c 1015s |      21 |  1402573 |  1207745 |    23418    129 |        5 |      318
1016.98/1017.39	c 1017s |      21 |  1405378 |  1210245 |    23418    129 |        5 |      318
1019.08/1019.42	c 1019s |      21 |  1408010 |  1212545 |    23418    129 |        5 |      318
1021.18/1021.51	c 1021s |      21 |  1410731 |  1214945 |    23418    130 |        5 |      318
1023.18/1023.54	c 1023s |      21 |  1413640 |  1217545 |    23418    130 |        5 |      318
1025.18/1025.55	c 1025s |      21 |  1416395 |  1220045 |    23418    130 |        5 |      318
1027.19/1027.56	c 1027s |      21 |  1418893 |  1222245 |    23418    130 |        5 |      318
1029.28/1029.60	c 1029s |      21 |  1421229 |  1224345 |    23418    130 |        5 |      318
1031.28/1031.68	c 1031s |      21 |  1423654 |  1226545 |    23418    131 |        5 |      318
1033.38/1033.73	c 1033s |      21 |  1426588 |  1229145 |    23418    131 |        5 |      318
1035.38/1035.78	c 1035s |      21 |  1427829 |  1230145 |    23418    131 |        5 |      318
1037.48/1037.85	c 1037s |      21 |  1430994 |  1232845 |    23418    131 |        5 |      318
1039.48/1039.88	c 1039s |      21 |  1433766 |  1235245 |    23418    131 |        5 |      318
1041.58/1041.98	c 1041s |      21 |  1436022 |  1237145 |    23418    132 |        5 |      318
1043.68/1044.05	c 1043s |      21 |  1439652 |  1240345 |    23418    132 |        5 |      318
1045.67/1046.05	c 1045s |      21 |  1442693 |  1243045 |    23418    132 |        5 |      318
1049.47/1049.85	c 1049s |      21 |  1445187 |  1245245 |    23418    132 |        5 |      318
1051.57/1051.91	c 1051s |      21 |  1448139 |  1247745 |    23418    132 |        5 |      318
1053.58/1053.96	c 1053s |      21 |  1450358 |  1249745 |    23418    133 |        5 |      318
1055.67/1056.03	c 1055s |      21 |  1453906 |  1252845 |    23418    133 |        5 |      318
1057.77/1058.10	c 1057s |      21 |  1456686 |  1255245 |    23418    133 |        5 |      318
1059.77/1060.16	c 1059s |      21 |  1459406 |  1257645 |    23418    133 |        5 |      318
1061.78/1062.19	c 1062s |      21 |  1461829 |  1259845 |    23418    133 |        5 |      318
1063.88/1064.25	c 1064s |      21 |  1464165 |  1261945 |    23418    134 |        5 |      318
1065.98/1066.35	c 1066s |      21 |  1467079 |  1264545 |    23418    134 |        5 |      318
1067.98/1068.37	c 1068s |      21 |  1469867 |  1266945 |    23418    134 |        5 |      318
1070.08/1070.46	c 1070s |      21 |  1472555 |  1269345 |    23418    134 |        5 |      318
1072.08/1072.48	c 1072s |      21 |  1474914 |  1271345 |    23418    134 |        5 |      318
1074.58/1074.95	c 1074s |      21 |  1476270 |  1272545 |    23418    135 |        5 |      318
1076.57/1076.96	c 1076s |      21 |  1479594 |  1275345 |    23418    135 |        5 |      318
1078.67/1079.00	c 1078s |      21 |  1482635 |  1278045 |    23418    135 |        5 |      318
1080.67/1081.06	c 1080s |      21 |  1485272 |  1280445 |    23418    135 |        5 |      318
1082.77/1083.10	c 1082s |      21 |  1487590 |  1282545 |    23418    135 |        5 |      318
1084.87/1085.24	c 1085s |      21 |  1489638 |  1284445 |    23418    136 |        5 |      318
1086.97/1087.33	c 1087s |      21 |  1492408 |  1286945 |    23418    136 |        5 |      318
1088.97/1089.33	c 1089s |      21 |  1494566 |  1288945 |    23418    136 |        5 |      318
1090.98/1091.38	c 1091s |      21 |  1497014 |  1291145 |    23418    136 |        5 |      318
1093.07/1093.44	c 1093s |      21 |  1499450 |  1293345 |    23418    136 |        5 |      318
1095.17/1095.53	c 1095s |      21 |  1501640 |  1295345 |    23418    136 |        5 |      318
1097.47/1097.90	c 1097s |      21 |  1503705 |  1297245 |    23418    137 |        5 |      318
1099.56/1099.91	c 1099s |      21 |  1506598 |  1299845 |    23418    137 |        5 |      318
1101.56/1101.95	c 1101s |      21 |  1509224 |  1302045 |    23418    137 |        5 |      318
1103.56/1103.96	c 1103s |      21 |  1511298 |  1303945 |    23418    137 |        5 |      318
1106.77/1107.11	c 1106s |      21 |  1512741 |  1305245 |    23418    137 |        5 |      318
1108.77/1109.11	c 1108s |      21 |  1515184 |  1307245 |    23418    137 |        5 |      318
1110.78/1111.16	c 1110s |      21 |  1517363 |  1309145 |    23418    138 |        5 |      318
1112.77/1113.16	c 1112s |      21 |  1520384 |  1311745 |    23418    138 |        5 |      318
1114.77/1115.17	c 1114s |      21 |  1523547 |  1314545 |    23418    138 |        5 |      318
1116.87/1117.22	c 1117s |      21 |  1526112 |  1316845 |    23418    138 |        5 |      318
1118.87/1119.28	c 1119s |      21 |  1528635 |  1319045 |    23418    138 |        5 |      318
1120.97/1121.30	c 1121s |      21 |  1531227 |  1321245 |    23418    139 |        5 |      318
1122.98/1123.34	c 1123s |      21 |  1534551 |  1324145 |    23418    139 |        5 |      318
1125.08/1125.40	c 1125s |      21 |  1537759 |  1326945 |    23418    139 |        5 |      318
1127.07/1127.42	c 1127s |      21 |  1540478 |  1329345 |    23418    139 |        5 |      318
1129.07/1129.43	c 1129s |      21 |  1542853 |  1331545 |    23418    139 |        5 |      318
1131.17/1131.50	c 1131s |      21 |  1545724 |  1334045 |    23418    140 |        5 |      318
1133.17/1133.55	c 1133s |      21 |  1548610 |  1336645 |    23418    140 |        5 |      318
1135.27/1135.61	c 1135s |      21 |  1551184 |  1338945 |    23418    140 |        5 |      318
1140.36/1140.73	c 1140s |      21 |  1553248 |  1340745 |    23418    140 |        5 |      318
1142.46/1142.81	c 1142s |      21 |  1556023 |  1343045 |    23418    140 |        5 |      318
1144.46/1144.87	c 1144s |      21 |  1558290 |  1345045 |    23418    141 |        5 |      318
1146.56/1146.93	c 1146s |      21 |  1561666 |  1348045 |    23418    141 |        5 |      318
1149.27/1149.66	c 1149s |      21 |  1564675 |  1350745 |    23418    141 |        5 |      318
1151.26/1151.68	c 1151s |      21 |  1567523 |  1353245 |    23418    141 |        5 |      318
1153.46/1153.88	c 1153s |      21 |  1570059 |  1355545 |    23418    142 |        5 |      318
1155.56/1155.93	c 1155s |      21 |  1573522 |  1358645 |    23418    142 |        5 |      318
1157.56/1157.97	c 1157s |      21 |  1576470 |  1361345 |    23418    142 |        5 |      318
1159.66/1160.01	c 1159s |      21 |  1579029 |  1363645 |    23418    142 |        5 |      318
1161.66/1162.07	c 1161s |      21 |  1581927 |  1366145 |    23418    142 |        5 |      318
1163.67/1164.08	c 1163s |      21 |  1584030 |  1367945 |    23418    143 |        5 |      318
1165.66/1166.09	c 1165s |      21 |  1587422 |  1370845 |    23418    143 |        5 |      318
1167.76/1168.13	c 1167s |      21 |  1588121 |  1371445 |    23418    143 |        5 |      318
1169.76/1170.18	c 1169s |      21 |  1591223 |  1374145 |    23418    143 |        5 |      318
1171.76/1172.18	c 1171s |      21 |  1593679 |  1376345 |    23418    143 |        5 |      318
1173.86/1174.26	c 1174s |      21 |  1595953 |  1378445 |    23418    143 |        5 |      318
1175.96/1176.33	c 1176s |      21 |  1598496 |  1380745 |    23418    144 |        5 |      318
1178.05/1178.45	c 1178s |      21 |  1601248 |  1383145 |    23418    144 |        5 |      318
1180.16/1180.52	c 1180s |      21 |  1604490 |  1385845 |    23418    144 |        5 |      318
1182.15/1182.56	c 1182s |      21 |  1607509 |  1388445 |    23418    144 |        5 |      318
1184.25/1184.62	c 1184s |      21 |  1610022 |  1390645 |    23418    144 |        5 |      318
1186.25/1186.63	c 1186s |      21 |  1612644 |  1392945 |    23418    145 |        5 |      318
1188.25/1188.65	c 1188s |      21 |  1615050 |  1395045 |    23418    145 |        5 |      318
1190.25/1190.67	c 1190s |      21 |  1617595 |  1397345 |    23418    145 |        5 |      318
1192.35/1192.71	c 1192s |      21 |  1620145 |  1399545 |    23418    145 |        5 |      318
1194.36/1194.72	c 1194s |      21 |  1622483 |  1401645 |    23418    145 |        5 |      318
1196.35/1196.78	c 1196s |      21 |  1624884 |  1403845 |    23418    146 |        5 |      318
1198.35/1198.78	c 1198s |      21 |  1627398 |  1406045 |    23418    146 |        5 |      318
1200.45/1200.84	c 1200s |      21 |  1630111 |  1408545 |    23418    146 |        5 |      318
1202.85/1203.20	c 1203s |      21 |  1632768 |  1410845 |    23418    146 |        5 |      318
1204.85/1205.25	c 1205s |      21 |  1634995 |  1412845 |    23418    146 |        5 |      318
1206.85/1207.28	c 1207s |      21 |  1637057 |  1414745 |    23418    147 |        5 |      318
1208.95/1209.30	c 1209s |      21 |  1639638 |  1417145 |    23418    147 |        5 |      318
1210.95/1211.35	c 1211s |      21 |  1642185 |  1419445 |    23418    147 |        5 |      318
1213.05/1213.41	c 1213s |      21 |  1644816 |  1421845 |    23418    147 |        5 |      318
1215.05/1215.48	c 1215s |      21 |  1647091 |  1423845 |    23418    147 |        5 |      318
1217.15/1217.53	c 1217s |      21 |  1649577 |  1426045 |    23418    147 |        5 |      318
1223.95/1224.38	c 1224s |      21 |  1651803 |  1428045 |    23418    148 |        5 |      318
1226.05/1226.41	c 1226s |      21 |  1654671 |  1430645 |    23418    148 |        5 |      318
1228.15/1228.50	c 1228s |      21 |  1657277 |  1433045 |    23418    148 |        5 |      318
1230.25/1230.60	c 1230s |      21 |  1659677 |  1435245 |    23418    148 |        5 |      318
1232.25/1232.62	c 1232s |      21 |  1661884 |  1437245 |    23418    148 |        5 |      318
1234.25/1234.68	c 1234s |      21 |  1663984 |  1439145 |    23418    149 |        5 |      318
1236.35/1236.73	c 1236s |      21 |  1666407 |  1441345 |    23418    149 |        5 |      318
1238.36/1238.78	c 1238s |      21 |  1668984 |  1443645 |    23418    149 |        5 |      318
1240.45/1240.83	c 1240s |      21 |  1671216 |  1445645 |    23418    149 |        5 |      318
1242.55/1242.93	c 1242s |      21 |  1673557 |  1447745 |    23418    149 |        5 |      318
1244.55/1244.95	c 1244s |      21 |  1675589 |  1449545 |    23418    149 |        5 |      318
1246.65/1247.02	c 1246s |      21 |  1677785 |  1451445 |    23418    150 |        5 |      318
1248.65/1249.05	c 1248s |      21 |  1680183 |  1453645 |    23418    150 |        5 |      318
1250.65/1251.07	c 1250s |      21 |  1682590 |  1455845 |    23418    150 |        5 |      318
1253.25/1253.65	c 1253s |      21 |  1684822 |  1457845 |    23418    150 |        5 |      318
1255.25/1255.66	c 1255s |      21 |  1687331 |  1459945 |    23418    150 |        5 |      318
1257.55/1257.92	c 1257s |      21 |  1689894 |  1462145 |    23418    151 |        5 |      318
1259.55/1259.94	c 1259s |      21 |  1692741 |  1464645 |    23418    151 |        5 |      318
1261.74/1262.12	c 1261s |      21 |  1695782 |  1467345 |    23418    151 |        5 |      318
1263.75/1264.17	c 1263s |      21 |  1698548 |  1469845 |    23418    151 |        5 |      318
1265.85/1266.25	c 1266s |      21 |  1701074 |  1472145 |    23418    151 |        5 |      318
1267.84/1268.25	c 1268s |      21 |  1703376 |  1474245 |    23418    152 |        5 |      318
1269.84/1270.26	c 1270s |      21 |  1706215 |  1476745 |    23418    152 |        5 |      318
1271.84/1272.26	c 1272s |      21 |  1708975 |  1479245 |    23418    152 |        5 |      318
1273.84/1274.29	c 1274s |      21 |  1710384 |  1480445 |    23418    152 |        5 |      318
1275.94/1276.35	c 1276s |      21 |  1712229 |  1482045 |    23418    152 |        5 |      318
1278.05/1278.44	c 1278s |      21 |  1714903 |  1484445 |    23418    152 |        5 |      318
1280.04/1280.46	c 1280s |      21 |  1717195 |  1486545 |    23418    153 |        5 |      318
1282.04/1282.47	c 1282s |      21 |  1719698 |  1488845 |    23418    153 |        5 |      318
1284.04/1284.48	c 1284s |      21 |  1721823 |  1490845 |    25760    153 |        5 |      318
1286.14/1286.57	c 1286s |      21 |  1724096 |  1492945 |    25760    153 |        5 |      318
1288.24/1288.60	c 1288s |      21 |  1726392 |  1495045 |    25760    153 |        5 |      318
1290.24/1290.61	c 1290s |      21 |  1728496 |  1496945 |    25760    153 |        5 |      318
1292.24/1292.66	c 1292s |      21 |  1730598 |  1498845 |    25760    153 |        5 |      318
1294.34/1294.72	c 1294s |      21 |  1732445 |  1500545 |    25760    154 |        5 |      318
1294.34/1294.79	c 1294s |      22 |  1732538 |  1500622 |    25760    154 |        5 |      318
1296.43/1296.82	c 1296s |      22 |  1733611 |  1501522 |    25760    154 |        5 |      318
1298.85/1299.22	c 1299s |      22 |  1733947 |  1501822 |    25760    154 |        5 |      318
1300.84/1301.28	c 1301s |      22 |  1736888 |  1504222 |    25760    154 |        5 |      318
1302.94/1303.36	c 1303s |      22 |  1740255 |  1507022 |    25760    154 |        5 |      318
1304.94/1305.37	c 1305s |      22 |  1743127 |  1509522 |    25760    154 |        5 |      318
1306.94/1307.38	c 1307s |      22 |  1745893 |  1511822 |    25760    154 |        5 |      318
1308.94/1309.38	c 1309s |      22 |  1748132 |  1513722 |    25760    155 |        5 |      318
1311.04/1311.45	c 1311s |      22 |  1751836 |  1516722 |    25760    155 |        5 |      318
1313.14/1313.51	c 1313s |      22 |  1754856 |  1519322 |    25760    155 |        5 |      318
1315.14/1315.59	c 1315s |      22 |  1757912 |  1522022 |    25760    155 |        5 |      318
1317.23/1317.65	c 1317s |      22 |  1759681 |  1523522 |    25760    155 |        5 |      318
1319.33/1319.71	c 1319s |      22 |  1762174 |  1525522 |    25760    155 |        5 |      318
1321.33/1321.77	c 1321s |      22 |  1764606 |  1527622 |    25760    156 |        5 |      318
1323.43/1323.85	c 1323s |      22 |  1767833 |  1530422 |    25760    156 |        5 |      318
1325.53/1325.90	c 1325s |      22 |  1771000 |  1533122 |    25760    156 |        5 |      318
1327.54/1327.97	c 1327s |      22 |  1773866 |  1535622 |    25760    156 |        5 |      318
1329.53/1329.99	c 1329s |      22 |  1776432 |  1537822 |    25760    156 |        5 |      318
1331.63/1332.00	c 1331s |      22 |  1778881 |  1539822 |    25760    157 |        5 |      318
1333.63/1334.00	c 1333s |      22 |  1781958 |  1542522 |    25760    157 |        5 |      318
1335.63/1336.03	c 1335s |      22 |  1785187 |  1545322 |    25760    157 |        5 |      318
1337.63/1338.08	c 1337s |      22 |  1788011 |  1547822 |    25760    157 |        5 |      318
1339.73/1340.16	c 1339s |      22 |  1790691 |  1550122 |    25760    157 |        5 |      318
1341.74/1342.19	c 1342s |      22 |  1793095 |  1552222 |    25760    158 |        5 |      318
1343.84/1344.22	c 1344s |      22 |  1796085 |  1554922 |    25760    158 |        5 |      318
1345.84/1346.22	c 1346s |      22 |  1798911 |  1557422 |    25760    158 |        5 |      318
1347.84/1348.23	c 1348s |      22 |  1801580 |  1559822 |    25760    158 |        5 |      318
1351.03/1351.40	c 1351s |      22 |  1802139 |  1560322 |    25760    158 |        5 |      318
1353.23/1353.60	c 1353s |      22 |  1802248 |  1560422 |    25760    158 |        5 |      318
1355.23/1355.66	c 1355s |      22 |  1804719 |  1562622 |    25760    158 |        5 |      318
1357.33/1357.77	c 1357s |      22 |  1807062 |  1564722 |    25760    158 |        5 |      318
1359.34/1359.77	c 1359s |      22 |  1809256 |  1566722 |    25760    159 |        5 |      318
1361.43/1361.90	c 1361s |      22 |  1811934 |  1569122 |    25760    159 |        5 |      318
1363.53/1363.97	c 1363s |      22 |  1814640 |  1571522 |    25760    159 |        5 |      318
1365.63/1366.06	c 1365s |      22 |  1817288 |  1573822 |    25760    159 |        5 |      318
1367.63/1368.07	c 1367s |      22 |  1819711 |  1575922 |    25760    159 |        5 |      318
1369.72/1370.14	c 1369s |      22 |  1821846 |  1577822 |    25760    159 |        5 |      318
1371.82/1372.21	c 1372s |      22 |  1824428 |  1580022 |    25760    160 |        5 |      318
1373.82/1374.23	c 1374s |      22 |  1826964 |  1582322 |    25760    160 |        5 |      318
1375.83/1376.24	c 1376s |      22 |  1829444 |  1584522 |    25760    160 |        5 |      318
1377.92/1378.33	c 1378s |      22 |  1831766 |  1586622 |    25760    160 |        5 |      318
1380.02/1380.41	c 1380s |      22 |  1833954 |  1588622 |    25760    160 |        5 |      318
1382.02/1382.44	c 1382s |      22 |  1835909 |  1590422 |    25760    160 |        5 |      318
1384.02/1384.49	c 1384s |      22 |  1837834 |  1592222 |    25760    161 |        5 |      318
1386.12/1386.52	c 1386s |      22 |  1840309 |  1594522 |    25760    161 |        5 |      318
1388.83/1389.22	c 1389s |      22 |  1842387 |  1596422 |    25760    161 |        5 |      318
1390.83/1391.23	c 1391s |      22 |  1845033 |  1598822 |    25760    161 |        5 |      318
1392.83/1393.30	c 1393s |      22 |  1847328 |  1600822 |    25760    161 |        5 |      318
1394.93/1395.33	c 1395s |      22 |  1849767 |  1602922 |    25760    161 |        5 |      318
1396.93/1397.35	c 1397s |      22 |  1851533 |  1604422 |    25760    162 |        5 |      318
1398.93/1399.36	c 1399s |      22 |  1854358 |  1606922 |    25760    162 |        5 |      318
1401.03/1401.42	c 1401s |      22 |  1856965 |  1609222 |    25760    162 |        5 |      318
1403.03/1403.45	c 1403s |      22 |  1859887 |  1611822 |    25760    162 |        5 |      318
1405.03/1405.45	c 1405s |      22 |  1862495 |  1614122 |    25760    162 |        5 |      318
1407.03/1407.49	c 1407s |      22 |  1864926 |  1616322 |    25760    162 |        5 |      318
1409.12/1409.52	c 1409s |      22 |  1867348 |  1618522 |    25760    163 |        5 |      318
1411.13/1411.53	c 1411s |      22 |  1870110 |  1621022 |    25760    163 |        5 |      318
1413.62/1414.09	c 1413s |      22 |  1871389 |  1622122 |    25760    163 |        5 |      318
1415.72/1416.12	c 1415s |      22 |  1874482 |  1624822 |    25760    163 |        5 |      318
1417.82/1418.20	c 1418s |      22 |  1877273 |  1627122 |    25760    163 |        5 |      318
1419.83/1420.24	c 1420s |      22 |  1879629 |  1629122 |    25760    163 |        5 |      318
1421.82/1422.29	c 1422s |      22 |  1882147 |  1631322 |    25760    164 |        5 |      318
1423.82/1424.29	c 1424s |      22 |  1884708 |  1633522 |    25760    164 |        5 |      318
1425.92/1426.34	c 1426s |      22 |  1887983 |  1636322 |    25760    164 |        5 |      318
1428.02/1428.42	c 1428s |      22 |  1890388 |  1638422 |    25760    164 |        5 |      318
1430.02/1430.44	c 1430s |      22 |  1892857 |  1640622 |    25760    164 |        5 |      318
1432.03/1432.46	c 1432s |      22 |  1894936 |  1642522 |    25760    164 |        5 |      318
1434.02/1434.50	c 1434s |      22 |  1897296 |  1644622 |    25760    165 |        5 |      318
1436.12/1436.51	c 1436s |      22 |  1899885 |  1647022 |    25760    165 |        5 |      318
1438.12/1438.55	c 1438s |      22 |  1902087 |  1649022 |    25760    165 |        5 |      318
1440.12/1440.60	c 1440s |      22 |  1904335 |  1651022 |    25760    165 |        5 |      318
1442.21/1442.64	c 1442s |      22 |  1906497 |  1652922 |    25760    165 |        5 |      318
1444.31/1444.77	c 1444s |      22 |  1908623 |  1654822 |    25760    165 |        5 |      318
1446.61/1447.00	c 1446s |      22 |  1910553 |  1656322 |    25760    166 |        5 |      318
1448.61/1449.04	c 1448s |      22 |  1914113 |  1659222 |    25760    166 |        5 |      318
1450.62/1451.04	c 1450s |      22 |  1917163 |  1661822 |    25760    166 |        5 |      318
1452.61/1453.05	c 1452s |      22 |  1919786 |  1664122 |    25760    166 |        5 |      318
1454.71/1455.13	c 1454s |      22 |  1922322 |  1666322 |    25760    166 |        5 |      318
1457.52/1457.95	c 1457s |      22 |  1924216 |  1667922 |    25760    166 |        5 |      318
1460.12/1460.56	c 1460s |      22 |  1924793 |  1668422 |    25760    166 |        5 |      318
1462.11/1462.58	c 1462s |      22 |  1926475 |  1669822 |    25760    167 |        5 |      318
1464.21/1464.65	c 1464s |      22 |  1929591 |  1672522 |    25760    167 |        5 |      318
1466.21/1466.65	c 1466s |      22 |  1932807 |  1675322 |    25760    167 |        5 |      318
1468.22/1468.68	c 1468s |      22 |  1935350 |  1677622 |    25760    167 |        5 |      318
1470.21/1470.69	c 1470s |      22 |  1938199 |  1680022 |    25760    167 |        5 |      318
1473.11/1473.52	c 1473s |      22 |  1940241 |  1681822 |    25760    167 |        5 |      318
1475.11/1475.55	c 1475s |      22 |  1942645 |  1683922 |    25760    168 |        5 |      318
1477.12/1477.57	c 1477s |      22 |  1945579 |  1686522 |    25760    168 |        5 |      318
1479.11/1479.59	c 1479s |      22 |  1948214 |  1688822 |    25760    168 |        5 |      318
1481.21/1481.62	c 1481s |      22 |  1950739 |  1690922 |    25760    168 |        5 |      318
1483.21/1483.70	c 1483s |      22 |  1953279 |  1693122 |    25760    168 |        5 |      318
1485.41/1485.82	c 1485s |      22 |  1955524 |  1695122 |    25760    169 |        5 |      318
1487.41/1487.86	c 1487s |      22 |  1958126 |  1697422 |    25760    169 |        5 |      318
1489.41/1489.87	c 1489s |      22 |  1960672 |  1699722 |    25760    169 |        5 |      318
1491.42/1491.89	c 1491s |      22 |  1963401 |  1702122 |    25760    169 |        5 |      318
1493.52/1493.92	c 1493s |      22 |  1965997 |  1704422 |    25760    169 |        5 |      318
1495.61/1496.03	c 1495s |      22 |  1968199 |  1706422 |    25760    169 |        5 |      318
1497.81/1498.20	c 1498s |      22 |  1970292 |  1708322 |    25760    170 |        5 |      318
1500.21/1500.69	c 1500s |      22 |  1970543 |  1708522 |    25760    170 |        5 |      318
1502.31/1502.72	c 1502s |      22 |  1974062 |  1711522 |    25760    170 |        5 |      318
1504.31/1504.75	c 1504s |      22 |  1977036 |  1714122 |    25760    170 |        5 |      318
1506.41/1506.82	c 1506s |      22 |  1979892 |  1716622 |    25760    170 |        5 |      318
1508.40/1508.84	c 1508s |      22 |  1982621 |  1718822 |    25760    170 |        5 |      318
1510.50/1510.92	c 1510s |      22 |  1984992 |  1720922 |    25760    170 |        5 |      318
1512.50/1512.98	c 1512s |      22 |  1987065 |  1722622 |    25760    171 |        5 |      318
1514.60/1515.02	c 1514s |      22 |  1990183 |  1725222 |    25760    171 |        5 |      318
1516.61/1517.02	c 1516s |      22 |  1993074 |  1727722 |    25760    171 |        5 |      318
1518.70/1519.10	c 1518s |      22 |  1995967 |  1730122 |    25760    171 |        5 |      318
1520.70/1521.13	c 1520s |      22 |  1998133 |  1731922 |    25760    171 |        5 |      318
1522.70/1523.13	c 1522s |      22 |  2000349 |  1733822 |    25760    171 |        5 |      318
1524.70/1525.15	c 1524s |      22 |  2002775 |  1735822 |    25760    172 |        5 |      318
1526.70/1527.19	c 1527s |      22 |  2006087 |  1738722 |    25760    172 |        5 |      318
1528.81/1529.23	c 1529s |      22 |  2009204 |  1741422 |    25760    172 |        5 |      318
1530.80/1531.28	c 1531s |      22 |  2011616 |  1743622 |    25760    172 |        5 |      318
1532.90/1533.38	c 1533s |      22 |  2013907 |  1745722 |    25760    172 |        5 |      318
1535.00/1535.45	c 1535s |      22 |  2016146 |  1747622 |    25760    173 |        5 |      318
1537.10/1537.50	c 1537s |      22 |  2018884 |  1750022 |    25760    173 |        5 |      318
1539.10/1539.55	c 1539s |      22 |  2021734 |  1752522 |    25760    173 |        5 |      318
1541.20/1541.63	c 1541s |      22 |  2024515 |  1754922 |    25760    173 |        5 |      318
1543.20/1543.68	c 1543s |      22 |  2026820 |  1757022 |    25760    173 |        5 |      318
1545.30/1545.71	c 1545s |      22 |  2029089 |  1759022 |    25760    173 |        5 |      318
1547.30/1547.71	c 1547s |      22 |  2030446 |  1760222 |    25760    173 |        5 |      318
1549.30/1549.74	c 1549s |      22 |  2032124 |  1761722 |    25760    174 |        5 |      318
1551.40/1551.80	c 1551s |      22 |  2035179 |  1764522 |    25760    174 |        5 |      318
1553.40/1553.86	c 1553s |      22 |  2037800 |  1766922 |    25760    174 |        5 |      318
1555.50/1555.93	c 1555s |      22 |  2040201 |  1769122 |    25760    174 |        5 |      318
1557.50/1557.95	c 1557s |      22 |  2042227 |  1771022 |    25760    174 |        5 |      318
1559.61/1560.01	c 1559s |      22 |  2044136 |  1772722 |    25760    174 |        5 |      318
1561.60/1562.08	c 1561s |      22 |  2045544 |  1774022 |    25760    175 |        5 |      318
1563.70/1564.12	c 1563s |      22 |  2048140 |  1776422 |    25760    175 |        5 |      318
1565.80/1566.20	c 1566s |      22 |  2050766 |  1778722 |    25760    175 |        5 |      318
1567.90/1568.30	c 1568s |      22 |  2053093 |  1780822 |    25760    175 |        5 |      318
1569.90/1570.36	c 1570s |      22 |  2054922 |  1782422 |    25760    175 |        5 |      318
1571.90/1572.36	c 1572s |      22 |  2056862 |  1784122 |    25760    175 |        5 |      318
1574.00/1574.43	c 1574s |      22 |  2058871 |  1785922 |    25760    175 |        5 |      318
1576.19/1576.61	c 1576s |      22 |  2060316 |  1787222 |    25760    176 |        5 |      318
1578.20/1578.66	c 1578s |      22 |  2062919 |  1789522 |    25760    176 |        5 |      318
1580.29/1580.74	c 1580s |      22 |  2065659 |  1791922 |    25760    176 |        5 |      318
1582.29/1582.77	c 1582s |      22 |  2068164 |  1794122 |    25760    176 |        5 |      318
1584.39/1584.84	c 1584s |      22 |  2070351 |  1796122 |    25760    176 |        5 |      318
1586.40/1586.84	c 1586s |      22 |  2072012 |  1797522 |    25760    176 |        5 |      318
1588.70/1589.15	c 1588s |      22 |  2074354 |  1799422 |    25760    177 |        5 |      318
1590.70/1591.16	c 1590s |      22 |  2077174 |  1801822 |    25760    177 |        5 |      318
1592.80/1593.21	c 1593s |      22 |  2080439 |  1804522 |    25760    177 |        5 |      318
1594.90/1595.31	c 1595s |      22 |  2083479 |  1807122 |    25760    177 |        5 |      318
1596.90/1597.32	c 1597s |      22 |  2085943 |  1809322 |    25760    177 |        5 |      318
1598.90/1599.35	c 1599s |      22 |  2088255 |  1811422 |    25760    177 |        5 |      318
1601.89/1602.33	c 1602s |      22 |  2089469 |  1812522 |    25760    178 |        5 |      318
1603.89/1604.34	c 1604s |      22 |  2092581 |  1815222 |    25760    178 |        5 |      318
1605.89/1606.37	c 1606s |      22 |  2095783 |  1818022 |    25760    178 |        5 |      318
1608.00/1608.44	c 1608s |      22 |  2098527 |  1820422 |    25760    178 |        5 |      318
1609.99/1610.48	c 1610s |      22 |  2100918 |  1822622 |    25760    178 |        5 |      318
1611.99/1612.49	c 1612s |      22 |  2103647 |  1824922 |    25760    178 |        5 |      318
1614.19/1614.61	c 1614s |      22 |  2105953 |  1827022 |    25760    179 |        5 |      318
1616.19/1616.66	c 1616s |      22 |  2109343 |  1830022 |    25760    179 |        5 |      318
1618.29/1618.72	c 1618s |      22 |  2112356 |  1832722 |    25760    179 |        5 |      318
1620.39/1620.81	c 1620s |      22 |  2115031 |  1835222 |    25760    179 |        5 |      318
1622.49/1622.93	c 1622s |      22 |  2117647 |  1837622 |    25760    179 |        5 |      318
1628.68/1629.10	c 1628s |      22 |  2117901 |  1837822 |    25760    179 |        5 |      318
1630.89/1631.39	c 1631s |      22 |  2118763 |  1838522 |    25760    180 |        5 |      318
1632.99/1633.41	c 1633s |      22 |  2122203 |  1841422 |    25760    180 |        5 |      318
1634.99/1635.49	c 1635s |      22 |  2125632 |  1844322 |    25760    180 |        5 |      318
1637.09/1637.53	c 1637s |      22 |  2128647 |  1846822 |    25760    180 |        5 |      318
1639.09/1639.53	c 1639s |      22 |  2131394 |  1849222 |    25760    180 |        5 |      318
1641.09/1641.54	c 1641s |      22 |  2133722 |  1851322 |    25760    180 |        5 |      318
1643.10/1643.56	c 1643s |      22 |  2136083 |  1853422 |    25760    181 |        5 |      318
1645.19/1645.62	c 1645s |      22 |  2137866 |  1855022 |    25760    181 |        5 |      318
1647.19/1647.69	c 1647s |      22 |  2140823 |  1857622 |    25760    181 |        5 |      318
1649.29/1649.70	c 1649s |      22 |  2143759 |  1860122 |    25760    181 |        5 |      318
1651.29/1651.78	c 1651s |      22 |  2146577 |  1862522 |    25760    181 |        5 |      318
1653.49/1653.97	c 1653s |      22 |  2148840 |  1864522 |    25760    182 |        5 |      318
1655.59/1656.01	c 1655s |      22 |  2152019 |  1867422 |    25760    182 |        5 |      318
1657.69/1658.15	c 1657s |      22 |  2154567 |  1869722 |    25760    182 |        5 |      318
1659.79/1660.23	c 1660s |      22 |  2157134 |  1872022 |    25760    182 |        5 |      318
1661.79/1662.30	c 1662s |      22 |  2159759 |  1874322 |    25760    182 |        5 |      318
1663.89/1664.40	c 1664s |      22 |  2162186 |  1876422 |    25760    182 |        5 |      318
1665.98/1666.46	c 1666s |      22 |  2164434 |  1878522 |    25760    183 |        5 |      318
1668.08/1668.51	c 1668s |      22 |  2167209 |  1881022 |    25760    183 |        5 |      318
1670.08/1670.54	c 1670s |      22 |  2169933 |  1883522 |    25760    183 |        5 |      318
1677.08/1677.56	c 1677s |      22 |  2172300 |  1885722 |    25760    183 |        5 |      318
1679.18/1679.64	c 1679s |      22 |  2174891 |  1887922 |    25760    183 |        5 |      318
1681.28/1681.73	c 1681s |      22 |  2177435 |  1890122 |    25760    183 |        5 |      318
1683.28/1683.75	c 1683s |      22 |  2179506 |  1892022 |    25760    184 |        5 |      318
1685.38/1685.81	c 1685s |      22 |  2182049 |  1894322 |    25760    184 |        5 |      318
1687.38/1687.88	c 1687s |      22 |  2184890 |  1896822 |    25760    184 |        5 |      318
1689.48/1689.92	c 1689s |      22 |  2187309 |  1899022 |    25760    184 |        5 |      318
1691.58/1692.01	c 1691s |      22 |  2189713 |  1901222 |    25760    184 |        5 |      318
1693.57/1694.05	c 1693s |      22 |  2191914 |  1903222 |    25760    184 |        5 |      318
1695.57/1696.06	c 1695s |      22 |  2194151 |  1905322 |    25760    185 |        5 |      318
1697.68/1698.11	c 1697s |      22 |  2195390 |  1906422 |    25760    185 |        5 |      318
1699.68/1700.17	c 1699s |      22 |  2197973 |  1908722 |    25760    185 |        5 |      318
1701.68/1702.18	c 1701s |      22 |  2200410 |  1910922 |    25760    185 |        5 |      318
1703.78/1704.21	c 1704s |      22 |  2202718 |  1913022 |    25760    185 |        5 |      318
1705.79/1706.28	c 1706s |      22 |  2204919 |  1915022 |    25760    185 |        5 |      318
1707.88/1708.30	c 1708s |      22 |  2206952 |  1916822 |    25760    186 |        5 |      318
1709.88/1710.31	c 1710s |      22 |  2209539 |  1919122 |    25760    186 |        5 |      318
1711.88/1712.38	c 1712s |      22 |  2212170 |  1921522 |    25760    186 |        5 |      318
1713.98/1714.47	c 1714s |      22 |  2214244 |  1923422 |    25760    186 |        5 |      318
1716.08/1716.59	c 1716s |      22 |  2216142 |  1925222 |    25760    186 |        5 |      318
1718.18/1718.61	c 1718s |      22 |  2217946 |  1926922 |    25760    186 |        5 |      318
1720.18/1720.61	c 1720s |      22 |  2219573 |  1928422 |    25760    186 |        5 |      318
1722.18/1722.69	c 1722s |      22 |  2221521 |  1930022 |    25760    187 |        5 |      318
1724.28/1724.73	c 1724s |      22 |  2223672 |  1931922 |    25760    187 |        5 |      318
1731.57/1732.01	c 1731s |      22 |  2224460 |  1932622 |    25760    187 |        5 |      318
1733.57/1734.01	c 1733s |      22 |  2227868 |  1935422 |    25760    187 |        5 |      318
1735.67/1736.11	c 1735s |      22 |  2230604 |  1937822 |    25760    187 |        5 |      318
1737.67/1738.13	c 1737s |      22 |  2233361 |  1940222 |    25760    187 |        5 |      318
1739.77/1740.20	c 1740s |      22 |  2235623 |  1942222 |    25760    187 |        5 |      318
1741.77/1742.23	c 1742s |      22 |  2237474 |  1943922 |    25760    188 |        5 |      318
1743.87/1744.30	c 1744s |      22 |  2241048 |  1946922 |    25760    188 |        5 |      318
1745.87/1746.32	c 1746s |      22 |  2243730 |  1949322 |    25760    188 |        5 |      318
1747.97/1748.40	c 1748s |      22 |  2246210 |  1951522 |    25760    188 |        5 |      318
1749.97/1750.42	c 1750s |      22 |  2248581 |  1953622 |    25760    188 |        5 |      318
1752.17/1752.64	c 1752s |      22 |  2250782 |  1955622 |    25760    189 |        5 |      318
1754.18/1754.69	c 1754s |      22 |  2253234 |  1957822 |    25760    189 |        5 |      318
1756.27/1756.73	c 1756s |      22 |  2255499 |  1959922 |    25760    189 |        5 |      318
1758.37/1758.84	c 1758s |      22 |  2257942 |  1962122 |    25760    189 |        5 |      318
1760.47/1760.91	c 1760s |      22 |  2260035 |  1964022 |    25760    189 |        5 |      318
1762.47/1762.96	c 1762s |      22 |  2262119 |  1965922 |    25760    189 |        5 |      318
1766.17/1766.61	c 1766s |      22 |  2263538 |  1967222 |    25760    189 |        5 |      318
1768.27/1768.77	c 1768s |      22 |  2265462 |  1968922 |    25760    190 |        5 |      318
1770.36/1770.89	c 1770s |      22 |  2268106 |  1971322 |    25760    190 |        5 |      318
1772.46/1772.92	c 1772s |      22 |  2271012 |  1973922 |    25760    190 |        5 |      318
1774.46/1774.98	c 1774s |      22 |  2273274 |  1976022 |    25760    190 |        5 |      318
1776.56/1777.05	c 1776s |      22 |  2275290 |  1977722 |    25760    190 |        5 |      318
1778.56/1779.05	c 1778s |      22 |  2277134 |  1979422 |    25760    190 |        5 |      318
1780.57/1781.10	c 1780s |      22 |  2278870 |  1981022 |    25760    190 |        5 |      318
1782.66/1783.15	c 1782s |      22 |  2281100 |  1983022 |    25760    191 |        5 |      318
1784.76/1785.21	c 1785s |      22 |  2283614 |  1985322 |    25760    191 |        5 |      318
1786.76/1787.23	c 1787s |      22 |  2285829 |  1987322 |    25760    191 |        5 |      318
1788.76/1789.26	c 1789s |      22 |  2287796 |  1989122 |    25760    191 |        5 |      318
1790.86/1791.35	c 1791s |      22 |  2289765 |  1990922 |    25760    191 |        5 |      318
1792.86/1793.37	c 1793s |      22 |  2291371 |  1992422 |    25760    191 |        5 |      318
1795.06/1795.50	c 1795s |      22 |  2292222 |  1993222 |    25760    191 |        5 |      318
1797.46/1797.99	c 1797s |      22 |  2293988 |  1994722 |    25760    192 |        5 |      318
1799.46/1799.99	c 1799s |      22 |  2296448 |  1996922 |    25760    192 |        5 |      318

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

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

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


[startup+0 s]
/proc/loadavg: 2.13 2.18 2.17 3/179 32311
/proc/meminfo: memFree=29399260/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=671164 CPUtime=0 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 2492 0 0 0 0 0 0 0 20 0 4 0 13823660 687271936 3363 33554432000 4194304 16246674 140734994578112 140734994577536 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 168303 3373 441 2943 0 165197 0
[pid=32311/tid=32312] ppid=32308 vsize=687548 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 704049152 3429 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=691644 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 708243456 3445 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=696764 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13823660 713486336 3462 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.13 2.18 2.17 3/179 32311
/proc/meminfo: memFree=29399260/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 26154 0 0 0 6 3 0 0 20 0 4 0 13823660 1249447936 26963 33554432000 4194304 16246674 140734994578112 140734994560000 6761361 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 305041 26971 836 2943 0 301935 0
[pid=32311/tid=32312] ppid=32308 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1249447936 26978 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1249447936 26984 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13823660 1249447936 26991 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200508 s]
/proc/loadavg: 2.13 2.18 2.17 3/179 32311
/proc/meminfo: memFree=29399260/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 44273 0 0 0 13 6 0 0 20 0 4 0 13823660 1249447936 45082 33554432000 4194304 16246674 140734994578112 140734994560000 12483674 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 305041 45087 874 2943 0 301935 0
[pid=32311/tid=32312] ppid=32308 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1249447936 45090 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1249447936 45096 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13823660 1249447936 45103 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300468 s]
/proc/loadavg: 2.13 2.18 2.17 3/179 32311
/proc/meminfo: memFree=29399260/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1220164 CPUtime=0.28 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 66043 0 0 0 20 8 0 0 20 0 4 0 13823660 1249447936 66853 33554432000 4194304 16246674 140734994578112 140734994560000 6021007 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 305041 66858 878 2943 0 301935 0
[pid=32311/tid=32312] ppid=32308 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1249447936 66864 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1249447936 66873 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13823660 1249447936 66883 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1220164

[startup+0.700396 s]
/proc/loadavg: 2.13 2.18 2.17 3/179 32311
/proc/meminfo: memFree=29399260/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1220164 CPUtime=0.68 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 151759 0 0 0 48 20 0 0 20 0 4 0 13823660 1249447936 152569 33554432000 4194304 16246674 140734994578112 140734994560000 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 305041 152578 878 2943 0 301935 0
[pid=32311/tid=32312] ppid=32308 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1249447936 152585 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1249447936 152592 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13823660 1249447936 152596 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1220164

[startup+1.50042 s]
/proc/loadavg: 2.20 2.19 2.18 3/183 32315
/proc/meminfo: memFree=28395668/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1300036 CPUtime=1.49 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 266028 0 0 0 111 38 0 0 20 0 4 0 13823660 1331236864 266837 33554432000 4194304 16246674 140734994578112 140734994577424 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 325009 266837 881 2943 0 321903 0
[pid=32311/tid=32312] ppid=32308 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1331236864 266837 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1331236864 266837 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13823660 1331236864 266837 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1300036

[startup+3.10035 s]
/proc/loadavg: 2.20 2.19 2.18 3/183 32315
/proc/meminfo: memFree=28325236/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 267867 0 0 0 271 38 0 0 20 0 4 0 13823660 1338576896 268676 33554432000 4194304 16246674 140734994578112 140734994560000 5659326 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 326801 268676 881 2943 0 323695 0
[pid=32311/tid=32312] ppid=32308 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1338576896 268676 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1338576896 268676 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13823660 1338576896 268676 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 2.20 2.19 2.18 3/183 32315
/proc/meminfo: memFree=28324764/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 267990 0 0 0 591 38 0 0 20 0 4 0 13823660 1339625472 268799 33554432000 4194304 16246674 140734994578112 140734994560000 5673672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 327057 268799 887 2943 0 323951 0
[pid=32311/tid=32312] ppid=32308 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1339625472 268799 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1339625472 268799 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13823660 1339625472 268799 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7003 s]
/proc/loadavg: 2.17 2.19 2.18 3/183 32315
/proc/meminfo: memFree=28323596/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 268241 0 0 0 1230 38 0 0 20 0 4 0 13823660 1339625472 269050 33554432000 4194304 16246674 140734994578112 140734994560000 5672056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 327057 269050 887 2943 0 323951 0
[pid=32311/tid=32312] ppid=32308 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1339625472 269050 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1339625472 269050 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13823660 1339625472 269050 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5073 s]
/proc/loadavg: 2.22 2.20 2.18 3/183 32315
/proc/meminfo: memFree=28303548/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1328708 CPUtime=25.5 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 273362 0 0 0 2511 39 0 0 20 0 4 0 13823660 1360596992 274171 33554432000 4194304 16246674 140734994578112 140734994560000 12477921 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 332177 274171 888 2943 0 329071 0
[pid=32311/tid=32312] ppid=32308 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1360596992 274171 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1360596992 274171 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13823660 1360596992 274171 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1328708

[startup+51.1004 s]
/proc/loadavg: 2.14 2.18 2.17 3/183 32315
/proc/meminfo: memFree=28303256/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1328708 CPUtime=51.08 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 273362 0 0 0 5069 39 0 0 20 0 4 0 13823660 1360596992 274171 33554432000 4194304 16246674 140734994578112 140734994560000 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 332177 274171 888 2943 0 329071 0
[pid=32311/tid=32312] ppid=32308 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1360596992 274171 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1360596992 274171 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13823660 1360596992 274171 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1328708

[startup+102.3 s]
/proc/loadavg: 2.10 2.16 2.17 3/183 32316
/proc/meminfo: memFree=28287648/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1344068 CPUtime=102.27 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 277202 0 0 0 10187 40 0 0 20 0 4 0 13823660 1376325632 278011 33554432000 4194304 16246674 140734994578112 140734994560000 5662249 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 336017 278011 888 2943 0 332911 0
[pid=32311/tid=32312] ppid=32308 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1376325632 278011 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1376325632 278011 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13823660 1376325632 278011 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1344068


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

/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13823660 1416171520 287742 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1382980

[startup+1302.3 s]
/proc/loadavg: 2.24 2.18 2.17 3/183 32612
/proc/meminfo: memFree=28324120/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1382980 CPUtime=1301.94 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 287236 0 0 0 130134 60 0 0 20 0 4 0 13823660 1416171520 287742 33554432000 4194304 16246674 140734994578112 140734994561112 5823607 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 345745 287742 888 2943 0 342639 0
[pid=32311/tid=32312] ppid=32308 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1416171520 287742 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1416171520 287742 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13823660 1416171520 287742 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1382980

[startup+1362.3 s]
/proc/loadavg: 2.17 2.17 2.17 3/183 32613
/proc/meminfo: memFree=28316300/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1382980 CPUtime=1361.93 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 287236 0 0 0 136132 61 0 0 20 0 4 0 13823660 1416171520 287742 33554432000 4194304 16246674 140734994578112 140734994560000 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 345745 287742 888 2943 0 342639 0
[pid=32311/tid=32312] ppid=32308 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1416171520 287742 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1416171520 287742 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13823660 1416171520 287742 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1382980

[startup+1422.3 s]
/proc/loadavg: 2.20 2.18 2.17 3/183 32614
/proc/meminfo: memFree=28316932/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1382980 CPUtime=1421.92 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 287236 0 0 0 142130 62 0 0 20 0 4 0 13823660 1416171520 287742 33554432000 4194304 16246674 140734994578112 140734994560000 5672890 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 345745 287742 888 2943 0 342639 0
[pid=32311/tid=32312] ppid=32308 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1416171520 287742 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1416171520 287742 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13823660 1416171520 287742 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1382980

[startup+1482.3 s]
/proc/loadavg: 2.42 2.23 2.19 3/184 346
/proc/meminfo: memFree=28357984/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1382980 CPUtime=1481.91 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 287236 0 0 0 148128 63 0 0 20 0 4 0 13823660 1416171520 287742 33554432000 4194304 16246674 140734994578112 140734994560000 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 345745 287742 888 2943 0 342639 0
[pid=32311/tid=32312] ppid=32308 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1416171520 287742 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1416171520 287742 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13823660 1416171520 287742 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1382980

[startup+1542.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/183 400
/proc/meminfo: memFree=28337828/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1388100 CPUtime=1541.9 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 288516 0 0 0 154127 63 0 0 20 0 4 0 13823660 1421414400 289022 33554432000 4194304 16246674 140734994578112 140734994560000 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 347025 289022 888 2943 0 343919 0
[pid=32311/tid=32312] ppid=32308 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1421414400 289022 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1421414400 289022 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13823660 1421414400 289022 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1388100

[startup+1602.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/183 401
/proc/meminfo: memFree=28330204/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1395268 CPUtime=1601.89 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 290308 0 0 0 160124 65 0 0 20 0 4 0 13823660 1428754432 290814 33554432000 4194304 16246674 140734994578112 140734994575936 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 348817 290814 888 2943 0 345711 0
[pid=32311/tid=32312] ppid=32308 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1428754432 290814 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1428754432 290814 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13823660 1428754432 290814 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1395268

[startup+1662.31 s]
/proc/loadavg: 2.12 2.18 2.17 3/183 402
/proc/meminfo: memFree=28301232/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1395268 CPUtime=1661.89 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 290308 0 0 0 166123 66 0 0 20 0 4 0 13823660 1428754432 290814 33554432000 4194304 16246674 140734994578112 140734994560000 14073233 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 348817 290814 888 2943 0 345711 0
[pid=32311/tid=32312] ppid=32308 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1428754432 290814 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1428754432 290814 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13823660 1428754432 290814 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1395268

[startup+1722.3 s]
/proc/loadavg: 2.15 2.17 2.17 3/183 403
/proc/meminfo: memFree=28301236/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1395268 CPUtime=1721.88 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 290308 0 0 0 172121 67 0 0 20 0 4 0 13823660 1428754432 290814 33554432000 4194304 16246674 140734994578112 140734994560000 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 348817 290814 888 2943 0 345711 0
[pid=32311/tid=32312] ppid=32308 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1428754432 290814 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1428754432 290814 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13823660 1428754432 290814 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1395268

[startup+1782.3 s]
/proc/loadavg: 2.26 2.20 2.18 4/183 404
/proc/meminfo: memFree=28301260/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1395268 CPUtime=1781.86 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 290309 0 0 0 178118 68 0 0 20 0 4 0 13823660 1428754432 290815 33554432000 4194304 16246674 140734994578112 140734994560000 5808149 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 348817 290815 889 2943 0 345711 0
[pid=32311/tid=32312] ppid=32308 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1428754432 290815 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1428754432 290815 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13823660 1428754432 290815 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1395268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.28 2.21 2.18 3/183 405
/proc/meminfo: memFree=28301512/32872528 swapFree=1190796/1305260
[pid=32311] ppid=32308 vsize=1395268 CPUtime=1800.06 cores=0,2,4,6
/proc/32311/stat : 32311 (toysat) R 32308 32311 29204 0 -1 4202496 290309 0 0 0 179938 68 0 0 20 0 4 0 13823660 1428754432 290815 33554432000 4194304 16246674 140734994578112 140734994560000 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32311/statm: 348817 290815 889 2943 0 345711 0
[pid=32311/tid=32312] ppid=32308 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32312/stat : 32312 (toysat) S 32308 32311 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13823660 1428754432 290815 33554432000 4194304 16246674 140734994578112 140586449349872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32311/tid=32313] ppid=32308 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32313/stat : 32313 (toysat) S 32308 32311 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13823660 1428754432 290815 33554432000 4194304 16246674 140734994578112 140586438860016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32311/tid=32314] ppid=32308 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/32311/task/32314/stat : 32314 (toysat) S 32308 32311 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13823660 1428754432 290815 33554432000 4194304 16246674 140734994578112 140586359188656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1395268

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 32311 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.51
CPU time (s): 1800.08
CPU user time (s): 1799.39
CPU system time (s): 0.689895
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 1395268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.689895
maximum resident set size= 1163260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290309
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= 321
involuntary context switches= 1859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.20106 second user time and 8.47671 second system time

The end

Begin job on node127 at 2016-06-17 00:56:10
IDJOB=4097436
IDBENCH=107757
IDSOLVER=2542
FILE ID=node127/4097436-1466117770
RUNJOBID= node127-1466112960-31001
PBS_JOBID= 19904036
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_34.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097436-1466117770/watcher-4097436-1466117770 -o /tmp/evaluation-result-4097436-1466117770/solver-4097436-1466117770 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466112960-31001 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097436-1466117770.opb

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

MD5SUM BENCH= 5ee8cce6179355f75b48d7b22303ef47
RANDOM SEED=1869087271

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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:        29399632 kB
Buffers:           64764 kB
Cached:           170772 kB
SwapCached:        34656 kB
Active:          1308620 kB
Inactive:         152860 kB
Active(anon):    1192704 kB
Inactive(anon):    35592 kB
Active(file):     115916 kB
Inactive(file):   117268 kB
Unevictable:     1305260 kB
Mlocked:         1190796 kB
SwapTotal:      67108856 kB
SwapFree:       67066092 kB
Dirty:             16732 kB
Writeback:             0 kB
AnonPages:       2497912 kB
Mapped:            10680 kB
Shmem:                 0 kB
Slab:             571184 kB
SReclaimable:      15464 kB
SUnreclaim:       555720 kB
KernelStack:        1520 kB
PageTables:         8968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2640836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    864256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node127 at 2016-06-17 01:26:11