0.00/0.00	c 2016-06-17T00:35:00+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-4097128-1466116500.opb"]
0.00/0.01	c use --random-gen="2843643778 3539245028 1814270683 3190596237 1453268341 1963082161 3459299031 2758841142 701914018 3680762806 1958032363 3808439030 4020093263 1011663865 1854763546 1177934226 964055708 1079428447 2657077591 1198137997 3290793326 1986486907 3335951281 2094136877 2646686938 498682265 4047093490 2880742662 2956409694 4101667531 2746546268 1557216283 475292441 3452814254 3544698838 2713774711 2894426510 1495020883 276025313 88864716 1122475506 3622637822 876787668 3531532781 2576154451 2140621630 1120238029 2666971529 3338234513 436228752 3472217529 3394007109 3274880873 3516185710 3361951140 421572796 976721795 3401062494 3355688549 1488851149 4250358057 1803781978 2043897880 77207276 505077278 2738941464 3321565279 1940397522 305216182 2659500280 1494495336 1465379388 1484152120 711047951 3165564284 2346996571 64415304 2684516896 2720271556 4251525859 2525237957 2131832613 1618426739 2907578477 1047754938 2483285147 300893811 4266588341 2919099901 2466235732 3900410602 1750763225 2814682996 1903229900 3014056236 619221191 976821033 2548592953 4242996307 662388139 2161063159 3267532598 2133027954 219945656 4001850066 3923607952 2471595869 1896404271 1960161064 4098146672 349564209 1943000158 2367884636 4089932055 3773342355 272622489 2449190674 1356929557 484351871 4285329781 4199423842 3148364870 3515565760 2403036927 467755366 2693969344 85440643 1397498111 3436173888 597473950 933604875 2946829495 1315364979 1883544166 111823769 4180408597 1418655138 2739398598 947635134 1061119358 2271601989 3945331462 12704347 1940771730 2892581569 2323273906 2224885854 1445983186 4249296747 386141861 3841528724 1313858067 1197591886 527871902 2007867791 3444170748 2471031854 2204933256 348120651 1856385913 403086640 3256219835 3101721417 132281502 3668964327 3311971942 566537784 406103320 3907368995 1111337459 1644420949 2741661100 2828730471 1099664074 1139725593 4231854036 1658608584 127794278 2055826770 4263181427 896240570 3193806361 516457827 1707871995 1171445059 1968557041 1966449279 4091876499 636219970 1980222819 2781756871 2393974298 4110328557 38576528 2047473389 2043345113 2033208004 987405224 998700967 1107610772 1298217281 432712318 1818724396 4017884320 19117658 3281331907 130160056 2661438148 293282444 1641773568 1658665638 2009378907 2094425975 4022591425 2369094727 2596155723 112474404 2215093967 2132415356 704176047 2264793974 3979526904 208475454 2269487709 2425289523 4194918237 3957080456 3580945765 1702872390 3710939105 3745943815 1157339836 313223201 3435539827 1961997492 3562162425 904978511 2317766446 3356913697 1437064183 2005128756 1435582877 1811658219 1104275478 3496789760 3656752986 3950555122 1977947055 3005533467 472859797 3044822879 260721234 304006084 1102009883 358499142 321242133 255 362436" option to reproduce the execution
0.00/0.07	c #vars 1722
0.00/0.07	c #constraints 8246
0.09/0.19	c Solving starts ...
0.09/0.19	c ============================[ Search Statistics ]============================
0.09/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.19	c =============================================================================
0.09/0.19	c  0.0s |       0 |        0 |        0 |     3321      0 |        5 |        0
0.19/0.25	c  0.1s |       1 |      166 |      100 |     3321      0 |        5 |      326
0.29/0.32	c  0.1s |       2 |      372 |      250 |     3654      0 |        5 |      326
0.39/0.49	c  0.2s |       3 |      685 |      475 |     4020      0 |        5 |      326
0.59/0.66	c  0.5s |       4 |     1197 |      813 |     4422      0 |        5 |      326
0.89/0.93	c  0.7s |       5 |     1923 |     1320 |     4865      0 |        5 |      326
1.29/1.34	c  1.1s |       6 |     2881 |     2081 |     5888      0 |        5 |      326
1.79/1.83	c  1.6s |       7 |     4340 |     3223 |     6477      0 |        5 |      326
2.49/2.57	c  2.4s |       8 |     6511 |     4936 |     7125      0 |        5 |      326
3.89/3.95	c  3.8s |       9 |     9734 |     7506 |     7838      1 |        5 |      326
5.89/5.96	c  5.8s |      10 |    14507 |    11361 |     8622      1 |        5 |      326
7.88/7.99	c  7.8s |      10 |    18603 |    14661 |     8622      2 |        5 |      326
9.28/9.38	c  9.2s |      11 |    21627 |    17144 |     9485      2 |        5 |      326
11.39/11.43	c 11.2s |      11 |    25335 |    20344 |     9485      3 |        5 |      326
13.39/13.45	c 13.3s |      11 |    28761 |    23444 |     9485      4 |        5 |      326
14.89/14.92	c 14.7s |      12 |    31328 |    25819 |    10434      4 |        5 |      326
16.89/16.94	c 16.7s |      12 |    34457 |    28519 |    10434      4 |        5 |      326
18.89/18.95	c 18.8s |      12 |    38278 |    31819 |    10434      5 |        5 |      326
20.89/20.95	c 20.8s |      12 |    42651 |    35419 |    10434      6 |        5 |      326
22.79/22.88	c 22.7s |      13 |    46523 |    38832 |    11478      6 |        5 |      326
24.79/24.90	c 24.7s |      13 |    49869 |    41732 |    11478      7 |        5 |      326
26.88/26.90	c 26.7s |      13 |    53799 |    45132 |    11478      7 |        5 |      326
28.88/28.95	c 28.8s |      13 |    57366 |    48332 |    11478      8 |        5 |      326
30.89/30.97	c 30.8s |      13 |    60792 |    51432 |    11478      8 |        5 |      326
32.88/32.99	c 32.8s |      13 |    63329 |    53532 |    11478      9 |        5 |      326
34.98/35.02	c 34.8s |      13 |    67667 |    57332 |    11478      9 |        5 |      326
35.58/35.68	c 35.5s |      14 |    68853 |    58352 |    12626      9 |        5 |      326
37.68/37.73	c 37.5s |      14 |    72557 |    61552 |    12626     10 |        5 |      326
39.69/39.77	c 39.6s |      14 |    76087 |    64752 |    12626     10 |        5 |      326
42.08/42.17	c 42.0s |      14 |    79478 |    67752 |    12626     11 |        5 |      326
44.09/44.18	c 44.0s |      14 |    83428 |    71152 |    12626     11 |        5 |      326
46.19/46.21	c 46.0s |      14 |    87382 |    74652 |    12626     12 |        5 |      326
48.18/48.26	c 48.1s |      14 |    90941 |    77852 |    12626     12 |        5 |      326
50.18/50.26	c 50.1s |      14 |    93458 |    80152 |    12626     13 |        5 |      326
52.18/52.29	c 52.1s |      14 |    96816 |    83152 |    12626     13 |        5 |      326
54.28/54.34	c 54.2s |      14 |    99811 |    85952 |    12626     14 |        5 |      326
55.38/55.47	c 55.3s |      15 |   101705 |    87632 |    13889     14 |        5 |      326
57.48/57.55	c 57.4s |      15 |   104953 |    90532 |    13889     14 |        5 |      326
59.78/59.83	c 59.6s |      15 |   106929 |    92332 |    13889     14 |        5 |      326
61.88/61.90	c 61.7s |      15 |   110712 |    95532 |    13889     15 |        5 |      326
63.88/63.91	c 63.7s |      15 |   113985 |    98532 |    13889     15 |        5 |      326
65.88/65.92	c 65.7s |      15 |   117361 |   101432 |    13889     16 |        5 |      326
67.88/67.96	c 67.8s |      15 |   120853 |   104432 |    13889     16 |        5 |      326
69.88/69.96	c 69.8s |      15 |   123825 |   107032 |    13889     17 |        5 |      326
71.97/72.02	c 71.8s |      15 |   127549 |   110232 |    13889     17 |        5 |      326
73.97/74.02	c 73.8s |      15 |   130820 |   113132 |    13889     17 |        5 |      326
75.98/76.05	c 75.9s |      15 |   134327 |   116232 |    13889     18 |        5 |      326
78.08/78.11	c 77.9s |      15 |   137649 |   119232 |    13889     18 |        5 |      326
80.07/80.17	c 80.0s |      15 |   141078 |   122332 |    13889     19 |        5 |      326
82.06/82.17	c 82.0s |      15 |   144327 |   125232 |    13889     19 |        5 |      326
84.06/84.18	c 84.0s |      15 |   147399 |   128032 |    13889     19 |        5 |      326
86.16/86.24	c 86.1s |      15 |   150594 |   130932 |    15278     20 |        5 |      326
86.66/86.74	c 86.5s |      16 |   151256 |   131552 |    15278     20 |        5 |      326
88.96/89.00	c 88.8s |      16 |   153543 |   133452 |    15278     20 |        5 |      326
90.96/91.07	c 90.9s |      16 |   156812 |   136252 |    15278     20 |        5 |      326
93.07/93.15	c 93.0s |      16 |   160464 |   139352 |    15278     21 |        5 |      326
95.07/95.17	c 95.0s |      16 |   163677 |   142252 |    15278     21 |        5 |      326
97.07/97.17	c 97.0s |      16 |   165919 |   144252 |    15278     21 |        5 |      326
99.16/99.20	c 99.0s |      16 |   169281 |   147052 |    15278     22 |        5 |      326
101.17/101.23	c  101s |      16 |   173038 |   150252 |    15278     22 |        5 |      326
103.16/103.26	c  103s |      16 |   176481 |   153152 |    15278     23 |        5 |      326
105.16/105.27	c  105s |      16 |   180185 |   156352 |    15278     23 |        5 |      326
107.26/107.30	c  107s |      16 |   183761 |   159452 |    15278     23 |        5 |      326
109.26/109.31	c  109s |      16 |   187143 |   162452 |    15278     24 |        5 |      326
111.26/111.37	c  111s |      16 |   189386 |   164452 |    15278     24 |        5 |      326
113.37/113.42	c  113s |      16 |   192838 |   167452 |    15278     24 |        5 |      326
115.35/115.48	c  115s |      16 |   196347 |   170552 |    15278     25 |        5 |      326
117.45/117.55	c  117s |      16 |   199515 |   173252 |    15278     25 |        5 |      326
119.55/119.63	c  119s |      16 |   202431 |   175752 |    15278     26 |        5 |      326
121.65/121.78	c  121s |      16 |   205938 |   178752 |    15278     26 |        5 |      326
123.65/123.79	c  123s |      16 |   209006 |   181452 |    15278     26 |        5 |      326
125.75/125.82	c  125s |      16 |   211726 |   183852 |    15278     27 |        5 |      326
127.75/127.86	c  127s |      16 |   215270 |   186952 |    15278     27 |        5 |      326
129.85/129.92	c  129s |      16 |   218403 |   189652 |    15278     27 |        5 |      326
131.85/131.95	c  131s |      16 |   221346 |   192252 |    15278     28 |        5 |      326
134.74/134.81	c  134s |      16 |   222457 |   193252 |    15278     28 |        5 |      326
136.74/136.82	c  136s |      16 |   226369 |   196552 |    16806     28 |        5 |      326
137.34/137.45	c  137s |      17 |   227367 |   197432 |    16806     28 |        5 |      326
139.34/139.47	c  139s |      17 |   230684 |   200132 |    16806     28 |        5 |      326
141.44/141.57	c  141s |      17 |   233622 |   202532 |    16806     29 |        5 |      326
143.54/143.61	c  143s |      17 |   237534 |   205732 |    16806     29 |        5 |      326
145.54/145.66	c  145s |      17 |   240746 |   208432 |    16806     29 |        5 |      326
147.64/147.72	c  147s |      17 |   244005 |   211132 |    16806     30 |        5 |      326
149.65/149.76	c  149s |      17 |   247736 |   214132 |    16806     30 |        5 |      326
151.64/151.76	c  151s |      17 |   250921 |   216832 |    16806     30 |        5 |      326
153.64/153.78	c  153s |      17 |   254170 |   219632 |    16806     31 |        5 |      326
155.74/155.80	c  155s |      17 |   257572 |   222532 |    16806     31 |        5 |      326
157.74/157.85	c  157s |      17 |   260744 |   225332 |    16806     31 |        5 |      326
159.74/159.86	c  159s |      17 |   262149 |   226432 |    16806     32 |        5 |      326
161.75/161.88	c  161s |      17 |   265907 |   229532 |    16806     32 |        5 |      326
163.84/163.94	c  163s |      17 |   269503 |   232532 |    16806     32 |        5 |      326
165.83/165.99	c  165s |      17 |   272624 |   235132 |    16806     33 |        5 |      326
167.93/168.02	c  167s |      17 |   276156 |   238132 |    16806     33 |        5 |      326
169.93/170.04	c  169s |      17 |   279701 |   241232 |    16806     33 |        5 |      326
171.93/172.07	c  171s |      17 |   282511 |   243732 |    16806     34 |        5 |      326
174.03/174.14	c  173s |      17 |   284355 |   245332 |    16806     34 |        5 |      326
176.04/176.19	c  175s |      17 |   287850 |   248332 |    16806     34 |        5 |      326
178.03/178.20	c  178s |      17 |   290912 |   250932 |    16806     34 |        5 |      326
180.13/180.21	c  180s |      17 |   294063 |   253732 |    16806     35 |        5 |      326
182.12/182.27	c  182s |      17 |   297383 |   256532 |    16806     35 |        5 |      326
184.22/184.30	c  184s |      17 |   300619 |   259332 |    16806     35 |        5 |      326
186.22/186.33	c  186s |      17 |   303906 |   262132 |    16806     36 |        5 |      326
188.22/188.34	c  188s |      17 |   306842 |   264732 |    16806     36 |        5 |      326
190.33/190.41	c  190s |      17 |   309765 |   267332 |    16806     36 |        5 |      326
192.32/192.43	c  192s |      17 |   312369 |   269732 |    16806     37 |        5 |      326
194.32/194.44	c  194s |      17 |   315451 |   272532 |    16806     37 |        5 |      326
196.42/196.51	c  196s |      17 |   318348 |   275132 |    16806     37 |        5 |      326
198.42/198.56	c  198s |      17 |   321116 |   277532 |    16806     37 |        5 |      326
201.82/201.90	c  201s |      17 |   321573 |   277932 |    16806     38 |        5 |      326
203.81/203.91	c  203s |      17 |   324862 |   280732 |    16806     38 |        5 |      326
205.81/205.94	c  205s |      17 |   327922 |   283432 |    16806     38 |        5 |      326
207.82/207.98	c  207s |      17 |   330628 |   285832 |    16806     38 |        5 |      326
209.91/210.04	c  209s |      17 |   333606 |   288532 |    16806     39 |        5 |      326
211.91/212.07	c  211s |      17 |   336716 |   291232 |    16806     39 |        5 |      326
214.01/214.11	c  213s |      17 |   339500 |   293732 |    16806     39 |        5 |      326
216.01/216.15	c  215s |      17 |   341975 |   295932 |    18487     39 |        5 |      326
216.31/216.43	c  216s |      18 |   342327 |   296252 |    18487     39 |        5 |      326
218.31/218.47	c  218s |      18 |   344141 |   297652 |    18487     40 |        5 |      326
220.31/220.49	c  220s |      18 |   347684 |   300552 |    18487     40 |        5 |      326
222.31/222.49	c  222s |      18 |   351001 |   303252 |    18487     40 |        5 |      326
224.51/224.63	c  224s |      18 |   353972 |   305752 |    18487     41 |        5 |      326
226.52/226.65	c  226s |      18 |   357852 |   309052 |    18487     41 |        5 |      326
228.52/228.67	c  228s |      18 |   361160 |   311852 |    18487     41 |        5 |      326
230.62/230.71	c  230s |      18 |   364008 |   314352 |    18487     41 |        5 |      326
232.61/232.73	c  232s |      18 |   367066 |   317052 |    18487     42 |        5 |      326
234.61/234.73	c  234s |      18 |   368761 |   318552 |    18487     42 |        5 |      326
236.61/236.74	c  236s |      18 |   371496 |   320952 |    18487     42 |        5 |      326
238.62/238.75	c  238s |      18 |   374098 |   323252 |    18487     42 |        5 |      326
240.61/240.76	c  240s |      18 |   376423 |   325352 |    18487     43 |        5 |      326
242.61/242.76	c  242s |      18 |   379432 |   327952 |    18487     43 |        5 |      326
244.60/244.78	c  244s |      18 |   382093 |   330352 |    18487     43 |        5 |      326
246.60/246.78	c  246s |      18 |   384576 |   332552 |    18487     43 |        5 |      326
248.61/248.80	c  248s |      18 |   386863 |   334652 |    18487     44 |        5 |      326
251.00/251.13	c  250s |      18 |   389254 |   336852 |    18487     44 |        5 |      326
253.01/253.14	c  252s |      18 |   392235 |   339452 |    18487     44 |        5 |      326
255.00/255.15	c  254s |      18 |   395214 |   342052 |    18487     44 |        5 |      326
257.00/257.16	c  256s |      18 |   397584 |   344152 |    18487     45 |        5 |      326
259.00/259.16	c  258s |      18 |   400877 |   347052 |    18487     45 |        5 |      326
261.00/261.17	c  260s |      18 |   403864 |   349752 |    18487     45 |        5 |      326
263.09/263.25	c  263s |      18 |   405971 |   351552 |    18487     45 |        5 |      326
265.29/265.43	c  265s |      18 |   408831 |   354052 |    18487     46 |        5 |      326
267.30/267.46	c  267s |      18 |   411970 |   356752 |    18487     46 |        5 |      326
269.29/269.49	c  269s |      18 |   414966 |   359352 |    18487     46 |        5 |      326
271.39/271.55	c  271s |      18 |   417838 |   361852 |    18487     46 |        5 |      326
273.39/273.55	c  273s |      18 |   421163 |   364752 |    18487     47 |        5 |      326
276.19/276.31	c  276s |      18 |   423380 |   366752 |    18487     47 |        5 |      326
278.20/278.31	c  278s |      18 |   426536 |   369352 |    18487     47 |        5 |      326
280.19/280.35	c  280s |      18 |   428783 |   371252 |    18487     47 |        5 |      326
282.19/282.36	c  282s |      18 |   432164 |   374152 |    18487     48 |        5 |      326
284.29/284.40	c  284s |      18 |   435598 |   377152 |    18487     48 |        5 |      326
286.29/286.48	c  286s |      18 |   438688 |   379752 |    18487     48 |        5 |      326
288.39/288.54	c  288s |      18 |   441777 |   382352 |    18487     49 |        5 |      326
290.49/290.61	c  290s |      18 |   445188 |   385252 |    18487     49 |        5 |      326
292.49/292.67	c  292s |      18 |   448104 |   387852 |    18487     49 |        5 |      326
294.59/294.79	c  294s |      18 |   450661 |   390152 |    18487     50 |        5 |      326
296.59/296.79	c  296s |      18 |   454062 |   393152 |    18487     50 |        5 |      326
298.69/298.87	c  298s |      18 |   457069 |   395852 |    18487     50 |        5 |      326
300.78/300.93	c  300s |      18 |   459499 |   397852 |    18487     50 |        5 |      326
302.78/302.95	c  302s |      18 |   461973 |   399952 |    18487     51 |        5 |      326
304.78/304.99	c  304s |      18 |   465074 |   402652 |    18487     51 |        5 |      326
307.28/307.45	c  307s |      18 |   466912 |   404252 |    18487     51 |        5 |      326
309.38/309.50	c  309s |      18 |   469891 |   406852 |    18487     51 |        5 |      326
311.38/311.54	c  311s |      18 |   472548 |   409152 |    18487     52 |        5 |      326
313.38/313.55	c  313s |      18 |   475560 |   411852 |    18487     52 |        5 |      326
315.47/315.63	c  315s |      18 |   478366 |   414352 |    18487     52 |        5 |      326
317.47/317.65	c  317s |      18 |   480950 |   416652 |    18487     52 |        5 |      326
319.57/319.70	c  319s |      18 |   483534 |   418952 |    18487     53 |        5 |      326
321.57/321.73	c  321s |      18 |   486159 |   421352 |    18487     53 |        5 |      326
323.56/323.75	c  323s |      18 |   488945 |   423852 |    18487     53 |        5 |      326
326.06/326.22	c  326s |      18 |   491425 |   426052 |    18487     53 |        5 |      326
328.06/328.24	c  328s |      18 |   494200 |   428452 |    18487     54 |        5 |      326
330.06/330.27	c  330s |      18 |   496982 |   430952 |    18487     54 |        5 |      326
332.07/332.27	c  332s |      18 |   499789 |   433452 |    18487     54 |        5 |      326
334.16/334.30	c  334s |      18 |   502414 |   435752 |    18487     54 |        5 |      326
336.16/336.32	c  336s |      18 |   504913 |   437952 |    18487     55 |        5 |      326
338.16/338.34	c  338s |      18 |   507672 |   440352 |    18487     55 |        5 |      326
340.16/340.34	c  340s |      18 |   510386 |   442752 |    20336     55 |        5 |      326
341.66/341.88	c  341s |      19 |   512342 |   444482 |    20336     55 |        5 |      326
343.76/343.93	c  343s |      19 |   514616 |   446382 |    20336     55 |        5 |      326
345.76/345.99	c  345s |      19 |   516901 |   448382 |    20336     55 |        5 |      326
348.56/348.80	c  348s |      19 |   518044 |   449382 |    20336     56 |        5 |      326
350.66/350.84	c  350s |      19 |   520321 |   451182 |    20336     56 |        5 |      326
352.66/352.86	c  352s |      19 |   523650 |   453982 |    20336     56 |        5 |      326
354.76/354.90	c  354s |      19 |   526519 |   456482 |    20336     56 |        5 |      326
356.85/357.02	c  356s |      19 |   529125 |   458782 |    20336     57 |        5 |      326
358.85/359.08	c  358s |      19 |   532507 |   461682 |    20336     57 |        5 |      326
360.95/361.15	c  360s |      19 |   535579 |   464382 |    20336     57 |        5 |      326
362.96/363.19	c  362s |      19 |   537932 |   466482 |    20336     57 |        5 |      326
365.06/365.24	c  365s |      19 |   540367 |   468582 |    20336     57 |        5 |      326
367.15/367.37	c  367s |      19 |   543097 |   470982 |    20336     58 |        5 |      326
369.15/369.38	c  369s |      19 |   545856 |   473482 |    20336     58 |        5 |      326
371.25/371.48	c  371s |      19 |   548739 |   475882 |    20336     58 |        5 |      326
373.24/373.49	c  373s |      19 |   551270 |   478082 |    20336     58 |        5 |      326
375.34/375.51	c  375s |      19 |   553554 |   479982 |    20336     59 |        5 |      326
377.34/377.52	c  377s |      19 |   556766 |   482782 |    20336     59 |        5 |      326
379.35/379.54	c  379s |      19 |   559517 |   485282 |    20336     59 |        5 |      326
381.34/381.57	c  381s |      19 |   562108 |   487582 |    20336     59 |        5 |      326
383.44/383.67	c  383s |      19 |   564291 |   489582 |    20336     60 |        5 |      326
385.54/385.70	c  385s |      19 |   567527 |   492482 |    20336     60 |        5 |      326
387.54/387.72	c  387s |      19 |   570132 |   494782 |    20336     60 |        5 |      326
392.05/392.24	c  392s |      19 |   572546 |   496882 |    20336     60 |        5 |      326
394.04/394.27	c  394s |      19 |   574491 |   498382 |    20336     60 |        5 |      326
396.14/396.30	c  396s |      19 |   576789 |   500282 |    20336     61 |        5 |      326
398.15/398.36	c  398s |      19 |   580510 |   503482 |    20336     61 |        5 |      326
400.25/400.41	c  400s |      19 |   583557 |   506082 |    20336     61 |        5 |      326
402.24/402.49	c  402s |      19 |   586430 |   508582 |    20336     61 |        5 |      326
404.34/404.51	c  404s |      19 |   588653 |   510582 |    20336     62 |        5 |      326
406.34/406.52	c  406s |      19 |   591776 |   513382 |    20336     62 |        5 |      326
408.33/408.58	c  408s |      19 |   593797 |   515182 |    20336     62 |        5 |      326
410.33/410.59	c  410s |      19 |   596616 |   517582 |    20336     62 |        5 |      326
412.44/412.67	c  412s |      19 |   599392 |   519982 |    20336     62 |        5 |      326
414.54/414.72	c  414s |      19 |   601998 |   522282 |    20336     63 |        5 |      326
416.53/416.77	c  416s |      19 |   605114 |   525082 |    20336     63 |        5 |      326
418.63/418.82	c  418s |      19 |   607868 |   527482 |    20336     63 |        5 |      326
420.63/420.88	c  420s |      19 |   610453 |   529782 |    20336     63 |        5 |      326
422.73/422.91	c  422s |      19 |   613043 |   532082 |    20336     64 |        5 |      326
424.73/424.93	c  424s |      19 |   615759 |   534482 |    20336     64 |        5 |      326
426.73/426.97	c  426s |      19 |   618573 |   536982 |    20336     64 |        5 |      326
428.83/429.04	c  428s |      19 |   621034 |   539182 |    20336     64 |        5 |      326
430.82/431.04	c  430s |      19 |   623207 |   541182 |    20336     64 |        5 |      326
437.03/437.21	c  437s |      19 |   625865 |   543582 |    20336     65 |        5 |      326
439.03/439.25	c  439s |      19 |   628985 |   546182 |    20336     65 |        5 |      326
441.03/441.29	c  441s |      19 |   631733 |   548582 |    20336     65 |        5 |      326
443.13/443.40	c  443s |      19 |   634244 |   550782 |    20336     65 |        5 |      326
445.22/445.43	c  445s |      19 |   636933 |   553082 |    20336     66 |        5 |      326
447.32/447.51	c  447s |      19 |   640231 |   555982 |    20336     66 |        5 |      326
449.32/449.55	c  449s |      19 |   642926 |   558382 |    20336     66 |        5 |      326
451.42/451.63	c  451s |      19 |   645257 |   560482 |    20336     66 |        5 |      326
453.41/453.69	c  453s |      19 |   647460 |   562482 |    20336     67 |        5 |      326
455.51/455.74	c  455s |      19 |   649858 |   564682 |    20336     67 |        5 |      326
457.52/457.77	c  457s |      19 |   652309 |   566882 |    20336     67 |        5 |      326
459.62/459.81	c  459s |      19 |   654661 |   568982 |    20336     67 |        5 |      326
461.91/462.10	c  461s |      19 |   656347 |   570482 |    20336     67 |        5 |      326
464.11/464.31	c  464s |      19 |   658447 |   572282 |    20336     68 |        5 |      326
466.10/466.35	c  466s |      19 |   661361 |   574882 |    20336     68 |        5 |      326
468.20/468.41	c  468s |      19 |   664000 |   577282 |    20336     68 |        5 |      326
470.20/470.41	c  470s |      19 |   665938 |   579082 |    20336     68 |        5 |      326
472.19/472.45	c  472s |      19 |   668067 |   580982 |    20336     68 |        5 |      326
474.39/474.64	c  474s |      19 |   670087 |   582682 |    20336     69 |        5 |      326
476.49/476.73	c  476s |      19 |   672777 |   585082 |    20336     69 |        5 |      326
478.49/478.75	c  478s |      19 |   675289 |   587382 |    20336     69 |        5 |      326
480.50/480.80	c  480s |      19 |   677778 |   589582 |    20336     69 |        5 |      326
482.59/482.80	c  482s |      19 |   680041 |   591582 |    20336     69 |        5 |      326
484.59/484.82	c  484s |      19 |   682062 |   593382 |    20336     70 |        5 |      326
486.59/486.88	c  486s |      19 |   684842 |   595882 |    20336     70 |        5 |      326
488.69/488.94	c  488s |      19 |   687096 |   597982 |    20336     70 |        5 |      326
490.69/490.97	c  490s |      19 |   689452 |   600082 |    20336     70 |        5 |      326
492.79/493.03	c  492s |      19 |   691411 |   601882 |    20336     70 |        5 |      326
494.79/495.05	c  494s |      19 |   693116 |   603482 |    20336     71 |        5 |      326
496.88/497.12	c  496s |      19 |   695609 |   605782 |    20336     71 |        5 |      326
498.88/499.16	c  498s |      19 |   697901 |   607882 |    20336     71 |        5 |      326
500.98/501.25	c  501s |      19 |   700274 |   609982 |    20336     71 |        5 |      326
505.29/505.56	c  505s |      19 |   701937 |   611482 |    20336     71 |        5 |      326
507.28/507.57	c  507s |      19 |   702516 |   611982 |    20336     71 |        5 |      326
509.38/509.64	c  509s |      19 |   705176 |   614282 |    20336     72 |        5 |      326
511.39/511.68	c  511s |      19 |   707984 |   616782 |    20336     72 |        5 |      326
513.38/513.70	c  513s |      19 |   710687 |   619182 |    20336     72 |        5 |      326
515.48/515.72	c  515s |      19 |   713213 |   621482 |    20336     72 |        5 |      326
517.58/517.81	c  517s |      19 |   715403 |   623482 |    20336     72 |        5 |      326
519.58/519.86	c  519s |      19 |   717524 |   625382 |    20336     73 |        5 |      326
521.58/521.86	c  521s |      19 |   719919 |   627482 |    20336     73 |        5 |      326
523.67/523.91	c  523s |      19 |   722287 |   629582 |    20336     73 |        5 |      326
525.68/525.94	c  525s |      19 |   724417 |   631482 |    20336     73 |        5 |      326
527.78/528.05	c  527s |      19 |   726611 |   633382 |    20336     73 |        5 |      326
529.77/530.05	c  529s |      19 |   728696 |   635282 |    20336     74 |        5 |      326
531.77/532.08	c  531s |      19 |   730688 |   637082 |    20336     74 |        5 |      326
533.87/534.11	c  533s |      19 |   733360 |   639482 |    20336     74 |        5 |      326
535.87/536.12	c  535s |      19 |   735666 |   641582 |    20336     74 |        5 |      326
537.87/538.15	c  537s |      19 |   737886 |   643582 |    20336     74 |        5 |      326
539.87/540.20	c  540s |      19 |   740035 |   645582 |    20336     75 |        5 |      326
541.97/542.21	c  542s |      19 |   741995 |   647382 |    20336     75 |        5 |      326
543.97/544.23	c  544s |      19 |   744262 |   649382 |    20336     75 |        5 |      326
545.97/546.27	c  546s |      19 |   746721 |   651482 |    20336     75 |        5 |      326
548.07/548.38	c  548s |      19 |   748939 |   653482 |    20336     75 |        5 |      326
550.07/550.39	c  550s |      19 |   751009 |   655382 |    20336     76 |        5 |      326
552.37/552.64	c  552s |      19 |   752222 |   656482 |    20336     76 |        5 |      326
554.37/554.69	c  554s |      19 |   755044 |   658882 |    20336     76 |        5 |      326
556.48/556.76	c  556s |      19 |   757765 |   661282 |    20336     76 |        5 |      326
558.58/558.83	c  558s |      19 |   760203 |   663382 |    22370     76 |        5 |      326
560.57/560.86	c  560s |      19 |   762417 |   665282 |    22370     76 |        5 |      326
562.27/562.57	c  562s |      20 |   764219 |   666827 |    22370     76 |        5 |      326
564.47/564.75	c  564s |      20 |   766473 |   668627 |    22370     77 |        5 |      326
566.47/566.78	c  566s |      20 |   769967 |   671427 |    22370     77 |        5 |      326
568.47/568.80	c  568s |      20 |   772530 |   673727 |    22370     77 |        5 |      326
570.57/570.89	c  570s |      20 |   775109 |   675927 |    22370     77 |        5 |      326
572.76/573.02	c  572s |      20 |   777546 |   678127 |    22370     77 |        5 |      326
574.76/575.03	c  574s |      20 |   779693 |   679827 |    22370     78 |        5 |      326
576.76/577.04	c  576s |      20 |   782923 |   682527 |    22370     78 |        5 |      326
578.76/579.07	c  578s |      20 |   786022 |   685127 |    22370     78 |        5 |      326
580.86/581.11	c  580s |      20 |   788922 |   687627 |    22370     78 |        5 |      326
583.06/583.31	c  583s |      20 |   791646 |   690027 |    22370     79 |        5 |      326
585.07/585.34	c  585s |      20 |   794221 |   692327 |    22370     79 |        5 |      326
587.17/587.42	c  587s |      20 |   797122 |   694827 |    22370     79 |        5 |      326
589.16/589.43	c  589s |      20 |   799894 |   697227 |    22370     79 |        5 |      326
591.16/591.44	c  591s |      20 |   802180 |   699227 |    22370     79 |        5 |      326
593.15/593.47	c  593s |      20 |   804439 |   701227 |    22370     79 |        5 |      326
595.26/595.50	c  595s |      20 |   806595 |   703127 |    22370     80 |        5 |      326
597.26/597.55	c  597s |      20 |   809389 |   705527 |    22370     80 |        5 |      326
599.26/599.57	c  599s |      20 |   811855 |   707727 |    22370     80 |        5 |      326
601.25/601.58	c  601s |      20 |   814124 |   709727 |    22370     80 |        5 |      326
603.35/603.61	c  603s |      20 |   816530 |   711827 |    22370     80 |        5 |      326
605.35/605.67	c  605s |      20 |   818866 |   713927 |    22370     81 |        5 |      326
607.35/607.70	c  607s |      20 |   821764 |   716527 |    22370     81 |        5 |      326
609.45/609.71	c  609s |      20 |   824179 |   718727 |    22370     81 |        5 |      326
615.15/615.42	c  615s |      20 |   824773 |   719227 |    22370     81 |        5 |      326
617.15/617.45	c  617s |      20 |   827552 |   721627 |    22370     81 |        5 |      326
619.25/619.53	c  619s |      20 |   830068 |   723827 |    22370     81 |        5 |      326
621.26/621.59	c  621s |      20 |   832385 |   725927 |    22370     82 |        5 |      326
623.35/623.65	c  623s |      20 |   834939 |   728227 |    22370     82 |        5 |      326
625.35/625.69	c  625s |      20 |   837313 |   730327 |    22370     82 |        5 |      326
627.45/627.70	c  627s |      20 |   839576 |   732327 |    22370     82 |        5 |      326
629.55/629.81	c  629s |      20 |   841825 |   734327 |    22370     82 |        5 |      326
631.55/631.83	c  631s |      20 |   843467 |   735827 |    22370     83 |        5 |      326
633.65/633.90	c  633s |      20 |   846276 |   738327 |    22370     83 |        5 |      326
635.66/635.94	c  635s |      20 |   848754 |   740527 |    22370     83 |        5 |      326
637.65/637.97	c  637s |      20 |   851119 |   742627 |    22370     83 |        5 |      326
639.75/640.07	c  639s |      20 |   853289 |   744627 |    22370     83 |        5 |      326
641.75/642.07	c  641s |      20 |   855135 |   746327 |    22370     83 |        5 |      326
644.75/645.03	c  644s |      20 |   857230 |   748227 |    22370     84 |        5 |      326
646.84/647.11	c  646s |      20 |   859821 |   750627 |    22370     84 |        5 |      326
648.85/649.19	c  648s |      20 |   862345 |   752927 |    22370     84 |        5 |      326
650.95/651.25	c  651s |      20 |   864580 |   754927 |    22370     84 |        5 |      326
653.04/653.32	c  653s |      20 |   866708 |   756827 |    22370     84 |        5 |      326
655.04/655.36	c  655s |      20 |   868406 |   758327 |    22370     85 |        5 |      326
657.14/657.40	c  657s |      20 |   871535 |   761127 |    22370     85 |        5 |      326
659.14/659.42	c  659s |      20 |   873830 |   763127 |    22370     85 |        5 |      326
661.14/661.46	c  661s |      20 |   875920 |   765027 |    22370     85 |        5 |      326
663.14/663.47	c  663s |      20 |   878038 |   766927 |    22370     85 |        5 |      326
665.24/665.56	c  665s |      20 |   880017 |   768727 |    22370     85 |        5 |      326
667.23/667.58	c  667s |      20 |   882268 |   770727 |    22370     86 |        5 |      326
669.33/669.64	c  669s |      20 |   884536 |   772827 |    22370     86 |        5 |      326
671.43/671.70	c  671s |      20 |   886558 |   774727 |    22370     86 |        5 |      326
673.43/673.78	c  673s |      20 |   887045 |   775127 |    22370     86 |        5 |      326
675.53/675.80	c  675s |      20 |   889888 |   777627 |    22370     86 |        5 |      326
677.53/677.80	c  677s |      20 |   892357 |   779727 |    22370     86 |        5 |      326
679.53/679.85	c  679s |      20 |   894402 |   781527 |    22370     87 |        5 |      326
681.54/681.88	c  681s |      20 |   897117 |   783827 |    22370     87 |        5 |      326
683.64/683.92	c  683s |      20 |   899766 |   786227 |    22370     87 |        5 |      326
685.63/685.93	c  685s |      20 |   902170 |   788327 |    22370     87 |        5 |      326
687.73/688.04	c  687s |      20 |   904587 |   790427 |    22370     87 |        5 |      326
689.73/690.04	c  689s |      20 |   906706 |   792227 |    22370     88 |        5 |      326
691.74/692.05	c  691s |      20 |   909687 |   794827 |    22370     88 |        5 |      326
693.84/694.13	c  693s |      20 |   912387 |   797227 |    22370     88 |        5 |      326
695.83/696.17	c  695s |      20 |   915064 |   799627 |    22370     88 |        5 |      326
697.93/698.26	c  698s |      20 |   917550 |   801827 |    22370     88 |        5 |      326
699.93/700.29	c  700s |      20 |   919418 |   803527 |    22370     89 |        5 |      326
702.03/702.34	c  702s |      20 |   922354 |   806127 |    22370     89 |        5 |      326
705.63/705.93	c  705s |      20 |   924955 |   808427 |    22370     89 |        5 |      326
707.62/707.98	c  707s |      20 |   927456 |   810527 |    22370     89 |        5 |      326
709.72/710.07	c  709s |      20 |   930298 |   812927 |    22370     89 |        5 |      326
712.02/712.37	c  712s |      20 |   932453 |   814827 |    22370     90 |        5 |      326
714.12/714.43	c  714s |      20 |   936007 |   817827 |    22370     90 |        5 |      326
716.12/716.43	c  716s |      20 |   939123 |   820527 |    22370     90 |        5 |      326
718.13/718.47	c  718s |      20 |   941950 |   823027 |    22370     90 |        5 |      326
720.12/720.49	c  720s |      20 |   944506 |   825327 |    22370     90 |        5 |      326
722.42/722.72	c  722s |      20 |   946141 |   826727 |    22370     91 |        5 |      326
724.52/724.80	c  724s |      20 |   949510 |   829627 |    22370     91 |        5 |      326
726.52/726.81	c  726s |      20 |   952261 |   832027 |    22370     91 |        5 |      326
728.52/728.84	c  728s |      20 |   955116 |   834427 |    22370     91 |        5 |      326
730.52/730.84	c  730s |      20 |   957580 |   836627 |    22370     91 |        5 |      326
732.61/732.90	c  732s |      20 |   959943 |   838727 |    22370     92 |        5 |      326
734.62/734.96	c  734s |      20 |   962770 |   841227 |    22370     92 |        5 |      326
736.72/737.01	c  736s |      20 |   965367 |   843527 |    22370     92 |        5 |      326
738.71/739.03	c  738s |      20 |   967736 |   845627 |    22370     92 |        5 |      326
740.71/741.07	c  740s |      20 |   969703 |   847427 |    22370     92 |        5 |      326
742.81/743.11	c  742s |      20 |   971480 |   849027 |    22370     93 |        5 |      326
744.81/745.12	c  744s |      20 |   974247 |   851527 |    22370     93 |        5 |      326
746.81/747.15	c  746s |      20 |   976851 |   853827 |    22370     93 |        5 |      326
748.82/749.19	c  748s |      20 |   979202 |   855927 |    22370     93 |        5 |      326
750.91/751.26	c  751s |      20 |   981264 |   857827 |    22370     93 |        5 |      326
753.01/753.33	c  753s |      20 |   983225 |   859627 |    22370     93 |        5 |      326
755.01/755.36	c  755s |      20 |   985462 |   861727 |    22370     94 |        5 |      326
757.42/757.72	c  757s |      20 |   987093 |   863227 |    22370     94 |        5 |      326
760.71/761.06	c  760s |      20 |   987346 |   863427 |    22370     94 |        5 |      326
762.81/763.13	c  762s |      20 |   988817 |   864627 |    22370     94 |        5 |      326
764.81/765.19	c  765s |      20 |   991905 |   867127 |    22370     94 |        5 |      326
766.91/767.25	c  767s |      20 |   995074 |   869827 |    22370     94 |        5 |      326
768.91/769.28	c  769s |      20 |   997417 |   871827 |    22370     95 |        5 |      326
771.01/771.34	c  771s |      20 |  1001013 |   874927 |    22370     95 |        5 |      326
773.02/773.40	c  773s |      20 |  1004080 |   877627 |    22370     95 |        5 |      326
775.11/775.47	c  775s |      20 |  1006939 |   880127 |    22370     95 |        5 |      326
777.21/777.54	c  777s |      20 |  1009457 |   882327 |    22370     95 |        5 |      326
780.31/780.65	c  780s |      20 |  1012174 |   884727 |    22370     96 |        5 |      326
782.31/782.67	c  782s |      20 |  1015530 |   887527 |    22370     96 |        5 |      326
784.31/784.67	c  784s |      20 |  1018544 |   890127 |    22370     96 |        5 |      326
786.41/786.74	c  786s |      20 |  1021340 |   892527 |    22370     96 |        5 |      326
788.41/788.74	c  788s |      20 |  1023778 |   894627 |    22370     97 |        5 |      326
790.51/790.80	c  790s |      20 |  1026655 |   897227 |    22370     97 |        5 |      326
792.51/792.83	c  792s |      20 |  1029187 |   899427 |    22370     97 |        5 |      326
794.51/794.88	c  794s |      20 |  1031514 |   901427 |    22370     97 |        5 |      326
796.60/796.93	c  796s |      20 |  1033636 |   903327 |    22370     97 |        5 |      326
798.70/799.03	c  798s |      20 |  1035675 |   905127 |    22370     97 |        5 |      326
800.80/801.10	c  800s |      20 |  1038112 |   907327 |    22370     98 |        5 |      326
802.81/803.13	c  802s |      20 |  1040501 |   909527 |    22370     98 |        5 |      326
804.91/805.25	c  805s |      20 |  1042643 |   911427 |    22370     98 |        5 |      326
807.00/807.36	c  807s |      20 |  1045011 |   913527 |    22370     98 |        5 |      326
809.10/809.46	c  809s |      20 |  1046994 |   915327 |    22370     98 |        5 |      326
811.20/811.52	c  811s |      20 |  1048518 |   916727 |    22370     99 |        5 |      326
813.72/814.07	c  813s |      20 |  1050926 |   918827 |    22370     99 |        5 |      326
815.91/816.24	c  816s |      20 |  1052453 |   920127 |    22370     99 |        5 |      326
818.01/818.30	c  818s |      20 |  1055273 |   922627 |    22370     99 |        5 |      326
820.01/820.37	c  820s |      20 |  1057999 |   925027 |    22370     99 |        5 |      326
822.11/822.46	c  822s |      20 |  1060421 |   927227 |    22370     99 |        5 |      326
824.31/824.64	c  824s |      20 |  1062762 |   929327 |    22370    100 |        5 |      326
826.31/826.66	c  826s |      20 |  1065489 |   931827 |    22370    100 |        5 |      326
828.41/828.70	c  828s |      20 |  1068416 |   934427 |    22370    100 |        5 |      326
830.40/830.77	c  830s |      20 |  1071018 |   936727 |    22370    100 |        5 |      326
832.41/832.80	c  832s |      20 |  1073427 |   938827 |    22370    100 |        5 |      326
834.50/834.83	c  834s |      20 |  1076058 |   941127 |    22370    101 |        5 |      326
837.10/837.41	c  837s |      20 |  1077404 |   942327 |    22370    101 |        5 |      326
839.11/839.45	c  839s |      20 |  1080455 |   945027 |    22370    101 |        5 |      326
841.10/841.50	c  841s |      20 |  1083000 |   947327 |    22370    101 |        5 |      326
843.20/843.57	c  843s |      20 |  1085408 |   949527 |    22370    101 |        5 |      326
845.30/845.64	c  845s |      20 |  1087714 |   951627 |    22370    102 |        5 |      326
847.40/847.70	c  847s |      20 |  1090103 |   953827 |    22370    102 |        5 |      326
849.40/849.75	c  849s |      20 |  1092572 |   956127 |    22370    102 |        5 |      326
851.50/851.80	c  851s |      20 |  1094870 |   958227 |    22370    102 |        5 |      326
853.60/853.90	c  853s |      20 |  1096900 |   960127 |    22370    102 |        5 |      326
855.70/856.09	c  855s |      20 |  1098837 |   961927 |    22370    103 |        5 |      326
857.80/858.18	c  857s |      20 |  1101218 |   964127 |    22370    103 |        5 |      326
859.90/860.26	c  860s |      20 |  1102619 |   965327 |    22370    103 |        5 |      326
861.90/862.27	c  862s |      20 |  1105238 |   967627 |    22370    103 |        5 |      326
864.00/864.32	c  864s |      20 |  1107693 |   969827 |    22370    103 |        5 |      326
866.10/866.41	c  866s |      20 |  1110003 |   971927 |    22370    103 |        5 |      326
868.10/868.44	c  868s |      20 |  1111824 |   973527 |    22370    104 |        5 |      326
870.09/870.47	c  870s |      20 |  1114358 |   975827 |    22370    104 |        5 |      326
872.19/872.51	c  872s |      20 |  1116260 |   977427 |    22370    104 |        5 |      326
874.20/874.55	c  874s |      20 |  1118916 |   979827 |    22370    104 |        5 |      326
876.19/876.57	c  876s |      20 |  1121307 |   981927 |    22370    104 |        5 |      326
878.29/878.67	c  878s |      20 |  1123591 |   983927 |    22370    104 |        5 |      326
880.29/880.69	c  880s |      20 |  1125481 |   985627 |    22370    105 |        5 |      326
882.39/882.74	c  882s |      20 |  1127885 |   987827 |    22370    105 |        5 |      326
884.39/884.77	c  884s |      20 |  1129927 |   989727 |    22370    105 |        5 |      326
886.40/886.79	c  886s |      20 |  1131989 |   991527 |    22370    105 |        5 |      326
888.50/888.83	c  888s |      20 |  1134053 |   993327 |    24608    105 |        5 |      326
890.49/890.86	c  890s |      20 |  1135991 |   995027 |    24608    105 |        5 |      326
892.59/892.91	c  892s |      20 |  1137831 |   996627 |    24608    105 |        5 |      326
895.00/895.39	c  895s |      20 |  1139428 |   998027 |    24608    105 |        5 |      326
897.09/897.45	c  897s |      20 |  1140480 |   998927 |    24608    106 |        5 |      326
897.99/898.39	c  898s |      21 |  1142097 |  1000345 |    24608    106 |        5 |      326
900.09/900.43	c  900s |      21 |  1144876 |  1002845 |    24608    106 |        5 |      326
902.19/902.50	c  902s |      21 |  1147723 |  1005345 |    24608    106 |        5 |      326
904.19/904.58	c  904s |      21 |  1149416 |  1006745 |    24608    106 |        5 |      326
906.29/906.60	c  906s |      21 |  1152143 |  1009045 |    24608    106 |        5 |      326
908.30/908.69	c  908s |      21 |  1154168 |  1010845 |    24608    107 |        5 |      326
910.39/910.77	c  910s |      21 |  1157182 |  1013545 |    24608    107 |        5 |      326
912.39/912.78	c  912s |      21 |  1160086 |  1016045 |    24608    107 |        5 |      326
914.39/914.79	c  914s |      21 |  1162358 |  1018045 |    24608    107 |        5 |      326
916.49/916.86	c  916s |      21 |  1164366 |  1019845 |    24608    107 |        5 |      326
918.59/918.91	c  918s |      21 |  1166349 |  1021545 |    24608    107 |        5 |      326
920.79/921.10	c  920s |      21 |  1168187 |  1023145 |    24608    108 |        5 |      326
922.79/923.17	c  922s |      21 |  1170485 |  1025245 |    24608    108 |        5 |      326
924.80/925.18	c  924s |      21 |  1172534 |  1027145 |    24608    108 |        5 |      326
926.79/927.19	c  927s |      21 |  1174674 |  1029145 |    24608    108 |        5 |      326
928.89/929.27	c  929s |      21 |  1177074 |  1031145 |    24608    108 |        5 |      326
930.99/931.35	c  931s |      21 |  1179112 |  1032945 |    24608    108 |        5 |      326
932.99/933.36	c  933s |      21 |  1181083 |  1034745 |    24608    108 |        5 |      326
934.99/935.38	c  935s |      21 |  1182545 |  1036045 |    24608    109 |        5 |      326
939.09/939.41	c  939s |      21 |  1184827 |  1038045 |    24608    109 |        5 |      326
941.09/941.49	c  941s |      21 |  1187506 |  1040345 |    24608    109 |        5 |      326
943.18/943.54	c  943s |      21 |  1190533 |  1042845 |    24608    109 |        5 |      326
945.18/945.54	c  945s |      21 |  1193308 |  1045245 |    24608    109 |        5 |      326
947.18/947.55	c  947s |      21 |  1195665 |  1047345 |    24608    109 |        5 |      326
949.18/949.59	c  949s |      21 |  1197622 |  1049045 |    24608    110 |        5 |      326
951.19/951.60	c  951s |      21 |  1200256 |  1051345 |    24608    110 |        5 |      326
953.28/953.63	c  953s |      21 |  1202836 |  1053545 |    24608    110 |        5 |      326
955.38/955.72	c  955s |      21 |  1205582 |  1055945 |    24608    110 |        5 |      326
957.38/957.76	c  957s |      21 |  1208042 |  1058145 |    24608    110 |        5 |      326
959.38/959.77	c  959s |      21 |  1210529 |  1060345 |    24608    110 |        5 |      326
961.48/961.83	c  961s |      21 |  1213239 |  1062745 |    24608    111 |        5 |      326
963.48/963.88	c  963s |      21 |  1215738 |  1065045 |    24608    111 |        5 |      326
965.78/966.11	c  965s |      21 |  1216418 |  1065645 |    24608    111 |        5 |      326
967.88/968.20	c  968s |      21 |  1218781 |  1067745 |    24608    111 |        5 |      326
969.88/970.20	c  970s |      21 |  1221075 |  1069745 |    24608    111 |        5 |      326
971.98/972.30	c  972s |      21 |  1223340 |  1071645 |    24608    111 |        5 |      326
974.08/974.43	c  974s |      21 |  1225073 |  1073145 |    24608    112 |        5 |      326
976.08/976.43	c  976s |      21 |  1227870 |  1075645 |    24608    112 |        5 |      326
978.08/978.48	c  978s |      21 |  1230158 |  1077745 |    24608    112 |        5 |      326
980.18/980.54	c  980s |      21 |  1232335 |  1079745 |    24608    112 |        5 |      326
982.17/982.59	c  982s |      21 |  1234671 |  1081745 |    24608    112 |        5 |      326
984.28/984.67	c  984s |      21 |  1237155 |  1083945 |    24608    112 |        5 |      326
986.58/986.95	c  986s |      21 |  1238804 |  1085445 |    24608    113 |        5 |      326
988.59/988.97	c  988s |      21 |  1241643 |  1087945 |    24608    113 |        5 |      326
990.68/991.01	c  990s |      21 |  1243935 |  1090045 |    24608    113 |        5 |      326
992.78/993.11	c  992s |      21 |  1246129 |  1092045 |    24608    113 |        5 |      326
994.88/995.20	c  995s |      21 |  1248205 |  1093945 |    24608    113 |        5 |      326
996.88/997.27	c  997s |      21 |  1250247 |  1095745 |    24608    113 |        5 |      326
998.88/999.28	c  999s |      21 |  1251890 |  1097245 |    24608    113 |        5 |      326
1000.98/1001.34	c 1001s |      21 |  1253784 |  1098945 |    24608    114 |        5 |      326
1002.99/1003.36	c 1003s |      21 |  1256019 |  1100945 |    24608    114 |        5 |      326
1004.98/1005.38	c 1005s |      21 |  1258172 |  1102945 |    24608    114 |        5 |      326
1007.08/1007.43	c 1007s |      21 |  1260098 |  1104745 |    24608    114 |        5 |      326
1009.18/1009.50	c 1009s |      21 |  1261959 |  1106445 |    24608    114 |        5 |      326
1013.18/1013.54	c 1013s |      21 |  1262845 |  1107245 |    24608    114 |        5 |      326
1015.27/1015.62	c 1015s |      21 |  1265063 |  1109145 |    24608    114 |        5 |      326
1017.28/1017.65	c 1017s |      21 |  1266893 |  1110745 |    24608    115 |        5 |      326
1019.27/1019.69	c 1019s |      21 |  1269546 |  1113145 |    24608    115 |        5 |      326
1021.37/1021.78	c 1021s |      21 |  1272312 |  1115545 |    24608    115 |        5 |      326
1023.47/1023.87	c 1023s |      21 |  1274353 |  1117445 |    24608    115 |        5 |      326
1025.47/1025.89	c 1025s |      21 |  1276423 |  1119345 |    24608    115 |        5 |      326
1027.57/1027.95	c 1027s |      21 |  1278290 |  1121045 |    24608    115 |        5 |      326
1029.87/1030.22	c 1030s |      21 |  1280184 |  1122745 |    24608    116 |        5 |      326
1031.97/1032.30	c 1032s |      21 |  1282366 |  1124745 |    24608    116 |        5 |      326
1033.97/1034.38	c 1034s |      21 |  1284458 |  1126645 |    24608    116 |        5 |      326
1036.17/1036.51	c 1036s |      21 |  1286405 |  1128445 |    24608    116 |        5 |      326
1038.18/1038.51	c 1038s |      21 |  1288150 |  1130045 |    24608    116 |        5 |      326
1040.17/1040.60	c 1040s |      21 |  1289671 |  1131445 |    24608    116 |        5 |      326
1042.27/1042.68	c 1042s |      21 |  1291564 |  1133145 |    24608    116 |        5 |      326
1044.37/1044.79	c 1044s |      21 |  1293465 |  1134845 |    24608    116 |        5 |      326
1047.77/1048.13	c 1047s |      21 |  1295667 |  1136845 |    24608    117 |        5 |      326
1049.77/1050.16	c 1049s |      21 |  1298148 |  1139145 |    24608    117 |        5 |      326
1051.87/1052.24	c 1052s |      21 |  1300414 |  1141245 |    24608    117 |        5 |      326
1053.87/1054.28	c 1054s |      21 |  1302030 |  1142745 |    24608    117 |        5 |      326
1055.97/1056.31	c 1056s |      21 |  1303786 |  1144345 |    24608    117 |        5 |      326
1058.07/1058.41	c 1058s |      21 |  1305518 |  1145945 |    24608    117 |        5 |      326
1060.07/1060.46	c 1060s |      21 |  1306930 |  1147245 |    24608    117 |        5 |      326
1062.17/1062.57	c 1062s |      21 |  1308471 |  1148645 |    24608    118 |        5 |      326
1064.27/1064.68	c 1064s |      21 |  1310675 |  1150645 |    24608    118 |        5 |      326
1066.37/1066.78	c 1066s |      21 |  1312386 |  1152145 |    24608    118 |        5 |      326
1068.37/1068.79	c 1068s |      21 |  1314573 |  1154145 |    24608    118 |        5 |      326
1070.46/1070.86	c 1070s |      21 |  1316522 |  1155945 |    24608    118 |        5 |      326
1072.56/1072.92	c 1072s |      21 |  1318510 |  1157745 |    24608    118 |        5 |      326
1074.56/1074.95	c 1074s |      21 |  1320374 |  1159445 |    24608    118 |        5 |      326
1076.67/1077.01	c 1076s |      21 |  1321918 |  1160845 |    24608    119 |        5 |      326
1078.66/1079.06	c 1078s |      21 |  1324277 |  1163045 |    24608    119 |        5 |      326
1080.97/1081.32	c 1081s |      21 |  1326427 |  1165045 |    24608    119 |        5 |      326
1082.96/1083.38	c 1083s |      21 |  1328714 |  1167145 |    24608    119 |        5 |      326
1084.96/1085.39	c 1085s |      21 |  1330562 |  1168845 |    24608    119 |        5 |      326
1086.96/1087.39	c 1087s |      21 |  1331637 |  1169845 |    24608    119 |        5 |      326
1089.06/1089.47	c 1089s |      21 |  1333796 |  1171745 |    24608    119 |        5 |      326
1091.16/1091.53	c 1091s |      21 |  1335859 |  1173645 |    24608    120 |        5 |      326
1093.26/1093.61	c 1093s |      21 |  1338407 |  1175845 |    24608    120 |        5 |      326
1095.36/1095.71	c 1095s |      21 |  1341115 |  1178145 |    24608    120 |        5 |      326
1097.36/1097.73	c 1097s |      21 |  1343725 |  1180345 |    24608    120 |        5 |      326
1099.36/1099.75	c 1099s |      21 |  1345849 |  1182145 |    24608    120 |        5 |      326
1101.36/1101.77	c 1101s |      21 |  1347913 |  1183945 |    24608    120 |        5 |      326
1103.36/1103.79	c 1103s |      21 |  1349539 |  1185445 |    24608    121 |        5 |      326
1105.46/1105.85	c 1105s |      21 |  1352152 |  1187845 |    24608    121 |        5 |      326
1107.56/1107.91	c 1107s |      21 |  1354559 |  1190045 |    24608    121 |        5 |      326
1109.57/1109.95	c 1109s |      21 |  1356961 |  1192145 |    24608    121 |        5 |      326
1111.56/1111.99	c 1111s |      21 |  1358853 |  1193845 |    24608    121 |        5 |      326
1113.66/1114.07	c 1113s |      21 |  1360793 |  1195545 |    24608    121 |        5 |      326
1115.76/1116.18	c 1115s |      21 |  1362566 |  1197145 |    24608    121 |        5 |      326
1117.76/1118.18	c 1117s |      21 |  1364105 |  1198545 |    24608    122 |        5 |      326
1119.86/1120.21	c 1120s |      21 |  1366205 |  1200445 |    24608    122 |        5 |      326
1121.86/1122.28	c 1122s |      21 |  1368794 |  1202745 |    24608    122 |        5 |      326
1123.97/1124.34	c 1124s |      21 |  1371390 |  1205045 |    24608    122 |        5 |      326
1126.07/1126.41	c 1126s |      21 |  1373460 |  1206845 |    24608    122 |        5 |      326
1128.16/1128.53	c 1128s |      21 |  1375588 |  1208745 |    24608    122 |        5 |      326
1130.16/1130.56	c 1130s |      21 |  1377717 |  1210645 |    24608    123 |        5 |      326
1132.16/1132.57	c 1132s |      21 |  1379826 |  1212545 |    24608    123 |        5 |      326
1134.16/1134.57	c 1134s |      21 |  1381925 |  1214445 |    24608    123 |        5 |      326
1136.16/1136.59	c 1136s |      21 |  1384035 |  1216345 |    24608    123 |        5 |      326
1138.66/1139.06	c 1138s |      21 |  1384794 |  1217045 |    24608    123 |        5 |      326
1140.66/1141.09	c 1140s |      21 |  1387207 |  1219045 |    24608    123 |        5 |      326
1142.86/1143.20	c 1143s |      21 |  1389357 |  1220945 |    24608    123 |        5 |      326
1144.86/1145.25	c 1145s |      21 |  1390964 |  1222345 |    24608    124 |        5 |      326
1146.96/1147.33	c 1147s |      21 |  1393422 |  1224445 |    24608    124 |        5 |      326
1148.95/1149.34	c 1149s |      21 |  1396188 |  1226845 |    24608    124 |        5 |      326
1150.95/1151.37	c 1151s |      21 |  1398571 |  1228945 |    24608    124 |        5 |      326
1153.05/1153.42	c 1153s |      21 |  1400733 |  1230845 |    24608    124 |        5 |      326
1155.05/1155.45	c 1155s |      21 |  1402897 |  1232745 |    24608    124 |        5 |      326
1157.15/1157.58	c 1157s |      21 |  1404950 |  1234545 |    24608    124 |        5 |      326
1159.25/1159.67	c 1159s |      21 |  1407138 |  1236545 |    24608    125 |        5 |      326
1161.26/1161.69	c 1161s |      21 |  1408723 |  1237945 |    24608    125 |        5 |      326
1163.35/1163.77	c 1163s |      21 |  1410868 |  1239845 |    24608    125 |        5 |      326
1165.35/1165.78	c 1165s |      21 |  1412806 |  1241545 |    24608    125 |        5 |      326
1167.45/1167.87	c 1167s |      21 |  1414604 |  1243145 |    24608    125 |        5 |      326
1169.45/1169.89	c 1169s |      21 |  1416437 |  1244745 |    24608    125 |        5 |      326
1171.55/1171.91	c 1171s |      21 |  1418106 |  1246245 |    24608    125 |        5 |      326
1173.55/1173.98	c 1173s |      21 |  1419742 |  1247745 |    24608    126 |        5 |      326
1175.66/1176.04	c 1175s |      21 |  1421517 |  1249345 |    24608    126 |        5 |      326
1177.65/1178.09	c 1177s |      21 |  1423480 |  1251145 |    24608    126 |        5 |      326
1179.65/1180.09	c 1179s |      21 |  1425473 |  1252945 |    24608    126 |        5 |      326
1181.75/1182.14	c 1181s |      21 |  1427388 |  1254645 |    24608    126 |        5 |      326
1183.85/1184.22	c 1184s |      21 |  1429268 |  1256345 |    24608    126 |        5 |      326
1185.94/1186.30	c 1186s |      21 |  1430933 |  1257845 |    24608    126 |        5 |      326
1187.94/1188.36	c 1188s |      21 |  1432479 |  1259245 |    24608    126 |        5 |      326
1191.06/1191.45	c 1191s |      21 |  1433248 |  1259945 |    24608    127 |        5 |      326
1193.05/1193.46	c 1193s |      21 |  1434584 |  1261045 |    24608    127 |        5 |      326
1195.15/1195.51	c 1195s |      21 |  1437629 |  1263645 |    24608    127 |        5 |      326
1197.15/1197.56	c 1197s |      21 |  1440224 |  1265945 |    24608    127 |        5 |      326
1199.15/1199.58	c 1199s |      21 |  1442615 |  1268045 |    24608    127 |        5 |      326
1201.25/1201.65	c 1201s |      21 |  1445113 |  1270145 |    24608    127 |        5 |      326
1203.35/1203.70	c 1203s |      21 |  1447294 |  1272045 |    24608    127 |        5 |      326
1205.35/1205.75	c 1205s |      21 |  1449430 |  1273945 |    24608    128 |        5 |      326
1207.45/1207.82	c 1207s |      21 |  1452346 |  1276445 |    24608    128 |        5 |      326
1209.45/1209.85	c 1209s |      21 |  1454852 |  1278645 |    24608    128 |        5 |      326
1211.45/1211.88	c 1211s |      21 |  1457272 |  1280745 |    24608    128 |        5 |      326
1213.55/1213.94	c 1213s |      21 |  1459505 |  1282745 |    24608    128 |        5 |      326
1215.85/1216.28	c 1216s |      21 |  1461218 |  1284245 |    24608    128 |        5 |      326
1217.94/1218.35	c 1218s |      21 |  1462625 |  1285445 |    24608    129 |        5 |      326
1219.94/1220.37	c 1220s |      21 |  1465492 |  1287945 |    24608    129 |        5 |      326
1222.04/1222.42	c 1222s |      21 |  1467826 |  1289945 |    24608    129 |        5 |      326
1224.05/1224.43	c 1224s |      21 |  1470171 |  1292045 |    24608    129 |        5 |      326
1226.15/1226.52	c 1226s |      21 |  1472481 |  1294145 |    24608    129 |        5 |      326
1228.14/1228.53	c 1228s |      21 |  1474648 |  1296045 |    24608    129 |        5 |      326
1230.24/1230.66	c 1230s |      21 |  1476038 |  1297245 |    24608    130 |        5 |      326
1232.34/1232.75	c 1232s |      21 |  1478927 |  1299745 |    24608    130 |        5 |      326
1234.34/1234.78	c 1234s |      21 |  1481323 |  1301845 |    24608    130 |        5 |      326
1236.44/1236.85	c 1236s |      21 |  1483278 |  1303645 |    24608    130 |        5 |      326
1238.44/1238.87	c 1238s |      21 |  1485280 |  1305445 |    24608    130 |        5 |      326
1240.55/1240.93	c 1240s |      21 |  1487854 |  1307645 |    24608    130 |        5 |      326
1242.75/1243.11	c 1242s |      21 |  1489961 |  1309545 |    24608    131 |        5 |      326
1244.74/1245.16	c 1244s |      21 |  1492495 |  1311845 |    24608    131 |        5 |      326
1247.04/1247.46	c 1247s |      21 |  1494797 |  1313945 |    24608    131 |        5 |      326
1249.04/1249.46	c 1249s |      21 |  1495521 |  1314545 |    24608    131 |        5 |      326
1251.04/1251.48	c 1251s |      21 |  1497603 |  1316345 |    24608    131 |        5 |      326
1253.04/1253.48	c 1253s |      21 |  1499742 |  1318245 |    24608    131 |        5 |      326
1255.14/1255.54	c 1255s |      21 |  1501699 |  1320045 |    24608    131 |        5 |      326
1257.23/1257.64	c 1257s |      21 |  1503741 |  1321945 |    24608    131 |        5 |      326
1259.33/1259.70	c 1259s |      21 |  1505762 |  1323745 |    24608    132 |        5 |      326
1261.34/1261.74	c 1261s |      21 |  1508168 |  1325945 |    24608    132 |        5 |      326
1263.33/1263.74	c 1263s |      21 |  1510194 |  1327845 |    24608    132 |        5 |      326
1265.43/1265.85	c 1265s |      21 |  1512300 |  1329745 |    24608    132 |        5 |      326
1267.43/1267.86	c 1267s |      21 |  1514173 |  1331445 |    24608    132 |        5 |      326
1269.53/1269.96	c 1269s |      21 |  1516020 |  1333145 |    24608    132 |        5 |      326
1271.63/1272.00	c 1271s |      21 |  1517414 |  1334445 |    24608    133 |        5 |      326
1273.63/1274.05	c 1273s |      21 |  1519686 |  1336545 |    24608    133 |        5 |      326
1276.04/1276.43	c 1276s |      21 |  1521093 |  1337845 |    24608    133 |        5 |      326
1278.04/1278.45	c 1278s |      21 |  1523246 |  1339745 |    24608    133 |        5 |      326
1280.14/1280.51	c 1280s |      21 |  1525334 |  1341645 |    24608    133 |        5 |      326
1282.14/1282.53	c 1282s |      21 |  1527222 |  1343345 |    24608    133 |        5 |      326
1284.24/1284.62	c 1284s |      21 |  1529273 |  1345145 |    24608    133 |        5 |      326
1286.34/1286.71	c 1286s |      21 |  1531182 |  1346845 |    24608    133 |        5 |      326
1289.83/1290.21	c 1290s |      21 |  1533165 |  1348645 |    24608    134 |        5 |      326
1291.83/1292.24	c 1292s |      21 |  1536178 |  1351245 |    24608    134 |        5 |      326
1293.93/1294.33	c 1294s |      21 |  1538858 |  1353545 |    24608    134 |        5 |      326
1296.03/1296.43	c 1296s |      21 |  1540911 |  1355345 |    24608    134 |        5 |      326
1298.13/1298.54	c 1298s |      21 |  1542936 |  1357145 |    24608    134 |        5 |      326
1300.13/1300.56	c 1300s |      21 |  1544784 |  1358745 |    24608    134 |        5 |      326
1302.23/1302.60	c 1302s |      21 |  1546930 |  1360645 |    24608    135 |        5 |      326
1304.23/1304.61	c 1304s |      21 |  1547968 |  1361545 |    24608    135 |        5 |      326
1306.23/1306.69	c 1306s |      21 |  1550657 |  1363845 |    24608    135 |        5 |      326
1308.33/1308.77	c 1308s |      21 |  1553023 |  1365945 |    24608    135 |        5 |      326
1310.43/1310.85	c 1310s |      21 |  1555421 |  1368045 |    24608    135 |        5 |      326
1312.53/1312.91	c 1312s |      21 |  1557535 |  1369945 |    24608    135 |        5 |      326
1314.63/1315.01	c 1314s |      21 |  1559638 |  1371845 |    24608    136 |        5 |      326
1316.63/1317.06	c 1316s |      21 |  1562402 |  1374345 |    24608    136 |        5 |      326
1318.73/1319.14	c 1318s |      21 |  1564609 |  1376345 |    24608    136 |        5 |      326
1320.73/1321.15	c 1320s |      21 |  1566569 |  1378145 |    24608    136 |        5 |      326
1323.03/1323.44	c 1323s |      21 |  1567711 |  1379145 |    24608    136 |        5 |      326
1325.13/1325.52	c 1325s |      21 |  1569846 |  1381045 |    24608    136 |        5 |      326
1327.12/1327.58	c 1327s |      21 |  1571618 |  1382645 |    24608    136 |        5 |      326
1329.53/1329.91	c 1329s |      21 |  1573461 |  1384245 |    24608    137 |        5 |      326
1331.62/1332.00	c 1331s |      21 |  1575995 |  1386545 |    24608    137 |        5 |      326
1333.73/1334.10	c 1333s |      21 |  1578313 |  1388645 |    24608    137 |        5 |      326
1335.83/1336.20	c 1336s |      21 |  1580720 |  1390845 |    24608    137 |        5 |      326
1337.83/1338.21	c 1338s |      21 |  1582669 |  1392645 |    24608    137 |        5 |      326
1339.83/1340.27	c 1340s |      21 |  1584466 |  1394345 |    24608    137 |        5 |      326
1341.93/1342.35	c 1342s |      21 |  1586291 |  1396045 |    24608    137 |        5 |      326
1344.43/1344.88	c 1344s |      21 |  1588029 |  1397645 |    24608    138 |        5 |      326
1346.53/1346.95	c 1346s |      21 |  1590202 |  1399645 |    24608    138 |        5 |      326
1348.63/1349.03	c 1348s |      21 |  1592160 |  1401445 |    24608    138 |        5 |      326
1350.73/1351.11	c 1350s |      21 |  1594121 |  1403245 |    24608    138 |        5 |      326
1352.73/1353.16	c 1352s |      21 |  1595852 |  1404845 |    24608    138 |        5 |      326
1354.73/1355.18	c 1354s |      21 |  1597477 |  1406345 |    24608    138 |        5 |      326
1356.83/1357.21	c 1357s |      21 |  1598964 |  1407745 |    24608    138 |        5 |      326
1359.23/1359.69	c 1359s |      21 |  1600461 |  1409145 |    24608    139 |        5 |      326
1361.32/1361.74	c 1361s |      21 |  1602756 |  1411245 |    24608    139 |        5 |      326
1363.32/1363.75	c 1363s |      21 |  1604793 |  1413145 |    24608    139 |        5 |      326
1365.32/1365.75	c 1365s |      21 |  1606795 |  1415045 |    24608    139 |        5 |      326
1367.72/1368.15	c 1367s |      21 |  1607761 |  1415945 |    24608    139 |        5 |      326
1369.82/1370.21	c 1370s |      21 |  1610056 |  1417945 |    24608    139 |        5 |      326
1371.82/1372.23	c 1372s |      21 |  1612236 |  1419845 |    24608    139 |        5 |      326
1374.32/1374.75	c 1374s |      21 |  1614323 |  1421645 |    24608    140 |        5 |      326
1376.42/1376.81	c 1376s |      21 |  1617013 |  1424045 |    24608    140 |        5 |      326
1378.42/1378.85	c 1378s |      21 |  1618783 |  1425645 |    24608    140 |        5 |      326
1380.52/1380.92	c 1380s |      21 |  1620868 |  1427545 |    24608    140 |        5 |      326
1382.52/1382.94	c 1382s |      21 |  1622815 |  1429245 |    24608    140 |        5 |      326
1384.52/1384.94	c 1384s |      21 |  1624532 |  1430745 |    24608    140 |        5 |      326
1386.62/1387.03	c 1386s |      21 |  1626274 |  1432345 |    24608    140 |        5 |      326
1388.62/1389.05	c 1388s |      21 |  1628019 |  1433945 |    24608    140 |        5 |      326
1390.72/1391.12	c 1390s |      21 |  1629783 |  1435545 |    24608    141 |        5 |      326
1392.82/1393.20	c 1393s |      21 |  1632470 |  1437945 |    24608    141 |        5 |      326
1397.31/1397.71	c 1397s |      21 |  1633461 |  1438845 |    24608    141 |        5 |      326
1399.41/1399.80	c 1399s |      21 |  1636004 |  1441045 |    24608    141 |        5 |      326
1401.41/1401.89	c 1401s |      21 |  1638301 |  1443045 |    24608    141 |        5 |      326
1403.51/1404.00	c 1403s |      21 |  1640576 |  1445045 |    24608    141 |        5 |      326
1405.61/1406.01	c 1405s |      21 |  1642534 |  1446745 |    24608    142 |        5 |      326
1407.62/1408.07	c 1407s |      21 |  1645016 |  1448945 |    24608    142 |        5 |      326
1409.71/1410.12	c 1409s |      21 |  1647246 |  1450945 |    24608    142 |        5 |      326
1411.81/1412.23	c 1412s |      21 |  1649525 |  1452945 |    24608    142 |        5 |      326
1413.81/1414.24	c 1414s |      21 |  1651904 |  1455045 |    24608    142 |        5 |      326
1415.91/1416.30	c 1416s |      21 |  1654311 |  1457145 |    24608    142 |        5 |      326
1417.91/1418.31	c 1418s |      21 |  1656279 |  1458945 |    24608    142 |        5 |      326
1420.02/1420.41	c 1420s |      21 |  1658270 |  1460745 |    24608    143 |        5 |      326
1422.02/1422.43	c 1422s |      21 |  1660543 |  1462745 |    24608    143 |        5 |      326
1424.12/1424.50	c 1424s |      21 |  1663208 |  1465045 |    24608    143 |        5 |      326
1426.11/1426.59	c 1426s |      21 |  1665498 |  1467145 |    24608    143 |        5 |      326
1428.21/1428.67	c 1428s |      21 |  1667416 |  1468845 |    24608    143 |        5 |      326
1430.31/1430.71	c 1430s |      21 |  1669262 |  1470545 |    24608    143 |        5 |      326
1432.31/1432.71	c 1432s |      21 |  1670953 |  1472145 |    24608    144 |        5 |      326
1434.31/1434.74	c 1434s |      21 |  1673254 |  1474245 |    24608    144 |        5 |      326
1436.41/1436.88	c 1436s |      21 |  1675630 |  1476345 |    24608    144 |        5 |      326
1438.52/1438.96	c 1438s |      21 |  1678073 |  1478545 |    24608    144 |        5 |      326
1440.62/1441.02	c 1440s |      21 |  1680153 |  1480445 |    24608    144 |        5 |      326
1442.71/1443.14	c 1442s |      21 |  1680922 |  1481145 |    24608    144 |        5 |      326
1444.71/1445.18	c 1444s |      21 |  1682930 |  1482945 |    24608    144 |        5 |      326
1446.81/1447.25	c 1447s |      21 |  1685187 |  1484945 |    24608    145 |        5 |      326
1448.81/1449.28	c 1449s |      21 |  1687025 |  1486645 |    24608    145 |        5 |      326
1450.81/1451.29	c 1451s |      21 |  1688846 |  1488345 |    24608    145 |        5 |      326
1452.91/1453.37	c 1453s |      21 |  1690923 |  1490245 |    27069    145 |        5 |      326
1454.91/1455.39	c 1455s |      21 |  1692780 |  1491945 |    27069    145 |        5 |      326
1457.01/1457.44	c 1457s |      21 |  1694408 |  1493445 |    27069    145 |        5 |      326
1459.11/1459.57	c 1459s |      21 |  1696233 |  1495145 |    27069    145 |        5 |      326
1461.21/1461.61	c 1461s |      21 |  1697731 |  1496545 |    27069    145 |        5 |      326
1463.21/1463.63	c 1463s |      21 |  1699191 |  1497945 |    27069    145 |        5 |      326
1465.31/1465.72	c 1465s |      21 |  1700310 |  1498945 |    27069    146 |        5 |      326
1467.01/1467.44	c 1467s |      22 |  1702198 |  1500622 |    27069    146 |        5 |      326
1469.21/1469.65	c 1469s |      22 |  1702361 |  1500722 |    27069    146 |        5 |      326
1471.20/1471.65	c 1471s |      22 |  1705401 |  1503222 |    27069    146 |        5 |      326
1473.20/1473.68	c 1473s |      22 |  1708218 |  1505622 |    27069    146 |        5 |      326
1475.30/1475.74	c 1475s |      22 |  1710496 |  1507622 |    27069    146 |        5 |      326
1477.30/1477.80	c 1477s |      22 |  1712956 |  1509622 |    27069    146 |        5 |      326
1479.30/1479.80	c 1479s |      22 |  1715127 |  1511422 |    27069    146 |        5 |      326
1481.41/1481.87	c 1481s |      22 |  1717631 |  1513522 |    27069    147 |        5 |      326
1483.40/1483.89	c 1483s |      22 |  1720747 |  1516222 |    27069    147 |        5 |      326
1485.50/1485.96	c 1485s |      22 |  1723363 |  1518422 |    27069    147 |        5 |      326
1487.60/1488.02	c 1487s |      22 |  1725868 |  1520522 |    27069    147 |        5 |      326
1489.60/1490.02	c 1489s |      22 |  1728414 |  1522722 |    27069    147 |        5 |      326
1491.70/1492.13	c 1491s |      22 |  1730802 |  1524822 |    27069    147 |        5 |      326
1493.80/1494.20	c 1494s |      22 |  1732936 |  1526722 |    27069    148 |        5 |      326
1495.80/1496.23	c 1496s |      22 |  1735061 |  1528622 |    27069    148 |        5 |      326
1497.80/1498.27	c 1498s |      22 |  1737538 |  1530822 |    27069    148 |        5 |      326
1499.90/1500.35	c 1500s |      22 |  1740028 |  1533022 |    27069    148 |        5 |      326
1501.99/1502.43	c 1502s |      22 |  1742354 |  1535122 |    27069    148 |        5 |      326
1504.09/1504.50	c 1504s |      22 |  1744564 |  1537122 |    27069    148 |        5 |      326
1506.09/1506.55	c 1506s |      22 |  1746607 |  1538822 |    27069    148 |        5 |      326
1508.09/1508.55	c 1508s |      22 |  1748267 |  1540222 |    27069    149 |        5 |      326
1510.19/1510.65	c 1510s |      22 |  1750666 |  1542322 |    27069    149 |        5 |      326
1512.20/1512.69	c 1512s |      22 |  1753031 |  1544422 |    27069    149 |        5 |      326
1515.20/1515.60	c 1515s |      22 |  1755613 |  1546722 |    27069    149 |        5 |      326
1517.20/1517.65	c 1517s |      22 |  1757441 |  1548222 |    27069    149 |        5 |      326
1519.30/1519.74	c 1519s |      22 |  1759767 |  1550222 |    27069    149 |        5 |      326
1521.30/1521.75	c 1521s |      22 |  1762022 |  1552122 |    27069    149 |        5 |      326
1523.30/1523.80	c 1523s |      22 |  1763977 |  1553822 |    27069    150 |        5 |      326
1525.30/1525.80	c 1525s |      22 |  1766988 |  1556422 |    27069    150 |        5 |      326
1527.40/1527.83	c 1527s |      22 |  1770015 |  1559122 |    27069    150 |        5 |      326
1529.40/1529.89	c 1529s |      22 |  1772586 |  1561322 |    27069    150 |        5 |      326
1531.50/1531.91	c 1531s |      22 |  1774966 |  1563422 |    27069    150 |        5 |      326
1533.49/1533.94	c 1533s |      22 |  1777337 |  1565522 |    27069    150 |        5 |      326
1535.49/1535.95	c 1535s |      22 |  1779364 |  1567322 |    27069    151 |        5 |      326
1537.50/1537.97	c 1537s |      22 |  1781961 |  1569622 |    27069    151 |        5 |      326
1539.60/1540.06	c 1539s |      22 |  1784540 |  1571922 |    27069    151 |        5 |      326
1541.59/1542.07	c 1541s |      22 |  1786952 |  1574022 |    27069    151 |        5 |      326
1543.69/1544.16	c 1543s |      22 |  1789325 |  1576122 |    27069    151 |        5 |      326
1545.69/1546.20	c 1546s |      22 |  1791431 |  1578022 |    27069    151 |        5 |      326
1547.89/1548.39	c 1548s |      22 |  1792089 |  1578622 |    27069    151 |        5 |      326
1550.09/1550.51	c 1550s |      22 |  1794214 |  1580522 |    27069    151 |        5 |      326
1552.09/1552.55	c 1552s |      22 |  1796313 |  1582422 |    27069    152 |        5 |      326
1554.19/1554.65	c 1554s |      22 |  1798502 |  1584422 |    27069    152 |        5 |      326
1556.29/1556.73	c 1556s |      22 |  1800843 |  1586522 |    27069    152 |        5 |      326
1558.29/1558.79	c 1558s |      22 |  1802961 |  1588422 |    27069    152 |        5 |      326
1560.49/1560.90	c 1560s |      22 |  1804902 |  1590222 |    27069    152 |        5 |      326
1562.48/1562.92	c 1562s |      22 |  1806605 |  1591722 |    27069    152 |        5 |      326
1564.48/1564.98	c 1564s |      22 |  1808467 |  1593422 |    27069    152 |        5 |      326
1566.58/1567.01	c 1566s |      22 |  1809980 |  1594822 |    27069    153 |        5 |      326
1568.68/1569.18	c 1568s |      22 |  1812170 |  1596822 |    27069    153 |        5 |      326
1570.78/1571.25	c 1571s |      22 |  1814848 |  1599222 |    27069    153 |        5 |      326
1572.88/1573.32	c 1573s |      22 |  1816837 |  1600922 |    27069    153 |        5 |      326
1574.89/1575.36	c 1575s |      22 |  1818825 |  1602722 |    27069    153 |        5 |      326
1576.88/1577.39	c 1577s |      22 |  1821034 |  1604622 |    27069    153 |        5 |      326
1578.88/1579.39	c 1579s |      22 |  1822811 |  1606222 |    27069    153 |        5 |      326
1580.98/1581.46	c 1581s |      22 |  1824537 |  1607822 |    27069    153 |        5 |      326
1583.09/1583.53	c 1583s |      22 |  1825519 |  1608722 |    27069    154 |        5 |      326
1585.09/1585.59	c 1585s |      22 |  1826366 |  1609422 |    27069    154 |        5 |      326
1587.19/1587.63	c 1587s |      22 |  1829425 |  1612022 |    27069    154 |        5 |      326
1589.19/1589.65	c 1589s |      22 |  1832094 |  1614322 |    27069    154 |        5 |      326
1591.19/1591.70	c 1591s |      22 |  1834606 |  1616522 |    27069    154 |        5 |      326
1593.29/1593.78	c 1593s |      22 |  1836905 |  1618622 |    27069    154 |        5 |      326
1595.39/1595.86	c 1595s |      22 |  1839196 |  1620622 |    27069    154 |        5 |      326
1597.39/1597.89	c 1597s |      22 |  1840788 |  1622022 |    27069    155 |        5 |      326
1599.48/1599.93	c 1599s |      22 |  1843492 |  1624322 |    27069    155 |        5 |      326
1601.58/1602.03	c 1601s |      22 |  1846287 |  1626822 |    27069    155 |        5 |      326
1603.68/1604.12	c 1603s |      22 |  1848519 |  1628922 |    27069    155 |        5 |      326
1605.78/1606.21	c 1606s |      22 |  1850818 |  1631022 |    27069    155 |        5 |      326
1607.79/1608.25	c 1608s |      22 |  1853181 |  1633122 |    27069    155 |        5 |      326
1611.48/1611.95	c 1611s |      22 |  1855181 |  1634922 |    27069    155 |        5 |      326
1613.48/1613.96	c 1613s |      22 |  1855452 |  1635122 |    27069    155 |        5 |      326
1615.49/1615.99	c 1615s |      22 |  1856653 |  1636122 |    27069    156 |        5 |      326
1617.59/1618.02	c 1617s |      22 |  1860031 |  1638922 |    27069    156 |        5 |      326
1619.58/1620.02	c 1619s |      22 |  1863218 |  1641622 |    27069    156 |        5 |      326
1621.58/1622.03	c 1621s |      22 |  1866066 |  1644022 |    27069    156 |        5 |      326
1623.58/1624.08	c 1623s |      22 |  1868661 |  1646322 |    27069    156 |        5 |      326
1625.68/1626.11	c 1625s |      22 |  1871308 |  1648522 |    27069    156 |        5 |      326
1627.69/1628.17	c 1627s |      22 |  1873746 |  1650722 |    27069    157 |        5 |      326
1629.68/1630.20	c 1630s |      22 |  1874884 |  1651722 |    27069    157 |        5 |      326
1631.78/1632.21	c 1632s |      22 |  1877769 |  1654222 |    27069    157 |        5 |      326
1633.78/1634.23	c 1634s |      22 |  1880451 |  1656522 |    27069    157 |        5 |      326
1635.78/1636.26	c 1636s |      22 |  1883071 |  1658822 |    27069    157 |        5 |      326
1637.88/1638.37	c 1638s |      22 |  1885504 |  1661022 |    27069    157 |        5 |      326
1640.08/1640.58	c 1640s |      22 |  1887788 |  1663022 |    27069    158 |        5 |      326
1642.18/1642.63	c 1642s |      22 |  1890145 |  1665022 |    27069    158 |        5 |      326
1644.19/1644.65	c 1644s |      22 |  1892635 |  1667222 |    27069    158 |        5 |      326
1646.28/1646.74	c 1646s |      22 |  1894975 |  1669322 |    27069    158 |        5 |      326
1648.38/1648.87	c 1648s |      22 |  1897230 |  1671322 |    27069    158 |        5 |      326
1650.48/1650.90	c 1650s |      22 |  1899612 |  1673522 |    27069    158 |        5 |      326
1652.58/1653.00	c 1652s |      22 |  1901902 |  1675622 |    27069    158 |        5 |      326
1654.58/1655.03	c 1654s |      22 |  1903632 |  1677222 |    27069    159 |        5 |      326
1656.58/1657.06	c 1656s |      22 |  1905853 |  1679222 |    27069    159 |        5 |      326
1663.78/1664.26	c 1664s |      22 |  1908398 |  1681522 |    27069    159 |        5 |      326
1665.78/1666.29	c 1666s |      22 |  1911099 |  1683822 |    27069    159 |        5 |      326
1667.87/1668.36	c 1668s |      22 |  1913818 |  1686222 |    27069    159 |        5 |      326
1669.97/1670.44	c 1670s |      22 |  1916222 |  1688422 |    27069    159 |        5 |      326
1672.17/1672.67	c 1672s |      22 |  1918379 |  1690322 |    27069    160 |        5 |      326
1674.17/1674.69	c 1674s |      22 |  1920882 |  1692522 |    27069    160 |        5 |      326
1676.27/1676.73	c 1676s |      22 |  1923400 |  1694722 |    27069    160 |        5 |      326
1678.28/1678.75	c 1678s |      22 |  1925730 |  1696822 |    27069    160 |        5 |      326
1680.27/1680.79	c 1680s |      22 |  1927952 |  1698822 |    27069    160 |        5 |      326
1682.27/1682.79	c 1682s |      22 |  1930150 |  1700722 |    27069    160 |        5 |      326
1684.37/1684.88	c 1684s |      22 |  1932233 |  1702522 |    27069    160 |        5 |      326
1686.67/1687.16	c 1686s |      22 |  1933864 |  1704022 |    27069    161 |        5 |      326
1688.77/1689.23	c 1689s |      22 |  1936369 |  1706322 |    27069    161 |        5 |      326
1690.87/1691.31	c 1691s |      22 |  1938650 |  1708422 |    27069    161 |        5 |      326
1694.17/1694.68	c 1694s |      22 |  1940461 |  1710022 |    27069    161 |        5 |      326
1696.27/1696.71	c 1696s |      22 |  1942916 |  1712122 |    27069    161 |        5 |      326
1698.36/1698.82	c 1698s |      22 |  1945306 |  1714222 |    27069    161 |        5 |      326
1700.36/1700.86	c 1700s |      22 |  1947713 |  1716322 |    27069    161 |        5 |      326
1702.56/1703.03	c 1702s |      22 |  1949267 |  1717722 |    27069    162 |        5 |      326
1704.57/1705.05	c 1704s |      22 |  1951583 |  1719822 |    27069    162 |        5 |      326
1706.56/1707.09	c 1706s |      22 |  1953892 |  1721922 |    27069    162 |        5 |      326
1708.66/1709.18	c 1708s |      22 |  1956158 |  1723922 |    27069    162 |        5 |      326
1710.76/1711.24	c 1711s |      22 |  1958331 |  1725822 |    27069    162 |        5 |      326
1712.76/1713.29	c 1713s |      22 |  1960517 |  1727822 |    27069    162 |        5 |      326
1714.86/1715.33	c 1715s |      22 |  1962751 |  1729822 |    27069    162 |        5 |      326
1716.86/1717.37	c 1717s |      22 |  1964529 |  1731422 |    27069    163 |        5 |      326
1718.87/1719.40	c 1719s |      22 |  1966653 |  1733322 |    27069    163 |        5 |      326
1720.96/1721.49	c 1721s |      22 |  1969696 |  1735922 |    27069    163 |        5 |      326
1723.06/1723.55	c 1723s |      22 |  1972196 |  1738122 |    27069    163 |        5 |      326
1725.06/1725.55	c 1725s |      22 |  1974182 |  1739922 |    27069    163 |        5 |      326
1727.06/1727.56	c 1727s |      22 |  1976184 |  1741722 |    27069    163 |        5 |      326
1729.17/1729.61	c 1729s |      22 |  1978192 |  1743522 |    27069    163 |        5 |      326
1731.17/1731.69	c 1731s |      22 |  1979833 |  1745022 |    27069    164 |        5 |      326
1733.27/1733.77	c 1733s |      22 |  1982003 |  1747022 |    27069    164 |        5 |      326
1736.96/1737.45	c 1737s |      22 |  1982338 |  1747322 |    27069    164 |        5 |      326
1740.37/1740.81	c 1740s |      22 |  1982680 |  1747622 |    27069    164 |        5 |      326
1742.37/1742.82	c 1742s |      22 |  1985377 |  1750022 |    27069    164 |        5 |      326
1744.46/1744.96	c 1744s |      22 |  1987875 |  1752222 |    27069    164 |        5 |      326
1746.56/1747.04	c 1746s |      22 |  1990383 |  1754422 |    27069    164 |        5 |      326
1748.57/1749.06	c 1748s |      22 |  1992458 |  1756322 |    27069    164 |        5 |      326
1750.66/1751.12	c 1750s |      22 |  1994453 |  1758122 |    27069    164 |        5 |      326
1752.66/1753.18	c 1752s |      22 |  1996587 |  1760022 |    27069    165 |        5 |      326
1754.76/1755.21	c 1755s |      22 |  1998831 |  1762022 |    27069    165 |        5 |      326
1756.76/1757.26	c 1757s |      22 |  2001013 |  1764022 |    27069    165 |        5 |      326
1758.76/1759.27	c 1759s |      22 |  2002713 |  1765622 |    27069    165 |        5 |      326
1760.86/1761.38	c 1761s |      22 |  2004699 |  1767422 |    27069    165 |        5 |      326
1762.97/1763.44	c 1763s |      22 |  2006434 |  1769022 |    27069    165 |        5 |      326
1765.07/1765.59	c 1765s |      22 |  2008234 |  1770622 |    27069    165 |        5 |      326
1767.16/1767.70	c 1767s |      22 |  2009853 |  1772122 |    27069    165 |        5 |      326
1770.57/1771.10	c 1770s |      22 |  2011278 |  1773422 |    27069    166 |        5 |      326
1772.66/1773.16	c 1772s |      22 |  2014222 |  1775922 |    27069    166 |        5 |      326
1774.66/1775.17	c 1774s |      22 |  2016613 |  1778022 |    27069    166 |        5 |      326
1776.76/1777.29	c 1777s |      22 |  2018850 |  1780022 |    27069    166 |        5 |      326
1778.86/1779.36	c 1779s |      22 |  2020735 |  1781722 |    27069    166 |        5 |      326
1780.96/1781.40	c 1781s |      22 |  2022658 |  1783422 |    27069    166 |        5 |      326
1783.06/1783.53	c 1783s |      22 |  2024538 |  1785122 |    27069    166 |        5 |      326
1785.06/1785.56	c 1785s |      22 |  2026181 |  1786622 |    27069    167 |        5 |      326
1787.17/1787.64	c 1787s |      22 |  2029049 |  1789222 |    27069    167 |        5 |      326
1789.76/1790.24	c 1790s |      22 |  2030913 |  1790922 |    27069    167 |        5 |      326
1791.76/1792.27	c 1792s |      22 |  2033570 |  1793222 |    27069    167 |        5 |      326
1793.86/1794.30	c 1794s |      22 |  2036146 |  1795422 |    27069    167 |        5 |      326
1795.86/1796.31	c 1796s |      22 |  2038575 |  1797522 |    27069    167 |        5 |      326
1797.95/1798.40	c 1798s |      22 |  2040777 |  1799522 |    27069    167 |        5 |      326
1799.95/1800.44	c 1800s |      22 |  2042256 |  1800822 |    27069    168 |        5 |      326

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

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 20855
/proc/meminfo: memFree=30445012/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=769468 CPUtime=0 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 2881 0 0 0 0 0 0 0 20 0 4 0 13696644 787935232 2731 33554432000 4194304 16246674 140737083625600 140737083625024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 193135 2740 441 2943 0 190029 0
[pid=20855/tid=20856] ppid=20852 vsize=787900 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 806809600 2800 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=791996 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 811003904 2817 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=796092 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13696644 815198208 2835 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.10013 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 20855
/proc/meminfo: memFree=30445012/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 24928 0 0 0 6 3 0 0 20 0 4 0 13696644 1250496512 24716 33554432000 4194304 16246674 140737083625600 140737083624912 6975774 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 305297 24725 833 2943 0 302191 0
[pid=20855/tid=20856] ppid=20852 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1250496512 24732 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1250496512 24739 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13696644 1250496512 24746 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200478 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 20855
/proc/meminfo: memFree=30445012/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 43139 0 0 0 14 5 0 0 20 0 4 0 13696644 1250496512 42927 33554432000 4194304 16246674 140737083625600 140737083624912 5532301 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 305297 42935 860 2943 0 302191 0
[pid=20855/tid=20856] ppid=20852 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1250496512 42939 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1250496512 42944 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13696644 1250496512 42949 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300454 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 20855
/proc/meminfo: memFree=30445012/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 65296 0 0 0 21 8 0 0 20 0 4 0 13696644 1250496512 65084 33554432000 4194304 16246674 140737083625600 140737083607488 5523634 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 305297 65092 876 2943 0 302191 0
[pid=20855/tid=20856] ppid=20852 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1250496512 65098 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1250496512 65102 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13696644 1250496512 65110 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700369 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 20855
/proc/meminfo: memFree=30445012/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1221188 CPUtime=0.69 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 148666 0 0 0 49 20 0 0 20 0 4 0 13696644 1250496512 148455 33554432000 4194304 16246674 140737083625600 140737083607488 5676613 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 305297 148467 876 2943 0 302191 0
[pid=20855/tid=20856] ppid=20852 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1250496512 148474 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1250496512 148480 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13696644 1250496512 148485 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50037 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 20859
/proc/meminfo: memFree=29528116/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1300036 CPUtime=1.49 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 266019 0 0 0 114 35 0 0 20 0 4 0 13696644 1331236864 265807 33554432000 4194304 16246674 140737083625600 140737083607488 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 325009 265807 879 2943 0 321903 0
[pid=20855/tid=20856] ppid=20852 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1331236864 265807 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1331236864 265807 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13696644 1331236864 265807 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1300036

[startup+3.10042 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 20859
/proc/meminfo: memFree=29382788/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 267826 0 0 0 274 35 0 0 20 0 4 0 13696644 1338576896 267614 33554432000 4194304 16246674 140737083625600 140737083607488 5677678 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 326801 267614 879 2943 0 323695 0
[pid=20855/tid=20856] ppid=20852 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1338576896 267614 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1338576896 267614 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13696644 1338576896 267614 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 20859
/proc/meminfo: memFree=29374672/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 268077 0 0 0 594 35 0 0 20 0 4 0 13696644 1339625472 267865 33554432000 4194304 16246674 140737083625600 140737083607488 6022678 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 327057 267865 885 2943 0 323951 0
[pid=20855/tid=20856] ppid=20852 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1339625472 267865 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1339625472 267865 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13696644 1339625472 267865 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.16 2.07 2.01 4/182 20859
/proc/meminfo: memFree=29360196/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1321540 CPUtime=12.69 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 271571 0 0 0 1233 36 0 0 20 0 4 0 13696644 1353256960 271359 33554432000 4194304 16246674 140737083625600 140737083607488 5522977 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 330385 271359 885 2943 0 327279 0
[pid=20855/tid=20856] ppid=20852 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1353256960 271359 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1353256960 271359 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13696644 1353256960 271359 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1321540

[startup+25.5004 s]
/proc/loadavg: 2.13 2.06 2.01 3/183 20860
/proc/meminfo: memFree=29358860/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1325636 CPUtime=25.48 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 272573 0 0 0 2512 36 0 0 20 0 4 0 13696644 1357451264 272614 33554432000 4194304 16246674 140737083625600 140737083607488 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 331409 272614 885 2943 0 328303 0
[pid=20855/tid=20856] ppid=20852 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1357451264 272614 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1357451264 272614 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13696644 1357451264 272614 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1325636

[startup+51.1004 s]
/proc/loadavg: 2.14 2.07 2.01 3/183 20860
/proc/meminfo: memFree=29353684/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1326660 CPUtime=51.08 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 272859 0 0 0 5071 37 0 0 20 0 4 0 13696644 1358499840 272895 33554432000 4194304 16246674 140737083625600 140737083607488 5677884 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 331665 272895 885 2943 0 328559 0
[pid=20855/tid=20856] ppid=20852 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1358499840 272895 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1358499840 272895 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13696644 1358499840 272895 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1326660

[startup+102.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/183 20861
/proc/meminfo: memFree=29348812/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1330756 CPUtime=102.27 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 273909 0 0 0 10189 38 0 0 20 0 4 0 13696644 1362694144 273919 33554432000 4194304 16246674 140737083625600 140737083607488 5827984 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 332689 273919 885 2943 0 329583 0
[pid=20855/tid=20856] ppid=20852 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1362694144 273919 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1362694144 273919 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13696644 1362694144 273919 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1330756


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

/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1408580

[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 21235
/proc/meminfo: memFree=29284412/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1408580 CPUtime=1361.92 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 293632 0 0 0 136136 56 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140737083607488 5523192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 352145 293376 886 2943 0 349039 0
[pid=20855/tid=20856] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1408580

[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 21579
/proc/meminfo: memFree=29325664/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1408580 CPUtime=1421.92 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 293632 0 0 0 142135 57 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140737083607488 5822416 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 352145 293376 886 2943 0 349039 0
[pid=20855/tid=20856] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1408580

[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 21580
/proc/meminfo: memFree=29319132/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1408580 CPUtime=1481.9 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 293632 0 0 0 148133 57 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140737083607488 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 352145 293376 886 2943 0 349039 0
[pid=20855/tid=20856] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1408580

[startup+1542.31 s]
/proc/loadavg: 2.19 2.09 2.02 3/183 21730
/proc/meminfo: memFree=29312188/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1408580 CPUtime=1541.9 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 293632 0 0 0 154132 58 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140737083607488 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 352145 293376 886 2943 0 349039 0
[pid=20855/tid=20856] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1408580

[startup+1602.3 s]
/proc/loadavg: 2.30 2.14 2.04 3/184 21755
/proc/meminfo: memFree=29291660/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1408580 CPUtime=1601.88 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 293632 0 0 0 160129 59 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140737083607488 5822878 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 352145 293376 886 2943 0 349039 0
[pid=20855/tid=20856] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1408580

[startup+1662.3 s]
/proc/loadavg: 2.14 2.13 2.04 3/183 21756
/proc/meminfo: memFree=29291920/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1408580 CPUtime=1661.88 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 293632 0 0 0 166127 61 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140737083623488 4206864 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 352145 293376 886 2943 0 349039 0
[pid=20855/tid=20856] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1408580

[startup+1722.3 s]
/proc/loadavg: 2.17 2.13 2.04 3/183 21757
/proc/meminfo: memFree=29279524/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1408580 CPUtime=1721.86 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 293632 0 0 0 172125 61 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140737083607488 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 352145 293376 886 2943 0 349039 0
[pid=20855/tid=20856] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1408580

[startup+1782.3 s]
/proc/loadavg: 2.06 2.11 2.04 3/183 21758
/proc/meminfo: memFree=29270968/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1408580 CPUtime=1781.86 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 293632 0 0 0 178123 63 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140737083607488 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 352145 293376 886 2943 0 349039 0
[pid=20855/tid=20856] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1408580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.13 2.12 2.04 3/183 21758
/proc/meminfo: memFree=29271096/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1408580 CPUtime=1800.05 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 293632 0 0 0 179942 63 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140737083624776 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 352145 293376 886 2943 0 349039 0
[pid=20855/tid=20856] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1408580

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

[startup+1800.5 s]
/proc/loadavg: 2.13 2.12 2.04 3/183 21758
/proc/meminfo: memFree=29271096/32872528 swapFree=302776/319128
[pid=20855] ppid=20852 vsize=1408580 CPUtime=1800.05 cores=1,3,5,7
/proc/20855/stat : 20855 (toysat) R 20852 20855 16914 0 -1 4202496 293632 0 0 0 179942 63 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140737083624776 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20855/statm: 352145 293376 886 2943 0 349039 0
[pid=20855/tid=20856] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20856/stat : 20856 (toysat) S 20852 20855 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450043243760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20855/tid=20857] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20857/stat : 20857 (toysat) S 20852 20855 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450032753904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20855/tid=20858] ppid=20852 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/20855/task/20858/stat : 20858 (toysat) S 20852 20855 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13696644 1442385920 293376 33554432000 4194304 16246674 140737083625600 140450022280368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1408580

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.43
CPU system time (s): 0.634903
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 1408580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.634903
maximum resident set size= 1173504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293632
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= 314
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.242 second user time and 7.93579 second system time

The end

Begin job on node128 at 2016-06-17 00:35:00
IDJOB=4097128
IDBENCH=107713
IDSOLVER=2542
FILE ID=node128/4097128-1466116500
RUNJOBID= node128-1466113207-19340
PBS_JOBID= 19904049
Free space on /tmp= 71692 MiB

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

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

MD5SUM BENCH= 001a0a392564951998d5039d5068eab6
RANDOM SEED=1202283199

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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:        30445284 kB
Buffers:           72504 kB
Cached:           192320 kB
SwapCached:         2096 kB
Active:          1288200 kB
Inactive:         111744 kB
Active(anon):    1135616 kB
Inactive(anon):     1600 kB
Active(file):     152584 kB
Inactive(file):   110144 kB
Unevictable:      319128 kB
Mlocked:          302776 kB
SwapTotal:      67108856 kB
SwapFree:       67098972 kB
Dirty:             16796 kB
Writeback:             0 kB
AnonPages:       1453076 kB
Mapped:            10716 kB
Shmem:                 0 kB
Slab:             572360 kB
SReclaimable:      15648 kB
SUnreclaim:       556712 kB
KernelStack:        1520 kB
PageTables:         7272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1595028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1142784 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= 71676 MiB
End job on node128 at 2016-06-17 01:05:01