0.00/0.00	c 2016-06-18T09:35:08+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-4103309-1466235308.opb"]
0.00/0.01	c use --random-gen="932020497 2817817728 2806516442 4087644116 2602017639 3619030453 3158018552 3313814423 3420242099 1987695151 3492964886 2702491427 3437502624 2025778790 2155175737 3360979992 3756775018 1667954471 2909954242 3881136773 3313576635 1570032085 2259707682 1338175711 3885840472 73563288 4243578831 3365778570 3546451909 4253286852 1798788774 1426348126 462668001 726199097 2864527090 372659349 930469084 1882725491 527322167 3883485477 2130251955 53723450 1071116557 308962186 1575834408 2307526176 4235404230 77999489 2296064899 3790698638 3039098850 2512198333 2280840607 1847792159 1713642368 2387206359 2428509332 2843289241 2324649182 1089087175 1435306690 265103729 595704056 3694519072 3845334929 685699507 217693448 1536167459 2896808512 3316464967 3512758826 1116089584 600191009 1754113713 1072580846 365243512 1469981906 3088855542 424524529 1378066773 1090937591 365554927 2286500106 451854542 1495601670 458360326 66958567 2388183283 1134314896 1648581597 3014945234 3827118934 4173607373 695748686 1859698302 1210293155 2054651326 2702322225 3836682488 3511678386 4287668150 2192798395 3921519432 3092947016 1985471238 1794708384 63453217 810214864 3562973805 3635847355 3171610237 4213556342 1777622370 1431416483 3070069087 2412712294 3607725740 1101629343 3305320453 2061231319 1971021415 2177003037 1407378631 3729267764 3705850136 3011193701 3746262994 1762037777 3239546060 2817163988 837974610 2300539860 4265873501 4030957878 3481302829 2155744143 129106052 2719773421 341790499 968392712 3720370903 2100106714 4197091188 1476911021 2563481043 3901255423 2083790903 1367159111 2418850535 228912576 3885712635 1131420981 1187833306 2384449693 3168811992 576266359 715420223 2335431708 1425365113 1444159402 1743987763 3129871563 1059604554 3586072794 2469143843 1438297408 2366433964 3477200434 1171316441 1785994266 3410178332 2999559359 13619758 1912258666 4294433650 124549280 2239516170 1743021243 55104883 2149852783 1742809866 2118526293 3774859246 255315416 1092379363 3106331057 3359977855 1638542782 1092669468 1061237443 3827922563 2144480381 2885163708 1653837921 1642254861 4130747076 2374643380 3533178214 3653657447 3184676198 4207894605 2474208069 1520737710 2361494232 1581955060 3300181420 575270067 4167821181 3115267233 2349033368 3698963868 1132280396 2126855594 2963569397 59313892 2795354452 3188668451 2067822461 2157426382 4044807078 4241776334 2241389078 2759187919 2860639072 3629879736 2563491249 490708385 2078118761 3875685019 1689726593 3680957682 696109119 1972625195 1847188501 764422972 3536452394 3232952306 1376377618 717752884 4241372711 831700112 4279594547 351852078 664365783 3816958076 1007445730 2251308913 3092479283 1526676916 3893154105 3302719845 917992167 1228547203 1705503313 1119538916 3325728165 255 362436" option to reproduce the execution
0.09/0.15	c #vars 17840
0.09/0.15	c #constraints 656
4.99/5.09	c BCD2: Hardening is enabled.
4.99/5.09	c BCD2: BiasedSearch is enabled.
4.99/5.09	c Solving starts ...
4.99/5.09	c ============================[ Search Statistics ]============================
4.99/5.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.99/5.09	c       |         |          |          |    Limit     GC | Var      | Constra 
4.99/5.09	c =============================================================================
4.99/5.09	c  0.0s |       0 |        0 |        0 |     6245      0 |     2800 |        0
5.19/5.22	c  0.1s |       1 |     1142 |      100 |     6245      0 |     2800 |        0
5.39/5.44	c  0.4s |       2 |     2822 |      250 |     6870      0 |     2806 |        0
5.59/5.61	c  0.5s |       3 |     3900 |      475 |     7558      0 |     2806 |        0
5.89/5.97	c  0.9s |       4 |     7040 |      813 |     8314      0 |     2815 |        0
7.09/7.11	c  2.0s |       5 |    14229 |     1320 |     9146      0 |     2858 |        0
7.79/7.88	c  2.8s |       6 |    21157 |     2081 |    11068      0 |     2868 |        0
8.69/8.76	c  3.7s |       7 |    26415 |     3223 |    12175      0 |     2893 |        0
9.79/9.83	c  4.7s |       8 |    29618 |     4936 |    13393      0 |     2914 |        0
11.89/11.93	c  6.8s |       8 |    34313 |     7136 |    13393      0 |     2915 |        0
12.39/12.47	c  7.4s |       9 |    34714 |     7506 |    14733      0 |     2915 |        0
14.39/14.49	c  9.4s |       9 |    50535 |     9806 |    14733      0 |     2949 |        0
15.49/15.50	c 10.4s |      10 |    52483 |    11361 |    16207      0 |     2949 |        0
17.48/17.54	c 12.5s |      10 |    56513 |    13961 |    16207      0 |     2949 |        0
19.58/19.61	c 14.5s |      10 |    59343 |    16561 |    16207      0 |     2949 |        0
20.08/20.15	c 15.1s |      11 |    59962 |    17144 |    17828      0 |     2949 |        0
22.09/22.16	c 17.1s |      11 |    66862 |    19844 |    17828      0 |     2951 |        0
24.19/24.23	c 19.1s |      11 |    80954 |    22244 |    17828      1 |     2953 |        0
26.18/26.27	c 21.2s |      11 |    84555 |    25244 |    17828      1 |     2953 |        0
26.58/26.69	c 21.6s |      12 |    86880 |    25819 |    19611      1 |     2953 |        0
28.69/28.77	c 23.7s |      12 |    96139 |    28219 |    19611      1 |     2953 |        0
30.79/30.82	c 25.7s |      12 |    98657 |    30219 |    19611      1 |     2953 |        0
32.78/32.86	c 27.8s |      12 |   101780 |    32519 |    19611      1 |     2953 |        0
34.88/34.92	c 29.8s |      12 |   103894 |    34519 |    19611      1 |     2953 |        0
36.88/36.94	c 31.9s |      12 |   105962 |    36319 |    19611      2 |     2953 |        0
38.98/39.04	c 34.0s |      12 |   107842 |    38019 |    19611      2 |     2953 |        0
39.98/40.04	c 35.0s |      13 |   108859 |    38832 |    21573      2 |     2953 |        0
42.08/42.13	c 37.0s |      13 |   111634 |    40932 |    21573      2 |     2953 |        0
44.09/44.13	c 39.0s |      13 |   114184 |    42632 |    21573      2 |     2953 |        0
46.19/46.27	c 41.2s |      13 |   115801 |    44132 |    21573      2 |     2953 |        0
48.28/48.35	c 43.3s |      13 |   117170 |    45432 |    21573      2 |     2953 |        0
50.48/50.50	c 45.4s |      13 |   118077 |    46332 |    21573      2 |     2953 |        0
52.58/52.64	c 47.6s |      13 |   119356 |    47532 |    21573      2 |     2953 |        0
54.58/54.65	c 49.6s |      13 |   120394 |    48532 |    21573      2 |     2953 |        0
56.78/56.80	c 51.7s |      13 |   121557 |    49632 |    21573      3 |     2953 |        0
58.88/58.91	c 53.8s |      13 |   122852 |    50832 |    21573      3 |     2953 |        0
61.08/61.14	c 56.1s |      13 |   124208 |    52032 |    21573      3 |     2953 |        0
63.18/63.25	c 58.2s |      13 |   125188 |    52932 |    21573      3 |     2953 |        0
65.18/65.29	c 60.2s |      13 |   126155 |    53832 |    21573      3 |     2953 |        0
67.37/67.48	c 62.4s |      13 |   127118 |    54732 |    21573      3 |     2953 |        0
69.47/69.58	c 64.5s |      13 |   128102 |    55632 |    21573      3 |     2953 |        0
71.77/71.84	c 66.8s |      13 |   128941 |    56432 |    21573      3 |     2953 |        0
73.78/73.88	c 68.8s |      13 |   129661 |    57132 |    21573      3 |     2953 |        0
75.88/75.91	c 70.8s |      13 |   130509 |    57932 |    21573      3 |     2953 |        0
76.87/76.90	c 71.8s |      14 |   130956 |    58352 |    23731      3 |     2953 |        0
79.18/79.22	c 74.1s |      14 |   138841 |    58452 |    23731      3 |     2965 |        0
82.17/82.20	c 77.1s |      14 |   150102 |    58552 |    23731      3 |     3006 |        0
85.37/85.41	c 80.3s |      14 |   156343 |    58652 |    23731      3 |     3031 |        0
87.37/87.42	c 82.3s |      14 |   167071 |    60052 |    23731      3 |     3047 |        0
89.37/89.44	c 84.4s |      14 |   171307 |    63152 |    23731      3 |     3047 |        0
91.38/91.45	c 86.4s |      14 |   174730 |    65552 |    23731      4 |     3047 |        0
93.37/93.46	c 88.4s |      14 |   177913 |    67952 |    23731      4 |     3047 |        0
95.47/95.51	c 90.4s |      14 |   180634 |    70452 |    23731      4 |     3047 |        0
97.47/97.58	c 92.5s |      14 |   183142 |    72752 |    23731      4 |     3047 |        0
99.57/99.66	c 94.6s |      14 |   185412 |    74852 |    23731      4 |     3047 |        0
101.57/101.69	c 96.6s |      14 |   187494 |    76752 |    23731      4 |     3047 |        0
103.67/103.70	c 98.6s |      14 |   189244 |    78352 |    23731      5 |     3047 |        0
105.68/105.78	c  100s |      14 |   191129 |    80052 |    23731      5 |     3047 |        0
107.78/107.82	c  102s |      14 |   192759 |    81552 |    23731      5 |     3047 |        0
109.77/109.84	c  104s |      14 |   194411 |    83052 |    23731      5 |     3047 |        0
111.87/111.93	c  106s |      14 |   196043 |    84552 |    23731      5 |     3047 |        0
113.97/114.02	c  108s |      14 |   197560 |    85952 |    23731      5 |     3047 |        0
116.07/116.17	c  111s |      14 |   198985 |    87252 |    26105      5 |     3047 |        0
116.77/116.83	c  111s |      15 |   199401 |    87632 |    26105      5 |     3047 |        0
118.78/118.84	c  113s |      15 |   210028 |    89732 |    26105      5 |     3055 |        0
120.77/120.88	c  115s |      15 |   212578 |    92032 |    26105      5 |     3055 |        0
122.87/122.95	c  117s |      15 |   215149 |    94232 |    26105      6 |     3055 |        0
124.97/125.03	c  119s |      15 |   217112 |    96032 |    26105      6 |     3055 |        0
126.97/127.04	c  121s |      15 |   218970 |    97732 |    26105      6 |     3055 |        0
128.97/129.08	c  123s |      15 |   220686 |    99332 |    26105      6 |     3055 |        0
131.07/131.17	c  126s |      15 |   222508 |   100932 |    26105      6 |     3055 |        0
133.08/133.20	c  128s |      15 |   226606 |   103932 |    26105      6 |     3055 |        0
135.17/135.20	c  130s |      15 |   230025 |   106632 |    26105      6 |     3055 |        0
137.77/137.85	c  132s |      15 |   232993 |   108632 |    26105      7 |     3055 |        0
139.87/139.98	c  134s |      15 |   235578 |   110232 |    26105      7 |     3055 |        0
142.07/142.14	c  137s |      15 |   237971 |   111832 |    26105      7 |     3055 |        0
144.17/144.25	c  139s |      15 |   240159 |   113332 |    26105      7 |     3055 |        0
146.27/146.31	c  141s |      15 |   242321 |   114632 |    26105      7 |     3055 |        0
148.26/148.35	c  143s |      15 |   244757 |   116032 |    26105      7 |     3055 |        0
150.36/150.45	c  145s |      15 |   247323 |   117532 |    26105      7 |     3055 |        0
152.46/152.52	c  147s |      15 |   249712 |   118832 |    26105      7 |     3055 |        0
154.56/154.64	c  149s |      15 |   251841 |   120232 |    26105      7 |     3055 |        0
156.66/156.73	c  151s |      15 |   253745 |   121432 |    26105      7 |     3055 |        0
158.86/158.90	c  153s |      15 |   255777 |   122732 |    26105      7 |     3055 |        0
160.86/160.99	c  155s |      15 |   257172 |   123832 |    26105      8 |     3055 |        0
163.06/163.10	c  158s |      15 |   259461 |   125332 |    26105      8 |     3055 |        0
165.16/165.23	c  160s |      15 |   261985 |   126632 |    26105      8 |     3055 |        0
167.27/167.31	c  162s |      15 |   264003 |   127832 |    26105      8 |     3055 |        0
169.37/169.46	c  164s |      15 |   265796 |   129032 |    26105      8 |     3055 |        0
171.46/171.56	c  166s |      15 |   267857 |   130232 |    26105      8 |     3055 |        0
173.36/173.48	c  168s |      16 |   270222 |   131552 |    28716      8 |     3055 |        0
175.36/175.49	c  170s |      16 |   272240 |   132752 |    28716      8 |     3055 |        0
177.56/177.67	c  172s |      16 |   274157 |   133952 |    28716      8 |     3055 |        0
179.66/179.77	c  174s |      16 |   280920 |   135952 |    28716      8 |     3055 |        0
181.86/181.92	c  176s |      16 |   282708 |   137352 |    28716      8 |     3055 |        0
184.06/184.11	c  179s |      16 |   284185 |   138552 |    28716      8 |     3055 |        0
186.06/186.11	c  181s |      16 |   285585 |   139652 |    28716      8 |     3055 |        0
188.06/188.18	c  183s |      16 |   286915 |   140752 |    28716      8 |     3055 |        0
190.16/190.28	c  185s |      16 |   288269 |   141852 |    28716      8 |     3055 |        0
192.26/192.31	c  187s |      16 |   289476 |   142852 |    28716      9 |     3055 |        0
194.36/194.43	c  189s |      16 |   290775 |   143952 |    28716      9 |     3055 |        0
196.36/196.47	c  191s |      16 |   291917 |   144952 |    28716      9 |     3055 |        0
198.46/198.53	c  193s |      16 |   293113 |   145952 |    28716      9 |     3055 |        0
200.66/200.71	c  195s |      16 |   294296 |   146952 |    28716      9 |     3055 |        0
202.66/202.76	c  197s |      16 |   295282 |   147852 |    28716      9 |     3055 |        0
204.75/204.84	c  199s |      16 |   296344 |   148752 |    28716      9 |     3055 |        0
206.95/207.03	c  201s |      16 |   297412 |   149652 |    28716      9 |     3055 |        0
209.06/209.12	c  204s |      16 |   298531 |   150552 |    28716      9 |     3055 |        0
211.05/211.18	c  206s |      16 |   299569 |   151452 |    28716      9 |     3055 |        0
213.15/213.20	c  208s |      16 |   300648 |   152352 |    28716      9 |     3055 |        0
215.25/215.34	c  210s |      16 |   301680 |   153252 |    28716      9 |     3055 |        0
217.35/217.49	c  212s |      16 |   302723 |   154152 |    28716      9 |     3055 |        0
219.45/219.50	c  214s |      16 |   303626 |   154952 |    28716      9 |     3055 |        0
221.55/221.64	c  216s |      16 |   304551 |   155752 |    28716      9 |     3055 |        0
223.55/223.67	c  218s |      16 |   305376 |   156452 |    28716      9 |     3055 |        0
225.65/225.76	c  220s |      16 |   306317 |   157252 |    28716      9 |     3055 |        0
227.85/227.96	c  222s |      16 |   307232 |   158052 |    28716      9 |     3055 |        0
230.15/230.20	c  225s |      16 |   308160 |   158852 |    28716      9 |     3055 |        0
232.16/232.22	c  227s |      16 |   308998 |   159552 |    28716     10 |     3055 |        0
234.26/234.37	c  229s |      16 |   309949 |   160352 |    28716     10 |     3055 |        0
236.35/236.47	c  231s |      16 |   311066 |   161252 |    28716     10 |     3055 |        0
238.35/238.49	c  233s |      16 |   312009 |   162052 |    28716     10 |     3055 |        0
240.56/240.68	c  235s |      16 |   312928 |   162852 |    28716     10 |     3055 |        0
242.76/242.80	c  237s |      16 |   313845 |   163652 |    28716     10 |     3055 |        0
244.96/245.06	c  239s |      16 |   314789 |   164452 |    28716     10 |     3055 |        0
247.06/247.12	c  242s |      16 |   332493 |   166052 |    28716     10 |     3055 |        0
249.06/249.13	c  244s |      16 |   334738 |   167652 |    28716     10 |     3055 |        0
251.25/251.31	c  246s |      16 |   339880 |   169452 |    28716     10 |     3055 |        0
253.55/253.61	c  248s |      16 |   342608 |   170352 |    28716     10 |     3055 |        0
255.75/255.80	c  250s |      16 |   343295 |   170952 |    28716     10 |     3055 |        0
257.75/257.86	c  252s |      16 |   344159 |   171652 |    28716     10 |     3055 |        0
259.95/260.09	c  255s |      16 |   345437 |   172552 |    28716     10 |     3055 |        0
263.25/263.38	c  258s |      16 |   369588 |   173052 |    28716     10 |     3079 |        0
269.95/270.01	c  264s |      16 |   376831 |   173152 |    28716     10 |     3136 |        0
272.05/272.12	c  267s |      16 |   381275 |   174052 |    28716     10 |     3144 |        0
274.05/274.19	c  269s |      16 |   386504 |   177452 |    28716     11 |     3144 |        0
276.16/276.22	c  271s |      16 |   390771 |   181252 |    28716     11 |     3144 |        0
278.15/278.30	c  273s |      16 |   394189 |   183552 |    28716     11 |     3144 |        0
280.25/280.38	c  275s |      16 |   397268 |   185752 |    28716     11 |     3144 |        0
282.35/282.43	c  277s |      16 |   399373 |   187552 |    28716     11 |     3144 |        0
284.35/284.45	c  279s |      16 |   401419 |   189252 |    28716     11 |     3144 |        0
286.55/286.63	c  281s |      16 |   403286 |   190852 |    28716     12 |     3144 |        0
288.55/288.68	c  283s |      16 |   405054 |   192352 |    28716     12 |     3144 |        0
290.65/290.79	c  285s |      16 |   406817 |   193852 |    28716     12 |     3144 |        0
292.85/292.91	c  287s |      16 |   408659 |   195352 |    28716     12 |     3144 |        0
294.95/295.03	c  289s |      16 |   410384 |   196852 |    31588     12 |     3144 |        0
295.75/295.88	c  290s |      17 |   411044 |   197432 |    31588     12 |     3144 |        0
297.85/297.97	c  292s |      17 |   412848 |   198732 |    31588     12 |     3144 |        0
299.85/299.99	c  294s |      17 |   414283 |   199832 |    31588     12 |     3144 |        0
301.95/302.07	c  296s |      17 |   415861 |   201032 |    31588     12 |     3144 |        0
304.05/304.18	c  299s |      17 |   417960 |   202632 |    31588     12 |     3144 |        0
306.35/306.42	c  301s |      17 |   419054 |   203632 |    31588     12 |     3144 |        0
308.45/308.50	c  303s |      17 |   420946 |   205332 |    31588     12 |     3144 |        0
310.44/310.53	c  305s |      17 |   422659 |   206932 |    31588     12 |     3144 |        0
312.45/312.56	c  307s |      17 |   424273 |   208432 |    31588     12 |     3144 |        0
314.44/314.58	c  309s |      17 |   425769 |   209832 |    31588     12 |     3144 |        0
316.54/316.66	c  311s |      17 |   427140 |   211132 |    31588     13 |     3144 |        0
318.64/318.71	c  313s |      17 |   428404 |   212332 |    31588     13 |     3144 |        0
320.64/320.73	c  315s |      17 |   429558 |   213432 |    31588     13 |     3144 |        0
322.74/322.82	c  317s |      17 |   430704 |   214532 |    31588     13 |     3144 |        0
324.84/324.94	c  319s |      17 |   431762 |   215532 |    31588     13 |     3144 |        0
326.94/327.03	c  321s |      17 |   432802 |   216532 |    31588     13 |     3144 |        0
329.04/329.18	c  324s |      17 |   433861 |   217532 |    31588     13 |     3144 |        0
331.15/331.29	c  326s |      17 |   434820 |   218432 |    31588     13 |     3144 |        0
333.35/333.45	c  328s |      17 |   435802 |   219332 |    31588     13 |     3144 |        0
335.45/335.52	c  330s |      17 |   436649 |   220132 |    31588     13 |     3144 |        0
337.65/337.71	c  332s |      17 |   437478 |   220932 |    31588     13 |     3144 |        0
339.64/339.72	c  334s |      17 |   438328 |   221732 |    31588     13 |     3144 |        0
341.64/341.74	c  336s |      17 |   439165 |   222532 |    31588     13 |     3144 |        0
343.84/343.93	c  338s |      17 |   439998 |   223332 |    31588     13 |     3144 |        0
345.84/345.95	c  340s |      17 |   440847 |   224132 |    31588     13 |     3144 |        0
348.04/348.19	c  343s |      17 |   441693 |   224932 |    31588     13 |     3144 |        0
350.24/350.38	c  345s |      17 |   442541 |   225732 |    31588     13 |     3144 |        0
352.54/352.69	c  347s |      17 |   443403 |   226532 |    31588     13 |     3144 |        0
354.64/354.70	c  349s |      17 |   444029 |   227132 |    31588     13 |     3144 |        0
357.34/357.47	c  352s |      17 |   444655 |   227732 |    31588     14 |     3144 |        0
359.53/359.68	c  354s |      17 |   445523 |   228532 |    31588     14 |     3144 |        0
361.73/361.80	c  356s |      17 |   446374 |   229332 |    31588     14 |     3144 |        0
363.93/364.03	c  358s |      17 |   447215 |   230132 |    31588     14 |     3144 |        0
366.13/366.26	c  361s |      17 |   447946 |   230832 |    31588     14 |     3144 |        0
368.13/368.27	c  363s |      17 |   448687 |   231532 |    31588     14 |     3144 |        0
370.23/370.35	c  365s |      17 |   449435 |   232232 |    31588     14 |     3144 |        0
372.43/372.56	c  367s |      17 |   450174 |   232932 |    31588     14 |     3144 |        0
374.43/374.59	c  369s |      17 |   450939 |   233632 |    31588     14 |     3144 |        0
376.63/376.77	c  371s |      17 |   451676 |   234332 |    31588     14 |     3144 |        0
378.83/378.90	c  373s |      17 |   452418 |   235032 |    31588     14 |     3144 |        0
381.03/381.12	c  376s |      17 |   453174 |   235732 |    31588     14 |     3144 |        0
383.13/383.24	c  378s |      17 |   453796 |   236332 |    31588     14 |     3144 |        0
385.33/385.40	c  380s |      17 |   454545 |   237032 |    31588     14 |     3144 |        0
387.43/387.53	c  382s |      17 |   455289 |   237732 |    31588     14 |     3144 |        0
389.52/389.66	c  384s |      17 |   455912 |   238332 |    31588     14 |     3144 |        0
391.73/391.89	c  386s |      17 |   456651 |   239032 |    31588     14 |     3144 |        0
393.84/393.91	c  388s |      17 |   457302 |   239632 |    31588     14 |     3144 |        0
395.83/396.00	c  390s |      17 |   457924 |   240232 |    31588     14 |     3144 |        0
398.03/398.14	c  393s |      17 |   458536 |   240832 |    31588     14 |     3144 |        0
400.34/400.46	c  395s |      17 |   459184 |   241432 |    31588     14 |     3144 |        0
402.64/402.75	c  397s |      17 |   459814 |   242032 |    31588     14 |     3144 |        0
404.74/404.88	c  399s |      17 |   460441 |   242632 |    31588     14 |     3144 |        0
407.04/407.19	c  402s |      17 |   461076 |   243232 |    31588     14 |     3144 |        0
409.14/409.25	c  404s |      17 |   461614 |   243732 |    31588     14 |     3144 |        0
411.44/411.54	c  406s |      17 |   462244 |   244332 |    31588     14 |     3144 |        0
413.73/413.82	c  408s |      17 |   462867 |   244932 |    31588     14 |     3144 |        0
415.93/416.03	c  410s |      17 |   463295 |   245332 |    31588     15 |     3144 |        0
418.03/418.15	c  413s |      17 |   464037 |   246032 |    31588     15 |     3144 |        0
420.13/420.29	c  415s |      17 |   464770 |   246732 |    31588     15 |     3144 |        0
422.33/422.46	c  417s |      17 |   465397 |   247332 |    31588     15 |     3144 |        0
424.32/424.47	c  419s |      17 |   466112 |   248032 |    31588     15 |     3144 |        0
426.62/426.77	c  421s |      17 |   466944 |   248832 |    31588     15 |     3144 |        0
428.72/428.81	c  423s |      17 |   467691 |   249532 |    31588     15 |     3144 |        0
430.72/430.83	c  425s |      17 |   468438 |   250232 |    31588     15 |     3144 |        0
432.82/432.90	c  427s |      17 |   469189 |   250932 |    31588     15 |     3144 |        0
435.02/435.10	c  430s |      17 |   469929 |   251632 |    31588     15 |     3144 |        0
437.32/437.41	c  432s |      17 |   470663 |   252332 |    31588     15 |     3144 |        0
439.62/439.79	c  434s |      17 |   471388 |   253032 |    31588     15 |     3144 |        0
441.82/441.99	c  436s |      17 |   472164 |   253732 |    31588     15 |     3144 |        0
444.12/444.27	c  439s |      17 |   472925 |   254432 |    31588     15 |     3144 |        0
446.32/446.43	c  441s |      17 |   473564 |   255032 |    31588     15 |     3144 |        0
448.52/448.65	c  443s |      17 |   474205 |   255632 |    31588     15 |     3144 |        0
450.62/450.76	c  445s |      17 |   474843 |   256232 |    31588     15 |     3144 |        0
453.72/453.89	c  448s |      17 |   475475 |   256832 |    31588     15 |     3144 |        0
455.82/455.95	c  450s |      17 |   476112 |   257432 |    31588     15 |     3144 |        0
458.02/458.14	c  453s |      17 |   476740 |   258032 |    31588     15 |     3144 |        0
460.22/460.32	c  455s |      17 |   477364 |   258632 |    31588     15 |     3144 |        0
462.42/462.50	c  457s |      17 |   477994 |   259232 |    31588     15 |     3144 |        0
464.42/464.55	c  459s |      17 |   478645 |   259832 |    31588     15 |     3144 |        0
466.52/466.68	c  461s |      17 |   479287 |   260432 |    31588     15 |     3144 |        0
468.82/468.92	c  463s |      17 |   479937 |   261032 |    31588     15 |     3144 |        0
471.12/471.24	c  466s |      17 |   480569 |   261632 |    31588     15 |     3144 |        0
473.12/473.24	c  468s |      17 |   481115 |   262132 |    31588     15 |     3144 |        0
475.42/475.54	c  470s |      17 |   481761 |   262732 |    31588     15 |     3144 |        0
477.51/477.65	c  472s |      17 |   482178 |   263132 |    31588     16 |     3144 |        0
479.62/479.74	c  474s |      17 |   483024 |   263932 |    31588     16 |     3144 |        0
481.62/481.77	c  476s |      17 |   483789 |   264632 |    31588     16 |     3144 |        0
483.72/483.81	c  478s |      17 |   484546 |   265332 |    31588     16 |     3144 |        0
485.92/486.05	c  480s |      17 |   485289 |   266032 |    31588     16 |     3144 |        0
488.12/488.25	c  483s |      17 |   486056 |   266732 |    31588     16 |     3144 |        0
490.12/490.27	c  485s |      17 |   486816 |   267432 |    31588     16 |     3144 |        0
492.42/492.51	c  487s |      17 |   487591 |   268132 |    31588     16 |     3144 |        0
494.42/494.52	c  489s |      17 |   488353 |   268832 |    31588     16 |     3144 |        0
496.42/496.56	c  491s |      17 |   489075 |   269532 |    31588     16 |     3144 |        0
498.62/498.75	c  493s |      17 |   489829 |   270232 |    31588     16 |     3144 |        0
500.72/500.80	c  495s |      17 |   490669 |   271032 |    31588     16 |     3144 |        0
502.92/503.04	c  497s |      17 |   491532 |   271832 |    31588     16 |     3144 |        0
505.22/505.30	c  500s |      17 |   492272 |   272532 |    31588     16 |     3144 |        0
507.21/507.31	c  502s |      17 |   492912 |   273132 |    31588     16 |     3144 |        0
509.22/509.37	c  504s |      17 |   493539 |   273732 |    31588     16 |     3144 |        0
511.42/511.58	c  506s |      17 |   494282 |   274432 |    31588     16 |     3144 |        0
513.72/513.81	c  508s |      17 |   495014 |   275132 |    31588     16 |     3144 |        0
515.92/516.07	c  510s |      17 |   495791 |   275832 |    31588     16 |     3144 |        0
518.02/518.18	c  513s |      17 |   496470 |   276432 |    31588     16 |     3144 |        0
520.11/520.29	c  515s |      17 |   497110 |   277032 |    31588     16 |     3144 |        0
522.31/522.43	c  517s |      17 |   497762 |   277632 |    31588     16 |     3144 |        0
524.51/524.62	c  519s |      17 |   498389 |   278232 |    31588     16 |     3144 |        0
526.92/527.01	c  521s |      17 |   499021 |   278832 |    31588     16 |     3144 |        0
529.21/529.35	c  524s |      17 |   499657 |   279432 |    31588     16 |     3144 |        0
531.41/531.57	c  526s |      17 |   500292 |   280032 |    31588     16 |     3144 |        0
534.01/534.19	c  529s |      17 |   500829 |   280532 |    31588     17 |     3144 |        0
536.31/536.44	c  531s |      17 |   501556 |   281232 |    31588     17 |     3144 |        0
538.30/538.49	c  533s |      17 |   502303 |   281932 |    31588     17 |     3144 |        0
540.40/540.57	c  535s |      17 |   503045 |   282632 |    31588     17 |     3144 |        0
542.50/542.63	c  537s |      17 |   503678 |   283232 |    31588     17 |     3144 |        0
544.60/544.75	c  539s |      17 |   504416 |   283932 |    31588     17 |     3144 |        0
546.61/546.79	c  541s |      17 |   505173 |   284632 |    31588     17 |     3144 |        0
548.70/548.83	c  543s |      17 |   505932 |   285332 |    31588     17 |     3144 |        0
550.90/551.09	c  546s |      17 |   506796 |   286132 |    31588     17 |     3144 |        0
553.31/553.43	c  548s |      17 |   507655 |   286932 |    31588     17 |     3144 |        0
555.51/555.64	c  550s |      17 |   508381 |   287632 |    31588     17 |     3144 |        0
557.71/557.83	c  552s |      17 |   509149 |   288332 |    31588     17 |     3144 |        0
560.40/560.53	c  555s |      17 |   509570 |   288732 |    31588     17 |     3144 |        0
562.60/562.70	c  557s |      17 |   510321 |   289432 |    31588     17 |     3144 |        0
564.80/564.94	c  559s |      17 |   511063 |   290132 |    31588     17 |     3144 |        0
566.80/566.94	c  561s |      17 |   511702 |   290732 |    31588     17 |     3144 |        0
568.79/568.94	c  563s |      17 |   512351 |   291332 |    31588     17 |     3144 |        0
570.80/570.96	c  565s |      17 |   512976 |   291932 |    31588     17 |     3144 |        0
572.79/572.99	c  567s |      17 |   513609 |   292532 |    31588     17 |     3144 |        0
574.99/575.18	c  570s |      17 |   514242 |   293132 |    31588     17 |     3144 |        0
577.19/577.38	c  572s |      17 |   514893 |   293732 |    31588     17 |     3144 |        0
579.29/579.40	c  574s |      17 |   515521 |   294332 |    34747     17 |     3144 |        0
581.39/581.54	c  576s |      17 |   516169 |   294932 |    34747     17 |     3144 |        0
583.49/583.61	c  578s |      17 |   516799 |   295532 |    34747     17 |     3144 |        0
585.69/585.84	c  580s |      17 |   517536 |   296232 |    34747     17 |     3144 |        0
585.79/585.91	c  580s |      18 |   517557 |   296252 |    34747     17 |     3144 |        0
587.78/587.99	c  582s |      18 |   533673 |   296852 |    34747     17 |     3161 |        0
589.88/590.07	c  584s |      18 |   536814 |   299452 |    34747     17 |     3161 |        0
591.98/592.17	c  587s |      18 |   539359 |   301552 |    34747     17 |     3161 |        0
594.08/594.24	c  589s |      18 |   541679 |   303352 |    34747     18 |     3161 |        0
596.09/596.30	c  591s |      18 |   544044 |   305052 |    34747     18 |     3161 |        0
598.29/598.44	c  593s |      18 |   545956 |   306552 |    34747     18 |     3161 |        0
600.38/600.53	c  595s |      18 |   547584 |   307852 |    34747     18 |     3161 |        0
602.58/602.71	c  597s |      18 |   549082 |   309052 |    34747     18 |     3161 |        0
604.78/604.90	c  599s |      18 |   550195 |   309952 |    34747     18 |     3161 |        0
606.78/606.93	c  601s |      18 |   551275 |   310852 |    34747     18 |     3161 |        0
608.88/609.06	c  603s |      18 |   552248 |   311652 |    34747     18 |     3161 |        0
610.98/611.17	c  606s |      18 |   553451 |   312652 |    34747     18 |     3161 |        0
613.18/613.36	c  608s |      18 |   554399 |   313452 |    34747     18 |     3161 |        0
615.38/615.54	c  610s |      18 |   555347 |   314252 |    34747     18 |     3161 |        0
617.37/617.57	c  612s |      18 |   556269 |   314952 |    34747     18 |     3161 |        0
619.37/619.58	c  614s |      18 |   557112 |   315652 |    34747     18 |     3161 |        0
621.38/621.60	c  616s |      18 |   557957 |   316352 |    34747     18 |     3161 |        0
623.58/623.73	c  618s |      18 |   558792 |   317052 |    34747     18 |     3161 |        0
625.67/625.89	c  620s |      18 |   559571 |   317752 |    34747     18 |     3161 |        0
627.97/628.15	c  623s |      18 |   560506 |   318552 |    34747     18 |     3161 |        0
630.17/630.32	c  625s |      18 |   561305 |   319252 |    34747     18 |     3161 |        0
632.26/632.46	c  627s |      18 |   562214 |   320052 |    34747     18 |     3161 |        0
634.26/634.46	c  629s |      18 |   563167 |   320852 |    34747     18 |     3161 |        0
636.66/636.81	c  631s |      18 |   564076 |   321652 |    34747     18 |     3161 |        0
638.76/638.96	c  633s |      18 |   564918 |   322352 |    34747     18 |     3161 |        0
640.96/641.13	c  636s |      18 |   565617 |   322952 |    34747     18 |     3161 |        0
643.16/643.33	c  638s |      18 |   566284 |   323552 |    34747     19 |     3161 |        0
645.36/645.52	c  640s |      18 |   566954 |   324152 |    34747     19 |     3161 |        0
647.66/647.82	c  642s |      18 |   567600 |   324752 |    34747     19 |     3161 |        0
649.76/649.93	c  644s |      18 |   568251 |   325352 |    34747     19 |     3161 |        0
651.96/652.10	c  647s |      18 |   569360 |   326352 |    34747     19 |     3161 |        0
654.06/654.28	c  649s |      18 |   570525 |   327252 |    34747     19 |     3161 |        0
656.26/656.43	c  651s |      18 |   571784 |   328252 |    34747     19 |     3161 |        0
658.45/658.63	c  653s |      18 |   574120 |   329652 |    34747     19 |     3162 |        0
660.55/660.74	c  655s |      18 |   578267 |   331452 |    34747     19 |     3170 |        0
662.55/662.75	c  657s |      18 |   583192 |   335452 |    34747     19 |     3170 |        0
664.55/664.77	c  659s |      18 |   587001 |   338652 |    34747     19 |     3170 |        0
666.57/666.78	c  661s |      18 |   589904 |   341252 |    34747     19 |     3170 |        0
668.66/668.81	c  663s |      18 |   592329 |   343352 |    34747     20 |     3170 |        0
670.66/670.86	c  665s |      18 |   594891 |   345552 |    34747     20 |     3170 |        0
672.65/672.86	c  667s |      18 |   596975 |   347452 |    34747     20 |     3170 |        0
674.75/674.93	c  669s |      18 |   598952 |   349252 |    34747     20 |     3170 |        0
676.75/676.98	c  671s |      18 |   600864 |   350952 |    34747     20 |     3170 |        0
678.75/678.99	c  673s |      18 |   602682 |   352552 |    34747     20 |     3170 |        0
680.86/681.01	c  675s |      18 |   604387 |   354052 |    34747     20 |     3170 |        0
682.85/683.09	c  678s |      18 |   606015 |   355452 |    34747     20 |     3170 |        0
684.95/685.15	c  680s |      18 |   607450 |   356752 |    34747     20 |     3170 |        0
687.04/687.25	c  682s |      18 |   608875 |   358052 |    34747     20 |     3170 |        0
689.04/689.27	c  684s |      18 |   610200 |   359252 |    34747     20 |     3170 |        0
691.14/691.36	c  686s |      18 |   611553 |   360452 |    34747     20 |     3170 |        0
693.44/693.63	c  688s |      18 |   612883 |   361652 |    34747     21 |     3170 |        0
695.44/695.65	c  690s |      18 |   614310 |   362952 |    34747     21 |     3170 |        0
697.54/697.71	c  692s |      18 |   615716 |   364252 |    34747     21 |     3170 |        0
699.64/699.83	c  694s |      18 |   617145 |   365552 |    34747     21 |     3170 |        0
701.74/701.99	c  696s |      18 |   618525 |   366852 |    34747     21 |     3170 |        0
703.94/704.13	c  699s |      18 |   619958 |   368152 |    34747     21 |     3170 |        0
706.04/706.23	c  701s |      18 |   621421 |   369452 |    34747     21 |     3170 |        0
708.13/708.38	c  703s |      18 |   622715 |   370652 |    34747     21 |     3170 |        0
710.23/710.41	c  705s |      18 |   623903 |   371752 |    34747     21 |     3170 |        0
712.23/712.49	c  707s |      18 |   625084 |   372852 |    34747     21 |     3170 |        0
714.43/714.68	c  709s |      18 |   626259 |   373952 |    34747     21 |     3170 |        0
716.63/716.82	c  711s |      18 |   627341 |   374952 |    34747     21 |     3170 |        0
718.63/718.84	c  713s |      18 |   628436 |   375952 |    34747     21 |     3170 |        0
720.83/721.07	c  715s |      18 |   629495 |   376952 |    34747     21 |     3170 |        0
722.83/723.09	c  718s |      18 |   630439 |   377852 |    34747     21 |     3170 |        0
725.03/725.21	c  720s |      18 |   631375 |   378752 |    34747     21 |     3170 |        0
727.04/727.24	c  722s |      18 |   632331 |   379652 |    34747     21 |     3170 |        0
729.13/729.34	c  724s |      18 |   632862 |   380152 |    34747     22 |     3170 |        0
731.13/731.36	c  726s |      18 |   634276 |   381452 |    34747     22 |     3170 |        0
733.23/733.49	c  728s |      18 |   635805 |   382852 |    34747     22 |     3170 |        0
735.33/735.51	c  730s |      18 |   637081 |   384052 |    34747     22 |     3170 |        0
737.32/737.57	c  732s |      18 |   638355 |   385252 |    34747     22 |     3170 |        0
739.52/739.70	c  734s |      18 |   639736 |   386552 |    34747     22 |     3170 |        0
741.62/741.84	c  736s |      18 |   640709 |   387452 |    34747     22 |     3170 |        0
743.72/743.90	c  738s |      18 |   641970 |   388652 |    34747     22 |     3170 |        0
745.82/746.09	c  741s |      18 |   643234 |   389852 |    34747     22 |     3170 |        0
747.93/748.17	c  743s |      18 |   644287 |   390852 |    34747     22 |     3170 |        0
749.92/750.17	c  745s |      18 |   645367 |   391852 |    34747     22 |     3170 |        0
752.02/752.25	c  747s |      18 |   646431 |   392852 |    34747     22 |     3170 |        0
754.12/754.30	c  749s |      18 |   647367 |   393752 |    34747     22 |     3170 |        0
756.82/757.01	c  751s |      18 |   648284 |   394552 |    34747     22 |     3170 |        0
758.92/759.19	c  754s |      18 |   649504 |   395652 |    34747     22 |     3170 |        0
761.02/761.27	c  756s |      18 |   650586 |   396652 |    34747     22 |     3170 |        0
763.32/763.56	c  758s |      18 |   651661 |   397652 |    34747     22 |     3170 |        0
765.42/765.63	c  760s |      18 |   652619 |   398552 |    34747     22 |     3170 |        0
767.72/767.99	c  762s |      18 |   653488 |   399352 |    34747     23 |     3170 |        0
769.71/770.00	c  764s |      18 |   655019 |   400752 |    34747     23 |     3170 |        0
771.81/772.09	c  767s |      18 |   656435 |   402052 |    34747     23 |     3170 |        0
773.91/774.15	c  769s |      18 |   657966 |   403452 |    34747     23 |     3170 |        0
775.91/776.15	c  771s |      18 |   659383 |   404752 |    34747     23 |     3170 |        0
777.91/778.16	c  773s |      18 |   660384 |   405652 |    34747     23 |     3170 |        0
780.01/780.22	c  775s |      18 |   661680 |   406852 |    34747     23 |     3170 |        0
782.11/782.32	c  777s |      18 |   663067 |   408152 |    34747     23 |     3170 |        0
784.22/784.42	c  779s |      18 |   664338 |   409352 |    34747     23 |     3170 |        0
786.31/786.53	c  781s |      18 |   665602 |   410552 |    34747     23 |     3170 |        0
788.40/788.61	c  783s |      18 |   666776 |   411652 |    34747     23 |     3170 |        0
790.40/790.63	c  785s |      18 |   667839 |   412652 |    34747     23 |     3170 |        0
792.40/792.69	c  787s |      18 |   668907 |   413652 |    34747     23 |     3170 |        0
794.50/794.79	c  789s |      18 |   669976 |   414652 |    34747     23 |     3170 |        0
796.70/796.93	c  791s |      18 |   671047 |   415652 |    34747     23 |     3170 |        0
798.70/798.97	c  793s |      18 |   671984 |   416552 |    34747     23 |     3170 |        0
800.90/801.17	c  796s |      18 |   673061 |   417552 |    34747     23 |     3170 |        0
803.00/803.27	c  798s |      18 |   673811 |   418252 |    34747     23 |     3170 |        0
805.11/805.36	c  800s |      18 |   674771 |   419152 |    34747     24 |     3170 |        0
807.20/807.45	c  802s |      18 |   675959 |   420252 |    34747     24 |     3170 |        0
809.30/809.59	c  804s |      18 |   676382 |   420652 |    34747     24 |     3170 |        0
811.39/811.68	c  806s |      18 |   678151 |   422252 |    34747     24 |     3170 |        0
813.49/813.71	c  808s |      18 |   679553 |   423552 |    34747     24 |     3170 |        0
815.59/815.84	c  810s |      18 |   681048 |   424952 |    34747     24 |     3170 |        0
817.69/817.95	c  812s |      18 |   682433 |   426252 |    34747     24 |     3170 |        0
819.79/820.06	c  814s |      18 |   683709 |   427452 |    34747     24 |     3170 |        0
821.89/822.14	c  817s |      18 |   684866 |   428552 |    34747     24 |     3170 |        0
824.09/824.33	c  819s |      18 |   686119 |   429752 |    34747     24 |     3170 |        0
826.29/826.51	c  821s |      18 |   687377 |   430952 |    34747     24 |     3170 |        0
828.39/828.68	c  823s |      18 |   688430 |   431952 |    34747     24 |     3170 |        0
830.58/830.83	c  825s |      18 |   689484 |   432952 |    34747     24 |     3170 |        0
832.59/832.88	c  827s |      18 |   690567 |   433952 |    34747     24 |     3170 |        0
834.69/834.92	c  829s |      18 |   691532 |   434852 |    34747     24 |     3170 |        0
836.89/837.12	c  832s |      18 |   692590 |   435852 |    34747     24 |     3170 |        0
838.88/839.17	c  834s |      18 |   693630 |   436752 |    34747     24 |     3170 |        0
841.48/841.71	c  836s |      18 |   694853 |   437852 |    34747     25 |     3170 |        0
843.48/843.75	c  838s |      18 |   695844 |   438752 |    34747     25 |     3170 |        0
845.58/845.85	c  840s |      18 |   697197 |   439952 |    34747     25 |     3170 |        0
847.68/847.96	c  842s |      18 |   698736 |   441352 |    38222     25 |     3170 |        0
849.78/850.04	c  844s |      18 |   700109 |   442652 |    38222     25 |     3170 |        0
851.88/852.13	c  847s |      18 |   701401 |   443852 |    38222     25 |     3170 |        0
852.98/853.22	c  848s |      19 |   702081 |   444482 |    38222     25 |     3170 |        0
854.98/855.26	c  850s |      19 |   705766 |   447482 |    38222     25 |     3170 |        0
856.97/857.29	c  852s |      19 |   709233 |   450382 |    38222     25 |     3170 |        0
859.07/859.31	c  854s |      19 |   712108 |   452882 |    38222     25 |     3170 |        0
861.08/861.31	c  856s |      19 |   714768 |   455182 |    38222     25 |     3170 |        0
863.07/863.33	c  858s |      19 |   717364 |   457482 |    38222     25 |     3170 |        0
865.07/865.39	c  860s |      19 |   719993 |   459782 |    38222     25 |     3170 |        0
867.17/867.49	c  862s |      19 |   722341 |   461882 |    38222     26 |     3170 |        0
869.27/869.58	c  864s |      19 |   724699 |   463982 |    38222     26 |     3170 |        0
871.37/871.64	c  866s |      19 |   726963 |   466082 |    38222     26 |     3170 |        0
873.37/873.69	c  868s |      19 |   728879 |   467782 |    38222     26 |     3170 |        0
875.47/875.71	c  870s |      19 |   730595 |   469382 |    38222     26 |     3170 |        0
877.46/877.74	c  872s |      19 |   732315 |   470982 |    38222     26 |     3170 |        0
879.56/879.81	c  874s |      19 |   733936 |   472482 |    38222     26 |     3170 |        0
881.66/881.91	c  876s |      19 |   735404 |   473882 |    38222     26 |     3170 |        0
883.66/883.98	c  878s |      19 |   736809 |   475182 |    38222     26 |     3170 |        0
885.76/886.00	c  880s |      19 |   738296 |   476582 |    38222     26 |     3170 |        0
887.76/888.06	c  882s |      19 |   739583 |   477682 |    38222     26 |     3170 |        0
889.86/890.17	c  885s |      19 |   741139 |   479082 |    38222     26 |     3170 |        0
892.06/892.31	c  887s |      19 |   742926 |   480682 |    38222     26 |     3170 |        0
894.06/894.32	c  889s |      19 |   744456 |   482082 |    38222     27 |     3170 |        0
896.27/896.53	c  891s |      19 |   744999 |   482582 |    38222     27 |     3170 |        0
898.36/898.64	c  893s |      19 |   746795 |   484182 |    38222     27 |     3170 |        0
900.46/900.78	c  895s |      19 |   748657 |   485882 |    38222     27 |     3170 |        0
902.56/902.89	c  897s |      19 |   750442 |   487482 |    38222     27 |     3170 |        0
906.06/906.32	c  901s |      19 |   750909 |   487882 |    38222     27 |     3170 |        0
908.06/908.36	c  903s |      19 |   752703 |   489482 |    38222     27 |     3170 |        0
910.06/910.38	c  905s |      19 |   754487 |   491082 |    38222     27 |     3170 |        0
912.16/912.40	c  907s |      19 |   756215 |   492682 |    38222     27 |     3170 |        0
914.26/914.51	c  909s |      19 |   757788 |   494082 |    38222     27 |     3170 |        0
916.25/916.56	c  911s |      19 |   759237 |   495382 |    38222     27 |     3170 |        0
918.36/918.64	c  913s |      19 |   760668 |   496682 |    38222     27 |     3170 |        0
920.35/920.66	c  915s |      19 |   762058 |   497982 |    38222     27 |     3170 |        0
922.45/922.75	c  917s |      19 |   763478 |   499282 |    38222     27 |     3170 |        0
924.65/924.93	c  919s |      19 |   764817 |   500482 |    38222     27 |     3170 |        0
926.85/927.15	c  922s |      19 |   765987 |   501582 |    38222     27 |     3170 |        0
929.15/929.42	c  924s |      19 |   767076 |   502582 |    38222     28 |     3170 |        0
931.15/931.49	c  926s |      19 |   768957 |   504282 |    38222     28 |     3170 |        0
934.35/934.60	c  929s |      19 |   769859 |   505082 |    38222     28 |     3170 |        0
936.34/936.68	c  931s |      19 |   771719 |   506682 |    38222     28 |     3170 |        0
938.44/938.80	c  933s |      19 |   773266 |   508082 |    38222     28 |     3170 |        0
940.54/940.88	c  935s |      19 |   774822 |   509482 |    38222     28 |     3170 |        0
942.64/942.98	c  937s |      19 |   776352 |   510882 |    38222     28 |     3170 |        0
944.84/945.10	c  940s |      19 |   777860 |   512282 |    38222     28 |     3170 |        0
946.94/947.29	c  942s |      19 |   779332 |   513582 |    38222     28 |     3170 |        0
949.14/949.43	c  944s |      19 |   780851 |   514982 |    38222     28 |     3170 |        0
951.24/951.54	c  946s |      19 |   782146 |   516182 |    38222     28 |     3170 |        0
953.34/953.61	c  948s |      19 |   783558 |   517482 |    38222     28 |     3170 |        0
955.43/955.79	c  950s |      19 |   784966 |   518782 |    38222     28 |     3170 |        0
957.63/957.90	c  952s |      19 |   786251 |   519982 |    38222     28 |     3170 |        0
959.63/959.90	c  954s |      19 |   787660 |   521282 |    38222     28 |     3170 |        0
962.44/962.78	c  957s |      19 |   788948 |   522482 |    38222     29 |     3170 |        0
964.54/964.81	c  959s |      19 |   790722 |   523982 |    38222     29 |     3170 |        0
966.64/966.92	c  961s |      19 |   793003 |   526082 |    38222     29 |     3170 |        0
968.63/968.95	c  963s |      19 |   794348 |   527282 |    38222     29 |     3170 |        0
970.73/971.00	c  965s |      19 |   796375 |   529082 |    38222     29 |     3170 |        0
972.73/973.00	c  967s |      19 |   798263 |   530782 |    38222     29 |     3170 |        0
974.73/975.02	c  969s |      19 |   799972 |   532382 |    38222     29 |     3170 |        0
976.73/977.09	c  971s |      19 |   801617 |   533882 |    38222     29 |     3170 |        0
978.93/979.23	c  974s |      19 |   803332 |   535482 |    38222     29 |     3170 |        0
980.93/981.25	c  976s |      19 |   804150 |   536182 |    38222     29 |     3170 |        0
982.92/983.27	c  978s |      19 |   810002 |   540882 |    38222     29 |     3170 |        0
985.44/985.72	c  980s |      19 |   813030 |   543282 |    38222     30 |     3170 |        0
987.43/987.77	c  982s |      19 |   815568 |   545182 |    38222     30 |     3170 |        0
989.43/989.79	c  984s |      19 |   818054 |   547082 |    38222     30 |     3170 |        0
991.53/991.80	c  986s |      19 |   821204 |   549582 |    38222     30 |     3170 |        0
993.53/993.82	c  988s |      19 |   823985 |   551782 |    38222     30 |     3170 |        0
995.53/995.84	c  990s |      19 |   826734 |   553982 |    38222     30 |     3170 |        0
997.62/997.91	c  992s |      19 |   829182 |   555982 |    38222     30 |     3170 |        0
999.73/1000.07	c  994s |      19 |   831275 |   557682 |    38222     30 |     3170 |        0
1001.83/1002.12	c  997s |      19 |   833232 |   559282 |    38222     30 |     3170 |        0
1003.82/1004.18	c  999s |      19 |   835377 |   560982 |    38222     30 |     3170 |        0
1005.82/1006.20	c 1001s |      19 |   837207 |   562482 |    38222     30 |     3170 |        0
1007.92/1008.29	c 1003s |      19 |   839040 |   563982 |    38222     30 |     3170 |        0
1010.02/1010.36	c 1005s |      19 |   840455 |   565082 |    38222     31 |     3170 |        0
1012.02/1012.37	c 1007s |      19 |   842465 |   566782 |    38222     31 |     3170 |        0
1014.12/1014.45	c 1009s |      19 |   844636 |   568582 |    38222     31 |     3170 |        0
1016.12/1016.49	c 1011s |      19 |   846849 |   570282 |    38222     31 |     3170 |        0
1018.22/1018.59	c 1013s |      19 |   848960 |   572082 |    38222     31 |     3170 |        0
1020.31/1020.65	c 1015s |      19 |   850916 |   573782 |    38222     31 |     3170 |        0
1022.31/1022.68	c 1017s |      19 |   852820 |   575282 |    38222     31 |     3170 |        0
1024.41/1024.78	c 1019s |      19 |   854406 |   576682 |    38222     31 |     3170 |        0
1026.41/1026.78	c 1021s |      19 |   856093 |   578082 |    38222     31 |     3170 |        0
1028.51/1028.86	c 1023s |      19 |   857820 |   579582 |    38222     31 |     3170 |        0
1030.61/1030.95	c 1025s |      19 |   859672 |   581082 |    38222     31 |     3170 |        0
1032.72/1033.09	c 1028s |      19 |   861349 |   582382 |    38222     31 |     3170 |        0
1034.92/1035.22	c 1030s |      19 |   862826 |   583582 |    38222     31 |     3170 |        0
1037.01/1037.37	c 1032s |      19 |   864389 |   584882 |    38222     32 |     3170 |        0
1039.11/1039.44	c 1034s |      19 |   866241 |   586382 |    38222     32 |     3170 |        0
1041.10/1041.46	c 1036s |      19 |   868541 |   588282 |    38222     32 |     3170 |        0
1043.20/1043.53	c 1038s |      19 |   870791 |   590082 |    38222     32 |     3170 |        0
1045.20/1045.56	c 1040s |      19 |   873122 |   592082 |    38222     32 |     3170 |        0
1047.20/1047.59	c 1042s |      19 |   875212 |   593782 |    38222     32 |     3170 |        0
1049.30/1049.65	c 1044s |      19 |   876884 |   595182 |    38222     32 |     3170 |        0
1051.41/1051.72	c 1046s |      19 |   878750 |   596682 |    38222     32 |     3170 |        0
1053.40/1053.75	c 1048s |      19 |   880509 |   598182 |    38222     32 |     3170 |        0
1055.50/1055.86	c 1050s |      19 |   882286 |   599682 |    38222     32 |     3170 |        0
1057.60/1057.92	c 1052s |      19 |   883797 |   600982 |    38222     32 |     3170 |        0
1059.60/1059.92	c 1054s |      19 |   885321 |   602282 |    38222     32 |     3170 |        0
1061.60/1061.92	c 1056s |      19 |   886914 |   603682 |    38222     32 |     3170 |        0
1063.60/1063.95	c 1058s |      19 |   888697 |   605182 |    38222     32 |     3170 |        0
1065.70/1066.04	c 1060s |      19 |   889296 |   605682 |    38222     33 |     3170 |        0
1068.90/1069.22	c 1064s |      19 |   890064 |   606282 |    38222     33 |     3170 |        0
1070.90/1071.28	c 1066s |      19 |   892586 |   608382 |    38222     33 |     3170 |        0
1073.00/1073.35	c 1068s |      19 |   894721 |   610182 |    38222     33 |     3170 |        0
1075.00/1075.39	c 1070s |      19 |   896521 |   611782 |    38222     33 |     3170 |        0
1077.09/1077.42	c 1072s |      19 |   898415 |   613382 |    38222     33 |     3170 |        0
1079.19/1079.53	c 1074s |      19 |   900319 |   615082 |    38222     33 |     3170 |        0
1081.19/1081.56	c 1076s |      19 |   902079 |   616582 |    38222     33 |     3170 |        0
1083.30/1083.65	c 1078s |      19 |   903824 |   618082 |    38222     33 |     3170 |        0
1085.40/1085.77	c 1080s |      19 |   905109 |   619182 |    38222     33 |     3170 |        0
1087.49/1087.87	c 1082s |      19 |   906982 |   620782 |    38222     33 |     3170 |        0
1089.59/1089.95	c 1084s |      19 |   908480 |   622082 |    38222     33 |     3170 |        0
1091.59/1091.96	c 1086s |      19 |   910058 |   623382 |    38222     33 |     3170 |        0
1093.69/1094.08	c 1088s |      19 |   911908 |   624882 |    38222     33 |     3170 |        0
1095.79/1096.14	c 1091s |      19 |   913537 |   626282 |    38222     33 |     3170 |        0
1099.69/1100.05	c 1094s |      19 |   914365 |   626982 |    38222     34 |     3170 |        0
1101.78/1102.13	c 1097s |      19 |   916794 |   628882 |    38222     34 |     3170 |        0
1103.88/1104.23	c 1099s |      19 |   919654 |   631082 |    38222     34 |     3170 |        0
1105.88/1106.27	c 1101s |      19 |   921744 |   632682 |    38222     34 |     3170 |        0
1107.98/1108.39	c 1103s |      19 |   923912 |   634482 |    38222     34 |     3170 |        0
1110.08/1110.41	c 1105s |      19 |   925982 |   636182 |    38222     34 |     3170 |        0
1112.18/1112.50	c 1107s |      19 |   928001 |   637882 |    38222     34 |     3170 |        0
1114.18/1114.58	c 1109s |      19 |   929714 |   639382 |    38222     34 |     3170 |        0
1116.29/1116.62	c 1111s |      19 |   931534 |   640882 |    38222     34 |     3170 |        0
1118.28/1118.65	c 1113s |      19 |   933150 |   642282 |    38222     34 |     3170 |        0
1120.38/1120.76	c 1115s |      19 |   934813 |   643682 |    38222     34 |     3170 |        0
1122.58/1122.95	c 1117s |      19 |   936680 |   645182 |    38222     34 |     3170 |        0
1124.58/1124.98	c 1119s |      19 |   938139 |   646382 |    38222     34 |     3170 |        0
1126.68/1127.05	c 1121s |      19 |   939416 |   647482 |    38222     35 |     3170 |        0
1128.78/1129.11	c 1124s |      19 |   941863 |   649482 |    38222     35 |     3170 |        0
1130.78/1131.14	c 1126s |      19 |   944137 |   651282 |    38222     35 |     3170 |        0
1132.78/1133.15	c 1128s |      19 |   946250 |   652982 |    38222     35 |     3170 |        0
1134.88/1135.22	c 1130s |      19 |   948047 |   654482 |    38222     35 |     3170 |        0
1136.87/1137.27	c 1132s |      19 |   950102 |   656182 |    38222     35 |     3170 |        0
1138.97/1139.37	c 1134s |      19 |   951961 |   657782 |    38222     35 |     3170 |        0
1140.97/1141.39	c 1136s |      19 |   953833 |   659382 |    38222     35 |     3170 |        0
1143.17/1143.52	c 1138s |      19 |   955620 |   660882 |    38222     35 |     3170 |        0
1145.28/1145.63	c 1140s |      19 |   957143 |   662182 |    42045     35 |     3170 |        0
1147.28/1147.63	c 1142s |      19 |   958656 |   663482 |    42045     35 |     3170 |        0
1149.28/1149.64	c 1144s |      19 |   960320 |   664882 |    42045     35 |     3170 |        0
1151.28/1151.67	c 1146s |      19 |   961570 |   665882 |    42045     35 |     3170 |        0
1152.68/1153.02	c 1147s |      20 |   962692 |   666827 |    42045     35 |     3170 |        0
1157.07/1157.45	c 1152s |      20 |   964179 |   668027 |    42045     35 |     3170 |        0
1159.08/1159.49	c 1154s |      20 |   966379 |   669827 |    42045     35 |     3170 |        0
1161.17/1161.58	c 1156s |      20 |   968399 |   671527 |    42045     35 |     3170 |        0
1163.27/1163.62	c 1158s |      20 |   969953 |   672827 |    42045     36 |     3170 |        0
1165.27/1165.69	c 1160s |      20 |   971861 |   674527 |    42045     36 |     3170 |        0
1167.37/1167.72	c 1162s |      20 |   974246 |   676527 |    42045     36 |     3170 |        0
1169.47/1169.83	c 1164s |      20 |   977249 |   678927 |    42045     36 |     3170 |        0
1171.47/1171.85	c 1166s |      20 |   979727 |   680927 |    42045     36 |     3170 |        0
1173.57/1173.97	c 1168s |      20 |   981242 |   682227 |    42045     36 |     3170 |        0
1175.67/1176.05	c 1170s |      20 |   983653 |   684227 |    42045     36 |     3170 |        0
1177.77/1178.13	c 1173s |      20 |   985812 |   686027 |    42045     36 |     3170 |        0
1179.76/1180.19	c 1175s |      20 |   987634 |   687627 |    42045     36 |     3170 |        0
1181.86/1182.22	c 1177s |      20 |   989338 |   689127 |    42045     36 |     3170 |        0
1183.96/1184.32	c 1179s |      20 |   990986 |   690627 |    42045     36 |     3170 |        0
1186.06/1186.40	c 1181s |      20 |   992636 |   692027 |    42045     36 |     3170 |        0
1188.06/1188.41	c 1183s |      20 |   994016 |   693227 |    42045     36 |     3170 |        0
1190.16/1190.58	c 1185s |      20 |   995392 |   694427 |    42045     37 |     3170 |        0
1192.26/1192.60	c 1187s |      20 |   997220 |   696027 |    42045     37 |     3170 |        0
1194.27/1194.67	c 1189s |      20 |   998998 |   697627 |    42045     37 |     3170 |        0
1196.46/1196.83	c 1191s |      20 |  1000264 |   698727 |    42045     37 |     3170 |        0
1198.46/1198.88	c 1193s |      20 |  1001885 |   700227 |    42045     37 |     3170 |        0
1200.56/1200.90	c 1195s |      20 |  1003807 |   701627 |    42045     37 |     3170 |        0
1202.56/1202.98	c 1197s |      20 |  1004201 |   701927 |    42045     37 |     3170 |        0
1204.66/1205.03	c 1199s |      20 |  1007372 |   704827 |    42045     37 |     3170 |        0
1206.76/1207.11	c 1202s |      20 |  1010117 |   707327 |    42045     37 |     3170 |        0
1208.76/1209.18	c 1204s |      20 |  1012519 |   709527 |    42045     37 |     3170 |        0
1210.87/1211.25	c 1206s |      20 |  1014797 |   711627 |    42045     37 |     3170 |        0
1212.86/1213.26	c 1208s |      20 |  1016610 |   713327 |    42045     37 |     3170 |        0
1214.96/1215.36	c 1210s |      20 |  1018414 |   715027 |    42045     37 |     3170 |        0
1216.96/1217.36	c 1212s |      20 |  1020163 |   716727 |    42045     37 |     3170 |        0
1218.96/1219.38	c 1214s |      20 |  1021717 |   718227 |    42045     38 |     3170 |        0
1221.06/1221.42	c 1216s |      20 |  1023404 |   719827 |    42045     38 |     3170 |        0
1223.06/1223.47	c 1218s |      20 |  1025048 |   721427 |    42045     38 |     3170 |        0
1225.06/1225.50	c 1220s |      20 |  1026526 |   722827 |    42045     38 |     3170 |        0
1227.16/1227.57	c 1222s |      20 |  1027993 |   724227 |    42045     38 |     3170 |        0
1229.26/1229.66	c 1224s |      20 |  1029439 |   725627 |    42045     38 |     3170 |        0
1231.26/1231.68	c 1226s |      20 |  1031136 |   726927 |    42045     38 |     3170 |        0
1233.36/1233.74	c 1228s |      20 |  1033319 |   728427 |    42045     38 |     3170 |        0
1235.36/1235.77	c 1230s |      20 |  1034705 |   729627 |    42045     38 |     3170 |        0
1237.46/1237.88	c 1232s |      20 |  1036028 |   730827 |    42045     38 |     3170 |        0
1239.56/1239.94	c 1234s |      20 |  1037504 |   732127 |    42045     38 |     3170 |        0
1241.66/1242.09	c 1237s |      20 |  1038938 |   733427 |    42045     38 |     3170 |        0
1243.76/1244.15	c 1239s |      20 |  1040228 |   734627 |    42045     38 |     3170 |        0
1245.86/1246.20	c 1241s |      20 |  1041539 |   735827 |    42045     38 |     3170 |        0
1247.96/1248.35	c 1243s |      20 |  1042668 |   736927 |    42045     38 |     3170 |        0
1250.16/1250.54	c 1245s |      20 |  1043968 |   738127 |    42045     38 |     3170 |        0
1252.25/1252.66	c 1247s |      20 |  1045247 |   739327 |    42045     38 |     3170 |        0
1254.35/1254.75	c 1249s |      20 |  1046313 |   740327 |    42045     39 |     3170 |        0
1256.45/1256.83	c 1251s |      20 |  1047686 |   741627 |    42045     39 |     3170 |        0
1258.55/1258.95	c 1253s |      20 |  1049057 |   742927 |    42045     39 |     3170 |        0
1260.65/1261.00	c 1255s |      20 |  1050419 |   744227 |    42045     39 |     3170 |        0
1262.75/1263.10	c 1258s |      20 |  1051682 |   745427 |    42045     39 |     3170 |        0
1264.76/1265.16	c 1260s |      20 |  1053053 |   746727 |    42045     39 |     3170 |        0
1266.86/1267.30	c 1262s |      20 |  1054419 |   748027 |    42045     39 |     3170 |        0
1269.06/1269.48	c 1264s |      20 |  1055800 |   749327 |    42045     39 |     3170 |        0
1271.26/1271.61	c 1266s |      20 |  1057071 |   750527 |    42045     39 |     3170 |        0
1273.35/1273.80	c 1268s |      20 |  1058317 |   751727 |    42045     39 |     3170 |        0
1275.55/1275.90	c 1270s |      20 |  1059284 |   752627 |    42045     39 |     3170 |        0
1277.65/1278.04	c 1272s |      20 |  1060367 |   753627 |    42045     39 |     3170 |        0
1279.65/1280.10	c 1275s |      20 |  1061424 |   754627 |    42045     39 |     3170 |        0
1281.75/1282.10	c 1277s |      20 |  1062457 |   755527 |    42045     39 |     3170 |        0
1283.85/1284.28	c 1279s |      20 |  1063349 |   756327 |    42045     39 |     3170 |        0
1285.95/1286.39	c 1281s |      20 |  1064318 |   757227 |    42045     39 |     3170 |        0
1288.15/1288.57	c 1283s |      20 |  1065368 |   758227 |    42045     39 |     3170 |        0
1290.35/1290.74	c 1285s |      20 |  1066424 |   759227 |    42045     39 |     3170 |        0
1292.45/1292.83	c 1287s |      20 |  1067479 |   760227 |    42045     39 |     3170 |        0
1294.55/1294.92	c 1289s |      20 |  1068430 |   761127 |    42045     39 |     3170 |        0
1296.65/1297.03	c 1291s |      20 |  1069136 |   761727 |    42045     39 |     3170 |        0
1298.85/1299.21	c 1294s |      20 |  1069905 |   762427 |    42045     40 |     3170 |        0
1301.44/1301.85	c 1296s |      20 |  1070692 |   763127 |    42045     40 |     3170 |        0
1303.54/1303.93	c 1298s |      20 |  1072102 |   764427 |    42045     40 |     3170 |        0
1306.55/1306.95	c 1301s |      20 |  1073547 |   765727 |    42045     40 |     3170 |        0
1308.54/1308.96	c 1303s |      20 |  1075047 |   767027 |    42045     40 |     3170 |        0
1310.54/1310.98	c 1305s |      20 |  1076473 |   768327 |    42045     40 |     3170 |        0
1312.64/1313.00	c 1307s |      20 |  1077905 |   769627 |    42045     40 |     3170 |        0
1314.74/1315.14	c 1310s |      20 |  1079318 |   770927 |    42045     40 |     3170 |        0
1316.84/1317.24	c 1312s |      20 |  1080644 |   772127 |    42045     40 |     3170 |        0
1319.04/1319.40	c 1314s |      20 |  1081981 |   773327 |    42045     40 |     3170 |        0
1321.04/1321.47	c 1316s |      20 |  1083207 |   774427 |    42045     40 |     3170 |        0
1323.14/1323.58	c 1318s |      20 |  1084467 |   775427 |    42045     40 |     3170 |        0
1325.34/1325.70	c 1320s |      20 |  1086066 |   776827 |    42045     40 |     3170 |        0
1327.44/1327.83	c 1322s |      20 |  1087386 |   777927 |    42045     40 |     3170 |        0
1329.54/1329.93	c 1324s |      20 |  1088235 |   778727 |    42045     40 |     3170 |        0
1331.74/1332.11	c 1327s |      20 |  1089275 |   779727 |    42045     40 |     3170 |        0
1333.83/1334.23	c 1329s |      20 |  1090467 |   780727 |    42045     40 |     3170 |        0
1335.93/1336.38	c 1331s |      20 |  1091706 |   781827 |    42045     40 |     3170 |        0
1338.04/1338.41	c 1333s |      20 |  1092803 |   782727 |    42045     40 |     3170 |        0
1340.24/1340.60	c 1335s |      20 |  1094907 |   784327 |    42045     40 |     3170 |        0
1342.75/1343.16	c 1338s |      20 |  1095762 |   785127 |    42045     41 |     3170 |        0
1344.84/1345.24	c 1340s |      20 |  1096835 |   786127 |    42045     41 |     3170 |        0
1346.94/1347.32	c 1342s |      20 |  1098440 |   787627 |    42045     41 |     3170 |        0
1348.94/1349.37	c 1344s |      20 |  1099911 |   789027 |    42045     41 |     3170 |        0
1351.54/1352.00	c 1346s |      20 |  1101486 |   790527 |    42045     41 |     3170 |        0
1353.74/1354.12	c 1349s |      20 |  1102966 |   791927 |    42045     41 |     3170 |        0
1355.74/1356.13	c 1351s |      20 |  1104447 |   793327 |    42045     41 |     3170 |        0
1357.74/1358.13	c 1353s |      20 |  1105934 |   794727 |    42045     41 |     3170 |        0
1359.84/1360.26	c 1355s |      20 |  1107315 |   796027 |    42045     41 |     3170 |        0
1361.94/1362.31	c 1357s |      20 |  1108683 |   797327 |    42045     41 |     3170 |        0
1365.73/1366.11	c 1361s |      20 |  1109837 |   798327 |    42045     41 |     3170 |        0
1367.73/1368.16	c 1363s |      20 |  1112989 |   800727 |    42045     41 |     3170 |        0
1369.93/1370.32	c 1365s |      20 |  1115015 |   802427 |    42045     41 |     3170 |        0
1371.93/1372.35	c 1367s |      20 |  1116081 |   803327 |    42045     41 |     3170 |        0
1374.13/1374.54	c 1369s |      20 |  1117404 |   804527 |    42045     41 |     3170 |        0
1376.13/1376.59	c 1371s |      20 |  1118620 |   805627 |    42045     41 |     3170 |        0
1378.23/1378.69	c 1373s |      20 |  1119787 |   806727 |    42045     41 |     3170 |        0
1380.43/1380.83	c 1375s |      20 |  1120926 |   807827 |    42045     41 |     3170 |        0
1382.73/1383.19	c 1378s |      20 |  1121730 |   808527 |    42045     42 |     3170 |        0
1384.83/1385.27	c 1380s |      20 |  1123547 |   810127 |    42045     42 |     3170 |        0
1386.93/1387.37	c 1382s |      20 |  1125372 |   811727 |    42045     42 |     3170 |        0
1389.03/1389.42	c 1384s |      20 |  1126947 |   813227 |    42045     42 |     3170 |        0
1391.14/1391.57	c 1386s |      20 |  1128407 |   814627 |    42045     42 |     3170 |        0
1393.23/1393.63	c 1388s |      20 |  1129929 |   816027 |    42045     42 |     3170 |        0
1395.23/1395.63	c 1390s |      20 |  1131177 |   817227 |    42045     42 |     3170 |        0
1397.33/1397.74	c 1392s |      20 |  1132437 |   818427 |    42045     42 |     3170 |        0
1399.43/1399.81	c 1394s |      20 |  1133598 |   819527 |    42045     42 |     3170 |        0
1401.53/1401.93	c 1396s |      20 |  1134741 |   820627 |    42045     42 |     3170 |        0
1403.63/1404.06	c 1398s |      20 |  1135874 |   821727 |    42045     42 |     3170 |        0
1405.73/1406.19	c 1401s |      20 |  1137125 |   822927 |    42045     42 |     3170 |        0
1407.83/1408.21	c 1403s |      20 |  1138183 |   823927 |    42045     42 |     3170 |        0
1409.84/1410.27	c 1405s |      20 |  1139259 |   824927 |    42045     42 |     3170 |        0
1411.93/1412.35	c 1407s |      20 |  1140427 |   826027 |    42045     42 |     3170 |        0
1413.93/1414.39	c 1409s |      20 |  1141473 |   827027 |    42045     42 |     3170 |        0
1416.03/1416.45	c 1411s |      20 |  1142509 |   828027 |    42045     42 |     3170 |        0
1418.13/1418.58	c 1413s |      20 |  1143558 |   829027 |    42045     42 |     3170 |        0
1420.33/1420.72	c 1415s |      20 |  1144592 |   830027 |    42045     42 |     3170 |        0
1422.63/1423.00	c 1417s |      20 |  1145341 |   830727 |    42045     43 |     3170 |        0
1424.63/1425.01	c 1419s |      20 |  1146689 |   832027 |    42045     43 |     3170 |        0
1426.63/1427.03	c 1421s |      20 |  1148055 |   833327 |    42045     43 |     3170 |        0
1428.73/1429.17	c 1424s |      20 |  1149412 |   834627 |    42045     43 |     3170 |        0
1430.83/1431.27	c 1426s |      20 |  1150759 |   835927 |    42045     43 |     3170 |        0
1432.93/1433.33	c 1428s |      20 |  1152103 |   837227 |    42045     43 |     3170 |        0
1434.92/1435.39	c 1430s |      20 |  1153343 |   838427 |    42045     43 |     3170 |        0
1437.02/1437.44	c 1432s |      20 |  1154381 |   839427 |    42045     43 |     3170 |        0
1439.02/1439.46	c 1434s |      20 |  1155334 |   840327 |    42045     43 |     3170 |        0
1441.22/1441.63	c 1436s |      20 |  1156394 |   841327 |    42045     43 |     3170 |        0
1443.22/1443.64	c 1438s |      20 |  1157445 |   842327 |    42045     43 |     3170 |        0
1445.42/1445.80	c 1440s |      20 |  1158475 |   843327 |    42045     43 |     3170 |        0
1447.42/1447.81	c 1442s |      20 |  1159408 |   844227 |    42045     43 |     3170 |        0
1449.53/1449.99	c 1444s |      20 |  1160437 |   845227 |    42045     43 |     3170 |        0
1451.63/1452.04	c 1446s |      20 |  1161375 |   846127 |    42045     43 |     3170 |        0
1453.62/1454.06	c 1448s |      20 |  1162326 |   847027 |    42045     43 |     3170 |        0
1455.62/1456.07	c 1450s |      20 |  1163260 |   847927 |    42045     43 |     3170 |        0
1457.82/1458.28	c 1453s |      20 |  1164190 |   848827 |    42045     43 |     3170 |        0
1459.92/1460.33	c 1455s |      20 |  1165126 |   849727 |    42045     43 |     3170 |        0
1462.52/1462.98	c 1457s |      20 |  1166205 |   850727 |    42045     43 |     3170 |        0
1464.62/1465.08	c 1459s |      20 |  1167134 |   851527 |    42045     43 |     3170 |        0
1466.82/1467.25	c 1462s |      20 |  1168114 |   852427 |    42045     43 |     3170 |        0
1470.33/1470.80	c 1465s |      20 |  1168959 |   853227 |    42045     44 |     3170 |        0
1472.63/1473.02	c 1467s |      20 |  1169825 |   854027 |    42045     44 |     3170 |        0
1474.62/1475.06	c 1469s |      20 |  1171559 |   855427 |    42045     44 |     3170 |        0
1477.91/1478.40	c 1473s |      20 |  1172437 |   856127 |    42045     44 |     3170 |        0
1480.11/1480.50	c 1475s |      20 |  1175414 |   858527 |    42045     44 |     3170 |        0
1482.11/1482.54	c 1477s |      20 |  1177084 |   859927 |    42045     44 |     3170 |        0
1484.11/1484.59	c 1479s |      20 |  1178633 |   861227 |    42045     44 |     3170 |        0
1486.21/1486.66	c 1481s |      20 |  1179907 |   862427 |    42045     44 |     3170 |        0
1488.31/1488.72	c 1483s |      20 |  1181324 |   863727 |    42045     44 |     3170 |        0
1490.41/1490.81	c 1485s |      20 |  1182988 |   865227 |    42045     44 |     3170 |        0
1492.51/1492.90	c 1487s |      20 |  1184515 |   866627 |    42045     44 |     3170 |        0
1494.52/1494.96	c 1489s |      20 |  1186054 |   868027 |    42045     44 |     3170 |        0
1496.61/1497.08	c 1491s |      20 |  1187346 |   869227 |    42045     44 |     3170 |        0
1498.81/1499.23	c 1494s |      20 |  1188633 |   870427 |    42045     44 |     3170 |        0
1500.92/1501.35	c 1496s |      20 |  1189769 |   871427 |    42045     44 |     3170 |        0
1506.52/1506.91	c 1501s |      20 |  1189885 |   871527 |    42045     44 |     3170 |        0
1508.61/1509.08	c 1503s |      20 |  1191483 |   872727 |    42045     44 |     3170 |        0
1510.81/1511.25	c 1506s |      20 |  1193529 |   874327 |    42045     44 |     3170 |        0
1512.91/1513.35	c 1508s |      20 |  1194845 |   875427 |    42045     44 |     3170 |        0
1515.31/1515.80	c 1510s |      20 |  1195459 |   875927 |    42045     45 |     3170 |        0
1517.41/1517.81	c 1512s |      20 |  1197216 |   877327 |    42045     45 |     3170 |        0
1519.41/1519.84	c 1514s |      20 |  1199967 |   879527 |    42045     45 |     3170 |        0
1521.41/1521.86	c 1516s |      20 |  1202796 |   881927 |    42045     45 |     3170 |        0
1523.41/1523.89	c 1518s |      20 |  1205330 |   884127 |    42045     45 |     3170 |        0
1525.51/1525.97	c 1520s |      20 |  1208162 |   886527 |    42045     45 |     3170 |        0
1527.62/1528.03	c 1522s |      20 |  1210142 |   888227 |    42045     45 |     3170 |        0
1529.61/1530.04	c 1524s |      20 |  1212204 |   890027 |    42045     45 |     3170 |        0
1531.71/1532.11	c 1527s |      20 |  1213428 |   891127 |    42045     45 |     3170 |        0
1533.71/1534.18	c 1529s |      20 |  1215031 |   892527 |    42045     45 |     3170 |        0
1535.91/1536.33	c 1531s |      20 |  1216520 |   893827 |    42045     45 |     3170 |        0
1538.01/1538.46	c 1533s |      20 |  1217765 |   894927 |    42045     45 |     3170 |        0
1540.21/1540.62	c 1535s |      20 |  1219191 |   896227 |    42045     45 |     3170 |        0
1542.21/1542.62	c 1537s |      20 |  1220572 |   897527 |    42045     45 |     3170 |        0
1544.51/1544.98	c 1539s |      20 |  1221781 |   898627 |    42045     46 |     3170 |        0
1546.60/1547.05	c 1541s |      20 |  1224126 |   900827 |    42045     46 |     3170 |        0
1548.60/1549.07	c 1543s |      20 |  1226710 |   903227 |    42045     46 |     3170 |        0
1550.61/1551.07	c 1545s |      20 |  1228971 |   905227 |    42045     46 |     3170 |        0
1552.70/1553.14	c 1548s |      20 |  1231241 |   907327 |    42045     46 |     3170 |        0
1554.80/1555.22	c 1550s |      20 |  1233367 |   909327 |    42045     46 |     3170 |        0
1556.90/1557.32	c 1552s |      20 |  1235616 |   911327 |    42045     46 |     3170 |        0
1558.90/1559.37	c 1554s |      20 |  1237886 |   913427 |    42045     46 |     3170 |        0
1561.00/1561.47	c 1556s |      20 |  1240043 |   915427 |    42045     46 |     3170 |        0
1563.10/1563.55	c 1558s |      20 |  1242025 |   917327 |    42045     46 |     3170 |        0
1565.20/1565.65	c 1560s |      20 |  1243606 |   918827 |    42045     46 |     3170 |        0
1567.30/1567.70	c 1562s |      20 |  1245128 |   920227 |    42045     46 |     3170 |        0
1569.31/1569.76	c 1564s |      20 |  1246466 |   921527 |    42045     47 |     3170 |        0
1571.40/1571.85	c 1566s |      20 |  1248137 |   923127 |    42045     47 |     3170 |        0
1573.40/1573.85	c 1568s |      20 |  1249594 |   924527 |    42045     47 |     3170 |        0
1575.50/1575.93	c 1570s |      20 |  1250456 |   925327 |    42045     47 |     3170 |        0
1577.60/1578.01	c 1572s |      20 |  1251839 |   926627 |    42045     47 |     3170 |        0
1579.60/1580.06	c 1574s |      20 |  1253263 |   927927 |    42045     47 |     3170 |        0
1581.60/1582.07	c 1576s |      20 |  1254506 |   929127 |    42045     47 |     3170 |        0
1583.71/1584.10	c 1579s |      20 |  1255662 |   930227 |    42045     47 |     3170 |        0
1585.70/1586.12	c 1581s |      20 |  1256810 |   931327 |    42045     47 |     3170 |        0
1587.70/1588.14	c 1583s |      20 |  1257857 |   932327 |    42045     47 |     3170 |        0
1589.80/1590.21	c 1585s |      20 |  1258892 |   933327 |    42045     47 |     3170 |        0
1591.90/1592.34	c 1587s |      20 |  1259469 |   933827 |    42045     47 |     3170 |        0
1593.99/1594.48	c 1589s |      20 |  1261943 |   935827 |    42045     47 |     3170 |        0
1596.09/1596.53	c 1591s |      20 |  1264098 |   937527 |    42045     47 |     3170 |        0
1598.09/1598.55	c 1593s |      20 |  1266186 |   939327 |    42045     47 |     3170 |        0
1600.10/1600.60	c 1595s |      20 |  1267489 |   940427 |    42045     47 |     3170 |        0
1602.30/1602.76	c 1597s |      20 |  1269141 |   941827 |    42045     47 |     3170 |        0
1604.39/1604.90	c 1599s |      20 |  1271505 |   943927 |    42045     48 |     3170 |        0
1609.19/1609.64	c 1604s |      20 |  1273941 |   946027 |    42045     48 |     3170 |        0
1611.29/1611.76	c 1606s |      20 |  1275963 |   947727 |    42045     48 |     3170 |        0
1613.40/1613.81	c 1608s |      20 |  1277999 |   949427 |    42045     48 |     3170 |        0
1615.50/1615.91	c 1610s |      20 |  1279755 |   951027 |    42045     48 |     3170 |        0
1617.59/1618.00	c 1612s |      20 |  1281608 |   952627 |    42045     48 |     3170 |        0
1619.59/1620.09	c 1615s |      20 |  1283486 |   954227 |    42045     48 |     3170 |        0
1621.69/1622.11	c 1617s |      20 |  1285068 |   955627 |    42045     48 |     3170 |        0
1623.79/1624.20	c 1619s |      20 |  1286756 |   957127 |    42045     48 |     3170 |        0
1625.89/1626.31	c 1621s |      20 |  1288765 |   958927 |    42045     48 |     3170 |        0
1627.89/1628.39	c 1623s |      20 |  1290610 |   960527 |    42045     48 |     3170 |        0
1629.99/1630.44	c 1625s |      20 |  1292337 |   961927 |    42045     48 |     3170 |        0
1632.09/1632.53	c 1627s |      20 |  1294092 |   963427 |    42045     48 |     3170 |        0
1634.09/1634.59	c 1629s |      20 |  1295999 |   965127 |    42045     48 |     3170 |        0
1636.19/1636.67	c 1631s |      20 |  1297632 |   966627 |    42045     49 |     3170 |        0
1638.40/1638.82	c 1633s |      20 |  1299335 |   968227 |    42045     49 |     3170 |        0
1640.40/1640.85	c 1635s |      20 |  1301282 |   970027 |    42045     49 |     3170 |        0
1642.40/1642.89	c 1637s |      20 |  1303210 |   971827 |    42045     49 |     3170 |        0
1644.60/1645.02	c 1639s |      20 |  1304764 |   973227 |    42045     49 |     3170 |        0
1646.59/1647.10	c 1642s |      20 |  1306207 |   974427 |    42045     49 |     3170 |        0
1648.69/1649.11	c 1644s |      20 |  1308126 |   975927 |    42045     49 |     3170 |        0
1650.70/1651.13	c 1646s |      20 |  1309598 |   977127 |    42045     49 |     3170 |        0
1652.79/1653.23	c 1648s |      20 |  1311800 |   978927 |    42045     49 |     3170 |        0
1654.89/1655.31	c 1650s |      20 |  1314149 |   980827 |    42045     49 |     3170 |        0
1656.89/1657.36	c 1652s |      20 |  1316096 |   982427 |    42045     49 |     3170 |        0
1658.99/1659.48	c 1654s |      20 |  1318136 |   984127 |    42045     49 |     3170 |        0
1660.99/1661.49	c 1656s |      20 |  1319828 |   985527 |    42045     49 |     3170 |        0
1663.29/1663.74	c 1658s |      20 |  1321157 |   986627 |    42045     49 |     3170 |        0
1665.39/1665.88	c 1660s |      20 |  1322861 |   988027 |    42045     49 |     3170 |        0
1668.29/1668.78	c 1663s |      20 |  1324453 |   989327 |    42045     50 |     3170 |        0
1670.29/1670.78	c 1665s |      20 |  1325683 |   990227 |    42045     50 |     3170 |        0
1672.39/1672.85	c 1667s |      20 |  1328184 |   992227 |    42045     50 |     3170 |        0
1674.49/1674.95	c 1669s |      20 |  1330632 |   994227 |    46250     50 |     3170 |        0
1676.49/1676.96	c 1671s |      20 |  1332680 |   995927 |    46250     50 |     3170 |        0
1678.48/1678.97	c 1673s |      20 |  1335682 |   998527 |    46250     50 |     3170 |        0
1680.08/1680.52	c 1675s |      21 |  1337765 |  1000345 |    46250     50 |     3170 |        0
1682.08/1682.56	c 1677s |      21 |  1338512 |  1000945 |    46250     50 |     3170 |        0
1684.18/1684.69	c 1679s |      21 |  1340474 |  1002645 |    46250     50 |     3170 |        0
1687.18/1687.65	c 1682s |      21 |  1341940 |  1003945 |    46250     50 |     3170 |        0
1689.29/1689.73	c 1684s |      21 |  1343938 |  1005545 |    46250     50 |     3170 |        0
1691.28/1691.75	c 1686s |      21 |  1345675 |  1007045 |    46250     50 |     3170 |        0
1693.38/1693.83	c 1688s |      21 |  1347501 |  1008745 |    46250     50 |     3170 |        0
1695.48/1695.90	c 1690s |      21 |  1349354 |  1010345 |    46250     50 |     3170 |        0
1697.48/1697.91	c 1692s |      21 |  1350939 |  1011645 |    46250     50 |     3170 |        0
1699.58/1700.09	c 1694s |      21 |  1352559 |  1013145 |    46250     50 |     3170 |        0
1701.78/1702.21	c 1697s |      21 |  1353975 |  1014345 |    46250     50 |     3170 |        0
1703.78/1704.28	c 1699s |      21 |  1355305 |  1015545 |    46250     50 |     3170 |        0
1705.98/1706.43	c 1701s |      21 |  1356371 |  1016545 |    46250     51 |     3170 |        0
1707.98/1708.44	c 1703s |      21 |  1358202 |  1018045 |    46250     51 |     3170 |        0
1709.98/1710.49	c 1705s |      21 |  1360565 |  1020045 |    46250     51 |     3170 |        0
1712.18/1712.60	c 1707s |      21 |  1362414 |  1021745 |    46250     51 |     3170 |        0
1714.18/1714.66	c 1709s |      21 |  1364331 |  1023545 |    46250     51 |     3170 |        0
1716.28/1716.70	c 1711s |      21 |  1366139 |  1025245 |    46250     51 |     3170 |        0
1718.38/1718.82	c 1713s |      21 |  1367935 |  1026845 |    46250     51 |     3170 |        0
1720.48/1720.92	c 1715s |      21 |  1369359 |  1028145 |    46250     51 |     3170 |        0
1722.48/1722.96	c 1717s |      21 |  1371068 |  1029745 |    46250     51 |     3170 |        0
1724.57/1725.06	c 1719s |      21 |  1372929 |  1031445 |    46250     51 |     3170 |        0
1726.58/1727.07	c 1721s |      21 |  1374689 |  1033145 |    46250     51 |     3170 |        0
1728.67/1729.17	c 1724s |      21 |  1376234 |  1034645 |    46250     51 |     3170 |        0
1730.77/1731.28	c 1726s |      21 |  1377738 |  1036045 |    46250     51 |     3170 |        0
1732.87/1733.30	c 1728s |      21 |  1379146 |  1037345 |    46250     51 |     3170 |        0
1734.87/1735.35	c 1730s |      21 |  1380232 |  1038345 |    46250     51 |     3170 |        0
1736.87/1737.38	c 1732s |      21 |  1381362 |  1039345 |    46250     51 |     3170 |        0
1739.07/1739.55	c 1734s |      21 |  1382462 |  1040345 |    46250     51 |     3170 |        0
1741.28/1741.76	c 1736s |      21 |  1383418 |  1041245 |    46250     52 |     3170 |        0
1743.38/1743.81	c 1738s |      21 |  1385068 |  1042645 |    46250     52 |     3170 |        0
1745.38/1745.86	c 1740s |      21 |  1386200 |  1043545 |    46250     52 |     3170 |        0
1747.48/1747.94	c 1742s |      21 |  1389497 |  1045945 |    46250     52 |     3170 |        0
1749.58/1750.02	c 1744s |      21 |  1393186 |  1048545 |    46250     52 |     3170 |        0
1751.68/1752.13	c 1747s |      21 |  1396280 |  1050645 |    46250     52 |     3170 |        0
1753.68/1754.16	c 1749s |      21 |  1399068 |  1052545 |    46250     52 |     3170 |        0
1755.78/1756.21	c 1751s |      21 |  1401790 |  1054445 |    46250     52 |     3170 |        0
1757.87/1758.31	c 1753s |      21 |  1404127 |  1056245 |    46250     52 |     3170 |        0
1759.97/1760.41	c 1755s |      21 |  1406005 |  1057745 |    46250     52 |     3170 |        0
1761.97/1762.44	c 1757s |      21 |  1408098 |  1059345 |    46250     52 |     3170 |        0
1763.98/1764.50	c 1759s |      21 |  1410376 |  1060845 |    46250     52 |     3170 |        0
1766.07/1766.50	c 1761s |      21 |  1412286 |  1062245 |    46250     52 |     3170 |        0
1768.07/1768.52	c 1763s |      21 |  1414138 |  1063745 |    46250     52 |     3170 |        0
1770.07/1770.57	c 1765s |      21 |  1416042 |  1065345 |    46250     52 |     3170 |        0
1772.17/1772.63	c 1767s |      21 |  1418052 |  1066645 |    46250     53 |     3170 |        0
1774.27/1774.78	c 1769s |      21 |  1419892 |  1068045 |    46250     53 |     3170 |        0
1776.47/1776.90	c 1771s |      21 |  1421936 |  1069545 |    46250     53 |     3170 |        0
1778.47/1778.95	c 1773s |      21 |  1423544 |  1070845 |    46250     53 |     3170 |        0
1780.48/1780.98	c 1775s |      21 |  1425231 |  1072145 |    46250     53 |     3170 |        0
1782.57/1783.04	c 1777s |      21 |  1426857 |  1073445 |    46250     53 |     3170 |        0
1784.67/1785.17	c 1780s |      21 |  1428400 |  1074645 |    46250     53 |     3170 |        0
1786.67/1787.19	c 1782s |      21 |  1429852 |  1075845 |    46250     53 |     3170 |        0
1788.87/1789.31	c 1784s |      21 |  1431258 |  1076945 |    46250     53 |     3170 |        0
1790.97/1791.46	c 1786s |      21 |  1432697 |  1078145 |    46250     53 |     3170 |        0
1793.07/1793.59	c 1788s |      21 |  1434154 |  1079345 |    46250     53 |     3170 |        0
1795.27/1795.74	c 1790s |      21 |  1435505 |  1080445 |    46250     53 |     3170 |        0
1797.37/1797.83	c 1792s |      21 |  1436844 |  1081545 |    46250     53 |     3170 |        0
1799.47/1799.90	c 1794s |      21 |  1438074 |  1082645 |    46250     53 |     3170 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4103309-1466235308/watcher-4103309-1466235308 -o /tmp/evaluation-result-4103309-1466235308/solver-4103309-1466235308 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103309-1466235308.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.41 2.28 2.21 3/179 17220
/proc/meminfo: memFree=29319560/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=692668 CPUtime=0 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 2578 0 0 0 0 0 0 0 20 0 4 0 25577607 709292032 2938 33554432000 4194304 16246674 140736949768064 140736949767488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 173679 2948 441 2943 0 170573 0
[pid=17220/tid=17221] ppid=17217 vsize=709052 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 726069248 3005 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=714172 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 731312128 3022 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=718268 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 735506432 3039 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10021 s]
/proc/loadavg: 2.41 2.28 2.21 3/179 17220
/proc/meminfo: memFree=29319560/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1304132 CPUtime=0.09 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 31976 0 0 0 5 4 0 0 20 0 4 0 25577607 1335431168 32275 33554432000 4194304 16246674 140736949768064 140736949767376 12752373 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 326033 32288 800 2943 0 322927 0
[pid=17220/tid=17221] ppid=17217 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1335431168 32299 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1335431168 32310 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1335431168 32322 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1304132

[startup+0.200523 s]
/proc/loadavg: 2.41 2.28 2.21 3/179 17220
/proc/meminfo: memFree=29319560/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1316420 CPUtime=0.19 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 43318 0 0 0 14 5 0 0 20 0 4 0 25577607 1348014080 44127 33554432000 4194304 16246674 140736949768064 140736949767376 12654564 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 329105 44127 833 2943 0 325999 0
[pid=17220/tid=17221] ppid=17217 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1348014080 44127 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1348014080 44127 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1348014080 44127 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1316420

[startup+0.300484 s]
/proc/loadavg: 2.41 2.28 2.21 3/179 17220
/proc/meminfo: memFree=29319560/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1316420 CPUtime=0.29 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 56765 0 0 0 22 7 0 0 20 0 4 0 25577607 1348014080 57575 33554432000 4194304 16246674 140736949768064 140736949767376 12449399 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 329105 57591 834 2943 0 325999 0
[pid=17220/tid=17221] ppid=17217 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1348014080 57600 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1348014080 57610 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1348014080 57619 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1316420

[startup+0.7004 s]
/proc/loadavg: 2.41 2.28 2.21 3/179 17220
/proc/meminfo: memFree=29319560/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1316420 CPUtime=0.69 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 181198 0 0 0 45 24 0 0 20 0 4 0 25577607 1348014080 182007 33554432000 4194304 16246674 140736949768064 140736949749952 12414100 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 329105 182026 834 2943 0 325999 0
[pid=17220/tid=17221] ppid=17217 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1348014080 182037 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1348014080 182049 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1348014080 182059 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1316420

[startup+1.50041 s]
/proc/loadavg: 2.38 2.28 2.20 3/183 17224
/proc/meminfo: memFree=28238568/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1316420 CPUtime=1.49 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 269721 0 0 0 113 36 0 0 20 0 4 0 25577607 1348014080 270530 33554432000 4194304 16246674 140736949768064 140736949749952 4206845 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 329105 270530 834 2943 0 325999 0
[pid=17220/tid=17221] ppid=17217 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1348014080 270530 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1348014080 270530 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1348014080 270530 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1316420

[startup+3.10037 s]
/proc/loadavg: 2.38 2.28 2.20 3/183 17224
/proc/meminfo: memFree=28238064/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1316420 CPUtime=3.09 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 269722 0 0 0 273 36 0 0 20 0 4 0 25577607 1348014080 270531 33554432000 4194304 16246674 140736949768064 140736949749952 12655163 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 329105 270531 834 2943 0 325999 0
[pid=17220/tid=17221] ppid=17217 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1348014080 270531 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1348014080 270531 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1348014080 270531 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1316420

[startup+6.3004 s]
/proc/loadavg: 2.35 2.27 2.20 3/183 17224
/proc/meminfo: memFree=28234848/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1320516 CPUtime=6.29 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 270566 0 0 0 593 36 0 0 20 0 4 0 25577607 1352208384 271375 33554432000 4194304 16246674 140736949768064 140736949749952 5813426 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 330129 271375 891 2943 0 327023 0
[pid=17220/tid=17221] ppid=17217 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1352208384 271375 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1352208384 271375 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1352208384 271375 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1320516

[startup+12.7004 s]
/proc/loadavg: 2.32 2.27 2.20 4/183 17224
/proc/meminfo: memFree=28233752/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1320516 CPUtime=12.69 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 270814 0 0 0 1233 36 0 0 20 0 4 0 25577607 1352208384 271623 33554432000 4194304 16246674 140736949768064 140736949749952 5600728 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 330129 271623 898 2943 0 327023 0
[pid=17220/tid=17221] ppid=17217 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1352208384 271623 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1352208384 271623 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1352208384 271623 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1320516

[startup+25.5005 s]
/proc/loadavg: 2.25 2.26 2.20 4/183 17224
/proc/meminfo: memFree=28234136/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1320516 CPUtime=25.48 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 270815 0 0 0 2512 36 0 0 20 0 4 0 25577607 1352208384 271624 33554432000 4194304 16246674 140736949768064 140736949749952 6078307 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 330129 271624 898 2943 0 327023 0
[pid=17220/tid=17221] ppid=17217 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1352208384 271624 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1352208384 271624 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1352208384 271624 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1320516

[startup+51.1005 s]
/proc/loadavg: 2.37 2.28 2.21 3/183 17224
/proc/meminfo: memFree=28234008/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1320516 CPUtime=51.08 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 270816 0 0 0 5072 36 0 0 20 0 4 0 25577607 1352208384 271625 33554432000 4194304 16246674 140736949768064 140736949749952 13759567 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 330129 271625 899 2943 0 327023 0
[pid=17220/tid=17221] ppid=17217 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1352208384 271625 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1352208384 271625 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1352208384 271625 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1320516

[startup+102.3 s]
/proc/loadavg: 2.37 2.28 2.21 3/183 17226
/proc/meminfo: memFree=28234212/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1320516 CPUtime=102.28 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 270816 0 0 0 10192 36 0 0 20 0 4 0 25577607 1352208384 271625 33554432000 4194304 16246674 140736949768064 140736949749952 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 330129 271625 899 2943 0 327023 0
[pid=17220/tid=17221] ppid=17217 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1352208384 271625 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1352208384 271625 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1352208384 271625 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1320516


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

/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1393220

[startup+1362.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 17354
/proc/meminfo: memFree=26885056/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1393220 CPUtime=1361.94 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 289253 0 0 0 136145 49 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 140736949749952 5600384 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 348305 290058 900 2943 0 345199 0
[pid=17220/tid=17221] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1393220

[startup+1422.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 17355
/proc/meminfo: memFree=21793396/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1393220 CPUtime=1421.93 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 289253 0 0 0 142143 50 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 140736949749952 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 348305 290058 900 2943 0 345199 0
[pid=17220/tid=17221] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1393220

[startup+1482.3 s]
/proc/loadavg: 2.23 2.22 2.18 4/183 17356
/proc/meminfo: memFree=22809724/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1393220 CPUtime=1481.91 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 289253 0 0 0 148141 50 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 140736949749952 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 348305 290058 900 2943 0 345199 0
[pid=17220/tid=17221] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1393220

[startup+1542.31 s]
/proc/loadavg: 2.27 2.23 2.19 3/184 17360
/proc/meminfo: memFree=17656604/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1393220 CPUtime=1541.91 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 289253 0 0 0 154140 51 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 140736949749952 6010408 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 348305 290058 900 2943 0 345199 0
[pid=17220/tid=17221] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1393220

[startup+1602.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/184 17385
/proc/meminfo: memFree=17319732/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1393220 CPUtime=1601.89 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 289253 0 0 0 160138 51 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 140736949749952 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 348305 290058 900 2943 0 345199 0
[pid=17220/tid=17221] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1393220

[startup+1662.3 s]
/proc/loadavg: 2.28 2.25 2.19 4/183 17386
/proc/meminfo: memFree=17319680/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1393220 CPUtime=1661.89 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 289253 0 0 0 166137 52 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 140736949749952 5711855 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 348305 290058 900 2943 0 345199 0
[pid=17220/tid=17221] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1393220

[startup+1722.3 s]
/proc/loadavg: 2.26 2.25 2.19 4/183 17387
/proc/meminfo: memFree=17319172/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1393220 CPUtime=1721.88 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 289253 0 0 0 172136 52 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 140736949749952 5711968 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 348305 290058 900 2943 0 345199 0
[pid=17220/tid=17221] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1393220

[startup+1782.3 s]
/proc/loadavg: 2.17 2.22 2.18 3/183 17388
/proc/meminfo: memFree=17319084/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1393220 CPUtime=1781.87 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 289253 0 0 0 178134 53 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 140736949751064 5721677 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 348305 290058 900 2943 0 345199 0
[pid=17220/tid=17221] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1393220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.13 2.20 2.18 4/183 17388
/proc/meminfo: memFree=17136284/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1393220 CPUtime=1800.07 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 289253 0 0 0 179954 53 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 140736949749952 5601259 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 348305 290058 900 2943 0 345199 0
[pid=17220/tid=17221] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1393220

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

[startup+1800.5 s]
/proc/loadavg: 2.13 2.20 2.18 4/183 17388
/proc/meminfo: memFree=17136284/32872528 swapFree=1286400/1433568
[pid=17220] ppid=17217 vsize=1393220 CPUtime=1800.07 cores=0,2,4,6
/proc/17220/stat : 17220 (toysat) R 17217 17220 12983 0 -1 4202496 289253 0 0 0 179954 53 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 140736949749952 5601259 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17220/statm: 348305 290058 900 2943 0 345199 0
[pid=17220/tid=17221] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17221/stat : 17221 (toysat) S 17217 17220 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948916190448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17220/tid=17222] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17222/stat : 17222 (toysat) S 17217 17220 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948905700592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17220/tid=17223] ppid=17217 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17220/task/17223/stat : 17223 (toysat) S 17217 17220 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25577607 1426657280 290058 33554432000 4194304 16246674 140736949768064 139948824980656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1393220

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.55
CPU system time (s): 0.533918
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 1393220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.533918
maximum resident set size= 1160232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289253
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= 275
involuntary context switches= 2041

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.74628 second user time and 6.93295 second system time

The end

Begin job on node130 at 2016-06-18 09:35:08
IDJOB=4103309
IDBENCH=2324
IDSOLVER=2542
FILE ID=node130/4103309-1466235308
RUNJOBID= node130-1466206066-12999
PBS_JOBID= 19918147
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos14.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103309-1466235308/watcher-4103309-1466235308 -o /tmp/evaluation-result-4103309-1466235308/solver-4103309-1466235308 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103309-1466235308.opb

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

MD5SUM BENCH= 9a6d98eb18189bacb6bc49f39ff21900
RANDOM SEED=351388731

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29319932 kB
Buffers:          121656 kB
Cached:           133668 kB
SwapCached:         1804 kB
Active:          1226428 kB
Inactive:         153052 kB
Active(anon):    1124840 kB
Inactive(anon):     1604 kB
Active(file):     101588 kB
Inactive(file):   151448 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67099028 kB
Dirty:             17104 kB
Writeback:             0 kB
AnonPages:       2557028 kB
Mapped:            10792 kB
Shmem:                 0 kB
Slab:             603632 kB
SReclaimable:      47208 kB
SUnreclaim:       556424 kB
KernelStack:        1488 kB
PageTables:         9208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2701864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    362496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node130 at 2016-06-18 10:05:09