0.00/0.00	c 2016-06-07T09:06:11+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-4078933-1465283171.opb"]
0.00/0.01	c use --random-gen="967632156 533830033 1874273053 3593561508 355521757 3808627819 1369582117 2898386412 1985662473 1711248266 1109214358 1273707391 1205283362 1587751986 2778743052 2418567325 3169429187 1494550527 3003464032 740664056 3001429054 1512714342 3255360019 3970640869 2908479212 1387488024 82442360 2054440214 1837342377 1852836795 2551729313 1459988117 10584086 1831550256 1202435068 399036058 4261382081 2412955711 1638772472 989843357 3370346942 77619692 2688293561 1995399921 2299207140 959397191 2277685729 238722241 597935823 1514737253 1203479611 1944097123 2193172377 3354392469 3020565760 1849369849 3096538832 2024859442 2006917322 935427723 3212104967 740495124 1052337782 4286545268 4133805236 4286805408 1674559650 2395585353 3255862272 2628199133 3143318052 470283894 3368329407 543145661 1053706523 957854400 2386982829 4087486353 3783166963 355789539 3113384108 777113303 496224738 75631281 3773477693 1128862173 3178107952 2493698433 1707538551 2034357589 3279872377 1500426587 3953194551 1389162059 3576753900 3717823251 189306293 1744488841 2481208702 3976054249 156507728 2173803409 3092620942 1803029720 3139927385 768875792 3776366377 163294292 216328549 874241478 3104213141 4259164257 2911243295 3755707464 2385908805 2803722138 2117872683 594254490 3497787814 1018604641 1055832419 1682556720 777081636 1994702770 4147164805 3228835368 1864164997 2141320789 1634263796 681592064 1164785626 1301787847 2952820272 946165128 2636894382 3587752710 127797124 1309734286 2872744567 2489492847 912451392 876255468 95145154 585202163 2230063576 2011980946 4103381887 3213271173 590222271 3155137031 527050818 2769322505 3760217248 2940868532 7184270 2906043051 4029531099 529408400 3161082657 4054990557 2126931711 3217397603 401583509 3368443901 1489098432 2015337838 1077968818 767827128 1402419850 1107362593 1877722752 1149490758 1815779452 2420955988 2280122545 3287370366 1360098034 4164671514 1084719854 2735341691 2116587681 2587440136 1912530165 767692212 642493603 1751483163 1467017684 1750712187 2994537279 3234600865 3771276415 3492170839 400516288 205541695 2423336534 415270947 2008553566 196878022 2559449727 2610133149 3967381981 2715782872 2914553630 746902929 3419731289 3727043444 4088567326 289119564 301160938 2563245285 2328201830 2490388333 1034722972 2145025226 3498647003 2596290772 1228688497 3340718970 1825234927 744740753 3790010250 2414532814 1770954314 730443474 665102839 1274594949 1699913108 1677894050 3816523148 552324605 2285737239 1004351783 1647171619 3100773679 478782382 797748899 1933407860 2150391743 1436724239 2964662410 824761080 2070013856 2106177266 3990716798 1062998491 2441571184 1832941302 1807621422 3690456514 3045203814 2918974591 2406228475 3672816311 3882681038 2023152585 2934270853 255 362436" option to reproduce the execution
0.09/0.10	c #vars 5576
0.09/0.10	c #constraints 5742
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     3772      0 |      362 |        0
0.29/0.35	c  0.1s |       1 |     3124 |      100 |     3772      0 |      363 |      304
0.48/0.53	c  0.3s |       2 |     6952 |      250 |     4150      0 |      363 |      304
0.79/0.83	c  0.6s |       3 |    12164 |      475 |     4565      0 |      363 |      304
1.28/1.34	c  1.1s |       4 |    16790 |      813 |     5022      0 |      364 |      305
1.78/1.83	c  1.6s |       5 |    27965 |     1320 |     5525      0 |      366 |      307
2.48/2.51	c  2.3s |       6 |    35613 |     2081 |     6686      0 |      367 |      308
3.78/3.86	c  3.6s |       7 |    47303 |     3223 |     7355      0 |      368 |      309
5.78/5.86	c  5.6s |       8 |    70413 |     4936 |     8091      0 |      368 |      309
7.88/7.93	c  7.7s |       8 |    97493 |     6836 |     8091      0 |      370 |      311
8.79/8.87	c  8.6s |       9 |   105729 |     7506 |     8901      0 |      371 |      312
10.99/11.07	c 10.8s |       9 |   113784 |     9006 |     8901      0 |      372 |      313
13.20/13.28	c 13.1s |       9 |   116595 |     9906 |     8901      0 |      372 |      313
15.29/15.33	c 15.1s |       9 |   120999 |    10806 |     8901      0 |      372 |      313
17.19/17.22	c 17.0s |      10 |   123911 |    11361 |     9792      0 |      372 |      313
19.19/19.24	c 19.0s |      10 |   133256 |    12661 |     9792      1 |      375 |      316
21.29/21.34	c 21.1s |      10 |   136883 |    13761 |     9792      1 |      375 |      316
23.48/23.58	c 23.4s |      10 |   138483 |    14361 |     9792      1 |      375 |      316
25.58/25.63	c 25.4s |      10 |   139687 |    14861 |     9792      1 |      375 |      316
27.69/27.71	c 27.5s |      10 |   142007 |    15561 |     9792      1 |      375 |      316
29.79/29.88	c 29.7s |      10 |   148595 |    16761 |     9792      1 |      376 |      317
30.59/30.63	c 30.4s |      11 |   152328 |    17144 |    10772      1 |      376 |      317
32.69/32.71	c 32.5s |      11 |   168310 |    18644 |    10772      2 |      377 |      318
34.78/34.86	c 34.6s |      11 |   188114 |    20144 |    10772      2 |      378 |      319
36.78/36.88	c 36.7s |      11 |   198450 |    21744 |    10772      2 |      379 |      320
38.88/38.90	c 38.7s |      11 |   210756 |    23344 |    10772      3 |      379 |      320
40.88/40.94	c 40.7s |      11 |   226067 |    24944 |    10772      3 |      379 |      320
42.28/42.31	c 42.1s |      12 |   232418 |    25819 |    11850      3 |      379 |      320
44.38/44.41	c 44.2s |      12 |   261092 |    27419 |    11850      3 |      381 |      322
46.38/46.41	c 46.2s |      12 |   279196 |    28919 |    11850      3 |      383 |      324
48.39/48.50	c 48.3s |      12 |   294976 |    30519 |    11850      3 |      383 |      324
50.48/50.50	c 50.3s |      12 |   310722 |    31919 |    11850      4 |      383 |      324
52.48/52.52	c 52.3s |      12 |   322705 |    33319 |    11850      4 |      383 |      324
54.68/54.79	c 54.6s |      12 |   325044 |    34119 |    11850      4 |      383 |      324
56.78/56.86	c 56.6s |      12 |   331315 |    35119 |    11850      4 |      383 |      324
58.77/58.88	c 58.7s |      12 |   339924 |    36419 |    11850      4 |      383 |      324
60.97/61.04	c 60.8s |      12 |   347698 |    37619 |    11850      4 |      383 |      324
63.17/63.23	c 63.0s |      12 |   354701 |    38719 |    13036      5 |      383 |      324
63.37/63.49	c 63.3s |      13 |   355115 |    38832 |    13036      5 |      383 |      324
65.47/65.56	c 65.3s |      13 |   368061 |    40332 |    13036      5 |      383 |      324
67.47/67.58	c 67.4s |      13 |   374483 |    41232 |    13036      5 |      383 |      324
69.47/69.59	c 69.4s |      13 |   386244 |    42432 |    13036      5 |      383 |      324
71.58/71.68	c 71.5s |      13 |   400967 |    43932 |    13036      5 |      384 |      325
73.88/73.99	c 73.8s |      13 |   409673 |    45232 |    13036      5 |      384 |      325
75.99/76.04	c 75.8s |      13 |   413720 |    46132 |    13036      5 |      384 |      325
77.97/78.05	c 77.8s |      13 |   418495 |    46932 |    13036      6 |      384 |      325
80.07/80.17	c 79.9s |      13 |   428060 |    48232 |    13036      6 |      384 |      325
82.17/82.25	c 82.0s |      13 |   431195 |    49132 |    13036      6 |      384 |      325
84.37/84.43	c 84.2s |      13 |   443969 |    50432 |    13036      6 |      384 |      325
86.37/86.50	c 86.3s |      13 |   449252 |    51132 |    13036      6 |      384 |      325
88.47/88.50	c 88.3s |      13 |   459710 |    52232 |    13036      6 |      384 |      325
90.57/90.61	c 90.4s |      13 |   466301 |    53232 |    13036      6 |      384 |      325
92.67/92.78	c 92.6s |      13 |   476822 |    54432 |    13036      7 |      384 |      325
94.87/94.96	c 94.7s |      13 |   484611 |    55632 |    13036      7 |      384 |      325
96.87/96.98	c 96.8s |      13 |   490752 |    56232 |    13036      7 |      385 |      326
98.97/99.04	c 98.8s |      13 |   500202 |    57432 |    13036      7 |      385 |      326
101.07/101.10	c  100s |      13 |   503735 |    58032 |    14340      7 |      385 |      326
101.57/101.68	c  101s |      14 |   506508 |    58352 |    14340      7 |      385 |      326
103.67/103.74	c  103s |      14 |   525705 |    59652 |    14340      7 |      385 |      326
105.77/105.88	c  105s |      14 |   540915 |    61052 |    14340      7 |      385 |      326
107.88/107.96	c  107s |      14 |   553703 |    62252 |    14340      8 |      385 |      326
109.98/110.09	c  109s |      14 |   555390 |    62852 |    14340      8 |      385 |      326
112.27/112.33	c  112s |      14 |   556552 |    63352 |    14340      8 |      385 |      326
114.27/114.38	c  114s |      14 |   557750 |    63752 |    14340      8 |      385 |      326
116.57/116.68	c  116s |      14 |   558702 |    64152 |    14340      8 |      385 |      326
118.97/119.01	c  118s |      14 |   559784 |    64552 |    14340      8 |      385 |      326
121.57/121.68	c  121s |      14 |   560595 |    64952 |    14340      8 |      385 |      326
123.67/123.71	c  123s |      14 |   561164 |    65252 |    14340      8 |      385 |      326
125.66/125.79	c  125s |      14 |   561485 |    65452 |    14340      8 |      385 |      326
127.86/127.91	c  127s |      14 |   568659 |    66352 |    14340      8 |      385 |      326
130.06/130.14	c  129s |      14 |   570023 |    66852 |    14340      8 |      385 |      326
132.76/132.81	c  132s |      14 |   571419 |    67352 |    14340      8 |      385 |      326
134.97/135.04	c  134s |      14 |   582570 |    68252 |    14340      8 |      385 |      326
137.27/137.32	c  137s |      14 |   592435 |    69152 |    14340      9 |      385 |      326
139.37/139.43	c  139s |      14 |   595164 |    69952 |    14340      9 |      385 |      326
141.46/141.56	c  141s |      14 |   600875 |    70852 |    14340      9 |      385 |      326
143.46/143.58	c  143s |      14 |   608871 |    71952 |    14340      9 |      385 |      326
145.56/145.62	c  145s |      14 |   613892 |    72652 |    14340      9 |      385 |      326
147.56/147.65	c  147s |      14 |   618183 |    73352 |    14340      9 |      385 |      326
149.76/149.81	c  149s |      14 |   622357 |    74252 |    14340      9 |      385 |      326
152.26/152.32	c  152s |      14 |   625726 |    74952 |    14340      9 |      385 |      326
154.77/154.87	c  154s |      14 |   627398 |    75452 |    14340      9 |      385 |      326
157.06/157.14	c  156s |      14 |   628277 |    75752 |    14340      9 |      385 |      326
159.26/159.31	c  159s |      14 |   629838 |    76252 |    14340      9 |      385 |      326
161.26/161.34	c  161s |      14 |   630830 |    76552 |    14340      9 |      385 |      326
163.47/163.51	c  163s |      14 |   631747 |    76852 |    14340      9 |      385 |      326
165.46/165.56	c  165s |      14 |   633561 |    77352 |    14340      9 |      385 |      326
167.96/168.08	c  167s |      14 |   638592 |    77952 |    14340     10 |      385 |      326
170.06/170.19	c  169s |      14 |   640884 |    78652 |    14340     10 |      385 |      326
172.16/172.22	c  171s |      14 |   644299 |    79552 |    14340     10 |      385 |      326
174.46/174.52	c  174s |      14 |   650299 |    80552 |    14340     10 |      385 |      326
176.86/176.94	c  176s |      14 |   659092 |    81552 |    14340     10 |      385 |      326
178.86/178.98	c  178s |      14 |   660946 |    82052 |    14340     10 |      385 |      326
180.96/181.04	c  180s |      14 |   667622 |    83052 |    14340     10 |      385 |      326
183.16/183.25	c  183s |      14 |   675408 |    84052 |    14340     10 |      385 |      326
185.16/185.26	c  185s |      14 |   678370 |    84752 |    14340     10 |      385 |      326
187.26/187.39	c  187s |      14 |   690528 |    85852 |    14340     11 |      385 |      326
189.36/189.49	c  189s |      14 |   695303 |    86752 |    14340     11 |      385 |      326
191.95/192.04	c  191s |      14 |   698459 |    87352 |    15775     11 |      385 |      326
194.35/194.44	c  194s |      14 |   699044 |    87552 |    15775     11 |      385 |      326
194.95/195.08	c  194s |      15 |   699397 |    87632 |    15775     11 |      385 |      326
197.06/197.10	c  196s |      15 |   702389 |    88332 |    15775     11 |      385 |      326
199.26/199.37	c  199s |      15 |   704334 |    88932 |    15775     11 |      385 |      326
201.46/201.59	c  201s |      15 |   710338 |    90032 |    15775     11 |      385 |      326
203.66/203.73	c  203s |      15 |   717005 |    90832 |    15775     11 |      385 |      326
205.66/205.78	c  205s |      15 |   720467 |    91632 |    15775     11 |      385 |      326
207.96/208.04	c  207s |      15 |   724639 |    92532 |    15775     11 |      385 |      326
210.06/210.18	c  209s |      15 |   728610 |    93332 |    15775     11 |      385 |      326
212.15/212.20	c  211s |      15 |   742650 |    94832 |    15775     12 |      385 |      326
214.25/214.30	c  214s |      15 |   751348 |    96532 |    15775     12 |      385 |      326
216.25/216.33	c  216s |      15 |   767172 |    98232 |    15775     12 |      385 |      326
218.36/218.45	c  218s |      15 |   783399 |    99832 |    15775     12 |      385 |      326
220.46/220.51	c  220s |      15 |   794224 |   101132 |    15775     12 |      385 |      326
222.55/222.61	c  222s |      15 |   813085 |   102832 |    15775     12 |      385 |      326
224.55/224.65	c  224s |      15 |   824463 |   104232 |    15775     13 |      386 |      327
226.75/226.87	c  226s |      15 |   841903 |   105832 |    15775     13 |      386 |      327
228.86/228.91	c  228s |      15 |   855278 |   107032 |    15775     13 |      386 |      327
230.85/230.98	c  230s |      15 |   869169 |   108332 |    15775     13 |      386 |      327
232.95/233.09	c  232s |      15 |   872391 |   108932 |    15775     13 |      386 |      327
235.15/235.25	c  235s |      15 |   876412 |   109432 |    15775     13 |      386 |      327
237.25/237.38	c  237s |      15 |   881545 |   110032 |    15775     13 |      386 |      327
239.45/239.58	c  239s |      15 |   885220 |   110732 |    15775     13 |      386 |      327
241.55/241.63	c  241s |      15 |   889589 |   111332 |    15775     13 |      386 |      327
243.55/243.66	c  243s |      15 |   896614 |   112032 |    15775     14 |      386 |      327
245.55/245.69	c  245s |      15 |   903262 |   112732 |    15775     14 |      388 |      329
247.65/247.79	c  247s |      15 |   909218 |   114032 |    15775     14 |      388 |      329
249.85/249.99	c  249s |      15 |   915036 |   115432 |    15775     14 |      388 |      329
251.96/252.05	c  251s |      15 |   918313 |   116132 |    15775     14 |      388 |      329
254.15/254.21	c  253s |      15 |   924068 |   117132 |    15775     14 |      388 |      329
256.15/256.29	c  256s |      15 |   928396 |   117932 |    15775     14 |      388 |      329
258.24/258.38	c  258s |      15 |   930871 |   118732 |    15775     14 |      388 |      329
260.54/260.61	c  260s |      15 |   934522 |   119532 |    15775     14 |      388 |      329
262.55/262.66	c  262s |      15 |   938675 |   120332 |    15775     14 |      388 |      329
264.55/264.67	c  264s |      15 |   940448 |   120932 |    15775     14 |      388 |      329
266.75/266.88	c  266s |      15 |   942647 |   121432 |    15775     14 |      388 |      329
268.95/269.10	c  268s |      15 |   944200 |   121932 |    15775     15 |      388 |      329
271.25/271.36	c  271s |      15 |   946584 |   122632 |    15775     15 |      388 |      329
273.64/273.71	c  273s |      15 |   947926 |   123132 |    15775     15 |      388 |      329
275.85/275.91	c  275s |      15 |   949609 |   123632 |    15775     15 |      388 |      329
278.15/278.20	c  277s |      15 |   951231 |   124132 |    15775     15 |      388 |      329
280.24/280.31	c  280s |      15 |   953803 |   124832 |    15775     15 |      388 |      329
282.24/282.33	c  282s |      15 |   956626 |   125732 |    15775     15 |      388 |      329
284.44/284.50	c  284s |      15 |   959015 |   126632 |    15775     15 |      388 |      329
286.54/286.62	c  286s |      15 |   961890 |   127332 |    15775     15 |      388 |      329
288.84/288.91	c  288s |      15 |   964858 |   128132 |    15775     15 |      388 |      329
290.84/290.96	c  290s |      15 |   967812 |   128832 |    15775     15 |      388 |      329
293.24/293.38	c  293s |      15 |   969759 |   129532 |    15775     15 |      388 |      329
295.54/295.67	c  295s |      15 |   972266 |   130232 |    15775     15 |      388 |      329
297.94/298.01	c  297s |      15 |   973901 |   130832 |    17353     15 |      388 |      329
300.04/300.11	c  299s |      15 |   974845 |   131232 |    17353     15 |      388 |      329
300.74/300.89	c  300s |      16 |   976260 |   131552 |    17353     15 |      388 |      329
302.84/302.91	c  302s |      16 |   987029 |   132852 |    17353     16 |      388 |      329
304.94/305.01	c  304s |      16 |  1002553 |   134352 |    17353     16 |      389 |      330
307.04/307.15	c  306s |      16 |  1010797 |   135852 |    17353     16 |      389 |      330
309.05/309.17	c  308s |      16 |  1028591 |   137352 |    17353     16 |      389 |      330
311.14/311.22	c  310s |      16 |  1039524 |   138852 |    17353     16 |      389 |      330
313.54/313.63	c  313s |      16 |  1046252 |   139952 |    17353     16 |      389 |      330
315.64/315.79	c  315s |      16 |  1049767 |   140852 |    17353     16 |      389 |      330
317.94/318.07	c  317s |      16 |  1051687 |   141452 |    17353     16 |      389 |      330
320.14/320.21	c  319s |      16 |  1063020 |   142552 |    17353     17 |      389 |      330
322.13/322.24	c  322s |      16 |  1075908 |   144052 |    17353     17 |      389 |      330
324.23/324.35	c  324s |      16 |  1081916 |   145152 |    17353     17 |      389 |      330
326.44/326.56	c  326s |      16 |  1083339 |   145652 |    17353     17 |      389 |      330
328.54/328.63	c  328s |      16 |  1084204 |   145952 |    17353     17 |      389 |      330
330.54/330.68	c  330s |      16 |  1086975 |   146552 |    17353     17 |      389 |      330
332.74/332.84	c  332s |      16 |  1087945 |   146952 |    17353     17 |      389 |      330
334.94/335.01	c  334s |      16 |  1089860 |   147452 |    17353     17 |      389 |      330
337.24/337.30	c  337s |      16 |  1093604 |   148352 |    17353     17 |      389 |      330
339.34/339.48	c  339s |      16 |  1098452 |   149152 |    17353     17 |      389 |      330
341.73/341.85	c  341s |      16 |  1104455 |   150252 |    17353     17 |      389 |      330
344.14/344.25	c  344s |      16 |  1110448 |   151352 |    17353     18 |      389 |      330
346.23/346.35	c  346s |      16 |  1119082 |   152552 |    17353     18 |      389 |      330
348.24/348.38	c  348s |      16 |  1135577 |   154152 |    17353     18 |      389 |      330
350.44/350.50	c  350s |      16 |  1144219 |   155452 |    17353     18 |      389 |      330
352.43/352.55	c  352s |      16 |  1147843 |   156552 |    17353     18 |      389 |      330
354.53/354.63	c  354s |      16 |  1155764 |   157552 |    17353     18 |      389 |      330
356.73/356.82	c  356s |      16 |  1164779 |   158652 |    17353     18 |      389 |      330
358.74/358.82	c  358s |      16 |  1170351 |   159552 |    17353     18 |      389 |      330
360.74/360.90	c  360s |      16 |  1175314 |   160852 |    17353     18 |      389 |      330
362.94/363.09	c  362s |      16 |  1184063 |   162152 |    17353     19 |      390 |      331
365.03/365.13	c  364s |      16 |  1186717 |   162952 |    17353     19 |      390 |      331
367.14/367.25	c  367s |      16 |  1188445 |   163652 |    17353     19 |      390 |      331
369.33/369.50	c  369s |      16 |  1193882 |   165052 |    17353     19 |      390 |      331
371.43/371.59	c  371s |      16 |  1198913 |   166052 |    17353     19 |      390 |      331
373.53/373.65	c  373s |      16 |  1202144 |   166952 |    17353     19 |      390 |      331
375.63/375.79	c  375s |      16 |  1205004 |   167852 |    17353     19 |      390 |      331
377.93/378.07	c  377s |      16 |  1212017 |   168752 |    17353     19 |      390 |      331
380.13/380.24	c  380s |      16 |  1219972 |   169952 |    17353     19 |      390 |      331
382.33/382.40	c  382s |      16 |  1225375 |   171052 |    17353     19 |      390 |      331
384.83/384.94	c  384s |      16 |  1227626 |   171652 |    17353     20 |      390 |      331
387.14/387.23	c  387s |      16 |  1233176 |   172852 |    17353     20 |      390 |      331
389.22/389.34	c  389s |      16 |  1233780 |   173152 |    17353     20 |      390 |      331
391.72/391.85	c  391s |      16 |  1235118 |   173652 |    17353     20 |      390 |      331
393.92/394.00	c  393s |      16 |  1241785 |   175052 |    17353     20 |      390 |      331
396.13/396.20	c  395s |      16 |  1249782 |   176452 |    17353     20 |      390 |      331
398.13/398.28	c  398s |      16 |  1254076 |   177352 |    17353     20 |      390 |      331
400.33/400.42	c  400s |      16 |  1263839 |   178652 |    17353     20 |      390 |      331
402.53/402.60	c  402s |      16 |  1270660 |   179752 |    17353     20 |      390 |      331
404.62/404.79	c  404s |      16 |  1272125 |   180152 |    17353     20 |      390 |      331
406.82/406.94	c  406s |      16 |  1276313 |   180952 |    17353     20 |      390 |      331
408.93/409.04	c  408s |      16 |  1282068 |   181652 |    17353     21 |      390 |      331
411.03/411.13	c  410s |      16 |  1298128 |   183152 |    17353     21 |      391 |      332
413.13/413.22	c  412s |      16 |  1314359 |   184652 |    17353     21 |      391 |      332
415.22/415.34	c  415s |      16 |  1322710 |   185852 |    17353     21 |      391 |      332
417.32/417.40	c  417s |      16 |  1338392 |   187152 |    17353     21 |      391 |      332
419.32/419.41	c  419s |      16 |  1352020 |   188652 |    17353     21 |      391 |      332
421.33/421.47	c  421s |      16 |  1355005 |   189452 |    17353     21 |      391 |      332
423.43/423.55	c  423s |      16 |  1356572 |   189952 |    17353     21 |      391 |      332
425.52/425.63	c  425s |      16 |  1363608 |   190852 |    17353     22 |      391 |      332
427.82/427.90	c  427s |      16 |  1372275 |   191952 |    17353     22 |      391 |      332
429.93/430.03	c  429s |      16 |  1393997 |   193752 |    17353     22 |      391 |      332
432.03/432.10	c  431s |      16 |  1401413 |   194652 |    17353     22 |      391 |      332
434.13/434.24	c  434s |      16 |  1403161 |   195352 |    17353     22 |      391 |      332
436.12/436.28	c  436s |      16 |  1410362 |   196552 |    19089     22 |      391 |      332
438.22/438.38	c  438s |      17 |  1413563 |   197432 |    19089     22 |      391 |      332
440.42/440.52	c  440s |      17 |  1423957 |   198732 |    19089     22 |      391 |      332
442.42/442.55	c  442s |      17 |  1432757 |   200332 |    19089     22 |      391 |      332
444.62/444.77	c  444s |      17 |  1437237 |   201232 |    19089     22 |      391 |      332
446.92/447.05	c  446s |      17 |  1442016 |   202232 |    19089     23 |      391 |      332
449.01/449.16	c  448s |      17 |  1452009 |   204132 |    19089     23 |      391 |      332
451.22/451.31	c  451s |      17 |  1457074 |   205232 |    19089     23 |      391 |      332
453.32/453.43	c  453s |      17 |  1459848 |   205832 |    19089     23 |      391 |      332
455.72/455.81	c  455s |      17 |  1460705 |   206132 |    19089     23 |      391 |      332
457.92/458.09	c  457s |      17 |  1467725 |   207332 |    19089     23 |      391 |      332
460.02/460.11	c  459s |      17 |  1482505 |   208732 |    19089     23 |      391 |      332
462.12/462.24	c  462s |      17 |  1493384 |   210132 |    19089     23 |      391 |      332
464.13/464.29	c  464s |      17 |  1504766 |   211432 |    19089     23 |      391 |      332
466.42/466.53	c  466s |      17 |  1508089 |   212332 |    19089     24 |      391 |      332
468.52/468.61	c  468s |      17 |  1523487 |   214332 |    19089     24 |      391 |      332
470.51/470.63	c  470s |      17 |  1543234 |   216132 |    19089     24 |      391 |      332
472.72/472.81	c  472s |      17 |  1554215 |   217732 |    19089     24 |      391 |      332
474.72/474.84	c  474s |      17 |  1556758 |   218532 |    19089     24 |      391 |      332
476.72/476.87	c  476s |      17 |  1562931 |   219532 |    19089     24 |      391 |      332
478.92/479.05	c  478s |      17 |  1576813 |   221232 |    19089     24 |      391 |      332
481.02/481.19	c  480s |      17 |  1581149 |   222332 |    19089     24 |      391 |      332
483.12/483.28	c  483s |      17 |  1602309 |   224032 |    19089     25 |      391 |      332
485.22/485.37	c  485s |      17 |  1607179 |   225432 |    19089     25 |      391 |      332
487.52/487.65	c  487s |      17 |  1609468 |   226332 |    19089     25 |      391 |      332
489.61/489.71	c  489s |      17 |  1610742 |   226832 |    19089     25 |      391 |      332
491.81/491.91	c  491s |      17 |  1612546 |   227532 |    19089     25 |      391 |      332
493.92/494.03	c  493s |      17 |  1615216 |   228232 |    19089     25 |      391 |      332
496.12/496.27	c  496s |      17 |  1617817 |   228932 |    19089     25 |      391 |      332
498.31/498.40	c  498s |      17 |  1619569 |   229432 |    19089     25 |      391 |      332
500.31/500.41	c  500s |      17 |  1622198 |   230032 |    19089     25 |      391 |      332
502.51/502.62	c  502s |      17 |  1623683 |   230632 |    19089     25 |      391 |      332
504.92/505.01	c  504s |      17 |  1626430 |   231332 |    19089     25 |      391 |      332
507.31/507.44	c  507s |      17 |  1627812 |   231832 |    19089     25 |      391 |      332
509.51/509.66	c  509s |      17 |  1628985 |   232232 |    19089     25 |      391 |      332
511.91/512.03	c  511s |      17 |  1630265 |   232632 |    19089     25 |      391 |      332
514.31/514.43	c  514s |      17 |  1631408 |   233032 |    19089     25 |      391 |      332
516.41/516.53	c  516s |      17 |  1632769 |   233532 |    19089     25 |      391 |      332
518.41/518.57	c  518s |      17 |  1633908 |   233932 |    19089     25 |      391 |      332
520.60/520.79	c  520s |      17 |  1636594 |   234632 |    19089     26 |      391 |      332
522.81/522.95	c  522s |      17 |  1640177 |   235432 |    19089     26 |      391 |      332
524.81/524.96	c  524s |      17 |  1641660 |   235832 |    19089     26 |      391 |      332
527.21/527.30	c  527s |      17 |  1643042 |   236332 |    19089     26 |      391 |      332
529.20/529.38	c  529s |      17 |  1644257 |   236732 |    19089     26 |      391 |      332
531.90/532.03	c  531s |      17 |  1645191 |   237132 |    19089     26 |      391 |      332
534.10/534.24	c  534s |      17 |  1647239 |   237732 |    19089     26 |      391 |      332
536.41/536.51	c  536s |      17 |  1650049 |   238632 |    19089     26 |      391 |      332
538.41/538.58	c  538s |      17 |  1658530 |   239732 |    19089     26 |      391 |      332
540.51/540.60	c  540s |      17 |  1668649 |   241032 |    19089     26 |      391 |      332
542.61/542.74	c  542s |      17 |  1675473 |   242332 |    19089     26 |      391 |      332
544.71/544.84	c  544s |      17 |  1685433 |   243732 |    19089     26 |      391 |      332
546.91/547.01	c  546s |      17 |  1687280 |   244332 |    19089     26 |      391 |      332
549.01/549.14	c  548s |      17 |  1689516 |   245032 |    19089     27 |      391 |      332
551.11/551.21	c  550s |      17 |  1695566 |   246632 |    19089     27 |      391 |      332
553.21/553.36	c  553s |      17 |  1701242 |   247732 |    19089     27 |      391 |      332
555.30/555.44	c  555s |      17 |  1706427 |   249232 |    19089     27 |      391 |      332
557.30/557.48	c  557s |      17 |  1714281 |   250532 |    19089     27 |      391 |      332
559.40/559.54	c  559s |      17 |  1725355 |   252232 |    19089     27 |      391 |      332
561.40/561.57	c  561s |      17 |  1733751 |   253332 |    19089     27 |      391 |      332
563.50/563.67	c  563s |      17 |  1738473 |   254232 |    19089     27 |      391 |      332
565.60/565.78	c  565s |      17 |  1759828 |   256032 |    19089     28 |      391 |      332
567.70/567.82	c  567s |      17 |  1762166 |   256832 |    19089     28 |      391 |      332
570.30/570.43	c  570s |      17 |  1764162 |   257532 |    19089     28 |      391 |      332
572.30/572.47	c  572s |      17 |  1765774 |   258032 |    19089     28 |      391 |      332
574.70/574.84	c  574s |      17 |  1766969 |   258532 |    19089     28 |      391 |      332
577.09/577.26	c  577s |      17 |  1768059 |   258932 |    19089     28 |      391 |      332
579.71/579.85	c  579s |      17 |  1770288 |   259432 |    19089     28 |      391 |      332
582.70/582.88	c  582s |      17 |  1772270 |   260132 |    19089     28 |      391 |      332
584.90/585.06	c  584s |      17 |  1775585 |   260732 |    19089     28 |      391 |      332
587.19/587.30	c  587s |      17 |  1776530 |   261132 |    19089     28 |      391 |      332
589.61/589.76	c  589s |      17 |  1777616 |   261432 |    19089     28 |      391 |      332
592.20/592.33	c  592s |      17 |  1778656 |   261832 |    19089     28 |      391 |      332
594.19/594.36	c  594s |      17 |  1779292 |   262132 |    19089     28 |      391 |      332
596.59/596.71	c  596s |      17 |  1780194 |   262532 |    19089     28 |      391 |      332
598.60/598.79	c  598s |      17 |  1781212 |   262932 |    19089     28 |      391 |      332
600.99/601.10	c  600s |      17 |  1782255 |   263332 |    19089     28 |      391 |      332
603.09/603.23	c  603s |      17 |  1782876 |   263632 |    19089     28 |      391 |      332
605.30/605.41	c  605s |      17 |  1784659 |   264032 |    19089     28 |      391 |      332
607.29/607.42	c  607s |      17 |  1785726 |   264332 |    19089     28 |      391 |      332
609.90/610.01	c  609s |      17 |  1786968 |   264732 |    19089     28 |      391 |      332
613.09/613.23	c  613s |      17 |  1788394 |   265132 |    19089     28 |      391 |      332
616.10/616.22	c  615s |      17 |  1788860 |   265332 |    19089     28 |      391 |      332
618.99/619.15	c  618s |      17 |  1789602 |   265632 |    19089     29 |      391 |      332
621.40/621.56	c  621s |      17 |  1791313 |   266332 |    19089     29 |      391 |      332
623.80/623.99	c  623s |      17 |  1792755 |   266932 |    19089     29 |      391 |      332
626.30/626.42	c  626s |      17 |  1793574 |   267332 |    19089     29 |      391 |      332
628.49/628.62	c  628s |      17 |  1795640 |   268032 |    19089     29 |      391 |      332
630.69/630.82	c  630s |      17 |  1797590 |   268632 |    19089     29 |      391 |      332
632.99/633.17	c  632s |      17 |  1798803 |   269132 |    19089     29 |      391 |      332
634.99/635.18	c  634s |      17 |  1800491 |   269632 |    19089     29 |      391 |      332
637.49/637.63	c  637s |      17 |  1802327 |   270132 |    19089     29 |      391 |      332
639.69/639.81	c  639s |      17 |  1804163 |   270632 |    19089     29 |      391 |      332
641.79/641.97	c  641s |      17 |  1805409 |   271132 |    19089     29 |      391 |      332
643.79/643.98	c  643s |      17 |  1806806 |   271532 |    19089     29 |      391 |      332
646.18/646.32	c  646s |      17 |  1807595 |   271932 |    19089     29 |      391 |      332
648.29/648.43	c  648s |      17 |  1808979 |   272332 |    19089     29 |      391 |      332
650.49/650.60	c  650s |      17 |  1809628 |   272632 |    19089     29 |      391 |      332
652.79/652.99	c  652s |      17 |  1810479 |   273032 |    19089     29 |      391 |      332
655.18/655.35	c  655s |      17 |  1811466 |   273432 |    19089     29 |      391 |      332
657.49/657.61	c  657s |      17 |  1812385 |   273832 |    19089     29 |      391 |      332
660.08/660.24	c  660s |      17 |  1813245 |   274232 |    19089     29 |      391 |      332
662.19/662.38	c  662s |      17 |  1814001 |   274532 |    19089     29 |      391 |      332
664.69/664.87	c  664s |      17 |  1815181 |   274932 |    19089     29 |      391 |      332
668.19/668.37	c  668s |      17 |  1816258 |   275332 |    19089     29 |      391 |      332
670.99/671.19	c  670s |      17 |  1816927 |   275632 |    19089     29 |      391 |      332
673.49/673.67	c  673s |      17 |  1818948 |   276032 |    19089     29 |      391 |      332
675.48/675.67	c  675s |      17 |  1821510 |   276632 |    19089     30 |      391 |      332
677.59/677.73	c  677s |      17 |  1823216 |   277132 |    19089     30 |      391 |      332
679.98/680.15	c  679s |      17 |  1825514 |   277832 |    19089     30 |      391 |      332
682.08/682.24	c  682s |      17 |  1827523 |   278432 |    19089     30 |      391 |      332
684.38/684.56	c  684s |      17 |  1830283 |   279232 |    19089     30 |      391 |      332
686.68/686.88	c  686s |      17 |  1831962 |   279832 |    19089     30 |      391 |      332
688.89/689.05	c  688s |      17 |  1833596 |   280432 |    19089     30 |      391 |      332
691.19/691.30	c  691s |      17 |  1836381 |   281132 |    19089     30 |      391 |      332
693.58/693.71	c  693s |      17 |  1837685 |   281632 |    19089     30 |      391 |      332
695.59/695.74	c  695s |      17 |  1839324 |   282132 |    19089     30 |      391 |      332
697.88/698.08	c  697s |      17 |  1841318 |   282832 |    19089     30 |      391 |      332
699.98/700.14	c  699s |      17 |  1842711 |   283332 |    19089     30 |      391 |      332
702.18/702.37	c  702s |      17 |  1843496 |   283732 |    19089     30 |      391 |      332
704.48/704.68	c  704s |      17 |  1844613 |   284232 |    19089     30 |      391 |      332
706.88/707.00	c  706s |      17 |  1845337 |   284632 |    19089     30 |      391 |      332
709.07/709.26	c  709s |      17 |  1846625 |   285132 |    19089     30 |      391 |      332
711.18/711.39	c  711s |      17 |  1852900 |   286232 |    19089     31 |      391 |      332
713.28/713.40	c  713s |      17 |  1859018 |   287632 |    19089     31 |      391 |      332
715.47/715.69	c  715s |      17 |  1862092 |   288332 |    19089     31 |      391 |      332
717.88/718.04	c  717s |      17 |  1863455 |   288732 |    19089     31 |      391 |      332
720.18/720.36	c  720s |      17 |  1864366 |   289132 |    19089     31 |      391 |      332
722.59/722.74	c  722s |      17 |  1866544 |   289532 |    19089     31 |      391 |      332
724.67/724.82	c  724s |      17 |  1869569 |   290632 |    19089     31 |      391 |      332
726.97/727.14	c  726s |      17 |  1871882 |   291332 |    19089     31 |      391 |      332
729.07/729.25	c  729s |      17 |  1874770 |   292132 |    19089     31 |      391 |      332
731.17/731.38	c  731s |      17 |  1878452 |   293032 |    19089     31 |      391 |      332
733.26/733.45	c  733s |      17 |  1882056 |   293832 |    19089     31 |      391 |      332
735.67/735.85	c  735s |      17 |  1884566 |   294532 |    20998     31 |      391 |      332
738.37/738.52	c  738s |      17 |  1886512 |   295232 |    20998     31 |      391 |      332
740.47/740.64	c  740s |      17 |  1889221 |   295932 |    20998     31 |      391 |      332
741.67/741.82	c  741s |      18 |  1890328 |   296252 |    20998     31 |      391 |      332
743.66/743.90	c  743s |      18 |  1900011 |   297252 |    20998     32 |      391 |      332
745.86/746.01	c  745s |      18 |  1908422 |   298452 |    20998     32 |      391 |      332
747.87/748.10	c  747s |      18 |  1922430 |   299852 |    20998     32 |      391 |      332
750.07/750.28	c  750s |      18 |  1937691 |   301252 |    20998     32 |      391 |      332
752.16/752.30	c  752s |      18 |  1944841 |   302152 |    20998     32 |      391 |      332
754.15/754.34	c  754s |      18 |  1956708 |   303652 |    20998     32 |      391 |      332
756.25/756.40	c  756s |      18 |  1963953 |   304852 |    20998     32 |      391 |      332
758.25/758.41	c  758s |      18 |  1972398 |   305852 |    20998     33 |      391 |      332
760.35/760.59	c  760s |      18 |  1981201 |   307152 |    20998     33 |      391 |      332
762.45/762.69	c  762s |      18 |  1995238 |   308752 |    20998     33 |      391 |      332
764.46/764.69	c  764s |      18 |  2003535 |   310052 |    20998     33 |      391 |      332
766.66/766.86	c  766s |      18 |  2005939 |   310752 |    20998     33 |      391 |      332
768.76/768.92	c  768s |      18 |  2008229 |   311452 |    20998     33 |      391 |      332
770.85/771.02	c  770s |      18 |  2010682 |   312052 |    20998     33 |      391 |      332
773.05/773.25	c  773s |      18 |  2012943 |   312752 |    20998     33 |      391 |      332
775.15/775.39	c  775s |      18 |  2014354 |   313252 |    20998     33 |      391 |      332
777.65/777.85	c  777s |      18 |  2017016 |   313952 |    20998     33 |      391 |      332
779.75/779.95	c  779s |      18 |  2020572 |   314852 |    20998     33 |      391 |      332
781.85/782.01	c  781s |      18 |  2022485 |   315352 |    20998     33 |      391 |      332
784.04/784.24	c  784s |      18 |  2025195 |   315952 |    20998     33 |      391 |      332
786.44/786.61	c  786s |      18 |  2027391 |   316452 |    20998     34 |      391 |      332
788.44/788.66	c  788s |      18 |  2030652 |   317552 |    20998     34 |      391 |      332
790.54/790.74	c  790s |      18 |  2034027 |   318352 |    20998     34 |      391 |      332
792.74/792.97	c  792s |      18 |  2038022 |   319352 |    20998     34 |      391 |      332
795.04/795.27	c  795s |      18 |  2042065 |   320352 |    20998     34 |      391 |      332
797.45/797.63	c  797s |      18 |  2051480 |   321652 |    20998     34 |      391 |      332
799.65/799.81	c  799s |      18 |  2060090 |   322552 |    20998     34 |      391 |      332
801.64/801.90	c  801s |      18 |  2077540 |   324152 |    20998     34 |      391 |      332
803.74/803.98	c  803s |      18 |  2080841 |   324852 |    20998     34 |      391 |      332
805.94/806.13	c  805s |      18 |  2084402 |   325752 |    20998     34 |      391 |      332
808.34/808.56	c  808s |      18 |  2086591 |   326452 |    20998     34 |      391 |      332
810.55/810.71	c  810s |      18 |  2092605 |   327452 |    20998     35 |      391 |      332
812.54/812.76	c  812s |      18 |  2099495 |   328552 |    20998     35 |      391 |      332
814.63/814.82	c  814s |      18 |  2110411 |   329952 |    20998     35 |      392 |      333
816.73/816.90	c  816s |      18 |  2124942 |   331152 |    20998     35 |      392 |      333
818.73/818.96	c  818s |      18 |  2137717 |   332452 |    20998     35 |      392 |      333
820.73/820.97	c  820s |      18 |  2149645 |   333952 |    20998     35 |      393 |      334
822.73/822.97	c  822s |      18 |  2155499 |   335152 |    20998     35 |      393 |      334
824.83/825.06	c  824s |      18 |  2159311 |   336452 |    20998     36 |      393 |      334
826.92/827.16	c  826s |      18 |  2166066 |   337852 |    20998     36 |      393 |      334
829.23/829.46	c  829s |      18 |  2170246 |   338952 |    20998     36 |      393 |      334
831.33/831.55	c  831s |      18 |  2173572 |   339852 |    20998     36 |      393 |      334
833.42/833.64	c  833s |      18 |  2176400 |   340752 |    20998     36 |      393 |      334
835.42/835.70	c  835s |      18 |  2183503 |   341952 |    20998     36 |      393 |      334
837.52/837.72	c  837s |      18 |  2194889 |   343452 |    20998     37 |      393 |      334
839.62/839.83	c  839s |      18 |  2207862 |   345452 |    20998     37 |      393 |      334
841.62/841.86	c  841s |      18 |  2214075 |   346652 |    20998     37 |      393 |      334
843.71/843.99	c  843s |      18 |  2222650 |   348252 |    20998     37 |      393 |      334
845.83/846.07	c  845s |      18 |  2231040 |   349452 |    20998     37 |      393 |      334
847.93/848.15	c  847s |      18 |  2240493 |   350952 |    20998     38 |      393 |      334
850.02/850.23	c  850s |      18 |  2254743 |   352852 |    20998     38 |      393 |      334
852.02/852.25	c  852s |      18 |  2270132 |   354652 |    20998     38 |      393 |      334
854.12/854.35	c  854s |      18 |  2280396 |   355952 |    20998     38 |      393 |      334
856.12/856.38	c  856s |      18 |  2291565 |   357652 |    20998     39 |      393 |      334
858.21/858.44	c  858s |      18 |  2297578 |   358952 |    20998     39 |      393 |      334
860.41/860.60	c  860s |      18 |  2300132 |   359852 |    20998     39 |      393 |      334
862.61/862.85	c  862s |      18 |  2301799 |   360452 |    20998     39 |      393 |      334
864.72/864.99	c  864s |      18 |  2303224 |   360952 |    20998     39 |      393 |      334
867.02/867.25	c  867s |      18 |  2305150 |   361552 |    20998     39 |      393 |      334
869.12/869.39	c  869s |      18 |  2307321 |   362252 |    20998     39 |      393 |      334
871.32/871.57	c  871s |      18 |  2311536 |   363252 |    20998     39 |      393 |      334
873.61/873.89	c  873s |      18 |  2313191 |   363852 |    20998     39 |      393 |      334
876.01/876.22	c  875s |      18 |  2314010 |   364252 |    20998     39 |      393 |      334
878.11/878.30	c  878s |      18 |  2315565 |   364752 |    20998     39 |      393 |      334
880.21/880.41	c  880s |      18 |  2318381 |   365552 |    20998     40 |      393 |      334
882.21/882.46	c  882s |      18 |  2320965 |   366352 |    20998     40 |      393 |      334
884.41/884.62	c  884s |      18 |  2324209 |   367152 |    20998     40 |      393 |      334
886.51/886.75	c  886s |      18 |  2325313 |   367552 |    20998     40 |      393 |      334
888.61/888.90	c  888s |      18 |  2329075 |   368252 |    20998     40 |      393 |      334
891.11/891.33	c  891s |      18 |  2330863 |   368852 |    20998     40 |      393 |      334
893.20/893.47	c  893s |      18 |  2333821 |   369552 |    20998     40 |      393 |      334
895.40/895.63	c  895s |      18 |  2336815 |   370352 |    20998     40 |      393 |      334
897.51/897.72	c  897s |      18 |  2338915 |   371052 |    20998     40 |      393 |      334
900.20/900.41	c  900s |      18 |  2340500 |   371552 |    20998     40 |      393 |      334
902.91/903.11	c  902s |      18 |  2341419 |   371952 |    20998     40 |      393 |      334
905.40/905.64	c  905s |      18 |  2342173 |   372352 |    20998     40 |      393 |      334
907.90/908.17	c  907s |      18 |  2343153 |   372752 |    20998     40 |      393 |      334
910.10/910.33	c  910s |      18 |  2343698 |   373052 |    20998     40 |      393 |      334
912.20/912.43	c  912s |      18 |  2346806 |   373952 |    20998     41 |      393 |      334
914.20/914.47	c  914s |      18 |  2347626 |   374352 |    20998     41 |      393 |      334
916.49/916.70	c  916s |      18 |  2349189 |   374952 |    20998     41 |      393 |      334
918.69/918.98	c  918s |      18 |  2350941 |   375552 |    20998     41 |      393 |      334
920.79/921.06	c  920s |      18 |  2354576 |   376352 |    20998     41 |      393 |      334
923.00/923.20	c  922s |      18 |  2357238 |   377252 |    20998     41 |      393 |      334
925.00/925.20	c  924s |      18 |  2360420 |   378052 |    20998     41 |      393 |      334
927.10/927.36	c  927s |      18 |  2361329 |   378552 |    20998     41 |      393 |      334
929.19/929.40	c  929s |      18 |  2363370 |   379152 |    20998     41 |      393 |      334
931.29/931.59	c  931s |      18 |  2365675 |   379752 |    20998     41 |      393 |      334
933.38/933.69	c  933s |      18 |  2367878 |   380452 |    20998     41 |      393 |      334
935.79/936.05	c  935s |      18 |  2369276 |   381052 |    20998     41 |      393 |      334
937.79/938.07	c  937s |      18 |  2370848 |   381652 |    20998     42 |      393 |      334
940.29/940.55	c  940s |      18 |  2374599 |   382552 |    20998     42 |      393 |      334
942.38/942.65	c  942s |      18 |  2375687 |   382952 |    20998     42 |      393 |      334
944.69/944.98	c  944s |      18 |  2377413 |   383552 |    20998     42 |      393 |      334
947.18/947.43	c  947s |      18 |  2379177 |   384052 |    20998     42 |      393 |      334
949.28/949.58	c  949s |      18 |  2380950 |   384552 |    20998     42 |      393 |      334
951.68/951.99	c  951s |      18 |  2384364 |   385252 |    20998     42 |      393 |      334
953.98/954.21	c  953s |      18 |  2403098 |   387252 |    20998     43 |      393 |      334
955.98/956.23	c  956s |      18 |  2425873 |   389352 |    20998     43 |      394 |      335
958.48/958.75	c  958s |      18 |  2428092 |   390152 |    20998     43 |      394 |      335
960.78/961.09	c  960s |      18 |  2429791 |   390952 |    20998     43 |      394 |      335
962.87/963.17	c  962s |      18 |  2432833 |   391752 |    20998     43 |      394 |      335
965.27/965.51	c  965s |      18 |  2435735 |   392852 |    20998     43 |      394 |      335
967.27/967.53	c  967s |      18 |  2437678 |   393652 |    20998     43 |      394 |      335
969.27/969.57	c  969s |      18 |  2439688 |   394452 |    20998     43 |      394 |      335
971.47/971.78	c  971s |      18 |  2443743 |   395752 |    20998     44 |      394 |      335
973.57/973.83	c  973s |      18 |  2445765 |   396552 |    20998     44 |      394 |      335
975.87/976.15	c  975s |      18 |  2446803 |   396952 |    20998     44 |      394 |      335
978.07/978.33	c  978s |      18 |  2449212 |   397852 |    20998     44 |      394 |      335
980.17/980.45	c  980s |      18 |  2451142 |   398552 |    20998     44 |      394 |      335
982.37/982.64	c  982s |      18 |  2452384 |   399052 |    20998     44 |      394 |      335
984.76/985.05	c  984s |      18 |  2453265 |   399452 |    20998     44 |      394 |      335
986.86/987.12	c  986s |      18 |  2454404 |   399952 |    20998     44 |      394 |      335
989.07/989.31	c  989s |      18 |  2455030 |   400252 |    20998     44 |      394 |      335
991.26/991.50	c  991s |      18 |  2456030 |   400552 |    20998     44 |      394 |      335
993.56/993.88	c  993s |      18 |  2456423 |   400752 |    20998     44 |      394 |      335
997.06/997.30	c  997s |      18 |  2457092 |   401052 |    20998     44 |      394 |      335
999.96/1000.29	c 1000s |      18 |  2457467 |   401252 |    20998     44 |      394 |      335
1003.07/1003.35	c 1003s |      18 |  2457747 |   401452 |    20998     44 |      394 |      335
1005.76/1006.06	c 1005s |      18 |  2458194 |   401652 |    20998     44 |      394 |      335
1008.16/1008.46	c 1008s |      18 |  2458722 |   401852 |    20998     44 |      394 |      335
1010.26/1010.55	c 1010s |      18 |  2459087 |   402052 |    20998     44 |      394 |      335
1012.36/1012.69	c 1012s |      18 |  2459751 |   402352 |    20998     44 |      394 |      335
1014.85/1015.12	c 1014s |      18 |  2464711 |   403552 |    20998     45 |      394 |      335
1017.15/1017.40	c 1017s |      18 |  2465539 |   403952 |    20998     45 |      394 |      335
1019.16/1019.47	c 1019s |      18 |  2467633 |   404752 |    20998     45 |      394 |      335
1021.76/1022.09	c 1021s |      18 |  2469217 |   405252 |    20998     45 |      394 |      335
1023.86/1024.17	c 1023s |      18 |  2471637 |   405952 |    20998     45 |      394 |      335
1026.16/1026.47	c 1026s |      18 |  2473592 |   406552 |    20998     45 |      394 |      335
1028.36/1028.66	c 1028s |      18 |  2475237 |   407052 |    20998     45 |      394 |      335
1031.05/1031.37	c 1031s |      18 |  2475912 |   407352 |    20998     45 |      394 |      335
1033.75/1034.03	c 1033s |      18 |  2477083 |   407652 |    20998     45 |      394 |      335
1035.74/1036.07	c 1035s |      18 |  2484127 |   408552 |    20998     46 |      394 |      335
1037.74/1038.09	c 1037s |      18 |  2496603 |   410252 |    20998     46 |      394 |      335
1039.94/1040.27	c 1040s |      18 |  2500356 |   411352 |    20998     46 |      394 |      335
1042.15/1042.43	c 1042s |      18 |  2505003 |   412352 |    20998     46 |      394 |      335
1044.45/1044.70	c 1044s |      18 |  2509704 |   413352 |    20998     46 |      394 |      335
1046.45/1046.73	c 1046s |      18 |  2519004 |   414752 |    20998     47 |      394 |      335
1048.64/1048.91	c 1048s |      18 |  2526720 |   416352 |    20998     47 |      394 |      335
1050.84/1051.17	c 1050s |      18 |  2528221 |   416952 |    20998     47 |      394 |      335
1053.04/1053.31	c 1053s |      18 |  2531588 |   417552 |    20998     47 |      394 |      335
1055.24/1055.59	c 1055s |      18 |  2532409 |   417752 |    20998     47 |      394 |      335
1057.44/1057.75	c 1057s |      18 |  2534132 |   418152 |    20998     47 |      394 |      335
1059.54/1059.81	c 1059s |      18 |  2536471 |   418752 |    20998     48 |      394 |      335
1061.54/1061.85	c 1061s |      18 |  2559392 |   420752 |    20998     48 |      394 |      335
1063.74/1064.00	c 1063s |      18 |  2566815 |   422152 |    20998     48 |      394 |      335
1065.94/1066.21	c 1065s |      18 |  2569936 |   423152 |    20998     48 |      394 |      335
1067.95/1068.21	c 1067s |      18 |  2571563 |   423652 |    20998     48 |      394 |      335
1069.94/1070.27	c 1070s |      18 |  2573963 |   424352 |    20998     48 |      394 |      335
1072.25/1072.56	c 1072s |      18 |  2576173 |   425152 |    20998     49 |      394 |      335
1074.33/1074.66	c 1074s |      18 |  2580987 |   426152 |    20998     49 |      394 |      335
1076.43/1076.72	c 1076s |      18 |  2596623 |   428052 |    20998     49 |      394 |      335
1078.63/1078.96	c 1078s |      18 |  2605333 |   429352 |    20998     50 |      394 |      335
1080.83/1081.15	c 1080s |      18 |  2616329 |   431152 |    20998     50 |      394 |      335
1082.93/1083.26	c 1083s |      18 |  2620059 |   432052 |    20998     50 |      394 |      335
1085.02/1085.39	c 1085s |      18 |  2628767 |   433352 |    20998     50 |      394 |      335
1087.13/1087.46	c 1087s |      18 |  2639399 |   434752 |    20998     51 |      394 |      335
1089.23/1089.50	c 1089s |      18 |  2649288 |   436352 |    20998     51 |      394 |      335
1091.33/1091.69	c 1091s |      18 |  2654877 |   437552 |    20998     51 |      394 |      335
1093.42/1093.71	c 1093s |      18 |  2660869 |   438552 |    20998     52 |      394 |      335
1095.43/1095.73	c 1095s |      18 |  2669744 |   440252 |    20998     52 |      394 |      335
1097.43/1097.77	c 1097s |      18 |  2673368 |   441052 |    20998     52 |      394 |      335
1099.73/1100.08	c 1099s |      18 |  2674612 |   441552 |    23098     52 |      394 |      335
1101.93/1102.26	c 1102s |      18 |  2679119 |   442452 |    23098     52 |      394 |      335
1104.02/1104.32	c 1104s |      18 |  2685906 |   443552 |    23098     52 |      394 |      335
1106.33/1106.70	c 1106s |      18 |  2688377 |   444152 |    23098     52 |      394 |      335
1106.92/1107.25	c 1107s |      19 |  2690657 |   444482 |    23098     52 |      394 |      335
1108.92/1109.29	c 1109s |      19 |  2716739 |   445982 |    23098     53 |      394 |      335
1111.02/1111.32	c 1111s |      19 |  2734371 |   447482 |    23098     53 |      394 |      335
1113.11/1113.47	c 1113s |      19 |  2743218 |   448582 |    23098     53 |      394 |      335
1115.31/1115.68	c 1115s |      19 |  2755838 |   449782 |    23098     54 |      394 |      335
1117.52/1117.87	c 1117s |      19 |  2764124 |   451182 |    23098     54 |      394 |      335
1119.72/1120.00	c 1119s |      19 |  2774431 |   452382 |    23098     54 |      394 |      335
1121.92/1122.22	c 1121s |      19 |  2782739 |   453382 |    23098     54 |      394 |      335
1123.92/1124.29	c 1124s |      19 |  2786156 |   453982 |    23098     54 |      394 |      335
1126.12/1126.41	c 1126s |      19 |  2790729 |   454582 |    23098     54 |      394 |      335
1128.11/1128.48	c 1128s |      19 |  2799587 |   455682 |    23098     55 |      394 |      335
1130.11/1130.49	c 1130s |      19 |  2805411 |   456582 |    23098     55 |      394 |      335
1132.31/1132.62	c 1132s |      19 |  2808287 |   457282 |    23098     55 |      394 |      335
1134.40/1134.77	c 1134s |      19 |  2809344 |   457782 |    23098     55 |      394 |      335
1136.50/1136.83	c 1136s |      19 |  2814036 |   458582 |    23098     55 |      394 |      335
1138.90/1139.23	c 1139s |      19 |  2822652 |   459382 |    23098     55 |      394 |      335
1141.10/1141.43	c 1141s |      19 |  2828495 |   460282 |    23098     56 |      394 |      335
1143.20/1143.54	c 1143s |      19 |  2834913 |   461182 |    23098     56 |      394 |      335
1145.60/1145.96	c 1145s |      19 |  2840560 |   462182 |    23098     56 |      394 |      335
1148.11/1148.46	c 1148s |      19 |  2841629 |   462582 |    23098     56 |      394 |      335
1150.20/1150.58	c 1150s |      19 |  2845967 |   463282 |    23098     56 |      394 |      335
1152.40/1152.73	c 1152s |      19 |  2853893 |   464182 |    23098     56 |      394 |      335
1154.80/1155.13	c 1154s |      19 |  2857236 |   464882 |    23098     56 |      394 |      335
1157.90/1158.29	c 1158s |      19 |  2858271 |   465282 |    23098     56 |      394 |      335
1161.19/1161.57	c 1161s |      19 |  2859149 |   465582 |    23098     57 |      394 |      335
1163.49/1163.81	c 1163s |      19 |  2863453 |   466482 |    23098     57 |      394 |      335
1165.69/1166.01	c 1165s |      19 |  2870517 |   467582 |    23098     57 |      394 |      335
1167.69/1168.06	c 1167s |      19 |  2873475 |   468282 |    23098     57 |      394 |      335
1170.39/1170.78	c 1170s |      19 |  2874993 |   468682 |    23098     57 |      394 |      335
1172.48/1172.87	c 1172s |      19 |  2875944 |   468882 |    23098     57 |      394 |      335
1174.78/1175.19	c 1174s |      19 |  2876852 |   469082 |    23098     57 |      394 |      335
1177.98/1178.32	c 1178s |      19 |  2877924 |   469382 |    23098     57 |      394 |      335
1180.18/1180.56	c 1180s |      19 |  2878658 |   469582 |    23098     57 |      394 |      335
1182.48/1182.85	c 1182s |      19 |  2881640 |   470182 |    23098     57 |      394 |      335
1184.58/1184.98	c 1184s |      19 |  2882776 |   470682 |    23098     57 |      394 |      335
1187.08/1187.48	c 1187s |      19 |  2883970 |   471182 |    23098     57 |      394 |      335
1189.18/1189.57	c 1189s |      19 |  2885418 |   471582 |    23098     58 |      394 |      335
1191.48/1191.80	c 1191s |      19 |  2887829 |   472382 |    23098     58 |      394 |      335
1193.47/1193.89	c 1193s |      19 |  2893778 |   473182 |    23098     58 |      394 |      335
1195.58/1195.96	c 1195s |      19 |  2896811 |   473982 |    23098     58 |      394 |      335
1197.68/1198.06	c 1197s |      19 |  2899960 |   474782 |    23098     58 |      394 |      335
1199.67/1200.07	c 1199s |      19 |  2902626 |   475382 |    23098     58 |      394 |      335
1201.77/1202.16	c 1201s |      19 |  2907313 |   476182 |    23098     59 |      394 |      335
1203.97/1204.32	c 1204s |      19 |  2911999 |   477182 |    23098     59 |      394 |      335
1206.17/1206.57	c 1206s |      19 |  2915818 |   478082 |    23098     59 |      394 |      335
1208.26/1208.61	c 1208s |      19 |  2919962 |   478882 |    23098     59 |      394 |      335
1210.67/1211.02	c 1210s |      19 |  2923540 |   479682 |    23098     59 |      394 |      335
1212.86/1213.27	c 1213s |      19 |  2924670 |   480082 |    23098     59 |      394 |      335
1215.17/1215.55	c 1215s |      19 |  2925745 |   480482 |    23098     59 |      394 |      335
1217.67/1218.03	c 1217s |      19 |  2926291 |   480682 |    23098     59 |      394 |      335
1219.87/1220.21	c 1219s |      19 |  2931557 |   481582 |    23098     60 |      394 |      335
1221.87/1222.25	c 1222s |      19 |  2935863 |   482382 |    23098     60 |      394 |      335
1223.97/1224.37	c 1224s |      19 |  2940171 |   483382 |    23098     60 |      394 |      335
1226.17/1226.53	c 1226s |      19 |  2941093 |   483882 |    23098     60 |      394 |      335
1228.26/1228.65	c 1228s |      19 |  2942943 |   484482 |    23098     60 |      394 |      335
1230.57/1230.95	c 1230s |      19 |  2944005 |   484982 |    23098     60 |      394 |      335
1232.76/1233.10	c 1232s |      19 |  2946951 |   485682 |    23098     61 |      394 |      335
1234.86/1235.28	c 1235s |      19 |  2950231 |   486582 |    23098     61 |      394 |      335
1237.06/1237.43	c 1237s |      19 |  2952491 |   487282 |    23098     61 |      394 |      335
1239.46/1239.80	c 1239s |      19 |  2954768 |   487882 |    23098     61 |      394 |      335
1241.67/1242.04	c 1241s |      19 |  2956584 |   488382 |    23098     61 |      394 |      335
1244.05/1244.44	c 1244s |      19 |  2962137 |   489382 |    23098     61 |      394 |      335
1246.15/1246.52	c 1246s |      19 |  2966743 |   490282 |    23098     62 |      394 |      335
1248.16/1248.52	c 1248s |      19 |  2971215 |   491282 |    23098     62 |      394 |      335
1250.36/1250.79	c 1250s |      19 |  2973704 |   492082 |    23098     62 |      394 |      335
1252.66/1253.10	c 1252s |      19 |  2975079 |   492582 |    23098     62 |      394 |      335
1254.75/1255.16	c 1254s |      19 |  2987483 |   493982 |    23098     63 |      395 |      336
1256.85/1257.24	c 1257s |      19 |  2993709 |   495282 |    23098     63 |      395 |      336
1258.94/1259.33	c 1259s |      19 |  2997714 |   496382 |    23098     63 |      395 |      336
1261.04/1261.45	c 1261s |      19 |  3000967 |   497082 |    23098     63 |      395 |      336
1263.04/1263.48	c 1263s |      19 |  3004896 |   497882 |    23098     63 |      395 |      336
1265.04/1265.49	c 1265s |      19 |  3008932 |   498882 |    23098     64 |      395 |      336
1267.13/1267.51	c 1267s |      19 |  3019298 |   500382 |    23098     64 |      395 |      336
1269.74/1270.14	c 1269s |      19 |  3021914 |   501282 |    23098     64 |      395 |      336
1271.83/1272.27	c 1272s |      19 |  3024288 |   501982 |    23098     64 |      395 |      336
1273.84/1274.29	c 1274s |      19 |  3027553 |   502782 |    23098     64 |      395 |      336
1276.13/1276.52	c 1276s |      19 |  3029199 |   503382 |    23098     64 |      395 |      336
1278.23/1278.64	c 1278s |      19 |  3032937 |   504482 |    23098     65 |      395 |      336
1280.33/1280.73	c 1280s |      19 |  3034915 |   505382 |    23098     65 |      395 |      336
1282.53/1282.91	c 1282s |      19 |  3036943 |   506282 |    23098     65 |      395 |      336
1284.54/1284.98	c 1284s |      19 |  3041975 |   507582 |    23098     65 |      395 |      336
1286.64/1287.08	c 1286s |      19 |  3045761 |   508682 |    23098     66 |      395 |      336
1288.63/1289.08	c 1288s |      19 |  3051341 |   509782 |    23098     66 |      395 |      336
1290.73/1291.18	c 1290s |      19 |  3055713 |   510682 |    23098     66 |      395 |      336
1292.83/1293.23	c 1293s |      19 |  3060395 |   511882 |    23098     66 |      395 |      336
1295.02/1295.43	c 1295s |      19 |  3063341 |   512882 |    23098     66 |      395 |      336
1297.02/1297.45	c 1297s |      19 |  3067526 |   513782 |    23098     67 |      395 |      336
1299.32/1299.73	c 1299s |      19 |  3070684 |   514782 |    23098     67 |      395 |      336
1301.42/1301.83	c 1301s |      19 |  3072649 |   515482 |    23098     67 |      395 |      336
1303.61/1304.01	c 1303s |      19 |  3076750 |   516482 |    23098     67 |      395 |      336
1305.72/1306.11	c 1305s |      19 |  3078618 |   517182 |    23098     67 |      395 |      336
1307.72/1308.20	c 1307s |      19 |  3082202 |   518082 |    23098     68 |      395 |      336
1309.92/1310.31	c 1310s |      19 |  3085038 |   519182 |    23098     68 |      395 |      336
1311.92/1312.31	c 1312s |      19 |  3087870 |   520082 |    23098     68 |      395 |      336
1314.00/1314.50	c 1314s |      19 |  3091291 |   520982 |    23098     68 |      395 |      336
1316.32/1316.73	c 1316s |      19 |  3093497 |   521782 |    23098     68 |      395 |      336
1318.31/1318.75	c 1318s |      19 |  3096219 |   522582 |    23098     69 |      395 |      336
1320.50/1320.97	c 1320s |      19 |  3099598 |   523482 |    23098     69 |      395 |      336
1322.60/1323.09	c 1322s |      19 |  3101972 |   524282 |    23098     69 |      395 |      336
1324.90/1325.35	c 1325s |      19 |  3103597 |   524882 |    23098     69 |      395 |      336
1327.10/1327.57	c 1327s |      19 |  3107518 |   525782 |    23098     69 |      395 |      336
1329.10/1329.60	c 1329s |      19 |  3111808 |   526782 |    23098     70 |      395 |      336
1331.20/1331.70	c 1331s |      19 |  3115726 |   527882 |    23098     70 |      395 |      336
1333.40/1333.84	c 1333s |      19 |  3117886 |   528682 |    23098     70 |      395 |      336
1335.59/1336.04	c 1335s |      19 |  3119345 |   529282 |    23098     70 |      395 |      336
1337.70/1338.17	c 1337s |      19 |  3122353 |   530082 |    23098     70 |      395 |      336
1340.00/1340.43	c 1340s |      19 |  3124757 |   530982 |    23098     71 |      395 |      336
1342.20/1342.63	c 1342s |      19 |  3127893 |   532082 |    23098     71 |      395 |      336
1344.19/1344.65	c 1344s |      19 |  3130862 |   532982 |    23098     71 |      395 |      336
1346.29/1346.73	c 1346s |      19 |  3133570 |   533782 |    23098     71 |      395 |      336
1348.49/1348.97	c 1348s |      19 |  3135655 |   534482 |    23098     71 |      395 |      336
1350.68/1351.17	c 1350s |      19 |  3139145 |   535482 |    23098     72 |      395 |      336
1353.09/1353.52	c 1353s |      19 |  3140906 |   536282 |    23098     72 |      395 |      336
1355.18/1355.65	c 1355s |      19 |  3143627 |   537082 |    23098     72 |      395 |      336
1357.29/1357.77	c 1357s |      19 |  3145708 |   537782 |    23098     72 |      395 |      336
1359.38/1359.80	c 1359s |      19 |  3147758 |   538482 |    23098     72 |      395 |      336
1361.49/1361.97	c 1361s |      19 |  3149221 |   539082 |    23098     72 |      395 |      336
1363.59/1364.06	c 1363s |      19 |  3152557 |   539982 |    23098     73 |      395 |      336
1365.79/1366.21	c 1365s |      19 |  3155281 |   540782 |    23098     73 |      395 |      336
1368.08/1368.54	c 1368s |      19 |  3156508 |   541382 |    23098     73 |      395 |      336
1370.29/1370.75	c 1370s |      19 |  3157795 |   541882 |    23098     73 |      395 |      336
1372.49/1372.96	c 1372s |      19 |  3160173 |   542682 |    23098     73 |      395 |      336
1374.59/1375.10	c 1374s |      19 |  3162547 |   543382 |    23098     74 |      395 |      336
1376.79/1377.21	c 1376s |      19 |  3165249 |   544282 |    23098     74 |      395 |      336
1378.88/1379.34	c 1379s |      19 |  3168200 |   545082 |    23098     74 |      395 |      336
1380.88/1381.39	c 1381s |      19 |  3174851 |   546182 |    23098     75 |      395 |      336
1382.98/1383.41	c 1383s |      19 |  3186463 |   547982 |    23098     75 |      395 |      336
1385.18/1385.66	c 1385s |      19 |  3187823 |   548482 |    23098     75 |      395 |      336
1387.28/1387.71	c 1387s |      19 |  3191599 |   549282 |    23098     75 |      395 |      336
1389.38/1389.87	c 1389s |      19 |  3192859 |   549782 |    23098     76 |      395 |      336
1391.48/1391.96	c 1391s |      19 |  3197439 |   550982 |    23098     76 |      395 |      336
1393.48/1393.98	c 1393s |      19 |  3198810 |   551482 |    23098     76 |      395 |      336
1395.67/1396.11	c 1395s |      19 |  3205002 |   552482 |    23098     76 |      395 |      336
1397.88/1398.34	c 1398s |      19 |  3207826 |   553282 |    23098     76 |      395 |      336
1399.98/1400.42	c 1400s |      19 |  3212054 |   554182 |    23098     77 |      395 |      336
1402.08/1402.59	c 1402s |      19 |  3215694 |   555082 |    23098     77 |      395 |      336
1404.17/1404.69	c 1404s |      19 |  3217314 |   555682 |    23098     77 |      395 |      336
1406.38/1406.81	c 1406s |      19 |  3218512 |   556182 |    23098     77 |      395 |      336
1408.69/1409.11	c 1408s |      19 |  3220407 |   556782 |    23098     77 |      395 |      336
1410.78/1411.25	c 1411s |      19 |  3231290 |   558082 |    23098     78 |      395 |      336
1412.97/1413.41	c 1413s |      19 |  3235086 |   558982 |    23098     78 |      395 |      336
1415.28/1415.74	c 1415s |      19 |  3238972 |   559882 |    23098     78 |      395 |      336
1417.37/1417.85	c 1417s |      19 |  3240360 |   560382 |    23098     78 |      395 |      336
1419.47/1419.96	c 1419s |      19 |  3245668 |   561482 |    23098     79 |      395 |      336
1421.57/1422.02	c 1421s |      19 |  3250419 |   562682 |    23098     79 |      395 |      336
1423.67/1424.13	c 1423s |      19 |  3253976 |   563582 |    23098     79 |      395 |      336
1425.87/1426.30	c 1426s |      19 |  3255684 |   564182 |    23098     80 |      395 |      336
1427.87/1428.39	c 1428s |      19 |  3259702 |   565182 |    23098     80 |      395 |      336
1429.97/1430.40	c 1430s |      19 |  3262779 |   565982 |    23098     80 |      395 |      336
1431.97/1432.41	c 1432s |      19 |  3265015 |   566582 |    23098     80 |      395 |      336
1434.17/1434.67	c 1434s |      19 |  3265767 |   566882 |    23098     80 |      395 |      336
1436.37/1436.83	c 1436s |      19 |  3268192 |   567482 |    23098     80 |      395 |      336
1438.38/1438.87	c 1438s |      19 |  3272131 |   568482 |    23098     81 |      395 |      336
1440.68/1441.14	c 1440s |      19 |  3277831 |   569682 |    23098     81 |      395 |      336
1442.97/1443.44	c 1443s |      19 |  3280107 |   570482 |    23098     81 |      395 |      336
1445.17/1445.67	c 1445s |      19 |  3282426 |   571182 |    23098     81 |      395 |      336
1447.37/1447.81	c 1447s |      19 |  3286855 |   572282 |    23098     82 |      395 |      336
1449.57/1450.05	c 1449s |      19 |  3289259 |   573082 |    23098     82 |      395 |      336
1451.97/1452.47	c 1452s |      19 |  3292156 |   573782 |    23098     82 |      395 |      336
1454.37/1454.84	c 1454s |      19 |  3293734 |   574382 |    23098     82 |      395 |      336
1456.67/1457.11	c 1456s |      19 |  3298390 |   575482 |    23098     83 |      395 |      336
1458.76/1459.21	c 1458s |      19 |  3300720 |   576282 |    23098     83 |      395 |      336
1460.87/1461.37	c 1461s |      19 |  3310168 |   577582 |    23098     84 |      395 |      336
1463.07/1463.51	c 1463s |      19 |  3317458 |   578882 |    23098     84 |      395 |      336
1465.17/1465.68	c 1465s |      19 |  3330859 |   580482 |    23098     85 |      395 |      336
1467.37/1467.81	c 1467s |      19 |  3341171 |   582282 |    23098     86 |      395 |      336
1469.57/1470.02	c 1469s |      19 |  3347595 |   583682 |    23098     87 |      395 |      336
1471.76/1472.28	c 1472s |      19 |  3350458 |   584582 |    23098     87 |      395 |      336
1473.96/1474.44	c 1474s |      19 |  3352835 |   585382 |    23098     88 |      395 |      336
1476.06/1476.50	c 1476s |      19 |  3370904 |   587282 |    23098     89 |      395 |      336
1478.16/1478.61	c 1478s |      19 |  3383309 |   589082 |    23098     89 |      395 |      336
1480.28/1480.71	c 1480s |      19 |  3388474 |   590682 |    23098     90 |      395 |      336
1482.27/1482.72	c 1482s |      19 |  3400142 |   592382 |    23098     91 |      395 |      336
1484.36/1484.83	c 1484s |      19 |  3410529 |   594182 |    23098     91 |      395 |      336
1486.46/1486.92	c 1486s |      19 |  3416203 |   595382 |    23098     92 |      395 |      336
1488.56/1489.03	c 1488s |      19 |  3422799 |   596782 |    23098     92 |      395 |      336
1490.56/1491.04	c 1490s |      19 |  3428597 |   597782 |    23098     93 |      395 |      336
1492.56/1493.04	c 1492s |      19 |  3442063 |   599782 |    23098     93 |      395 |      336
1494.57/1495.09	c 1494s |      19 |  3459719 |   601682 |    23098     96 |      395 |      336
1496.67/1497.13	c 1496s |      19 |  3478718 |   603582 |    23098     97 |      395 |      336
1498.66/1499.19	c 1498s |      19 |  3488143 |   605082 |    23098     99 |      395 |      336
1500.76/1501.22	c 1500s |      19 |  3507035 |   607182 |    23098    101 |      395 |      336
1502.96/1503.46	c 1503s |      19 |  3510221 |   608082 |    23098    101 |      395 |      336
1505.16/1505.70	c 1505s |      19 |  3512012 |   608782 |    23098    101 |      395 |      336
1507.26/1507.70	c 1507s |      19 |  3517005 |   609882 |    23098    102 |      395 |      336
1509.36/1509.81	c 1509s |      19 |  3520374 |   610982 |    23098    102 |      395 |      336
1511.46/1511.92	c 1511s |      19 |  3529176 |   612882 |    23098    104 |      395 |      336
1513.56/1514.00	c 1513s |      19 |  3541607 |   614482 |    23098    106 |      395 |      336
1515.56/1516.09	c 1515s |      19 |  3545073 |   615082 |    23098    107 |      395 |      336
1517.66/1518.16	c 1517s |      19 |  3550548 |   616482 |    23098    107 |      395 |      336
1519.76/1520.23	c 1520s |      19 |  3555104 |   617982 |    23098    108 |      395 |      336
1521.86/1522.34	c 1522s |      19 |  3559658 |   619482 |    23098    109 |      395 |      336
1523.86/1524.34	c 1524s |      19 |  3571964 |   620582 |    23098    129 |      395 |      336
1525.96/1526.43	c 1526s |      19 |  3577975 |   622182 |    23098    130 |      395 |      336
1527.95/1528.47	c 1528s |      19 |  3582152 |   623282 |    23098    131 |      395 |      336
1530.05/1530.54	c 1530s |      19 |  3589247 |   624582 |    23098    132 |      395 |      336
1532.35/1532.86	c 1532s |      19 |  3592151 |   625582 |    23098    132 |      395 |      336
1534.36/1534.86	c 1534s |      19 |  3601276 |   627182 |    23098    134 |      395 |      336
1536.46/1536.91	c 1536s |      19 |  3612816 |   628882 |    23098    136 |      395 |      336
1538.46/1538.94	c 1538s |      19 |  3619090 |   629882 |    23098    137 |      395 |      336
1540.56/1541.06	c 1540s |      19 |  3627294 |   631582 |    23098    139 |      395 |      336
1542.76/1543.25	c 1543s |      19 |  3634708 |   633182 |    23098    141 |      395 |      336
1544.85/1545.32	c 1545s |      19 |  3640253 |   634282 |    23098    142 |      395 |      336
1546.85/1547.33	c 1547s |      19 |  3651106 |   635882 |    23098    145 |      395 |      336
1549.05/1549.57	c 1549s |      19 |  3657765 |   637282 |    23098    148 |      395 |      336
1551.25/1551.78	c 1551s |      19 |  3660753 |   638282 |    23098    150 |      395 |      336
1553.35/1553.86	c 1553s |      19 |  3664153 |   639482 |    23098    151 |      395 |      336
1555.55/1556.07	c 1555s |      19 |  3667160 |   640682 |    23098    152 |      395 |      336
1557.65/1558.17	c 1557s |      19 |  3673335 |   642082 |    23098    155 |      395 |      336
1559.85/1560.30	c 1560s |      19 |  3677528 |   643382 |    23098    157 |      395 |      336
1562.05/1562.51	c 1562s |      19 |  3680316 |   644482 |    23098    158 |      395 |      336
1564.15/1564.64	c 1564s |      19 |  3684619 |   645682 |    23098    160 |      395 |      336
1566.15/1566.67	c 1566s |      19 |  3688096 |   646782 |    23098    163 |      395 |      336
1569.36/1569.84	c 1569s |      19 |  3690117 |   646882 |    23098    419 |      396 |      337
1572.15/1572.61	c 1572s |      19 |  3693516 |   647082 |    23098    627 |      396 |      337
1577.05/1577.52	c 1577s |      19 |  3699195 |   647582 |    23098    988 |      396 |      337
1579.65/1580.14	c 1579s |      19 |  3701032 |   647682 |    23098   1187 |      396 |      337
1581.85/1582.31	c 1582s |      19 |  3705708 |   648382 |    23098   1285 |      396 |      337
1583.95/1584.41	c 1584s |      19 |  3712087 |   649782 |    23098   1286 |      396 |      337
1586.05/1586.50	c 1586s |      19 |  3719412 |   651282 |    23098   1288 |      396 |      337
1588.06/1588.52	c 1588s |      19 |  3725903 |   652782 |    23098   1290 |      396 |      337
1590.16/1590.60	c 1590s |      19 |  3732859 |   654382 |    23098   1292 |      396 |      337
1592.15/1592.61	c 1592s |      19 |  3740597 |   655382 |    23098   1360 |      396 |      337
1596.76/1597.26	c 1597s |      19 |  3746383 |   656482 |    23098   1589 |      396 |      337
1600.06/1600.50	c 1600s |      19 |  3748008 |   656582 |    23098   1842 |      396 |      337
1602.65/1603.15	c 1602s |      19 |  3750520 |   656982 |    23098   2029 |      396 |      337
1607.75/1608.23	c 1608s |      19 |  3751577 |   657082 |    23098   2432 |      396 |      337
1609.84/1610.33	c 1610s |      19 |  3754273 |   657782 |    23098   2535 |      396 |      337
1611.94/1612.44	c 1612s |      19 |  3759601 |   659182 |    23098   2537 |      396 |      337
1615.94/1616.43	c 1616s |      19 |  3765817 |   660682 |    23098   2693 |      396 |      337
1618.04/1618.51	c 1618s |      19 |  3774642 |   662482 |    25408   2697 |      396 |      337
1620.34/1620.82	c 1620s |      19 |  3776892 |   663382 |    25408   2697 |      396 |      337
1622.44/1622.95	c 1622s |      19 |  3779726 |   664182 |    25408   2698 |      396 |      337
1624.44/1624.98	c 1624s |      19 |  3785901 |   665382 |    25408   2698 |      396 |      337
1626.55/1627.06	c 1626s |      19 |  3787875 |   666082 |    25408   2698 |      396 |      337
1627.94/1628.40	c 1628s |      20 |  3793382 |   666827 |    25408   2699 |      396 |      337
1630.14/1630.64	c 1630s |      20 |  3796092 |   667527 |    25408   2772 |      396 |      337
1632.25/1632.73	c 1632s |      20 |  3799549 |   668527 |    25408   2772 |      396 |      337
1634.44/1634.95	c 1634s |      20 |  3802631 |   669227 |    25408   2772 |      396 |      337
1636.45/1636.96	c 1636s |      20 |  3806505 |   670027 |    25408   2773 |      396 |      337
1638.55/1639.09	c 1638s |      20 |  3810934 |   671127 |    25408   2773 |      396 |      337
1640.64/1641.10	c 1640s |      20 |  3815094 |   672127 |    25408   2774 |      396 |      337
1642.64/1643.12	c 1642s |      20 |  3819850 |   673327 |    25408   2774 |      396 |      337
1644.64/1645.19	c 1644s |      20 |  3825185 |   674427 |    25408   2775 |      396 |      337
1646.74/1647.21	c 1646s |      20 |  3831528 |   675927 |    25408   2775 |      396 |      337
1648.74/1649.26	c 1649s |      20 |  3834202 |   676827 |    25408   2776 |      396 |      337
1650.75/1651.29	c 1651s |      20 |  3858682 |   678727 |    25408   2780 |      396 |      337
1653.24/1653.71	c 1653s |      20 |  3861055 |   679427 |    25408   2780 |      396 |      337
1655.44/1655.98	c 1655s |      20 |  3862342 |   679827 |    25408   2780 |      396 |      337
1657.64/1658.16	c 1657s |      20 |  3866604 |   680627 |    25408   2781 |      396 |      337
1659.64/1660.18	c 1659s |      20 |  3870368 |   681427 |    25408   2781 |      396 |      337
1662.04/1662.51	c 1662s |      20 |  3874090 |   682327 |    25408   2782 |      396 |      337
1664.04/1664.59	c 1664s |      20 |  3880980 |   683927 |    25408   2783 |      396 |      337
1666.14/1666.65	c 1666s |      20 |  3889528 |   685627 |    25408   2785 |      396 |      337
1668.24/1668.77	c 1668s |      20 |  3893052 |   686627 |    25408   2785 |      396 |      337
1670.54/1671.01	c 1670s |      20 |  3895551 |   687527 |    25408   2786 |      396 |      337
1672.53/1673.01	c 1672s |      20 |  3906722 |   689227 |    25408   2787 |      396 |      337
1674.64/1675.11	c 1674s |      20 |  3910577 |   690427 |    25408   2788 |      396 |      337
1677.04/1677.59	c 1677s |      20 |  3912986 |   691327 |    25408   2788 |      396 |      337
1679.13/1679.60	c 1679s |      20 |  3916517 |   692227 |    25408   2789 |      396 |      337
1681.23/1681.72	c 1681s |      20 |  3920546 |   693427 |    25408   2789 |      396 |      337
1683.23/1683.75	c 1683s |      20 |  3924697 |   694827 |    25408   2790 |      396 |      337
1685.23/1685.79	c 1685s |      20 |  3929023 |   696027 |    25408   2791 |      396 |      337
1687.43/1687.99	c 1687s |      20 |  3930877 |   696727 |    25408   2792 |      396 |      337
1689.53/1690.06	c 1689s |      20 |  3935513 |   697827 |    25408   2792 |      396 |      337
1691.63/1692.18	c 1691s |      20 |  3939820 |   699027 |    25408   2793 |      396 |      337
1693.73/1694.22	c 1693s |      20 |  3943817 |   700127 |    25408   2794 |      396 |      337
1695.84/1696.31	c 1696s |      20 |  3947878 |   701227 |    25408   2794 |      396 |      337
1698.04/1698.59	c 1698s |      20 |  3952342 |   702327 |    25408   2795 |      396 |      337
1700.14/1700.61	c 1700s |      20 |  3955075 |   703327 |    25408   2796 |      396 |      337
1702.23/1702.71	c 1702s |      20 |  3959586 |   704627 |    25408   2797 |      396 |      337
1704.43/1704.93	c 1704s |      20 |  3962739 |   705727 |    25408   2797 |      396 |      337
1706.52/1707.03	c 1706s |      20 |  3966433 |   706827 |    25408   2798 |      396 |      337
1708.62/1709.14	c 1708s |      20 |  3970383 |   707827 |    25408   2799 |      396 |      337
1710.73/1711.28	c 1711s |      20 |  3974525 |   709027 |    25408   2799 |      396 |      337
1712.83/1713.34	c 1713s |      20 |  3980328 |   710127 |    25408   2800 |      396 |      337
1714.83/1715.39	c 1715s |      20 |  3983807 |   711027 |    25408   2801 |      396 |      337
1717.12/1717.64	c 1717s |      20 |  3989101 |   712327 |    25408   2801 |      396 |      337
1719.12/1719.66	c 1719s |      20 |  3993107 |   713427 |    25408   2802 |      396 |      337
1721.23/1721.70	c 1721s |      20 |  3995894 |   714327 |    25408   2803 |      396 |      337
1723.23/1723.75	c 1723s |      20 |  3998973 |   715127 |    25408   2804 |      396 |      337
1725.44/1725.95	c 1725s |      20 |  4002849 |   716327 |    25408   2804 |      396 |      337
1727.73/1728.21	c 1727s |      20 |  4007897 |   717527 |    25408   2806 |      396 |      337
1729.73/1730.26	c 1730s |      20 |  4013454 |   718827 |    25408   2807 |      396 |      337
1731.83/1732.34	c 1732s |      20 |  4016681 |   719727 |    25408   2808 |      396 |      337
1733.93/1734.49	c 1734s |      20 |  4019160 |   720627 |    25408   2808 |      396 |      337
1736.02/1736.55	c 1736s |      20 |  4021431 |   721227 |    25408   2809 |      396 |      337
1738.22/1738.75	c 1738s |      20 |  4024050 |   722227 |    25408   2809 |      396 |      337
1740.62/1741.16	c 1740s |      20 |  4025533 |   722927 |    25408   2809 |      396 |      337
1742.82/1743.39	c 1743s |      20 |  4027952 |   723627 |    25408   2810 |      396 |      337
1745.12/1745.67	c 1745s |      20 |  4029328 |   724227 |    25408   2810 |      396 |      337
1747.22/1747.77	c 1747s |      20 |  4030391 |   724727 |    25408   2810 |      396 |      337
1749.22/1749.78	c 1749s |      20 |  4032097 |   725427 |    25408   2811 |      396 |      337
1751.32/1751.85	c 1751s |      20 |  4033902 |   726127 |    25408   2811 |      396 |      337
1753.53/1754.01	c 1753s |      20 |  4035228 |   726627 |    25408   2812 |      396 |      337
1755.83/1756.36	c 1756s |      20 |  4037228 |   727227 |    25408   2812 |      396 |      337
1758.03/1758.53	c 1758s |      20 |  4038227 |   727627 |    25408   2812 |      396 |      337
1760.12/1760.62	c 1760s |      20 |  4041593 |   728527 |    25408   2813 |      396 |      337
1762.22/1762.71	c 1762s |      20 |  4043117 |   729227 |    25408   2813 |      396 |      337
1764.32/1764.86	c 1764s |      20 |  4044861 |   729827 |    25408   2814 |      396 |      337
1766.52/1767.04	c 1766s |      20 |  4046280 |   730327 |    25408   2814 |      396 |      337
1768.72/1769.27	c 1769s |      20 |  4047602 |   730827 |    25408   2814 |      396 |      337
1770.92/1771.45	c 1771s |      20 |  4050951 |   731627 |    25408   2815 |      396 |      337
1773.32/1773.81	c 1773s |      20 |  4053691 |   732527 |    25408   2815 |      396 |      337
1775.52/1776.06	c 1775s |      20 |  4055615 |   733227 |    25408   2816 |      396 |      337
1777.52/1778.07	c 1777s |      20 |  4058635 |   734327 |    25408   2817 |      396 |      337
1779.62/1780.12	c 1779s |      20 |  4062586 |   735627 |    25408   2817 |      396 |      337
1781.62/1782.19	c 1781s |      20 |  4065412 |   736727 |    25408   2818 |      396 |      337
1783.72/1784.22	c 1783s |      20 |  4069547 |   737827 |    25408   2819 |      396 |      337
1785.71/1786.26	c 1786s |      20 |  4072622 |   738827 |    25408   2820 |      396 |      337
1787.81/1788.32	c 1788s |      20 |  4074558 |   739527 |    25408   2820 |      396 |      337
1789.92/1790.49	c 1790s |      20 |  4076901 |   740327 |    25408   2821 |      396 |      337
1792.32/1792.85	c 1792s |      20 |  4079842 |   741327 |    25408   2821 |      396 |      337
1794.31/1794.89	c 1794s |      20 |  4081373 |   741927 |    25408   2822 |      396 |      337
1796.41/1796.95	c 1796s |      20 |  4085414 |   743127 |    25408   2823 |      396 |      337
1798.41/1798.99	c 1798s |      20 |  4088341 |   744227 |    25408   2823 |      396 |      337

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

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 16674
/proc/meminfo: memFree=30609232/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=370108 CPUtime=0 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 1321 0 0 0 0 0 0 0 20 0 4 0 110250521 378990592 1170 33554432000 4194304 16246674 140736875741664 140736875741088 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 93039 1178 441 2943 0 89933 0
[pid=16674/tid=16675] ppid=16671 vsize=385468 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 394719232 1232 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=390588 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 399962112 1249 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=394684 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110250521 404156416 1265 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 16674
/proc/meminfo: memFree=30609232/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 27687 0 0 0 6 3 0 0 20 0 4 0 110250521 1249447936 27474 33554432000 4194304 16246674 140736875741664 140736875740976 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 305041 27474 802 2943 0 301935 0
[pid=16674/tid=16675] ppid=16671 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1249447936 27474 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1249447936 27474 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1249447936 27474 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200535 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 16674
/proc/meminfo: memFree=30609232/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 47930 0 0 0 13 6 0 0 20 0 4 0 110250521 1332285440 47717 33554432000 4194304 16246674 140736875741664 140736875740976 12369833 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 325265 47717 834 2943 0 322159 0
[pid=16674/tid=16675] ppid=16671 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1332285440 47717 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1332285440 47718 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1332285440 47719 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300491 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 16674
/proc/meminfo: memFree=30609232/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 53655 0 0 0 22 7 0 0 20 0 4 0 110250521 1333334016 53442 33554432000 4194304 16246674 140736875741664 140736875740976 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 325521 53452 877 2943 0 322415 0
[pid=16674/tid=16675] ppid=16671 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1333334016 53459 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1333334016 53467 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1333334016 53473 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.70041 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 16674
/proc/meminfo: memFree=30609232/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1302084 CPUtime=0.69 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 131717 0 0 0 51 18 0 0 20 0 4 0 110250521 1333334016 131504 33554432000 4194304 16246674 140736875741664 140736875724664 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 325521 131512 877 2943 0 322415 0
[pid=16674/tid=16675] ppid=16671 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1333334016 131517 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1333334016 131522 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1333334016 131526 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50042 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 16678
/proc/meminfo: memFree=29760164/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1309252 CPUtime=1.48 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 268411 0 0 0 112 36 0 0 20 0 4 0 110250521 1340674048 268198 33554432000 4194304 16246674 140736875741664 140736875723584 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 327313 268198 883 2943 0 324207 0
[pid=16674/tid=16675] ppid=16671 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1340674048 268198 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1340674048 268198 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1340674048 268198 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1309252

[startup+3.10042 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 16678
/proc/meminfo: memFree=29536220/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1309252 CPUtime=3.08 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 268499 0 0 0 272 36 0 0 20 0 4 0 110250521 1340674048 268286 33554432000 4194304 16246674 140736875741664 140736875723520 5546664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 327313 268286 883 2943 0 324207 0
[pid=16674/tid=16675] ppid=16671 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1340674048 268286 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1340674048 268286 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1340674048 268286 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1309252

[startup+6.30042 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 16678
/proc/meminfo: memFree=29536120/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1309252 CPUtime=6.28 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 268501 0 0 0 592 36 0 0 20 0 4 0 110250521 1340674048 268288 33554432000 4194304 16246674 140736875741664 140736875723584 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 327313 268288 885 2943 0 324207 0
[pid=16674/tid=16675] ppid=16671 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1340674048 268288 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1340674048 268288 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1340674048 268288 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 16678
/proc/meminfo: memFree=29535904/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1309252 CPUtime=12.69 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 268502 0 0 0 1232 37 0 0 20 0 4 0 110250521 1340674048 268289 33554432000 4194304 16246674 140736875741664 140736875723584 5674606 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 327313 268289 886 2943 0 324207 0
[pid=16674/tid=16675] ppid=16671 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1340674048 268289 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1340674048 268289 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1340674048 268289 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 16678
/proc/meminfo: memFree=29534776/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1309252 CPUtime=25.48 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 268503 0 0 0 2510 38 0 0 20 0 4 0 110250521 1340674048 268290 33554432000 4194304 16246674 140736875741664 140736875723584 6021520 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 327313 268290 887 2943 0 324207 0
[pid=16674/tid=16675] ppid=16671 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1340674048 268290 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1340674048 268290 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1340674048 268290 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 16678
/proc/meminfo: memFree=29534636/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1310276 CPUtime=51.08 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 268600 0 0 0 5068 40 0 0 20 0 4 0 110250521 1341722624 268387 33554432000 4194304 16246674 140736875741664 140736875723584 5572312 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 327569 268387 887 2943 0 324463 0
[pid=16674/tid=16675] ppid=16671 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1341722624 268387 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1341722624 268387 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1341722624 268387 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.301 s]
/proc/loadavg: 2.07 2.05 2.00 3/183 16679
/proc/meminfo: memFree=29533804/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1310276 CPUtime=102.28 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 268759 0 0 0 10186 42 0 0 20 0 4 0 110250521 1341722624 268546 33554432000 4194304 16246674 140736875741664 140736875723584 5677716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 327569 268546 887 2943 0 324463 0
[pid=16674/tid=16675] ppid=16671 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1341722624 268546 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1341722624 268546 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1341722624 268546 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1310276


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

/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.20 2.11 2.03 3/183 16758
/proc/meminfo: memFree=29530328/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1315396 CPUtime=1361.88 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 270396 0 0 0 135986 202 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 140736875723584 5589488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 328849 270082 887 2943 0 325743 0
[pid=16674/tid=16675] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.13 2.11 2.03 3/183 16760
/proc/meminfo: memFree=29528784/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1315396 CPUtime=1421.88 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 270397 0 0 0 141980 208 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 140736875723584 13950188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 328849 270082 887 2943 0 325743 0
[pid=16674/tid=16675] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.14 2.11 2.03 3/184 16764
/proc/meminfo: memFree=29528356/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1315396 CPUtime=1481.87 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 270397 0 0 0 147973 214 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 140736875723584 5828829 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 328849 270082 887 2943 0 325743 0
[pid=16674/tid=16675] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.21 2.14 2.04 3/183 16765
/proc/meminfo: memFree=29528264/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1315396 CPUtime=1541.86 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 270397 0 0 0 153971 215 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 140736875723584 12483222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 328849 270082 887 2943 0 325743 0
[pid=16674/tid=16675] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.16 2.14 2.05 3/183 16766
/proc/meminfo: memFree=29528420/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1315396 CPUtime=1601.85 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 270397 0 0 0 159968 217 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 140736875739392 4220489 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 328849 270082 887 2943 0 325743 0
[pid=16674/tid=16675] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270082 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.16 2.14 2.05 3/183 16767
/proc/meminfo: memFree=29528344/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1315396 CPUtime=1661.84 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 270398 0 0 0 165966 218 0 0 20 0 4 0 110250521 1346965504 270083 33554432000 4194304 16246674 140736875741664 140736875723584 5829313 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 328849 270083 888 2943 0 325743 0
[pid=16674/tid=16675] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270083 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270083 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270083 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.06 2.11 2.05 3/183 16769
/proc/meminfo: memFree=29528140/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1315396 CPUtime=1721.83 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 270398 0 0 0 171959 224 0 0 20 0 4 0 110250521 1346965504 270083 33554432000 4194304 16246674 140736875741664 140736875723584 12483212 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 328849 270083 888 2943 0 325743 0
[pid=16674/tid=16675] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270083 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270083 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270083 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.07 2.11 2.05 3/183 16770
/proc/meminfo: memFree=29527644/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1315396 CPUtime=1781.82 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 270398 0 0 0 177956 226 0 0 20 0 4 0 110250521 1346965504 270083 33554432000 4194304 16246674 140736875741664 140736875723584 5754700 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 328849 270083 888 2943 0 325743 0
[pid=16674/tid=16675] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270083 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270083 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270083 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.14 2.12 2.05 3/183 16771
/proc/meminfo: memFree=29527388/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1315396 CPUtime=1800.01 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 270398 0 0 0 179774 227 0 0 20 0 4 0 110250521 1346965504 270083 33554432000 4194304 16246674 140736875741664 140736875723584 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 328849 270083 888 2943 0 325743 0
[pid=16674/tid=16675] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270083 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270083 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270083 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1315396

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

[startup+1800.5 s]
/proc/loadavg: 2.14 2.12 2.05 3/183 16771
/proc/meminfo: memFree=29527388/32872528 swapFree=11196/354588
[pid=16674] ppid=16671 vsize=1315396 CPUtime=1800.01 cores=0,2,4,6
/proc/16674/stat : 16674 (toysat) R 16671 16674 12837 0 -1 4202496 270398 0 0 0 179774 227 0 0 20 0 4 0 110250521 1346965504 270083 33554432000 4194304 16246674 140736875741664 140736875723584 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16674/statm: 328849 270083 888 2943 0 325743 0
[pid=16674/tid=16675] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (toysat) S 16671 16674 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270083 33554432000 4194304 16246674 140736875741664 139740236983536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16674/tid=16676] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (toysat) S 16671 16674 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270083 33554432000 4194304 16246674 140736875741664 139740226493680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16674/tid=16677] ppid=16671 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (toysat) S 16671 16674 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110250521 1346965504 270083 33554432000 4194304 16246674 140736875741664 139740216020144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1315396

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1797.75
CPU system time (s): 2.27865
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.75
system time used= 2.27865
maximum resident set size= 1080332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270398
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= 373
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43933 second user time and 7.07292 second system time

The end

Begin job on node126 at 2016-06-07 09:06:11
IDJOB=4078933
IDBENCH=90125
IDSOLVER=2542
FILE ID=node126/4078933-1465283171
RUNJOBID= node126-1465253620-12853
PBS_JOBID= 19843265
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K82.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078933-1465283171/watcher-4078933-1465283171 -o /tmp/evaluation-result-4078933-1465283171/solver-4078933-1465283171 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12853 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078933-1465283171.opb

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

MD5SUM BENCH= 007cb74ee15cb0b4c01d23d6abd9d82b
RANDOM SEED=1354065982

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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.55
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.500
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:        30609496 kB
Buffers:           17840 kB
Cached:            79732 kB
SwapCached:         2100 kB
Active:          1140956 kB
Inactive:          40364 kB
Active(anon):    1081512 kB
Inactive(anon):     4724 kB
Active(file):      59444 kB
Inactive(file):    35640 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             16728 kB
Writeback:             4 kB
AnonPages:       1437244 kB
Mapped:            10684 kB
Shmem:                 0 kB
Slab:             595580 kB
SReclaimable:      39740 kB
SUnreclaim:       555840 kB
KernelStack:        1496 kB
PageTables:         6984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1582424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    346112 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= 71708 MiB
End job on node126 at 2016-06-07 09:36:11