0.00/0.00	c 2016-06-07T09:06:56+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-4078932-1465283216.opb"]
0.00/0.01	c use --random-gen="3914752443 379573146 3854222539 3008433529 3928147027 2145430465 1337757281 1906079343 2514680158 3040284944 2680744399 361557326 710004989 4073400559 698215079 4076332814 4159709703 1683543939 2659111338 2374790952 2451681909 1197566923 916887542 2691209874 3066310844 1675399464 2683403724 4103313934 2040165357 1018078704 1855175513 1349446696 3861802094 2538416292 3240115697 2618362276 1733253265 757105950 3256902555 3090915587 3365031289 2832806011 2411965129 2705558531 275314112 2702779970 3654839001 2789195131 2296668891 1630245817 1238089529 952764463 1911990381 1442342983 3470831260 629931425 1535129089 1678565472 4231721491 3700119595 1827025945 565970011 284945617 968215792 2016271818 3729271523 3673398608 3719808311 721222977 531167664 267486421 2509043815 3268666319 4238449806 3558111167 43747355 3023341229 3202459021 1264448450 736975693 2350439445 3402125705 2865454441 815489656 1352904011 1260296499 1587745085 3691029887 604288978 4136195551 1585668935 2670422708 4078279878 2604502755 2697572609 3038975194 3072952710 2325781260 1375540636 1755555642 1240202001 3747663 977512705 3597103645 2894957420 1901416085 2717069909 2501327499 3498627399 1856325317 2892445185 1337821680 3358182894 2763305069 2074548521 318532768 4031679366 490522039 426331043 526878445 1100340359 3820905949 3071254029 2045390857 288758225 3052171158 2934679840 2886083648 2198236437 3852659626 71940026 868579745 284127892 636386164 3656904187 2724725815 2249069027 1868163135 1096074922 2841834551 2451123586 733796257 1624756255 1164788993 3188683744 3462054814 4099730424 1191574397 792226336 3441444218 3438481300 336537278 1984749997 1246486932 1363482407 3814290750 274027492 4037182148 78296267 2741647978 174441010 2035320685 748540445 415419681 382288751 3585344869 191713121 503370132 2914783660 105210633 3002276142 1601102946 1516178681 2140269506 2706165853 1360069853 874338750 2534703251 877019035 1715141116 1768072212 1707797361 440637795 1527416899 603650484 1858105751 368779112 1824749230 1538201035 2402780908 2358458609 2523732914 1664473595 1149070334 1067159918 3398790731 641545961 2588287327 3202426556 2067391028 4189502300 1487950254 2273274802 402804635 4208463228 4064840902 1252001412 3141505454 2395875763 1679256366 356608803 857489135 1849102213 1476093730 1160705275 4279656869 3135838080 3047341782 2084970330 3346076145 893024999 2751834379 2797688745 3905658850 2697762607 3587326188 721576970 976462102 3285313887 774298055 468958157 2382039931 1752119255 1107961292 3115618085 2782212359 2968424485 4032965486 460667049 2826291657 2560780962 278747077 3602427245 1252940011 4194351172 1166178691 1737390781 818050613 3604129941 2799782926 3430118823 2121706723 121308838 2630880465 2416552840 3151842848 255 362436" option to reproduce the execution
0.00/0.09	c #vars 5508
0.00/0.09	c #constraints 5672
0.19/0.21	c Solving starts ...
0.19/0.21	c ============================[ Search Statistics ]============================
0.19/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.21	c =============================================================================
0.19/0.21	c  0.0s |       0 |        0 |        0 |     3726      0 |      362 |        0
0.29/0.34	c  0.1s |       1 |     3343 |      100 |     3726      0 |      363 |      304
0.59/0.69	c  0.5s |       2 |     4523 |      250 |     4099      0 |      363 |      304
0.79/0.90	c  0.7s |       3 |    10967 |      475 |     4509      0 |      363 |      304
1.20/1.29	c  1.1s |       4 |    14388 |      813 |     4960      0 |      363 |      304
1.99/2.05	c  1.8s |       5 |    17582 |     1320 |     5456      0 |      364 |      305
3.09/3.10	c  2.9s |       6 |    24232 |     2081 |     6603      0 |      365 |      306
5.89/5.99	c  5.8s |       6 |    32016 |     3081 |     6603      0 |      367 |      308
6.19/6.20	c  6.0s |       7 |    33111 |     3223 |     7264      0 |      367 |      308
8.09/8.17	c  8.0s |       8 |    54336 |     4936 |     7991      0 |      372 |      313
10.19/10.20	c 10.0s |       8 |    83275 |     6536 |     7991      0 |      377 |      318
11.49/11.57	c 11.4s |       9 |    89415 |     7506 |     8791      0 |      378 |      319
13.59/13.62	c 13.4s |       9 |   101452 |     8806 |     8791      0 |      380 |      321
15.58/15.69	c 15.5s |       9 |   110557 |     9906 |     8791      1 |      381 |      322
17.59/17.69	c 17.5s |      10 |   129518 |    11361 |     9671      1 |      384 |      325
19.80/19.86	c 19.7s |      10 |   136974 |    12561 |     9671      1 |      384 |      325
21.89/22.00	c 21.8s |      10 |   151588 |    14361 |     9671      1 |      384 |      325
23.99/24.09	c 23.9s |      10 |   163615 |    15761 |     9671      1 |      384 |      325
26.08/26.11	c 25.9s |      11 |   177258 |    17144 |    10639      2 |      385 |      326
28.08/28.12	c 27.9s |      11 |   189639 |    18444 |    10639      2 |      385 |      326
30.09/30.16	c 30.0s |      11 |   194285 |    19244 |    10639      2 |      385 |      326
32.29/32.37	c 32.2s |      11 |   196115 |    19844 |    10639      2 |      385 |      326
34.38/34.42	c 34.2s |      11 |   205883 |    21044 |    10639      2 |      385 |      326
36.68/36.72	c 36.5s |      11 |   208345 |    21644 |    10639      2 |      385 |      326
38.68/38.74	c 38.5s |      11 |   218036 |    22644 |    10639      3 |      385 |      326
40.69/40.74	c 40.5s |      11 |   226023 |    23944 |    10639      3 |      385 |      326
42.69/42.79	c 42.6s |      11 |   233526 |    25044 |    10639      3 |      385 |      326
43.59/43.67	c 43.5s |      12 |   241682 |    25819 |    11703      3 |      385 |      326
45.79/45.84	c 45.6s |      12 |   256743 |    27219 |    11703      3 |      385 |      326
47.99/48.02	c 47.8s |      12 |   261289 |    28319 |    11703      3 |      385 |      326
50.38/50.45	c 50.2s |      12 |   263187 |    28919 |    11703      3 |      385 |      326
52.48/52.53	c 52.3s |      12 |   266789 |    29819 |    11703      3 |      385 |      326
54.68/54.73	c 54.5s |      12 |   270324 |    30819 |    11703      3 |      385 |      326
57.08/57.16	c 56.9s |      12 |   272677 |    31619 |    11703      4 |      385 |      326
59.08/59.17	c 59.0s |      12 |   275086 |    32219 |    11703      4 |      385 |      326
61.19/61.24	c 61.0s |      12 |   280066 |    33219 |    11703      4 |      385 |      326
63.38/63.41	c 63.2s |      12 |   281360 |    33819 |    11703      4 |      385 |      326
65.69/65.74	c 65.5s |      12 |   282703 |    34419 |    11703      4 |      385 |      326
67.78/67.88	c 67.7s |      12 |   283557 |    34819 |    11703      4 |      385 |      326
70.18/70.23	c 70.0s |      12 |   284179 |    35219 |    11703      4 |      385 |      326
72.58/72.70	c 72.5s |      12 |   285796 |    35719 |    11703      4 |      385 |      326
74.89/74.92	c 74.7s |      12 |   286856 |    36119 |    11703      4 |      385 |      326
77.09/77.12	c 76.9s |      12 |   288442 |    36619 |    11703      4 |      385 |      326
79.29/79.38	c 79.2s |      12 |   289928 |    37119 |    11703      4 |      385 |      326
81.39/81.47	c 81.3s |      12 |   291008 |    37519 |    11703      4 |      385 |      326
83.48/83.60	c 83.4s |      12 |   292182 |    37919 |    11703      4 |      385 |      326
85.97/86.06	c 85.8s |      12 |   293690 |    38519 |    11703      4 |      385 |      326
87.68/87.72	c 87.5s |      13 |   294514 |    38832 |    12874      4 |      385 |      326
89.88/89.90	c 89.7s |      13 |   308755 |    39932 |    12874      5 |      385 |      326
91.88/91.95	c 91.7s |      13 |   321281 |    41432 |    12874      5 |      385 |      326
93.88/93.98	c 93.8s |      13 |   335954 |    42832 |    12874      5 |      385 |      326
95.98/96.00	c 95.8s |      13 |   344957 |    44132 |    12874      5 |      385 |      326
98.18/98.21	c 98.0s |      13 |   353050 |    45232 |    12874      6 |      385 |      326
100.18/100.23	c  100s |      13 |   358536 |    45932 |    12874      6 |      385 |      326
102.18/102.23	c  102s |      13 |   360598 |    46532 |    12874      6 |      385 |      326
104.37/104.40	c  104s |      13 |   361943 |    47032 |    12874      6 |      385 |      326
106.68/106.73	c  106s |      13 |   363351 |    47632 |    12874      6 |      385 |      326
108.77/108.89	c  108s |      13 |   365391 |    48232 |    12874      6 |      385 |      326
110.87/110.96	c  110s |      13 |   369335 |    48932 |    12874      6 |      385 |      326
113.08/113.13	c  112s |      13 |   372221 |    49732 |    12874      6 |      385 |      326
115.17/115.22	c  115s |      13 |   381068 |    50832 |    12874      6 |      385 |      326
117.47/117.50	c  117s |      13 |   391210 |    52032 |    12874      6 |      385 |      326
119.88/119.93	c  119s |      13 |   402685 |    53332 |    12874      7 |      385 |      326
122.18/122.24	c  122s |      13 |   406023 |    54232 |    12874      7 |      385 |      326
124.17/124.27	c  124s |      13 |   414749 |    55232 |    12874      7 |      385 |      326
126.17/126.27	c  126s |      13 |   422141 |    56232 |    12874      7 |      386 |      327
128.17/128.28	c  128s |      13 |   436589 |    57732 |    12874      7 |      386 |      327
129.07/129.14	c  128s |      14 |   443830 |    58352 |    14162      7 |      386 |      327
131.07/131.14	c  130s |      14 |   461577 |    59752 |    14162      7 |      386 |      327
133.18/133.23	c  133s |      14 |   477015 |    61152 |    14162      8 |      386 |      327
135.17/135.26	c  135s |      14 |   488985 |    62452 |    14162      8 |      387 |      328
137.27/137.34	c  137s |      14 |   500588 |    63652 |    14162      8 |      387 |      328
139.36/139.46	c  139s |      14 |   511430 |    64952 |    14162      8 |      387 |      328
141.46/141.57	c  141s |      14 |   521053 |    66352 |    14162      8 |      387 |      328
143.57/143.63	c  143s |      14 |   536736 |    67752 |    14162      8 |      387 |      328
145.67/145.71	c  145s |      14 |   543301 |    68852 |    14162      8 |      387 |      328
147.77/147.80	c  147s |      14 |   548489 |    69752 |    14162      9 |      387 |      328
149.77/149.83	c  149s |      14 |   565029 |    71052 |    14162      9 |      387 |      328
151.78/151.84	c  151s |      14 |   574827 |    72452 |    14162      9 |      387 |      328
153.87/153.94	c  153s |      14 |   583214 |    73552 |    14162      9 |      387 |      328
155.97/156.01	c  155s |      14 |   594293 |    74752 |    14162      9 |      387 |      328
158.07/158.18	c  157s |      14 |   602675 |    75952 |    14162      9 |      387 |      328
160.17/160.23	c  160s |      14 |   615741 |    77452 |    14162     10 |      388 |      329
162.17/162.23	c  162s |      14 |   629449 |    78752 |    14162     10 |      388 |      329
164.37/164.40	c  164s |      14 |   642912 |    80052 |    14162     10 |      388 |      329
166.56/166.63	c  166s |      14 |   652602 |    81352 |    14162     10 |      388 |      329
168.56/168.65	c  168s |      14 |   667126 |    82652 |    14162     10 |      388 |      329
170.76/170.89	c  170s |      14 |   674459 |    83852 |    14162     10 |      388 |      329
173.07/173.13	c  172s |      14 |   678044 |    84652 |    14162     10 |      388 |      329
176.17/176.22	c  176s |      14 |   679063 |    85152 |    14162     10 |      388 |      329
178.46/178.56	c  178s |      14 |   679481 |    85352 |    14162     10 |      388 |      329
180.96/181.06	c  180s |      14 |   680813 |    85852 |    14162     10 |      388 |      329
183.07/183.12	c  182s |      14 |   682006 |    86252 |    14162     10 |      388 |      329
185.16/185.26	c  185s |      14 |   682854 |    86552 |    14162     10 |      388 |      329
187.46/187.58	c  187s |      14 |   683970 |    86952 |    14162     10 |      388 |      329
189.56/189.62	c  189s |      14 |   685354 |    87252 |    15579     11 |      388 |      329
189.96/190.08	c  189s |      15 |   689837 |    87632 |    15579     11 |      388 |      329
192.16/192.20	c  191s |      15 |   697081 |    88832 |    15579     11 |      388 |      329
194.16/194.28	c  194s |      15 |   705509 |    90032 |    15579     11 |      388 |      329
196.26/196.39	c  196s |      15 |   710961 |    91032 |    15579     11 |      388 |      329
198.66/198.73	c  198s |      15 |   713092 |    91632 |    15579     11 |      388 |      329
200.86/200.91	c  200s |      15 |   719637 |    92632 |    15579     11 |      388 |      329
202.86/202.96	c  202s |      15 |   723555 |    93332 |    15579     11 |      388 |      329
205.16/205.20	c  204s |      15 |   728442 |    94332 |    15579     11 |      388 |      329
207.26/207.32	c  207s |      15 |   730813 |    94832 |    15579     11 |      388 |      329
210.26/210.39	c  210s |      15 |   732870 |    95332 |    15579     11 |      388 |      329
212.65/212.71	c  212s |      15 |   734095 |    95732 |    15579     11 |      388 |      329
214.75/214.85	c  214s |      15 |   737155 |    96532 |    15579     12 |      388 |      329
216.95/217.06	c  216s |      15 |   742886 |    97532 |    15579     12 |      388 |      329
219.25/219.36	c  219s |      15 |   745466 |    98232 |    15579     12 |      388 |      329
221.55/221.67	c  221s |      15 |   747232 |    98832 |    15579     12 |      388 |      329
223.75/223.83	c  223s |      15 |   748100 |    99132 |    15579     12 |      388 |      329
225.75/225.84	c  225s |      15 |   748952 |    99432 |    15579     12 |      388 |      329
228.35/228.46	c  228s |      15 |   750105 |    99832 |    15579     12 |      388 |      329
230.46/230.54	c  230s |      15 |   751068 |   100132 |    15579     12 |      388 |      329
232.45/232.57	c  232s |      15 |   757422 |   100932 |    15579     12 |      388 |      329
234.75/234.82	c  234s |      15 |   760795 |   101532 |    15579     12 |      388 |      329
237.25/237.32	c  237s |      15 |   763191 |   102132 |    15579     12 |      388 |      329
239.25/239.38	c  239s |      15 |   764186 |   102432 |    15579     12 |      388 |      329
241.35/241.43	c  241s |      15 |   765342 |   102832 |    15579     12 |      388 |      329
243.55/243.65	c  243s |      15 |   767085 |   103232 |    15579     12 |      388 |      329
245.95/246.05	c  245s |      15 |   770284 |   103932 |    15579     12 |      388 |      329
248.15/248.24	c  248s |      15 |   772310 |   104432 |    15579     12 |      388 |      329
250.35/250.40	c  250s |      15 |   774041 |   104832 |    15579     12 |      388 |      329
252.44/252.52	c  252s |      15 |   774932 |   105132 |    15579     12 |      388 |      329
254.44/254.56	c  254s |      15 |   776476 |   105532 |    15579     12 |      388 |      329
256.74/256.88	c  256s |      15 |   777739 |   105832 |    15579     13 |      388 |      329
259.34/259.44	c  259s |      15 |   778219 |   106132 |    15579     13 |      388 |      329
261.85/261.98	c  261s |      15 |   779245 |   106432 |    15579     13 |      388 |      329
264.24/264.39	c  264s |      15 |   779623 |   106632 |    15579     13 |      388 |      329
267.44/267.53	c  267s |      15 |   780510 |   106932 |    15579     13 |      388 |      329
270.34/270.43	c  270s |      15 |   781362 |   107232 |    15579     13 |      388 |      329
272.43/272.59	c  272s |      15 |   781693 |   107432 |    15579     13 |      388 |      329
275.13/275.21	c  275s |      15 |   782141 |   107632 |    15579     13 |      388 |      329
277.14/277.29	c  277s |      15 |   782702 |   107832 |    15579     13 |      388 |      329
279.23/279.33	c  279s |      15 |   783163 |   108032 |    15579     13 |      388 |      329
282.13/282.21	c  282s |      15 |   783492 |   108232 |    15579     13 |      388 |      329
286.73/286.85	c  286s |      15 |   783793 |   108432 |    15579     13 |      388 |      329
289.53/289.66	c  289s |      15 |   784146 |   108632 |    15579     13 |      388 |      329
293.33/293.40	c  293s |      15 |   784519 |   108832 |    15579     13 |      388 |      329
295.63/295.73	c  295s |      15 |   784859 |   109032 |    15579     13 |      388 |      329
299.52/299.68	c  299s |      15 |   785148 |   109232 |    15579     13 |      388 |      329
302.43/302.57	c  302s |      15 |   785284 |   109332 |    15579     13 |      388 |      329
304.92/305.05	c  304s |      15 |   785408 |   109432 |    15579     13 |      388 |      329
307.13/307.28	c  307s |      15 |   785700 |   109632 |    15579     13 |      388 |      329
310.02/310.10	c  309s |      15 |   786209 |   109932 |    15579     13 |      388 |      329
312.72/312.88	c  312s |      15 |   786743 |   110232 |    15579     13 |      388 |      329
315.02/315.18	c  314s |      15 |   787462 |   110532 |    15579     13 |      388 |      329
317.82/317.96	c  317s |      15 |   789261 |   111032 |    15579     13 |      388 |      329
320.13/320.28	c  320s |      15 |   790550 |   111432 |    15579     13 |      388 |      329
322.52/322.62	c  322s |      15 |   791764 |   111832 |    15579     13 |      388 |      329
325.02/325.18	c  324s |      15 |   793286 |   112332 |    15579     13 |      388 |      329
327.52/327.62	c  327s |      15 |   793927 |   112632 |    15579     13 |      388 |      329
330.11/330.24	c  330s |      15 |   794662 |   112932 |    15579     13 |      388 |      329
332.82/332.97	c  332s |      15 |   795265 |   113232 |    15579     13 |      388 |      329
335.32/335.44	c  335s |      15 |   795907 |   113532 |    15579     13 |      388 |      329
337.42/337.53	c  337s |      15 |   796293 |   113732 |    15579     13 |      388 |      329
339.51/339.65	c  339s |      15 |   796618 |   113932 |    15579     13 |      388 |      329
341.62/341.72	c  341s |      15 |   797397 |   114232 |    15579     13 |      388 |      329
343.72/343.83	c  343s |      15 |   798813 |   114632 |    15579     13 |      388 |      329
345.91/346.09	c  345s |      15 |   799394 |   114932 |    15579     13 |      388 |      329
348.72/348.85	c  348s |      15 |   800187 |   115232 |    15579     14 |      388 |      329
351.21/351.37	c  351s |      15 |   801119 |   115632 |    15579     14 |      388 |      329
353.40/353.55	c  353s |      15 |   803183 |   116132 |    15579     14 |      388 |      329
355.60/355.72	c  355s |      15 |   805234 |   116732 |    15579     14 |      388 |      329
357.80/357.90	c  357s |      15 |   808408 |   117432 |    15579     14 |      388 |      329
359.90/360.06	c  359s |      15 |   815470 |   118332 |    15579     14 |      388 |      329
362.00/362.16	c  361s |      15 |   820431 |   119532 |    15579     14 |      388 |      329
364.00/364.19	c  363s |      15 |   830848 |   120732 |    15579     14 |      388 |      329
366.10/366.20	c  365s |      15 |   835544 |   121632 |    15579     14 |      388 |      329
368.41/368.54	c  368s |      15 |   838517 |   122632 |    15579     14 |      388 |      329
370.61/370.75	c  370s |      15 |   840340 |   123332 |    15579     14 |      388 |      329
372.81/373.00	c  372s |      15 |   842015 |   123932 |    15579     14 |      388 |      329
374.90/375.03	c  374s |      15 |   856302 |   125132 |    15579     15 |      388 |      329
377.10/377.25	c  377s |      15 |   868185 |   126332 |    15579     15 |      388 |      329
379.20/379.30	c  379s |      15 |   874565 |   127532 |    15579     15 |      388 |      329
381.20/381.34	c  381s |      15 |   878550 |   128332 |    15579     15 |      388 |      329
383.49/383.63	c  383s |      15 |   883577 |   129332 |    15579     15 |      388 |      329
385.69/385.83	c  385s |      15 |   887038 |   130132 |    15579     15 |      388 |      329
387.79/387.99	c  387s |      15 |   896082 |   131232 |    17137     15 |      388 |      329
388.69/388.83	c  388s |      16 |   897830 |   131552 |    17137     15 |      388 |      329
390.79/390.95	c  390s |      16 |   908006 |   132752 |    17137     15 |      388 |      329
392.89/393.06	c  392s |      16 |   921921 |   133952 |    17137     16 |      388 |      329
394.99/395.14	c  394s |      16 |   933315 |   135352 |    17137     16 |      388 |      329
397.09/397.29	c  397s |      16 |   941048 |   136652 |    17137     16 |      388 |      329
399.19/399.33	c  399s |      16 |   947228 |   137652 |    17137     16 |      388 |      329
401.19/401.33	c  401s |      16 |   949203 |   138252 |    17137     16 |      388 |      329
403.48/403.62	c  403s |      16 |   951500 |   138752 |    17137     16 |      388 |      329
405.79/405.97	c  405s |      16 |   955510 |   139452 |    17137     16 |      388 |      329
408.10/408.26	c  408s |      16 |   957124 |   139952 |    17137     16 |      388 |      329
410.39/410.56	c  410s |      16 |   959964 |   140452 |    17137     16 |      388 |      329
412.49/412.67	c  412s |      16 |   964053 |   141152 |    17137     16 |      388 |      329
414.69/414.83	c  414s |      16 |   966636 |   141752 |    17137     16 |      388 |      329
416.98/417.14	c  416s |      16 |   968938 |   142452 |    17137     16 |      388 |      329
419.48/419.63	c  419s |      16 |   971067 |   143152 |    17137     16 |      388 |      329
421.58/421.74	c  421s |      16 |   978925 |   144452 |    17137     17 |      388 |      329
423.68/423.84	c  423s |      16 |   991250 |   145952 |    17137     17 |      388 |      329
425.88/426.05	c  425s |      16 |   994691 |   146952 |    17137     17 |      388 |      329
428.08/428.20	c  427s |      16 |  1001564 |   148152 |    17137     17 |      388 |      329
430.18/430.36	c  430s |      16 |  1019244 |   149852 |    17137     17 |      388 |      329
432.47/432.63	c  432s |      16 |  1025416 |   151152 |    17137     17 |      388 |      329
434.68/434.85	c  434s |      16 |  1027905 |   151852 |    17137     17 |      388 |      329
436.88/437.00	c  436s |      16 |  1029492 |   152452 |    17137     17 |      388 |      329
439.08/439.24	c  439s |      16 |  1033420 |   153252 |    17137     18 |      388 |      329
441.18/441.33	c  441s |      16 |  1038318 |   154352 |    17137     18 |      388 |      329
443.38/443.51	c  443s |      16 |  1042153 |   155352 |    17137     18 |      388 |      329
445.48/445.65	c  445s |      16 |  1044976 |   155952 |    17137     18 |      388 |      329
447.58/447.77	c  447s |      16 |  1048373 |   156952 |    17137     18 |      388 |      329
449.67/449.83	c  449s |      16 |  1053609 |   157852 |    17137     18 |      388 |      329
451.87/452.08	c  451s |      16 |  1055836 |   158452 |    17137     18 |      388 |      329
453.97/454.18	c  453s |      16 |  1059508 |   159452 |    17137     18 |      388 |      329
456.07/456.28	c  456s |      16 |  1061757 |   160152 |    17137     18 |      388 |      329
458.07/458.28	c  458s |      16 |  1063305 |   160652 |    17137     18 |      388 |      329
460.37/460.52	c  460s |      16 |  1065625 |   161252 |    17137     18 |      388 |      329
462.76/462.92	c  462s |      16 |  1070944 |   161952 |    17137     18 |      388 |      329
465.27/465.41	c  465s |      16 |  1072657 |   162352 |    17137     18 |      388 |      329
467.37/467.51	c  467s |      16 |  1086016 |   163752 |    17137     19 |      388 |      329
469.36/469.51	c  469s |      16 |  1098292 |   165052 |    17137     19 |      388 |      329
471.37/471.58	c  471s |      16 |  1102435 |   165952 |    17137     19 |      388 |      329
473.47/473.60	c  473s |      16 |  1123458 |   167252 |    17137     19 |      388 |      329
475.46/475.66	c  475s |      16 |  1132231 |   168252 |    17137     19 |      388 |      329
478.06/478.23	c  478s |      16 |  1135692 |   168852 |    17137     19 |      388 |      329
480.67/480.81	c  480s |      16 |  1136792 |   169152 |    17137     19 |      388 |      329
483.46/483.67	c  483s |      16 |  1137326 |   169452 |    17137     19 |      388 |      329
485.65/485.87	c  485s |      16 |  1142271 |   170152 |    17137     19 |      388 |      329
487.85/488.02	c  487s |      16 |  1146585 |   170852 |    17137     19 |      388 |      329
489.85/490.07	c  489s |      16 |  1150849 |   171552 |    17137     19 |      388 |      329
492.35/492.53	c  492s |      16 |  1154665 |   172152 |    17137     20 |      388 |      329
494.45/494.66	c  494s |      16 |  1158938 |   173052 |    17137     20 |      388 |      329
496.45/496.68	c  496s |      16 |  1168518 |   174052 |    17137     20 |      388 |      329
498.66/498.86	c  498s |      16 |  1177434 |   175352 |    17137     20 |      388 |      329
500.86/501.07	c  500s |      16 |  1189418 |   176452 |    17137     20 |      388 |      329
503.06/503.22	c  503s |      16 |  1199062 |   177652 |    17137     20 |      388 |      329
505.26/505.43	c  505s |      16 |  1207673 |   178552 |    17137     20 |      388 |      329
507.26/507.44	c  507s |      16 |  1213012 |   179352 |    17137     20 |      388 |      329
509.36/509.55	c  509s |      16 |  1215873 |   180052 |    17137     20 |      388 |      329
511.75/511.96	c  511s |      16 |  1217763 |   180652 |    17137     20 |      388 |      329
513.75/513.97	c  513s |      16 |  1219927 |   181152 |    17137     20 |      388 |      329
515.95/516.18	c  515s |      16 |  1221609 |   181652 |    17137     20 |      388 |      329
518.35/518.51	c  518s |      16 |  1222755 |   182052 |    17137     20 |      388 |      329
520.65/520.81	c  520s |      16 |  1225130 |   182552 |    17137     21 |      388 |      329
522.65/522.81	c  522s |      16 |  1227488 |   183052 |    17137     21 |      388 |      329
524.85/525.09	c  524s |      16 |  1229184 |   183652 |    17137     21 |      388 |      329
526.95/527.10	c  526s |      16 |  1231648 |   184152 |    17137     21 |      388 |      329
528.95/529.14	c  528s |      16 |  1236013 |   184852 |    17137     21 |      388 |      329
531.15/531.37	c  531s |      16 |  1242695 |   185752 |    17137     21 |      388 |      329
533.24/533.41	c  533s |      16 |  1244683 |   186252 |    17137     21 |      388 |      329
535.24/535.48	c  535s |      16 |  1251249 |   187352 |    17137     21 |      388 |      329
537.34/537.54	c  537s |      16 |  1258398 |   188352 |    17137     21 |      388 |      329
539.54/539.75	c  539s |      16 |  1260233 |   188952 |    17137     21 |      388 |      329
541.64/541.88	c  541s |      16 |  1265338 |   189552 |    17137     21 |      388 |      329
543.84/544.03	c  543s |      16 |  1270535 |   190552 |    17137     21 |      388 |      329
545.84/546.08	c  545s |      16 |  1278455 |   191352 |    17137     22 |      388 |      329
548.04/548.21	c  547s |      16 |  1287965 |   192752 |    17137     22 |      388 |      329
550.04/550.23	c  550s |      16 |  1290524 |   193352 |    17137     22 |      388 |      329
552.04/552.29	c  552s |      16 |  1301168 |   194452 |    17137     22 |      388 |      329
554.24/554.50	c  554s |      16 |  1311102 |   195652 |    17137     22 |      388 |      329
556.33/556.59	c  556s |      16 |  1320874 |   196752 |    18851     22 |      388 |      329
557.93/558.13	c  557s |      17 |  1327970 |   197432 |    18851     22 |      388 |      329
560.03/560.26	c  560s |      17 |  1341585 |   198932 |    18851     22 |      388 |      329
562.13/562.33	c  562s |      17 |  1351339 |   200232 |    18851     22 |      388 |      329
564.23/564.46	c  564s |      17 |  1362691 |   201632 |    18851     22 |      388 |      329
566.22/566.48	c  566s |      17 |  1371227 |   203132 |    18851     23 |      388 |      329
568.32/568.57	c  568s |      17 |  1381991 |   204732 |    18851     23 |      388 |      329
570.42/570.62	c  570s |      17 |  1395576 |   206432 |    18851     23 |      388 |      329
572.72/572.92	c  572s |      17 |  1398981 |   207432 |    18851     23 |      388 |      329
574.92/575.17	c  574s |      17 |  1401569 |   208332 |    18851     23 |      388 |      329
577.02/577.24	c  577s |      17 |  1409313 |   209432 |    18851     23 |      388 |      329
579.22/579.41	c  579s |      17 |  1413850 |   210532 |    18851     23 |      388 |      329
581.42/581.62	c  581s |      17 |  1417588 |   211632 |    18851     23 |      388 |      329
583.72/583.93	c  583s |      17 |  1420884 |   212432 |    18851     24 |      388 |      329
585.82/586.08	c  585s |      17 |  1430500 |   214032 |    18851     24 |      388 |      329
588.02/588.29	c  588s |      17 |  1444673 |   215932 |    18851     24 |      388 |      329
590.12/590.32	c  590s |      17 |  1449063 |   216932 |    18851     24 |      388 |      329
592.22/592.42	c  592s |      17 |  1456984 |   218132 |    18851     24 |      388 |      329
594.31/594.54	c  594s |      17 |  1471060 |   219732 |    18851     24 |      388 |      329
596.41/596.65	c  596s |      17 |  1480276 |   221332 |    18851     24 |      388 |      329
598.51/598.77	c  598s |      17 |  1491966 |   222832 |    18851     25 |      388 |      329
600.61/600.89	c  600s |      17 |  1501005 |   224532 |    18851     25 |      388 |      329
602.72/602.99	c  602s |      17 |  1507722 |   225932 |    18851     25 |      388 |      329
604.92/605.14	c  604s |      17 |  1509529 |   226632 |    18851     25 |      388 |      329
606.91/607.16	c  606s |      17 |  1517349 |   227832 |    18851     25 |      388 |      329
608.91/609.19	c  608s |      17 |  1528050 |   229332 |    18851     25 |      388 |      329
611.01/611.28	c  611s |      17 |  1534257 |   230632 |    18851     25 |      388 |      329
613.00/613.29	c  613s |      17 |  1541169 |   232032 |    18851     25 |      388 |      329
615.10/615.36	c  615s |      17 |  1557190 |   233632 |    18851     26 |      388 |      329
617.10/617.38	c  617s |      17 |  1563027 |   234532 |    18851     26 |      388 |      329
619.40/619.62	c  619s |      17 |  1566954 |   235432 |    18851     26 |      388 |      329
621.80/622.02	c  621s |      17 |  1569561 |   236132 |    18851     26 |      388 |      329
623.80/624.06	c  623s |      17 |  1576173 |   237232 |    18851     26 |      388 |      329
625.90/626.17	c  625s |      17 |  1582295 |   238232 |    18851     26 |      388 |      329
628.19/628.46	c  628s |      17 |  1584373 |   239032 |    18851     26 |      388 |      329
630.39/630.61	c  630s |      17 |  1591505 |   240232 |    18851     26 |      389 |      330
632.40/632.63	c  632s |      17 |  1601269 |   241332 |    18851     26 |      389 |      330
634.61/634.84	c  634s |      17 |  1608902 |   242532 |    18851     27 |      389 |      330
636.60/636.87	c  636s |      17 |  1618151 |   243832 |    18851     27 |      389 |      330
638.70/638.97	c  638s |      17 |  1630639 |   245232 |    18851     27 |      389 |      330
640.80/641.06	c  640s |      17 |  1640722 |   246932 |    18851     27 |      389 |      330
642.99/643.26	c  643s |      17 |  1649340 |   248132 |    18851     27 |      389 |      330
645.09/645.36	c  645s |      17 |  1656411 |   249332 |    18851     27 |      389 |      330
647.19/647.49	c  647s |      17 |  1661674 |   250232 |    18851     27 |      389 |      330
649.29/649.52	c  649s |      17 |  1665938 |   250932 |    18851     27 |      389 |      330
651.39/651.68	c  651s |      17 |  1672775 |   251832 |    18851     28 |      389 |      330
653.49/653.70	c  653s |      17 |  1682907 |   253232 |    18851     28 |      389 |      330
655.58/655.82	c  655s |      17 |  1691189 |   254632 |    18851     28 |      389 |      330
657.78/658.01	c  657s |      17 |  1697782 |   255632 |    18851     28 |      389 |      330
659.98/660.23	c  660s |      17 |  1701318 |   256532 |    18851     28 |      389 |      330
662.48/662.73	c  662s |      17 |  1704686 |   257532 |    18851     28 |      389 |      330
664.58/664.82	c  664s |      17 |  1713702 |   258532 |    18851     28 |      389 |      330
666.68/666.91	c  666s |      17 |  1737218 |   260232 |    18851     29 |      389 |      330
668.78/669.07	c  668s |      17 |  1751779 |   262032 |    18851     29 |      389 |      330
670.98/671.22	c  671s |      17 |  1769155 |   263932 |    18851     29 |      389 |      330
672.98/673.29	c  673s |      17 |  1785679 |   265732 |    18851     29 |      389 |      330
675.07/675.37	c  675s |      17 |  1796507 |   267032 |    18851     29 |      389 |      330
677.17/677.49	c  677s |      17 |  1799438 |   267732 |    18851     29 |      389 |      330
679.68/679.94	c  679s |      17 |  1800527 |   268132 |    18851     29 |      389 |      330
681.78/682.03	c  681s |      17 |  1812540 |   269232 |    18851     30 |      389 |      330
683.77/684.09	c  683s |      17 |  1822799 |   271032 |    18851     30 |      389 |      330
685.96/686.21	c  686s |      17 |  1836286 |   272732 |    18851     30 |      390 |      331
687.96/688.23	c  688s |      17 |  1851053 |   274332 |    18851     30 |      390 |      331
690.06/690.37	c  690s |      17 |  1864979 |   275932 |    18851     30 |      390 |      331
692.16/692.41	c  692s |      17 |  1876505 |   277332 |    18851     31 |      390 |      331
694.16/694.48	c  694s |      17 |  1886134 |   278832 |    18851     31 |      390 |      331
696.37/696.62	c  696s |      17 |  1893859 |   280032 |    18851     31 |      390 |      331
698.37/698.64	c  698s |      17 |  1896680 |   280832 |    18851     31 |      390 |      331
700.57/700.82	c  700s |      17 |  1899501 |   281632 |    18851     31 |      390 |      331
702.56/702.85	c  702s |      17 |  1902021 |   282332 |    18851     31 |      390 |      331
704.65/704.91	c  704s |      17 |  1903814 |   282832 |    18851     31 |      390 |      331
706.66/706.97	c  706s |      17 |  1906233 |   283532 |    18851     31 |      390 |      331
708.66/708.99	c  708s |      17 |  1915793 |   284332 |    18851     32 |      390 |      331
710.76/711.01	c  710s |      17 |  1929424 |   286132 |    18851     32 |      390 |      331
712.75/713.03	c  712s |      17 |  1936814 |   287432 |    18851     32 |      390 |      331
714.76/715.08	c  714s |      17 |  1959857 |   289232 |    18851     32 |      390 |      331
716.85/717.18	c  716s |      17 |  1979348 |   291132 |    18851     32 |      390 |      331
718.85/719.19	c  718s |      17 |  1986898 |   292532 |    18851     32 |      390 |      331
721.05/721.32	c  721s |      17 |  1990163 |   293432 |    18851     32 |      390 |      331
723.05/723.34	c  723s |      17 |  1995052 |   294532 |    20737     33 |      390 |      331
725.25/725.56	c  725s |      17 |  1997427 |   295332 |    20737     33 |      390 |      331
726.75/727.05	c  726s |      18 |  2001871 |   296252 |    20737     33 |      390 |      331
728.75/729.09	c  728s |      18 |  2014005 |   297752 |    20737     33 |      390 |      331
730.94/731.24	c  731s |      18 |  2031735 |   299152 |    20737     33 |      390 |      331
733.14/733.41	c  733s |      18 |  2038343 |   300152 |    20737     33 |      390 |      331
735.24/735.52	c  735s |      18 |  2043494 |   301252 |    20737     33 |      390 |      331
737.34/737.64	c  737s |      18 |  2047679 |   302152 |    20737     33 |      390 |      331
739.44/739.70	c  739s |      18 |  2055576 |   302952 |    20737     34 |      390 |      331
741.54/741.88	c  741s |      18 |  2066944 |   304652 |    20737     34 |      391 |      332
743.73/744.08	c  743s |      18 |  2070154 |   305552 |    20737     34 |      391 |      332
745.83/746.16	c  745s |      18 |  2075845 |   306752 |    20737     34 |      391 |      332
747.93/748.27	c  748s |      18 |  2079460 |   307852 |    20737     34 |      391 |      332
750.13/750.47	c  750s |      18 |  2081776 |   308652 |    20737     34 |      391 |      332
752.33/752.60	c  752s |      18 |  2084176 |   309352 |    20737     34 |      391 |      332
754.43/754.71	c  754s |      18 |  2088675 |   310352 |    20737     34 |      391 |      332
756.43/756.73	c  756s |      18 |  2095885 |   311652 |    20737     35 |      391 |      332
758.52/758.84	c  758s |      18 |  2102385 |   313352 |    20737     35 |      391 |      332
760.62/760.90	c  760s |      18 |  2107395 |   314652 |    20737     35 |      391 |      332
762.82/763.10	c  762s |      18 |  2110958 |   315652 |    20737     35 |      391 |      332
764.82/765.15	c  764s |      18 |  2112856 |   316352 |    20737     35 |      391 |      332
766.92/767.23	c  767s |      18 |  2118972 |   317752 |    20737     35 |      391 |      332
768.92/769.25	c  769s |      18 |  2123918 |   318652 |    20737     35 |      391 |      332
771.02/771.38	c  771s |      18 |  2131279 |   319952 |    20737     36 |      391 |      332
773.22/773.59	c  773s |      18 |  2136198 |   321252 |    20737     36 |      391 |      332
775.42/775.71	c  775s |      18 |  2146388 |   322752 |    20737     36 |      391 |      332
777.72/778.01	c  777s |      18 |  2154508 |   323752 |    20737     36 |      391 |      332
779.73/780.08	c  779s |      18 |  2159810 |   324752 |    20737     36 |      391 |      332
781.93/782.26	c  782s |      18 |  2162659 |   325652 |    20737     36 |      391 |      332
784.02/784.40	c  784s |      18 |  2167008 |   326452 |    20737     36 |      391 |      332
786.52/786.82	c  786s |      18 |  2170189 |   327252 |    20737     36 |      391 |      332
788.61/788.90	c  788s |      18 |  2174516 |   327952 |    20737     36 |      391 |      332
790.62/790.98	c  790s |      18 |  2176870 |   328452 |    20737     37 |      391 |      332
792.71/793.03	c  792s |      18 |  2182103 |   329652 |    20737     37 |      391 |      332
795.01/795.35	c  795s |      18 |  2186187 |   330852 |    20737     37 |      391 |      332
797.51/797.86	c  797s |      18 |  2198132 |   332452 |    20737     37 |      391 |      332
799.71/800.08	c  799s |      18 |  2206880 |   333752 |    20737     37 |      391 |      332
801.91/802.24	c  802s |      18 |  2209412 |   334252 |    20737     37 |      391 |      332
805.30/805.65	c  805s |      18 |  2210914 |   334752 |    20737     37 |      391 |      332
807.80/808.10	c  807s |      18 |  2211916 |   335152 |    20737     37 |      391 |      332
810.51/810.81	c  810s |      18 |  2212383 |   335352 |    20737     37 |      391 |      332
813.30/813.60	c  813s |      18 |  2214597 |   335952 |    20737     37 |      391 |      332
816.00/816.40	c  816s |      18 |  2214891 |   336152 |    20737     37 |      391 |      332
818.20/818.57	c  818s |      18 |  2218681 |   336952 |    20737     37 |      391 |      332
820.19/820.59	c  820s |      18 |  2223125 |   337952 |    20737     38 |      391 |      332
822.39/822.71	c  822s |      18 |  2224955 |   338752 |    20737     38 |      391 |      332
824.49/824.86	c  824s |      18 |  2227554 |   339552 |    20737     38 |      391 |      332
826.69/827.06	c  826s |      18 |  2229292 |   340252 |    20737     38 |      391 |      332
828.99/829.32	c  829s |      18 |  2230817 |   340852 |    20737     38 |      391 |      332
831.08/831.42	c  831s |      18 |  2231788 |   341252 |    20737     38 |      391 |      332
833.08/833.43	c  833s |      18 |  2232947 |   341752 |    20737     38 |      391 |      332
835.38/835.73	c  835s |      18 |  2233935 |   342252 |    20737     38 |      391 |      332
837.58/837.92	c  837s |      18 |  2235478 |   342952 |    20737     38 |      391 |      332
839.68/840.05	c  839s |      18 |  2236474 |   343452 |    20737     38 |      391 |      332
841.88/842.22	c  842s |      18 |  2238124 |   344052 |    20737     38 |      391 |      332
844.07/844.47	c  844s |      18 |  2240253 |   344752 |    20737     38 |      391 |      332
846.27/846.68	c  846s |      18 |  2242175 |   345352 |    20737     38 |      391 |      332
848.47/848.87	c  848s |      18 |  2244834 |   346152 |    20737     39 |      391 |      332
850.67/851.06	c  850s |      18 |  2248543 |   347252 |    20737     39 |      391 |      332
852.77/853.15	c  852s |      18 |  2250396 |   347852 |    20737     39 |      391 |      332
855.17/855.55	c  855s |      18 |  2252728 |   348552 |    20737     39 |      391 |      332
857.37/857.72	c  857s |      18 |  2255019 |   349152 |    20737     39 |      391 |      332
859.57/859.90	c  859s |      18 |  2256958 |   349752 |    20737     39 |      391 |      332
862.07/862.49	c  862s |      18 |  2258534 |   350252 |    20737     39 |      391 |      332
864.56/864.96	c  864s |      18 |  2259366 |   350652 |    20737     39 |      391 |      332
866.66/867.00	c  866s |      18 |  2262869 |   351452 |    20737     39 |      391 |      332
868.86/869.24	c  869s |      18 |  2268642 |   352752 |    20737     39 |      391 |      332
870.97/871.36	c  871s |      18 |  2270277 |   353552 |    20737     39 |      391 |      332
873.07/873.43	c  873s |      18 |  2274766 |   354552 |    20737     40 |      391 |      332
875.06/875.44	c  875s |      18 |  2285743 |   356152 |    20737     40 |      391 |      332
877.16/877.55	c  877s |      18 |  2290743 |   357552 |    20737     40 |      391 |      332
879.36/879.79	c  879s |      18 |  2295436 |   358552 |    20737     40 |      391 |      332
881.66/882.00	c  881s |      18 |  2298790 |   359252 |    20737     40 |      391 |      332
883.76/884.11	c  883s |      18 |  2302676 |   360352 |    20737     40 |      391 |      332
885.76/886.13	c  885s |      18 |  2306191 |   361052 |    20737     40 |      391 |      332
887.76/888.20	c  887s |      18 |  2308273 |   361852 |    20737     40 |      391 |      332
890.17/890.52	c  890s |      18 |  2310036 |   362352 |    20737     40 |      391 |      332
892.26/892.66	c  892s |      18 |  2316142 |   363452 |    20737     41 |      391 |      332
894.26/894.66	c  894s |      18 |  2322303 |   364552 |    20737     41 |      391 |      332
896.36/896.75	c  896s |      18 |  2324617 |   365352 |    20737     41 |      391 |      332
898.37/898.75	c  898s |      18 |  2327903 |   366152 |    20737     41 |      391 |      332
900.57/900.95	c  900s |      18 |  2330471 |   366952 |    20737     41 |      391 |      332
903.06/903.41	c  903s |      18 |  2332445 |   367552 |    20737     41 |      391 |      332
905.36/905.80	c  905s |      18 |  2333947 |   368052 |    20737     41 |      391 |      332
907.96/908.34	c  908s |      18 |  2334867 |   368452 |    20737     41 |      391 |      332
910.86/911.28	c  911s |      18 |  2335877 |   368852 |    20737     41 |      391 |      332
912.95/913.37	c  913s |      18 |  2337733 |   369352 |    20737     41 |      391 |      332
915.35/915.76	c  915s |      18 |  2339350 |   369952 |    20737     41 |      391 |      332
917.55/917.99	c  917s |      18 |  2341100 |   370552 |    20737     41 |      391 |      332
919.55/919.99	c  919s |      18 |  2347065 |   371552 |    20737     42 |      391 |      332
921.85/922.24	c  922s |      18 |  2356821 |   373352 |    20737     42 |      391 |      332
923.86/924.26	c  924s |      18 |  2361001 |   374352 |    20737     42 |      391 |      332
926.16/926.59	c  926s |      18 |  2365037 |   375352 |    20737     42 |      391 |      332
928.36/928.78	c  928s |      18 |  2367281 |   376152 |    20737     42 |      391 |      332
930.66/931.04	c  930s |      18 |  2370077 |   376952 |    20737     42 |      391 |      332
932.75/933.14	c  932s |      18 |  2371299 |   377552 |    20737     42 |      391 |      332
935.05/935.43	c  935s |      18 |  2372898 |   378152 |    20737     42 |      391 |      332
937.05/937.45	c  937s |      18 |  2376732 |   379052 |    20737     43 |      391 |      332
939.06/939.48	c  939s |      18 |  2384810 |   380352 |    20737     43 |      391 |      332
941.05/941.49	c  941s |      18 |  2388915 |   381252 |    20737     43 |      391 |      332
943.15/943.56	c  943s |      18 |  2392202 |   381852 |    20737     43 |      391 |      332
945.36/945.71	c  945s |      18 |  2395445 |   382652 |    20737     43 |      391 |      332
947.55/947.91	c  947s |      18 |  2397273 |   383152 |    20737     43 |      391 |      332
949.65/950.05	c  949s |      18 |  2400364 |   383852 |    20737     43 |      391 |      332
951.85/952.30	c  952s |      18 |  2403763 |   384452 |    20737     43 |      391 |      332
954.35/954.71	c  954s |      18 |  2405157 |   384852 |    20737     43 |      391 |      332
956.45/956.80	c  956s |      18 |  2415602 |   386052 |    20737     44 |      391 |      332
958.55/958.98	c  958s |      18 |  2422414 |   387752 |    20737     44 |      391 |      332
960.65/961.07	c  960s |      18 |  2429065 |   388852 |    20737     44 |      391 |      332
962.85/963.28	c  963s |      18 |  2437247 |   390152 |    20737     44 |      391 |      332
964.95/965.35	c  965s |      18 |  2447392 |   391552 |    20737     44 |      391 |      332
966.95/967.37	c  967s |      18 |  2455938 |   392952 |    20737     45 |      391 |      332
969.15/969.50	c  969s |      18 |  2466355 |   394652 |    20737     45 |      391 |      332
971.15/971.50	c  971s |      18 |  2470607 |   395652 |    20737     45 |      391 |      332
973.15/973.53	c  973s |      18 |  2474666 |   396552 |    20737     45 |      391 |      332
975.25/975.65	c  975s |      18 |  2477556 |   397352 |    20737     45 |      391 |      332
977.45/977.83	c  977s |      18 |  2478765 |   397852 |    20737     45 |      391 |      332
979.76/980.19	c  979s |      18 |  2479928 |   398352 |    20737     45 |      391 |      332
981.95/982.35	c  982s |      18 |  2481681 |   398852 |    20737     45 |      391 |      332
984.26/984.66	c  984s |      18 |  2483574 |   399452 |    20737     45 |      391 |      332
986.46/986.82	c  986s |      18 |  2487590 |   400452 |    20737     46 |      391 |      332
988.55/988.97	c  988s |      18 |  2490539 |   401252 |    20737     46 |      391 |      332
990.65/991.01	c  990s |      18 |  2493777 |   402252 |    20737     46 |      391 |      332
992.84/993.21	c  992s |      18 |  2495671 |   402952 |    20737     46 |      391 |      332
995.04/995.40	c  995s |      18 |  2497411 |   403552 |    20737     46 |      391 |      332
997.14/997.59	c  997s |      18 |  2499401 |   404152 |    20737     46 |      391 |      332
999.24/999.69	c  999s |      18 |  2500419 |   404652 |    20737     46 |      391 |      332
1001.65/1002.04	c 1001s |      18 |  2502415 |   405152 |    20737     46 |      391 |      332
1003.75/1004.16	c 1003s |      18 |  2504061 |   405652 |    20737     46 |      391 |      332
1005.75/1006.19	c 1005s |      18 |  2505232 |   406052 |    20737     46 |      391 |      332
1007.85/1008.23	c 1008s |      18 |  2506073 |   406452 |    20737     46 |      391 |      332
1009.84/1010.29	c 1010s |      18 |  2508074 |   406952 |    20737     47 |      391 |      332
1012.04/1012.44	c 1012s |      18 |  2512134 |   408152 |    20737     47 |      391 |      332
1014.14/1014.57	c 1014s |      18 |  2515085 |   408852 |    20737     47 |      391 |      332
1016.34/1016.77	c 1016s |      18 |  2516739 |   409452 |    20737     47 |      391 |      332
1018.54/1018.94	c 1018s |      18 |  2518773 |   410052 |    20737     47 |      391 |      332
1020.74/1021.17	c 1020s |      18 |  2520114 |   410552 |    20737     47 |      391 |      332
1022.75/1023.19	c 1022s |      18 |  2521919 |   411052 |    20737     47 |      391 |      332
1024.85/1025.30	c 1025s |      18 |  2530681 |   412052 |    20737     47 |      391 |      332
1027.05/1027.45	c 1027s |      18 |  2538374 |   413352 |    20737     48 |      391 |      332
1029.04/1029.45	c 1029s |      18 |  2547825 |   414852 |    20737     48 |      391 |      332
1031.04/1031.47	c 1031s |      18 |  2558770 |   416552 |    20737     48 |      391 |      332
1033.75/1034.15	c 1033s |      18 |  2568529 |   418052 |    20737     48 |      391 |      332
1035.74/1036.18	c 1035s |      18 |  2572961 |   419152 |    20737     49 |      391 |      332
1037.84/1038.22	c 1038s |      18 |  2583020 |   420752 |    20737     49 |      391 |      332
1039.93/1040.34	c 1040s |      18 |  2588855 |   422152 |    20737     49 |      391 |      332
1041.94/1042.35	c 1042s |      18 |  2591384 |   422952 |    20737     49 |      391 |      332
1043.94/1044.39	c 1044s |      18 |  2598102 |   423952 |    20737     49 |      391 |      332
1046.04/1046.46	c 1046s |      18 |  2601596 |   424652 |    20737     49 |      391 |      332
1048.05/1048.46	c 1048s |      18 |  2606081 |   425752 |    20737     50 |      391 |      332
1050.25/1050.61	c 1050s |      18 |  2610988 |   426852 |    20737     50 |      391 |      332
1052.45/1052.84	c 1052s |      18 |  2616636 |   427952 |    20737     50 |      391 |      332
1054.74/1055.10	c 1054s |      18 |  2619338 |   428652 |    20737     50 |      391 |      332
1056.75/1057.11	c 1056s |      18 |  2622759 |   429452 |    20737     50 |      391 |      332
1058.84/1059.26	c 1059s |      18 |  2624316 |   429952 |    20737     50 |      391 |      332
1061.24/1061.68	c 1061s |      18 |  2628788 |   430952 |    20737     50 |      391 |      332
1063.44/1063.83	c 1063s |      18 |  2631056 |   431752 |    20737     51 |      391 |      332
1065.43/1065.84	c 1065s |      18 |  2638953 |   433052 |    20737     51 |      391 |      332
1067.43/1067.88	c 1067s |      18 |  2642706 |   434252 |    20737     51 |      391 |      332
1069.43/1069.89	c 1069s |      18 |  2648864 |   435352 |    20737     51 |      391 |      332
1071.53/1071.92	c 1071s |      18 |  2659883 |   436952 |    20737     52 |      391 |      332
1073.63/1074.03	c 1073s |      18 |  2668607 |   438452 |    20737     52 |      391 |      332
1075.73/1076.19	c 1075s |      18 |  2672802 |   439352 |    20737     52 |      391 |      332
1078.03/1078.48	c 1078s |      18 |  2680287 |   440752 |    20737     53 |      391 |      332
1080.53/1080.96	c 1080s |      18 |  2687405 |   442052 |    22811     53 |      391 |      332
1082.93/1083.34	c 1083s |      18 |  2691543 |   443052 |    22811     53 |      391 |      332
1085.33/1085.74	c 1085s |      18 |  2692841 |   443652 |    22811     53 |      391 |      332
1088.13/1088.59	c 1088s |      18 |  2693808 |   444052 |    22811     53 |      391 |      332
1089.03/1089.47	c 1089s |      19 |  2696792 |   444482 |    22811     53 |      391 |      332
1091.13/1091.52	c 1091s |      19 |  2709957 |   446282 |    22811     53 |      391 |      332
1093.23/1093.66	c 1093s |      19 |  2717393 |   447582 |    22811     53 |      391 |      332
1095.42/1095.89	c 1095s |      19 |  2720042 |   448382 |    22811     53 |      391 |      332
1097.82/1098.23	c 1098s |      19 |  2724716 |   449382 |    22811     54 |      391 |      332
1099.82/1100.24	c 1100s |      19 |  2730115 |   450582 |    22811     54 |      391 |      332
1101.93/1102.39	c 1102s |      19 |  2732229 |   451182 |    22811     54 |      391 |      332
1104.32/1104.70	c 1104s |      19 |  2734229 |   451882 |    22811     54 |      391 |      332
1106.72/1107.13	c 1106s |      19 |  2735596 |   452382 |    22811     54 |      391 |      332
1109.12/1109.56	c 1109s |      19 |  2737303 |   452782 |    22811     54 |      391 |      332
1111.42/1111.87	c 1111s |      19 |  2739726 |   453282 |    22811     54 |      391 |      332
1113.53/1113.93	c 1113s |      19 |  2744818 |   453982 |    22811     54 |      391 |      332
1115.53/1115.94	c 1115s |      19 |  2759125 |   455782 |    22811     55 |      391 |      332
1117.63/1118.01	c 1117s |      19 |  2776595 |   457582 |    22811     55 |      391 |      332
1119.63/1120.06	c 1119s |      19 |  2783361 |   458882 |    22811     55 |      391 |      332
1121.74/1122.14	c 1121s |      19 |  2789749 |   460282 |    22811     55 |      391 |      332
1123.73/1124.18	c 1123s |      19 |  2791129 |   460982 |    22811     55 |      391 |      332
1126.03/1126.48	c 1126s |      19 |  2794156 |   461882 |    22811     56 |      391 |      332
1128.23/1128.65	c 1128s |      19 |  2804777 |   463482 |    22811     56 |      391 |      332
1130.92/1131.30	c 1131s |      19 |  2816231 |   464882 |    22811     56 |      391 |      332
1133.02/1133.44	c 1133s |      19 |  2821231 |   465682 |    22811     56 |      391 |      332
1135.03/1135.45	c 1135s |      19 |  2824678 |   466382 |    22811     56 |      391 |      332
1137.33/1137.75	c 1137s |      19 |  2827119 |   466982 |    22811     56 |      391 |      332
1139.33/1139.77	c 1139s |      19 |  2841022 |   468482 |    22811     57 |      391 |      332
1141.43/1141.84	c 1141s |      19 |  2850635 |   469982 |    22811     57 |      391 |      332
1143.93/1144.36	c 1144s |      19 |  2857977 |   471182 |    22811     57 |      391 |      332
1146.02/1146.41	c 1146s |      19 |  2866668 |   472282 |    22811     57 |      391 |      332
1148.03/1148.48	c 1148s |      19 |  2878188 |   473782 |    22811     58 |      391 |      332
1150.23/1150.61	c 1150s |      19 |  2882107 |   474682 |    22811     58 |      391 |      332
1152.22/1152.66	c 1152s |      19 |  2890145 |   475782 |    22811     58 |      391 |      332
1154.73/1155.20	c 1154s |      19 |  2894822 |   476682 |    22811     58 |      391 |      332
1156.83/1157.25	c 1157s |      19 |  2898935 |   477382 |    22811     58 |      391 |      332
1159.03/1159.44	c 1159s |      19 |  2900808 |   477782 |    22811     58 |      391 |      332
1161.02/1161.48	c 1161s |      19 |  2907944 |   478682 |    22811     59 |      391 |      332
1163.12/1163.51	c 1163s |      19 |  2914060 |   479882 |    22811     59 |      391 |      332
1165.22/1165.66	c 1165s |      19 |  2920242 |   481182 |    22811     59 |      391 |      332
1167.32/1167.75	c 1167s |      19 |  2927580 |   482382 |    22811     59 |      391 |      332
1169.42/1169.81	c 1169s |      19 |  2932567 |   483282 |    22811     59 |      391 |      332
1171.52/1171.93	c 1171s |      19 |  2938053 |   484282 |    22811     60 |      391 |      332
1173.52/1173.96	c 1173s |      19 |  2947202 |   485982 |    22811     60 |      391 |      332
1175.63/1176.04	c 1175s |      19 |  2955722 |   487382 |    22811     60 |      391 |      332
1178.02/1178.44	c 1178s |      19 |  2959028 |   488182 |    22811     60 |      391 |      332
1180.03/1180.48	c 1180s |      19 |  2963050 |   488982 |    22811     61 |      391 |      332
1182.23/1182.63	c 1182s |      19 |  2971882 |   490482 |    22811     61 |      391 |      332
1184.43/1184.81	c 1184s |      19 |  2977121 |   491482 |    22811     61 |      391 |      332
1186.63/1187.01	c 1186s |      19 |  2980466 |   491982 |    22811     61 |      391 |      332
1188.72/1189.19	c 1188s |      19 |  2987407 |   493182 |    22811     61 |      391 |      332
1190.92/1191.39	c 1191s |      19 |  2988696 |   493882 |    22811     61 |      391 |      332
1193.02/1193.47	c 1193s |      19 |  2995230 |   495082 |    22811     62 |      391 |      332
1195.01/1195.48	c 1195s |      19 |  3000138 |   496082 |    22811     62 |      391 |      332
1197.11/1197.57	c 1197s |      19 |  3003399 |   496782 |    22811     62 |      391 |      332
1199.31/1199.71	c 1199s |      19 |  3005054 |   497482 |    22811     62 |      391 |      332
1201.31/1201.79	c 1201s |      19 |  3009751 |   498382 |    22811     62 |      391 |      332
1203.61/1204.01	c 1203s |      19 |  3011997 |   499082 |    22811     62 |      391 |      332
1205.61/1206.05	c 1205s |      19 |  3016888 |   499982 |    22811     63 |      391 |      332
1207.81/1208.21	c 1208s |      19 |  3026635 |   501382 |    22811     63 |      391 |      332
1209.81/1210.26	c 1210s |      19 |  3027860 |   501782 |    22811     63 |      391 |      332
1211.92/1212.35	c 1212s |      19 |  3032456 |   502782 |    22811     63 |      391 |      332
1214.12/1214.56	c 1214s |      19 |  3033633 |   503182 |    22811     63 |      391 |      332
1216.91/1217.32	c 1217s |      19 |  3034565 |   503582 |    22811     63 |      391 |      332
1220.21/1220.68	c 1220s |      19 |  3035224 |   503882 |    22811     63 |      391 |      332
1222.41/1222.80	c 1222s |      19 |  3035789 |   504182 |    22811     63 |      391 |      332
1224.71/1225.19	c 1224s |      19 |  3036914 |   504682 |    22811     63 |      391 |      332
1226.81/1227.28	c 1227s |      19 |  3038525 |   505182 |    22811     64 |      391 |      332
1228.81/1229.30	c 1229s |      19 |  3040571 |   505982 |    22811     64 |      391 |      332
1230.90/1231.38	c 1231s |      19 |  3042380 |   506882 |    22811     64 |      391 |      332
1233.11/1233.52	c 1233s |      19 |  3044131 |   507682 |    22811     64 |      391 |      332
1235.31/1235.75	c 1235s |      19 |  3046427 |   508382 |    22811     64 |      391 |      332
1237.41/1237.89	c 1237s |      19 |  3047809 |   508882 |    22811     64 |      391 |      332
1239.51/1239.93	c 1239s |      19 |  3048685 |   509282 |    22811     64 |      391 |      332
1241.52/1241.99	c 1241s |      19 |  3049825 |   509682 |    22811     64 |      391 |      332
1243.61/1244.04	c 1243s |      19 |  3053457 |   510382 |    22811     65 |      391 |      332
1245.61/1246.07	c 1245s |      19 |  3056094 |   511182 |    22811     65 |      391 |      332
1248.01/1248.41	c 1248s |      19 |  3058599 |   511882 |    22811     65 |      391 |      332
1250.11/1250.52	c 1250s |      19 |  3059632 |   512282 |    22811     65 |      391 |      332
1252.40/1252.83	c 1252s |      19 |  3061472 |   512782 |    22811     65 |      391 |      332
1254.50/1254.96	c 1254s |      19 |  3063955 |   513282 |    22811     65 |      391 |      332
1256.80/1257.21	c 1256s |      19 |  3065199 |   513682 |    22811     65 |      391 |      332
1258.80/1259.21	c 1259s |      19 |  3065657 |   513882 |    22811     65 |      391 |      332
1261.20/1261.67	c 1261s |      19 |  3068666 |   514682 |    22811     65 |      391 |      332
1263.40/1263.81	c 1263s |      19 |  3070294 |   515182 |    22811     65 |      391 |      332
1265.50/1265.95	c 1265s |      19 |  3073295 |   515982 |    22811     66 |      391 |      332
1267.70/1268.14	c 1267s |      19 |  3077960 |   516882 |    22811     66 |      391 |      332
1270.00/1270.41	c 1270s |      19 |  3080850 |   517782 |    22811     66 |      391 |      332
1272.00/1272.45	c 1272s |      19 |  3083865 |   518582 |    22811     66 |      391 |      332
1274.40/1274.90	c 1274s |      19 |  3086909 |   519282 |    22811     66 |      391 |      332
1276.50/1276.94	c 1276s |      19 |  3088479 |   519882 |    22811     66 |      391 |      332
1278.60/1279.07	c 1278s |      19 |  3089888 |   520382 |    22811     67 |      391 |      332
1281.00/1281.43	c 1281s |      19 |  3091910 |   520982 |    22811     67 |      391 |      332
1283.20/1283.62	c 1283s |      19 |  3092952 |   521382 |    22811     67 |      391 |      332
1285.90/1286.31	c 1286s |      19 |  3094755 |   521882 |    22811     67 |      391 |      332
1287.90/1288.31	c 1288s |      19 |  3095962 |   522382 |    22811     67 |      391 |      332
1290.10/1290.52	c 1290s |      19 |  3097150 |   522782 |    22811     67 |      391 |      332
1292.20/1292.67	c 1292s |      19 |  3098579 |   523382 |    22811     67 |      391 |      332
1294.30/1294.78	c 1294s |      19 |  3101560 |   524182 |    22811     67 |      391 |      332
1296.50/1296.99	c 1296s |      19 |  3103145 |   524782 |    22811     67 |      391 |      332
1298.59/1299.06	c 1298s |      19 |  3105072 |   525282 |    22811     68 |      391 |      332
1300.69/1301.19	c 1300s |      19 |  3110657 |   526582 |    22811     68 |      391 |      332
1302.80/1303.20	c 1302s |      19 |  3112962 |   527382 |    22811     68 |      391 |      332
1305.31/1305.73	c 1305s |      19 |  3117802 |   528182 |    22811     68 |      391 |      332
1307.40/1307.83	c 1307s |      19 |  3118514 |   528482 |    22811     68 |      391 |      332
1310.00/1310.48	c 1310s |      19 |  3119005 |   528682 |    22811     68 |      391 |      332
1312.40/1312.88	c 1312s |      19 |  3120086 |   528982 |    22811     68 |      391 |      332
1315.10/1315.54	c 1315s |      19 |  3120664 |   529282 |    22811     68 |      391 |      332
1317.20/1317.65	c 1317s |      19 |  3129188 |   530582 |    22811     69 |      391 |      332
1319.30/1319.78	c 1319s |      19 |  3135365 |   531582 |    22811     69 |      391 |      332
1321.40/1321.81	c 1321s |      19 |  3139902 |   532482 |    22811     69 |      391 |      332
1323.39/1323.83	c 1323s |      19 |  3144314 |   533382 |    22811     69 |      391 |      332
1325.60/1326.04	c 1325s |      19 |  3148988 |   534382 |    22811     70 |      391 |      332
1327.69/1328.16	c 1327s |      19 |  3149855 |   534682 |    22811     70 |      391 |      332
1330.09/1330.52	c 1330s |      19 |  3151222 |   535182 |    22811     70 |      391 |      332
1332.39/1332.84	c 1332s |      19 |  3151806 |   535482 |    22811     70 |      391 |      332
1335.19/1335.62	c 1335s |      19 |  3152406 |   535782 |    22811     70 |      391 |      332
1337.39/1337.85	c 1337s |      19 |  3154788 |   536282 |    22811     70 |      391 |      332
1339.50/1339.99	c 1339s |      19 |  3156595 |   536782 |    22811     70 |      391 |      332
1341.60/1342.08	c 1341s |      19 |  3158084 |   537482 |    22811     70 |      391 |      332
1343.79/1344.26	c 1344s |      19 |  3159175 |   537982 |    22811     71 |      391 |      332
1345.99/1346.41	c 1346s |      19 |  3165894 |   539282 |    22811     71 |      391 |      332
1348.09/1348.51	c 1348s |      19 |  3171986 |   540282 |    22811     71 |      391 |      332
1350.20/1350.62	c 1350s |      19 |  3177020 |   541082 |    22811     71 |      391 |      332
1352.49/1352.91	c 1352s |      19 |  3179150 |   541682 |    22811     71 |      391 |      332
1354.59/1355.01	c 1354s |      19 |  3181921 |   542382 |    22811     72 |      391 |      332
1357.19/1357.64	c 1357s |      19 |  3184589 |   543182 |    22811     72 |      391 |      332
1359.59/1360.03	c 1359s |      19 |  3188657 |   544082 |    22811     72 |      391 |      332
1362.29/1362.72	c 1362s |      19 |  3191085 |   544782 |    22811     72 |      391 |      332
1364.39/1364.84	c 1364s |      19 |  3192795 |   545182 |    22811     72 |      391 |      332
1366.90/1367.34	c 1367s |      19 |  3193435 |   545482 |    22811     72 |      391 |      332
1368.99/1369.47	c 1369s |      19 |  3195437 |   546282 |    22811     72 |      391 |      332
1371.09/1371.51	c 1371s |      19 |  3198123 |   546882 |    22811     73 |      391 |      332
1373.19/1373.68	c 1373s |      19 |  3202599 |   547982 |    22811     73 |      391 |      332
1375.29/1375.77	c 1375s |      19 |  3203831 |   548482 |    22811     73 |      391 |      332
1377.58/1378.07	c 1377s |      19 |  3206142 |   549182 |    22811     73 |      391 |      332
1379.78/1380.21	c 1380s |      19 |  3207433 |   549682 |    22811     73 |      391 |      332
1382.08/1382.54	c 1382s |      19 |  3208062 |   549982 |    22811     73 |      391 |      332
1384.09/1384.55	c 1384s |      19 |  3210517 |   550782 |    22811     74 |      391 |      332
1386.18/1386.64	c 1386s |      19 |  3212861 |   551582 |    22811     74 |      391 |      332
1388.29/1388.73	c 1388s |      19 |  3215034 |   552382 |    22811     74 |      391 |      332
1390.38/1390.84	c 1390s |      19 |  3219428 |   553282 |    22811     74 |      391 |      332
1392.58/1393.04	c 1392s |      19 |  3221104 |   553982 |    22811     74 |      391 |      332
1394.58/1395.08	c 1394s |      19 |  3223854 |   554682 |    22811     74 |      391 |      332
1396.78/1397.25	c 1397s |      19 |  3228368 |   555682 |    22811     75 |      391 |      332
1398.89/1399.36	c 1399s |      19 |  3230808 |   556382 |    22811     75 |      391 |      332
1400.89/1401.39	c 1401s |      19 |  3234608 |   557182 |    22811     75 |      391 |      332
1403.29/1403.74	c 1403s |      19 |  3235957 |   557582 |    22811     75 |      391 |      332
1405.39/1405.83	c 1405s |      19 |  3238551 |   558082 |    22811     75 |      391 |      332
1407.59/1408.05	c 1407s |      19 |  3238992 |   558382 |    22811     75 |      391 |      332
1409.58/1410.08	c 1409s |      19 |  3240382 |   558882 |    22811     75 |      391 |      332
1411.78/1412.25	c 1412s |      19 |  3241284 |   559382 |    22811     75 |      391 |      332
1413.88/1414.38	c 1414s |      19 |  3242792 |   559982 |    22811     76 |      391 |      332
1415.98/1416.47	c 1416s |      19 |  3249780 |   561282 |    22811     76 |      391 |      332
1418.18/1418.68	c 1418s |      19 |  3254280 |   562382 |    22811     76 |      391 |      332
1420.48/1420.91	c 1420s |      19 |  3256083 |   563082 |    22811     76 |      391 |      332
1422.57/1423.06	c 1422s |      19 |  3261790 |   564282 |    22811     77 |      391 |      332
1424.67/1425.11	c 1424s |      19 |  3266204 |   565282 |    22811     77 |      391 |      332
1426.78/1427.29	c 1427s |      19 |  3268374 |   565982 |    22811     77 |      391 |      332
1429.08/1429.56	c 1429s |      19 |  3269917 |   566582 |    22811     77 |      391 |      332
1431.18/1431.69	c 1431s |      19 |  3270501 |   566982 |    22811     77 |      391 |      332
1433.28/1433.78	c 1433s |      19 |  3272766 |   567782 |    22811     78 |      391 |      332
1435.38/1435.83	c 1435s |      19 |  3273932 |   568382 |    22811     78 |      391 |      332
1437.48/1437.98	c 1437s |      19 |  3275959 |   569082 |    22811     78 |      391 |      332
1439.49/1440.00	c 1439s |      19 |  3277854 |   569782 |    22811     78 |      391 |      332
1442.28/1442.73	c 1442s |      19 |  3278925 |   570382 |    22811     78 |      391 |      332
1444.38/1444.82	c 1444s |      19 |  3282740 |   571282 |    22811     79 |      391 |      332
1446.58/1447.08	c 1446s |      19 |  3288303 |   572482 |    22811     79 |      391 |      332
1448.88/1449.36	c 1449s |      19 |  3290376 |   573082 |    22811     79 |      391 |      332
1451.38/1451.80	c 1451s |      19 |  3291578 |   573482 |    22811     79 |      391 |      332
1453.68/1454.20	c 1453s |      19 |  3292739 |   573882 |    22811     79 |      391 |      332
1455.88/1456.37	c 1456s |      19 |  3293421 |   574182 |    22811     79 |      391 |      332
1458.08/1458.50	c 1458s |      19 |  3294033 |   574382 |    22811     79 |      391 |      332
1460.08/1460.58	c 1460s |      19 |  3294645 |   574682 |    22811     79 |      391 |      332
1462.47/1462.96	c 1462s |      19 |  3295684 |   574982 |    22811     80 |      391 |      332
1464.78/1465.25	c 1465s |      19 |  3297386 |   575582 |    22811     80 |      391 |      332
1467.67/1468.17	c 1467s |      19 |  3298392 |   575982 |    22811     80 |      391 |      332
1470.47/1470.92	c 1470s |      19 |  3300584 |   576682 |    22811     80 |      391 |      332
1472.58/1473.05	c 1472s |      19 |  3301293 |   576882 |    22811     80 |      391 |      332
1474.67/1475.12	c 1474s |      19 |  3302841 |   577382 |    22811     80 |      391 |      332
1476.68/1477.18	c 1476s |      19 |  3304860 |   577982 |    22811     80 |      391 |      332
1478.88/1479.34	c 1479s |      19 |  3305672 |   578282 |    22811     80 |      391 |      332
1480.97/1481.40	c 1481s |      19 |  3308129 |   578982 |    22811     81 |      391 |      332
1482.97/1483.49	c 1483s |      19 |  3310037 |   579582 |    22811     81 |      391 |      332
1485.07/1485.53	c 1485s |      19 |  3313499 |   580482 |    22811     81 |      391 |      332
1487.17/1487.69	c 1487s |      19 |  3317135 |   581382 |    22811     81 |      391 |      332
1489.27/1489.72	c 1489s |      19 |  3318067 |   581782 |    22811     81 |      391 |      332
1491.57/1492.09	c 1491s |      19 |  3319009 |   582182 |    22811     82 |      391 |      332
1493.77/1494.21	c 1493s |      19 |  3322544 |   583182 |    22811     82 |      391 |      332
1495.77/1496.29	c 1496s |      19 |  3324551 |   583782 |    22811     82 |      391 |      332
1498.07/1498.57	c 1498s |      19 |  3325777 |   584282 |    22811     82 |      391 |      332
1500.27/1500.74	c 1500s |      19 |  3327230 |   584782 |    22811     82 |      391 |      332
1502.47/1502.94	c 1502s |      19 |  3329131 |   585282 |    22811     82 |      391 |      332
1504.86/1505.33	c 1505s |      19 |  3330006 |   585582 |    22811     82 |      391 |      332
1507.86/1508.36	c 1508s |      19 |  3330482 |   585882 |    22811     82 |      391 |      332
1510.06/1510.54	c 1510s |      19 |  3332610 |   586582 |    22811     83 |      391 |      332
1512.17/1512.63	c 1512s |      19 |  3336497 |   587482 |    22811     83 |      391 |      332
1514.27/1514.73	c 1514s |      19 |  3338473 |   588182 |    22811     83 |      391 |      332
1516.26/1516.79	c 1516s |      19 |  3341694 |   589082 |    22811     83 |      391 |      332
1518.78/1519.24	c 1519s |      19 |  3344876 |   589982 |    22811     84 |      391 |      332
1520.87/1521.34	c 1521s |      19 |  3350149 |   591182 |    22811     84 |      391 |      332
1523.07/1523.52	c 1523s |      19 |  3352147 |   591982 |    22811     84 |      391 |      332
1525.27/1525.77	c 1525s |      19 |  3353836 |   592682 |    22811     84 |      391 |      332
1527.36/1527.83	c 1527s |      19 |  3355013 |   593282 |    22811     84 |      391 |      332
1529.77/1530.22	c 1530s |      19 |  3356434 |   593882 |    22811     85 |      391 |      332
1531.87/1532.31	c 1532s |      19 |  3363525 |   594982 |    22811     85 |      391 |      332
1533.96/1534.46	c 1534s |      19 |  3365383 |   595682 |    22811     85 |      391 |      332
1536.27/1536.77	c 1536s |      19 |  3366564 |   596282 |    22811     85 |      391 |      332
1539.26/1539.73	c 1539s |      19 |  3367824 |   596782 |    22811     85 |      391 |      332
1542.36/1542.83	c 1542s |      19 |  3369183 |   597282 |    22811     85 |      391 |      332
1544.96/1545.41	c 1545s |      19 |  3369985 |   597582 |    22811     85 |      391 |      332
1547.96/1548.41	c 1548s |      19 |  3370465 |   597882 |    22811     85 |      391 |      332
1549.96/1550.49	c 1550s |      19 |  3374595 |   598882 |    22811     86 |      391 |      332
1552.46/1552.90	c 1552s |      19 |  3377091 |   599682 |    22811     86 |      391 |      332
1554.86/1555.36	c 1555s |      19 |  3378028 |   600082 |    22811     86 |      391 |      332
1557.76/1558.21	c 1558s |      19 |  3378835 |   600482 |    22811     86 |      391 |      332
1559.86/1560.35	c 1560s |      19 |  3379361 |   600782 |    22811     86 |      391 |      332
1561.96/1562.43	c 1562s |      19 |  3379951 |   601082 |    22811     86 |      391 |      332
1564.16/1564.62	c 1564s |      19 |  3384165 |   601882 |    22811     87 |      391 |      332
1566.36/1566.86	c 1566s |      19 |  3385562 |   602382 |    22811     87 |      391 |      332
1569.06/1569.58	c 1569s |      19 |  3387934 |   602982 |    22811     87 |      391 |      332
1571.36/1571.81	c 1571s |      19 |  3388685 |   603282 |    22811     87 |      391 |      332
1573.36/1573.88	c 1573s |      19 |  3389224 |   603482 |    22811     87 |      391 |      332
1577.06/1577.57	c 1577s |      19 |  3389960 |   603782 |    22811     87 |      391 |      332
1579.17/1579.68	c 1579s |      19 |  3391670 |   604282 |    22811     87 |      391 |      332
1581.16/1581.69	c 1581s |      19 |  3393053 |   604682 |    22811     87 |      391 |      332
1583.36/1583.87	c 1583s |      19 |  3394375 |   605082 |    22811     87 |      391 |      332
1585.66/1586.12	c 1585s |      19 |  3395211 |   605382 |    22811     87 |      391 |      332
1587.66/1588.14	c 1587s |      19 |  3397344 |   605982 |    22811     88 |      391 |      332
1589.76/1590.26	c 1590s |      19 |  3398954 |   606482 |    22811     88 |      391 |      332
1591.86/1592.31	c 1592s |      19 |  3400288 |   606882 |    22811     88 |      391 |      332
1594.35/1594.82	c 1594s |      19 |  3401015 |   607182 |    22811     88 |      391 |      332
1596.86/1597.31	c 1597s |      19 |  3403091 |   607782 |    22811     88 |      391 |      332
1599.45/1599.91	c 1599s |      19 |  3403629 |   608082 |    22811     88 |      391 |      332
1601.85/1602.30	c 1602s |      19 |  3405473 |   608682 |    22811     88 |      391 |      332
1604.85/1605.35	c 1605s |      19 |  3406110 |   608982 |    22811     88 |      391 |      332
1607.05/1607.53	c 1607s |      19 |  3409350 |   609582 |    22811     89 |      391 |      332
1609.25/1609.79	c 1609s |      19 |  3410636 |   610182 |    22811     89 |      391 |      332
1611.55/1612.01	c 1611s |      19 |  3411484 |   610682 |    22811     89 |      391 |      332
1613.55/1614.04	c 1613s |      19 |  3412419 |   611082 |    22811     89 |      391 |      332
1615.95/1616.43	c 1616s |      19 |  3413165 |   611482 |    22811     89 |      391 |      332
1618.35/1618.85	c 1618s |      19 |  3413775 |   611782 |    22811     89 |      391 |      332
1620.55/1621.09	c 1620s |      19 |  3414708 |   612182 |    22811     89 |      391 |      332
1622.95/1623.42	c 1623s |      19 |  3416795 |   612882 |    22811     89 |      391 |      332
1625.15/1625.66	c 1625s |      19 |  3417141 |   613082 |    22811     89 |      391 |      332
1627.45/1627.95	c 1627s |      19 |  3418720 |   613682 |    22811     90 |      391 |      332
1629.65/1630.16	c 1629s |      19 |  3420159 |   614282 |    22811     90 |      391 |      332
1631.65/1632.18	c 1631s |      19 |  3423035 |   614882 |    22811     90 |      391 |      332
1633.85/1634.32	c 1634s |      19 |  3426697 |   615682 |    22811     90 |      391 |      332
1635.95/1636.49	c 1636s |      19 |  3429701 |   616482 |    22811     90 |      391 |      332
1638.35/1638.80	c 1638s |      19 |  3431497 |   617082 |    22811     90 |      391 |      332
1640.34/1640.80	c 1640s |      19 |  3435106 |   617782 |    22811     91 |      391 |      332
1642.74/1643.28	c 1643s |      19 |  3438172 |   618482 |    22811     91 |      391 |      332
1645.04/1645.55	c 1645s |      19 |  3439144 |   618882 |    22811     91 |      391 |      332
1647.54/1648.06	c 1647s |      19 |  3440467 |   619382 |    22811     91 |      391 |      332
1649.74/1650.28	c 1650s |      19 |  3441332 |   619782 |    22811     91 |      391 |      332
1651.85/1652.36	c 1652s |      19 |  3445516 |   620582 |    22811     92 |      391 |      332
1653.95/1654.49	c 1654s |      19 |  3449094 |   621482 |    22811     92 |      391 |      332
1656.35/1656.88	c 1656s |      19 |  3449940 |   622082 |    22811     92 |      391 |      332
1658.95/1659.42	c 1659s |      19 |  3451904 |   622582 |    22811     92 |      391 |      332
1661.15/1661.64	c 1661s |      19 |  3452832 |   622982 |    22811     92 |      391 |      332
1663.95/1664.45	c 1664s |      19 |  3453716 |   623382 |    22811     92 |      391 |      332
1666.54/1667.03	c 1666s |      19 |  3454485 |   623782 |    22811     92 |      391 |      332
1668.54/1669.04	c 1668s |      19 |  3455702 |   624182 |    22811     93 |      391 |      332
1670.84/1671.37	c 1671s |      19 |  3458206 |   624982 |    22811     93 |      391 |      332
1673.24/1673.72	c 1673s |      19 |  3460516 |   625682 |    22811     93 |      391 |      332
1675.44/1675.95	c 1675s |      19 |  3462298 |   626282 |    22811     93 |      391 |      332
1677.44/1677.98	c 1677s |      19 |  3463287 |   626682 |    22811     93 |      391 |      332
1679.64/1680.20	c 1679s |      19 |  3464005 |   626982 |    22811     93 |      391 |      332
1682.84/1683.33	c 1683s |      19 |  3465027 |   627382 |    22811     93 |      391 |      332
1684.94/1685.44	c 1685s |      19 |  3466975 |   627782 |    22811     94 |      391 |      332
1687.44/1687.94	c 1687s |      19 |  3468976 |   628382 |    22811     94 |      391 |      332
1689.74/1690.24	c 1690s |      19 |  3469758 |   628682 |    22811     94 |      391 |      332
1692.64/1693.13	c 1692s |      19 |  3471420 |   629182 |    22811     94 |      391 |      332
1694.75/1695.25	c 1695s |      19 |  3471809 |   629382 |    22811     94 |      391 |      332
1697.24/1697.73	c 1697s |      19 |  3472470 |   629582 |    22811     94 |      391 |      332
1699.84/1700.38	c 1700s |      19 |  3472813 |   629782 |    22811     94 |      391 |      332
1703.55/1704.06	c 1703s |      19 |  3473201 |   629982 |    22811     94 |      391 |      332
1707.14/1707.67	c 1707s |      19 |  3473570 |   630182 |    22811     94 |      391 |      332
1709.24/1709.77	c 1709s |      19 |  3474376 |   630382 |    22811     95 |      391 |      332
1711.54/1712.08	c 1711s |      19 |  3476382 |   630882 |    22811     95 |      391 |      332
1714.14/1714.60	c 1714s |      19 |  3478292 |   631382 |    22811     95 |      391 |      332
1716.14/1716.68	c 1716s |      19 |  3479798 |   631782 |    22811     95 |      391 |      332
1718.54/1719.00	c 1718s |      19 |  3480305 |   631982 |    22811     95 |      391 |      332
1720.64/1721.16	c 1720s |      19 |  3480773 |   632182 |    22811     95 |      391 |      332
1722.64/1723.17	c 1722s |      19 |  3481251 |   632382 |    22811     95 |      391 |      332
1725.23/1725.71	c 1725s |      19 |  3482184 |   632782 |    22811     95 |      391 |      332
1727.23/1727.78	c 1727s |      19 |  3482502 |   632982 |    22811     95 |      391 |      332
1729.33/1729.84	c 1729s |      19 |  3483147 |   633282 |    22811     95 |      391 |      332
1731.93/1732.48	c 1732s |      19 |  3484318 |   633682 |    22811     95 |      391 |      332
1734.03/1734.53	c 1734s |      19 |  3486493 |   634482 |    22811     96 |      391 |      332
1736.13/1736.63	c 1736s |      19 |  3488883 |   635182 |    22811     96 |      391 |      332
1738.33/1738.87	c 1738s |      19 |  3489886 |   635682 |    22811     96 |      391 |      332
1740.44/1740.90	c 1740s |      19 |  3491387 |   636182 |    22811     96 |      391 |      332
1742.84/1743.30	c 1743s |      19 |  3493398 |   636782 |    22811     96 |      391 |      332
1745.13/1745.65	c 1745s |      19 |  3495018 |   637382 |    22811     96 |      391 |      332
1747.33/1747.90	c 1747s |      19 |  3496794 |   638082 |    22811     97 |      391 |      332
1749.43/1749.92	c 1749s |      19 |  3499223 |   638782 |    22811     97 |      391 |      332
1751.73/1752.27	c 1752s |      19 |  3501816 |   639582 |    22811     97 |      391 |      332
1753.83/1754.35	c 1754s |      19 |  3503478 |   640082 |    22811     97 |      391 |      332
1756.03/1756.59	c 1756s |      19 |  3504510 |   640582 |    22811     97 |      391 |      332
1758.13/1758.63	c 1758s |      19 |  3505779 |   640982 |    22811     97 |      391 |      332
1760.23/1760.71	c 1760s |      19 |  3508319 |   641682 |    22811     98 |      391 |      332
1762.43/1762.91	c 1762s |      19 |  3510101 |   642382 |    22811     98 |      391 |      332
1764.62/1765.12	c 1764s |      19 |  3512309 |   642982 |    22811     98 |      391 |      332
1766.63/1767.13	c 1766s |      19 |  3514061 |   643482 |    22811     98 |      391 |      332
1768.72/1769.26	c 1769s |      19 |  3514969 |   643882 |    22811     98 |      391 |      332
1771.13/1771.62	c 1771s |      19 |  3515765 |   644282 |    22811     98 |      391 |      332
1773.22/1773.74	c 1773s |      19 |  3516564 |   644682 |    22811     99 |      391 |      332
1775.33/1775.85	c 1775s |      19 |  3519006 |   645382 |    22811     99 |      391 |      332
1777.62/1778.10	c 1777s |      19 |  3520971 |   645982 |    22811     99 |      391 |      332
1779.72/1780.21	c 1779s |      19 |  3522301 |   646582 |    22811     99 |      391 |      332
1781.73/1782.27	c 1782s |      19 |  3523131 |   647082 |    22811     99 |      391 |      332
1784.13/1784.63	c 1784s |      19 |  3524334 |   647582 |    22811     99 |      391 |      332
1786.32/1786.83	c 1786s |      19 |  3525894 |   648082 |    22811    100 |      391 |      332
1788.63/1789.19	c 1788s |      19 |  3528486 |   648782 |    22811    100 |      391 |      332
1791.02/1791.56	c 1791s |      19 |  3530825 |   649382 |    22811    100 |      391 |      332
1793.33/1793.82	c 1793s |      19 |  3531776 |   649782 |    22811    100 |      391 |      332
1795.52/1796.01	c 1795s |      19 |  3532447 |   650082 |    22811    100 |      391 |      332
1797.72/1798.22	c 1798s |      19 |  3533028 |   650382 |    22811    100 |      391 |      332
1799.92/1800.42	c 1800s |      19 |  3533630 |   650682 |    22811    100 |      391 |      332

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 4/179 9322
/proc/meminfo: memFree=30596248/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=795068 CPUtime=0 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 2977 0 0 0 0 0 0 0 20 0 4 0 110256324 814149632 3337 33554432000 4194304 16246674 140735792063136 140735792062560 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 199279 3347 441 2943 0 196173 0
[pid=9322/tid=9323] ppid=9319 vsize=812476 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 831975424 3409 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=816572 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 836169728 3425 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=821692 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 841412608 3442 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.00 2.02 2.00 4/179 9322
/proc/meminfo: memFree=30596248/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 28380 0 0 0 6 3 0 0 20 0 4 0 110256324 1333334016 28678 33554432000 4194304 16246674 140735792063136 140735792062448 5703736 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 325521 28694 808 2943 0 322415 0
[pid=9322/tid=9323] ppid=9319 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1333334016 28706 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1333334016 28716 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1333334016 28728 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200583 s]
/proc/loadavg: 2.00 2.02 2.00 4/179 9322
/proc/meminfo: memFree=30596248/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 45328 0 0 0 13 6 0 0 20 0 4 0 110256324 1333334016 45626 33554432000 4194304 16246674 140735792063136 140735792062448 13780624 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 325521 45626 836 2943 0 322415 0
[pid=9322/tid=9323] ppid=9319 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1333334016 45626 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1333334016 45626 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1333334016 45626 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.30053 s]
/proc/loadavg: 2.00 2.02 2.00 4/179 9322
/proc/meminfo: memFree=30596248/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 57003 0 0 0 22 7 0 0 20 0 4 0 110256324 1333334016 57301 33554432000 4194304 16246674 140735792063136 140735792062448 12875570 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 325521 57316 878 2943 0 322415 0
[pid=9322/tid=9323] ppid=9319 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1333334016 57324 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1333334016 57333 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1333334016 57343 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700451 s]
/proc/loadavg: 2.00 2.02 2.00 4/179 9322
/proc/meminfo: memFree=30596248/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1309252 CPUtime=0.69 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 109750 0 0 0 54 15 0 0 20 0 4 0 110256324 1340674048 110048 33554432000 4194304 16246674 140735792063136 140735792062448 5667484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 327313 110048 885 2943 0 324207 0
[pid=9322/tid=9323] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 110048 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 110048 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 110048 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1309252

[startup+1.50044 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 9326
/proc/meminfo: memFree=30085156/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1309252 CPUtime=1.49 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 230060 0 0 0 117 32 0 0 20 0 4 0 110256324 1340674048 230359 33554432000 4194304 16246674 140735792063136 140735792045056 13191638 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 327313 230365 885 2943 0 324207 0
[pid=9322/tid=9323] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 230371 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 230372 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 230374 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1309252

[startup+3.10045 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 9326
/proc/meminfo: memFree=29521188/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1309252 CPUtime=3.09 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 268497 0 0 0 272 37 0 0 20 0 4 0 110256324 1340674048 268795 33554432000 4194304 16246674 140735792063136 140735792046136 5661211 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 327313 268795 885 2943 0 324207 0
[pid=9322/tid=9323] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 268795 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 268795 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 268795 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1309252

[startup+6.30045 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 9326
/proc/meminfo: memFree=29520600/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1309252 CPUtime=6.29 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 268497 0 0 0 592 37 0 0 20 0 4 0 110256324 1340674048 268795 33554432000 4194304 16246674 140735792063136 140735792045056 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 327313 268795 885 2943 0 324207 0
[pid=9322/tid=9323] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 268795 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 268795 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 268795 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7005 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 9326
/proc/meminfo: memFree=29520592/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1309252 CPUtime=12.69 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 268497 0 0 0 1232 37 0 0 20 0 4 0 110256324 1340674048 268795 33554432000 4194304 16246674 140735792063136 140735792045056 6021536 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 327313 268795 885 2943 0 324207 0
[pid=9322/tid=9323] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 268795 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 268795 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 268795 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.00 2.02 2.00 3/183 9326
/proc/meminfo: memFree=29520724/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1309252 CPUtime=25.49 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 268498 0 0 0 2511 38 0 0 20 0 4 0 110256324 1340674048 268796 33554432000 4194304 16246674 140735792063136 140735792045056 5721776 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 327313 268796 886 2943 0 324207 0
[pid=9322/tid=9323] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 268796 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 268796 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 268796 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1309252

[startup+51.1006 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 9326
/proc/meminfo: memFree=29521064/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1309252 CPUtime=51.08 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 268498 0 0 0 5068 40 0 0 20 0 4 0 110256324 1340674048 268796 33554432000 4194304 16246674 140735792063136 140735792062312 5754927 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 327313 268796 886 2943 0 324207 0
[pid=9322/tid=9323] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 268796 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 268796 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1340674048 268796 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 9327
/proc/meminfo: memFree=29520464/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1310276 CPUtime=102.28 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 268508 0 0 0 10183 45 0 0 20 0 4 0 110256324 1341722624 268806 33554432000 4194304 16246674 140735792063136 140735792045056 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 327569 268806 886 2943 0 324463 0
[pid=9322/tid=9323] ppid=9319 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1341722624 268806 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1341722624 268806 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1341722624 268806 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1310276


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

/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.34 2.15 2.04 3/183 9408
/proc/meminfo: memFree=29515156/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1311300 CPUtime=1361.89 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 269187 0 0 0 136105 84 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140735792062312 14628944 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 327825 269404 886 2943 0 324719 0
[pid=9322/tid=9323] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1311300

[startup+1422.3 s]
/proc/loadavg: 2.20 2.13 2.04 3/183 9412
/proc/meminfo: memFree=29515340/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1311300 CPUtime=1421.88 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 269187 0 0 0 142102 86 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140735792045056 6836029 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 327825 269404 886 2943 0 324719 0
[pid=9322/tid=9323] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1311300

[startup+1482.3 s]
/proc/loadavg: 2.14 2.12 2.04 3/183 9414
/proc/meminfo: memFree=29513012/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1311300 CPUtime=1481.87 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 269187 0 0 0 148099 88 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140735792062312 5545898 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 327825 269404 886 2943 0 324719 0
[pid=9322/tid=9323] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1311300

[startup+1542.31 s]
/proc/loadavg: 2.13 2.11 2.04 3/183 9415
/proc/meminfo: memFree=29513060/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1311300 CPUtime=1541.87 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 269187 0 0 0 154098 89 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140735792062312 12483218 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 327825 269404 886 2943 0 324719 0
[pid=9322/tid=9323] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1311300

[startup+1602.3 s]
/proc/loadavg: 2.05 2.09 2.03 3/183 9416
/proc/meminfo: memFree=29513400/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1311300 CPUtime=1601.85 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 269187 0 0 0 160094 91 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140735792045056 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 327825 269404 886 2943 0 324719 0
[pid=9322/tid=9323] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1311300

[startup+1662.3 s]
/proc/loadavg: 2.06 2.09 2.03 3/183 9418
/proc/meminfo: memFree=29513276/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1311300 CPUtime=1661.85 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 269187 0 0 0 166092 93 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140735792045056 5717780 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 327825 269404 886 2943 0 324719 0
[pid=9322/tid=9323] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1311300

[startup+1722.3 s]
/proc/loadavg: 2.13 2.10 2.04 3/183 9419
/proc/meminfo: memFree=29513028/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1311300 CPUtime=1721.84 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 269187 0 0 0 172090 94 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140735792045056 5546214 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 327825 269404 886 2943 0 324719 0
[pid=9322/tid=9323] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1311300

[startup+1782.3 s]
/proc/loadavg: 2.10 2.09 2.04 3/183 9420
/proc/meminfo: memFree=29512528/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1311300 CPUtime=1781.83 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 269187 0 0 0 178083 100 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140735792045056 12483399 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 327825 269404 886 2943 0 324719 0
[pid=9322/tid=9323] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1311300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.14 2.10 2.04 3/183 9420
/proc/meminfo: memFree=29512656/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1311300 CPUtime=1800.02 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 269187 0 0 0 179897 105 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140735792062312 5553608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 327825 269404 886 2943 0 324719 0
[pid=9322/tid=9323] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1311300

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

[startup+1800.5 s]
/proc/loadavg: 2.14 2.10 2.04 3/183 9420
/proc/meminfo: memFree=29512656/32872528 swapFree=12744/274376
[pid=9322] ppid=9319 vsize=1311300 CPUtime=1800.02 cores=1,3,5,7
/proc/9322/stat : 9322 (toysat) R 9319 9322 5566 0 -1 4202496 269187 0 0 0 179897 105 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140735792062312 5553608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9322/statm: 327825 269404 886 2943 0 324719 0
[pid=9322/tid=9323] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9323/stat : 9323 (toysat) S 9319 9322 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237926804720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=9322/tid=9324] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9324/stat : 9324 (toysat) S 9319 9322 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237916314864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=9322/tid=9325] ppid=9319 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9322/task/9325/stat : 9325 (toysat) S 9319 9322 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256324 1342771200 269404 33554432000 4194304 16246674 140735792063136 140237795749040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1311300

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1798.98
CPU system time (s): 1.05584
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 1311300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.05584
maximum resident set size= 1077616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269187
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= 356
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.394 second user time and 15.7706 second system time

The end

Begin job on node107 at 2016-06-07 09:06:56
IDJOB=4078932
IDBENCH=90126
IDSOLVER=2542
FILE ID=node107/4078932-1465283216
RUNJOBID= node107-1465255895-5583
PBS_JOBID= 19843278
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 07ddcd712bd0834d3fad6b8ca9adfb4d
RANDOM SEED=1082181868

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.441
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:        30595884 kB
Buffers:           59800 kB
Cached:           126832 kB
SwapCached:         1492 kB
Active:          1169192 kB
Inactive:          98872 kB
Active(anon):    1079876 kB
Inactive(anon):     5100 kB
Active(file):      89316 kB
Inactive(file):    93772 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098524 kB
Dirty:             16732 kB
Writeback:             0 kB
AnonPages:       1455020 kB
Mapped:            10820 kB
Shmem:                 0 kB
Slab:             599496 kB
SReclaimable:      42980 kB
SUnreclaim:       556516 kB
KernelStack:        1520 kB
PageTables:         7164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1498804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1140736 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= 71716 MiB
End job on node107 at 2016-06-07 09:36:56