0.00/0.00	c 2016-06-18T04:34:35+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-4100793-1466217275.opb"]
0.00/0.01	c use --random-gen="167580811 836872537 743762073 566045879 3443206278 1287882193 3329863259 1667264724 4120478766 1345898134 576471059 63154603 1461257176 1774324164 4171366365 2086210102 821329650 531228735 377592951 764258011 715601263 1321666141 61427773 3300615452 3611354749 19697214 2822620231 2736300824 480718104 3092573592 2571665793 1231582434 3050033906 2295080277 162013206 3118602014 2675027021 2659280559 3653019260 3942830738 3454036773 840810797 323351954 1447918320 1044589008 2295722743 941978687 3786461829 2295548601 148214798 2769670575 3717752393 4017632465 3664701852 2767974299 567842334 3929273686 1414429780 3607591027 1320722285 2419823886 3321649131 2701315017 3523580515 1625754743 855221613 2189624599 2414252577 4047695697 2582921291 463041913 1890411618 1173303216 921261952 830583915 2290108219 2066669237 1501088705 4204142823 920617956 1937708711 2247521212 3441152892 201936966 2286462088 2232683693 3047777173 4099519088 2624830993 376161258 1635664512 1943632299 3193094694 950022950 3666877836 3331181961 3090435282 2065971035 3145586913 2408233696 2233611262 4271528452 2814109794 2520208059 1222802789 1045464115 1846708351 4075886561 2239137224 424279340 3688960651 950754544 3413251030 548392044 2282402450 832236419 756520729 1205117317 3798547451 2712170553 3739860118 354475573 3785327593 1047513115 701775163 3170849245 355479109 2130753380 2067922893 144696490 359327751 3914673653 966398728 1797296752 2877037359 2385632416 391658425 591784521 1689386417 1054881682 2882507970 722741832 836906533 1679802420 4210554137 530438405 1695886241 1192582671 2442349889 3689498455 1106858541 290865857 1032447107 3571710726 3363734418 3572173709 3877879956 3655395979 4286927948 3605584415 2699652636 3667974983 2894246725 3885850574 2765404534 1367750536 1515835346 3475464545 3996596042 1746846484 3477703219 3967174615 2266994940 3322244934 3645378804 1011960310 935804002 1281172628 1468671164 3255669564 2332734457 3816228635 2987232688 3360904125 2642192808 645095483 645868064 4257143319 1809919393 2459775681 1477225358 238514931 2625496861 1567805454 3147337946 3076784708 2892946564 1398848746 167441002 321226770 2432908070 4287903259 581681501 1892849257 2202286612 1020867829 2537880560 3747774845 3103260868 565347200 3081447770 1517607950 2609063468 4072904568 1252192137 3948170943 3255932926 2711623648 3159823248 4118169117 747522610 1825088707 452725438 4109372012 3189080895 2749482198 3045208765 2288399399 1422077771 2851263633 3664637762 2894964705 1524702449 1838417183 288312359 940829583 2597249833 2938786944 2735465376 1242329133 1616504848 3901794426 774942298 3941969406 279894718 4288968419 2333071881 2810317741 577497314 178018464 3439449578 3893529862 3891168453 1638224491 4294519417 1744978808 255 362436" option to reproduce the execution
0.08/0.10	c #vars 7817
0.08/0.10	c #constraints 402
1.20/1.27	c BCD2: Hardening is enabled.
1.20/1.27	c BCD2: BiasedSearch is enabled.
1.20/1.27	c Solving starts ...
1.20/1.27	c ============================[ Search Statistics ]============================
1.20/1.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.20/1.27	c       |         |          |          |    Limit     GC | Var      | Constra 
1.20/1.27	c =============================================================================
1.20/1.27	c  0.0s |       0 |        0 |        0 |     2787      0 |     1750 |        0
1.29/1.37	c  0.1s |       1 |      556 |      100 |     2787      0 |     1767 |        0
1.39/1.40	c  0.1s |       2 |      845 |      250 |     3066      0 |     1769 |        0
1.39/1.42	c  0.2s |       3 |     1085 |      475 |     3373      0 |     1769 |        0
1.39/1.49	c  0.2s |       4 |     1639 |      813 |     3711      0 |     1769 |        0
1.49/1.59	c  0.3s |       5 |     2418 |     1320 |     4083      0 |     1778 |        0
1.79/1.83	c  0.6s |       6 |     3778 |     2081 |     4942      0 |     1778 |        0
2.09/2.16	c  0.9s |       7 |     5550 |     3223 |     5437      0 |     1778 |        0
2.58/2.63	c  1.4s |       8 |     7893 |     4936 |     5981      0 |     1778 |        0
3.29/3.33	c  2.1s |       9 |    12095 |     7506 |     6580      0 |     1778 |        0
4.68/4.76	c  3.5s |      10 |    17965 |    11361 |     7239      1 |     1778 |        0
6.69/6.78	c  5.5s |      10 |    25481 |    15961 |     7239      2 |     1778 |        0
7.18/7.23	c  6.0s |      11 |    26688 |    17144 |     7963      2 |     1778 |        0
9.19/9.27	c  8.0s |      11 |    30566 |    20644 |     7963      3 |     1778 |        0
11.29/11.30	c 10.0s |      11 |    33985 |    24044 |     7963      3 |     1778 |        0
12.39/12.44	c 11.2s |      12 |    35761 |    25819 |     8760      4 |     1778 |        0
14.48/14.56	c 13.3s |      12 |    42338 |    29819 |     8760      4 |     1788 |        0
16.49/16.57	c 15.3s |      12 |    49850 |    35319 |     8760      5 |     1791 |        0
18.18/18.27	c 17.0s |      13 |    53514 |    38832 |     9636      6 |     1791 |        0
20.28/20.31	c 19.0s |      13 |    61141 |    44532 |     9636      7 |     1791 |        0
22.28/22.35	c 21.1s |      13 |    65577 |    48332 |     9636      8 |     1791 |        0
24.28/24.37	c 23.1s |      13 |    70378 |    52332 |     9636      8 |     1791 |        0
26.28/26.38	c 25.1s |      13 |    74229 |    55432 |     9636      9 |     1791 |        0
27.98/28.05	c 26.8s |      14 |    77269 |    58352 |    10600      9 |     1791 |        0
29.98/30.07	c 28.8s |      14 |    84315 |    61052 |    10600     10 |     1791 |        0
31.98/32.07	c 30.8s |      14 |    91586 |    65352 |    10600     10 |     1803 |        0
34.08/34.12	c 32.8s |      14 |    96049 |    69452 |    10600     11 |     1803 |        0
36.08/36.16	c 34.9s |      14 |   100111 |    73052 |    10600     11 |     1803 |        0
38.08/38.16	c 36.9s |      14 |   104017 |    76352 |    10600     12 |     1803 |        0
40.07/40.17	c 38.9s |      14 |   107782 |    79652 |    10600     12 |     1803 |        0
42.17/42.21	c 40.9s |      14 |   111625 |    82452 |    10600     13 |     1803 |        0
44.17/44.22	c 42.9s |      14 |   116003 |    85352 |    10600     13 |     1803 |        0
45.67/45.70	c 44.4s |      15 |   118424 |    87632 |    11661     14 |     1803 |        0
47.67/47.75	c 46.5s |      15 |   123001 |    90632 |    11661     14 |     1803 |        0
49.77/49.82	c 48.5s |      15 |   127673 |    93432 |    11661     15 |     1803 |        0
51.77/51.89	c 50.6s |      15 |   134968 |    97132 |    11661     15 |     1803 |        0
54.06/54.11	c 52.8s |      15 |   139234 |   100132 |    11661     15 |     1803 |        0
56.17/56.25	c 55.0s |      15 |   140354 |   101232 |    11661     15 |     1803 |        0
58.16/58.27	c 57.0s |      15 |   141560 |   102432 |    11661     16 |     1803 |        0
60.36/60.45	c 59.2s |      15 |   142753 |   103632 |    11661     16 |     1803 |        0
62.46/62.58	c 61.3s |      15 |   143857 |   104732 |    11661     16 |     1803 |        0
64.56/64.61	c 63.3s |      15 |   144748 |   105632 |    11661     16 |     1803 |        0
66.56/66.68	c 65.4s |      15 |   145648 |   106532 |    11661     16 |     1803 |        0
68.76/68.82	c 67.5s |      15 |   146548 |   107432 |    11661     16 |     1803 |        0
70.76/70.84	c 69.6s |      15 |   147360 |   108232 |    11661     16 |     1803 |        0
72.86/72.99	c 71.7s |      15 |   148154 |   109032 |    11661     17 |     1803 |        0
74.96/75.02	c 73.7s |      15 |   148950 |   109832 |    11661     17 |     1803 |        0
76.97/77.06	c 75.8s |      15 |   149756 |   110632 |    11661     17 |     1803 |        0
79.06/79.16	c 77.9s |      15 |   150560 |   111432 |    11661     17 |     1803 |        0
81.26/81.39	c 80.1s |      15 |   151358 |   112232 |    11661     17 |     1803 |        0
83.57/83.64	c 82.4s |      15 |   152169 |   113032 |    11661     17 |     1803 |        0
85.56/85.67	c 84.4s |      15 |   152873 |   113732 |    11661     17 |     1803 |        0
87.66/87.70	c 86.4s |      15 |   153562 |   114432 |    11661     17 |     1803 |        0
89.76/89.83	c 88.6s |      15 |   154257 |   115132 |    11661     17 |     1803 |        0
92.06/92.11	c 90.8s |      15 |   154973 |   115832 |    11661     17 |     1803 |        0
94.96/95.01	c 93.7s |      15 |   155468 |   116332 |    11661     18 |     1803 |        0
96.96/97.04	c 95.8s |      15 |   156303 |   117132 |    11661     18 |     1803 |        0
99.06/99.15	c 97.9s |      15 |   156991 |   117832 |    11661     18 |     1803 |        0
101.26/101.34	c  100s |      15 |   157779 |   118632 |    11661     18 |     1803 |        0
103.36/103.44	c  102s |      15 |   158586 |   119432 |    11661     18 |     1803 |        0
105.56/105.61	c  104s |      15 |   159292 |   120132 |    11661     18 |     1803 |        0
107.56/107.62	c  106s |      15 |   160000 |   120832 |    11661     18 |     1803 |        0
109.65/109.71	c  108s |      15 |   160695 |   121532 |    11661     18 |     1803 |        0
111.66/111.79	c  110s |      15 |   161406 |   122232 |    11661     18 |     1803 |        0
113.86/113.92	c  112s |      15 |   162086 |   122932 |    11661     18 |     1803 |        0
116.06/116.17	c  114s |      15 |   162784 |   123632 |    11661     18 |     1803 |        0
118.16/118.27	c  117s |      15 |   163202 |   124032 |    11661     19 |     1803 |        0
120.36/120.41	c  119s |      15 |   163687 |   124532 |    11661     19 |     1803 |        0
122.56/122.67	c  121s |      15 |   164508 |   125332 |    11661     19 |     1803 |        0
124.66/124.76	c  123s |      15 |   165316 |   126132 |    11661     19 |     1803 |        0
126.86/126.93	c  125s |      15 |   166103 |   126932 |    11661     19 |     1803 |        0
128.86/128.94	c  127s |      15 |   166816 |   127632 |    11661     19 |     1803 |        0
130.96/131.07	c  129s |      15 |   167504 |   128332 |    11661     19 |     1803 |        0
133.26/133.37	c  132s |      15 |   168323 |   129132 |    11661     19 |     1803 |        0
135.36/135.41	c  134s |      15 |   169029 |   129832 |    11661     19 |     1803 |        0
137.36/137.42	c  136s |      15 |   169737 |   130532 |    11661     19 |     1803 |        0
139.35/139.45	c  138s |      15 |   170349 |   131132 |    12828     19 |     1803 |        0
140.65/140.70	c  139s |      16 |   170743 |   131552 |    12828     19 |     1803 |        0
142.65/142.76	c  141s |      16 |   173002 |   132752 |    12828     20 |     1803 |        0
144.65/144.76	c  143s |      16 |   175316 |   135052 |    12828     20 |     1803 |        0
146.65/146.78	c  145s |      16 |   177314 |   137052 |    12828     20 |     1803 |        0
148.65/148.79	c  147s |      16 |   179016 |   138752 |    12828     20 |     1803 |        0
150.95/151.09	c  149s |      16 |   180619 |   140352 |    12828     21 |     1803 |        0
153.05/153.15	c  151s |      16 |   182021 |   141752 |    12828     21 |     1803 |        0
155.16/155.25	c  153s |      16 |   183330 |   143052 |    12828     21 |     1803 |        0
157.36/157.48	c  156s |      16 |   184533 |   144252 |    12828     21 |     1803 |        0
159.45/159.52	c  158s |      16 |   185736 |   145452 |    12828     21 |     1803 |        0
161.55/161.62	c  160s |      16 |   186744 |   146452 |    12828     21 |     1803 |        0
163.65/163.76	c  162s |      16 |   187751 |   147452 |    12828     21 |     1803 |        0
165.75/165.80	c  164s |      16 |   188747 |   148452 |    12828     21 |     1803 |        0
170.56/170.65	c  169s |      16 |   189656 |   149352 |    12828     22 |     1803 |        0
172.55/172.67	c  171s |      16 |   191158 |   150852 |    12828     22 |     1803 |        0
174.65/174.70	c  173s |      16 |   192355 |   152052 |    12828     22 |     1803 |        0
176.65/176.79	c  175s |      16 |   193663 |   153352 |    12828     22 |     1803 |        0
178.85/178.98	c  177s |      16 |   194968 |   154652 |    12828     22 |     1803 |        0
180.95/181.01	c  179s |      16 |   196082 |   155752 |    12828     22 |     1803 |        0
183.05/183.11	c  181s |      16 |   197392 |   157052 |    12828     23 |     1803 |        0
185.25/185.39	c  184s |      16 |   198781 |   158452 |    12828     23 |     1803 |        0
187.25/187.40	c  186s |      16 |   200005 |   159652 |    12828     23 |     1803 |        0
189.45/189.51	c  188s |      16 |   201505 |   161152 |    12828     23 |     1803 |        0
191.45/191.51	c  190s |      16 |   202613 |   162252 |    12828     23 |     1803 |        0
193.65/193.76	c  192s |      16 |   203721 |   163352 |    12828     23 |     1803 |        0
195.85/195.95	c  194s |      16 |   205127 |   164752 |    12828     23 |     1803 |        0
197.95/198.04	c  196s |      16 |   206325 |   165952 |    12828     24 |     1803 |        0
199.94/200.04	c  198s |      16 |   207935 |   167552 |    12828     24 |     1803 |        0
202.04/202.10	c  200s |      16 |   209449 |   169052 |    12828     24 |     1803 |        0
204.04/204.11	c  202s |      16 |   210954 |   170552 |    12828     24 |     1803 |        0
206.04/206.16	c  204s |      16 |   212351 |   171952 |    12828     24 |     1803 |        0
208.14/208.23	c  206s |      16 |   213560 |   173152 |    12828     25 |     1803 |        0
210.24/210.36	c  209s |      16 |   214965 |   174552 |    12828     25 |     1803 |        0
212.35/212.49	c  211s |      16 |   216365 |   175952 |    12828     25 |     1803 |        0
214.55/214.66	c  213s |      16 |   217561 |   177152 |    12828     25 |     1803 |        0
216.65/216.71	c  215s |      16 |   218879 |   178452 |    12828     25 |     1803 |        0
218.74/218.84	c  217s |      16 |   219987 |   179552 |    12828     25 |     1803 |        0
220.84/220.94	c  219s |      16 |   221097 |   180652 |    12828     25 |     1803 |        0
222.94/223.02	c  221s |      16 |   222196 |   181752 |    12828     26 |     1803 |        0
224.94/225.05	c  223s |      16 |   223605 |   183152 |    12828     26 |     1803 |        0
227.04/227.18	c  225s |      16 |   225199 |   184752 |    12828     26 |     1803 |        0
229.14/229.24	c  227s |      16 |   226701 |   186252 |    12828     26 |     1803 |        0
231.14/231.28	c  230s |      16 |   228104 |   187652 |    12828     26 |     1803 |        0
233.24/233.36	c  232s |      16 |   229512 |   189052 |    12828     26 |     1803 |        0
237.14/237.22	c  235s |      16 |   230436 |   189952 |    12828     27 |     1803 |        0
239.24/239.30	c  238s |      16 |   232536 |   192052 |    12828     27 |     1803 |        0
241.24/241.33	c  240s |      16 |   234441 |   193952 |    12828     27 |     1803 |        0
243.34/243.46	c  242s |      16 |   236048 |   195552 |    12828     27 |     1803 |        0
245.43/245.59	c  244s |      16 |   237453 |   196952 |    14111     27 |     1803 |        0
246.23/246.37	c  245s |      17 |   237924 |   197432 |    14111     27 |     1803 |        0
248.33/248.40	c  247s |      17 |   247878 |   203132 |    14111     28 |     1803 |        0
250.33/250.41	c  249s |      17 |   252332 |   206832 |    14111     29 |     1803 |        0
252.33/252.48	c  251s |      17 |   256061 |   210132 |    14111     29 |     1803 |        0
254.43/254.50	c  253s |      17 |   259390 |   213032 |    14111     29 |     1803 |        0
256.43/256.51	c  255s |      17 |   262959 |   215832 |    14111     30 |     1803 |        0
258.44/258.53	c  257s |      17 |   266389 |   218632 |    14111     30 |     1803 |        0
260.43/260.55	c  259s |      17 |   269441 |   221232 |    14111     30 |     1803 |        0
262.84/262.96	c  261s |      17 |   270732 |   222332 |    14111     31 |     1803 |        0
264.84/264.98	c  263s |      17 |   274169 |   225132 |    14111     31 |     1803 |        0
266.94/267.05	c  265s |      17 |   277991 |   228232 |    14111     31 |     1803 |        0
269.03/269.10	c  267s |      17 |   281137 |   230832 |    14111     32 |     1803 |        0
271.03/271.15	c  269s |      17 |   284747 |   233732 |    14111     32 |     1803 |        0
273.13/273.23	c  271s |      17 |   288531 |   236732 |    14111     32 |     1803 |        0
275.13/275.26	c  273s |      17 |   290837 |   238732 |    14111     33 |     1803 |        0
277.24/277.35	c  276s |      17 |   294615 |   241532 |    14111     33 |     1803 |        0
279.23/279.38	c  278s |      17 |   302397 |   246332 |    14111     33 |     1803 |        0
281.23/281.39	c  280s |      17 |   308132 |   251132 |    14111     34 |     1803 |        0
287.04/287.17	c  285s |      17 |   311385 |   253832 |    14111     34 |     1803 |        0
289.73/289.85	c  288s |      17 |   313468 |   255632 |    14111     34 |     1803 |        0
291.73/291.86	c  290s |      17 |   322868 |   263232 |    14111     35 |     1803 |        0
293.74/293.87	c  292s |      17 |   328939 |   268432 |    14111     36 |     1803 |        0
295.84/295.90	c  294s |      17 |   333849 |   272732 |    14111     36 |     1803 |        0
297.83/297.92	c  296s |      17 |   337817 |   276332 |    14111     37 |     1803 |        0
300.53/300.68	c  299s |      17 |   340634 |   278932 |    14111     37 |     1803 |        0
302.53/302.68	c  301s |      17 |   345496 |   283232 |    14111     37 |     1803 |        0
304.63/304.71	c  303s |      17 |   349564 |   286932 |    14111     38 |     1803 |        0
308.52/308.64	c  307s |      17 |   354867 |   291832 |    14111     38 |     1803 |        0
310.52/310.70	c  309s |      17 |   358839 |   295532 |    15523     38 |     1803 |        0
314.83/314.98	c  313s |      17 |   359498 |   296132 |    15523     39 |     1803 |        0
314.93/315.03	c  313s |      18 |   359650 |   296252 |    15523     39 |     1803 |        0
316.93/317.05	c  315s |      18 |   369290 |   304052 |    15523     40 |     1803 |        0
318.94/319.09	c  317s |      18 |   375136 |   309352 |    15523     40 |     1803 |        0
321.13/321.27	c  319s |      18 |   378415 |   312252 |    15523     41 |     1803 |        0
323.13/323.29	c  322s |      18 |   385174 |   317352 |    15523     41 |     1803 |        0
326.22/326.30	c  325s |      18 |   388707 |   320552 |    15523     42 |     1803 |        0
328.22/328.33	c  327s |      18 |   394814 |   325752 |    15523     42 |     1803 |        0
330.22/330.33	c  329s |      18 |   399141 |   329652 |    15523     43 |     1803 |        0
332.23/332.34	c  331s |      18 |   402894 |   333052 |    15523     43 |     1803 |        0
334.22/334.35	c  333s |      18 |   404766 |   334352 |    15523     43 |     1803 |        0
336.42/336.50	c  335s |      18 |   409779 |   338752 |    15523     44 |     1803 |        0
338.42/338.54	c  337s |      18 |   414392 |   343052 |    15523     44 |     1803 |        0
341.42/341.55	c  340s |      18 |   418226 |   346752 |    15523     45 |     1803 |        0
346.43/346.57	c  345s |      18 |   421586 |   349952 |    15523     45 |     1803 |        0
348.52/348.63	c  347s |      18 |   427637 |   355352 |    15523     46 |     1803 |        0
350.52/350.69	c  349s |      18 |   431906 |   359452 |    15523     46 |     1803 |        0
352.62/352.70	c  351s |      18 |   436949 |   364152 |    15523     47 |     1803 |        0
356.12/356.23	c  354s |      18 |   438990 |   366152 |    15523     47 |     1803 |        0
358.12/358.25	c  356s |      18 |   443460 |   370552 |    15523     47 |     1803 |        0
360.51/360.66	c  359s |      18 |   443676 |   370752 |    15523     47 |     1803 |        0
362.51/362.67	c  361s |      18 |   446894 |   373952 |    15523     48 |     1803 |        0
364.51/364.67	c  363s |      18 |   454033 |   379052 |    15523     48 |     1803 |        0
366.61/366.72	c  365s |      18 |   459239 |   383952 |    15523     49 |     1803 |        0
368.61/368.75	c  367s |      18 |   462443 |   387152 |    15523     49 |     1803 |        0
377.81/377.98	c  376s |      18 |   465113 |   388752 |    15523     49 |     1803 |        0
379.81/379.98	c  378s |      18 |   475448 |   397452 |    15523     50 |     1803 |        0
381.81/381.99	c  380s |      18 |   481994 |   403552 |    15523     51 |     1803 |        0
383.82/384.00	c  382s |      18 |   486710 |   408152 |    15523     51 |     1803 |        0
385.91/386.01	c  384s |      18 |   490083 |   411352 |    15523     52 |     1803 |        0
387.91/388.03	c  386s |      18 |   494217 |   415152 |    15523     52 |     1803 |        0
389.91/390.07	c  388s |      18 |   496592 |   417452 |    15523     53 |     1803 |        0
391.91/392.09	c  390s |      18 |   500897 |   421552 |    15523     53 |     1803 |        0
394.01/394.11	c  392s |      18 |   503971 |   424452 |    15523     53 |     1803 |        0
396.11/396.25	c  394s |      18 |   506390 |   426752 |    15523     54 |     1803 |        0
398.11/398.27	c  396s |      18 |   510667 |   430752 |    15523     54 |     1803 |        0
400.61/400.79	c  399s |      18 |   514234 |   434052 |    15523     54 |     1803 |        0
402.71/402.81	c  401s |      18 |   517166 |   436852 |    15523     55 |     1803 |        0
404.72/404.85	c  403s |      18 |   521473 |   440952 |    15523     55 |     1803 |        0
406.51/406.67	c  405s |      19 |   525232 |   444482 |    17076     55 |     1803 |        0
408.51/408.67	c  407s |      19 |   529455 |   446182 |    17076     56 |     1803 |        0
410.51/410.68	c  409s |      19 |   535868 |   451782 |    17076     56 |     1803 |        0
412.61/412.72	c  411s |      19 |   542120 |   457582 |    17076     57 |     1803 |        0
414.62/414.76	c  413s |      19 |   546387 |   461582 |    17076     57 |     1803 |        0
416.61/416.78	c  415s |      19 |   549615 |   464582 |    17076     57 |     1803 |        0
418.71/418.83	c  417s |      19 |   552751 |   467382 |    17076     57 |     1803 |        0
420.71/420.84	c  419s |      19 |   561985 |   472782 |    17076     58 |     1803 |        0
422.70/422.85	c  421s |      19 |   566072 |   475482 |    17076     58 |     1803 |        0
424.70/424.86	c  423s |      19 |   572809 |   479382 |    17076     59 |     1803 |        0
426.71/426.88	c  425s |      19 |   578036 |   483582 |    17076     59 |     1803 |        0
428.70/428.89	c  427s |      19 |   583176 |   486982 |    17076     59 |     1803 |        0
430.80/430.91	c  429s |      19 |   588845 |   490382 |    17076     60 |     1803 |        0
432.80/432.93	c  431s |      19 |   595691 |   494682 |    17076     60 |     1803 |        0
434.80/434.93	c  433s |      19 |   601899 |   498782 |    17076     60 |     1803 |        0
438.40/438.52	c  437s |      19 |   606831 |   502182 |    17076     61 |     1803 |        0
441.20/441.33	c  440s |      19 |   612571 |   506182 |    17076     61 |     1803 |        0
443.20/443.33	c  442s |      19 |   618020 |   510282 |    17076     61 |     1803 |        0
445.80/445.96	c  444s |      19 |   620689 |   511982 |    17076     62 |     1803 |        0
447.90/448.07	c  446s |      19 |   628338 |   517382 |    17076     62 |     1803 |        0
450.00/450.12	c  448s |      19 |   634097 |   521582 |    17076     63 |     1803 |        0
452.01/452.16	c  450s |      19 |   640231 |   526082 |    17076     63 |     1803 |        0
454.00/454.18	c  452s |      19 |   645350 |   529582 |    17076     63 |     1803 |        0
457.51/457.61	c  456s |      19 |   649185 |   532382 |    17076     64 |     1803 |        0
459.50/459.63	c  458s |      19 |   653378 |   535782 |    17076     64 |     1803 |        0
461.50/461.63	c  460s |      19 |   659149 |   540082 |    17076     64 |     1803 |        0
463.50/463.65	c  462s |      19 |   663111 |   543282 |    17076     65 |     1803 |        0
465.60/465.70	c  464s |      19 |   666958 |   546082 |    17076     65 |     1803 |        0
467.59/467.74	c  466s |      19 |   672856 |   550082 |    17076     65 |     1803 |        0
469.60/469.79	c  468s |      19 |   676508 |   552782 |    17076     65 |     1803 |        0
471.69/471.81	c  470s |      19 |   680045 |   555482 |    17076     66 |     1803 |        0
473.69/473.81	c  472s |      19 |   685263 |   559082 |    17076     66 |     1803 |        0
475.69/475.86	c  474s |      19 |   690272 |   562482 |    17076     66 |     1803 |        0
477.69/477.86	c  476s |      19 |   694459 |   565082 |    17076     67 |     1803 |        0
479.79/479.90	c  478s |      19 |   697569 |   567282 |    17076     67 |     1803 |        0
481.80/481.93	c  480s |      19 |   702395 |   570482 |    17076     67 |     1803 |        0
483.79/483.96	c  482s |      19 |   707946 |   574182 |    17076     67 |     1803 |        0
485.80/485.97	c  484s |      19 |   713083 |   577682 |    17076     68 |     1803 |        0
487.80/487.99	c  486s |      19 |   718475 |   581482 |    17076     68 |     1803 |        0
489.90/490.05	c  488s |      19 |   723062 |   584182 |    17076     68 |     1803 |        0
491.90/492.06	c  490s |      19 |   726595 |   586482 |    17076     69 |     1803 |        0
493.90/494.09	c  492s |      19 |   731017 |   589282 |    17076     69 |     1803 |        0
496.00/496.13	c  494s |      19 |   736083 |   592882 |    17076     69 |     1803 |        0
497.99/498.15	c  496s |      19 |   740036 |   595782 |    17076     69 |     1803 |        0
499.99/500.18	c  498s |      19 |   743521 |   598282 |    17076     70 |     1803 |        0
502.09/502.24	c  500s |      19 |   747413 |   601182 |    17076     70 |     1803 |        0
504.09/504.26	c  502s |      19 |   752425 |   604582 |    17076     70 |     1803 |        0
506.09/506.29	c  505s |      19 |   756926 |   607682 |    17076     71 |     1803 |        0
508.20/508.32	c  507s |      19 |   761545 |   610782 |    17076     71 |     1803 |        0
510.19/510.32	c  509s |      19 |   767408 |   614982 |    17076     71 |     1803 |        0
512.19/512.36	c  511s |      19 |   772381 |   618282 |    17076     72 |     1803 |        0
514.29/514.49	c  513s |      19 |   774096 |   619582 |    17076     72 |     1803 |        0
516.39/516.51	c  515s |      19 |   780413 |   623982 |    17076     72 |     1803 |        0
518.39/518.51	c  517s |      19 |   786432 |   626982 |    17076     72 |     1803 |        0
520.59/520.72	c  519s |      19 |   791477 |   629082 |    17076     73 |     1803 |        0
522.59/522.74	c  521s |      19 |   797738 |   632982 |    17076     73 |     1803 |        0
524.59/524.75	c  523s |      19 |   803323 |   636282 |    17076     73 |     1803 |        0
526.58/526.78	c  525s |      19 |   808390 |   639382 |    17076     73 |     1803 |        0
528.58/528.79	c  527s |      19 |   814189 |   642682 |    17076     74 |     1803 |        0
530.68/530.82	c  529s |      19 |   819971 |   646082 |    17076     74 |     1803 |        0
532.68/532.89	c  531s |      19 |   824044 |   648782 |    17076     74 |     1803 |        0
534.79/534.92	c  533s |      19 |   827698 |   651282 |    17076     75 |     1803 |        0
536.79/536.95	c  535s |      19 |   833129 |   654882 |    17076     75 |     1803 |        0
538.79/538.98	c  537s |      19 |   838850 |   658782 |    17076     75 |     1803 |        0
540.89/541.02	c  539s |      19 |   843689 |   662282 |    18784     76 |     1803 |        0
543.68/543.83	c  542s |      19 |   846935 |   664582 |    18784     76 |     1803 |        0
544.98/545.17	c  543s |      20 |   851063 |   666827 |    18784     76 |     1803 |        0
547.28/547.50	c  546s |      20 |   851372 |   666927 |    18784     76 |     1803 |        0
549.38/549.50	c  548s |      20 |   859828 |   674427 |    18784     77 |     1803 |        0
551.38/551.52	c  550s |      20 |   865201 |   679327 |    18784     77 |     1803 |        0
553.38/553.54	c  552s |      20 |   868118 |   682127 |    18784     78 |     1803 |        0
555.38/555.55	c  554s |      20 |   873801 |   687227 |    18784     78 |     1803 |        0
557.48/557.61	c  556s |      20 |   878058 |   691127 |    18784     78 |     1803 |        0
559.48/559.65	c  558s |      20 |   881670 |   694327 |    18784     79 |     1803 |        0
561.57/561.70	c  560s |      20 |   883993 |   696527 |    18784     79 |     1803 |        0
563.57/563.73	c  562s |      20 |   889203 |   701327 |    18784     79 |     1803 |        0
565.57/565.73	c  564s |      20 |   896811 |   706427 |    18784     80 |     1803 |        0
567.58/567.77	c  566s |      20 |   901774 |   710727 |    18784     80 |     1803 |        0
569.57/569.79	c  568s |      20 |   905386 |   714127 |    18784     80 |     1803 |        0
571.67/571.80	c  570s |      20 |   910826 |   717627 |    18784     81 |     1803 |        0
573.67/573.86	c  572s |      20 |   913663 |   719827 |    18784     81 |     1803 |        0
575.67/575.89	c  574s |      20 |   916378 |   722027 |    18784     81 |     1803 |        0
577.78/577.91	c  576s |      20 |   919028 |   724327 |    18784     81 |     1803 |        0
579.78/579.93	c  578s |      20 |   921421 |   726327 |    18784     81 |     1803 |        0
581.89/582.01	c  580s |      20 |   924024 |   728527 |    18784     82 |     1803 |        0
583.88/584.07	c  582s |      20 |   926283 |   730327 |    18784     82 |     1803 |        0
585.98/586.15	c  584s |      20 |   928536 |   732227 |    18784     82 |     1803 |        0
587.98/588.19	c  586s |      20 |   931009 |   734127 |    18784     82 |     1803 |        0
590.08/590.27	c  589s |      20 |   933221 |   735927 |    18784     82 |     1803 |        0
592.08/592.29	c  591s |      20 |   935267 |   737627 |    18784     82 |     1803 |        0
594.18/594.38	c  593s |      20 |   937113 |   739227 |    18784     83 |     1803 |        0
596.28/596.45	c  595s |      20 |   939842 |   741627 |    18784     83 |     1803 |        0
598.38/598.55	c  597s |      20 |   942250 |   743527 |    18784     83 |     1803 |        0
600.48/600.62	c  599s |      20 |   944322 |   745427 |    18784     83 |     1803 |        0
602.58/602.71	c  601s |      20 |   946701 |   747427 |    18784     83 |     1803 |        0
604.58/604.78	c  603s |      20 |   949055 |   749527 |    18784     83 |     1803 |        0
606.67/606.84	c  605s |      20 |   951141 |   751327 |    18784     84 |     1803 |        0
608.77/608.98	c  607s |      20 |   953628 |   753727 |    18784     84 |     1803 |        0
610.87/611.01	c  609s |      20 |   956327 |   756027 |    18784     84 |     1803 |        0
612.87/613.09	c  611s |      20 |   958635 |   758327 |    18784     84 |     1803 |        0
614.97/615.13	c  613s |      20 |   965970 |   761327 |    18784     85 |     1803 |        0
616.98/617.14	c  615s |      20 |   973151 |   765927 |    18784     85 |     1804 |        0
618.97/619.18	c  617s |      20 |   978112 |   770527 |    18784     86 |     1804 |        0
621.07/621.24	c  619s |      20 |   982270 |   774327 |    18784     86 |     1804 |        0
623.07/623.27	c  621s |      20 |   985965 |   777927 |    18784     86 |     1804 |        0
625.07/625.29	c  624s |      20 |   989035 |   780827 |    18784     87 |     1804 |        0
627.17/627.36	c  626s |      20 |   992144 |   783827 |    18784     87 |     1804 |        0
629.27/629.43	c  628s |      20 |   995001 |   786527 |    18784     87 |     1804 |        0
631.27/631.47	c  630s |      20 |   997038 |   788427 |    18784     87 |     1804 |        0
633.36/633.55	c  632s |      20 |   999302 |   790527 |    18784     88 |     1804 |        0
635.77/635.91	c  634s |      20 |  1001305 |   792427 |    18784     88 |     1804 |        0
637.76/637.92	c  636s |      20 |  1003446 |   794227 |    18784     88 |     1804 |        0
639.76/639.95	c  638s |      20 |  1006367 |   797127 |    18784     88 |     1804 |        0
641.76/641.97	c  640s |      20 |  1013583 |   802527 |    18784     88 |     1804 |        0
643.76/643.98	c  642s |      20 |  1018098 |   807027 |    18784     89 |     1804 |        0
645.86/646.03	c  644s |      20 |  1022124 |   811027 |    18784     89 |     1804 |        0
647.87/648.06	c  646s |      20 |  1026244 |   815127 |    18784     90 |     1804 |        0
649.86/650.09	c  648s |      20 |  1030360 |   819227 |    18784     90 |     1804 |        0
651.96/652.15	c  650s |      20 |  1031474 |   820327 |    18784     90 |     1804 |        0
654.06/654.21	c  652s |      20 |  1034746 |   823127 |    18784     90 |     1804 |        0
656.16/656.34	c  655s |      20 |  1036885 |   825227 |    18784     91 |     1804 |        0
658.16/658.39	c  657s |      20 |  1040211 |   828527 |    18784     91 |     1804 |        0
660.26/660.45	c  659s |      20 |  1043775 |   832027 |    18784     91 |     1804 |        0
662.26/662.48	c  661s |      20 |  1046606 |   834827 |    18784     91 |     1804 |        0
664.26/664.49	c  663s |      20 |  1049741 |   837927 |    18784     92 |     1804 |        0
669.56/669.70	c  668s |      20 |  1050155 |   838327 |    18784     92 |     1804 |        0
671.55/671.76	c  670s |      20 |  1052413 |   840527 |    18784     92 |     1804 |        0
673.65/673.84	c  672s |      20 |  1055571 |   843327 |    18784     92 |     1804 |        0
675.65/675.85	c  674s |      20 |  1057927 |   845627 |    18784     92 |     1804 |        0
678.35/678.54	c  677s |      20 |  1060249 |   847827 |    18784     93 |     1804 |        0
680.35/680.57	c  679s |      20 |  1064656 |   852127 |    18784     93 |     1804 |        0
682.45/682.63	c  681s |      20 |  1068433 |   855827 |    18784     93 |     1804 |        0
684.45/684.67	c  683s |      20 |  1071964 |   859227 |    18784     94 |     1804 |        0
686.46/686.69	c  685s |      20 |  1076002 |   863227 |    18784     94 |     1804 |        0
688.47/688.69	c  687s |      20 |  1079623 |   866827 |    18784     94 |     1804 |        0
690.56/690.78	c  689s |      20 |  1083244 |   870427 |    18784     95 |     1804 |        0
698.15/698.33	c  697s |      20 |  1083750 |   870927 |    18784     95 |     1804 |        0
700.15/700.35	c  699s |      20 |  1087703 |   874827 |    18784     95 |     1804 |        0
702.15/702.36	c  701s |      20 |  1089917 |   876827 |    18784     95 |     1804 |        0
704.25/704.43	c  703s |      20 |  1094089 |   880527 |    18784     95 |     1804 |        0
706.25/706.44	c  705s |      20 |  1096908 |   883327 |    18784     96 |     1804 |        0
708.26/708.47	c  707s |      20 |  1100725 |   887127 |    18784     96 |     1804 |        0
710.35/710.54	c  709s |      20 |  1104063 |   890327 |    18784     96 |     1804 |        0
712.35/712.55	c  711s |      20 |  1106799 |   893027 |    18784     97 |     1804 |        0
714.45/714.60	c  713s |      20 |  1109647 |   895827 |    18784     97 |     1804 |        0
716.45/716.68	c  715s |      20 |  1113090 |   898927 |    18784     97 |     1804 |        0
720.25/720.44	c  719s |      20 |  1114671 |   900327 |    18784     97 |     1804 |        0
722.25/722.45	c  721s |      20 |  1117940 |   903227 |    18784     97 |     1804 |        0
725.15/725.39	c  724s |      20 |  1120250 |   905427 |    18784     98 |     1804 |        0
728.25/728.40	c  727s |      20 |  1122054 |   906927 |    18784     98 |     1804 |        0
730.26/730.45	c  729s |      20 |  1125712 |   910227 |    18784     98 |     1804 |        0
732.25/732.49	c  731s |      20 |  1129224 |   913627 |    18784     98 |     1804 |        0
735.55/735.72	c  734s |      20 |  1131887 |   916227 |    18784     99 |     1804 |        0
737.55/737.76	c  736s |      20 |  1135203 |   919527 |    18784     99 |     1804 |        0
739.55/739.77	c  738s |      20 |  1138638 |   922927 |    18784     99 |     1804 |        0
741.65/741.83	c  740s |      20 |  1141455 |   925727 |    18784    100 |     1804 |        0
743.65/743.88	c  742s |      20 |  1144902 |   929127 |    18784    100 |     1804 |        0
745.75/745.91	c  744s |      20 |  1147924 |   932127 |    18784    100 |     1804 |        0
747.74/747.91	c  746s |      20 |  1150450 |   934627 |    18784    100 |     1804 |        0
750.34/750.53	c  749s |      20 |  1152270 |   936427 |    18784    101 |     1804 |        0
752.35/752.53	c  751s |      20 |  1155804 |   939927 |    18784    101 |     1804 |        0
754.34/754.54	c  753s |      20 |  1159329 |   943427 |    18784    101 |     1804 |        0
758.74/758.92	c  757s |      20 |  1160635 |   944727 |    18784    101 |     1804 |        0
760.94/761.11	c  759s |      20 |  1163002 |   947027 |    18784    102 |     1804 |        0
762.94/763.15	c  761s |      20 |  1167320 |   951327 |    18784    102 |     1804 |        0
764.94/765.17	c  763s |      20 |  1167924 |   951927 |    18784    102 |     1804 |        0
766.94/767.19	c  765s |      20 |  1171438 |   955427 |    18784    102 |     1804 |        0
769.14/769.33	c  768s |      20 |  1173953 |   957927 |    18784    103 |     1804 |        0
771.14/771.36	c  770s |      20 |  1177874 |   961827 |    18784    103 |     1804 |        0
774.04/774.24	c  772s |      20 |  1179586 |   963527 |    18784    103 |     1804 |        0
776.04/776.29	c  775s |      20 |  1182601 |   966527 |    18784    103 |     1804 |        0
778.33/778.55	c  777s |      20 |  1184817 |   968727 |    18784    104 |     1804 |        0
780.33/780.58	c  779s |      20 |  1188943 |   972827 |    18784    104 |     1804 |        0
782.33/782.59	c  781s |      20 |  1192346 |   976227 |    18784    104 |     1804 |        0
784.53/784.75	c  783s |      20 |  1195661 |   979527 |    18784    105 |     1804 |        0
786.53/786.76	c  785s |      20 |  1198884 |   982727 |    18784    105 |     1804 |        0
788.54/788.78	c  787s |      20 |  1202500 |   986327 |    18784    105 |     1804 |        0
795.33/795.56	c  794s |      20 |  1204610 |   988427 |    18784    105 |     1804 |        0
797.44/797.65	c  796s |      20 |  1206525 |   990327 |    18784    106 |     1804 |        0
799.43/799.67	c  798s |      20 |  1210560 |   994327 |    20663    106 |     1804 |        0
801.43/801.69	c  800s |      20 |  1213291 |   997027 |    20663    106 |     1804 |        0
803.53/803.74	c  802s |      20 |  1216419 |  1000127 |    20663    106 |     1804 |        0
803.73/803.90	c  802s |      21 |  1216634 |  1000345 |    20663    106 |     1804 |        0
805.83/806.01	c  804s |      21 |  1217189 |  1000745 |    20663    106 |     1804 |        0
807.83/808.06	c  806s |      21 |  1218666 |  1002145 |    20663    107 |     1804 |        0
809.93/810.11	c  808s |      21 |  1222326 |  1005545 |    20663    107 |     1804 |        0
811.93/812.15	c  810s |      21 |  1225363 |  1008545 |    20663    107 |     1804 |        0
814.03/814.24	c  812s |      21 |  1226993 |  1010145 |    20663    107 |     1804 |        0
816.03/816.26	c  814s |      21 |  1230895 |  1011945 |    20663    107 |     1804 |        0
818.02/818.27	c  817s |      21 |  1236056 |  1016445 |    20663    108 |     1804 |        0
820.02/820.28	c  819s |      21 |  1239818 |  1019645 |    20663    108 |     1804 |        0
822.12/822.37	c  821s |      21 |  1243085 |  1022845 |    20663    108 |     1804 |        0
824.32/824.50	c  823s |      21 |  1246536 |  1025545 |    20663    109 |     1804 |        0
826.32/826.50	c  825s |      21 |  1249677 |  1028045 |    20663    109 |     1804 |        0
828.32/828.53	c  827s |      21 |  1253240 |  1030745 |    20663    109 |     1804 |        0
830.32/830.56	c  829s |      21 |  1255979 |  1032945 |    20663    109 |     1804 |        0
832.32/832.56	c  831s |      21 |  1258460 |  1034945 |    20663    109 |     1804 |        0
834.32/834.59	c  833s |      21 |  1260838 |  1037145 |    20663    110 |     1804 |        0
836.42/836.67	c  835s |      21 |  1263341 |  1039245 |    20663    110 |     1804 |        0
839.52/839.77	c  838s |      21 |  1265795 |  1041645 |    20663    110 |     1804 |        0
841.62/841.82	c  840s |      21 |  1269251 |  1044445 |    20663    110 |     1804 |        0
843.62/843.85	c  842s |      21 |  1273628 |  1047145 |    20663    110 |     1804 |        0
845.61/845.88	c  844s |      21 |  1276588 |  1049245 |    20663    111 |     1804 |        0
847.61/847.89	c  846s |      21 |  1280958 |  1052745 |    20663    111 |     1804 |        0
849.61/849.89	c  848s |      21 |  1284611 |  1055945 |    20663    111 |     1804 |        0
851.71/851.96	c  850s |      21 |  1288337 |  1059045 |    20663    111 |     1804 |        0
853.81/854.01	c  852s |      21 |  1291319 |  1061645 |    20663    112 |     1804 |        0
855.81/856.08	c  854s |      21 |  1295017 |  1064545 |    20663    112 |     1804 |        0
857.91/858.13	c  856s |      21 |  1298348 |  1067245 |    20663    112 |     1804 |        0
859.91/860.16	c  858s |      21 |  1301595 |  1070045 |    20663    112 |     1804 |        0
862.21/862.42	c  861s |      21 |  1303782 |  1071845 |    20663    113 |     1804 |        0
864.21/864.43	c  863s |      21 |  1306932 |  1074445 |    20663    113 |     1804 |        0
866.30/866.57	c  865s |      21 |  1309931 |  1076845 |    20663    113 |     1804 |        0
868.30/868.58	c  867s |      21 |  1312406 |  1078645 |    20663    113 |     1804 |        0
870.30/870.59	c  869s |      21 |  1315598 |  1081345 |    20663    113 |     1804 |        0
872.30/872.59	c  871s |      21 |  1318250 |  1083745 |    20663    114 |     1804 |        0
874.40/874.68	c  873s |      21 |  1321230 |  1086345 |    20663    114 |     1804 |        0
876.50/876.77	c  875s |      21 |  1324337 |  1089145 |    20663    114 |     1804 |        0
878.49/878.77	c  877s |      21 |  1327515 |  1091945 |    20663    114 |     1804 |        0
880.49/880.78	c  879s |      21 |  1330374 |  1094445 |    20663    114 |     1804 |        0
882.49/882.78	c  881s |      21 |  1332648 |  1096445 |    20663    115 |     1804 |        0
884.59/884.80	c  883s |      21 |  1335167 |  1098645 |    20663    115 |     1804 |        0
886.59/886.86	c  885s |      21 |  1339489 |  1102045 |    20663    115 |     1804 |        0
888.59/888.90	c  887s |      21 |  1342818 |  1104845 |    20663    115 |     1804 |        0
890.89/891.16	c  889s |      21 |  1345665 |  1107345 |    20663    116 |     1804 |        0
892.89/893.20	c  891s |      21 |  1349398 |  1110545 |    20663    116 |     1804 |        0
896.18/896.40	c  895s |      21 |  1351963 |  1112545 |    20663    116 |     1804 |        0
898.18/898.44	c  897s |      21 |  1354927 |  1114845 |    20663    116 |     1804 |        0
900.18/900.46	c  899s |      21 |  1357866 |  1117145 |    20663    116 |     1804 |        0
902.58/902.84	c  901s |      21 |  1360368 |  1119245 |    20663    117 |     1804 |        0
904.58/904.88	c  903s |      21 |  1364154 |  1122345 |    20663    117 |     1804 |        0
906.58/906.88	c  905s |      21 |  1367589 |  1125045 |    20663    117 |     1804 |        0
908.68/908.93	c  907s |      21 |  1370885 |  1127845 |    20663    117 |     1804 |        0
910.69/910.96	c  909s |      21 |  1373386 |  1129945 |    20663    118 |     1804 |        0
912.68/912.98	c  911s |      21 |  1376205 |  1132245 |    20663    118 |     1804 |        0
914.78/915.01	c  913s |      21 |  1380086 |  1135545 |    20663    118 |     1804 |        0
916.78/917.02	c  915s |      21 |  1383194 |  1138045 |    20663    118 |     1804 |        0
918.78/919.02	c  917s |      21 |  1386589 |  1140845 |    20663    118 |     1804 |        0
920.78/921.06	c  919s |      21 |  1389391 |  1143245 |    20663    119 |     1804 |        0
922.79/923.08	c  921s |      21 |  1392641 |  1145845 |    20663    119 |     1804 |        0
924.89/925.13	c  923s |      21 |  1396890 |  1149345 |    20663    119 |     1804 |        0
926.88/927.18	c  925s |      21 |  1400473 |  1152345 |    20663    119 |     1804 |        0
928.88/929.18	c  927s |      21 |  1402396 |  1153945 |    20663    120 |     1804 |        0
930.98/931.23	c  929s |      21 |  1406559 |  1157245 |    20663    120 |     1804 |        0
934.67/934.93	c  933s |      21 |  1410337 |  1160145 |    20663    120 |     1804 |        0
936.67/936.97	c  935s |      21 |  1414663 |  1163745 |    20663    120 |     1804 |        0
938.77/939.02	c  937s |      21 |  1417552 |  1166245 |    20663    121 |     1804 |        0
940.77/941.08	c  939s |      21 |  1420962 |  1169445 |    20663    121 |     1804 |        0
942.87/943.11	c  941s |      21 |  1424153 |  1172345 |    20663    121 |     1804 |        0
944.87/945.14	c  943s |      21 |  1427052 |  1175045 |    20663    121 |     1804 |        0
946.97/947.25	c  945s |      21 |  1428436 |  1176345 |    20663    122 |     1804 |        0
949.77/950.01	c  948s |      21 |  1430949 |  1178645 |    20663    122 |     1804 |        0
951.77/952.09	c  950s |      21 |  1434300 |  1181445 |    20663    122 |     1804 |        0
953.87/954.15	c  952s |      21 |  1437920 |  1184245 |    20663    122 |     1804 |        0
955.86/956.17	c  954s |      21 |  1440802 |  1186745 |    20663    122 |     1804 |        0
957.87/958.17	c  956s |      21 |  1443130 |  1188545 |    20663    123 |     1804 |        0
959.96/960.20	c  958s |      21 |  1445816 |  1190845 |    20663    123 |     1804 |        0
961.96/962.28	c  961s |      21 |  1449088 |  1193645 |    20663    123 |     1804 |        0
964.06/964.35	c  963s |      21 |  1451963 |  1196145 |    20663    123 |     1804 |        0
966.06/966.37	c  965s |      21 |  1454806 |  1198545 |    20663    123 |     1804 |        0
968.36/968.62	c  967s |      21 |  1457297 |  1200545 |    20663    124 |     1804 |        0
970.35/970.64	c  969s |      21 |  1459045 |  1202045 |    20663    124 |     1804 |        0
972.45/972.73	c  971s |      21 |  1462071 |  1204645 |    20663    124 |     1804 |        0
974.46/974.78	c  973s |      21 |  1464601 |  1206745 |    20663    124 |     1804 |        0
976.55/976.85	c  975s |      21 |  1467244 |  1208845 |    20663    124 |     1804 |        0
978.75/979.05	c  977s |      21 |  1469513 |  1210845 |    20663    125 |     1804 |        0
980.85/981.10	c  979s |      21 |  1472175 |  1213145 |    20663    125 |     1804 |        0
982.85/983.10	c  981s |      21 |  1475006 |  1215545 |    20663    125 |     1804 |        0
984.85/985.19	c  983s |      21 |  1477812 |  1217945 |    20663    125 |     1804 |        0
986.94/987.24	c  985s |      21 |  1480743 |  1220445 |    20663    125 |     1804 |        0
988.94/989.29	c  988s |      21 |  1482872 |  1222345 |    20663    126 |     1804 |        0
991.04/991.33	c  990s |      21 |  1484827 |  1224045 |    20663    126 |     1804 |        0
993.14/993.46	c  992s |      21 |  1488063 |  1226845 |    20663    126 |     1804 |        0
995.14/995.47	c  994s |      21 |  1490802 |  1229145 |    20663    126 |     1804 |        0
997.13/997.48	c  996s |      21 |  1493558 |  1231445 |    20663    126 |     1804 |        0
999.24/999.52	c  998s |      21 |  1496565 |  1232945 |    20663    126 |     1804 |        0
1001.24/1001.55	c 1000s |      21 |  1503110 |  1237045 |    20663    127 |     1804 |        0
1003.24/1003.57	c 1002s |      21 |  1506772 |  1240545 |    20663    127 |     1804 |        0
1005.34/1005.63	c 1004s |      21 |  1509673 |  1243345 |    20663    127 |     1804 |        0
1007.34/1007.68	c 1006s |      21 |  1513071 |  1246445 |    20663    128 |     1804 |        0
1009.44/1009.71	c 1008s |      21 |  1516338 |  1249345 |    20663    128 |     1804 |        0
1011.44/1011.74	c 1010s |      21 |  1518499 |  1251445 |    20663    128 |     1804 |        0
1013.54/1013.82	c 1012s |      21 |  1520538 |  1253445 |    20663    128 |     1804 |        0
1015.63/1015.95	c 1014s |      21 |  1523257 |  1255945 |    20663    128 |     1804 |        0
1017.63/1017.96	c 1016s |      21 |  1527945 |  1256945 |    20663    128 |     1804 |        0
1019.83/1020.11	c 1018s |      21 |  1530009 |  1258445 |    20663    128 |     1804 |        0
1021.93/1022.20	c 1020s |      21 |  1533622 |  1259845 |    20663    129 |     1804 |        0
1023.94/1024.26	c 1022s |      21 |  1536999 |  1261245 |    20663    129 |     1804 |        0
1025.93/1026.29	c 1025s |      21 |  1538659 |  1262545 |    20663    129 |     1804 |        0
1028.03/1028.32	c 1027s |      21 |  1540337 |  1263845 |    20663    129 |     1804 |        0
1030.03/1030.39	c 1029s |      21 |  1542561 |  1265145 |    20663    129 |     1804 |        0
1032.13/1032.47	c 1031s |      21 |  1544894 |  1266445 |    20663    129 |     1804 |        0
1034.13/1034.49	c 1033s |      21 |  1547141 |  1267845 |    20663    129 |     1804 |        0
1036.22/1036.57	c 1035s |      21 |  1549426 |  1269245 |    20663    129 |     1804 |        0
1038.32/1038.62	c 1037s |      21 |  1551954 |  1270545 |    20663    129 |     1804 |        0
1040.33/1040.67	c 1039s |      21 |  1553563 |  1271845 |    20663    129 |     1804 |        0
1042.42/1042.70	c 1041s |      21 |  1555008 |  1272945 |    20663    130 |     1804 |        0
1044.52/1044.88	c 1043s |      21 |  1557197 |  1274145 |    20663    130 |     1804 |        0
1046.82/1047.11	c 1045s |      21 |  1559644 |  1275245 |    20663    130 |     1804 |        0
1048.82/1049.17	c 1047s |      21 |  1561506 |  1276345 |    20663    130 |     1804 |        0
1051.02/1051.38	c 1050s |      21 |  1563086 |  1277445 |    20663    130 |     1804 |        0
1053.21/1053.50	c 1052s |      21 |  1565764 |  1278445 |    20663    130 |     1804 |        0
1055.31/1055.69	c 1054s |      21 |  1568613 |  1279545 |    20663    130 |     1804 |        0
1057.41/1057.76	c 1056s |      21 |  1571483 |  1280545 |    20663    130 |     1804 |        0
1059.41/1059.78	c 1058s |      21 |  1574238 |  1281545 |    20663    130 |     1804 |        0
1061.51/1061.88	c 1060s |      21 |  1576183 |  1282845 |    20663    130 |     1804 |        0
1063.61/1063.97	c 1062s |      21 |  1578189 |  1284845 |    20663    130 |     1804 |        0
1065.71/1066.05	c 1064s |      21 |  1579896 |  1286545 |    20663    131 |     1804 |        0
1067.70/1068.08	c 1066s |      21 |  1581913 |  1288545 |    20663    131 |     1804 |        0
1069.80/1070.18	c 1068s |      21 |  1583820 |  1290445 |    20663    131 |     1804 |        0
1071.90/1072.20	c 1070s |      21 |  1585526 |  1292145 |    20663    131 |     1804 |        0
1073.90/1074.27	c 1072s |      21 |  1587121 |  1293745 |    20663    131 |     1804 |        0
1076.00/1076.39	c 1075s |      21 |  1588735 |  1295345 |    20663    131 |     1804 |        0
1078.20/1078.51	c 1077s |      21 |  1590356 |  1296945 |    20663    131 |     1804 |        0
1080.30/1080.63	c 1079s |      21 |  1591667 |  1298245 |    20663    132 |     1804 |        0
1082.30/1082.69	c 1081s |      21 |  1592973 |  1299545 |    20663    132 |     1804 |        0
1084.41/1084.76	c 1083s |      21 |  1594632 |  1301145 |    20663    132 |     1804 |        0
1086.50/1086.82	c 1085s |      21 |  1596336 |  1302845 |    20663    132 |     1804 |        0
1088.50/1088.84	c 1087s |      21 |  1598046 |  1304545 |    20663    132 |     1804 |        0
1090.59/1090.98	c 1089s |      21 |  1599648 |  1306145 |    20663    132 |     1804 |        0
1092.69/1093.08	c 1091s |      21 |  1601055 |  1307545 |    20663    132 |     1804 |        0
1094.79/1095.11	c 1093s |      21 |  1602564 |  1309045 |    20663    132 |     1804 |        0
1096.79/1097.16	c 1095s |      21 |  1603880 |  1310345 |    20663    133 |     1804 |        0
1098.89/1099.25	c 1097s |      21 |  1605585 |  1312045 |    20663    133 |     1804 |        0
1100.99/1101.34	c 1100s |      21 |  1607286 |  1313745 |    20663    133 |     1804 |        0
1104.90/1105.23	c 1103s |      21 |  1607611 |  1314045 |    20663    133 |     1804 |        0
1106.99/1107.32	c 1106s |      21 |  1609229 |  1315645 |    20663    133 |     1804 |        0
1108.99/1109.36	c 1108s |      21 |  1610845 |  1317245 |    20663    133 |     1804 |        0
1111.09/1111.40	c 1110s |      21 |  1612448 |  1318845 |    20663    133 |     1804 |        0
1113.09/1113.43	c 1112s |      21 |  1613953 |  1320345 |    20663    133 |     1804 |        0
1115.10/1115.45	c 1114s |      21 |  1615363 |  1321745 |    20663    133 |     1804 |        0
1117.19/1117.54	c 1116s |      21 |  1616668 |  1323045 |    20663    134 |     1804 |        0
1119.19/1119.57	c 1118s |      21 |  1617971 |  1324345 |    20663    134 |     1804 |        0
1121.29/1121.60	c 1120s |      21 |  1619376 |  1325745 |    20663    134 |     1804 |        0
1123.29/1123.69	c 1122s |      21 |  1620888 |  1327245 |    20663    134 |     1804 |        0
1125.39/1125.77	c 1124s |      21 |  1622290 |  1328645 |    20663    134 |     1804 |        0
1127.48/1127.83	c 1126s |      21 |  1623600 |  1329945 |    20663    134 |     1804 |        0
1129.49/1129.84	c 1128s |      21 |  1624802 |  1331145 |    20663    134 |     1804 |        0
1131.59/1131.97	c 1130s |      21 |  1626009 |  1332345 |    20663    134 |     1804 |        0
1133.68/1134.08	c 1132s |      21 |  1627214 |  1333545 |    20663    134 |     1804 |        0
1135.78/1136.19	c 1134s |      21 |  1628416 |  1334745 |    20663    134 |     1804 |        0
1137.88/1138.26	c 1136s |      21 |  1629520 |  1335845 |    20663    135 |     1804 |        0
1141.37/1141.80	c 1140s |      21 |  1630330 |  1336645 |    20663    135 |     1804 |        0
1143.47/1143.89	c 1142s |      21 |  1631540 |  1337845 |    20663    135 |     1804 |        0
1145.57/1145.97	c 1144s |      21 |  1632855 |  1339145 |    20663    135 |     1804 |        0
1147.57/1147.98	c 1146s |      21 |  1634156 |  1340445 |    20663    135 |     1804 |        0
1149.67/1150.04	c 1148s |      21 |  1635563 |  1341845 |    20663    135 |     1804 |        0
1151.67/1152.06	c 1150s |      21 |  1636764 |  1343045 |    20663    135 |     1804 |        0
1153.68/1154.07	c 1152s |      21 |  1637979 |  1344245 |    20663    135 |     1804 |        0
1155.77/1156.13	c 1154s |      21 |  1639276 |  1345545 |    20663    135 |     1804 |        0
1157.77/1158.18	c 1156s |      21 |  1640492 |  1346745 |    20663    135 |     1804 |        0
1160.66/1161.08	c 1159s |      21 |  1641595 |  1347845 |    20663    136 |     1804 |        0
1162.76/1163.19	c 1161s |      21 |  1642897 |  1349145 |    20663    136 |     1804 |        0
1164.96/1165.32	c 1164s |      21 |  1644105 |  1350345 |    20663    136 |     1804 |        0
1166.97/1167.34	c 1166s |      21 |  1645419 |  1351645 |    20663    136 |     1804 |        0
1170.27/1170.62	c 1169s |      21 |  1646627 |  1352845 |    20663    136 |     1804 |        0
1172.28/1172.68	c 1171s |      21 |  1647927 |  1354145 |    20663    136 |     1804 |        0
1174.37/1174.71	c 1173s |      21 |  1649431 |  1355645 |    20663    136 |     1804 |        0
1176.37/1176.71	c 1175s |      21 |  1650836 |  1357045 |    20663    136 |     1804 |        0
1178.47/1178.83	c 1177s |      21 |  1652334 |  1358545 |    20663    136 |     1804 |        0
1180.57/1180.91	c 1179s |      21 |  1653834 |  1360045 |    20663    136 |     1804 |        0
1185.17/1185.54	c 1184s |      21 |  1654646 |  1360845 |    20663    137 |     1804 |        0
1187.26/1187.68	c 1186s |      21 |  1656257 |  1362445 |    20663    137 |     1804 |        0
1189.36/1189.75	c 1188s |      21 |  1657863 |  1364045 |    20663    137 |     1804 |        0
1191.36/1191.79	c 1190s |      21 |  1659277 |  1365445 |    20663    137 |     1804 |        0
1193.46/1193.84	c 1192s |      21 |  1660688 |  1366845 |    20663    137 |     1804 |        0
1195.47/1195.85	c 1194s |      21 |  1662003 |  1368145 |    20663    137 |     1804 |        0
1197.46/1197.87	c 1196s |      21 |  1663205 |  1369345 |    20663    137 |     1804 |        0
1199.56/1199.91	c 1198s |      21 |  1664431 |  1370545 |    20663    137 |     1804 |        0
1201.56/1201.94	c 1200s |      21 |  1665627 |  1371745 |    20663    137 |     1804 |        0
1203.56/1203.99	c 1202s |      21 |  1666745 |  1372845 |    20663    137 |     1804 |        0
1205.75/1206.15	c 1204s |      21 |  1667952 |  1374045 |    20663    138 |     1804 |        0
1208.75/1209.14	c 1207s |      21 |  1668364 |  1374445 |    20663    138 |     1804 |        0
1210.86/1211.24	c 1209s |      21 |  1669860 |  1375945 |    20663    138 |     1804 |        0
1212.85/1213.24	c 1211s |      21 |  1671366 |  1377445 |    20663    138 |     1804 |        0
1214.95/1215.38	c 1214s |      21 |  1672969 |  1379045 |    20663    138 |     1804 |        0
1216.95/1217.39	c 1216s |      21 |  1674486 |  1380545 |    20663    138 |     1804 |        0
1219.14/1219.50	c 1218s |      21 |  1676085 |  1382145 |    20663    138 |     1804 |        0
1221.14/1221.56	c 1220s |      21 |  1677498 |  1383545 |    20663    138 |     1804 |        0
1223.24/1223.61	c 1222s |      21 |  1678831 |  1384845 |    20663    138 |     1804 |        0
1225.24/1225.63	c 1224s |      21 |  1680031 |  1386045 |    20663    139 |     1804 |        0
1227.35/1227.73	c 1226s |      21 |  1680848 |  1386845 |    20663    139 |     1804 |        0
1229.45/1229.83	c 1228s |      21 |  1682445 |  1388445 |    20663    139 |     1804 |        0
1231.54/1231.96	c 1230s |      21 |  1684163 |  1390145 |    20663    139 |     1804 |        0
1233.54/1233.97	c 1232s |      21 |  1685758 |  1391745 |    20663    139 |     1804 |        0
1235.54/1235.98	c 1234s |      21 |  1687380 |  1393345 |    20663    139 |     1804 |        0
1237.64/1238.05	c 1236s |      21 |  1688976 |  1394945 |    20663    139 |     1804 |        0
1239.74/1240.16	c 1238s |      21 |  1690591 |  1396545 |    20663    139 |     1804 |        0
1241.85/1242.21	c 1240s |      21 |  1692026 |  1397945 |    20663    139 |     1804 |        0
1243.95/1244.30	c 1243s |      21 |  1693437 |  1399345 |    20663    140 |     1804 |        0
1245.95/1246.35	c 1245s |      21 |  1695039 |  1400945 |    20663    140 |     1804 |        0
1248.05/1248.48	c 1247s |      21 |  1696652 |  1402545 |    20663    140 |     1804 |        0
1250.15/1250.55	c 1249s |      21 |  1698256 |  1404145 |    20663    140 |     1804 |        0
1252.15/1252.58	c 1251s |      21 |  1699766 |  1405645 |    20663    140 |     1804 |        0
1254.25/1254.64	c 1253s |      21 |  1701270 |  1407145 |    20663    140 |     1804 |        0
1256.24/1256.69	c 1255s |      21 |  1702771 |  1408645 |    20663    140 |     1804 |        0
1259.64/1260.00	c 1258s |      21 |  1703282 |  1409145 |    20663    140 |     1804 |        0
1261.64/1262.09	c 1260s |      21 |  1704574 |  1410445 |    20663    140 |     1804 |        0
1263.94/1264.32	c 1263s |      21 |  1704977 |  1410845 |    20663    141 |     1804 |        0
1265.93/1266.36	c 1265s |      21 |  1706592 |  1412445 |    20663    141 |     1804 |        0
1267.94/1268.37	c 1267s |      21 |  1708103 |  1413945 |    20663    141 |     1804 |        0
1270.14/1270.52	c 1269s |      21 |  1709122 |  1414945 |    20663    141 |     1804 |        0
1275.64/1276.10	c 1274s |      21 |  1710225 |  1416045 |    20663    141 |     1804 |        0
1277.73/1278.14	c 1276s |      21 |  1711510 |  1417345 |    20663    141 |     1804 |        0
1279.83/1280.23	c 1278s |      21 |  1712933 |  1418745 |    20663    141 |     1804 |        0
1281.93/1282.38	c 1281s |      21 |  1714242 |  1420045 |    20663    141 |     1804 |        0
1284.03/1284.44	c 1283s |      21 |  1715641 |  1421445 |    20663    141 |     1804 |        0
1286.13/1286.53	c 1285s |      21 |  1717051 |  1422845 |    20663    141 |     1804 |        0
1288.23/1288.60	c 1287s |      21 |  1718349 |  1424145 |    20663    142 |     1804 |        0
1290.23/1290.65	c 1289s |      21 |  1719868 |  1425645 |    20663    142 |     1804 |        0
1292.33/1292.70	c 1291s |      21 |  1721061 |  1426845 |    20663    142 |     1804 |        0
1294.43/1294.84	c 1293s |      21 |  1721979 |  1427745 |    20663    142 |     1804 |        0
1298.92/1299.30	c 1298s |      21 |  1722475 |  1428245 |    20663    142 |     1804 |        0
1300.93/1301.35	c 1300s |      21 |  1723798 |  1429545 |    20663    142 |     1804 |        0
1302.92/1303.39	c 1302s |      21 |  1725302 |  1431045 |    20663    142 |     1804 |        0
1305.32/1305.75	c 1304s |      21 |  1726708 |  1432445 |    20663    142 |     1804 |        0
1307.42/1307.81	c 1306s |      21 |  1728116 |  1433845 |    20663    142 |     1804 |        0
1309.42/1309.85	c 1308s |      21 |  1729424 |  1435145 |    20663    142 |     1804 |        0
1311.42/1311.88	c 1310s |      21 |  1730629 |  1436345 |    20663    143 |     1804 |        0
1313.42/1313.88	c 1312s |      21 |  1732032 |  1437745 |    20663    143 |     1804 |        0
1315.52/1315.93	c 1314s |      21 |  1733231 |  1438945 |    20663    143 |     1804 |        0
1317.52/1317.94	c 1316s |      21 |  1734742 |  1440445 |    20663    143 |     1804 |        0
1319.62/1320.03	c 1318s |      21 |  1736245 |  1441945 |    20663    143 |     1804 |        0
1326.01/1326.48	c 1325s |      21 |  1737165 |  1442845 |    20663    143 |     1804 |        0
1328.21/1328.60	c 1327s |      21 |  1738693 |  1444345 |    20663    143 |     1804 |        0
1330.31/1330.72	c 1329s |      21 |  1740306 |  1445945 |    20663    143 |     1804 |        0
1332.31/1332.73	c 1331s |      21 |  1741810 |  1447445 |    20663    143 |     1804 |        0
1334.31/1334.73	c 1333s |      21 |  1742920 |  1448545 |    20663    144 |     1804 |        0
1336.41/1336.81	c 1335s |      21 |  1744420 |  1450045 |    20663    144 |     1804 |        0
1338.51/1338.92	c 1337s |      21 |  1745934 |  1451545 |    20663    144 |     1804 |        0
1340.62/1341.05	c 1339s |      21 |  1747445 |  1453045 |    20663    144 |     1804 |        0
1342.81/1343.21	c 1341s |      21 |  1748952 |  1454545 |    20663    144 |     1804 |        0
1344.91/1345.32	c 1344s |      21 |  1750251 |  1455845 |    20663    144 |     1804 |        0
1346.90/1347.35	c 1346s |      21 |  1751461 |  1457045 |    20663    144 |     1804 |        0
1349.00/1349.45	c 1348s |      21 |  1752761 |  1458345 |    20663    144 |     1804 |        0
1351.11/1351.56	c 1350s |      21 |  1754072 |  1459645 |    20663    144 |     1804 |        0
1353.21/1353.67	c 1352s |      21 |  1755272 |  1460845 |    20663    144 |     1804 |        0
1355.41/1355.83	c 1354s |      21 |  1756087 |  1461645 |    20663    145 |     1804 |        0
1357.81/1358.21	c 1356s |      21 |  1757593 |  1463145 |    20663    145 |     1804 |        0
1359.81/1360.24	c 1358s |      21 |  1758884 |  1464445 |    20663    145 |     1804 |        0
1362.31/1362.73	c 1361s |      21 |  1760102 |  1465645 |    20663    145 |     1804 |        0
1364.41/1364.84	c 1363s |      21 |  1761303 |  1466845 |    20663    145 |     1804 |        0
1366.50/1366.93	c 1365s |      21 |  1762609 |  1468145 |    20663    145 |     1804 |        0
1368.60/1369.00	c 1367s |      21 |  1763807 |  1469345 |    20663    145 |     1804 |        0
1370.70/1371.16	c 1369s |      21 |  1765018 |  1470545 |    20663    145 |     1804 |        0
1372.80/1373.24	c 1371s |      21 |  1766119 |  1471645 |    20663    145 |     1804 |        0
1374.90/1375.39	c 1374s |      21 |  1767230 |  1472745 |    20663    145 |     1804 |        0
1380.69/1381.16	c 1379s |      21 |  1768240 |  1473745 |    20663    146 |     1804 |        0
1382.79/1383.28	c 1382s |      21 |  1769640 |  1475145 |    20663    146 |     1804 |        0
1384.89/1385.38	c 1384s |      21 |  1771047 |  1476545 |    20663    146 |     1804 |        0
1386.99/1387.42	c 1386s |      21 |  1772454 |  1477945 |    20663    146 |     1804 |        0
1388.99/1389.46	c 1388s |      21 |  1773867 |  1479345 |    20663    146 |     1804 |        0
1391.09/1391.55	c 1390s |      21 |  1775077 |  1480545 |    20663    146 |     1804 |        0
1393.18/1393.66	c 1392s |      21 |  1776270 |  1481745 |    20663    146 |     1804 |        0
1395.18/1395.67	c 1394s |      21 |  1777375 |  1482845 |    20663    146 |     1804 |        0
1397.38/1397.82	c 1396s |      21 |  1778590 |  1484045 |    20663    146 |     1804 |        0
1399.48/1399.93	c 1398s |      21 |  1779783 |  1485245 |    20663    146 |     1804 |        0
1401.98/1402.42	c 1401s |      21 |  1780788 |  1486245 |    20663    147 |     1804 |        0
1403.98/1404.45	c 1403s |      21 |  1782100 |  1487545 |    20663    147 |     1804 |        0
1406.08/1406.53	c 1405s |      21 |  1783408 |  1488845 |    20663    147 |     1804 |        0
1409.67/1410.18	c 1408s |      21 |  1784614 |  1490045 |    22730    147 |     1804 |        0
1411.77/1412.21	c 1410s |      21 |  1785714 |  1491145 |    22730    147 |     1804 |        0
1413.77/1414.27	c 1412s |      21 |  1786921 |  1492345 |    22730    147 |     1804 |        0
1415.97/1416.42	c 1415s |      21 |  1788220 |  1493645 |    22730    147 |     1804 |        0
1417.97/1418.43	c 1417s |      21 |  1789433 |  1494845 |    22730    147 |     1804 |        0
1420.07/1420.54	c 1419s |      21 |  1790733 |  1496145 |    22730    147 |     1804 |        0
1422.17/1422.64	c 1421s |      21 |  1792049 |  1497445 |    22730    147 |     1804 |        0
1424.18/1424.69	c 1423s |      21 |  1793039 |  1498445 |    22730    147 |     1804 |        0
1426.38/1426.86	c 1425s |      21 |  1794142 |  1499545 |    22730    147 |     1804 |        0
1428.37/1428.90	c 1427s |      21 |  1795053 |  1500445 |    22730    147 |     1804 |        0
1428.77/1429.20	c 1427s |      22 |  1795229 |  1500622 |    22730    147 |     1804 |        0
1431.37/1431.81	c 1430s |      22 |  1795922 |  1500722 |    22730    148 |     1804 |        0
1433.48/1433.93	c 1432s |      22 |  1797210 |  1501422 |    22730    148 |     1804 |        0
1435.57/1436.05	c 1434s |      22 |  1798604 |  1502422 |    22730    148 |     1804 |        0
1437.77/1438.21	c 1436s |      22 |  1799929 |  1503322 |    22730    148 |     1804 |        0
1439.97/1440.45	c 1439s |      22 |  1801056 |  1504122 |    22730    148 |     1804 |        0
1442.07/1442.53	c 1441s |      22 |  1802519 |  1505122 |    22730    148 |     1804 |        0
1444.27/1444.73	c 1443s |      22 |  1803883 |  1506022 |    22730    148 |     1804 |        0
1446.37/1446.89	c 1445s |      22 |  1804899 |  1506722 |    22730    148 |     1804 |        0
1448.67/1449.18	c 1447s |      22 |  1806067 |  1507422 |    22730    148 |     1804 |        0
1450.97/1451.47	c 1450s |      22 |  1807155 |  1508122 |    22730    148 |     1804 |        0
1452.97/1453.47	c 1452s |      22 |  1807989 |  1508722 |    22730    148 |     1804 |        0
1454.97/1455.48	c 1454s |      22 |  1809011 |  1509422 |    22730    148 |     1804 |        0
1457.27/1457.71	c 1456s |      22 |  1810580 |  1510322 |    22730    148 |     1804 |        0
1459.47/1459.91	c 1458s |      22 |  1811862 |  1511122 |    22730    148 |     1804 |        0
1462.17/1462.65	c 1461s |      22 |  1812892 |  1511822 |    22730    149 |     1804 |        0
1464.17/1464.68	c 1463s |      22 |  1815076 |  1513422 |    22730    149 |     1804 |        0
1466.27/1466.73	c 1465s |      22 |  1817598 |  1515222 |    22730    149 |     1804 |        0
1468.36/1468.81	c 1467s |      22 |  1820049 |  1516822 |    22730    149 |     1804 |        0
1471.96/1472.43	c 1471s |      22 |  1820801 |  1517322 |    22730    149 |     1804 |        0
1473.96/1474.48	c 1473s |      22 |  1824690 |  1518822 |    22730    149 |     1804 |        0
1476.06/1476.55	c 1475s |      22 |  1826897 |  1520422 |    22730    149 |     1804 |        0
1478.16/1478.61	c 1477s |      22 |  1829395 |  1521922 |    22730    149 |     1804 |        0
1480.17/1480.66	c 1479s |      22 |  1831226 |  1523322 |    22730    149 |     1804 |        0
1482.47/1482.95	c 1481s |      22 |  1833133 |  1524622 |    22730    150 |     1804 |        0
1484.46/1484.99	c 1483s |      22 |  1835507 |  1526222 |    22730    150 |     1804 |        0
1486.56/1487.03	c 1485s |      22 |  1837765 |  1527822 |    22730    150 |     1804 |        0
1489.26/1489.74	c 1488s |      22 |  1838742 |  1528422 |    22730    150 |     1804 |        0
1491.36/1491.81	c 1490s |      22 |  1841836 |  1530022 |    22730    150 |     1804 |        0
1493.46/1493.95	c 1492s |      22 |  1844156 |  1531822 |    22730    150 |     1804 |        0
1495.46/1495.98	c 1494s |      22 |  1846564 |  1533422 |    22730    150 |     1804 |        0
1497.66/1498.10	c 1496s |      22 |  1849375 |  1535022 |    22730    150 |     1804 |        0
1499.76/1500.29	c 1499s |      22 |  1851946 |  1536522 |    22730    151 |     1804 |        0
1501.86/1502.32	c 1501s |      22 |  1854309 |  1537922 |    22730    151 |     1804 |        0
1503.86/1504.37	c 1503s |      22 |  1857515 |  1539622 |    22730    151 |     1804 |        0
1505.96/1506.42	c 1505s |      22 |  1860094 |  1541422 |    22730    151 |     1804 |        0
1507.95/1508.43	c 1507s |      22 |  1862704 |  1543022 |    22730    151 |     1804 |        0
1509.96/1510.45	c 1509s |      22 |  1867660 |  1544322 |    22730    151 |     1804 |        0
1512.06/1512.56	c 1511s |      22 |  1870617 |  1545922 |    22730    151 |     1804 |        0
1514.15/1514.62	c 1513s |      22 |  1874980 |  1547422 |    22730    151 |     1804 |        0
1516.25/1516.70	c 1515s |      22 |  1877369 |  1548722 |    22730    151 |     1804 |        0
1518.25/1518.72	c 1517s |      22 |  1880194 |  1549822 |    22730    152 |     1804 |        0
1520.35/1520.88	c 1519s |      22 |  1882518 |  1550922 |    22730    152 |     1804 |        0
1522.45/1522.91	c 1521s |      22 |  1885426 |  1552522 |    22730    152 |     1804 |        0
1524.45/1524.97	c 1523s |      22 |  1888930 |  1553922 |    22730    152 |     1804 |        0
1526.46/1526.98	c 1525s |      22 |  1891850 |  1555222 |    22730    152 |     1804 |        0
1528.56/1529.04	c 1527s |      22 |  1894343 |  1556822 |    22730    152 |     1804 |        0
1530.65/1531.17	c 1529s |      22 |  1897369 |  1558422 |    22730    152 |     1804 |        0
1532.75/1533.29	c 1532s |      22 |  1900650 |  1559622 |    22730    152 |     1804 |        0
1534.85/1535.32	c 1534s |      22 |  1902709 |  1561022 |    22730    152 |     1804 |        0
1540.55/1541.06	c 1539s |      22 |  1903561 |  1561622 |    22730    153 |     1804 |        0
1542.65/1543.11	c 1541s |      22 |  1906708 |  1563422 |    22730    153 |     1804 |        0
1544.65/1545.18	c 1543s |      22 |  1909241 |  1565322 |    22730    153 |     1804 |        0
1546.75/1547.28	c 1546s |      22 |  1912659 |  1567122 |    22730    153 |     1804 |        0
1548.85/1549.38	c 1548s |      22 |  1915698 |  1568822 |    22730    153 |     1804 |        0
1550.95/1551.41	c 1550s |      22 |  1918516 |  1570522 |    22730    153 |     1804 |        0
1552.95/1553.47	c 1552s |      22 |  1921025 |  1572122 |    22730    153 |     1804 |        0
1555.15/1555.67	c 1554s |      22 |  1923941 |  1573522 |    22730    154 |     1804 |        0
1557.45/1557.90	c 1556s |      22 |  1927582 |  1575622 |    22730    154 |     1804 |        0
1559.46/1559.99	c 1558s |      22 |  1930599 |  1577422 |    22730    154 |     1804 |        0
1561.56/1562.00	c 1560s |      22 |  1933599 |  1579222 |    22730    154 |     1804 |        0
1563.65/1564.10	c 1562s |      22 |  1936852 |  1581022 |    22730    154 |     1804 |        0
1565.65/1566.12	c 1564s |      22 |  1940323 |  1583022 |    22730    154 |     1804 |        0
1567.75/1568.23	c 1566s |      22 |  1943757 |  1584822 |    22730    154 |     1804 |        0
1569.85/1570.32	c 1569s |      22 |  1947184 |  1586322 |    22730    155 |     1804 |        0
1571.85/1572.37	c 1571s |      22 |  1949680 |  1587922 |    22730    155 |     1804 |        0
1573.85/1574.39	c 1573s |      22 |  1952340 |  1589422 |    22730    155 |     1804 |        0
1575.95/1576.48	c 1575s |      22 |  1955096 |  1591022 |    22730    155 |     1804 |        0
1577.95/1578.49	c 1577s |      22 |  1958684 |  1592722 |    22730    155 |     1804 |        0
1580.05/1580.59	c 1579s |      22 |  1962704 |  1594522 |    22730    155 |     1804 |        0
1582.15/1582.66	c 1581s |      22 |  1966186 |  1596122 |    22730    155 |     1804 |        0
1584.25/1584.72	c 1583s |      22 |  1968981 |  1597722 |    22730    155 |     1804 |        0
1586.24/1586.74	c 1585s |      22 |  1971638 |  1599022 |    22730    156 |     1804 |        0
1588.34/1588.87	c 1587s |      22 |  1975208 |  1600822 |    22730    156 |     1804 |        0
1590.34/1590.87	c 1589s |      22 |  1978553 |  1602422 |    22730    156 |     1804 |        0
1592.35/1592.88	c 1591s |      22 |  1981023 |  1603722 |    22730    156 |     1804 |        0
1594.44/1594.96	c 1593s |      22 |  1984726 |  1605522 |    22730    156 |     1804 |        0
1596.54/1597.03	c 1595s |      22 |  1988287 |  1607122 |    22730    156 |     1804 |        0
1598.64/1599.15	c 1597s |      22 |  1990866 |  1608522 |    22730    156 |     1804 |        0
1600.74/1601.29	c 1600s |      22 |  1993866 |  1610022 |    22730    156 |     1804 |        0
1602.84/1603.38	c 1602s |      22 |  1997522 |  1611322 |    22730    157 |     1804 |        0
1604.94/1605.46	c 1604s |      22 |  2001179 |  1613122 |    22730    157 |     1804 |        0
1607.04/1607.53	c 1606s |      22 |  2004065 |  1614822 |    22730    157 |     1804 |        0
1609.04/1609.58	c 1608s |      22 |  2007589 |  1616322 |    22730    157 |     1804 |        0
1611.15/1611.61	c 1610s |      22 |  2010460 |  1617922 |    22730    157 |     1804 |        0
1613.14/1613.70	c 1612s |      22 |  2013810 |  1619422 |    22730    157 |     1804 |        0
1615.34/1615.81	c 1614s |      22 |  2015556 |  1620722 |    22730    157 |     1804 |        0
1617.44/1617.90	c 1616s |      22 |  2020351 |  1621922 |    22730    157 |     1804 |        0
1619.54/1620.06	c 1618s |      22 |  2022807 |  1623222 |    22730    158 |     1804 |        0
1621.64/1622.17	c 1620s |      22 |  2026312 |  1624622 |    22730    158 |     1804 |        0
1623.64/1624.19	c 1622s |      22 |  2028308 |  1625622 |    22730    158 |     1804 |        0
1625.84/1626.32	c 1625s |      22 |  2031864 |  1627022 |    22730    158 |     1804 |        0
1627.84/1628.38	c 1627s |      22 |  2034549 |  1628522 |    22730    158 |     1804 |        0
1634.25/1634.77	c 1633s |      22 |  2037114 |  1629922 |    22730    158 |     1804 |        0
1636.24/1636.80	c 1635s |      22 |  2040306 |  1631422 |    22730    158 |     1804 |        0
1638.34/1638.84	c 1637s |      22 |  2043228 |  1632922 |    22730    158 |     1804 |        0
1640.34/1640.89	c 1639s |      22 |  2046025 |  1634222 |    22730    158 |     1804 |        0
1642.54/1643.00	c 1641s |      22 |  2048696 |  1635522 |    22730    159 |     1804 |        0
1644.54/1645.08	c 1643s |      22 |  2052677 |  1637122 |    22730    159 |     1804 |        0
1646.64/1647.12	c 1645s |      22 |  2055293 |  1638622 |    22730    159 |     1804 |        0
1648.74/1649.25	c 1647s |      22 |  2059391 |  1640122 |    22730    159 |     1804 |        0
1650.84/1651.35	c 1650s |      22 |  2063209 |  1641622 |    22730    159 |     1804 |        0
1652.84/1653.37	c 1652s |      22 |  2065961 |  1643122 |    22730    159 |     1804 |        0
1654.84/1655.37	c 1654s |      22 |  2067563 |  1644022 |    22730    159 |     1804 |        0
1656.94/1657.46	c 1656s |      22 |  2071124 |  1645322 |    22730    159 |     1804 |        0
1658.93/1659.48	c 1658s |      22 |  2073961 |  1646622 |    22730    159 |     1804 |        0
1661.03/1661.58	c 1660s |      22 |  2076604 |  1647822 |    22730    160 |     1804 |        0
1663.13/1663.67	c 1662s |      22 |  2080549 |  1649322 |    22730    160 |     1804 |        0
1665.33/1665.82	c 1664s |      22 |  2083597 |  1650722 |    22730    160 |     1804 |        0
1667.43/1667.93	c 1666s |      22 |  2086946 |  1652122 |    22730    160 |     1804 |        0
1669.53/1670.01	c 1668s |      22 |  2091424 |  1653522 |    22730    160 |     1804 |        0
1671.54/1672.05	c 1670s |      22 |  2095162 |  1654622 |    22730    160 |     1804 |        0
1673.63/1674.12	c 1672s |      22 |  2097862 |  1655722 |    22730    160 |     1804 |        0
1675.83/1676.31	c 1675s |      22 |  2099765 |  1657022 |    22730    160 |     1804 |        0
1677.93/1678.46	c 1677s |      22 |  2101899 |  1658122 |    22730    160 |     1804 |        0
1680.13/1680.68	c 1679s |      22 |  2102290 |  1658422 |    22730    160 |     1804 |        0
1682.23/1682.78	c 1681s |      22 |  2103898 |  1658822 |    22730    160 |     1804 |        0
1684.63/1685.14	c 1683s |      22 |  2105986 |  1659822 |    22730    161 |     1804 |        0
1686.82/1687.38	c 1686s |      22 |  2106881 |  1660422 |    22730    161 |     1804 |        0
1688.92/1689.44	c 1688s |      22 |  2109267 |  1661622 |    22730    161 |     1804 |        0
1691.02/1691.59	c 1690s |      22 |  2112184 |  1662922 |    22730    161 |     1804 |        0
1693.13/1693.64	c 1692s |      22 |  2115894 |  1664222 |    22730    161 |     1804 |        0
1695.23/1695.70	c 1694s |      22 |  2118743 |  1665422 |    22730    161 |     1804 |        0
1697.23/1697.72	c 1696s |      22 |  2123584 |  1666522 |    22730    161 |     1804 |        0
1699.43/1699.90	c 1698s |      22 |  2129941 |  1667722 |    22730    161 |     1804 |        0
1701.63/1702.14	c 1700s |      22 |  2133582 |  1668722 |    22730    161 |     1804 |        0
1703.73/1704.21	c 1702s |      22 |  2135601 |  1669622 |    22730    161 |     1804 |        0
1706.03/1706.59	c 1705s |      22 |  2138668 |  1670722 |    22730    161 |     1804 |        0
1708.23/1708.78	c 1707s |      22 |  2139682 |  1671522 |    22730    161 |     1804 |        0
1710.33/1710.86	c 1709s |      22 |  2142941 |  1672422 |    22730    162 |     1804 |        0
1712.34/1712.88	c 1711s |      22 |  2146268 |  1673722 |    22730    162 |     1804 |        0
1714.44/1714.99	c 1713s |      22 |  2148432 |  1675222 |    22730    162 |     1804 |        0
1716.74/1717.24	c 1715s |      22 |  2152117 |  1676322 |    22730    162 |     1804 |        0
1718.84/1719.31	c 1718s |      22 |  2156812 |  1677422 |    22730    162 |     1804 |        0
1720.93/1721.41	c 1720s |      22 |  2161271 |  1678722 |    22730    162 |     1804 |        0
1722.93/1723.45	c 1722s |      22 |  2163571 |  1680022 |    22730    162 |     1804 |        0
1725.03/1725.52	c 1724s |      22 |  2166007 |  1680722 |    22730    162 |     1804 |        0
1727.03/1727.54	c 1726s |      22 |  2168807 |  1681722 |    22730    162 |     1804 |        0
1729.13/1729.62	c 1728s |      22 |  2173860 |  1682822 |    22730    162 |     1804 |        0
1731.23/1731.74	c 1730s |      22 |  2178810 |  1683922 |    22730    162 |     1804 |        0
1733.33/1733.86	c 1732s |      22 |  2181727 |  1684922 |    22730    163 |     1804 |        0
1735.33/1735.88	c 1734s |      22 |  2186381 |  1686022 |    22730    163 |     1804 |        0
1737.53/1738.10	c 1736s |      22 |  2188225 |  1686922 |    22730    163 |     1804 |        0
1739.73/1740.23	c 1738s |      22 |  2190926 |  1687722 |    22730    163 |     1804 |        0
1741.83/1742.35	c 1741s |      22 |  2193197 |  1688922 |    22730    163 |     1804 |        0
1743.83/1744.39	c 1743s |      22 |  2196523 |  1690022 |    22730    163 |     1804 |        0
1746.12/1746.66	c 1745s |      22 |  2197862 |  1691022 |    22730    163 |     1804 |        0
1748.32/1748.83	c 1747s |      22 |  2199729 |  1691822 |    22730    163 |     1804 |        0
1750.52/1751.01	c 1749s |      22 |  2203244 |  1692722 |    22730    163 |     1804 |        0
1752.72/1753.20	c 1751s |      22 |  2206466 |  1693622 |    22730    163 |     1804 |        0
1754.92/1755.42	c 1754s |      22 |  2211368 |  1694622 |    22730    163 |     1804 |        0
1757.02/1757.51	c 1756s |      22 |  2212429 |  1695322 |    22730    163 |     1804 |        0
1759.02/1759.52	c 1758s |      22 |  2213631 |  1696522 |    22730    163 |     1804 |        0
1761.02/1761.54	c 1760s |      22 |  2214944 |  1697822 |    22730    164 |     1804 |        0
1763.12/1763.63	c 1762s |      22 |  2216358 |  1699222 |    22730    164 |     1804 |        0
1765.22/1765.72	c 1764s |      22 |  2217874 |  1700722 |    22730    164 |     1804 |        0
1767.23/1767.78	c 1766s |      22 |  2219177 |  1702022 |    22730    164 |     1804 |        0
1769.32/1769.80	c 1768s |      22 |  2220288 |  1703122 |    22730    164 |     1804 |        0
1771.32/1771.83	c 1770s |      22 |  2221297 |  1704122 |    22730    164 |     1804 |        0
1773.52/1774.01	c 1772s |      22 |  2222512 |  1705322 |    22730    164 |     1804 |        0
1775.52/1776.07	c 1774s |      22 |  2223627 |  1706422 |    22730    164 |     1804 |        0
1777.62/1778.19	c 1776s |      22 |  2224485 |  1707122 |    22730    164 |     1804 |        0
1779.82/1780.33	c 1779s |      22 |  2225697 |  1707622 |    22730    164 |     1804 |        0
1782.02/1782.58	c 1781s |      22 |  2226430 |  1708322 |    22730    164 |     1804 |        0
1784.12/1784.68	c 1783s |      22 |  2227565 |  1709122 |    22730    164 |     1804 |        0
1786.22/1786.72	c 1785s |      22 |  2228279 |  1709822 |    22730    165 |     1804 |        0
1788.31/1788.80	c 1787s |      22 |  2229009 |  1710522 |    22730    165 |     1804 |        0
1790.51/1791.01	c 1789s |      22 |  2230118 |  1711522 |    22730    165 |     1804 |        0
1792.52/1793.07	c 1791s |      22 |  2231155 |  1712522 |    22730    165 |     1804 |        0
1794.61/1795.16	c 1793s |      22 |  2232092 |  1713422 |    22730    165 |     1804 |        0
1796.71/1797.27	c 1795s |      22 |  2233187 |  1714422 |    22730    165 |     1804 |        0
1798.81/1799.35	c 1798s |      22 |  2235420 |  1715522 |    22730    165 |     1804 |        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-4100793-1466217275/watcher-4100793-1466217275 -o /tmp/evaluation-result-4100793-1466217275/solver-4100793-1466217275 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-595 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100793-1466217275.opb 

pid=2847
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.25 2.23 2.19 3/179 2850
/proc/meminfo: memFree=28969168/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=437692 CPUtime=0 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 1582 0 0 0 0 0 0 0 20 0 4 0 23774605 448196608 2453 33554432000 4194304 16246674 140735938020816 140735938020240 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2850/statm: 110191 2462 441 2943 0 107085 0
[pid=2850/tid=2851] ppid=2847 vsize=449980 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 460779520 2500 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=449980 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 460779520 2500 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=452028 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23774606 462876672 2508 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.25 2.23 2.19 3/179 2850
/proc/meminfo: memFree=28969168/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 26982 0 0 0 5 3 0 0 20 0 4 0 23774605 1249447936 27791 33554432000 4194304 16246674 140735938020816 140735938020128 4206604 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2850/statm: 305041 27791 801 2943 0 301935 0
[pid=2850/tid=2851] ppid=2847 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1249447936 27791 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1249447936 27791 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1249447936 27791 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200468 s]
/proc/loadavg: 2.25 2.23 2.19 3/179 2850
/proc/meminfo: memFree=28969168/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 47310 0 0 0 13 6 0 0 20 0 4 0 23774605 1333334016 48119 33554432000 4194304 16246674 140735938020816 140735938020128 12654363 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2850/statm: 325521 48119 821 2943 0 322415 0
[pid=2850/tid=2851] ppid=2847 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1333334016 48119 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1333334016 48119 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1333334016 48119 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.30043 s]
/proc/loadavg: 2.25 2.23 2.19 3/179 2850
/proc/meminfo: memFree=28969168/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 60840 0 0 0 21 8 0 0 20 0 4 0 23774605 1333334016 61649 33554432000 4194304 16246674 140735938020816 140735938020128 12657333 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2850/statm: 325521 61655 832 2943 0 322415 0
[pid=2850/tid=2851] ppid=2847 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1333334016 61659 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1333334016 61662 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1333334016 61666 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700347 s]
/proc/loadavg: 2.25 2.23 2.19 3/179 2850
/proc/meminfo: memFree=28969168/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1302084 CPUtime=0.69 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 156387 0 0 0 48 21 0 0 20 0 4 0 23774605 1333334016 157196 33554432000 4194304 16246674 140735938020816 140735938002688 13191557 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2850/statm: 325521 157205 832 2943 0 322415 0
[pid=2850/tid=2851] ppid=2847 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1333334016 157211 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1333334016 157218 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1333334016 157226 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50035 s]
/proc/loadavg: 2.25 2.23 2.19 3/183 2854
/proc/meminfo: memFree=27966560/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1317444 CPUtime=1.49 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 250041 0 0 0 115 34 0 0 20 0 4 0 23774605 1349062656 250850 33554432000 4194304 16246674 140735938020816 140735938020128 5842520 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2850/statm: 329361 250850 894 2943 0 326255 0
[pid=2850/tid=2851] ppid=2847 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1349062656 250850 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1349062656 250850 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1349062656 250850 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1317444

[startup+3.10035 s]
/proc/loadavg: 2.23 2.22 2.19 3/183 2854
/proc/meminfo: memFree=27953176/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1317444 CPUtime=3.08 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 270555 0 0 0 271 37 0 0 20 0 4 0 23774605 1349062656 271364 33554432000 4194304 16246674 140735938020816 140735938002688 5661428 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2850/statm: 329361 271364 897 2943 0 326255 0
[pid=2850/tid=2851] ppid=2847 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1349062656 271364 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1349062656 271364 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1349062656 271364 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1317444

[startup+6.30036 s]
/proc/loadavg: 2.23 2.22 2.19 3/183 2854
/proc/meminfo: memFree=27884136/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1317444 CPUtime=6.28 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 270562 0 0 0 591 37 0 0 20 0 4 0 23774605 1349062656 271371 33554432000 4194304 16246674 140735938020816 140735938002688 5600326 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2850/statm: 329361 271371 903 2943 0 326255 0
[pid=2850/tid=2851] ppid=2847 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1349062656 271371 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1349062656 271371 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1349062656 271371 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1317444

[startup+12.7004 s]
/proc/loadavg: 2.20 2.22 2.19 3/183 2854
/proc/meminfo: memFree=27884064/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1317444 CPUtime=12.69 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 270563 0 0 0 1231 38 0 0 20 0 4 0 23774605 1349062656 271372 33554432000 4194304 16246674 140735938020816 140735938002688 5823538 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2850/statm: 329361 271372 904 2943 0 326255 0
[pid=2850/tid=2851] ppid=2847 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1349062656 271372 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1349062656 271372 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1349062656 271372 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1317444

[startup+25.5004 s]
/proc/loadavg: 2.17 2.21 2.18 3/183 2854
/proc/meminfo: memFree=27878600/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1322564 CPUtime=25.48 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 271843 0 0 0 2510 38 0 0 20 0 4 0 23774605 1354305536 272652 33554432000 4194304 16246674 140735938020816 140735938002688 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2850/statm: 330641 272652 904 2943 0 327535 0
[pid=2850/tid=2851] ppid=2847 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1354305536 272652 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1354305536 272652 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1354305536 272652 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1322564

[startup+51.1004 s]
/proc/loadavg: 2.26 2.22 2.19 3/183 2854
/proc/meminfo: memFree=27867164/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1333828 CPUtime=51.07 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 274659 0 0 0 5068 39 0 0 20 0 4 0 23774605 1365839872 275468 33554432000 4194304 16246674 140735938020816 140735938002688 5754796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2850/statm: 333457 275468 904 2943 0 330351 0
[pid=2850/tid=2851] ppid=2847 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1365839872 275468 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1365839872 275468 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1365839872 275468 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1333828

[startup+102.3 s]
/proc/loadavg: 2.25 2.23 2.19 3/183 2855
/proc/meminfo: memFree=27866304/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1333828 CPUtime=102.26 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 274659 0 0 0 10187 39 0 0 20 0 4 0 23774605 1365839872 275468 33554432000 4194304 16246674 140735938020816 140735938002688 5722052 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2850/statm: 333457 275468 904 2943 0 330351 0
[pid=2850/tid=2851] ppid=2847 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1365839872 275468 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1365839872 275468 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1365839872 275468 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1333828


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

/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1409604

[startup+1362.3 s]
/proc/loadavg: 2.25 2.25 2.19 3/183 2886
/proc/meminfo: memFree=27736112/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1409604 CPUtime=1361.91 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 293870 0 0 0 136125 66 0 0 20 0 4 0 23774605 1443434496 294415 33554432000 4194304 16246674 140735938020816 140735938002688 13950184 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2850/statm: 352401 294415 904 2943 0 349295 0
[pid=2850/tid=2851] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1409604

[startup+1422.3 s]
/proc/loadavg: 2.26 2.25 2.19 3/183 2888
/proc/meminfo: memFree=27736380/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1409604 CPUtime=1421.88 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 293899 0 0 0 142122 66 0 0 20 0 4 0 23774605 1443434496 294415 33554432000 4194304 16246674 140735938020816 140735938002688 5711496 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2850/statm: 352401 294415 904 2943 0 349295 0
[pid=2850/tid=2851] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1409604

[startup+1482.3 s]
/proc/loadavg: 2.26 2.25 2.19 4/183 2889
/proc/meminfo: memFree=27731320/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1409604 CPUtime=1481.86 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 293906 0 0 0 148119 67 0 0 20 0 4 0 23774605 1443434496 294415 33554432000 4194304 16246674 140735938020816 140735938002688 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2850/statm: 352401 294415 904 2943 0 349295 0
[pid=2850/tid=2851] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1409604

[startup+1542.31 s]
/proc/loadavg: 2.31 2.27 2.20 3/184 2893
/proc/meminfo: memFree=27731420/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1409604 CPUtime=1541.86 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 293906 0 0 0 154118 68 0 0 20 0 4 0 23774605 1443434496 294415 33554432000 4194304 16246674 140735938020816 140735938002688 13191844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2850/statm: 352401 294415 904 2943 0 349295 0
[pid=2850/tid=2851] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1409604

[startup+1602.3 s]
/proc/loadavg: 2.18 2.24 2.19 3/184 2964
/proc/meminfo: memFree=27768568/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1409604 CPUtime=1601.84 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 293906 0 0 0 160116 68 0 0 20 0 4 0 23774605 1443434496 294415 33554432000 4194304 16246674 140735938020816 140735938002688 5721504 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2850/statm: 352401 294415 904 2943 0 349295 0
[pid=2850/tid=2851] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1409604

[startup+1662.3 s]
/proc/loadavg: 2.31 2.27 2.19 4/183 2965
/proc/meminfo: memFree=27768924/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1409604 CPUtime=1661.83 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 293906 0 0 0 166114 69 0 0 20 0 4 0 23774605 1443434496 294415 33554432000 4194304 16246674 140735938020816 140735938002688 5659504 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2850/statm: 352401 294415 904 2943 0 349295 0
[pid=2850/tid=2851] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1409604

[startup+1722.3 s]
/proc/loadavg: 2.24 2.25 2.19 3/183 2967
/proc/meminfo: memFree=27767572/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1409604 CPUtime=1721.83 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 293906 0 0 0 172113 70 0 0 20 0 4 0 23774605 1443434496 294415 33554432000 4194304 16246674 140735938020816 140735938002688 12415827 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2850/statm: 352401 294415 904 2943 0 349295 0
[pid=2850/tid=2851] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1409604

[startup+1782.3 s]
/proc/loadavg: 2.17 2.23 2.18 3/183 2968
/proc/meminfo: memFree=27743772/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1409604 CPUtime=1781.82 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 293906 0 0 0 178112 70 0 0 20 0 4 0 23774605 1443434496 294415 33554432000 4194304 16246674 140735938020816 140735938002688 5712188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2850/statm: 352401 294415 904 2943 0 349295 0
[pid=2850/tid=2851] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1409604 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1443434496 294415 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1409604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.36 2.26 2.19 3/183 2969
/proc/meminfo: memFree=27738564/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1414724 CPUtime=1800.01 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 295186 0 0 0 179931 70 0 0 20 0 4 0 23774605 1448677376 295695 33554432000 4194304 16246674 140735938020816 140735938002688 5824578 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2850/statm: 353681 295695 904 2943 0 350575 0
[pid=2850/tid=2851] ppid=2847 vsize=1414724 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1448677376 295695 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1414724 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1448677376 295695 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1414724 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1448677376 295695 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1414724

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

[startup+1800.5 s]
/proc/loadavg: 2.36 2.26 2.19 3/183 2969
/proc/meminfo: memFree=27738564/32872528 swapFree=17888/1798212
[pid=2850] ppid=2847 vsize=1414724 CPUtime=1800.01 cores=0,2,4,6
/proc/2850/stat : 2850 (toysat) R 2847 2850 579 0 -1 4202496 295186 0 0 0 179931 70 0 0 20 0 4 0 23774605 1448677376 295695 33554432000 4194304 16246674 140735938020816 140735938002688 5824578 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2850/statm: 353681 295695 904 2943 0 350575 0
[pid=2850/tid=2851] ppid=2847 vsize=1414724 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2851/stat : 2851 (toysat) S 2847 2850 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23774606 1448677376 295695 33554432000 4194304 16246674 140735938020816 140432692456688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=2850/tid=2852] ppid=2847 vsize=1414724 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2852/stat : 2852 (toysat) S 2847 2850 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23774606 1448677376 295695 33554432000 4194304 16246674 140735938020816 140432612764912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=2850/tid=2853] ppid=2847 vsize=1414724 CPUtime=0 cores=0,2,4,6
/proc/2850/task/2853/stat : 2853 (toysat) S 2847 2850 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23774606 1448677376 295695 33554432000 4194304 16246674 140735938020816 140432602291376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1414724

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.32
CPU system time (s): 0.704892
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1414724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.704892
maximum resident set size= 1182780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295186
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= 470
involuntary context switches= 2548

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43133 second user time and 7.08092 second system time

The end

Begin job on node123 at 2016-06-18 04:34:35
IDJOB=4100793
IDBENCH=1662
IDSOLVER=2542
FILE ID=node123/4100793-1466217275
RUNJOBID= node123-1466206081-595
PBS_JOBID= 19918154
Free space on /tmp= 71620 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-capri.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100793-1466217275/watcher-4100793-1466217275 -o /tmp/evaluation-result-4100793-1466217275/solver-4100793-1466217275 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-595 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100793-1466217275.opb

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

MD5SUM BENCH= 045a73dda564043a5f702f829082d89b
RANDOM SEED=1403757493

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.791
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:        28969060 kB
Buffers:          106036 kB
Cached:           169732 kB
SwapCached:         1648 kB
Active:          1186912 kB
Inactive:         180408 kB
Active(anon):    1092428 kB
Inactive(anon):     1152 kB
Active(file):      94484 kB
Inactive(file):   179256 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099316 kB
Dirty:             16740 kB
Writeback:             0 kB
AnonPages:       2888472 kB
Mapped:            10800 kB
Shmem:                 0 kB
Slab:             602160 kB
SReclaimable:      46228 kB
SUnreclaim:       555932 kB
KernelStack:        1512 kB
PageTables:         9620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3030096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1787904 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= 71600 MiB
End job on node123 at 2016-06-18 05:04:35