0.00/0.00	c 2016-06-18T07:29:26+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-4101809-1466227766.opb"]
0.00/0.01	c use --random-gen="1682144767 3163247689 2073066004 3070544933 4233381385 1850392722 3497864469 2049421484 4093203831 2857073057 1039652397 819056838 2622351086 583427454 3175990982 2957258051 3459777125 179102565 432605177 3281268261 1055648462 2099253717 3829871254 2746066230 3803421060 1111311775 671208406 3120264910 559873905 2397702440 127281171 2014688587 2475578776 1726163035 2291556432 3789615307 2569994276 2891465661 1571378547 3916435193 2105641681 2022484945 3213173373 3369146065 3352131463 2758288337 860583447 698699917 2724036366 2802694043 2556768005 846848941 4153181217 980106968 976855010 669573934 2938892035 368551318 3765541791 2145721809 3647403024 1364889173 2233701356 314056796 711790023 3132299768 1088188997 3716131236 1376070672 2406693324 2210878544 55755052 3767227448 2359937170 2959880994 660404569 2508771029 1264566107 3275068751 2769874771 2493159969 1491370020 3407907558 1427304959 1046009719 3168038328 4241742524 2379288897 1957181987 2601948600 3342643991 3619341538 3407100612 3666755668 1689836279 1890096514 1757452229 1235264946 1480779469 992375270 2533964078 3008734490 405121981 543583630 548662769 3480385503 659170052 2829543662 3907007352 2253996973 3180427897 3758392716 4144857057 3781587942 137019075 132665944 2832988244 4252196489 836420367 3037557280 2292913940 1096680539 1313865841 2908375172 2620533620 1619586784 4160438610 1007021588 3942238033 2589314266 3606926102 588245372 3567131823 4274557550 1031337279 3176630093 2461559173 2378125148 1705121567 1575026976 2747760227 3813482191 3409661682 2374799681 4111089548 1533256617 2361786392 2126884692 1024084300 1489186551 1420176743 252441509 1487905100 636208984 2366038324 2761771310 568350537 3999667714 2987398757 1073721440 3213077863 900165796 2037205411 600173702 1939877153 1724722496 1384454642 3368424910 2818127283 1395060490 4249266088 1910854110 2819755025 3684931951 3018859107 2382600931 3470387036 3975460344 4032508557 2783775646 2887639525 1111312441 3852225586 3292936400 2329934895 2537340819 54500434 648940668 2579928519 733059268 1320358588 3709448058 475024117 2545431726 2418334745 3463868761 3377606226 2251803460 2124387240 3179772998 3709548457 3549507594 494271622 3236358412 1033975771 1188763291 2639810754 2823434395 251854595 4266264609 4221919285 2944016581 3932735974 3290874510 649515533 1348937856 1098070631 1256050473 3369549618 1463404452 1193522716 87923340 2557508388 93953760 39781470 2254277263 1681083810 3252294176 3005202387 2073129743 3326824425 1171683425 2830305449 1419558730 2463297533 3134377949 195517180 1655430018 2878721670 2441681648 308802126 504141767 2812661045 2759131753 2114674248 3375484439 2124030234 581610246 1838189368 4091047395 159117600 3035862350 516062492 4040166849 909546140 66947863 255 362436" option to reproduce the execution
0.09/0.19	c #vars 8904
0.09/0.19	c #constraints 823
0.49/0.52	c BCD2: Hardening is enabled.
0.49/0.52	c BCD2: BiasedSearch is enabled.
0.49/0.52	c Solving starts ...
0.49/0.52	c ============================[ Search Statistics ]============================
0.49/0.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.52	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.52	c =============================================================================
0.49/0.52	c  0.0s |       0 |        0 |        0 |     3516      0 |        0 |        0
0.59/0.62	c  0.1s |       1 |      670 |      100 |     3516      0 |        0 |        0
0.79/0.81	c  0.3s |       2 |     3091 |      250 |     3868      0 |        0 |        0
1.10/1.20	c  0.7s |       3 |    11628 |      475 |     4255      0 |        2 |        0
1.49/1.57	c  1.0s |       4 |    17218 |      813 |     4681      0 |        2 |        0
1.89/1.92	c  1.4s |       5 |    22171 |     1320 |     5150      0 |        3 |        0
2.79/2.80	c  2.3s |       6 |    44343 |     2081 |     6233      0 |        7 |        0
3.99/4.07	c  3.5s |       7 |    71515 |     3223 |     6857      0 |       13 |        0
5.79/5.89	c  5.4s |       8 |    93626 |     4936 |     7543      0 |       14 |        0
7.89/7.94	c  7.4s |       8 |   120411 |     6736 |     7543      0 |       16 |        0
8.79/8.87	c  8.3s |       9 |   135208 |     7506 |     8298      0 |       18 |        0
10.89/10.97	c 10.4s |       9 |   157823 |     8706 |     8298      0 |       24 |        0
12.99/13.05	c 12.5s |       9 |   180325 |    10106 |     8298      1 |       30 |        0
14.39/14.45	c 13.9s |      10 |   198472 |    11361 |     9128      1 |       34 |        0
16.49/16.58	c 16.1s |      10 |   227381 |    12861 |     9128      1 |       42 |        0
18.49/18.58	c 18.1s |      10 |   246247 |    14161 |     9128      2 |       47 |        0
20.58/20.66	c 20.1s |      10 |   267619 |    16061 |     9128      2 |       49 |        0
22.19/22.20	c 21.7s |      11 |   288929 |    17144 |    10041      2 |       50 |        0
24.29/24.33	c 23.8s |      11 |   305686 |    18744 |    10041      2 |       55 |        0
26.28/26.33	c 25.8s |      11 |   330484 |    20144 |    10041      3 |       58 |        0
28.28/28.39	c 27.9s |      11 |   355759 |    21344 |    10041      3 |       67 |        0
30.38/30.42	c 29.9s |      11 |   373978 |    22444 |    10041      3 |       74 |        0
32.38/32.45	c 31.9s |      11 |   395638 |    23644 |    10041      3 |       81 |        0
34.48/34.53	c 34.0s |      11 |   421063 |    25244 |    10041      4 |       84 |        0
35.08/35.12	c 34.6s |      12 |   433956 |    25819 |    11046      4 |       84 |        0
37.18/37.25	c 36.7s |      12 |   455078 |    27419 |    11046      4 |       86 |        0
39.18/39.26	c 38.7s |      12 |   484671 |    29119 |    11046      4 |       88 |        0
41.38/41.49	c 41.0s |      12 |   513914 |    30519 |    11046      4 |       93 |        0
43.48/43.54	c 43.0s |      12 |   538541 |    32219 |    11046      5 |       96 |        0
45.58/45.65	c 45.1s |      12 |   562436 |    33719 |    11046      5 |      102 |        0
47.78/47.88	c 47.4s |      12 |   577413 |    35119 |    11046      5 |      105 |        0
50.18/50.24	c 49.7s |      12 |   598411 |    36219 |    11046      5 |      113 |        0
52.28/52.34	c 51.8s |      12 |   614657 |    37819 |    11046      6 |      118 |        0
53.48/53.57	c 53.1s |      13 |   626111 |    38832 |    12151      6 |      121 |        0
55.78/55.80	c 55.3s |      13 |   637709 |    40032 |    12151      6 |      126 |        0
57.78/57.86	c 57.3s |      13 |   660485 |    41632 |    12151      6 |      127 |        0
59.78/59.88	c 59.4s |      13 |   679954 |    42832 |    12151      6 |      130 |        0
61.78/61.89	c 61.4s |      13 |   701412 |    44232 |    12151      6 |      133 |        0
64.08/64.18	c 63.7s |      13 |   707848 |    45332 |    12151      6 |      133 |        0
66.27/66.30	c 65.8s |      13 |   725728 |    46732 |    12151      7 |      134 |        0
68.28/68.36	c 67.8s |      13 |   741471 |    48232 |    12151      7 |      136 |        0
70.37/70.41	c 69.9s |      13 |   751027 |    49632 |    12151      7 |      139 |        0
72.57/72.61	c 72.1s |      13 |   765250 |    50932 |    12151      7 |      139 |        0
74.58/74.64	c 74.1s |      13 |   779557 |    52132 |    12151      8 |      140 |        0
76.78/76.84	c 76.3s |      13 |   797558 |    53632 |    12151      8 |      142 |        0
78.78/78.85	c 78.3s |      13 |   820474 |    54832 |    12151      8 |      147 |        0
80.78/80.89	c 80.4s |      13 |   843750 |    56032 |    12151      8 |      150 |        0
82.88/82.94	c 82.4s |      13 |   864862 |    57032 |    12151      8 |      153 |        0
84.48/84.58	c 84.1s |      14 |   882337 |    58352 |    13367      8 |      153 |        0
86.58/86.62	c 86.1s |      14 |   897002 |    59352 |    13367      9 |      155 |        0
88.58/88.67	c 88.1s |      14 |   913349 |    60852 |    13367      9 |      156 |        0
90.68/90.71	c 90.2s |      14 |   920965 |    62352 |    13367      9 |      157 |        0
92.78/92.86	c 92.3s |      14 |   925599 |    63852 |    13367      9 |      157 |        0
94.98/95.03	c 94.5s |      14 |   935684 |    65152 |    13367      9 |      159 |        0
96.99/97.09	c 96.6s |      14 |   947716 |    66052 |    13367      9 |      159 |        0
98.98/99.10	c 98.6s |      14 |   963009 |    67252 |    13367     10 |      160 |        0
101.18/101.22	c  100s |      14 |   975305 |    68452 |    13367     10 |      165 |        0
103.28/103.32	c  102s |      14 |   990397 |    69752 |    13367     10 |      171 |        0
105.38/105.42	c  104s |      14 |  1012660 |    71152 |    13367     10 |      173 |        0
107.38/107.47	c  106s |      14 |  1032001 |    72552 |    13367     10 |      175 |        0
109.58/109.62	c  109s |      14 |  1040761 |    73752 |    13367     11 |      175 |        0
111.58/111.63	c  111s |      14 |  1057523 |    74852 |    13367     11 |      177 |        0
113.68/113.73	c  113s |      14 |  1066195 |    76552 |    13367     11 |      177 |        0
115.88/115.96	c  115s |      14 |  1083333 |    77752 |    13367     11 |      179 |        0
117.98/118.09	c  117s |      14 |  1105497 |    79152 |    13367     11 |      180 |        0
120.08/120.14	c  119s |      14 |  1120578 |    80552 |    13367     11 |      180 |        0
122.28/122.31	c  121s |      14 |  1136510 |    81852 |    13367     12 |      181 |        0
124.27/124.33	c  123s |      14 |  1159372 |    83252 |    13367     12 |      182 |        0
126.37/126.40	c  125s |      14 |  1184962 |    84552 |    13367     12 |      186 |        0
128.47/128.54	c  128s |      14 |  1200585 |    85652 |    13367     12 |      195 |        0
130.67/130.73	c  130s |      14 |  1216945 |    86952 |    13367     12 |      196 |        0
132.77/132.86	c  132s |      15 |  1224825 |    87632 |    14704     12 |      196 |        0
134.97/135.02	c  134s |      15 |  1240123 |    88932 |    14704     12 |      196 |        0
137.07/137.13	c  136s |      15 |  1258244 |    90032 |    14704     13 |      197 |        0
139.17/139.25	c  138s |      15 |  1266642 |    91332 |    14704     13 |      197 |        0
141.17/141.28	c  140s |      15 |  1273940 |    92232 |    14704     13 |      198 |        0
143.18/143.28	c  142s |      15 |  1286008 |    94032 |    14704     13 |      199 |        0
145.27/145.34	c  144s |      15 |  1303758 |    95432 |    14704     13 |      200 |        0
147.37/147.44	c  146s |      15 |  1309455 |    96232 |    14704     13 |      201 |        0
149.37/149.44	c  148s |      15 |  1314923 |    96832 |    14704     13 |      201 |        0
151.47/151.58	c  151s |      15 |  1337947 |    98132 |    14704     14 |      202 |        0
153.67/153.71	c  153s |      15 |  1349344 |    99332 |    14704     14 |      202 |        0
155.67/155.73	c  155s |      15 |  1369202 |   100732 |    14704     14 |      203 |        0
157.77/157.85	c  157s |      15 |  1401717 |   102732 |    14704     14 |      203 |        0
160.16/160.27	c  159s |      15 |  1413018 |   104332 |    14704     14 |      205 |        0
162.26/162.36	c  161s |      15 |  1425866 |   105532 |    14704     15 |      206 |        0
164.36/164.48	c  163s |      15 |  1438945 |   107032 |    14704     15 |      207 |        0
166.66/166.75	c  166s |      15 |  1446648 |   108032 |    14704     15 |      209 |        0
168.66/168.75	c  168s |      15 |  1463790 |   109532 |    14704     15 |      209 |        0
170.86/170.93	c  170s |      15 |  1475332 |   110832 |    14704     15 |      211 |        0
172.96/173.06	c  172s |      15 |  1498348 |   112432 |    14704     15 |      212 |        0
175.16/175.21	c  174s |      15 |  1514866 |   113632 |    14704     16 |      214 |        0
177.17/177.29	c  176s |      15 |  1543905 |   115332 |    14704     16 |      214 |        0
179.37/179.41	c  178s |      15 |  1562712 |   116732 |    14704     16 |      216 |        0
181.46/181.51	c  180s |      15 |  1584185 |   118232 |    14704     16 |      216 |        0
183.87/183.98	c  183s |      15 |  1603298 |   119632 |    14704     16 |      219 |        0
186.07/186.13	c  185s |      15 |  1620170 |   120932 |    14704     16 |      219 |        0
188.16/188.29	c  187s |      15 |  1626856 |   121932 |    14704     16 |      219 |        0
190.26/190.38	c  189s |      15 |  1636523 |   122932 |    14704     17 |      219 |        0
192.36/192.45	c  191s |      15 |  1656959 |   124632 |    14704     17 |      219 |        0
194.46/194.57	c  194s |      15 |  1668255 |   125932 |    14704     17 |      219 |        0
196.76/196.82	c  196s |      15 |  1684033 |   127032 |    14704     17 |      221 |        0
198.76/198.88	c  198s |      15 |  1688454 |   128532 |    14704     17 |      221 |        0
200.86/200.92	c  200s |      15 |  1691587 |   129532 |    14704     17 |      221 |        0
202.86/202.94	c  202s |      15 |  1704049 |   130632 |    14704     18 |      222 |        0
203.76/203.90	c  203s |      16 |  1711033 |   131552 |    16175     18 |      222 |        0
205.87/205.93	c  205s |      16 |  1724528 |   132752 |    16175     18 |      225 |        0
207.97/208.01	c  207s |      16 |  1748825 |   134152 |    16175     18 |      227 |        0
210.06/210.10	c  209s |      16 |  1761912 |   135052 |    16175     18 |      231 |        0
212.06/212.19	c  211s |      16 |  1783061 |   136552 |    16175     18 |      231 |        0
214.16/214.29	c  213s |      16 |  1795082 |   137752 |    16175     18 |      231 |        0
216.26/216.39	c  215s |      16 |  1811171 |   139152 |    16175     18 |      231 |        0
218.36/218.48	c  217s |      16 |  1829516 |   140452 |    16175     18 |      231 |        0
220.56/220.62	c  220s |      16 |  1841065 |   141652 |    16175     19 |      231 |        0
222.66/222.79	c  222s |      16 |  1855191 |   143152 |    16175     19 |      231 |        0
224.86/224.94	c  224s |      16 |  1869175 |   144552 |    16175     19 |      232 |        0
226.96/227.06	c  226s |      16 |  1882200 |   145752 |    16175     19 |      233 |        0
229.06/229.14	c  228s |      16 |  1893743 |   147452 |    16175     19 |      233 |        0
231.06/231.16	c  230s |      16 |  1907751 |   148752 |    16175     19 |      233 |        0
233.36/233.48	c  232s |      16 |  1910526 |   149352 |    16175     19 |      233 |        0
235.56/235.61	c  235s |      16 |  1925873 |   150352 |    16175     20 |      233 |        0
237.66/237.74	c  237s |      16 |  1944226 |   152052 |    16175     20 |      234 |        0
239.75/239.80	c  239s |      16 |  1964186 |   153752 |    16175     20 |      234 |        0
241.85/241.99	c  241s |      16 |  1973447 |   155252 |    16175     20 |      234 |        0
243.95/244.05	c  243s |      16 |  1989790 |   156652 |    16175     20 |      234 |        0
246.05/246.17	c  245s |      16 |  2004811 |   157952 |    16175     20 |      234 |        0
248.05/248.18	c  247s |      16 |  2023523 |   159152 |    16175     21 |      234 |        0
250.25/250.31	c  249s |      16 |  2050207 |   160852 |    16175     21 |      234 |        0
252.35/252.41	c  251s |      16 |  2066397 |   162152 |    16175     21 |      234 |        0
254.45/254.56	c  254s |      16 |  2085499 |   163452 |    16175     21 |      234 |        0
256.65/256.72	c  256s |      16 |  2095146 |   164552 |    16175     21 |      234 |        0
258.65/258.75	c  258s |      16 |  2103940 |   165352 |    16175     21 |      234 |        0
261.15/261.24	c  260s |      16 |  2112279 |   166252 |    16175     22 |      235 |        0
263.25/263.30	c  262s |      16 |  2138214 |   167952 |    16175     22 |      235 |        0
265.25/265.39	c  264s |      16 |  2152573 |   169552 |    16175     22 |      237 |        0
267.35/267.42	c  266s |      16 |  2162389 |   171252 |    16175     22 |      239 |        0
269.45/269.55	c  269s |      16 |  2169584 |   173052 |    16175     22 |      240 |        0
271.55/271.63	c  271s |      16 |  2176999 |   174252 |    16175     22 |      242 |        0
273.55/273.68	c  273s |      16 |  2189284 |   175352 |    16175     22 |      245 |        0
275.65/275.71	c  275s |      16 |  2200317 |   176652 |    16175     23 |      246 |        0
277.64/277.77	c  277s |      16 |  2221532 |   178252 |    16175     23 |      246 |        0
279.74/279.85	c  279s |      16 |  2238444 |   179752 |    16175     23 |      246 |        0
281.75/281.88	c  281s |      16 |  2261728 |   181152 |    16175     23 |      247 |        0
283.74/283.89	c  283s |      16 |  2274737 |   182752 |    16175     23 |      247 |        0
285.84/285.96	c  285s |      16 |  2282030 |   183652 |    16175     23 |      248 |        0
288.04/288.17	c  287s |      16 |  2291548 |   185052 |    16175     23 |      248 |        0
290.24/290.32	c  289s |      16 |  2301783 |   186152 |    16175     24 |      248 |        0
292.24/292.33	c  291s |      16 |  2310229 |   187152 |    16175     24 |      251 |        0
294.34/294.46	c  293s |      16 |  2333489 |   188552 |    16175     24 |      253 |        0
296.44/296.54	c  296s |      16 |  2344765 |   190052 |    16175     24 |      253 |        0
298.54/298.64	c  298s |      16 |  2349040 |   191452 |    16175     24 |      253 |        0
300.64/300.75	c  300s |      16 |  2352516 |   192752 |    16175     24 |      253 |        0
302.65/302.76	c  302s |      16 |  2355902 |   194152 |    16175     24 |      253 |        0
304.75/304.80	c  304s |      16 |  2359105 |   195352 |    16175     25 |      253 |        0
306.74/306.87	c  306s |      16 |  2362465 |   196552 |    17793     25 |      253 |        0
308.54/308.68	c  308s |      17 |  2364321 |   197432 |    17793     25 |      253 |        0
310.65/310.79	c  310s |      17 |  2381757 |   198732 |    17793     25 |      254 |        0
312.75/312.89	c  312s |      17 |  2403050 |   200232 |    17793     25 |      254 |        0
314.85/314.98	c  314s |      17 |  2413023 |   201132 |    17793     25 |      256 |        0
316.95/317.04	c  316s |      17 |  2433969 |   202632 |    17793     25 |      257 |        0
319.05/319.12	c  318s |      17 |  2448748 |   203532 |    17793     26 |      259 |        0
321.14/321.22	c  320s |      17 |  2470345 |   205032 |    17793     26 |      260 |        0
323.24/323.31	c  322s |      17 |  2489651 |   206432 |    17793     26 |      261 |        0
325.24/325.35	c  324s |      17 |  2497848 |   207532 |    17793     26 |      262 |        0
327.74/327.87	c  327s |      17 |  2501982 |   208232 |    17793     26 |      262 |        0
329.94/330.00	c  329s |      17 |  2525807 |   209732 |    17793     26 |      262 |        0
331.94/332.04	c  331s |      17 |  2530907 |   210732 |    17793     26 |      262 |        0
333.94/334.07	c  333s |      17 |  2544701 |   212032 |    17793     26 |      262 |        0
335.93/336.08	c  335s |      17 |  2551729 |   213732 |    17793     26 |      262 |        0
338.03/338.16	c  337s |      17 |  2562108 |   215232 |    17793     27 |      262 |        0
340.13/340.20	c  339s |      17 |  2575472 |   216832 |    17793     27 |      262 |        0
342.24/342.31	c  341s |      17 |  2592599 |   217932 |    17793     27 |      264 |        0
344.23/344.35	c  343s |      17 |  2607578 |   219032 |    17793     27 |      267 |        0
346.23/346.39	c  345s |      17 |  2621714 |   220232 |    17793     27 |      269 |        0
348.43/348.58	c  348s |      17 |  2632235 |   221232 |    17793     27 |      269 |        0
350.53/350.65	c  350s |      17 |  2635294 |   221732 |    17793     27 |      270 |        0
353.03/353.11	c  352s |      17 |  2650482 |   223132 |    17793     28 |      271 |        0
355.03/355.17	c  354s |      17 |  2663300 |   224332 |    17793     28 |      271 |        0
357.13/357.20	c  356s |      17 |  2683819 |   226032 |    17793     28 |      271 |        0
359.13/359.26	c  358s |      17 |  2698240 |   227432 |    17793     28 |      271 |        0
361.13/361.27	c  360s |      17 |  2712642 |   228832 |    17793     28 |      271 |        0
363.23/363.37	c  362s |      17 |  2729691 |   230132 |    17793     28 |      271 |        0
365.33/365.42	c  364s |      17 |  2748494 |   231532 |    17793     28 |      271 |        0
367.62/367.73	c  367s |      17 |  2758851 |   232732 |    17793     28 |      271 |        0
369.63/369.77	c  369s |      17 |  2774569 |   233732 |    17793     29 |      272 |        0
371.62/371.78	c  371s |      17 |  2788310 |   235032 |    17793     29 |      273 |        0
373.72/373.85	c  373s |      17 |  2794754 |   236332 |    17793     29 |      273 |        0
375.82/375.93	c  375s |      17 |  2803141 |   237632 |    17793     29 |      273 |        0
377.92/378.01	c  377s |      17 |  2819605 |   239032 |    17793     29 |      273 |        0
380.23/380.34	c  379s |      17 |  2831195 |   240332 |    17793     29 |      273 |        0
382.32/382.46	c  381s |      17 |  2845013 |   241432 |    17793     29 |      273 |        0
384.32/384.50	c  383s |      17 |  2857718 |   242432 |    17793     30 |      275 |        0
386.42/386.57	c  386s |      17 |  2868620 |   243932 |    17793     30 |      275 |        0
389.22/389.37	c  388s |      17 |  2875591 |   244932 |    17793     30 |      275 |        0
391.32/391.41	c  390s |      17 |  2887387 |   246332 |    17793     30 |      275 |        0
393.52/393.60	c  393s |      17 |  2908128 |   247832 |    17793     30 |      276 |        0
395.52/395.66	c  395s |      17 |  2927087 |   249132 |    17793     30 |      277 |        0
397.72/397.86	c  397s |      17 |  2937497 |   250632 |    17793     30 |      277 |        0
400.02/400.11	c  399s |      17 |  2949326 |   251932 |    17793     31 |      277 |        0
402.11/402.25	c  401s |      17 |  2957970 |   253332 |    17793     31 |      279 |        0
404.31/404.42	c  403s |      17 |  2978950 |   254732 |    17793     31 |      281 |        0
406.31/406.46	c  405s |      17 |  2990344 |   256332 |    17793     31 |      281 |        0
408.41/408.57	c  408s |      17 |  3009653 |   257732 |    17793     31 |      281 |        0
410.60/410.72	c  410s |      17 |  3017915 |   258732 |    17793     31 |      282 |        0
412.80/412.92	c  412s |      17 |  3032434 |   260032 |    17793     31 |      282 |        0
414.90/415.04	c  414s |      17 |  3050484 |   261332 |    17793     31 |      282 |        0
416.90/417.05	c  416s |      17 |  3065169 |   262332 |    17793     32 |      284 |        0
419.00/419.12	c  418s |      17 |  3080239 |   263632 |    17793     32 |      286 |        0
421.10/421.27	c  420s |      17 |  3092216 |   265132 |    17793     32 |      286 |        0
423.19/423.34	c  422s |      17 |  3104041 |   266432 |    17793     32 |      286 |        0
425.19/425.35	c  424s |      17 |  3111890 |   267432 |    17793     32 |      286 |        0
427.19/427.35	c  426s |      17 |  3124447 |   268632 |    17793     32 |      286 |        0
429.30/429.42	c  428s |      17 |  3133646 |   269832 |    17793     32 |      286 |        0
431.40/431.59	c  431s |      17 |  3137987 |   270732 |    17793     32 |      286 |        0
433.60/433.71	c  433s |      17 |  3144466 |   271732 |    17793     32 |      286 |        0
435.60/435.74	c  435s |      17 |  3156356 |   272732 |    17793     33 |      286 |        0
437.60/437.79	c  437s |      17 |  3184438 |   274432 |    17793     33 |      286 |        0
439.80/439.97	c  439s |      17 |  3197496 |   275932 |    17793     33 |      286 |        0
441.89/442.04	c  441s |      17 |  3215289 |   277132 |    17793     33 |      287 |        0
443.99/444.14	c  443s |      17 |  3232455 |   278532 |    17793     33 |      287 |        0
446.09/446.27	c  445s |      17 |  3235027 |   279232 |    17793     33 |      287 |        0
448.09/448.29	c  447s |      17 |  3246231 |   280332 |    17793     33 |      287 |        0
450.29/450.40	c  449s |      17 |  3252839 |   281432 |    17793     34 |      287 |        0
452.28/452.45	c  451s |      17 |  3272417 |   283032 |    17793     34 |      288 |        0
454.39/454.57	c  454s |      17 |  3280539 |   284332 |    17793     34 |      290 |        0
456.49/456.63	c  456s |      17 |  3287410 |   285832 |    17793     34 |      291 |        0
458.69/458.81	c  458s |      17 |  3304853 |   287332 |    17793     34 |      293 |        0
460.78/460.92	c  460s |      17 |  3317846 |   288632 |    17793     34 |      294 |        0
462.88/463.02	c  462s |      17 |  3335474 |   290032 |    17793     34 |      294 |        0
464.88/465.03	c  464s |      17 |  3347271 |   290832 |    17793     35 |      294 |        0
466.98/467.10	c  466s |      17 |  3366117 |   292232 |    17793     35 |      295 |        0
469.07/469.25	c  468s |      17 |  3371496 |   293332 |    17793     35 |      295 |        0
471.27/471.44	c  470s |      17 |  3390895 |   294932 |    19573     35 |      296 |        0
473.37/473.54	c  473s |      17 |  3409164 |   296132 |    19573     35 |      298 |        0
473.57/473.76	c  473s |      18 |  3409352 |   296252 |    19573     35 |      298 |        0
475.67/475.82	c  475s |      18 |  3416924 |   297952 |    19573     35 |      298 |        0
477.77/477.97	c  477s |      18 |  3421164 |   299452 |    19573     35 |      298 |        0
479.97/480.13	c  479s |      18 |  3427242 |   300852 |    19573     35 |      298 |        0
482.17/482.33	c  481s |      18 |  3430376 |   301752 |    19573     36 |      298 |        0
484.17/484.36	c  483s |      18 |  3433851 |   302952 |    19573     36 |      298 |        0
486.28/486.44	c  485s |      18 |  3439463 |   304152 |    19573     36 |      298 |        0
488.38/488.54	c  488s |      18 |  3448458 |   305352 |    19573     36 |      298 |        0
490.48/490.60	c  490s |      18 |  3455812 |   306552 |    19573     36 |      298 |        0
492.67/492.82	c  492s |      18 |  3461637 |   307752 |    19573     36 |      299 |        0
494.67/494.86	c  494s |      18 |  3479568 |   309152 |    19573     36 |      301 |        0
496.77/496.92	c  496s |      18 |  3502982 |   310552 |    19573     36 |      301 |        0
499.17/499.31	c  498s |      18 |  3513404 |   311852 |    19573     37 |      303 |        0
501.17/501.36	c  500s |      18 |  3535234 |   313652 |    19573     37 |      303 |        0
503.37/503.54	c  503s |      18 |  3551192 |   315152 |    19573     37 |      306 |        0
505.57/505.75	c  505s |      18 |  3553284 |   315952 |    19573     37 |      306 |        0
507.76/507.91	c  507s |      18 |  3566983 |   317152 |    19573     37 |      307 |        0
509.76/509.93	c  509s |      18 |  3584489 |   318452 |    19573     37 |      308 |        0
511.86/512.04	c  511s |      18 |  3597714 |   319652 |    19573     37 |      308 |        0
513.86/514.04	c  513s |      18 |  3619460 |   321252 |    19573     37 |      308 |        0
515.97/516.13	c  515s |      18 |  3634598 |   322452 |    19573     38 |      308 |        0
517.96/518.15	c  517s |      18 |  3652549 |   323652 |    19573     38 |      310 |        0
520.26/520.43	c  519s |      18 |  3666668 |   325052 |    19573     38 |      311 |        0
522.35/522.55	c  522s |      18 |  3684453 |   326352 |    19573     38 |      313 |        0
524.45/524.68	c  524s |      18 |  3704246 |   327852 |    19573     38 |      314 |        0
526.55/526.76	c  526s |      18 |  3720861 |   329052 |    19573     38 |      316 |        0
528.55/528.79	c  528s |      18 |  3737205 |   330152 |    19573     38 |      316 |        0
530.75/530.91	c  530s |      18 |  3754002 |   331352 |    19573     38 |      317 |        0
532.85/533.00	c  532s |      18 |  3770123 |   332652 |    19573     38 |      317 |        0
534.85/535.01	c  534s |      18 |  3783444 |   334052 |    19573     39 |      317 |        0
536.95/537.15	c  536s |      18 |  3802747 |   335452 |    19573     39 |      321 |        0
538.95/539.15	c  538s |      18 |  3819235 |   336752 |    19573     39 |      321 |        0
541.04/541.20	c  540s |      18 |  3848173 |   338252 |    19573     39 |      321 |        0
543.04/543.23	c  542s |      18 |  3858897 |   339652 |    19573     39 |      322 |        0
545.14/545.33	c  544s |      18 |  3877699 |   341052 |    19573     39 |      322 |        0
547.24/547.44	c  546s |      18 |  3894460 |   342352 |    19573     39 |      323 |        0
549.54/549.70	c  549s |      18 |  3906379 |   343552 |    19573     40 |      323 |        0
551.53/551.73	c  551s |      18 |  3922352 |   345052 |    19573     40 |      323 |        0
553.63/553.86	c  553s |      18 |  3941563 |   346452 |    19573     40 |      324 |        0
555.73/555.97	c  555s |      18 |  3957686 |   347752 |    19573     40 |      325 |        0
557.83/558.07	c  557s |      18 |  3971660 |   349052 |    19573     40 |      325 |        0
560.03/560.20	c  559s |      18 |  3984736 |   350352 |    19573     40 |      326 |        0
562.03/562.29	c  561s |      18 |  3994236 |   351352 |    19573     40 |      326 |        0
564.13/564.30	c  563s |      18 |  3998464 |   351952 |    19573     40 |      328 |        0
566.13/566.37	c  565s |      18 |  4008745 |   353052 |    19573     40 |      331 |        0
568.23/568.40	c  567s |      18 |  4016608 |   354052 |    19573     41 |      332 |        0
570.23/570.42	c  569s |      18 |  4039939 |   355652 |    19573     41 |      332 |        0
572.22/572.44	c  571s |      18 |  4056134 |   356652 |    19573     41 |      335 |        0
574.52/574.77	c  574s |      18 |  4070342 |   358152 |    19573     41 |      338 |        0
576.62/576.82	c  576s |      18 |  4085755 |   359552 |    19573     41 |      339 |        0
578.92/579.11	c  578s |      18 |  4103954 |   360852 |    19573     41 |      341 |        0
581.01/581.23	c  580s |      18 |  4120593 |   362252 |    19573     41 |      341 |        0
583.32/583.50	c  582s |      18 |  4128710 |   363552 |    19573     41 |      341 |        0
585.52/585.77	c  585s |      18 |  4130800 |   364152 |    19573     41 |      341 |        0
588.02/588.29	c  587s |      18 |  4131660 |   364552 |    19573     41 |      341 |        0
590.12/590.34	c  589s |      18 |  4136730 |   365152 |    19573     42 |      341 |        0
592.21/592.45	c  591s |      18 |  4144776 |   366152 |    19573     42 |      341 |        0
594.31/594.50	c  593s |      18 |  4154094 |   367352 |    19573     42 |      341 |        0
596.32/596.52	c  595s |      18 |  4165539 |   368552 |    19573     42 |      341 |        0
598.32/598.58	c  598s |      18 |  4172465 |   369452 |    19573     42 |      341 |        0
600.41/600.66	c  600s |      18 |  4178085 |   370352 |    19573     42 |      341 |        0
602.61/602.81	c  602s |      18 |  4182965 |   371052 |    19573     42 |      341 |        0
604.61/604.84	c  604s |      18 |  4191918 |   372352 |    19573     42 |      341 |        0
606.70/606.92	c  606s |      18 |  4201575 |   373752 |    19573     42 |      341 |        0
608.70/608.94	c  608s |      18 |  4206645 |   374652 |    19573     42 |      341 |        0
610.71/610.98	c  610s |      18 |  4210705 |   375352 |    19573     42 |      341 |        0
612.71/612.99	c  612s |      18 |  4214122 |   375952 |    19573     42 |      341 |        0
614.81/615.10	c  614s |      18 |  4217909 |   376652 |    19573     42 |      341 |        0
617.20/617.46	c  616s |      18 |  4220048 |   377152 |    19573     42 |      341 |        0
619.50/619.79	c  619s |      18 |  4222558 |   377652 |    19573     42 |      341 |        0
622.09/622.37	c  621s |      18 |  4224411 |   378052 |    19573     42 |      341 |        0
625.90/626.15	c  625s |      18 |  4225359 |   378352 |    19573     43 |      341 |        0
628.00/628.21	c  627s |      18 |  4232074 |   380152 |    19573     43 |      341 |        0
630.10/630.32	c  629s |      18 |  4242593 |   381652 |    19573     43 |      341 |        0
632.09/632.33	c  631s |      18 |  4249756 |   382652 |    19573     43 |      341 |        0
634.39/634.63	c  634s |      18 |  4251748 |   383152 |    19573     43 |      341 |        0
636.79/637.06	c  636s |      18 |  4256727 |   383952 |    19573     43 |      341 |        0
638.89/639.13	c  638s |      18 |  4258132 |   384352 |    19573     43 |      341 |        0
641.20/641.48	c  640s |      18 |  4261875 |   384952 |    19573     43 |      341 |        0
643.29/643.57	c  643s |      18 |  4264066 |   385452 |    19573     43 |      341 |        0
645.49/645.71	c  645s |      18 |  4264810 |   385752 |    19573     43 |      341 |        0
647.68/647.99	c  647s |      18 |  4265164 |   385952 |    19573     43 |      341 |        0
649.99/650.29	c  649s |      18 |  4266268 |   386252 |    19573     43 |      341 |        0
652.48/652.73	c  652s |      18 |  4267356 |   386652 |    19573     43 |      341 |        0
654.58/654.89	c  654s |      18 |  4268589 |   387052 |    19573     43 |      341 |        0
656.88/657.11	c  656s |      18 |  4269099 |   387252 |    19573     43 |      341 |        0
658.98/659.20	c  658s |      18 |  4270674 |   387552 |    19573     43 |      341 |        0
660.98/661.25	c  660s |      18 |  4276834 |   389052 |    19573     43 |      341 |        0
663.18/663.41	c  662s |      18 |  4283526 |   389952 |    19573     44 |      341 |        0
665.58/665.87	c  665s |      18 |  4299550 |   391752 |    19573     44 |      342 |        0
667.68/667.98	c  667s |      18 |  4307747 |   393352 |    19573     44 |      342 |        0
669.78/670.03	c  669s |      18 |  4310985 |   394352 |    19573     44 |      342 |        0
671.77/672.06	c  671s |      18 |  4317768 |   395252 |    19573     44 |      342 |        0
673.87/674.12	c  673s |      18 |  4338042 |   396752 |    19573     44 |      342 |        0
675.97/676.21	c  675s |      18 |  4357968 |   398252 |    19573     44 |      342 |        0
677.97/678.24	c  677s |      18 |  4365459 |   399252 |    19573     44 |      342 |        0
679.97/680.30	c  679s |      18 |  4377599 |   400152 |    19573     45 |      342 |        0
682.06/682.36	c  681s |      18 |  4396307 |   401452 |    19573     45 |      342 |        0
684.17/684.41	c  683s |      18 |  4405720 |   402452 |    19573     45 |      342 |        0
686.16/686.43	c  685s |      18 |  4427728 |   403752 |    19573     45 |      342 |        0
688.16/688.49	c  687s |      18 |  4445281 |   405052 |    19573     45 |      342 |        0
690.26/690.53	c  690s |      18 |  4468953 |   406452 |    19573     45 |      343 |        0
692.25/692.59	c  692s |      18 |  4487659 |   408052 |    19573     45 |      343 |        0
694.35/694.62	c  694s |      18 |  4501433 |   409252 |    19573     46 |      344 |        0
696.65/696.91	c  696s |      18 |  4522945 |   410752 |    19573     46 |      345 |        0
698.75/699.05	c  698s |      18 |  4544677 |   412452 |    19573     46 |      346 |        0
700.85/701.14	c  700s |      18 |  4561098 |   413952 |    19573     46 |      347 |        0
703.05/703.36	c  702s |      18 |  4573802 |   415452 |    19573     46 |      347 |        0
705.05/705.38	c  704s |      18 |  4592202 |   416652 |    19573     46 |      347 |        0
707.15/707.41	c  706s |      18 |  4610507 |   418052 |    19573     46 |      349 |        0
709.15/709.44	c  708s |      18 |  4625647 |   419452 |    19573     46 |      349 |        0
711.14/711.44	c  710s |      18 |  4638209 |   420752 |    19573     47 |      349 |        0
713.24/713.57	c  713s |      18 |  4642922 |   422252 |    19573     47 |      349 |        0
715.24/715.59	c  715s |      18 |  4647064 |   423752 |    19573     47 |      349 |        0
717.44/717.73	c  717s |      18 |  4655005 |   425452 |    19573     47 |      349 |        0
719.44/719.78	c  719s |      18 |  4660131 |   426952 |    19573     47 |      349 |        0
721.64/721.90	c  721s |      18 |  4662957 |   428052 |    19573     47 |      349 |        0
723.64/723.97	c  723s |      18 |  4674750 |   429352 |    19573     47 |      349 |        0
725.74/726.07	c  725s |      18 |  4683694 |   430352 |    19573     48 |      352 |        0
727.84/728.13	c  727s |      18 |  4704034 |   432052 |    19573     48 |      353 |        0
729.94/730.22	c  729s |      18 |  4721823 |   433652 |    19573     48 |      354 |        0
732.04/732.31	c  731s |      18 |  4737061 |   434852 |    19573     48 |      357 |        0
734.04/734.36	c  733s |      18 |  4741167 |   436252 |    19573     48 |      357 |        0
736.24/736.53	c  736s |      18 |  4745432 |   437352 |    19573     48 |      357 |        0
738.44/738.75	c  738s |      18 |  4766390 |   439152 |    19573     48 |      358 |        0
740.54/740.81	c  740s |      18 |  4779502 |   440352 |    19573     48 |      358 |        0
742.64/742.92	c  742s |      18 |  4787344 |   441152 |    19573     49 |      359 |        0
744.73/745.01	c  744s |      18 |  4803241 |   442652 |    21531     49 |      359 |        0
746.74/747.09	c  746s |      18 |  4822166 |   443852 |    21531     49 |      360 |        0
747.63/747.93	c  747s |      19 |  4827854 |   444482 |    21531     49 |      360 |        0
749.63/749.99	c  749s |      19 |  4844189 |   445682 |    21531     49 |      360 |        0
751.73/752.06	c  751s |      19 |  4859793 |   447082 |    21531     49 |      362 |        0
753.73/754.08	c  753s |      19 |  4881793 |   448582 |    21531     49 |      362 |        0
755.93/756.20	c  755s |      19 |  4901207 |   449882 |    21531     49 |      362 |        0
757.93/758.22	c  757s |      19 |  4909060 |   450782 |    21531     49 |      364 |        0
759.93/760.30	c  759s |      19 |  4923547 |   452082 |    21531     49 |      364 |        0
762.02/762.31	c  761s |      19 |  4933618 |   453182 |    21531     49 |      364 |        0
764.12/764.41	c  763s |      19 |  4945980 |   454182 |    21531     50 |      364 |        0
766.12/766.46	c  765s |      19 |  4968563 |   455682 |    21531     50 |      364 |        0
768.22/768.55	c  768s |      19 |  4988036 |   456982 |    21531     50 |      365 |        0
770.52/770.83	c  770s |      19 |  4997356 |   457982 |    21531     50 |      368 |        0
772.62/772.91	c  772s |      19 |  5005357 |   459482 |    21531     50 |      368 |        0
774.62/775.00	c  774s |      19 |  5009673 |   460882 |    21531     50 |      368 |        0
776.72/777.07	c  776s |      19 |  5013238 |   462182 |    21531     50 |      368 |        0
778.82/779.10	c  778s |      19 |  5016228 |   463582 |    21531     50 |      368 |        0
780.82/781.18	c  780s |      19 |  5019705 |   464782 |    21531     50 |      368 |        0
782.91/783.21	c  782s |      19 |  5022420 |   465782 |    21531     51 |      368 |        0
785.01/785.31	c  784s |      19 |  5026243 |   467082 |    21531     51 |      368 |        0
787.01/787.36	c  786s |      19 |  5028536 |   468182 |    21531     51 |      368 |        0
789.11/789.46	c  788s |      19 |  5031602 |   469282 |    21531     51 |      368 |        0
791.30/791.66	c  791s |      19 |  5034084 |   470182 |    21531     51 |      368 |        0
793.50/793.89	c  793s |      19 |  5035576 |   470982 |    21531     51 |      368 |        0
795.80/796.11	c  795s |      19 |  5037227 |   471682 |    21531     51 |      368 |        0
797.90/798.25	c  797s |      19 |  5059525 |   472982 |    21531     51 |      369 |        0
800.10/800.44	c  799s |      19 |  5070066 |   473982 |    21531     51 |      370 |        0
802.20/802.60	c  802s |      19 |  5086430 |   475182 |    21531     51 |      371 |        0
804.40/804.72	c  804s |      19 |  5096610 |   476182 |    21531     51 |      371 |        0
806.40/806.75	c  806s |      19 |  5110745 |   477382 |    21531     52 |      371 |        0
808.50/808.85	c  808s |      19 |  5130557 |   478682 |    21531     52 |      372 |        0
810.50/810.86	c  810s |      19 |  5144843 |   480282 |    21531     52 |      372 |        0
812.59/812.90	c  812s |      19 |  5156250 |   481782 |    21531     52 |      372 |        0
814.59/814.92	c  814s |      19 |  5171038 |   483082 |    21531     52 |      372 |        0
816.69/817.05	c  816s |      19 |  5187910 |   484482 |    21531     52 |      373 |        0
818.79/819.18	c  818s |      19 |  5203007 |   485782 |    21531     52 |      373 |        0
820.99/821.34	c  820s |      19 |  5216367 |   486682 |    21531     52 |      375 |        0
823.09/823.47	c  822s |      19 |  5235477 |   488382 |    21531     53 |      375 |        0
825.19/825.52	c  824s |      19 |  5246921 |   489582 |    21531     53 |      375 |        0
827.18/827.53	c  827s |      19 |  5257588 |   490682 |    21531     53 |      375 |        0
829.19/829.59	c  829s |      19 |  5267985 |   491882 |    21531     53 |      375 |        0
831.28/831.60	c  831s |      19 |  5278090 |   493382 |    21531     53 |      375 |        0
833.39/833.72	c  833s |      19 |  5286938 |   494482 |    21531     53 |      375 |        0
835.68/836.03	c  835s |      19 |  5293320 |   495382 |    21531     53 |      377 |        0
837.78/838.11	c  837s |      19 |  5305387 |   496582 |    21531     53 |      379 |        0
839.88/840.21	c  839s |      19 |  5319040 |   497582 |    21531     53 |      381 |        0
841.98/842.33	c  841s |      19 |  5339918 |   498982 |    21531     53 |      381 |        0
844.07/844.44	c  843s |      19 |  5346856 |   499582 |    21531     53 |      381 |        0
846.17/846.51	c  845s |      19 |  5352898 |   500582 |    21531     54 |      382 |        0
848.17/848.55	c  848s |      19 |  5356963 |   501682 |    21531     54 |      382 |        0
850.27/850.69	c  850s |      19 |  5359685 |   502982 |    21531     54 |      382 |        0
852.47/852.81	c  852s |      19 |  5366638 |   504082 |    21531     54 |      383 |        0
854.57/854.96	c  854s |      19 |  5381256 |   505482 |    21531     54 |      383 |        0
856.56/856.98	c  856s |      19 |  5394785 |   506782 |    21531     54 |      383 |        0
858.66/859.09	c  858s |      19 |  5411231 |   508182 |    21531     54 |      385 |        0
860.86/861.21	c  860s |      19 |  5423421 |   509682 |    21531     54 |      385 |        0
863.06/863.42	c  862s |      19 |  5438547 |   511182 |    21531     54 |      385 |        0
865.16/865.57	c  865s |      19 |  5450609 |   512482 |    21531     55 |      385 |        0
867.36/867.79	c  867s |      19 |  5454039 |   513582 |    21531     55 |      385 |        0
869.87/870.25	c  869s |      19 |  5456337 |   514382 |    21531     55 |      385 |        0
872.17/872.58	c  872s |      19 |  5457670 |   514982 |    21531     55 |      385 |        0
874.56/874.94	c  874s |      19 |  5458647 |   515582 |    21531     55 |      385 |        0
877.06/877.40	c  876s |      19 |  5459779 |   516182 |    21531     55 |      385 |        0
879.06/879.45	c  878s |      19 |  5461548 |   516882 |    21531     55 |      385 |        0
881.25/881.64	c  881s |      19 |  5463352 |   517582 |    21531     55 |      385 |        0
883.35/883.77	c  883s |      19 |  5464563 |   518182 |    21531     55 |      385 |        0
885.65/886.00	c  885s |      19 |  5466261 |   518982 |    21531     55 |      385 |        0
887.95/888.39	c  887s |      19 |  5468130 |   519782 |    21531     55 |      385 |        0
890.14/890.60	c  890s |      19 |  5471972 |   520482 |    21531     55 |      385 |        0
892.34/892.78	c  892s |      19 |  5491183 |   521782 |    21531     55 |      385 |        0
894.64/895.00	c  894s |      19 |  5498161 |   522482 |    21531     56 |      387 |        0
896.64/897.00	c  896s |      19 |  5508046 |   523482 |    21531     56 |      387 |        0
898.64/899.08	c  898s |      19 |  5513550 |   524382 |    21531     56 |      387 |        0
900.94/901.36	c  900s |      19 |  5517224 |   524882 |    21531     56 |      387 |        0
903.54/903.92	c  903s |      19 |  5521807 |   525582 |    21531     56 |      387 |        0
905.54/905.98	c  905s |      19 |  5533691 |   526282 |    21531     56 |      390 |        0
907.74/908.10	c  907s |      19 |  5550148 |   527782 |    21531     56 |      391 |        0
909.84/910.22	c  909s |      19 |  5566068 |   529282 |    21531     56 |      392 |        0
911.93/912.33	c  911s |      19 |  5579233 |   530382 |    21531     56 |      394 |        0
914.03/914.40	c  913s |      19 |  5596318 |   531782 |    21531     56 |      394 |        0
916.04/916.48	c  915s |      19 |  5604832 |   532882 |    21531     56 |      394 |        0
918.24/918.66	c  918s |      19 |  5620509 |   534082 |    21531     56 |      394 |        0
920.44/920.88	c  920s |      19 |  5625807 |   534782 |    21531     57 |      394 |        0
922.52/922.92	c  922s |      19 |  5645982 |   536382 |    21531     57 |      394 |        0
924.72/925.13	c  924s |      19 |  5654000 |   537482 |    21531     57 |      394 |        0
927.13/927.54	c  927s |      19 |  5657702 |   538082 |    21531     57 |      394 |        0
929.13/929.56	c  929s |      19 |  5668693 |   538982 |    21531     57 |      394 |        0
931.13/931.57	c  931s |      19 |  5685644 |   540482 |    21531     57 |      394 |        0
933.23/933.68	c  933s |      19 |  5706766 |   541882 |    21531     57 |      394 |        0
935.32/935.70	c  935s |      19 |  5717774 |   543182 |    21531     57 |      394 |        0
937.32/937.79	c  937s |      19 |  5730891 |   544482 |    21531     57 |      394 |        0
939.42/939.85	c  939s |      19 |  5736647 |   545582 |    21531     57 |      394 |        0
941.82/942.22	c  941s |      19 |  5750018 |   546882 |    21531     58 |      394 |        0
943.82/944.22	c  943s |      19 |  5759961 |   548282 |    21531     58 |      396 |        0
945.82/946.22	c  945s |      19 |  5777126 |   549882 |    21531     58 |      396 |        0
947.92/948.38	c  947s |      19 |  5794874 |   551182 |    21531     58 |      396 |        0
949.91/950.39	c  949s |      19 |  5806055 |   552382 |    21531     58 |      396 |        0
952.21/952.60	c  952s |      19 |  5812806 |   553482 |    21531     58 |      396 |        0
954.21/954.67	c  954s |      19 |  5822995 |   554782 |    21531     58 |      397 |        0
956.31/956.73	c  956s |      19 |  5837519 |   556082 |    21531     58 |      397 |        0
958.41/958.88	c  958s |      19 |  5846273 |   557282 |    21531     58 |      397 |        0
960.61/961.02	c  960s |      19 |  5859054 |   558582 |    21531     58 |      397 |        0
962.60/963.05	c  962s |      19 |  5876000 |   559982 |    21531     59 |      397 |        0
964.70/965.15	c  964s |      19 |  5894989 |   561682 |    21531     59 |      397 |        0
966.80/967.26	c  966s |      19 |  5911303 |   563182 |    21531     59 |      397 |        0
968.91/969.38	c  968s |      19 |  5923725 |   564682 |    21531     59 |      397 |        0
971.00/971.47	c  970s |      19 |  5938008 |   566082 |    21531     59 |      397 |        0
973.11/973.51	c  972s |      19 |  5950583 |   567382 |    21531     59 |      397 |        0
975.30/975.72	c  975s |      19 |  5953648 |   568082 |    21531     59 |      397 |        0
977.40/977.87	c  977s |      19 |  5958788 |   569282 |    21531     59 |      398 |        0
979.40/979.88	c  979s |      19 |  5961370 |   570282 |    21531     59 |      398 |        0
981.50/981.93	c  981s |      19 |  5965867 |   571582 |    21531     60 |      398 |        0
983.59/984.03	c  983s |      19 |  5976533 |   572882 |    21531     60 |      399 |        0
985.59/986.06	c  985s |      19 |  5996286 |   574482 |    21531     60 |      399 |        0
987.69/988.19	c  987s |      19 |  6017559 |   576182 |    21531     60 |      399 |        0
989.80/990.23	c  989s |      19 |  6030265 |   577482 |    21531     60 |      400 |        0
991.79/992.24	c  991s |      19 |  6042315 |   578882 |    21531     60 |      401 |        0
993.89/994.32	c  993s |      19 |  6048010 |   580282 |    21531     60 |      401 |        0
995.89/996.38	c  995s |      19 |  6051678 |   581482 |    21531     60 |      401 |        0
998.09/998.53	c  998s |      19 |  6057588 |   582882 |    21531     61 |      401 |        0
1000.09/1000.55	c 1000s |      19 |  6062525 |   584182 |    21531     61 |      401 |        0
1002.19/1002.61	c 1002s |      19 |  6066056 |   585382 |    21531     61 |      401 |        0
1004.19/1004.65	c 1004s |      19 |  6070143 |   586482 |    21531     61 |      401 |        0
1006.30/1006.75	c 1006s |      19 |  6073272 |   587482 |    21531     61 |      401 |        0
1008.29/1008.78	c 1008s |      19 |  6076469 |   588482 |    21531     61 |      401 |        0
1010.29/1010.79	c 1010s |      19 |  6078939 |   589382 |    21531     61 |      401 |        0
1012.39/1012.80	c 1012s |      19 |  6081118 |   590182 |    21531     61 |      401 |        0
1014.39/1014.87	c 1014s |      19 |  6084569 |   591082 |    21531     61 |      401 |        0
1016.79/1017.20	c 1016s |      19 |  6086023 |   591782 |    21531     61 |      401 |        0
1018.79/1019.27	c 1018s |      19 |  6094115 |   592982 |    21531     61 |      401 |        0
1020.99/1021.41	c 1020s |      19 |  6105716 |   593882 |    21531     62 |      403 |        0
1022.99/1023.48	c 1022s |      19 |  6117406 |   595282 |    21531     62 |      403 |        0
1025.09/1025.56	c 1025s |      19 |  6130141 |   596882 |    21531     62 |      403 |        0
1027.38/1027.80	c 1027s |      19 |  6142890 |   598182 |    21531     62 |      404 |        0
1029.48/1029.90	c 1029s |      19 |  6162377 |   599782 |    21531     62 |      404 |        0
1031.49/1031.95	c 1031s |      19 |  6176281 |   600982 |    21531     62 |      406 |        0
1033.58/1034.03	c 1033s |      19 |  6198268 |   602482 |    21531     62 |      406 |        0
1035.68/1036.16	c 1035s |      19 |  6213640 |   603482 |    21531     62 |      409 |        0
1037.68/1038.16	c 1037s |      19 |  6231612 |   604582 |    21531     63 |      409 |        0
1039.78/1040.27	c 1039s |      19 |  6251568 |   606182 |    21531     63 |      409 |        0
1041.89/1042.33	c 1041s |      19 |  6267295 |   607682 |    21531     63 |      409 |        0
1043.99/1044.46	c 1043s |      19 |  6283928 |   609082 |    21531     63 |      410 |        0
1045.99/1046.47	c 1045s |      19 |  6304631 |   610682 |    21531     63 |      410 |        0
1048.19/1048.68	c 1048s |      19 |  6317466 |   612182 |    21531     63 |      410 |        0
1050.29/1050.79	c 1050s |      19 |  6333027 |   613282 |    21531     63 |      411 |        0
1052.49/1052.94	c 1052s |      19 |  6341758 |   614382 |    21531     63 |      411 |        0
1054.69/1055.13	c 1054s |      19 |  6348279 |   615482 |    21531     63 |      411 |        0
1056.89/1057.31	c 1056s |      19 |  6358238 |   616582 |    21531     63 |      411 |        0
1059.09/1059.51	c 1058s |      19 |  6361359 |   617282 |    21531     63 |      411 |        0
1061.08/1061.60	c 1061s |      19 |  6366002 |   617982 |    21531     64 |      411 |        0
1063.28/1063.71	c 1063s |      19 |  6382154 |   619282 |    21531     64 |      411 |        0
1065.28/1065.77	c 1065s |      19 |  6390931 |   620582 |    21531     64 |      411 |        0
1067.48/1067.91	c 1067s |      19 |  6397271 |   621682 |    21531     64 |      411 |        0
1069.48/1069.93	c 1069s |      19 |  6410320 |   622882 |    21531     64 |      412 |        0
1071.68/1072.10	c 1071s |      19 |  6437185 |   624382 |    21531     64 |      412 |        0
1073.78/1074.26	c 1073s |      19 |  6448359 |   625382 |    21531     64 |      412 |        0
1075.88/1076.36	c 1075s |      19 |  6456212 |   626382 |    21531     64 |      413 |        0
1077.88/1078.39	c 1077s |      19 |  6464945 |   627482 |    21531     64 |      413 |        0
1079.98/1080.42	c 1079s |      19 |  6471259 |   628282 |    21531     64 |      413 |        0
1082.28/1082.75	c 1082s |      19 |  6476990 |   629182 |    21531     64 |      413 |        0
1084.58/1085.01	c 1084s |      19 |  6479518 |   629882 |    21531     64 |      413 |        0
1086.78/1087.23	c 1086s |      19 |  6480880 |   630382 |    21531     64 |      413 |        0
1088.88/1089.30	c 1088s |      19 |  6485057 |   630882 |    21531     65 |      413 |        0
1091.08/1091.57	c 1091s |      19 |  6495763 |   632082 |    21531     65 |      413 |        0
1093.37/1093.87	c 1093s |      19 |  6497169 |   632582 |    21531     65 |      413 |        0
1095.47/1095.90	c 1095s |      19 |  6498553 |   632982 |    21531     65 |      413 |        0
1097.87/1098.32	c 1097s |      19 |  6501515 |   633782 |    21531     65 |      413 |        0
1099.97/1100.46	c 1099s |      19 |  6503069 |   634282 |    21531     65 |      413 |        0
1102.17/1102.61	c 1102s |      19 |  6503976 |   634682 |    21531     65 |      413 |        0
1104.18/1104.65	c 1104s |      19 |  6506783 |   635182 |    21531     65 |      413 |        0
1106.28/1106.79	c 1106s |      19 |  6518431 |   636582 |    21531     65 |      413 |        0
1108.37/1108.85	c 1108s |      19 |  6534307 |   637782 |    21531     65 |      414 |        0
1110.48/1110.94	c 1110s |      19 |  6543719 |   639182 |    21531     65 |      414 |        0
1112.68/1113.14	c 1112s |      19 |  6545658 |   639782 |    21531     65 |      414 |        0
1114.68/1115.17	c 1114s |      19 |  6551067 |   640382 |    21531     66 |      415 |        0
1116.98/1117.45	c 1116s |      19 |  6564080 |   641982 |    21531     66 |      415 |        0
1119.18/1119.62	c 1119s |      19 |  6570172 |   643082 |    21531     66 |      415 |        0
1121.28/1121.74	c 1121s |      19 |  6582708 |   644082 |    21531     66 |      416 |        0
1123.38/1123.83	c 1123s |      19 |  6604411 |   645582 |    21531     66 |      417 |        0
1125.48/1125.96	c 1125s |      19 |  6621783 |   647182 |    21531     66 |      417 |        0
1127.58/1128.06	c 1127s |      19 |  6638812 |   648682 |    21531     66 |      417 |        0
1129.67/1130.18	c 1129s |      19 |  6643868 |   649482 |    21531     66 |      417 |        0
1131.77/1132.23	c 1131s |      19 |  6665013 |   650882 |    21531     66 |      417 |        0
1134.07/1134.53	c 1134s |      19 |  6678576 |   651982 |    21531     67 |      417 |        0
1136.17/1136.61	c 1136s |      19 |  6697882 |   653482 |    21531     67 |      419 |        0
1138.18/1138.65	c 1138s |      19 |  6706704 |   654582 |    21531     67 |      419 |        0
1140.27/1140.71	c 1140s |      19 |  6728594 |   656082 |    21531     67 |      419 |        0
1142.37/1142.86	c 1142s |      19 |  6731363 |   656782 |    21531     67 |      419 |        0
1144.37/1144.87	c 1144s |      19 |  6743215 |   657982 |    21531     67 |      419 |        0
1146.37/1146.89	c 1146s |      19 |  6758309 |   659282 |    21531     67 |      419 |        0
1148.47/1148.95	c 1148s |      19 |  6769115 |   660382 |    21531     67 |      419 |        0
1150.47/1150.99	c 1150s |      19 |  6780745 |   661982 |    21531     67 |      419 |        0
1152.67/1153.13	c 1152s |      19 |  6796793 |   663382 |    23685     67 |      419 |        0
1154.77/1155.22	c 1154s |      19 |  6808186 |   664482 |    23685     67 |      419 |        0
1157.07/1157.57	c 1157s |      19 |  6813072 |   665182 |    23685     67 |      419 |        0
1159.18/1159.66	c 1159s |      19 |  6820493 |   665782 |    23685     68 |      420 |        0
1160.47/1160.94	c 1160s |      20 |  6823033 |   666827 |    23685     68 |      420 |        0
1162.57/1163.01	c 1162s |      20 |  6838403 |   668227 |    23685     68 |      420 |        0
1164.68/1165.11	c 1164s |      20 |  6847362 |   669527 |    23685     68 |      421 |        0
1166.67/1167.16	c 1166s |      20 |  6862976 |   670727 |    23685     68 |      422 |        0
1168.77/1169.29	c 1168s |      20 |  6878238 |   672027 |    23685     68 |      422 |        0
1170.97/1171.45	c 1170s |      20 |  6896240 |   673327 |    23685     68 |      422 |        0
1173.07/1173.57	c 1173s |      20 |  6907230 |   674627 |    23685     68 |      422 |        0
1175.07/1175.57	c 1175s |      20 |  6916777 |   675827 |    23685     68 |      423 |        0
1177.27/1177.71	c 1177s |      20 |  6927771 |   677227 |    23685     68 |      423 |        0
1179.47/1179.95	c 1179s |      20 |  6938169 |   678027 |    23685     69 |      424 |        0
1181.77/1182.24	c 1181s |      20 |  6963710 |   679827 |    23685     69 |      426 |        0
1183.97/1184.48	c 1183s |      20 |  6969352 |   680627 |    23685     69 |      427 |        0
1186.07/1186.59	c 1186s |      20 |  6981326 |   681727 |    23685     69 |      428 |        0
1188.66/1189.18	c 1188s |      20 |  6982715 |   682227 |    23685     69 |      428 |        0
1190.76/1191.23	c 1190s |      20 |  6983254 |   682427 |    23685     69 |      428 |        0
1192.76/1193.23	c 1192s |      20 |  6998430 |   683727 |    23685     69 |      428 |        0
1194.86/1195.31	c 1194s |      20 |  7008398 |   684727 |    23685     69 |      430 |        0
1196.86/1197.32	c 1196s |      20 |  7023824 |   685927 |    23685     69 |      430 |        0
1198.86/1199.36	c 1198s |      20 |  7041881 |   687427 |    23685     69 |      430 |        0
1201.06/1201.50	c 1200s |      20 |  7054634 |   688527 |    23685     69 |      431 |        0
1203.07/1203.56	c 1203s |      20 |  7071750 |   689927 |    23685     69 |      431 |        0
1205.16/1205.60	c 1205s |      20 |  7082919 |   691227 |    23685     70 |      431 |        0
1207.26/1207.74	c 1207s |      20 |  7095972 |   692627 |    23685     70 |      431 |        0
1209.26/1209.75	c 1209s |      20 |  7104443 |   693527 |    23685     70 |      431 |        0
1211.26/1211.77	c 1211s |      20 |  7112291 |   694527 |    23685     70 |      431 |        0
1213.36/1213.83	c 1213s |      20 |  7126078 |   695927 |    23685     70 |      431 |        0
1215.56/1216.00	c 1215s |      20 |  7134987 |   697227 |    23685     70 |      431 |        0
1217.56/1218.07	c 1217s |      20 |  7151043 |   698627 |    23685     70 |      431 |        0
1219.76/1220.23	c 1219s |      20 |  7163086 |   699827 |    23685     70 |      432 |        0
1221.87/1222.36	c 1221s |      20 |  7178911 |   701227 |    23685     70 |      432 |        0
1224.36/1224.80	c 1224s |      20 |  7185684 |   702227 |    23685     70 |      432 |        0
1226.66/1227.19	c 1226s |      20 |  7190713 |   702727 |    23685     71 |      432 |        0
1228.76/1229.25	c 1228s |      20 |  7205859 |   704127 |    23685     71 |      432 |        0
1230.86/1231.38	c 1230s |      20 |  7213432 |   705327 |    23685     71 |      432 |        0
1233.06/1233.50	c 1232s |      20 |  7223697 |   706527 |    23685     71 |      432 |        0
1235.06/1235.52	c 1234s |      20 |  7234551 |   707727 |    23685     71 |      432 |        0
1237.26/1237.78	c 1237s |      20 |  7240023 |   708827 |    23685     71 |      432 |        0
1239.36/1239.89	c 1239s |      20 |  7247535 |   709827 |    23685     71 |      432 |        0
1241.45/1242.00	c 1241s |      20 |  7253855 |   710927 |    23685     71 |      432 |        0
1243.65/1244.14	c 1243s |      20 |  7265812 |   712227 |    23685     71 |      432 |        0
1245.75/1246.24	c 1245s |      20 |  7275534 |   713227 |    23685     71 |      433 |        0
1247.85/1248.34	c 1247s |      20 |  7282230 |   714227 |    23685     71 |      433 |        0
1249.95/1250.45	c 1249s |      20 |  7288431 |   714827 |    23685     72 |      436 |        0
1251.95/1252.46	c 1251s |      20 |  7299690 |   716127 |    23685     72 |      437 |        0
1254.16/1254.62	c 1254s |      20 |  7310220 |   717327 |    23685     72 |      437 |        0
1256.26/1256.71	c 1256s |      20 |  7327242 |   718827 |    23685     72 |      437 |        0
1258.26/1258.73	c 1258s |      20 |  7345246 |   720327 |    23685     72 |      438 |        0
1260.36/1260.86	c 1260s |      20 |  7367585 |   722027 |    23685     72 |      438 |        0
1262.46/1262.95	c 1262s |      20 |  7384977 |   723227 |    23685     72 |      439 |        0
1264.56/1265.10	c 1264s |      20 |  7405873 |   724627 |    23685     72 |      439 |        0
1266.65/1267.15	c 1266s |      20 |  7411290 |   725527 |    23685     72 |      439 |        0
1268.95/1269.40	c 1268s |      20 |  7414978 |   726327 |    23685     72 |      439 |        0
1271.15/1271.67	c 1271s |      20 |  7416172 |   726727 |    23685     72 |      439 |        0
1273.65/1274.16	c 1273s |      20 |  7417067 |   727027 |    23685     72 |      439 |        0
1275.76/1276.25	c 1275s |      20 |  7422851 |   727827 |    23685     73 |      439 |        0
1277.85/1278.35	c 1277s |      20 |  7436456 |   729227 |    23685     73 |      439 |        0
1279.95/1280.46	c 1279s |      20 |  7458400 |   730827 |    23685     73 |      439 |        0
1282.05/1282.56	c 1282s |      20 |  7466187 |   732127 |    23685     73 |      439 |        0
1284.15/1284.63	c 1284s |      20 |  7476883 |   733527 |    23685     73 |      439 |        0
1286.15/1286.69	c 1286s |      20 |  7487959 |   734927 |    23685     73 |      439 |        0
1288.35/1288.86	c 1288s |      20 |  7498420 |   736227 |    23685     73 |      439 |        0
1290.44/1290.92	c 1290s |      20 |  7500767 |   736927 |    23685     73 |      439 |        0
1292.54/1293.06	c 1292s |      20 |  7504762 |   737827 |    23685     73 |      439 |        0
1294.65/1295.11	c 1294s |      20 |  7514614 |   738927 |    23685     73 |      439 |        0
1296.66/1297.18	c 1296s |      20 |  7528316 |   740027 |    23685     73 |      439 |        0
1298.95/1299.42	c 1298s |      20 |  7536100 |   741127 |    23685     73 |      439 |        0
1301.15/1301.60	c 1301s |      20 |  7542262 |   742027 |    23685     73 |      439 |        0
1303.16/1303.69	c 1303s |      20 |  7549036 |   742927 |    23685     74 |      439 |        0
1305.36/1305.87	c 1305s |      20 |  7561121 |   744327 |    23685     74 |      439 |        0
1307.35/1307.89	c 1307s |      20 |  7567954 |   745327 |    23685     74 |      439 |        0
1309.45/1309.99	c 1309s |      20 |  7583727 |   746627 |    23685     74 |      439 |        0
1311.55/1312.02	c 1311s |      20 |  7596785 |   747727 |    23685     74 |      439 |        0
1313.65/1314.14	c 1313s |      20 |  7609485 |   749127 |    23685     74 |      439 |        0
1315.75/1316.24	c 1315s |      20 |  7628704 |   750427 |    23685     74 |      439 |        0
1317.85/1318.36	c 1317s |      20 |  7641014 |   751627 |    23685     74 |      440 |        0
1319.95/1320.40	c 1319s |      20 |  7661145 |   753027 |    23685     74 |      440 |        0
1321.95/1322.43	c 1321s |      20 |  7670479 |   753827 |    23685     75 |      440 |        0
1324.05/1324.53	c 1324s |      20 |  7684550 |   755227 |    23685     75 |      440 |        0
1326.14/1326.62	c 1326s |      20 |  7688896 |   756027 |    23685     75 |      440 |        0
1328.35/1328.89	c 1328s |      20 |  7692094 |   756727 |    23685     75 |      440 |        0
1330.45/1330.93	c 1330s |      20 |  7694766 |   757327 |    23685     75 |      440 |        0
1332.45/1332.97	c 1332s |      20 |  7709708 |   758627 |    23685     75 |      442 |        0
1334.65/1335.13	c 1334s |      20 |  7715774 |   760127 |    23685     75 |      442 |        0
1336.84/1337.34	c 1336s |      20 |  7718472 |   761127 |    23685     75 |      442 |        0
1338.94/1339.49	c 1338s |      20 |  7719884 |   761827 |    23685     75 |      442 |        0
1341.14/1341.63	c 1341s |      20 |  7721702 |   762627 |    23685     75 |      442 |        0
1343.14/1343.66	c 1343s |      20 |  7723573 |   763427 |    23685     75 |      442 |        0
1345.24/1345.74	c 1345s |      20 |  7728529 |   764827 |    23685     75 |      442 |        0
1347.25/1347.79	c 1347s |      20 |  7731672 |   766027 |    23685     75 |      442 |        0
1349.34/1349.85	c 1349s |      20 |  7733514 |   766827 |    23685     75 |      442 |        0
1351.54/1352.06	c 1351s |      20 |  7736379 |   767827 |    23685     75 |      442 |        0
1353.54/1354.08	c 1353s |      20 |  7738094 |   768627 |    23685     76 |      442 |        0
1355.84/1356.32	c 1355s |      20 |  7740154 |   769527 |    23685     76 |      442 |        0
1357.93/1358.44	c 1357s |      20 |  7741164 |   769827 |    23685     76 |      442 |        0
1359.93/1360.47	c 1359s |      20 |  7742889 |   770527 |    23685     76 |      442 |        0
1361.94/1362.47	c 1361s |      20 |  7744799 |   771127 |    23685     76 |      442 |        0
1364.14/1364.62	c 1364s |      20 |  7745946 |   771827 |    23685     76 |      442 |        0
1366.44/1366.99	c 1366s |      20 |  7747431 |   772527 |    23685     76 |      442 |        0
1368.64/1369.13	c 1368s |      20 |  7749158 |   773327 |    23685     76 |      442 |        0
1370.84/1371.33	c 1370s |      20 |  7750761 |   774127 |    23685     76 |      442 |        0
1373.04/1373.54	c 1373s |      20 |  7756525 |   774827 |    23685     76 |      442 |        0
1375.14/1375.69	c 1375s |      20 |  7760357 |   775727 |    23685     76 |      442 |        0
1377.24/1377.79	c 1377s |      20 |  7763603 |   776527 |    23685     76 |      442 |        0
1379.34/1379.88	c 1379s |      20 |  7765542 |   777327 |    23685     76 |      442 |        0
1381.54/1382.08	c 1381s |      20 |  7784583 |   778627 |    23685     76 |      443 |        0
1383.74/1384.26	c 1383s |      20 |  7794081 |   779827 |    23685     76 |      443 |        0
1385.94/1386.44	c 1385s |      20 |  7803239 |   781027 |    23685     76 |      443 |        0
1388.04/1388.52	c 1387s |      20 |  7813951 |   781927 |    23685     77 |      443 |        0
1390.04/1390.54	c 1390s |      20 |  7825885 |   783327 |    23685     77 |      443 |        0
1392.03/1392.59	c 1392s |      20 |  7833713 |   784327 |    23685     77 |      443 |        0
1394.13/1394.62	c 1394s |      20 |  7841923 |   785427 |    23685     77 |      443 |        0
1396.23/1396.73	c 1396s |      20 |  7844274 |   785927 |    23685     77 |      443 |        0
1399.13/1399.63	c 1399s |      20 |  7845128 |   786227 |    23685     77 |      443 |        0
1401.93/1402.46	c 1401s |      20 |  7845390 |   786327 |    23685     77 |      443 |        0
1404.24/1404.78	c 1404s |      20 |  7846890 |   786627 |    23685     77 |      443 |        0
1406.34/1406.87	c 1406s |      20 |  7858486 |   787727 |    23685     77 |      443 |        0
1408.53/1409.02	c 1408s |      20 |  7877034 |   789327 |    23685     77 |      443 |        0
1410.53/1411.05	c 1410s |      20 |  7886417 |   789827 |    23685     77 |      444 |        0
1412.93/1413.49	c 1412s |      20 |  7897298 |   790827 |    23685     77 |      446 |        0
1415.03/1415.50	c 1414s |      20 |  7917248 |   792327 |    23685     77 |      446 |        0
1417.13/1417.64	c 1417s |      20 |  7932867 |   793327 |    23685     78 |      446 |        0
1419.23/1419.78	c 1419s |      20 |  7947524 |   794727 |    23685     78 |      446 |        0
1421.23/1421.78	c 1421s |      20 |  7955355 |   795627 |    23685     78 |      446 |        0
1423.33/1423.83	c 1423s |      20 |  7964854 |   796427 |    23685     78 |      447 |        0
1425.43/1425.99	c 1425s |      20 |  7967104 |   797127 |    23685     78 |      447 |        0
1427.93/1428.41	c 1427s |      20 |  7967535 |   797427 |    23685     78 |      447 |        0
1429.92/1430.44	c 1429s |      20 |  7980451 |   798727 |    23685     78 |      447 |        0
1432.12/1432.68	c 1432s |      20 |  7991808 |   799827 |    23685     78 |      450 |        0
1434.22/1434.71	c 1434s |      20 |  8006077 |   801127 |    23685     78 |      451 |        0
1436.23/1436.76	c 1436s |      20 |  8023202 |   802527 |    23685     78 |      451 |        0
1438.43/1438.96	c 1438s |      20 |  8036658 |   803627 |    23685     78 |      452 |        0
1441.02/1441.59	c 1441s |      20 |  8056811 |   805027 |    23685     79 |      452 |        0
1443.12/1443.61	c 1443s |      20 |  8082844 |   806927 |    23685     79 |      452 |        0
1445.13/1445.69	c 1445s |      20 |  8094318 |   808227 |    23685     79 |      452 |        0
1447.23/1447.74	c 1447s |      20 |  8113002 |   809727 |    23685     79 |      452 |        0
1449.32/1449.88	c 1449s |      20 |  8126947 |   811027 |    23685     79 |      453 |        0
1451.52/1452.00	c 1451s |      20 |  8137426 |   812227 |    23685     79 |      453 |        0
1453.62/1454.16	c 1453s |      20 |  8149209 |   813727 |    23685     79 |      453 |        0
1455.72/1456.21	c 1455s |      20 |  8164510 |   815327 |    23685     79 |      453 |        0
1457.73/1458.29	c 1457s |      20 |  8174943 |   816627 |    23685     79 |      453 |        0
1459.83/1460.30	c 1459s |      20 |  8181149 |   817727 |    23685     79 |      453 |        0
1461.83/1462.31	c 1461s |      20 |  8188360 |   818827 |    23685     79 |      453 |        0
1464.23/1464.73	c 1464s |      20 |  8199493 |   819927 |    23685     80 |      453 |        0
1466.23/1466.75	c 1466s |      20 |  8205140 |   821027 |    23685     80 |      453 |        0
1468.23/1468.76	c 1468s |      20 |  8209875 |   821827 |    23685     80 |      453 |        0
1470.33/1470.84	c 1470s |      20 |  8218872 |   822927 |    23685     80 |      453 |        0
1472.72/1473.24	c 1472s |      20 |  8221373 |   823527 |    23685     80 |      453 |        0
1474.83/1475.32	c 1474s |      20 |  8230420 |   824627 |    23685     80 |      453 |        0
1476.93/1477.42	c 1476s |      20 |  8250253 |   826127 |    23685     80 |      453 |        0
1479.02/1479.50	c 1478s |      20 |  8262062 |   827327 |    23685     80 |      454 |        0
1481.12/1481.62	c 1481s |      20 |  8273838 |   828427 |    23685     80 |      454 |        0
1483.12/1483.64	c 1483s |      20 |  8289438 |   829527 |    23685     80 |      454 |        0
1485.12/1485.65	c 1485s |      20 |  8305149 |   830827 |    23685     80 |      454 |        0
1487.12/1487.66	c 1487s |      20 |  8309782 |   831627 |    23685     81 |      455 |        0
1489.32/1489.85	c 1489s |      20 |  8323657 |   833227 |    23685     81 |      455 |        0
1491.42/1491.91	c 1491s |      20 |  8335107 |   834327 |    23685     81 |      455 |        0
1493.52/1494.03	c 1493s |      20 |  8352605 |   836027 |    23685     81 |      455 |        0
1495.52/1496.05	c 1495s |      20 |  8373658 |   837727 |    23685     81 |      455 |        0
1497.52/1498.07	c 1497s |      20 |  8391620 |   839127 |    23685     81 |      455 |        0
1499.72/1500.24	c 1499s |      20 |  8399984 |   840227 |    23685     81 |      455 |        0
1502.01/1502.59	c 1502s |      20 |  8410962 |   841427 |    23685     81 |      455 |        0
1504.61/1505.18	c 1504s |      20 |  8423366 |   842627 |    23685     81 |      456 |        0
1507.21/1507.72	c 1507s |      20 |  8429988 |   843727 |    23685     82 |      457 |        0
1509.31/1509.83	c 1509s |      20 |  8451150 |   845727 |    23685     82 |      457 |        0
1511.31/1511.87	c 1511s |      20 |  8475420 |   847427 |    23685     82 |      457 |        0
1513.41/1513.90	c 1513s |      20 |  8485646 |   849027 |    23685     82 |      457 |        0
1515.42/1515.92	c 1515s |      20 |  8492435 |   850227 |    23685     82 |      457 |        0
1517.42/1517.93	c 1517s |      20 |  8496844 |   851327 |    23685     82 |      457 |        0
1519.52/1520.03	c 1519s |      20 |  8503652 |   852527 |    23685     82 |      458 |        0
1521.52/1522.05	c 1521s |      20 |  8512360 |   854027 |    23685     82 |      458 |        0
1524.12/1524.68	c 1524s |      20 |  8520185 |   855227 |    23685     82 |      459 |        0
1526.22/1526.70	c 1526s |      20 |  8540138 |   856327 |    23685     82 |      460 |        0
1528.41/1528.95	c 1528s |      20 |  8553355 |   857227 |    23685     83 |      462 |        0
1530.51/1531.07	c 1530s |      20 |  8561546 |   858427 |    23685     83 |      463 |        0
1532.61/1533.17	c 1532s |      20 |  8567180 |   859427 |    23685     83 |      463 |        0
1534.71/1535.23	c 1534s |      20 |  8574931 |   860327 |    23685     83 |      463 |        0
1536.81/1537.32	c 1536s |      20 |  8581957 |   861627 |    23685     83 |      463 |        0
1538.91/1539.44	c 1538s |      20 |  8592493 |   863027 |    23685     83 |      463 |        0
1540.91/1541.47	c 1540s |      20 |  8608838 |   864527 |    23685     83 |      463 |        0
1542.91/1543.47	c 1542s |      20 |  8618948 |   865827 |    23685     83 |      463 |        0
1545.01/1545.53	c 1545s |      20 |  8627673 |   867027 |    23685     83 |      463 |        0
1547.00/1547.58	c 1547s |      20 |  8630595 |   867627 |    23685     83 |      463 |        0
1549.41/1549.99	c 1549s |      20 |  8632105 |   868027 |    23685     83 |      463 |        0
1551.61/1552.13	c 1551s |      20 |  8641420 |   869327 |    23685     83 |      463 |        0
1553.71/1554.25	c 1553s |      20 |  8648354 |   870327 |    23685     84 |      463 |        0
1555.81/1556.38	c 1555s |      20 |  8666613 |   871627 |    23685     84 |      463 |        0
1557.91/1558.40	c 1557s |      20 |  8682380 |   872727 |    23685     84 |      463 |        0
1559.91/1560.42	c 1559s |      20 |  8697707 |   874027 |    23685     84 |      463 |        0
1561.91/1562.49	c 1561s |      20 |  8710411 |   875227 |    23685     84 |      463 |        0
1564.01/1564.55	c 1564s |      20 |  8715231 |   876527 |    23685     84 |      463 |        0
1566.11/1566.65	c 1566s |      20 |  8727256 |   877527 |    23685     84 |      463 |        0
1568.21/1568.75	c 1568s |      20 |  8733437 |   878727 |    23685     84 |      463 |        0
1570.30/1570.89	c 1570s |      20 |  8736737 |   879927 |    23685     84 |      463 |        0
1572.40/1572.96	c 1572s |      20 |  8744998 |   881027 |    23685     84 |      463 |        0
1574.40/1574.96	c 1574s |      20 |  8752309 |   881927 |    23685     84 |      463 |        0
1576.50/1577.02	c 1576s |      20 |  8759784 |   882927 |    23685     84 |      463 |        0
1578.50/1579.05	c 1578s |      20 |  8767183 |   883827 |    23685     85 |      463 |        0
1580.50/1581.07	c 1580s |      20 |  8777749 |   885127 |    23685     85 |      463 |        0
1582.61/1583.11	c 1582s |      20 |  8786960 |   886227 |    23685     85 |      463 |        0
1584.61/1585.13	c 1584s |      20 |  8788476 |   886627 |    23685     85 |      463 |        0
1587.10/1587.66	c 1587s |      20 |  8789146 |   886927 |    23685     85 |      463 |        0
1589.30/1589.81	c 1589s |      20 |  8799682 |   888027 |    23685     85 |      463 |        0
1591.31/1591.90	c 1591s |      20 |  8808418 |   888827 |    23685     85 |      463 |        0
1593.51/1594.02	c 1593s |      20 |  8815491 |   889727 |    23685     85 |      464 |        0
1595.60/1596.16	c 1595s |      20 |  8827442 |   891127 |    23685     85 |      464 |        0
1597.60/1598.19	c 1597s |      20 |  8831064 |   891827 |    23685     85 |      464 |        0
1599.71/1600.23	c 1599s |      20 |  8832218 |   892227 |    23685     85 |      464 |        0
1601.81/1602.38	c 1601s |      20 |  8847360 |   893527 |    23685     85 |      464 |        0
1604.00/1604.52	c 1603s |      20 |  8860942 |   894827 |    23685     85 |      464 |        0
1606.00/1606.56	c 1606s |      20 |  8870862 |   895527 |    23685     86 |      464 |        0
1608.00/1608.56	c 1608s |      20 |  8883828 |   896927 |    23685     86 |      464 |        0
1610.11/1610.68	c 1610s |      20 |  8896441 |   898127 |    23685     86 |      465 |        0
1612.21/1612.75	c 1612s |      20 |  8915152 |   899527 |    23685     86 |      465 |        0
1614.30/1614.87	c 1614s |      20 |  8928376 |   901027 |    23685     86 |      465 |        0
1616.40/1616.90	c 1616s |      20 |  8944695 |   902527 |    23685     86 |      465 |        0
1618.40/1618.97	c 1618s |      20 |  8956725 |   904027 |    23685     86 |      465 |        0
1620.60/1621.14	c 1620s |      20 |  8969256 |   905727 |    23685     86 |      465 |        0
1622.70/1623.23	c 1622s |      20 |  8982292 |   907127 |    23685     86 |      465 |        0
1624.80/1625.31	c 1624s |      20 |  8989664 |   908427 |    23685     86 |      465 |        0
1626.90/1627.48	c 1626s |      20 |  8995395 |   909527 |    23685     86 |      465 |        0
1628.90/1629.48	c 1628s |      20 |  9009047 |   910427 |    23685     87 |      465 |        0
1631.00/1631.59	c 1631s |      20 |  9034249 |   912227 |    23685     87 |      465 |        0
1633.10/1633.63	c 1633s |      20 |  9044968 |   913027 |    23685     87 |      468 |        0
1635.09/1635.64	c 1635s |      20 |  9061872 |   914527 |    23685     87 |      468 |        0
1637.09/1637.67	c 1637s |      20 |  9072678 |   915927 |    23685     87 |      468 |        0
1639.39/1639.91	c 1639s |      20 |  9083287 |   917027 |    23685     87 |      468 |        0
1641.59/1642.12	c 1641s |      20 |  9092112 |   918427 |    23685     87 |      468 |        0
1643.59/1644.14	c 1643s |      20 |  9095097 |   919227 |    23685     87 |      468 |        0
1645.69/1646.22	c 1645s |      20 |  9116355 |   920427 |    23685     87 |      469 |        0
1647.79/1648.31	c 1647s |      20 |  9126658 |   921427 |    23685     88 |      469 |        0
1649.90/1650.44	c 1649s |      20 |  9136294 |   922527 |    23685     88 |      469 |        0
1652.00/1652.52	c 1652s |      20 |  9138181 |   923227 |    23685     88 |      469 |        0
1654.40/1654.99	c 1654s |      20 |  9140346 |   923927 |    23685     88 |      469 |        0
1656.50/1657.07	c 1656s |      20 |  9149864 |   925027 |    23685     88 |      469 |        0
1658.59/1659.13	c 1658s |      20 |  9172494 |   926427 |    23685     88 |      469 |        0
1660.60/1661.16	c 1660s |      20 |  9192549 |   927927 |    23685     88 |      469 |        0
1662.69/1663.27	c 1662s |      20 |  9204483 |   928927 |    23685     88 |      471 |        0
1664.79/1665.30	c 1664s |      20 |  9222567 |   930227 |    23685     88 |      471 |        0
1666.79/1667.30	c 1666s |      20 |  9227172 |   930927 |    23685     88 |      472 |        0
1668.79/1669.36	c 1668s |      20 |  9239556 |   932327 |    23685     88 |      473 |        0
1671.39/1671.99	c 1671s |      20 |  9249609 |   933627 |    23685     89 |      474 |        0
1673.49/1674.08	c 1673s |      20 |  9271508 |   935127 |    23685     89 |      474 |        0
1675.59/1676.12	c 1675s |      20 |  9283388 |   936327 |    23685     89 |      474 |        0
1677.59/1678.15	c 1677s |      20 |  9300503 |   937627 |    23685     89 |      475 |        0
1679.59/1680.18	c 1679s |      20 |  9321032 |   939027 |    23685     89 |      475 |        0
1681.79/1682.36	c 1681s |      20 |  9331081 |   940327 |    23685     89 |      475 |        0
1683.89/1684.49	c 1683s |      20 |  9342580 |   941527 |    23685     89 |      476 |        0
1686.09/1686.60	c 1686s |      20 |  9352783 |   942727 |    23685     89 |      476 |        0
1688.19/1688.73	c 1688s |      20 |  9363654 |   943827 |    23685     89 |      477 |        0
1690.29/1690.89	c 1690s |      20 |  9376306 |   945327 |    23685     89 |      477 |        0
1692.38/1692.93	c 1692s |      20 |  9386217 |   946627 |    23685     89 |      477 |        0
1694.38/1694.97	c 1694s |      20 |  9400245 |   947927 |    23685     90 |      477 |        0
1696.58/1697.11	c 1696s |      20 |  9406165 |   949227 |    23685     90 |      477 |        0
1698.58/1699.11	c 1698s |      20 |  9415574 |   950327 |    23685     90 |      478 |        0
1700.68/1701.20	c 1700s |      20 |  9431151 |   951927 |    23685     90 |      478 |        0
1702.78/1703.36	c 1702s |      20 |  9445919 |   953227 |    23685     90 |      479 |        0
1704.89/1705.43	c 1704s |      20 |  9457280 |   954427 |    23685     90 |      479 |        0
1706.89/1707.45	c 1706s |      20 |  9466264 |   955427 |    23685     90 |      479 |        0
1708.99/1709.54	c 1709s |      20 |  9475523 |   956527 |    23685     90 |      479 |        0
1711.49/1712.07	c 1711s |      20 |  9485505 |   957727 |    23685     90 |      480 |        0
1713.59/1714.12	c 1713s |      20 |  9496445 |   958527 |    23685     91 |      481 |        0
1715.69/1716.26	c 1715s |      20 |  9506480 |   959727 |    23685     91 |      481 |        0
1717.89/1718.43	c 1717s |      20 |  9520359 |   961227 |    23685     91 |      481 |        0
1719.99/1720.56	c 1720s |      20 |  9533707 |   962627 |    23685     91 |      481 |        0
1722.08/1722.62	c 1722s |      20 |  9548869 |   963927 |    23685     91 |      481 |        0
1724.08/1724.65	c 1724s |      20 |  9562409 |   965127 |    23685     91 |      481 |        0
1726.28/1726.86	c 1726s |      20 |  9573875 |   966327 |    23685     91 |      481 |        0
1728.28/1728.86	c 1728s |      20 |  9584879 |   967527 |    23685     91 |      481 |        0
1730.38/1730.92	c 1730s |      20 |  9597641 |   968827 |    23685     91 |      481 |        0
1732.48/1733.03	c 1732s |      20 |  9606531 |   969927 |    23685     91 |      481 |        0
1734.58/1735.11	c 1734s |      20 |  9613166 |   970827 |    23685     91 |      481 |        0
1736.88/1737.41	c 1736s |      20 |  9614590 |   971227 |    23685     91 |      481 |        0
1739.28/1739.81	c 1739s |      20 |  9615410 |   971427 |    23685     91 |      481 |        0
1741.38/1741.96	c 1741s |      20 |  9626771 |   972527 |    23685     92 |      481 |        0
1743.38/1743.96	c 1743s |      20 |  9637482 |   974127 |    23685     92 |      482 |        0
1745.48/1746.06	c 1745s |      20 |  9642585 |   975527 |    23685     92 |      482 |        0
1747.58/1748.11	c 1747s |      20 |  9648261 |   977127 |    23685     92 |      482 |        0
1749.58/1750.20	c 1749s |      20 |  9653159 |   978527 |    23685     92 |      482 |        0
1751.78/1752.38	c 1751s |      20 |  9657522 |   979827 |    23685     92 |      482 |        0
1753.88/1754.40	c 1753s |      20 |  9661583 |   981027 |    23685     92 |      482 |        0
1755.88/1756.42	c 1755s |      20 |  9667797 |   982227 |    23685     92 |      482 |        0
1757.88/1758.46	c 1757s |      20 |  9673071 |   983427 |    23685     92 |      482 |        0
1759.98/1760.54	c 1760s |      20 |  9681560 |   984927 |    23685     93 |      482 |        0
1762.18/1762.76	c 1762s |      20 |  9686578 |   986327 |    23685     93 |      483 |        0
1764.28/1764.89	c 1764s |      20 |  9711837 |   988327 |    23685     93 |      483 |        0
1766.38/1766.98	c 1766s |      20 |  9726939 |   989627 |    23685     93 |      483 |        0
1768.49/1769.03	c 1768s |      20 |  9749702 |   991227 |    23685     93 |      483 |        0
1770.48/1771.10	c 1770s |      20 |  9768172 |   992427 |    23685     93 |      484 |        0
1772.58/1773.16	c 1772s |      20 |  9781356 |   993827 |    26054     93 |      485 |        0
1774.58/1775.19	c 1774s |      20 |  9802103 |   995327 |    26054     93 |      485 |        0
1776.78/1777.33	c 1776s |      20 |  9818324 |   996427 |    26054     93 |      486 |        0
1778.88/1779.44	c 1778s |      20 |  9835357 |   997727 |    26054     93 |      486 |        0
1780.98/1781.58	c 1781s |      20 |  9852520 |   998827 |    26054     94 |      487 |        0
1783.07/1783.65	c 1783s |      20 |  9864539 |  1000227 |    26054     94 |      487 |        0
1783.17/1783.78	c 1783s |      21 |  9865648 |  1000345 |    26054     94 |      487 |        0
1785.27/1785.80	c 1785s |      21 |  9878499 |  1001745 |    26054     94 |      487 |        0
1787.27/1787.89	c 1787s |      21 |  9894789 |  1003245 |    26054     94 |      487 |        0
1789.38/1789.96	c 1789s |      21 |  9910232 |  1004645 |    26054     94 |      487 |        0
1791.48/1792.01	c 1791s |      21 |  9925227 |  1005945 |    26054     94 |      487 |        0
1793.47/1794.05	c 1793s |      21 |  9936884 |  1007145 |    26054     94 |      487 |        0
1795.57/1796.18	c 1795s |      21 |  9940898 |  1008045 |    26054     94 |      487 |        0
1797.77/1798.33	c 1797s |      21 |  9947902 |  1009345 |    26054     94 |      487 |        0
1799.87/1800.44	c 1799s |      21 |  9952346 |  1010245 |    26054     94 |      487 |        0

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

pid=13870
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.22 2.16 2.10 3/179 13873
/proc/meminfo: memFree=30126360/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=668092 CPUtime=0 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 2482 0 0 0 0 0 0 0 20 0 4 0 24822265 684126208 3353 33554432000 4194304 16246674 140735701320112 140735701319536 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 167791 3361 441 2943 0 164685 0
[pid=13873/tid=13874] ppid=13870 vsize=685500 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 701952000 3420 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=689596 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 706146304 3437 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=693692 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822265 710340608 3453 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.22 2.16 2.10 3/179 13873
/proc/meminfo: memFree=30126360/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1228356 CPUtime=0.09 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 28477 0 0 0 6 3 0 0 20 0 4 0 24822265 1257836544 29287 33554432000 4194304 16246674 140735701320112 140735701303104 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 308369 29305 801 2943 0 305263 0
[pid=13873/tid=13874] ppid=13870 vsize=1237572 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1267273728 29319 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1240644 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1270419456 29330 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1246788 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1276710912 29355 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1228356

[startup+0.200518 s]
/proc/loadavg: 2.22 2.16 2.10 3/179 13873
/proc/meminfo: memFree=30126360/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 50650 0 0 0 13 6 0 0 20 0 4 0 24822265 1344868352 51970 33554432000 4194304 16246674 140735701320112 140735701303104 12479225 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 328337 51970 835 2943 0 325231 0
[pid=13873/tid=13874] ppid=13870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1344868352 51970 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1344868352 51970 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1344868352 51970 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300444 s]
/proc/loadavg: 2.22 2.16 2.10 3/179 13873
/proc/meminfo: memFree=30126360/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 57217 0 0 0 22 6 0 0 20 0 4 0 24822265 1344868352 58537 33554432000 4194304 16246674 140735701320112 140735701303104 6777647 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 328337 58553 836 2943 0 325231 0
[pid=13873/tid=13874] ppid=13870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1344868352 58562 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1344868352 58571 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1344868352 58578 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.70044 s]
/proc/loadavg: 2.22 2.16 2.10 3/179 13873
/proc/meminfo: memFree=30126360/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 164301 0 0 0 48 21 0 0 20 0 4 0 24822265 1344868352 165621 33554432000 4194304 16246674 140735701320112 140735701303104 5669490 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 328337 165632 884 2943 0 325231 0
[pid=13873/tid=13874] ppid=13870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1344868352 165635 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1344868352 165640 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1344868352 165643 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.22 2.16 2.10 3/183 13877
/proc/meminfo: memFree=29257752/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1324612 CPUtime=1.49 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 216387 0 0 0 122 27 0 0 20 0 4 0 24822265 1356402688 217707 33554432000 4194304 16246674 140735701320112 140735701319424 12483640 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 331153 217707 890 2943 0 328047 0
[pid=13873/tid=13874] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 217707 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 217707 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 217707 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1324612

[startup+3.10041 s]
/proc/loadavg: 2.20 2.16 2.10 3/183 13877
/proc/meminfo: memFree=29134620/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1324612 CPUtime=3.09 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 271832 0 0 0 275 34 0 0 20 0 4 0 24822265 1356402688 273152 33554432000 4194304 16246674 140735701320112 140735701319208 6836328 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 331153 273152 893 2943 0 328047 0
[pid=13873/tid=13874] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273152 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273152 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273152 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1324612

[startup+6.30043 s]
/proc/loadavg: 2.20 2.16 2.10 3/183 13877
/proc/meminfo: memFree=29034452/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1324612 CPUtime=6.29 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 271832 0 0 0 595 34 0 0 20 0 4 0 24822265 1356402688 273152 33554432000 4194304 16246674 140735701320112 140735701302016 5666956 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 331153 273152 893 2943 0 328047 0
[pid=13873/tid=13874] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273152 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273152 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273152 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1324612

[startup+12.7004 s]
/proc/loadavg: 2.17 2.15 2.10 4/183 13877
/proc/meminfo: memFree=29034552/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1324612 CPUtime=12.69 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 271837 0 0 0 1235 34 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140735701302016 6843060 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 331153 273157 897 2943 0 328047 0
[pid=13873/tid=13874] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1324612

[startup+25.5074 s]
/proc/loadavg: 2.14 2.15 2.10 3/183 13877
/proc/meminfo: memFree=29035172/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1324612 CPUtime=25.49 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 271837 0 0 0 2515 34 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140735701302016 12997801 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 331153 273157 897 2943 0 328047 0
[pid=13873/tid=13874] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1324612

[startup+51.1004 s]
/proc/loadavg: 2.16 2.15 2.10 3/184 13880
/proc/meminfo: memFree=29035132/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1324612 CPUtime=51.08 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 271837 0 0 0 5074 34 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140735701302016 12483481 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 331153 273157 897 2943 0 328047 0
[pid=13873/tid=13874] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1324612

[startup+102.3 s]
/proc/loadavg: 2.20 2.16 2.10 3/183 13881
/proc/meminfo: memFree=29034656/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1324612 CPUtime=102.28 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 271837 0 0 0 10193 35 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140735701302016 5530736 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 331153 273157 897 2943 0 328047 0
[pid=13873/tid=13874] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1324612


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

/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1324612

[startup+1362.3 s]
/proc/loadavg: 2.06 2.06 2.07 3/183 13962
/proc/meminfo: memFree=28562204/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1324612 CPUtime=1361.84 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 272268 0 0 0 136122 62 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140735701302016 5522977 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 331153 273157 897 2943 0 328047 0
[pid=13873/tid=13874] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1324612

[startup+1422.3 s]
/proc/loadavg: 2.02 2.05 2.07 3/183 13963
/proc/meminfo: memFree=28473944/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1324612 CPUtime=1421.83 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 272268 0 0 0 142120 63 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140735701319288 5545872 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 331153 273157 897 2943 0 328047 0
[pid=13873/tid=13874] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1324612

[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/183 13964
/proc/meminfo: memFree=28473088/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1324612 CPUtime=1481.82 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 272268 0 0 0 148118 64 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140735701302016 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 331153 273157 897 2943 0 328047 0
[pid=13873/tid=13874] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1324612

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/183 13965
/proc/meminfo: memFree=28472800/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1324612 CPUtime=1541.81 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 272268 0 0 0 154116 65 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140735701302016 5545988 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 331153 273157 897 2943 0 328047 0
[pid=13873/tid=13874] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1324612

[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 2.06 3/183 13966
/proc/meminfo: memFree=28472976/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1324612 CPUtime=1601.81 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 272268 0 0 0 160113 68 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140735701302016 13809250 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 331153 273157 897 2943 0 328047 0
[pid=13873/tid=13874] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1324612

[startup+1662.31 s]
/proc/loadavg: 2.06 2.04 2.05 3/183 13968
/proc/meminfo: memFree=28472264/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1324612 CPUtime=1661.8 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 272268 0 0 0 166111 69 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140735701302016 5531892 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 331153 273157 897 2943 0 328047 0
[pid=13873/tid=13874] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1324612

[startup+1722.3 s]
/proc/loadavg: 2.16 2.08 2.06 3/183 13969
/proc/meminfo: memFree=28472820/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1324612 CPUtime=1721.78 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 272268 0 0 0 172108 70 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140735701302016 6837238 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 331153 273157 897 2943 0 328047 0
[pid=13873/tid=13874] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273157 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1324612

[startup+1782.3 s]
/proc/loadavg: 2.17 2.10 2.08 3/183 13970
/proc/meminfo: memFree=28472344/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1324612 CPUtime=1781.78 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 272269 0 0 0 178107 71 0 0 20 0 4 0 24822265 1356402688 273158 33554432000 4194304 16246674 140735701320112 140735701302016 5822648 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 331153 273158 898 2943 0 328047 0
[pid=13873/tid=13874] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273158 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273158 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273158 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1324612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.18 2.11 2.08 3/183 13970
/proc/meminfo: memFree=28472580/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1324612 CPUtime=1800.07 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 272269 0 0 0 179935 72 0 0 20 0 4 0 24822265 1356402688 273158 33554432000 4194304 16246674 140735701320112 140735701319288 5523360 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 331153 273158 898 2943 0 328047 0
[pid=13873/tid=13874] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273158 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273158 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273158 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1324612

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

[startup+1800.6 s]
/proc/loadavg: 2.18 2.11 2.08 3/183 13970
/proc/meminfo: memFree=28472580/32872528 swapFree=534252/566956
[pid=13873] ppid=13870 vsize=1324612 CPUtime=1800.07 cores=0,2,4,6
/proc/13873/stat : 13873 (toysat) R 13870 13873 10353 0 -1 4202496 272269 0 0 0 179935 72 0 0 20 0 4 0 24822265 1356402688 273158 33554432000 4194304 16246674 140735701320112 140735701319288 5523360 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13873/statm: 331153 273158 898 2943 0 328047 0
[pid=13873/tid=13874] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13874/stat : 13874 (toysat) S 13870 13873 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273158 33554432000 4194304 16246674 140735701320112 140129232465136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13873/tid=13875] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13875/stat : 13875 (toysat) S 13870 13873 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273158 33554432000 4194304 16246674 140735701320112 140129146481904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13873/tid=13876] ppid=13870 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13873/task/13876/stat : 13876 (toysat) S 13870 13873 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822265 1356402688 273158 33554432000 4194304 16246674 140735701320112 140129136008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1324612

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.36
CPU system time (s): 0.72189
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 1324612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.72189
maximum resident set size= 1092632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272269
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= 445
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48601 second user time and 8.21775 second system time

The end

Begin job on node138 at 2016-06-18 07:29:26
IDJOB=4101809
IDBENCH=1797
IDSOLVER=2542
FILE ID=node138/4101809-1466227766
RUNJOBID= node138-1466206053-10369
PBS_JOBID= 19918139
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-air04.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101809-1466227766/watcher-4101809-1466227766 -o /tmp/evaluation-result-4101809-1466227766/solver-4101809-1466227766 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101809-1466227766.opb

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

MD5SUM BENCH= 642713e12b3477ef4c8327a12a399c0f
RANDOM SEED=570027633

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30126888 kB
Buffers:          107392 kB
Cached:           123564 kB
SwapCached:         1060 kB
Active:          1307788 kB
Inactive:         134020 kB
Active(anon):    1211632 kB
Inactive(anon):     1228 kB
Active(file):      96156 kB
Inactive(file):   132792 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             17132 kB
Writeback:             0 kB
AnonPages:       1891104 kB
Mapped:            10652 kB
Shmem:                 0 kB
Slab:             603516 kB
SReclaimable:      47300 kB
SUnreclaim:       556216 kB
KernelStack:        1496 kB
PageTables:         7304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1921480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1349632 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= 71700 MiB
End job on node138 at 2016-06-18 07:59:27