0.00/0.00	c 2016-06-17T01:20:57+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-4098045-1466119257.opb"]
0.00/0.01	c use --random-gen="1488545179 1452038383 3709102225 3360544781 1127536925 1513808639 735403472 2966735569 2951154902 4233319387 2797400196 3456880835 2827155062 2671076058 3155901089 896691694 984119443 3280393539 543902073 3357469 3005203595 2349041005 3152674594 985839053 274604565 4293044100 599684350 86879345 42860589 3543947315 4146117825 2026686583 781545533 100334005 2343720176 1979082192 739769101 426887537 703259612 3727810505 2240915284 2655029796 3711294341 2460638497 1499393654 869569353 206230353 3411194225 175919176 3457432653 3809457827 1098833388 2454656774 1357141023 3870077455 1736928642 666545877 4005224562 1679584371 646003673 2510498139 3667073373 1907956927 1042795334 1395028292 3455969650 4243294005 1586545204 522279973 862193245 4016432802 3967392507 403256886 1035741127 1991597652 452966860 3398796215 3148809496 103000959 2828480681 767621144 3375682445 2722243149 1089879081 1996492506 4207019067 4067731719 2335401258 1250781983 2759568193 2076594978 2509315706 401863982 2293031797 820524355 657035551 1482387831 2881573441 4126538235 1685302526 3138025102 2347797109 500164317 1268527714 2728681954 454977791 2342827844 3549371512 4246251277 3891705646 2901189459 1841227211 2176927865 3872820519 1190829341 3141436485 1016196021 2669072681 3699534043 757251716 624288902 3604604606 293961626 1443584286 3114704272 1689471962 3396070581 2488811900 315812436 1355726212 4051363314 3283521554 1522250575 324805997 1744573426 3819991468 3406787290 2724023668 2072058777 651336706 1033576482 3183154418 1544395411 3035939037 2928543605 2591424982 3965225340 1057108021 2779991181 535492452 2995724228 3332908605 2415186263 1612157433 1011185155 1238313291 1825161547 2050999263 135937973 2078868252 1239667377 2489660515 1000906345 187171520 865239831 2246302092 3684799042 471755448 4202125748 3815616959 2154698118 2630341340 2973207506 368306673 3973236700 3289206065 432727912 2729001586 3697750201 1226273790 2169798297 1519224607 4178994247 271484040 3459389152 1729599498 144799220 3870874118 2139155933 2458534765 3578380901 2271313143 2323006881 2865434969 206954730 2273089597 432487477 3836691106 3484889968 1233133251 1665344162 2518394867 2419732808 3437204498 2814421066 4076666644 1889561619 3712624004 1143454174 2509779102 3070292443 821158438 2007079424 1725507603 3567311578 442906511 4289448885 3647531752 2332750506 852773728 4137180487 2922051717 3936506296 4125527726 1653565256 606454029 265975920 3772667817 1953328184 4234004458 117063088 2367573164 587984649 1979363293 3569811307 3671059927 3293745708 1571826737 576148607 60803777 557475855 2097063226 2697021707 3384773067 1425718339 3298583349 4116050410 1150868990 3344931435 642499055 855400461 3044857468 1533761752 2914887794 3713843215 3331901299 255 362436" option to reproduce the execution
0.08/0.19	c #vars 1980
0.08/0.19	c #constraints 9464
0.39/0.41	c Solving starts ...
0.39/0.41	c ============================[ Search Statistics ]============================
0.39/0.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.41	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.41	c =============================================================================
0.59/0.64	c  0.0s |       0 |        0 |        0 |     3814      0 |        5 |        0
0.59/0.64	c  0.1s |       1 |      361 |      100 |     3814      0 |        5 |      376
0.69/0.74	c  0.3s |       2 |      907 |      250 |     4196      0 |        5 |      376
0.89/0.95	c  0.5s |       3 |     1475 |      475 |     4616      0 |        5 |      376
1.29/1.34	c  0.9s |       4 |     2204 |      813 |     5078      0 |        5 |      376
1.79/1.86	c  1.4s |       5 |     3267 |     1320 |     5586      0 |        5 |      376
2.39/2.43	c  2.0s |       6 |     5106 |     2081 |     6760      0 |        5 |      376
3.30/3.35	c  2.9s |       7 |     7175 |     3223 |     7437      0 |        5 |      376
4.59/4.67	c  4.3s |       8 |    11393 |     4936 |     8181      0 |        5 |      376
6.60/6.69	c  6.3s |       8 |    16118 |     7236 |     8181      0 |        5 |      376
6.89/6.93	c  6.5s |       9 |    16457 |     7506 |     9000      0 |        5 |      376
8.99/9.07	c  8.7s |       9 |    20691 |     9606 |     9000      1 |        5 |      376
10.99/11.09	c 10.7s |       9 |    23767 |    11306 |     9900      1 |        5 |      376
11.10/11.15	c 10.7s |      10 |    23863 |    11361 |     9900      1 |        5 |      376
13.09/13.17	c 12.8s |      10 |    28620 |    13561 |     9900      1 |        5 |      376
15.19/15.23	c 14.8s |      10 |    32913 |    15761 |     9900      2 |        5 |      376
16.29/16.30	c 15.9s |      11 |    34999 |    17144 |    10890      2 |        5 |      376
18.29/18.31	c 17.9s |      11 |    38863 |    19044 |    10890      2 |        5 |      376
20.29/20.33	c 19.9s |      11 |    42529 |    21144 |    10890      2 |        5 |      376
22.29/22.34	c 21.9s |      11 |    46287 |    23444 |    10890      3 |        5 |      376
24.29/24.35	c 23.9s |      11 |    49926 |    25644 |    10890      3 |        5 |      376
24.49/24.54	c 24.1s |      12 |    50172 |    25819 |    11980      3 |        5 |      376
26.49/26.57	c 26.2s |      12 |    53353 |    27919 |    11980      3 |        5 |      376
28.59/28.64	c 28.2s |      12 |    56922 |    30219 |    11980      4 |        5 |      376
30.59/30.67	c 30.3s |      12 |    60187 |    32719 |    11980      4 |        5 |      376
32.79/32.84	c 32.4s |      12 |    62879 |    34619 |    11980      5 |        5 |      376
34.88/34.90	c 34.5s |      12 |    66119 |    36619 |    11980      5 |        5 |      376
36.88/36.98	c 36.6s |      12 |    69655 |    38619 |    13179      5 |        5 |      376
37.08/37.16	c 36.7s |      13 |    69930 |    38832 |    13179      5 |        5 |      376
39.18/39.27	c 38.9s |      13 |    72377 |    40732 |    13179      5 |        5 |      376
41.28/41.31	c 40.9s |      13 |    74458 |    42432 |    13179      6 |        5 |      376
43.28/43.34	c 42.9s |      13 |    77044 |    44232 |    13179      6 |        5 |      376
45.38/45.41	c 45.0s |      13 |    79463 |    46032 |    13179      6 |        5 |      376
47.39/47.44	c 47.0s |      13 |    81633 |    47532 |    13179      6 |        5 |      376
49.38/49.46	c 49.0s |      13 |    83717 |    48932 |    13179      7 |        5 |      376
51.48/51.51	c 51.1s |      13 |    86279 |    50632 |    13179      7 |        5 |      376
53.48/53.52	c 53.1s |      13 |    88740 |    52332 |    13179      7 |        5 |      376
55.48/55.55	c 55.1s |      13 |    91807 |    53932 |    13179      7 |        5 |      376
57.58/57.62	c 57.2s |      13 |    94534 |    55632 |    13179      7 |        5 |      376
59.58/59.68	c 59.3s |      13 |    97247 |    57332 |    13179      8 |        5 |      376
60.78/60.82	c 60.4s |      14 |    99291 |    58352 |    14497      8 |        5 |      376
62.78/62.86	c 62.4s |      14 |   102414 |    60052 |    14497      8 |        5 |      376
64.77/64.86	c 64.4s |      14 |   106052 |    61752 |    14497      8 |        5 |      376
66.87/66.98	c 66.6s |      14 |   108892 |    63752 |    14497      8 |        5 |      376
68.87/68.98	c 68.6s |      14 |   111282 |    65352 |    14497      9 |        5 |      376
71.07/71.10	c 70.7s |      14 |   115127 |    67552 |    14497      9 |        5 |      376
73.07/73.11	c 72.7s |      14 |   118441 |    69652 |    14497      9 |        5 |      376
75.17/75.24	c 74.8s |      14 |   121465 |    71652 |    14497     10 |        5 |      376
77.17/77.25	c 76.8s |      14 |   124366 |    73952 |    14497     10 |        5 |      376
79.17/79.28	c 78.9s |      14 |   127330 |    76152 |    14497     10 |        5 |      376
81.17/81.29	c 80.9s |      14 |   130680 |    77552 |    14497     10 |        5 |      376
83.26/83.36	c 82.9s |      14 |   133841 |    79452 |    14497     11 |        5 |      376
85.26/85.38	c 85.0s |      14 |   137256 |    81452 |    14497     11 |        5 |      376
87.26/87.39	c 87.0s |      14 |   139783 |    83252 |    14497     11 |        5 |      376
89.36/89.47	c 89.1s |      14 |   143005 |    85252 |    14497     11 |        5 |      376
91.46/91.52	c 91.1s |      14 |   145928 |    87152 |    15947     11 |        5 |      376
91.96/92.02	c 91.6s |      15 |   146598 |    87632 |    15947     11 |        5 |      376
93.96/94.05	c 93.6s |      15 |   149573 |    89332 |    15947     12 |        5 |      376
96.06/96.14	c 95.7s |      15 |   152978 |    91632 |    15947     12 |        5 |      376
98.36/98.46	c 98.0s |      15 |   156270 |    93932 |    15947     12 |        5 |      376
100.46/100.52	c  100s |      15 |   159613 |    95632 |    15947     12 |        5 |      376
102.45/102.52	c  102s |      15 |   162168 |    97232 |    15947     13 |        5 |      376
104.46/104.55	c  104s |      15 |   165638 |    99232 |    15947     13 |        5 |      376
106.55/106.62	c  106s |      15 |   168500 |   101432 |    15947     13 |        5 |      376
108.65/108.71	c  108s |      15 |   171301 |   103332 |    15947     13 |        5 |      376
110.65/110.76	c  110s |      15 |   174109 |   105232 |    15947     14 |        5 |      376
112.65/112.77	c  112s |      15 |   176612 |   107132 |    15947     14 |        5 |      376
114.75/114.87	c  114s |      15 |   179039 |   109032 |    15947     14 |        5 |      376
116.85/116.93	c  116s |      15 |   182148 |   110732 |    15947     14 |        5 |      376
118.85/118.97	c  118s |      15 |   184777 |   112332 |    15947     14 |        5 |      376
120.95/121.07	c  120s |      15 |   187089 |   113732 |    15947     15 |        5 |      376
123.04/123.18	c  122s |      15 |   190490 |   115832 |    15947     15 |        5 |      376
125.14/125.25	c  124s |      15 |   194191 |   117832 |    15947     15 |        5 |      376
127.14/127.28	c  126s |      15 |   197549 |   119832 |    15947     15 |        5 |      376
129.24/129.32	c  128s |      15 |   200072 |   121632 |    15947     15 |        5 |      376
131.24/131.35	c  130s |      15 |   203213 |   123632 |    15947     16 |        5 |      376
133.33/133.40	c  132s |      15 |   206130 |   125832 |    15947     16 |        5 |      376
135.34/135.47	c  135s |      15 |   209154 |   128132 |    15947     16 |        5 |      376
137.44/137.51	c  137s |      15 |   211965 |   129832 |    15947     16 |        5 |      376
139.34/139.48	c  139s |      16 |   214835 |   131552 |    17542     17 |        5 |      376
141.34/141.49	c  141s |      16 |   217599 |   133552 |    17542     17 |        5 |      376
143.43/143.56	c  143s |      16 |   220322 |   135752 |    17542     17 |        5 |      376
145.43/145.60	c  145s |      16 |   222932 |   137652 |    17542     17 |        5 |      376
147.53/147.66	c  147s |      16 |   225940 |   139452 |    17542     17 |        5 |      376
149.54/149.68	c  149s |      16 |   228147 |   141052 |    17542     18 |        5 |      376
151.63/151.71	c  151s |      16 |   229763 |   142152 |    17542     18 |        5 |      376
153.62/153.74	c  153s |      16 |   232820 |   144152 |    17542     18 |        5 |      376
155.62/155.78	c  155s |      16 |   235243 |   145952 |    17542     18 |        5 |      376
157.72/157.87	c  157s |      16 |   238057 |   147652 |    17542     18 |        5 |      376
159.82/159.95	c  159s |      16 |   240782 |   149652 |    17542     19 |        5 |      376
161.92/162.04	c  161s |      16 |   243643 |   151752 |    17542     19 |        5 |      376
164.02/164.11	c  163s |      16 |   246707 |   153852 |    17542     19 |        5 |      376
166.02/166.15	c  165s |      16 |   249440 |   155952 |    17542     19 |        5 |      376
168.42/168.50	c  168s |      16 |   252137 |   157852 |    17542     20 |        5 |      376
170.42/170.57	c  170s |      16 |   255766 |   159852 |    17542     20 |        5 |      376
172.52/172.64	c  172s |      16 |   259159 |   161852 |    17542     20 |        5 |      376
174.51/174.67	c  174s |      16 |   261952 |   163852 |    17542     20 |        5 |      376
176.61/176.71	c  176s |      16 |   264592 |   165752 |    17542     20 |        5 |      376
178.61/178.76	c  178s |      16 |   266943 |   167552 |    17542     21 |        5 |      376
180.71/180.86	c  180s |      16 |   269630 |   169552 |    17542     21 |        5 |      376
182.81/182.93	c  182s |      16 |   272294 |   171352 |    17542     21 |        5 |      376
184.81/184.94	c  184s |      16 |   274698 |   172952 |    17542     21 |        5 |      376
186.90/187.02	c  186s |      16 |   277860 |   174652 |    17542     21 |        5 |      376
188.90/189.07	c  188s |      16 |   280707 |   176352 |    17542     22 |        5 |      376
191.00/191.11	c  190s |      16 |   284052 |   178552 |    17542     22 |        5 |      376
193.09/193.21	c  192s |      16 |   287261 |   180752 |    17542     22 |        5 |      376
195.09/195.22	c  194s |      16 |   290225 |   182852 |    17542     22 |        5 |      376
197.09/197.28	c  196s |      16 |   293162 |   185152 |    17542     22 |        5 |      376
199.19/199.32	c  198s |      16 |   295861 |   186752 |    17542     23 |        5 |      376
201.20/201.33	c  200s |      16 |   298726 |   188652 |    17542     23 |        5 |      376
203.19/203.35	c  202s |      16 |   301243 |   190452 |    17542     23 |        5 |      376
205.29/205.42	c  205s |      16 |   303652 |   192452 |    17542     23 |        5 |      376
207.29/207.43	c  207s |      16 |   306014 |   194252 |    17542     23 |        5 |      376
209.29/209.48	c  209s |      16 |   309008 |   196152 |    19297     24 |        5 |      376
210.49/210.68	c  210s |      17 |   310749 |   197432 |    19297     24 |        5 |      376
212.59/212.76	c  212s |      17 |   313795 |   199532 |    19297     24 |        5 |      376
214.68/214.84	c  214s |      17 |   317040 |   201732 |    19297     24 |        5 |      376
217.88/218.07	c  217s |      17 |   320047 |   203932 |    19297     24 |        5 |      376
220.08/220.20	c  219s |      17 |   321810 |   204932 |    19297     24 |        5 |      376
222.09/222.23	c  221s |      17 |   324026 |   206332 |    19297     25 |        5 |      376
224.08/224.27	c  223s |      17 |   327679 |   208032 |    19297     25 |        5 |      376
226.18/226.31	c  225s |      17 |   330673 |   209932 |    19297     25 |        5 |      376
228.18/228.35	c  227s |      17 |   333566 |   211832 |    19297     25 |        5 |      376
230.28/230.44	c  230s |      17 |   336667 |   213632 |    19297     25 |        5 |      376
232.38/232.51	c  232s |      17 |   338963 |   215332 |    19297     25 |        5 |      376
234.37/234.58	c  234s |      17 |   341477 |   217232 |    19297     26 |        5 |      376
236.48/236.68	c  236s |      17 |   343897 |   219132 |    19297     26 |        5 |      376
238.58/238.71	c  238s |      17 |   346211 |   220832 |    19297     26 |        5 |      376
240.57/240.73	c  240s |      17 |   349681 |   222432 |    19297     26 |        5 |      376
242.67/242.81	c  242s |      17 |   353062 |   224032 |    19297     26 |        5 |      376
244.87/245.08	c  244s |      17 |   355658 |   225732 |    19297     27 |        5 |      376
246.87/247.09	c  246s |      17 |   358226 |   227332 |    19297     27 |        5 |      376
248.97/249.13	c  248s |      17 |   360657 |   229032 |    19297     27 |        5 |      376
250.96/251.14	c  250s |      17 |   363079 |   230732 |    19297     27 |        5 |      376
253.06/253.20	c  252s |      17 |   365593 |   232432 |    19297     27 |        5 |      376
255.06/255.27	c  254s |      17 |   368046 |   234332 |    19297     27 |        5 |      376
257.16/257.35	c  256s |      17 |   370646 |   236032 |    19297     28 |        5 |      376
259.26/259.40	c  258s |      17 |   373690 |   237932 |    19297     28 |        5 |      376
261.26/261.48	c  261s |      17 |   376676 |   239432 |    19297     28 |        5 |      376
263.26/263.49	c  263s |      17 |   379768 |   241332 |    19297     28 |        5 |      376
265.36/265.56	c  265s |      17 |   382372 |   243132 |    19297     28 |        5 |      376
267.36/267.59	c  267s |      17 |   385189 |   244932 |    19297     28 |        5 |      376
269.46/269.63	c  269s |      17 |   387891 |   246932 |    19297     29 |        5 |      376
271.45/271.65	c  271s |      17 |   391051 |   249232 |    19297     29 |        5 |      376
273.55/273.74	c  273s |      17 |   393449 |   251032 |    19297     29 |        5 |      376
275.65/275.84	c  275s |      17 |   396406 |   252932 |    19297     29 |        5 |      376
277.66/277.84	c  277s |      17 |   398542 |   254532 |    19297     29 |        5 |      376
279.76/279.91	c  279s |      17 |   400703 |   256232 |    19297     30 |        5 |      376
281.76/281.91	c  281s |      17 |   403288 |   258232 |    19297     30 |        5 |      376
283.76/283.94	c  283s |      17 |   405755 |   260032 |    19297     30 |        5 |      376
285.86/286.03	c  285s |      17 |   409184 |   262032 |    19297     30 |        5 |      376
287.96/288.13	c  287s |      17 |   411962 |   263932 |    19297     30 |        5 |      376
290.16/290.35	c  289s |      17 |   414514 |   265832 |    19297     31 |        5 |      376
292.26/292.41	c  291s |      17 |   417594 |   268232 |    19297     31 |        5 |      376
294.35/294.50	c  294s |      17 |   420122 |   270132 |    19297     31 |        5 |      376
296.35/296.58	c  296s |      17 |   422773 |   272132 |    19297     31 |        5 |      376
298.45/298.60	c  298s |      17 |   425484 |   274232 |    19297     31 |        5 |      376
300.45/300.68	c  300s |      17 |   427983 |   275932 |    19297     32 |        5 |      376
302.55/302.74	c  302s |      17 |   431027 |   278132 |    19297     32 |        5 |      376
304.65/304.81	c  304s |      17 |   433707 |   280332 |    19297     32 |        5 |      376
306.64/306.85	c  306s |      17 |   436449 |   282432 |    19297     32 |        5 |      376
308.74/308.94	c  308s |      17 |   439047 |   284432 |    19297     32 |        5 |      376
310.74/310.96	c  310s |      17 |   441162 |   286132 |    19297     33 |        5 |      376
312.84/313.01	c  312s |      17 |   444088 |   288632 |    19297     33 |        5 |      376
314.84/315.05	c  314s |      17 |   446867 |   290832 |    19297     33 |        5 |      376
316.83/317.08	c  316s |      17 |   449570 |   293132 |    19297     33 |        5 |      376
321.23/321.43	c  321s |      17 |   450250 |   293432 |    19297     33 |        5 |      376
323.23/323.44	c  323s |      17 |   453218 |   294932 |    21227     33 |        5 |      376
324.83/325.08	c  324s |      18 |   455164 |   296252 |    21227     33 |        5 |      376
327.23/327.46	c  327s |      18 |   458057 |   297652 |    21227     34 |        5 |      376
329.23/329.49	c  329s |      18 |   460740 |   299352 |    21227     34 |        5 |      376
331.33/331.50	c  331s |      18 |   464506 |   301352 |    21227     34 |        5 |      376
333.33/333.55	c  333s |      18 |   467515 |   303252 |    21227     34 |        5 |      376
335.33/335.56	c  335s |      18 |   470738 |   305152 |    21227     34 |        5 |      376
337.43/337.63	c  337s |      18 |   473449 |   307052 |    21227     34 |        5 |      376
339.43/339.69	c  339s |      18 |   475977 |   308752 |    21227     35 |        5 |      376
341.53/341.72	c  341s |      18 |   478951 |   310952 |    21227     35 |        5 |      376
343.72/343.90	c  343s |      18 |   481477 |   312952 |    21227     35 |        5 |      376
345.83/346.01	c  345s |      18 |   484138 |   314252 |    21227     35 |        5 |      376
347.83/348.05	c  347s |      18 |   486930 |   316052 |    21227     35 |        5 |      376
349.93/350.14	c  349s |      18 |   490112 |   317752 |    21227     35 |        5 |      376
352.03/352.29	c  351s |      18 |   492478 |   319452 |    21227     36 |        5 |      376
354.14/354.33	c  353s |      18 |   495787 |   321452 |    21227     36 |        5 |      376
356.23/356.41	c  355s |      18 |   498946 |   323552 |    21227     36 |        5 |      376
358.23/358.42	c  358s |      18 |   501721 |   325452 |    21227     36 |        5 |      376
360.23/360.48	c  360s |      18 |   504377 |   327552 |    21227     36 |        5 |      376
362.33/362.51	c  362s |      18 |   506885 |   329252 |    21227     36 |        5 |      376
364.33/364.57	c  364s |      18 |   508915 |   330552 |    21227     37 |        5 |      376
366.43/366.64	c  366s |      18 |   511856 |   332252 |    21227     37 |        5 |      376
368.53/368.72	c  368s |      18 |   515001 |   334152 |    21227     37 |        5 |      376
370.63/370.82	c  370s |      18 |   517716 |   335952 |    21227     37 |        5 |      376
372.73/372.92	c  372s |      18 |   520271 |   337752 |    21227     37 |        5 |      376
374.72/374.92	c  374s |      18 |   522749 |   339552 |    21227     37 |        5 |      376
377.12/377.31	c  376s |      18 |   525345 |   341552 |    21227     38 |        5 |      376
379.22/379.42	c  379s |      18 |   527677 |   343152 |    21227     38 |        5 |      376
381.22/381.48	c  381s |      18 |   530490 |   344952 |    21227     38 |        5 |      376
383.31/383.50	c  383s |      18 |   532723 |   346652 |    21227     38 |        5 |      376
385.41/385.63	c  385s |      18 |   535360 |   348552 |    21227     38 |        5 |      376
387.51/387.73	c  387s |      18 |   538060 |   350352 |    21227     38 |        5 |      376
389.61/389.81	c  389s |      18 |   540618 |   351952 |    21227     38 |        5 |      376
391.61/391.81	c  391s |      18 |   542999 |   353552 |    21227     39 |        5 |      376
393.61/393.86	c  393s |      18 |   545770 |   355352 |    21227     39 |        5 |      376
395.71/395.94	c  395s |      18 |   548303 |   357252 |    21227     39 |        5 |      376
397.81/398.03	c  397s |      18 |   551086 |   359252 |    21227     39 |        5 |      376
399.81/400.09	c  399s |      18 |   553360 |   360952 |    21227     39 |        5 |      376
402.01/402.23	c  401s |      18 |   555721 |   362652 |    21227     39 |        5 |      376
404.00/404.27	c  403s |      18 |   557875 |   364352 |    21227     40 |        5 |      376
406.10/406.36	c  405s |      18 |   560596 |   366552 |    21227     40 |        5 |      376
408.20/408.45	c  408s |      18 |   563600 |   368652 |    21227     40 |        5 |      376
410.21/410.48	c  410s |      18 |   566185 |   370652 |    21227     40 |        5 |      376
412.31/412.58	c  412s |      18 |   568616 |   372552 |    21227     40 |        5 |      376
414.40/414.63	c  414s |      18 |   571275 |   374352 |    21227     40 |        5 |      376
416.40/416.63	c  416s |      18 |   573999 |   376452 |    21227     41 |        5 |      376
418.50/418.72	c  418s |      18 |   576601 |   378552 |    21227     41 |        5 |      376
420.60/420.82	c  420s |      18 |   579036 |   380552 |    21227     41 |        5 |      376
422.60/422.84	c  422s |      18 |   581468 |   382452 |    21227     41 |        5 |      376
424.70/424.91	c  424s |      18 |   584007 |   384352 |    21227     41 |        5 |      376
426.70/426.97	c  426s |      18 |   586404 |   386352 |    21227     42 |        5 |      376
428.70/429.00	c  428s |      18 |   589083 |   388652 |    21227     42 |        5 |      376
435.09/435.35	c  434s |      18 |   589633 |   388952 |    21227     42 |        5 |      376
437.09/437.37	c  436s |      18 |   591481 |   390152 |    21227     42 |        5 |      376
439.19/439.49	c  439s |      18 |   594234 |   392052 |    21227     42 |        5 |      376
441.39/441.60	c  441s |      18 |   596899 |   393952 |    21227     42 |        5 |      376
443.48/443.70	c  443s |      18 |   599431 |   395752 |    21227     42 |        5 |      376
445.69/445.97	c  445s |      18 |   601726 |   397552 |    21227     43 |        5 |      376
447.69/447.97	c  447s |      18 |   604245 |   399252 |    21227     43 |        5 |      376
449.80/450.05	c  449s |      18 |   606737 |   400952 |    21227     43 |        5 |      376
451.89/452.11	c  451s |      18 |   609199 |   402652 |    21227     43 |        5 |      376
453.99/454.22	c  453s |      18 |   612113 |   404052 |    21227     43 |        5 |      376
455.99/456.26	c  455s |      18 |   614277 |   405552 |    21227     43 |        5 |      376
458.09/458.33	c  457s |      18 |   616983 |   406852 |    21227     43 |        5 |      376
460.09/460.36	c  459s |      18 |   618849 |   408252 |    21227     44 |        5 |      376
462.19/462.44	c  462s |      18 |   621507 |   409852 |    21227     44 |        5 |      376
464.29/464.50	c  464s |      18 |   624807 |   411752 |    21227     44 |        5 |      376
466.30/466.59	c  466s |      18 |   627631 |   413552 |    21227     44 |        5 |      376
468.39/468.63	c  468s |      18 |   630224 |   415252 |    21227     44 |        5 |      376
470.39/470.68	c  470s |      18 |   632777 |   416852 |    21227     44 |        5 |      376
472.49/472.70	c  472s |      18 |   635078 |   418452 |    21227     44 |        5 |      376
474.49/474.75	c  474s |      18 |   637547 |   420252 |    21227     45 |        5 |      376
476.49/476.75	c  476s |      18 |   640098 |   422252 |    21227     45 |        5 |      376
478.59/478.86	c  478s |      18 |   642835 |   423852 |    21227     45 |        5 |      376
480.59/480.88	c  480s |      18 |   645283 |   425552 |    21227     45 |        5 |      376
482.58/482.89	c  482s |      18 |   647427 |   426952 |    21227     45 |        5 |      376
484.68/484.91	c  484s |      18 |   649641 |   428352 |    21227     45 |        5 |      376
486.68/486.92	c  486s |      18 |   651574 |   429852 |    21227     46 |        5 |      376
488.78/489.07	c  488s |      18 |   654016 |   431852 |    21227     46 |        5 |      376
490.78/491.08	c  490s |      18 |   656516 |   433752 |    21227     46 |        5 |      376
492.88/493.17	c  492s |      18 |   658753 |   435352 |    21227     46 |        5 |      376
494.98/495.23	c  494s |      18 |   661122 |   437052 |    21227     46 |        5 |      376
496.98/497.24	c  496s |      18 |   663582 |   438652 |    21227     46 |        5 |      376
498.98/499.25	c  498s |      18 |   665717 |   440152 |    21227     46 |        5 |      376
501.08/501.31	c  500s |      18 |   668522 |   441952 |    23350     47 |        5 |      376
503.07/503.38	c  502s |      18 |   671419 |   444052 |    23350     47 |        5 |      376
503.58/503.87	c  503s |      19 |   671953 |   444482 |    23350     47 |        5 |      376
505.67/505.96	c  505s |      19 |   674634 |   446382 |    23350     47 |        5 |      376
508.37/508.65	c  508s |      19 |   677337 |   448382 |    23350     47 |        5 |      376
510.37/510.69	c  510s |      19 |   679453 |   449582 |    23350     47 |        5 |      376
512.48/512.74	c  512s |      19 |   682315 |   451282 |    23350     47 |        5 |      376
514.57/514.80	c  514s |      19 |   685360 |   452882 |    23350     47 |        5 |      376
516.57/516.87	c  516s |      19 |   688003 |   454482 |    23350     48 |        5 |      376
518.67/518.91	c  518s |      19 |   691547 |   456482 |    23350     48 |        5 |      376
520.67/520.95	c  520s |      19 |   694398 |   458382 |    23350     48 |        5 |      376
522.77/523.01	c  522s |      19 |   697375 |   460382 |    23350     48 |        5 |      376
524.76/525.09	c  524s |      19 |   700629 |   462382 |    23350     48 |        5 |      376
526.86/527.11	c  526s |      19 |   703221 |   464282 |    23350     48 |        5 |      376
528.97/529.27	c  528s |      19 |   705708 |   466182 |    23350     49 |        5 |      376
531.07/531.34	c  530s |      19 |   708550 |   468482 |    23350     49 |        5 |      376
533.46/533.77	c  533s |      19 |   711374 |   470282 |    23350     49 |        5 |      376
535.56/535.88	c  535s |      19 |   713753 |   471882 |    23350     49 |        5 |      376
537.66/537.93	c  537s |      19 |   716136 |   473382 |    23350     49 |        5 |      376
539.76/540.00	c  539s |      19 |   719022 |   475082 |    23350     49 |        5 |      376
541.76/542.01	c  541s |      19 |   721380 |   476682 |    23350     49 |        5 |      376
543.75/544.03	c  543s |      19 |   723252 |   477982 |    23350     50 |        5 |      376
545.85/546.12	c  545s |      19 |   725705 |   479882 |    23350     50 |        5 |      376
547.85/548.19	c  547s |      19 |   728553 |   481882 |    23350     50 |        5 |      376
549.95/550.23	c  549s |      19 |   731225 |   483882 |    23350     50 |        5 |      376
551.95/552.27	c  551s |      19 |   733716 |   485882 |    23350     50 |        5 |      376
554.05/554.30	c  553s |      19 |   735921 |   487382 |    23350     50 |        5 |      376
556.05/556.34	c  555s |      19 |   738191 |   488882 |    23350     50 |        5 |      376
558.25/558.54	c  558s |      19 |   740206 |   490182 |    23350     51 |        5 |      376
560.34/560.66	c  560s |      19 |   742688 |   491982 |    23350     51 |        5 |      376
562.44/562.78	c  562s |      19 |   745445 |   493882 |    23350     51 |        5 |      376
564.54/564.88	c  564s |      19 |   748518 |   495782 |    23350     51 |        5 |      376
566.64/566.98	c  566s |      19 |   751432 |   497782 |    23350     51 |        5 |      376
568.64/568.98	c  568s |      19 |   753893 |   499682 |    23350     51 |        5 |      376
570.75/571.04	c  570s |      19 |   756742 |   501582 |    23350     51 |        5 |      376
572.95/573.23	c  572s |      19 |   758948 |   503082 |    23350     52 |        5 |      376
574.94/575.26	c  574s |      19 |   762132 |   504982 |    23350     52 |        5 |      376
576.94/577.26	c  576s |      19 |   765354 |   506882 |    23350     52 |        5 |      376
579.04/579.34	c  578s |      19 |   768196 |   508882 |    23350     52 |        5 |      376
581.03/581.36	c  580s |      19 |   771095 |   510882 |    23350     52 |        5 |      376
583.13/583.48	c  583s |      19 |   773626 |   512882 |    23350     52 |        5 |      376
585.23/585.53	c  585s |      19 |   775714 |   514282 |    23350     53 |        5 |      376
587.24/587.59	c  587s |      19 |   778653 |   516282 |    23350     53 |        5 |      376
589.23/589.60	c  589s |      19 |   781256 |   518282 |    23350     53 |        5 |      376
591.33/591.64	c  591s |      19 |   784062 |   520382 |    23350     53 |        5 |      376
593.43/593.72	c  593s |      19 |   786816 |   522282 |    23350     53 |        5 |      376
595.43/595.79	c  595s |      19 |   789431 |   524082 |    23350     53 |        5 |      376
597.53/597.80	c  597s |      19 |   792203 |   525982 |    23350     53 |        5 |      376
599.53/599.88	c  599s |      19 |   794674 |   527982 |    23350     54 |        5 |      376
601.62/601.90	c  601s |      19 |   797870 |   529982 |    23350     54 |        5 |      376
603.63/603.90	c  603s |      19 |   800464 |   531982 |    23350     54 |        5 |      376
605.63/605.93	c  605s |      19 |   803119 |   534082 |    23350     54 |        5 |      376
607.63/607.93	c  607s |      19 |   805790 |   535782 |    23350     54 |        5 |      376
609.63/609.98	c  609s |      19 |   808080 |   537482 |    23350     54 |        5 |      376
611.73/612.04	c  611s |      19 |   810470 |   539282 |    23350     55 |        5 |      376
613.73/614.09	c  613s |      19 |   813221 |   541382 |    23350     55 |        5 |      376
615.83/616.11	c  615s |      19 |   816192 |   543682 |    23350     55 |        5 |      376
617.82/618.14	c  617s |      19 |   818846 |   545782 |    23350     55 |        5 |      376
619.82/620.17	c  619s |      19 |   821200 |   547682 |    23350     55 |        5 |      376
621.82/622.17	c  621s |      19 |   823658 |   549682 |    23350     55 |        5 |      376
623.92/624.22	c  623s |      19 |   825960 |   551582 |    23350     56 |        5 |      376
625.92/626.28	c  625s |      19 |   828724 |   553882 |    23350     56 |        5 |      376
633.82/634.14	c  633s |      19 |   831347 |   555882 |    23350     56 |        5 |      376
635.81/636.14	c  635s |      19 |   832006 |   556282 |    23350     56 |        5 |      376
637.91/638.25	c  637s |      19 |   835841 |   558082 |    23350     56 |        5 |      376
639.92/640.26	c  639s |      19 |   838493 |   559882 |    23350     56 |        5 |      376
642.01/642.32	c  641s |      19 |   840683 |   561482 |    23350     56 |        5 |      376
644.11/644.42	c  644s |      19 |   843161 |   563082 |    23350     56 |        5 |      376
646.11/646.49	c  646s |      19 |   845518 |   564682 |    23350     57 |        5 |      376
648.21/648.54	c  648s |      19 |   848425 |   566482 |    23350     57 |        5 |      376
650.32/650.64	c  650s |      19 |   850867 |   568382 |    23350     57 |        5 |      376
652.42/652.75	c  652s |      19 |   853494 |   570182 |    23350     57 |        5 |      376
654.41/654.79	c  654s |      19 |   855599 |   571882 |    23350     57 |        5 |      376
656.52/656.89	c  656s |      19 |   857563 |   573382 |    23350     57 |        5 |      376
658.81/659.16	c  658s |      19 |   859424 |   574682 |    23350     58 |        5 |      376
660.92/661.25	c  660s |      19 |   861807 |   575882 |    23350     58 |        5 |      376
663.02/663.30	c  662s |      19 |   864750 |   577682 |    23350     58 |        5 |      376
665.01/665.34	c  664s |      19 |   867749 |   579382 |    23350     58 |        5 |      376
667.11/667.40	c  666s |      19 |   871116 |   581182 |    23350     58 |        5 |      376
669.11/669.47	c  669s |      19 |   873858 |   582982 |    23350     58 |        5 |      376
671.21/671.56	c  671s |      19 |   876242 |   584582 |    23350     58 |        5 |      376
673.30/673.64	c  673s |      19 |   879174 |   586382 |    23350     58 |        5 |      376
675.30/675.64	c  675s |      19 |   881684 |   588182 |    23350     59 |        5 |      376
677.31/677.70	c  677s |      19 |   884474 |   590382 |    23350     59 |        5 |      376
679.40/679.71	c  679s |      19 |   886980 |   592382 |    23350     59 |        5 |      376
681.40/681.78	c  681s |      19 |   890386 |   593982 |    23350     59 |        5 |      376
683.40/683.79	c  683s |      19 |   893203 |   595782 |    23350     59 |        5 |      376
685.50/685.80	c  685s |      19 |   895696 |   597482 |    23350     59 |        5 |      376
687.50/687.81	c  687s |      19 |   898024 |   599082 |    23350     59 |        5 |      376
689.50/689.87	c  689s |      19 |   900660 |   600782 |    23350     60 |        5 |      376
691.49/691.89	c  691s |      19 |   903250 |   602882 |    23350     60 |        5 |      376
693.59/693.90	c  693s |      19 |   905567 |   604682 |    23350     60 |        5 |      376
695.59/695.99	c  695s |      19 |   908147 |   606582 |    23350     60 |        5 |      376
697.69/698.07	c  697s |      19 |   910656 |   608082 |    23350     60 |        5 |      376
699.79/700.10	c  699s |      19 |   913322 |   609682 |    23350     60 |        5 |      376
701.99/702.30	c  701s |      19 |   915861 |   611482 |    23350     61 |        5 |      376
703.99/704.39	c  703s |      19 |   918744 |   613482 |    23350     61 |        5 |      376
706.09/706.41	c  705s |      19 |   921377 |   615482 |    23350     61 |        5 |      376
708.09/708.42	c  708s |      19 |   923847 |   617282 |    23350     61 |        5 |      376
710.19/710.53	c  710s |      19 |   926408 |   619082 |    23350     61 |        5 |      376
712.19/712.57	c  712s |      19 |   929244 |   620982 |    23350     61 |        5 |      376
714.29/714.62	c  714s |      19 |   932040 |   622882 |    23350     61 |        5 |      376
716.39/716.70	c  716s |      19 |   934511 |   624882 |    23350     62 |        5 |      376
718.39/718.78	c  718s |      19 |   937439 |   627082 |    23350     62 |        5 |      376
720.49/720.87	c  720s |      19 |   940183 |   628882 |    23350     62 |        5 |      376
722.49/722.87	c  722s |      19 |   942664 |   630682 |    23350     62 |        5 |      376
724.49/724.90	c  724s |      19 |   945345 |   632582 |    23350     62 |        5 |      376
726.59/726.99	c  726s |      19 |   948231 |   634782 |    23350     62 |        5 |      376
728.69/729.02	c  728s |      19 |   950587 |   636582 |    23350     63 |        5 |      376
730.79/731.11	c  730s |      19 |   953803 |   638482 |    23350     63 |        5 |      376
732.79/733.15	c  732s |      19 |   956732 |   640682 |    23350     63 |        5 |      376
734.89/735.24	c  734s |      19 |   959555 |   642882 |    23350     63 |        5 |      376
736.98/737.31	c  736s |      19 |   961912 |   644782 |    23350     63 |        5 |      376
738.99/739.39	c  738s |      19 |   964143 |   646582 |    23350     63 |        5 |      376
741.09/741.47	c  741s |      19 |   966352 |   648182 |    23350     64 |        5 |      376
743.08/743.49	c  743s |      19 |   969032 |   650282 |    23350     64 |        5 |      376
745.18/745.54	c  745s |      19 |   971676 |   652182 |    23350     64 |        5 |      376
747.28/747.64	c  747s |      19 |   974002 |   654082 |    23350     64 |        5 |      376
749.28/749.64	c  749s |      19 |   976360 |   655982 |    23350     64 |        5 |      376
751.28/751.69	c  751s |      19 |   978663 |   657882 |    23350     64 |        5 |      376
753.38/753.72	c  753s |      19 |   981038 |   659782 |    23350     64 |        5 |      376
758.58/758.94	c  758s |      19 |   983406 |   661682 |    23350     65 |        5 |      376
760.99/761.38	c  760s |      19 |   983784 |   661882 |    23350     65 |        5 |      376
763.09/763.47	c  763s |      19 |   987048 |   663882 |    25686     65 |        5 |      376
765.19/765.51	c  765s |      19 |   990103 |   665682 |    25686     65 |        5 |      376
766.49/766.83	c  766s |      20 |   991920 |   666827 |    25686     65 |        5 |      376
768.49/768.84	c  768s |      20 |   995176 |   668527 |    25686     65 |        5 |      376
770.58/770.91	c  770s |      20 |   997932 |   669827 |    25686     65 |        5 |      376
772.58/772.98	c  772s |      20 |  1001022 |   671527 |    25686     65 |        5 |      376
774.78/775.12	c  774s |      20 |  1003782 |   673227 |    25686     65 |        5 |      376
776.88/777.27	c  776s |      20 |  1005758 |   674727 |    25686     66 |        5 |      376
778.88/779.29	c  778s |      20 |  1008239 |   676527 |    25686     66 |        5 |      376
780.98/781.31	c  780s |      20 |  1010694 |   678527 |    25686     66 |        5 |      376
782.99/783.36	c  782s |      20 |  1013150 |   680427 |    25686     66 |        5 |      376
785.08/785.45	c  785s |      20 |  1015885 |   682027 |    25686     66 |        5 |      376
787.18/787.54	c  787s |      20 |  1018130 |   683527 |    25686     66 |        5 |      376
789.28/789.64	c  789s |      20 |  1020928 |   685027 |    25686     66 |        5 |      376
791.28/791.70	c  791s |      20 |  1023191 |   686527 |    25686     66 |        5 |      376
793.38/793.76	c  793s |      20 |  1025944 |   687927 |    25686     67 |        5 |      376
795.67/796.02	c  795s |      20 |  1028096 |   689127 |    25686     67 |        5 |      376
797.67/798.06	c  797s |      20 |  1032344 |   690927 |    25686     67 |        5 |      376
799.87/800.21	c  799s |      20 |  1035264 |   692827 |    25686     67 |        5 |      376
801.87/802.28	c  801s |      20 |  1037765 |   694327 |    25686     67 |        5 |      376
803.97/804.30	c  803s |      20 |  1039775 |   695827 |    25686     67 |        5 |      376
805.98/806.38	c  805s |      20 |  1041660 |   697327 |    25686     67 |        5 |      376
808.07/808.46	c  808s |      20 |  1043480 |   698827 |    25686     67 |        5 |      376
810.07/810.47	c  810s |      20 |  1045456 |   700127 |    25686     67 |        5 |      376
812.18/812.55	c  812s |      20 |  1047251 |   701327 |    25686     68 |        5 |      376
814.18/814.59	c  814s |      20 |  1049760 |   702927 |    25686     68 |        5 |      376
816.18/816.60	c  816s |      20 |  1052748 |   704527 |    25686     68 |        5 |      376
818.28/818.69	c  818s |      20 |  1055488 |   705927 |    25686     68 |        5 |      376
820.58/820.98	c  820s |      20 |  1058445 |   707627 |    25686     68 |        5 |      376
822.78/823.10	c  822s |      20 |  1061133 |   709127 |    25686     68 |        5 |      376
824.87/825.21	c  824s |      20 |  1063973 |   710827 |    25686     68 |        5 |      376
826.88/827.27	c  826s |      20 |  1066853 |   712227 |    25686     68 |        5 |      376
828.97/829.38	c  828s |      20 |  1070025 |   713827 |    25686     68 |        5 |      376
830.97/831.39	c  830s |      20 |  1072479 |   715427 |    25686     69 |        5 |      376
833.07/833.45	c  833s |      20 |  1075105 |   717327 |    25686     69 |        5 |      376
835.07/835.48	c  835s |      20 |  1078071 |   719327 |    25686     69 |        5 |      376
837.07/837.49	c  837s |      20 |  1080850 |   721227 |    25686     69 |        5 |      376
839.17/839.51	c  839s |      20 |  1083228 |   723027 |    25686     69 |        5 |      376
841.18/841.56	c  841s |      20 |  1085628 |   724927 |    25686     69 |        5 |      376
843.27/843.66	c  843s |      20 |  1087963 |   726527 |    25686     69 |        5 |      376
845.37/845.74	c  845s |      20 |  1090002 |   727627 |    25686     70 |        5 |      376
847.37/847.77	c  847s |      20 |  1093351 |   729727 |    25686     70 |        5 |      376
849.47/849.82	c  849s |      20 |  1096305 |   731427 |    25686     70 |        5 |      376
851.47/851.86	c  851s |      20 |  1099313 |   733227 |    25686     70 |        5 |      376
853.47/853.86	c  853s |      20 |  1101836 |   735027 |    25686     70 |        5 |      376
855.47/855.87	c  855s |      20 |  1104498 |   736927 |    25686     70 |        5 |      376
857.57/857.97	c  857s |      20 |  1107292 |   738927 |    25686     70 |        5 |      376
859.67/860.06	c  859s |      20 |  1109391 |   740527 |    25686     71 |        5 |      376
861.76/862.18	c  861s |      20 |  1111743 |   742127 |    25686     71 |        5 |      376
863.86/864.22	c  863s |      20 |  1114067 |   743827 |    25686     71 |        5 |      376
865.86/866.23	c  865s |      20 |  1116518 |   745627 |    25686     71 |        5 |      376
867.86/868.24	c  867s |      20 |  1118915 |   747327 |    25686     71 |        5 |      376
869.96/870.33	c  869s |      20 |  1121319 |   749227 |    25686     71 |        5 |      376
871.97/872.34	c  871s |      20 |  1123619 |   750827 |    25686     71 |        5 |      376
874.06/874.42	c  874s |      20 |  1125954 |   752627 |    25686     71 |        5 |      376
876.06/876.48	c  876s |      20 |  1128009 |   754227 |    25686     72 |        5 |      376
878.07/878.49	c  878s |      20 |  1130562 |   756227 |    25686     72 |        5 |      376
880.17/880.52	c  880s |      20 |  1132966 |   757927 |    25686     72 |        5 |      376
882.17/882.54	c  882s |      20 |  1135265 |   759627 |    25686     72 |        5 |      376
884.18/884.55	c  884s |      20 |  1137593 |   761327 |    25686     72 |        5 |      376
886.17/886.56	c  886s |      20 |  1139774 |   763127 |    25686     72 |        5 |      376
888.27/888.64	c  888s |      20 |  1142089 |   764827 |    25686     72 |        5 |      376
890.37/890.71	c  890s |      20 |  1144478 |   766427 |    25686     72 |        5 |      376
892.37/892.73	c  892s |      20 |  1146493 |   767927 |    25686     73 |        5 |      376
894.37/894.74	c  894s |      20 |  1149088 |   770027 |    25686     73 |        5 |      376
896.37/896.78	c  896s |      20 |  1151658 |   771927 |    25686     73 |        5 |      376
898.47/898.86	c  898s |      20 |  1154096 |   773827 |    25686     73 |        5 |      376
900.57/900.91	c  900s |      20 |  1156318 |   775727 |    25686     73 |        5 |      376
902.56/903.00	c  902s |      20 |  1158518 |   777527 |    25686     73 |        5 |      376
904.66/905.05	c  904s |      20 |  1160627 |   779227 |    25686     73 |        5 |      376
906.86/907.23	c  906s |      20 |  1162570 |   780927 |    25686     74 |        5 |      376
908.96/909.33	c  908s |      20 |  1164613 |   782627 |    25686     74 |        5 |      376
911.06/911.48	c  911s |      20 |  1166765 |   784427 |    25686     74 |        5 |      376
913.16/913.55	c  913s |      20 |  1168802 |   786027 |    25686     74 |        5 |      376
916.76/917.16	c  916s |      20 |  1170752 |   787627 |    25686     74 |        5 |      376
918.86/919.20	c  918s |      20 |  1172695 |   788927 |    25686     74 |        5 |      376
920.86/921.29	c  920s |      20 |  1174956 |   790427 |    25686     74 |        5 |      376
922.96/923.33	c  922s |      20 |  1177630 |   792027 |    25686     74 |        5 |      376
925.06/925.42	c  925s |      20 |  1179788 |   793527 |    25686     74 |        5 |      376
927.16/927.51	c  927s |      20 |  1181942 |   794827 |    25686     75 |        5 |      376
929.16/929.59	c  929s |      20 |  1184886 |   796927 |    25686     75 |        5 |      376
931.26/931.63	c  931s |      20 |  1187699 |   799027 |    25686     75 |        5 |      376
934.16/934.59	c  934s |      20 |  1190409 |   801027 |    25686     75 |        5 |      376
936.45/936.87	c  936s |      20 |  1190690 |   801227 |    25686     75 |        5 |      376
938.45/938.89	c  938s |      20 |  1192794 |   802727 |    25686     75 |        5 |      376
940.55/940.98	c  940s |      20 |  1195215 |   804227 |    25686     75 |        5 |      376
942.65/943.01	c  942s |      20 |  1197581 |   805827 |    25686     75 |        5 |      376
944.66/945.04	c  944s |      20 |  1199721 |   807227 |    25686     76 |        5 |      376
946.76/947.13	c  946s |      20 |  1202628 |   809127 |    25686     76 |        5 |      376
948.85/949.23	c  948s |      20 |  1205294 |   810827 |    25686     76 |        5 |      376
950.95/951.31	c  950s |      20 |  1208063 |   812627 |    25686     76 |        5 |      376
952.95/953.31	c  952s |      20 |  1210461 |   814227 |    25686     76 |        5 |      376
954.95/955.36	c  954s |      20 |  1212851 |   816127 |    25686     76 |        5 |      376
957.05/957.44	c  957s |      20 |  1215345 |   817527 |    25686     76 |        5 |      376
959.15/959.54	c  959s |      20 |  1218142 |   818827 |    25686     76 |        5 |      376
961.45/961.83	c  961s |      20 |  1220158 |   820227 |    25686     77 |        5 |      376
963.55/963.90	c  963s |      20 |  1223456 |   821727 |    25686     77 |        5 |      376
965.56/965.92	c  965s |      20 |  1227653 |   823827 |    25686     77 |        5 |      376
967.55/967.94	c  967s |      20 |  1230311 |   825527 |    25686     77 |        5 |      376
969.55/969.98	c  969s |      20 |  1233060 |   827327 |    25686     77 |        5 |      376
971.55/971.98	c  971s |      20 |  1235659 |   828927 |    25686     77 |        5 |      376
973.65/974.07	c  973s |      20 |  1237995 |   830627 |    25686     77 |        5 |      376
975.75/976.18	c  975s |      20 |  1240130 |   832327 |    25686     77 |        5 |      376
977.85/978.28	c  977s |      20 |  1242177 |   833927 |    25686     78 |        5 |      376
979.95/980.32	c  979s |      20 |  1244156 |   835527 |    25686     78 |        5 |      376
982.05/982.44	c  982s |      20 |  1246495 |   836927 |    25686     78 |        5 |      376
984.04/984.46	c  984s |      20 |  1248922 |   838327 |    25686     78 |        5 |      376
986.14/986.52	c  986s |      20 |  1251945 |   840027 |    25686     78 |        5 |      376
988.24/988.63	c  988s |      20 |  1254418 |   841627 |    25686     78 |        5 |      376
990.34/990.73	c  990s |      20 |  1257110 |   843327 |    25686     78 |        5 |      376
992.34/992.76	c  992s |      20 |  1259296 |   844727 |    25686     78 |        5 |      376
994.44/994.85	c  994s |      20 |  1261472 |   846227 |    25686     78 |        5 |      376
996.44/996.87	c  996s |      20 |  1263162 |   847527 |    25686     79 |        5 |      376
998.45/998.89	c  998s |      20 |  1265925 |   849627 |    25686     79 |        5 |      376
1000.55/1000.97	c 1000s |      20 |  1268340 |   851327 |    25686     79 |        5 |      376
1002.55/1002.97	c 1002s |      20 |  1270587 |   852727 |    25686     79 |        5 |      376
1004.65/1005.06	c 1004s |      20 |  1273276 |   854427 |    25686     79 |        5 |      376
1006.75/1007.10	c 1006s |      20 |  1275677 |   856127 |    25686     79 |        5 |      376
1008.85/1009.21	c 1008s |      20 |  1277894 |   857727 |    25686     79 |        5 |      376
1010.95/1011.30	c 1010s |      20 |  1280171 |   859427 |    25686     79 |        5 |      376
1012.95/1013.34	c 1012s |      20 |  1282493 |   861027 |    25686     80 |        5 |      376
1015.05/1015.40	c 1014s |      20 |  1285355 |   863327 |    25686     80 |        5 |      376
1017.05/1017.49	c 1017s |      20 |  1287968 |   864927 |    25686     80 |        5 |      376
1019.15/1019.51	c 1019s |      20 |  1290542 |   866627 |    25686     80 |        5 |      376
1021.15/1021.52	c 1021s |      20 |  1293030 |   868427 |    25686     80 |        5 |      376
1023.25/1023.64	c 1023s |      20 |  1295572 |   870227 |    25686     80 |        5 |      376
1025.35/1025.74	c 1025s |      20 |  1297746 |   872027 |    25686     80 |        5 |      376
1027.35/1027.75	c 1027s |      20 |  1299906 |   873627 |    25686     80 |        5 |      376
1029.35/1029.78	c 1029s |      20 |  1301892 |   875027 |    25686     81 |        5 |      376
1031.34/1031.79	c 1031s |      20 |  1304676 |   876927 |    25686     81 |        5 |      376
1033.44/1033.85	c 1033s |      20 |  1307150 |   878827 |    25686     81 |        5 |      376
1035.44/1035.87	c 1035s |      20 |  1309571 |   880727 |    25686     81 |        5 |      376
1037.54/1037.95	c 1037s |      20 |  1311854 |   882527 |    25686     81 |        5 |      376
1039.54/1039.96	c 1039s |      20 |  1314029 |   884227 |    25686     81 |        5 |      376
1041.64/1042.06	c 1041s |      20 |  1316478 |   886127 |    25686     81 |        5 |      376
1043.74/1044.11	c 1043s |      20 |  1318689 |   887827 |    25686     82 |        5 |      376
1045.74/1046.17	c 1045s |      20 |  1321536 |   890127 |    25686     82 |        5 |      376
1047.84/1048.23	c 1047s |      20 |  1324117 |   892127 |    25686     82 |        5 |      376
1049.94/1050.31	c 1049s |      20 |  1326747 |   894227 |    25686     82 |        5 |      376
1051.93/1052.38	c 1051s |      20 |  1329356 |   896327 |    25686     82 |        5 |      376
1054.04/1054.43	c 1054s |      20 |  1331757 |   898227 |    25686     82 |        5 |      376
1056.04/1056.45	c 1056s |      20 |  1334057 |   900127 |    25686     82 |        5 |      376
1058.04/1058.47	c 1058s |      20 |  1336581 |   902227 |    25686     83 |        5 |      376
1060.34/1060.76	c 1060s |      20 |  1337714 |   903227 |    25686     83 |        5 |      376
1063.44/1063.84	c 1063s |      20 |  1337844 |   903327 |    25686     83 |        5 |      376
1065.54/1065.91	c 1065s |      20 |  1338699 |   904027 |    25686     83 |        5 |      376
1067.53/1067.93	c 1067s |      20 |  1342017 |   905727 |    25686     83 |        5 |      376
1069.63/1070.04	c 1069s |      20 |  1345551 |   907527 |    25686     83 |        5 |      376
1071.63/1072.07	c 1071s |      20 |  1348353 |   909327 |    25686     83 |        5 |      376
1073.73/1074.10	c 1073s |      20 |  1350719 |   911027 |    25686     83 |        5 |      376
1075.73/1076.19	c 1075s |      20 |  1353219 |   912727 |    25686     83 |        5 |      376
1077.83/1078.21	c 1077s |      20 |  1355383 |   914427 |    25686     84 |        5 |      376
1079.94/1080.30	c 1079s |      20 |  1357819 |   916227 |    25686     84 |        5 |      376
1082.04/1082.41	c 1081s |      20 |  1360786 |   917927 |    25686     84 |        5 |      376
1084.13/1084.50	c 1084s |      20 |  1363328 |   919527 |    25686     84 |        5 |      376
1086.13/1086.56	c 1086s |      20 |  1366195 |   921327 |    25686     84 |        5 |      376
1088.13/1088.59	c 1088s |      20 |  1368450 |   922827 |    25686     84 |        5 |      376
1090.33/1090.71	c 1090s |      20 |  1371228 |   924527 |    25686     84 |        5 |      376
1092.33/1092.72	c 1092s |      20 |  1373757 |   926027 |    25686     84 |        5 |      376
1094.33/1094.78	c 1094s |      20 |  1375825 |   927427 |    25686     85 |        5 |      376
1096.43/1096.88	c 1096s |      20 |  1379040 |   929727 |    25686     85 |        5 |      376
1098.53/1098.97	c 1098s |      20 |  1381946 |   931927 |    25686     85 |        5 |      376
1100.63/1101.04	c 1100s |      20 |  1384348 |   933627 |    25686     85 |        5 |      376
1102.63/1103.05	c 1102s |      20 |  1386920 |   935427 |    25686     85 |        5 |      376
1104.63/1105.06	c 1104s |      20 |  1389141 |   937127 |    25686     85 |        5 |      376
1106.63/1107.07	c 1106s |      20 |  1391580 |   939127 |    25686     85 |        5 |      376
1108.63/1109.09	c 1108s |      20 |  1393606 |   940727 |    25686     86 |        5 |      376
1110.73/1111.11	c 1110s |      20 |  1396016 |   942427 |    25686     86 |        5 |      376
1112.72/1113.14	c 1112s |      20 |  1398315 |   944027 |    25686     86 |        5 |      376
1114.82/1115.26	c 1114s |      20 |  1400934 |   945827 |    25686     86 |        5 |      376
1116.92/1117.32	c 1116s |      20 |  1403270 |   947527 |    25686     86 |        5 |      376
1119.02/1119.43	c 1119s |      20 |  1406057 |   949327 |    25686     86 |        5 |      376
1121.02/1121.44	c 1121s |      20 |  1408375 |   951127 |    25686     86 |        5 |      376
1123.12/1123.54	c 1123s |      20 |  1410736 |   953027 |    25686     86 |        5 |      376
1125.22/1125.66	c 1125s |      20 |  1413139 |   954727 |    25686     87 |        5 |      376
1127.33/1127.71	c 1127s |      20 |  1416134 |   956827 |    25686     87 |        5 |      376
1129.34/1129.76	c 1129s |      20 |  1419042 |   959027 |    25686     87 |        5 |      376
1131.43/1131.81	c 1131s |      20 |  1421889 |   961327 |    25686     87 |        5 |      376
1133.43/1133.87	c 1133s |      20 |  1424460 |   963127 |    25686     87 |        5 |      376
1135.53/1135.98	c 1135s |      20 |  1426998 |   964927 |    25686     87 |        5 |      376
1137.63/1138.04	c 1137s |      20 |  1429489 |   966827 |    25686     87 |        5 |      376
1139.73/1140.12	c 1139s |      20 |  1432175 |   968927 |    25686     88 |        5 |      376
1141.83/1142.20	c 1141s |      20 |  1434894 |   971027 |    25686     88 |        5 |      376
1143.83/1144.25	c 1143s |      20 |  1437260 |   972927 |    25686     88 |        5 |      376
1145.83/1146.27	c 1145s |      20 |  1439741 |   974727 |    25686     88 |        5 |      376
1147.83/1148.28	c 1147s |      20 |  1441956 |   976527 |    25686     88 |        5 |      376
1149.93/1150.39	c 1149s |      20 |  1444195 |   978227 |    25686     88 |        5 |      376
1152.03/1152.48	c 1152s |      20 |  1446313 |   979927 |    25686     88 |        5 |      376
1154.13/1154.57	c 1154s |      20 |  1448530 |   981727 |    25686     89 |        5 |      376
1156.13/1156.59	c 1156s |      20 |  1451107 |   983827 |    25686     89 |        5 |      376
1158.23/1158.63	c 1158s |      20 |  1453535 |   985827 |    25686     89 |        5 |      376
1163.72/1164.11	c 1163s |      20 |  1455180 |   987027 |    25686     89 |        5 |      376
1165.73/1166.16	c 1165s |      20 |  1457118 |   988027 |    25686     89 |        5 |      376
1167.72/1168.16	c 1167s |      20 |  1459802 |   989827 |    25686     89 |        5 |      376
1169.82/1170.22	c 1169s |      20 |  1462831 |   991527 |    25686     89 |        5 |      376
1171.82/1172.29	c 1171s |      20 |  1465510 |   993227 |    28255     89 |        5 |      376
1173.92/1174.36	c 1173s |      20 |  1468198 |   995027 |    28255     89 |        5 |      376
1176.02/1176.44	c 1176s |      20 |  1470655 |   996627 |    28255     90 |        5 |      376
1178.12/1178.52	c 1178s |      20 |  1473775 |   998827 |    28255     90 |        5 |      376
1179.52/1179.93	c 1179s |      21 |  1475873 |  1000345 |    28255     90 |        5 |      376
1184.43/1184.85	c 1184s |      21 |  1478035 |  1001845 |    28255     90 |        5 |      376
1186.42/1186.90	c 1186s |      21 |  1481055 |  1003345 |    28255     90 |        5 |      376
1188.52/1188.94	c 1188s |      21 |  1483787 |  1005045 |    28255     90 |        5 |      376
1190.62/1191.02	c 1190s |      21 |  1486305 |  1006645 |    28255     90 |        5 |      376
1192.62/1193.03	c 1192s |      21 |  1488736 |  1008245 |    28255     90 |        5 |      376
1194.72/1195.14	c 1194s |      21 |  1491130 |  1009645 |    28255     90 |        5 |      376
1196.72/1197.15	c 1196s |      21 |  1493345 |  1011245 |    28255     91 |        5 |      376
1198.73/1199.17	c 1198s |      21 |  1495529 |  1012845 |    28255     91 |        5 |      376
1200.72/1201.19	c 1200s |      21 |  1498494 |  1014545 |    28255     91 |        5 |      376
1202.82/1203.23	c 1202s |      21 |  1501009 |  1016345 |    28255     91 |        5 |      376
1204.92/1205.33	c 1204s |      21 |  1503756 |  1018245 |    28255     91 |        5 |      376
1207.02/1207.41	c 1206s |      21 |  1506349 |  1020145 |    28255     91 |        5 |      376
1209.02/1209.41	c 1209s |      21 |  1508854 |  1022045 |    28255     91 |        5 |      376
1211.02/1211.42	c 1211s |      21 |  1510956 |  1023845 |    28255     91 |        5 |      376
1213.12/1213.53	c 1213s |      21 |  1512727 |  1025145 |    28255     91 |        5 |      376
1215.11/1215.58	c 1215s |      21 |  1514912 |  1026345 |    28255     92 |        5 |      376
1217.21/1217.64	c 1217s |      21 |  1517903 |  1028045 |    28255     92 |        5 |      376
1219.21/1219.65	c 1219s |      21 |  1520698 |  1029845 |    28255     92 |        5 |      376
1221.31/1221.71	c 1221s |      21 |  1523474 |  1031545 |    28255     92 |        5 |      376
1223.31/1223.77	c 1223s |      21 |  1525987 |  1033145 |    28255     92 |        5 |      376
1225.41/1225.87	c 1225s |      21 |  1528478 |  1034845 |    28255     92 |        5 |      376
1227.51/1227.99	c 1227s |      21 |  1530966 |  1036645 |    28255     92 |        5 |      376
1229.61/1230.07	c 1229s |      21 |  1533271 |  1038345 |    28255     92 |        5 |      376
1231.71/1232.20	c 1231s |      21 |  1535611 |  1040145 |    28255     93 |        5 |      376
1233.81/1234.25	c 1233s |      21 |  1537837 |  1041545 |    28255     93 |        5 |      376
1235.81/1236.27	c 1235s |      21 |  1540719 |  1043245 |    28255     93 |        5 |      376
1237.91/1238.39	c 1237s |      21 |  1543710 |  1045045 |    28255     93 |        5 |      376
1240.01/1240.40	c 1239s |      21 |  1546330 |  1046745 |    28255     93 |        5 |      376
1242.01/1242.46	c 1242s |      21 |  1549020 |  1048545 |    28255     93 |        5 |      376
1244.01/1244.50	c 1244s |      21 |  1551522 |  1050345 |    28255     93 |        5 |      376
1246.11/1246.56	c 1246s |      21 |  1553911 |  1052145 |    28255     93 |        5 |      376
1248.12/1248.57	c 1248s |      21 |  1556243 |  1053945 |    28255     93 |        5 |      376
1250.21/1250.62	c 1250s |      21 |  1558253 |  1055645 |    28255     94 |        5 |      376
1252.20/1252.66	c 1252s |      21 |  1560460 |  1057045 |    28255     94 |        5 |      376
1254.30/1254.71	c 1254s |      21 |  1563016 |  1058645 |    28255     94 |        5 |      376
1256.30/1256.77	c 1256s |      21 |  1566152 |  1060445 |    28255     94 |        5 |      376
1258.30/1258.79	c 1258s |      21 |  1568834 |  1062245 |    28255     94 |        5 |      376
1260.40/1260.83	c 1260s |      21 |  1571224 |  1064045 |    28255     94 |        5 |      376
1262.51/1262.92	c 1262s |      21 |  1573444 |  1065845 |    28255     94 |        5 |      376
1264.61/1265.01	c 1264s |      21 |  1575551 |  1067545 |    28255     94 |        5 |      376
1266.70/1267.16	c 1266s |      21 |  1577423 |  1068945 |    28255     95 |        5 |      376
1268.80/1269.20	c 1268s |      21 |  1580184 |  1070745 |    28255     95 |        5 |      376
1270.80/1271.30	c 1270s |      21 |  1583457 |  1072645 |    28255     95 |        5 |      376
1272.90/1273.34	c 1272s |      21 |  1586196 |  1074645 |    28255     95 |        5 |      376
1275.01/1275.40	c 1274s |      21 |  1588738 |  1076645 |    28255     95 |        5 |      376
1277.01/1277.49	c 1277s |      21 |  1590782 |  1078345 |    28255     95 |        5 |      376
1279.11/1279.56	c 1279s |      21 |  1592997 |  1080145 |    28255     95 |        5 |      376
1281.21/1281.68	c 1281s |      21 |  1595089 |  1081645 |    28255     95 |        5 |      376
1283.21/1283.70	c 1283s |      21 |  1597132 |  1083145 |    28255     95 |        5 |      376
1285.31/1285.73	c 1285s |      21 |  1599075 |  1084745 |    28255     96 |        5 |      376
1287.31/1287.77	c 1287s |      21 |  1601365 |  1086545 |    28255     96 |        5 |      376
1289.51/1289.90	c 1289s |      21 |  1603946 |  1088545 |    28255     96 |        5 |      376
1291.50/1291.93	c 1291s |      21 |  1606279 |  1090445 |    28255     96 |        5 |      376
1293.60/1294.04	c 1293s |      21 |  1608513 |  1092245 |    28255     96 |        5 |      376
1295.70/1296.15	c 1295s |      21 |  1610690 |  1094045 |    28255     96 |        5 |      376
1297.80/1298.24	c 1297s |      21 |  1612808 |  1095845 |    28255     96 |        5 |      376
1299.91/1300.35	c 1299s |      21 |  1614623 |  1097245 |    28255     96 |        5 |      376
1302.01/1302.44	c 1302s |      21 |  1616441 |  1098745 |    28255     97 |        5 |      376
1304.00/1304.45	c 1304s |      21 |  1618126 |  1100045 |    28255     97 |        5 |      376
1306.00/1306.45	c 1306s |      21 |  1620691 |  1101645 |    28255     97 |        5 |      376
1308.00/1308.47	c 1308s |      21 |  1622839 |  1103145 |    28255     97 |        5 |      376
1310.10/1310.52	c 1310s |      21 |  1625033 |  1104845 |    28255     97 |        5 |      376
1312.10/1312.54	c 1312s |      21 |  1627256 |  1106645 |    28255     97 |        5 |      376
1320.70/1321.16	c 1320s |      21 |  1629552 |  1108145 |    28255     97 |        5 |      376
1326.40/1326.82	c 1326s |      21 |  1629811 |  1108245 |    28255     97 |        5 |      376
1328.50/1328.92	c 1328s |      21 |  1632107 |  1109745 |    28255     97 |        5 |      376
1330.50/1330.95	c 1330s |      21 |  1634186 |  1111145 |    28255     97 |        5 |      376
1332.50/1332.95	c 1332s |      21 |  1636508 |  1112445 |    28255     97 |        5 |      376
1334.60/1335.04	c 1334s |      21 |  1638312 |  1113545 |    28255     98 |        5 |      376
1336.69/1337.10	c 1336s |      21 |  1641018 |  1115345 |    28255     98 |        5 |      376
1338.69/1339.16	c 1338s |      21 |  1643428 |  1117045 |    28255     98 |        5 |      376
1340.79/1341.21	c 1340s |      21 |  1645836 |  1118945 |    28255     98 |        5 |      376
1342.80/1343.29	c 1342s |      21 |  1648283 |  1120745 |    28255     98 |        5 |      376
1344.79/1345.30	c 1344s |      21 |  1650532 |  1122345 |    28255     98 |        5 |      376
1346.99/1347.44	c 1347s |      21 |  1652649 |  1123645 |    28255     98 |        5 |      376
1348.99/1349.45	c 1349s |      21 |  1654793 |  1124845 |    28255     98 |        5 |      376
1350.99/1351.48	c 1351s |      21 |  1656731 |  1126245 |    28255     98 |        5 |      376
1353.09/1353.58	c 1353s |      21 |  1658776 |  1127245 |    28255     99 |        5 |      376
1355.09/1355.58	c 1355s |      21 |  1661552 |  1128745 |    28255     99 |        5 |      376
1357.19/1357.67	c 1357s |      21 |  1663738 |  1130245 |    28255     99 |        5 |      376
1359.29/1359.70	c 1359s |      21 |  1665920 |  1131645 |    28255     99 |        5 |      376
1361.39/1361.81	c 1361s |      21 |  1668619 |  1133145 |    28255     99 |        5 |      376
1363.39/1363.83	c 1363s |      21 |  1670835 |  1134545 |    28255     99 |        5 |      376
1365.49/1365.96	c 1365s |      21 |  1673070 |  1135945 |    28255     99 |        5 |      376
1367.49/1367.99	c 1367s |      21 |  1675086 |  1137345 |    28255     99 |        5 |      376
1369.59/1370.09	c 1369s |      21 |  1677042 |  1138745 |    28255     99 |        5 |      376
1371.69/1372.17	c 1371s |      21 |  1679039 |  1140245 |    28255     99 |        5 |      376
1373.79/1374.25	c 1373s |      21 |  1680819 |  1141645 |    28255     99 |        5 |      376
1375.98/1376.41	c 1375s |      21 |  1682107 |  1142645 |    28255    100 |        5 |      376
1377.99/1378.47	c 1378s |      21 |  1684652 |  1144045 |    28255    100 |        5 |      376
1380.09/1380.51	c 1380s |      21 |  1687076 |  1145545 |    28255    100 |        5 |      376
1382.18/1382.66	c 1382s |      21 |  1689690 |  1147145 |    28255    100 |        5 |      376
1384.38/1384.81	c 1384s |      21 |  1692510 |  1148745 |    28255    100 |        5 |      376
1386.38/1386.84	c 1386s |      21 |  1694626 |  1150145 |    28255    100 |        5 |      376
1388.38/1388.89	c 1388s |      21 |  1696659 |  1151745 |    28255    100 |        5 |      376
1390.58/1391.03	c 1390s |      21 |  1698614 |  1153345 |    28255    100 |        5 |      376
1392.58/1393.04	c 1392s |      21 |  1700621 |  1154745 |    28255    100 |        5 |      376
1394.58/1395.04	c 1394s |      21 |  1702443 |  1156045 |    28255    100 |        5 |      376
1396.58/1397.09	c 1396s |      21 |  1704260 |  1157245 |    28255    101 |        5 |      376
1398.68/1399.13	c 1398s |      21 |  1706188 |  1158545 |    28255    101 |        5 |      376
1400.79/1401.24	c 1400s |      21 |  1708296 |  1159945 |    28255    101 |        5 |      376
1402.79/1403.27	c 1402s |      21 |  1710505 |  1161445 |    28255    101 |        5 |      376
1404.79/1405.28	c 1404s |      21 |  1712717 |  1162845 |    28255    101 |        5 |      376
1406.89/1407.37	c 1406s |      21 |  1714890 |  1164345 |    28255    101 |        5 |      376
1409.09/1409.50	c 1409s |      21 |  1717033 |  1165845 |    28255    101 |        5 |      376
1411.09/1411.56	c 1411s |      21 |  1718833 |  1167245 |    28255    101 |        5 |      376
1413.09/1413.57	c 1413s |      21 |  1720699 |  1168645 |    28255    101 |        5 |      376
1415.19/1415.62	c 1415s |      21 |  1722610 |  1170145 |    28255    101 |        5 |      376
1417.19/1417.66	c 1417s |      21 |  1723768 |  1171045 |    28255    102 |        5 |      376
1419.29/1419.73	c 1419s |      21 |  1726473 |  1172745 |    28255    102 |        5 |      376
1421.39/1421.87	c 1421s |      21 |  1728547 |  1174145 |    28255    102 |        5 |      376
1423.38/1423.89	c 1423s |      21 |  1730799 |  1175645 |    28255    102 |        5 |      376
1425.58/1426.02	c 1425s |      21 |  1732836 |  1177145 |    28255    102 |        5 |      376
1427.68/1428.15	c 1427s |      21 |  1734958 |  1178745 |    28255    102 |        5 |      376
1429.69/1430.16	c 1429s |      21 |  1736796 |  1180345 |    28255    102 |        5 |      376
1431.68/1432.16	c 1431s |      21 |  1738601 |  1181845 |    28255    102 |        5 |      376
1433.78/1434.22	c 1433s |      21 |  1740418 |  1183345 |    28255    102 |        5 |      376
1435.78/1436.28	c 1435s |      21 |  1742069 |  1184845 |    28255    102 |        5 |      376
1437.88/1438.36	c 1437s |      21 |  1743809 |  1186245 |    28255    103 |        5 |      376
1439.88/1440.39	c 1439s |      21 |  1745862 |  1187845 |    28255    103 |        5 |      376
1441.98/1442.43	c 1442s |      21 |  1747776 |  1189445 |    28255    103 |        5 |      376
1443.99/1444.50	c 1444s |      21 |  1749699 |  1190945 |    28255    103 |        5 |      376
1446.09/1446.50	c 1446s |      21 |  1751662 |  1192545 |    28255    103 |        5 |      376
1448.08/1448.58	c 1448s |      21 |  1753752 |  1193945 |    28255    103 |        5 |      376
1450.28/1450.70	c 1450s |      21 |  1755611 |  1195445 |    28255    103 |        5 |      376
1452.38/1452.81	c 1452s |      21 |  1757492 |  1196945 |    28255    103 |        5 |      376
1454.48/1454.92	c 1454s |      21 |  1759175 |  1198345 |    28255    103 |        5 |      376
1456.58/1457.07	c 1456s |      21 |  1760927 |  1199645 |    28255    103 |        5 |      376
1458.68/1459.10	c 1458s |      21 |  1762178 |  1200645 |    28255    104 |        5 |      376
1460.68/1461.17	c 1460s |      21 |  1764323 |  1202245 |    28255    104 |        5 |      376
1462.78/1463.22	c 1462s |      21 |  1766554 |  1203945 |    28255    104 |        5 |      376
1464.88/1465.38	c 1464s |      21 |  1768325 |  1205245 |    28255    104 |        5 |      376
1466.98/1467.46	c 1467s |      21 |  1770365 |  1206745 |    28255    104 |        5 |      376
1469.07/1469.54	c 1469s |      21 |  1772017 |  1208045 |    28255    104 |        5 |      376
1471.07/1471.55	c 1471s |      21 |  1773939 |  1209445 |    28255    104 |        5 |      376
1473.17/1473.61	c 1473s |      21 |  1775656 |  1210845 |    28255    104 |        5 |      376
1475.17/1475.62	c 1475s |      21 |  1777553 |  1211945 |    28255    104 |        5 |      376
1477.17/1477.69	c 1477s |      21 |  1779501 |  1213145 |    28255    104 |        5 |      376
1479.37/1479.87	c 1479s |      21 |  1781252 |  1214345 |    28255    104 |        5 |      376
1481.47/1481.93	c 1481s |      21 |  1782310 |  1215145 |    28255    105 |        5 |      376
1483.47/1483.96	c 1483s |      21 |  1784307 |  1216545 |    28255    105 |        5 |      376
1485.57/1486.00	c 1485s |      21 |  1786201 |  1218045 |    28255    105 |        5 |      376
1488.07/1488.50	c 1488s |      21 |  1788276 |  1219745 |    28255    105 |        5 |      376
1490.17/1490.64	c 1490s |      21 |  1788814 |  1220045 |    28255    105 |        5 |      376
1492.27/1492.74	c 1492s |      21 |  1790850 |  1221545 |    28255    105 |        5 |      376
1494.37/1494.87	c 1494s |      21 |  1791814 |  1222145 |    28255    105 |        5 |      376
1496.47/1496.96	c 1496s |      21 |  1794442 |  1223545 |    28255    105 |        5 |      376
1498.57/1499.00	c 1498s |      21 |  1796404 |  1224845 |    28255    105 |        5 |      376
1500.56/1501.03	c 1500s |      21 |  1798271 |  1226145 |    28255    105 |        5 |      376
1502.56/1503.06	c 1502s |      21 |  1800277 |  1227445 |    28255    105 |        5 |      376
1504.66/1505.16	c 1504s |      21 |  1802062 |  1228845 |    28255    105 |        5 |      376
1506.86/1507.33	c 1506s |      21 |  1803422 |  1229945 |    28255    106 |        5 |      376
1508.87/1509.34	c 1508s |      21 |  1805475 |  1231445 |    28255    106 |        5 |      376
1511.36/1511.84	c 1511s |      21 |  1807977 |  1233145 |    28255    106 |        5 |      376
1513.46/1513.95	c 1513s |      21 |  1810259 |  1234545 |    28255    106 |        5 |      376
1515.56/1516.08	c 1515s |      21 |  1812233 |  1236045 |    28255    106 |        5 |      376
1517.67/1518.15	c 1517s |      21 |  1814900 |  1237545 |    28255    106 |        5 |      376
1519.87/1520.31	c 1519s |      21 |  1817178 |  1239045 |    28255    106 |        5 |      376
1521.87/1522.36	c 1521s |      21 |  1818915 |  1240445 |    28255    106 |        5 |      376
1523.97/1524.43	c 1524s |      21 |  1821424 |  1241845 |    28255    106 |        5 |      376
1525.97/1526.44	c 1526s |      21 |  1823330 |  1243145 |    28255    106 |        5 |      376
1528.27/1528.74	c 1528s |      21 |  1825024 |  1244545 |    28255    107 |        5 |      376
1530.37/1530.89	c 1530s |      21 |  1827213 |  1246245 |    28255    107 |        5 |      376
1532.57/1533.07	c 1532s |      21 |  1829246 |  1247645 |    28255    107 |        5 |      376
1534.67/1535.19	c 1534s |      21 |  1831688 |  1249045 |    28255    107 |        5 |      376
1536.77/1537.26	c 1536s |      21 |  1833469 |  1250445 |    28255    107 |        5 |      376
1538.87/1539.38	c 1538s |      21 |  1835633 |  1251745 |    28255    107 |        5 |      376
1540.97/1541.47	c 1541s |      21 |  1837701 |  1253145 |    28255    107 |        5 |      376
1543.07/1543.56	c 1543s |      21 |  1839867 |  1254545 |    28255    107 |        5 |      376
1545.07/1545.60	c 1545s |      21 |  1841696 |  1255945 |    28255    107 |        5 |      376
1547.16/1547.66	c 1547s |      21 |  1843419 |  1257345 |    28255    107 |        5 |      376
1549.26/1549.72	c 1549s |      21 |  1845282 |  1258745 |    28255    107 |        5 |      376
1551.26/1551.72	c 1551s |      21 |  1846728 |  1259845 |    28255    108 |        5 |      376
1553.36/1553.84	c 1553s |      21 |  1848657 |  1261245 |    28255    108 |        5 |      376
1555.46/1555.94	c 1555s |      21 |  1850849 |  1262645 |    28255    108 |        5 |      376
1557.56/1558.02	c 1557s |      21 |  1853117 |  1264245 |    28255    108 |        5 |      376
1559.66/1560.14	c 1559s |      21 |  1855621 |  1266045 |    28255    108 |        5 |      376
1561.76/1562.22	c 1561s |      21 |  1857677 |  1267645 |    28255    108 |        5 |      376
1563.76/1564.24	c 1563s |      21 |  1859809 |  1269245 |    28255    108 |        5 |      376
1565.76/1566.28	c 1565s |      21 |  1861904 |  1270945 |    28255    108 |        5 |      376
1567.86/1568.33	c 1567s |      21 |  1863766 |  1272345 |    28255    108 |        5 |      376
1569.96/1570.48	c 1570s |      21 |  1865525 |  1273845 |    28255    108 |        5 |      376
1572.06/1572.59	c 1572s |      21 |  1867482 |  1275245 |    28255    109 |        5 |      376
1574.16/1574.67	c 1574s |      21 |  1869693 |  1276745 |    28255    109 |        5 |      376
1576.36/1576.80	c 1576s |      21 |  1871721 |  1278245 |    28255    109 |        5 |      376
1578.36/1578.81	c 1578s |      21 |  1873430 |  1279645 |    28255    109 |        5 |      376
1580.36/1580.83	c 1580s |      21 |  1875311 |  1281145 |    28255    109 |        5 |      376
1582.46/1582.98	c 1582s |      21 |  1877257 |  1282545 |    28255    109 |        5 |      376
1584.56/1585.07	c 1584s |      21 |  1878987 |  1283745 |    28255    109 |        5 |      376
1586.66/1587.12	c 1586s |      21 |  1880640 |  1285045 |    28255    109 |        5 |      376
1588.75/1589.20	c 1588s |      21 |  1882311 |  1286245 |    28255    109 |        5 |      376
1590.85/1591.30	c 1590s |      21 |  1883772 |  1287445 |    28255    109 |        5 |      376
1592.95/1593.43	c 1593s |      21 |  1885161 |  1288545 |    28255    110 |        5 |      376
1595.05/1595.54	c 1595s |      21 |  1887030 |  1290045 |    28255    110 |        5 |      376
1597.15/1597.68	c 1597s |      21 |  1888794 |  1291345 |    28255    110 |        5 |      376
1599.25/1599.76	c 1599s |      21 |  1890787 |  1292945 |    28255    110 |        5 |      376
1601.35/1601.86	c 1601s |      21 |  1892589 |  1294445 |    28255    110 |        5 |      376
1603.36/1603.89	c 1603s |      21 |  1894308 |  1295845 |    28255    110 |        5 |      376
1605.45/1605.96	c 1605s |      21 |  1896065 |  1297245 |    28255    110 |        5 |      376
1607.55/1608.06	c 1607s |      21 |  1897771 |  1298645 |    28255    110 |        5 |      376
1609.55/1610.08	c 1609s |      21 |  1899590 |  1300045 |    28255    110 |        5 |      376
1611.65/1612.15	c 1611s |      21 |  1901228 |  1301445 |    28255    110 |        5 |      376
1613.75/1614.29	c 1613s |      21 |  1902980 |  1302945 |    28255    110 |        5 |      376
1615.85/1616.37	c 1615s |      21 |  1904667 |  1304445 |    28255    111 |        5 |      376
1618.15/1618.62	c 1618s |      21 |  1905169 |  1304845 |    28255    111 |        5 |      376
1620.35/1620.84	c 1620s |      21 |  1906456 |  1305845 |    28255    111 |        5 |      376
1622.46/1622.91	c 1622s |      21 |  1909261 |  1307445 |    28255    111 |        5 |      376
1624.46/1624.98	c 1624s |      21 |  1911493 |  1308945 |    28255    111 |        5 |      376
1626.65/1627.10	c 1626s |      21 |  1913687 |  1310545 |    28255    111 |        5 |      376
1628.66/1629.16	c 1628s |      21 |  1915903 |  1312145 |    28255    111 |        5 |      376
1630.75/1631.28	c 1630s |      21 |  1917875 |  1313745 |    28255    111 |        5 |      376
1632.85/1633.31	c 1632s |      21 |  1919501 |  1315145 |    28255    111 |        5 |      376
1634.85/1635.35	c 1634s |      21 |  1921623 |  1316445 |    28255    111 |        5 |      376
1637.05/1637.54	c 1637s |      21 |  1923251 |  1317445 |    28255    112 |        5 |      376
1639.15/1639.65	c 1639s |      21 |  1925663 |  1318745 |    28255    112 |        5 |      376
1641.25/1641.77	c 1641s |      21 |  1927715 |  1320245 |    28255    112 |        5 |      376
1643.25/1643.79	c 1643s |      21 |  1929727 |  1321645 |    28255    112 |        5 |      376
1645.45/1645.91	c 1645s |      21 |  1931534 |  1322945 |    28255    112 |        5 |      376
1647.46/1647.96	c 1647s |      21 |  1933493 |  1324245 |    28255    112 |        5 |      376
1649.55/1650.06	c 1649s |      21 |  1935151 |  1325545 |    28255    112 |        5 |      376
1651.65/1652.15	c 1651s |      21 |  1936646 |  1326745 |    28255    112 |        5 |      376
1653.75/1654.29	c 1653s |      21 |  1938304 |  1328045 |    28255    112 |        5 |      376
1655.95/1656.45	c 1656s |      21 |  1940193 |  1329445 |    28255    112 |        5 |      376
1657.95/1658.49	c 1658s |      21 |  1941882 |  1330645 |    28255    112 |        5 |      376
1660.05/1660.50	c 1660s |      21 |  1943640 |  1331945 |    28255    112 |        5 |      376
1662.05/1662.58	c 1662s |      21 |  1945317 |  1332945 |    28255    113 |        5 |      376
1664.15/1664.67	c 1664s |      21 |  1946828 |  1334145 |    28255    113 |        5 |      376
1666.25/1666.76	c 1666s |      21 |  1948671 |  1335545 |    28255    113 |        5 |      376
1668.35/1668.86	c 1668s |      21 |  1950518 |  1336945 |    28255    113 |        5 |      376
1670.45/1670.97	c 1670s |      21 |  1952517 |  1338545 |    28255    113 |        5 |      376
1672.55/1673.01	c 1672s |      21 |  1954434 |  1339945 |    28255    113 |        5 |      376
1674.65/1675.13	c 1674s |      21 |  1956344 |  1341245 |    28255    113 |        5 |      376
1676.65/1677.16	c 1676s |      21 |  1957972 |  1342445 |    28255    113 |        5 |      376
1678.74/1679.27	c 1678s |      21 |  1959853 |  1343745 |    28255    113 |        5 |      376
1680.94/1681.44	c 1681s |      21 |  1961635 |  1345045 |    28255    113 |        5 |      376
1683.04/1683.54	c 1683s |      21 |  1963230 |  1346245 |    28255    113 |        5 |      376
1685.04/1685.59	c 1685s |      21 |  1964628 |  1347345 |    28255    114 |        5 |      376
1687.24/1687.72	c 1687s |      21 |  1966389 |  1348845 |    28255    114 |        5 |      376
1689.25/1689.72	c 1689s |      21 |  1968172 |  1350245 |    28255    114 |        5 |      376
1691.34/1691.83	c 1691s |      21 |  1969902 |  1351645 |    28255    114 |        5 |      376
1693.44/1693.90	c 1693s |      21 |  1971669 |  1353045 |    28255    114 |        5 |      376
1695.44/1695.99	c 1695s |      21 |  1973400 |  1354445 |    28255    114 |        5 |      376
1697.54/1698.01	c 1697s |      21 |  1974813 |  1355645 |    28255    114 |        5 |      376
1699.54/1700.06	c 1699s |      21 |  1976478 |  1357045 |    28255    114 |        5 |      376
1701.64/1702.11	c 1701s |      21 |  1978034 |  1358345 |    28255    114 |        5 |      376
1703.74/1704.25	c 1703s |      21 |  1979447 |  1359545 |    28255    114 |        5 |      376
1705.94/1706.43	c 1706s |      21 |  1980871 |  1360745 |    28255    114 |        5 |      376
1707.94/1708.49	c 1708s |      21 |  1982337 |  1361945 |    28255    115 |        5 |      376
1710.04/1710.51	c 1710s |      21 |  1984299 |  1363545 |    28255    115 |        5 |      376
1712.14/1712.63	c 1712s |      21 |  1986148 |  1365145 |    28255    115 |        5 |      376
1714.14/1714.67	c 1714s |      21 |  1987767 |  1366545 |    28255    115 |        5 |      376
1716.34/1716.82	c 1716s |      21 |  1989547 |  1368045 |    28255    115 |        5 |      376
1718.33/1718.87	c 1718s |      21 |  1991115 |  1369345 |    28255    115 |        5 |      376
1720.43/1720.96	c 1720s |      21 |  1992879 |  1370645 |    28255    115 |        5 |      376
1722.53/1723.01	c 1722s |      21 |  1994467 |  1371945 |    28255    115 |        5 |      376
1724.53/1725.04	c 1724s |      21 |  1995925 |  1373145 |    28255    115 |        5 |      376
1726.73/1727.24	c 1726s |      21 |  1997292 |  1374145 |    28255    115 |        5 |      376
1728.84/1729.32	c 1728s |      21 |  1998419 |  1375045 |    28255    115 |        5 |      376
1732.94/1733.43	c 1733s |      21 |  1999260 |  1375645 |    28255    116 |        5 |      376
1735.04/1735.59	c 1735s |      21 |  2000484 |  1376545 |    28255    116 |        5 |      376
1737.14/1737.60	c 1737s |      21 |  2002780 |  1377945 |    28255    116 |        5 |      376
1739.13/1739.61	c 1739s |      21 |  2004385 |  1379145 |    28255    116 |        5 |      376
1741.13/1741.62	c 1741s |      21 |  2006489 |  1380545 |    28255    116 |        5 |      376
1743.14/1743.64	c 1743s |      21 |  2008079 |  1381745 |    28255    116 |        5 |      376
1745.13/1745.69	c 1745s |      21 |  2009716 |  1382945 |    28255    116 |        5 |      376
1747.23/1747.74	c 1747s |      21 |  2011412 |  1384245 |    28255    116 |        5 |      376
1749.33/1749.85	c 1749s |      21 |  2013021 |  1385545 |    28255    116 |        5 |      376
1751.43/1751.91	c 1751s |      21 |  2014823 |  1386845 |    28255    116 |        5 |      376
1753.43/1753.96	c 1753s |      21 |  2016758 |  1388145 |    28255    116 |        5 |      376
1755.53/1756.02	c 1755s |      21 |  2018627 |  1389545 |    28255    116 |        5 |      376
1757.53/1758.09	c 1757s |      21 |  2020347 |  1390845 |    28255    117 |        5 |      376
1759.64/1760.11	c 1759s |      21 |  2022408 |  1392545 |    28255    117 |        5 |      376
1761.63/1762.13	c 1761s |      21 |  2024508 |  1393745 |    28255    117 |        5 |      376
1763.63/1764.17	c 1763s |      21 |  2026501 |  1395145 |    28255    117 |        5 |      376
1765.73/1766.25	c 1765s |      21 |  2028325 |  1396445 |    28255    117 |        5 |      376
1767.83/1768.34	c 1767s |      21 |  2029978 |  1397645 |    28255    117 |        5 |      376
1769.93/1770.49	c 1770s |      21 |  2031394 |  1398745 |    28255    117 |        5 |      376
1772.03/1772.59	c 1772s |      21 |  2033017 |  1400045 |    28255    117 |        5 |      376
1774.13/1774.60	c 1774s |      21 |  2034440 |  1401145 |    28255    117 |        5 |      376
1776.13/1776.63	c 1776s |      21 |  2036153 |  1402445 |    28255    117 |        5 |      376
1778.13/1778.70	c 1778s |      21 |  2038003 |  1403945 |    28255    117 |        5 |      376
1780.63/1781.15	c 1780s |      21 |  2039727 |  1405245 |    28255    118 |        5 |      376
1782.63/1783.16	c 1782s |      21 |  2042091 |  1406745 |    28255    118 |        5 |      376
1784.63/1785.19	c 1784s |      21 |  2044073 |  1408245 |    28255    118 |        5 |      376
1786.73/1787.25	c 1786s |      21 |  2046166 |  1409945 |    28255    118 |        5 |      376
1788.73/1789.26	c 1788s |      21 |  2048033 |  1411445 |    28255    118 |        5 |      376
1790.72/1791.28	c 1790s |      21 |  2049845 |  1412945 |    28255    118 |        5 |      376
1792.82/1793.30	c 1792s |      21 |  2051672 |  1414445 |    28255    118 |        5 |      376
1794.83/1795.38	c 1794s |      21 |  2053567 |  1415945 |    28255    118 |        5 |      376
1796.93/1797.41	c 1797s |      21 |  2055271 |  1417245 |    28255    118 |        5 |      376
1799.02/1799.50	c 1799s |      21 |  2057143 |  1418845 |    28255    118 |        5 |      376

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

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

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


[startup+0 s]
/proc/loadavg: 2.47 2.24 2.20 3/180 395
/proc/meminfo: memFree=29430648/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=336316 CPUtime=0 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 1188 0 0 0 0 0 0 0 20 0 4 0 13972357 344387584 1038 33554432000 4194304 16246674 140733444658864 140733444658288 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 84847 1048 441 2943 0 81741 0
[pid=395/tid=396] ppid=392 vsize=686524 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 703000576 2405 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=690620 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 707194880 2424 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=695740 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13972357 712437760 2441 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100208 s]
/proc/loadavg: 2.47 2.24 2.20 3/180 395
/proc/meminfo: memFree=29430648/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 28332 0 0 0 5 3 0 0 20 0 4 0 13972357 1333334016 28121 33554432000 4194304 16246674 140733444658864 140733444658176 7853005 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 325521 28137 801 2943 0 322415 0
[pid=395/tid=396] ppid=392 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1333334016 28148 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1333334016 28159 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1333334016 28170 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200536 s]
/proc/loadavg: 2.47 2.24 2.20 3/180 395
/proc/meminfo: memFree=29430648/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1313348 CPUtime=0.18 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 48572 0 0 0 11 7 0 0 20 0 4 0 13972357 1344868352 48871 33554432000 4194304 16246674 140733444658864 140733444640768 13954702 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 328337 48871 835 2943 0 325231 0
[pid=395/tid=396] ppid=392 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1344868352 48871 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1344868352 48871 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1344868352 48871 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300503 s]
/proc/loadavg: 2.47 2.24 2.20 3/180 395
/proc/meminfo: memFree=29430648/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 53641 0 0 0 21 8 0 0 20 0 4 0 13972357 1344868352 53940 33554432000 4194304 16246674 140733444658864 140733444640768 12874965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 328337 53954 835 2943 0 325231 0
[pid=395/tid=396] ppid=392 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1344868352 53963 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1344868352 53972 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1344868352 53979 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700416 s]
/proc/loadavg: 2.47 2.24 2.20 3/180 395
/proc/meminfo: memFree=29430648/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 127532 0 0 0 50 19 0 0 20 0 4 0 13972357 1344868352 127832 33554432000 4194304 16246674 140733444658864 140733444640768 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 328337 127840 877 2943 0 325231 0
[pid=395/tid=396] ppid=392 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1344868352 127844 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1344868352 127849 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1344868352 127853 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50037 s]
/proc/loadavg: 2.47 2.24 2.20 3/184 399
/proc/meminfo: memFree=28627404/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1315396 CPUtime=1.49 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 269503 0 0 0 110 39 0 0 20 0 4 0 13972357 1346965504 269802 33554432000 4194304 16246674 140733444658864 140733444640768 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 328849 269802 880 2943 0 325743 0
[pid=395/tid=396] ppid=392 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1346965504 269802 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1346965504 269802 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1346965504 269802 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.10043 s]
/proc/loadavg: 2.47 2.24 2.20 3/184 399
/proc/meminfo: memFree=28352752/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1315396 CPUtime=3.09 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 269521 0 0 0 270 39 0 0 20 0 4 0 13972357 1346965504 269820 33554432000 4194304 16246674 140733444658864 140733444658176 5754961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 328849 269820 884 2943 0 325743 0
[pid=395/tid=396] ppid=392 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1346965504 269820 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1346965504 269820 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1346965504 269820 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1315396

[startup+6.30043 s]
/proc/loadavg: 2.43 2.24 2.19 3/183 399
/proc/meminfo: memFree=28355124/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1315396 CPUtime=6.29 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 269521 0 0 0 590 39 0 0 20 0 4 0 13972357 1346965504 269820 33554432000 4194304 16246674 140733444658864 140733444640768 5523416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 328849 269820 884 2943 0 325743 0
[pid=395/tid=396] ppid=392 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1346965504 269820 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1346965504 269820 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1346965504 269820 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.47 2.25 2.20 3/183 399
/proc/meminfo: memFree=28355412/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1315396 CPUtime=12.69 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 269525 0 0 0 1230 39 0 0 20 0 4 0 13972357 1346965504 269824 33554432000 4194304 16246674 140733444658864 140733444640768 5674563 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 328849 269824 886 2943 0 325743 0
[pid=395/tid=396] ppid=392 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1346965504 269824 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1346965504 269824 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1346965504 269824 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.44 2.26 2.20 3/183 399
/proc/meminfo: memFree=28356228/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1316420 CPUtime=25.49 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 269781 0 0 0 2510 39 0 0 20 0 4 0 13972357 1348014080 270080 33554432000 4194304 16246674 140733444658864 140733444640768 5661124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 329105 270080 886 2943 0 325999 0
[pid=395/tid=396] ppid=392 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1348014080 270080 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1348014080 270080 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1348014080 270080 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1316420

[startup+51.1005 s]
/proc/loadavg: 2.29 2.23 2.19 3/183 400
/proc/meminfo: memFree=28338464/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1329732 CPUtime=51.08 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 272985 0 0 0 5068 40 0 0 20 0 4 0 13972357 1361645568 273275 33554432000 4194304 16246674 140733444658864 140733444640768 5822432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 332433 273275 886 2943 0 329327 0
[pid=395/tid=396] ppid=392 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1361645568 273275 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1361645568 273275 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1361645568 273275 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1329732

[startup+102.301 s]
/proc/loadavg: 2.12 2.20 2.18 3/183 401
/proc/meminfo: memFree=28330604/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1329732 CPUtime=102.26 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 273142 0 0 0 10186 40 0 0 20 0 4 0 13972357 1361645568 273408 33554432000 4194304 16246674 140733444658864 140733444640768 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 332433 273408 886 2943 0 329327 0
[pid=395/tid=396] ppid=392 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1361645568 273408 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1361645568 273408 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1361645568 273408 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1329732


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

/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1441348

[startup+1362.3 s]
/proc/loadavg: 2.25 2.25 2.18 3/183 483
/proc/meminfo: memFree=28213160/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1441348 CPUtime=1361.89 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 301331 0 0 0 136130 59 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140733444640768 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 360337 301314 888 2943 0 357231 0
[pid=395/tid=396] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1441348

[startup+1422.3 s]
/proc/loadavg: 2.39 2.29 2.20 3/182 484
/proc/meminfo: memFree=28213904/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1441348 CPUtime=1421.89 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 301331 0 0 0 142129 60 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140733444640768 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 360337 301314 888 2943 0 357231 0
[pid=395/tid=396] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1441348

[startup+1482.3 s]
/proc/loadavg: 2.32 2.28 2.20 3/183 486
/proc/meminfo: memFree=28213124/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1441348 CPUtime=1481.87 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 301331 0 0 0 148127 60 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140733444640768 5676365 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 360337 301314 888 2943 0 357231 0
[pid=395/tid=396] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1441348

[startup+1542.31 s]
/proc/loadavg: 2.40 2.32 2.21 3/183 487
/proc/meminfo: memFree=28212904/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1441348 CPUtime=1541.87 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 301331 0 0 0 154126 61 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140733444640768 5673957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 360337 301314 888 2943 0 357231 0
[pid=395/tid=396] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1441348

[startup+1602.3 s]
/proc/loadavg: 2.26 2.29 2.20 3/183 489
/proc/meminfo: memFree=28212632/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1441348 CPUtime=1601.85 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 301331 0 0 0 160124 61 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140733444640768 5676344 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 360337 301314 888 2943 0 357231 0
[pid=395/tid=396] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1441348

[startup+1662.3 s]
/proc/loadavg: 2.29 2.29 2.21 3/183 490
/proc/meminfo: memFree=28212724/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1441348 CPUtime=1661.85 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 301331 0 0 0 166123 62 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140733444640768 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 360337 301314 888 2943 0 357231 0
[pid=395/tid=396] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1441348

[startup+1722.3 s]
/proc/loadavg: 2.23 2.27 2.20 4/183 491
/proc/meminfo: memFree=28212320/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1441348 CPUtime=1721.83 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 301331 0 0 0 172121 62 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140733444640768 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 360337 301314 888 2943 0 357231 0
[pid=395/tid=396] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1441348

[startup+1782.3 s]
/proc/loadavg: 2.29 2.28 2.21 3/184 495
/proc/meminfo: memFree=28212112/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1441348 CPUtime=1781.83 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 301331 0 0 0 178120 63 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140733444640768 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 360337 301314 888 2943 0 357231 0
[pid=395/tid=396] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1441348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.38 2.29 2.21 3/184 495
/proc/meminfo: memFree=28212364/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1441348 CPUtime=1800.02 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 301331 0 0 0 179939 63 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140733444640768 7250064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 360337 301314 888 2943 0 357231 0
[pid=395/tid=396] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1441348

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

[startup+1800.5 s]
/proc/loadavg: 2.38 2.29 2.21 3/184 495
/proc/meminfo: memFree=28212364/32872528 swapFree=1190796/1305260
[pid=395] ppid=392 vsize=1441348 CPUtime=1800.02 cores=1,3,5,7
/proc/395/stat : 395 (toysat) R 392 395 29204 0 -1 4202496 301331 0 0 0 179939 63 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140733444640768 7250064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/395/statm: 360337 301314 888 2943 0 357231 0
[pid=395/tid=396] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/396/stat : 396 (toysat) S 392 395 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059463363824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=395/tid=397] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/397/stat : 397 (toysat) S 392 395 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059452873968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=395/tid=398] ppid=392 vsize=1441348 CPUtime=0 cores=1,3,5,7
/proc/395/task/398/stat : 398 (toysat) S 392 395 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13972357 1475940352 301314 33554432000 4194304 16246674 140733444658864 140059442400432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1441348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.4
CPU system time (s): 0.637903
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1441348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.637903
maximum resident set size= 1205256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301331
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= 334
involuntary context switches= 2092

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5843 second user time and 6.92795 second system time

The end

Begin job on node127 at 2016-06-17 01:20:57
IDJOB=4098045
IDBENCH=107844
IDSOLVER=2542
FILE ID=node127/4098045-1466119257
RUNJOBID= node127-1466112960-31002
PBS_JOBID= 19904036
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 41c2374d716c69eaa58caad0be520bfe
RANDOM SEED=484563283

node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29430912 kB
Buffers:           67464 kB
Cached:           172096 kB
SwapCached:        34656 kB
Active:          1269236 kB
Inactive:         155804 kB
Active(anon):    1152136 kB
Inactive(anon):    35592 kB
Active(file):     117100 kB
Inactive(file):   120212 kB
Unevictable:     1305260 kB
Mlocked:         1190796 kB
SwapTotal:      67108856 kB
SwapFree:       67066092 kB
Dirty:             17300 kB
Writeback:             0 kB
AnonPages:       2459040 kB
Mapped:            11064 kB
Shmem:                 0 kB
Slab:             572048 kB
SReclaimable:      15864 kB
SUnreclaim:       556184 kB
KernelStack:        1528 kB
PageTables:         8464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2598852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1259520 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node127 at 2016-06-17 01:50:58