Trace number 4078712

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.06 1800.71

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24bt.opb
MD5SUMf8964c43535341fcc69e672675167b77
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark110.139
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables490
Total number of constraints1085
Number of constraints which are clauses738
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints345
Minimum length of a constraint1
Maximum length of a constraint169
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 193
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T14:51:06+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-4078712-1465217466.opb"]
0.00/0.01	c use --random-gen="1724815908 2889699218 1038940940 893249379 909326141 4009652249 592328527 1457250513 761092753 2470685408 2518017363 633929442 3026927850 1674782966 1378819312 3657298100 2134377807 3082186847 4138988389 281890121 862103922 2032941044 3872592556 463349879 3226773765 617574556 3051775151 3780148172 3300527723 1673048686 3638511766 4091857024 3076399895 3542827192 3708574908 1375212469 175321875 2159650307 466036942 973015803 3660850064 3544948381 3865289362 2066813959 1422242636 890435488 768101919 2310428618 930062346 322136603 3401124610 3865612172 3963745886 2093610118 2644927107 3632652613 885029384 1186455740 1959897396 1115647072 4159763713 486361483 2512518367 3656914546 2056159982 2057115581 336228012 1519701752 1258975040 3852406953 2967319797 2719111829 3364166536 1018853922 2453643693 2633966817 583414907 2039294467 3076353400 377606529 559311259 3690468544 2429524166 3943360286 3862954216 3641455317 1402639611 790882146 511675363 794938125 3443965271 1964481985 3090678985 3331709809 2315003629 2721183798 394358660 3717516295 1410797061 3026241229 2422981271 261234901 2130863941 3493369589 3852394309 3777872989 1683480059 538915933 3287568140 2945627360 1862601827 3025079472 3800119700 1112574605 770139534 1147307498 2401650524 3451317842 1275300960 3191434103 1434031526 2255825556 3684775034 3851278379 3205252404 841933784 1365483853 3950815749 3970033863 2564909351 41842949 2524670834 1144705058 3637709995 2256618690 1498851545 543314773 3757047924 3389423991 1627130006 124379823 1990608412 779059082 2853325736 881121302 156403671 2669195864 4209629724 2252328189 3446429796 1212191647 1458954555 3835878452 2478591983 3549392668 311660162 1007500550 4111702517 180389039 466091401 270953693 2757499208 234958612 2021502241 1125798830 3904743983 4000119430 4155806752 3703401591 209997181 365246799 2563483540 167468937 2342804459 1570459735 1280244198 2078271994 1422767020 2822182941 4097756852 1630701884 3991235695 363615485 581663548 4220124771 1321422109 1745010588 4254363016 1023871227 2607034283 717835773 2305117706 1555614617 1653645007 1227695441 3337063710 36434337 1059659891 1285080295 1227410261 3833650516 682542563 3364592266 2624969778 841269496 948330024 2621306345 2975031745 183937132 537059317 2320084564 2508021724 3796015619 1219178945 4196896996 3247923081 2988834397 1045104115 3518362517 3773068620 937960590 1496728097 3791888188 1502210091 3680627224 1509615691 3175379089 2972214167 1926896083 2735135780 3937803946 1627694050 564118358 3683981676 2263661278 682901822 4165547958 2363020672 1927218300 4137679832 840974451 333144519 2511352501 3449609527 2233664513 2869172102 3193925752 1581462848 2346149793 1765804367 1129761274 3072431813 2857301230 845092288 1491355724 19290613 255 362436" option to reproduce the execution
0.00/0.02	c #vars 490
0.00/0.02	c #constraints 1085
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      524      0 |       16 |        0
0.09/0.10	c  0.1s |       1 |      136 |      100 |      524      0 |       16 |       32
0.09/0.17	c  0.1s |       2 |      441 |      250 |      577      0 |       16 |       32
0.29/0.30	c  0.3s |       3 |      831 |      475 |      635      0 |       16 |       32
0.49/0.51	c  0.5s |       4 |     1331 |      813 |      699      0 |       16 |       32
0.79/0.84	c  0.8s |       5 |     2051 |     1320 |      769      1 |       16 |       32
1.20/1.25	c  1.2s |       6 |     3010 |     2081 |      931      3 |       16 |       32
1.79/1.80	c  1.8s |       7 |     4538 |     3223 |     1025      5 |       17 |       34
2.49/2.59	c  2.5s |       8 |     6505 |     4936 |     1128      7 |       17 |       34
3.69/3.75	c  3.7s |       9 |     9437 |     7506 |     1241     11 |       17 |       34
5.60/5.62	c  5.6s |      10 |    13763 |    11361 |     1366     16 |       17 |       34
7.59/7.66	c  7.6s |      10 |    18320 |    15561 |     1366     21 |       17 |       34
8.39/8.45	c  8.4s |      11 |    20033 |    17144 |     1503     23 |       17 |       34
10.39/10.47	c 10.4s |      11 |    24200 |    20944 |     1503     27 |       17 |       34
12.49/12.51	c 12.5s |      11 |    28298 |    24744 |     1503     31 |       17 |       34
13.09/13.11	c 13.1s |      12 |    29514 |    25819 |     1654     32 |       17 |       34
15.09/15.15	c 15.1s |      12 |    33801 |    29419 |     1654     36 |       18 |       36
17.09/17.16	c 17.1s |      12 |    37983 |    33219 |     1654     40 |       18 |       36
19.18/19.20	c 19.2s |      12 |    42073 |    37019 |     1654     44 |       18 |       36
20.18/20.20	c 20.2s |      13 |    44088 |    38832 |     1820     46 |       18 |       36
22.19/22.23	c 22.2s |      13 |    48250 |    42432 |     1820     49 |       19 |       38
24.18/24.27	c 24.2s |      13 |    52348 |    46132 |     1820     53 |       20 |       40
26.18/26.28	c 26.2s |      13 |    56494 |    49832 |     1820     56 |       21 |       42
28.28/28.31	c 28.3s |      13 |    60726 |    53732 |     1820     60 |       21 |       42
30.28/30.35	c 30.3s |      13 |    64790 |    57532 |     1820     64 |       21 |       42
30.68/30.75	c 30.7s |      14 |    65648 |    58352 |     2003     64 |       21 |       42
32.68/32.79	c 32.7s |      14 |    69848 |    62152 |     2003     68 |       21 |       42
34.78/34.84	c 34.8s |      14 |    73879 |    65952 |     2003     71 |       21 |       42
36.79/36.85	c 36.8s |      14 |    78059 |    69752 |     2003     74 |       21 |       42
38.79/38.89	c 38.8s |      14 |    81986 |    73452 |     2003     78 |       21 |       42
40.80/40.90	c 40.9s |      14 |    86162 |    77152 |     2003     81 |       21 |       42
42.89/42.95	c 42.9s |      14 |    89994 |    80752 |     2003     84 |       21 |       42
44.88/44.97	c 44.9s |      14 |    94032 |    84452 |     2003     87 |       21 |       42
46.68/46.76	c 46.7s |      15 |    97436 |    87632 |     2204     90 |       21 |       42
48.68/48.77	c 48.7s |      15 |   101494 |    91332 |     2204     93 |       21 |       42
50.69/50.78	c 50.7s |      15 |   105497 |    95032 |     2204     96 |       21 |       42
52.78/52.82	c 52.8s |      15 |   109788 |    98832 |     2204     99 |       21 |       42
54.78/54.88	c 54.8s |      15 |   113414 |   102232 |     2204    102 |       21 |       42
56.78/56.89	c 56.8s |      15 |   117607 |   106032 |     2204    105 |       21 |       42
58.88/58.94	c 58.9s |      15 |   121632 |   109732 |     2204    108 |       21 |       42
60.88/60.96	c 60.9s |      15 |   125083 |   113032 |     2204    111 |       21 |       42
62.98/63.00	c 63.0s |      15 |   128860 |   116432 |     2204    113 |       21 |       42
64.88/65.00	c 65.0s |      15 |   132464 |   119632 |     2204    116 |       21 |       42
66.98/67.04	c 67.0s |      15 |   136580 |   123432 |     2204    119 |       21 |       42
68.98/69.09	c 69.0s |      15 |   140345 |   126732 |     2204    121 |       21 |       42
71.08/71.14	c 71.1s |      15 |   143755 |   130032 |     2204    124 |       21 |       42
71.98/72.04	c 72.0s |      16 |   145479 |   131552 |     2425    125 |       21 |       42
73.97/74.07	c 74.0s |      16 |   149827 |   135452 |     2425    128 |       21 |       42
75.98/76.10	c 76.1s |      16 |   153600 |   138952 |     2425    131 |       21 |       42
78.07/78.11	c 78.1s |      16 |   157250 |   142352 |     2425    133 |       21 |       42
80.07/80.12	c 80.1s |      16 |   160888 |   145752 |     2425    136 |       21 |       42
82.07/82.15	c 82.1s |      16 |   164659 |   149152 |     2425    138 |       21 |       42
84.07/84.18	c 84.1s |      16 |   168350 |   152452 |     2425    141 |       21 |       42
86.17/86.24	c 86.2s |      16 |   172407 |   155952 |     2425    143 |       21 |       42
88.27/88.30	c 88.3s |      16 |   176231 |   159352 |     2425    146 |       21 |       42
90.29/90.34	c 90.3s |      16 |   179495 |   162352 |     2425    148 |       21 |       42
92.28/92.39	c 92.3s |      16 |   183194 |   165652 |     2425    151 |       21 |       42
94.28/94.39	c 94.3s |      16 |   186968 |   169052 |     2425    153 |       21 |       42
96.38/96.42	c 96.4s |      16 |   190602 |   172252 |     2425    155 |       23 |       46
98.38/98.45	c 98.4s |      16 |   194623 |   175952 |     2425    158 |       23 |       46
100.48/100.50	c  100s |      16 |   198318 |   179452 |     2425    161 |       23 |       46
102.49/102.55	c  102s |      16 |   201892 |   182652 |     2425    163 |       23 |       46
104.59/104.63	c  104s |      16 |   205343 |   185852 |     2425    166 |       23 |       46
106.58/106.63	c  106s |      16 |   209104 |   189352 |     2425    168 |       23 |       46
108.68/108.72	c  108s |      16 |   212470 |   192552 |     2425    171 |       23 |       46
110.68/110.75	c  110s |      16 |   215730 |   195652 |     2425    173 |       23 |       46
111.98/112.01	c  111s |      17 |   217586 |   197432 |     2668    174 |       23 |       46
113.97/114.03	c  113s |      17 |   221383 |   200832 |     2668    176 |       23 |       46
115.97/116.05	c  116s |      17 |   225168 |   204332 |     2668    179 |       23 |       46
117.97/118.05	c  118s |      17 |   229072 |   207832 |     2668    181 |       23 |       46
119.98/120.05	c  120s |      17 |   232763 |   211232 |     2668    183 |       23 |       46
121.97/122.07	c  122s |      17 |   236498 |   214732 |     2668    186 |       23 |       46
124.07/124.12	c  124s |      17 |   240438 |   218432 |     2668    188 |       23 |       46
126.07/126.15	c  126s |      17 |   243834 |   221632 |     2668    190 |       23 |       46
128.07/128.19	c  128s |      17 |   247413 |   224932 |     2668    193 |       23 |       46
130.17/130.22	c  130s |      17 |   251178 |   228332 |     2668    195 |       23 |       46
132.18/132.24	c  132s |      17 |   254818 |   231532 |     2668    197 |       23 |       46
134.17/134.27	c  134s |      17 |   258574 |   235032 |     2668    199 |       23 |       46
136.27/136.33	c  136s |      17 |   262032 |   238132 |     2668    202 |       23 |       46
138.27/138.37	c  138s |      17 |   265583 |   241232 |     2668    204 |       23 |       46
140.37/140.41	c  140s |      17 |   269141 |   244632 |     2668    206 |       23 |       46
142.37/142.43	c  142s |      17 |   272821 |   247932 |     2668    208 |       23 |       46
144.47/144.51	c  144s |      17 |   276513 |   251232 |     2668    210 |       23 |       46
146.48/146.53	c  146s |      17 |   279944 |   254332 |     2668    213 |       23 |       46
148.47/148.54	c  148s |      17 |   283323 |   257432 |     2668    215 |       23 |       46
150.46/150.57	c  150s |      17 |   286714 |   260432 |     2668    217 |       23 |       46
152.56/152.63	c  152s |      17 |   290048 |   263532 |     2668    219 |       23 |       46
154.56/154.64	c  154s |      17 |   293503 |   266732 |     2668    221 |       23 |       46
156.56/156.66	c  156s |      17 |   297299 |   270132 |     2668    223 |       23 |       46
158.57/158.69	c  158s |      17 |   300835 |   273532 |     2668    226 |       23 |       46
160.56/160.69	c  160s |      17 |   304205 |   276732 |     2668    228 |       23 |       46
162.66/162.72	c  162s |      17 |   307393 |   279632 |     2668    230 |       23 |       46
164.66/164.75	c  164s |      17 |   310854 |   282832 |     2668    232 |       23 |       46
166.76/166.81	c  166s |      17 |   314468 |   286232 |     2668    234 |       23 |       46
168.76/168.81	c  168s |      17 |   317676 |   289232 |     2668    236 |       23 |       46
170.76/170.81	c  170s |      17 |   320750 |   292132 |     2668    238 |       23 |       46
172.77/172.82	c  172s |      17 |   324177 |   295432 |     2935    240 |       23 |       46
173.36/173.40	c  173s |      18 |   325027 |   296252 |     2935    241 |       23 |       46
175.36/175.44	c  175s |      18 |   329525 |   300252 |     2935    243 |       23 |       46
177.36/177.45	c  177s |      18 |   333397 |   303852 |     2935    246 |       23 |       46
179.37/179.47	c  179s |      18 |   337318 |   307552 |     2935    248 |       23 |       46
181.36/181.47	c  181s |      18 |   341015 |   310952 |     2935    250 |       23 |       46
183.46/183.51	c  183s |      18 |   344800 |   314352 |     2935    252 |       23 |       46
185.46/185.57	c  185s |      18 |   348651 |   317752 |     2935    254 |       23 |       46
187.56/187.63	c  187s |      18 |   352327 |   321152 |     2935    256 |       23 |       46
189.56/189.63	c  189s |      18 |   356188 |   324552 |     2935    258 |       23 |       46
191.57/191.65	c  191s |      18 |   359937 |   327852 |     2935    260 |       23 |       46
193.56/193.66	c  193s |      18 |   363616 |   331052 |     2935    262 |       23 |       46
195.56/195.66	c  195s |      18 |   367660 |   334852 |     2935    265 |       23 |       46
197.56/197.67	c  197s |      18 |   371520 |   338352 |     2935    267 |       23 |       46
199.55/199.69	c  199s |      18 |   375051 |   341552 |     2935    269 |       23 |       46
201.65/201.72	c  201s |      18 |   378666 |   344852 |     2935    271 |       23 |       46
203.67/203.72	c  203s |      18 |   382001 |   347852 |     2935    273 |       23 |       46
205.65/205.73	c  205s |      18 |   385433 |   350852 |     2935    275 |       23 |       46
207.75/207.81	c  207s |      18 |   388917 |   353952 |     2935    277 |       23 |       46
209.76/209.84	c  209s |      18 |   392351 |   356952 |     2935    279 |       23 |       46
211.76/211.89	c  211s |      18 |   395843 |   360052 |     2935    281 |       23 |       46
213.76/213.89	c  213s |      18 |   399530 |   363152 |     2935    283 |       23 |       46
215.86/215.92	c  215s |      18 |   403133 |   366352 |     2935    285 |       23 |       46
217.87/217.97	c  217s |      18 |   406674 |   369552 |     2935    287 |       23 |       46
219.96/220.02	c  219s |      18 |   410113 |   372552 |     2935    288 |       23 |       46
221.96/222.07	c  222s |      18 |   413590 |   375752 |     2935    290 |       23 |       46
224.06/224.10	c  224s |      18 |   417042 |   378652 |     2935    292 |       23 |       46
226.06/226.12	c  226s |      18 |   420185 |   381552 |     2935    294 |       23 |       46
228.06/228.17	c  228s |      18 |   423421 |   384452 |     2935    296 |       23 |       46
230.16/230.23	c  230s |      18 |   427049 |   387652 |     2935    298 |       23 |       46
232.17/232.23	c  232s |      18 |   430280 |   390452 |     2935    300 |       23 |       46
234.16/234.27	c  234s |      18 |   433806 |   393552 |     2935    301 |       23 |       46
236.26/236.30	c  236s |      18 |   437155 |   396652 |     2935    303 |       23 |       46
238.26/238.33	c  238s |      18 |   440439 |   399752 |     2935    305 |       23 |       46
240.26/240.36	c  240s |      18 |   443780 |   402652 |     2935    307 |       23 |       46
242.26/242.36	c  242s |      18 |   446792 |   405252 |     2935    309 |       23 |       46
244.37/244.43	c  244s |      18 |   450156 |   408052 |     2935    310 |       23 |       46
246.36/246.48	c  246s |      18 |   453199 |   410952 |     2935    312 |       23 |       46
248.36/248.48	c  248s |      18 |   456752 |   414152 |     2935    314 |       23 |       46
250.35/250.49	c  250s |      18 |   460211 |   417352 |     2935    316 |       23 |       46
252.45/252.51	c  252s |      18 |   463473 |   420352 |     2935    318 |       23 |       46
254.45/254.57	c  254s |      18 |   466652 |   423352 |     2935    320 |       23 |       46
256.55/256.61	c  256s |      18 |   469592 |   426052 |     2935    322 |       23 |       46
258.56/258.67	c  258s |      18 |   472785 |   429152 |     2935    324 |       23 |       46
260.55/260.68	c  260s |      18 |   476194 |   432252 |     2935    325 |       23 |       46
262.65/262.70	c  262s |      18 |   479982 |   435752 |     2935    328 |       23 |       46
264.65/264.71	c  264s |      18 |   483330 |   438852 |     2935    330 |       23 |       46
266.65/266.71	c  266s |      18 |   486859 |   441952 |     3229    331 |       23 |       46
268.35/268.47	c  268s |      19 |   489657 |   444482 |     3229    333 |       23 |       46
270.45/270.51	c  270s |      19 |   492908 |   447382 |     3229    334 |       23 |       46
272.45/272.54	c  272s |      19 |   496225 |   450582 |     3229    336 |       23 |       46
274.45/274.55	c  274s |      19 |   499189 |   453382 |     3229    338 |       23 |       46
276.45/276.58	c  276s |      19 |   502128 |   456182 |     3229    339 |       23 |       46
278.55/278.62	c  278s |      19 |   505426 |   459182 |     3229    341 |       23 |       46
280.56/280.69	c  280s |      19 |   508544 |   462182 |     3229    343 |       23 |       46
282.65/282.71	c  282s |      19 |   511439 |   464882 |     3229    344 |       23 |       46
284.65/284.75	c  284s |      19 |   514253 |   467582 |     3229    346 |       23 |       46
286.65/286.78	c  286s |      19 |   517111 |   470282 |     3229    347 |       23 |       46
288.65/288.78	c  288s |      19 |   519820 |   472782 |     3229    349 |       23 |       46
290.65/290.79	c  290s |      19 |   523140 |   475682 |     3229    350 |       23 |       46
292.76/292.84	c  292s |      19 |   526462 |   478682 |     3229    352 |       23 |       46
294.75/294.84	c  294s |      19 |   529683 |   481482 |     3229    354 |       23 |       46
296.74/296.88	c  296s |      19 |   532938 |   484382 |     3229    355 |       23 |       46
298.84/298.93	c  298s |      19 |   536598 |   487782 |     3229    357 |       23 |       46
300.84/300.98	c  300s |      19 |   539790 |   490682 |     3229    359 |       23 |       46
302.84/302.99	c  302s |      19 |   542974 |   493582 |     3229    361 |       23 |       46
304.94/305.05	c  305s |      19 |   546048 |   496382 |     3229    362 |       23 |       46
307.05/307.11	c  307s |      19 |   548996 |   499082 |     3229    364 |       23 |       46
309.04/309.17	c  309s |      19 |   552037 |   501782 |     3229    365 |       23 |       46
311.14/311.22	c  311s |      19 |   555419 |   504882 |     3229    367 |       23 |       46
313.15/313.24	c  313s |      19 |   558483 |   507782 |     3229    369 |       23 |       46
315.15/315.25	c  315s |      19 |   561605 |   510782 |     3229    370 |       23 |       46
317.15/317.29	c  317s |      19 |   564396 |   513482 |     3229    372 |       23 |       46
319.25/319.31	c  319s |      19 |   567730 |   516482 |     3229    374 |       23 |       46
321.26/321.35	c  321s |      19 |   571140 |   519482 |     3229    375 |       23 |       46
323.24/323.38	c  323s |      19 |   574436 |   522582 |     3229    377 |       23 |       46
325.24/325.38	c  325s |      19 |   577540 |   525482 |     3229    379 |       23 |       46
327.34/327.44	c  327s |      19 |   580634 |   528382 |     3229    380 |       23 |       46
329.34/329.46	c  329s |      19 |   583556 |   531082 |     3229    382 |       23 |       46
331.44/331.51	c  331s |      19 |   586502 |   533882 |     3229    383 |       23 |       46
333.45/333.54	c  333s |      19 |   589586 |   536782 |     3229    385 |       23 |       46
335.55/335.63	c  335s |      19 |   592324 |   539382 |     3229    387 |       23 |       46
337.54/337.68	c  337s |      19 |   595959 |   542482 |     3229    388 |       23 |       46
339.64/339.73	c  339s |      19 |   599431 |   545482 |     3229    390 |       23 |       46
341.64/341.75	c  341s |      19 |   602605 |   548482 |     3229    392 |       23 |       46
343.64/343.76	c  343s |      19 |   605902 |   551282 |     3229    393 |       23 |       46
345.64/345.77	c  345s |      19 |   609148 |   554182 |     3229    395 |       23 |       46
347.65/347.80	c  347s |      19 |   612324 |   557082 |     3229    397 |       23 |       46
349.74/349.83	c  349s |      19 |   615568 |   560082 |     3229    398 |       23 |       46
351.74/351.84	c  351s |      19 |   618574 |   562782 |     3229    400 |       23 |       46
353.84/353.92	c  353s |      19 |   621636 |   565682 |     3229    402 |       23 |       46
355.84/355.93	c  355s |      19 |   624610 |   568482 |     3229    403 |       23 |       46
357.84/357.97	c  357s |      19 |   627461 |   571182 |     3229    405 |       23 |       46
359.94/360.04	c  359s |      19 |   630397 |   573982 |     3229    406 |       23 |       46
361.95/362.06	c  362s |      19 |   633362 |   576782 |     3229    408 |       23 |       46
364.03/364.13	c  364s |      19 |   636665 |   579882 |     3229    410 |       23 |       46
366.03/366.14	c  366s |      19 |   639784 |   582782 |     3229    411 |       23 |       46
368.03/368.19	c  368s |      19 |   642641 |   585282 |     3229    413 |       23 |       46
370.13/370.20	c  370s |      19 |   645558 |   587982 |     3229    414 |       23 |       46
372.13/372.28	c  372s |      19 |   648534 |   590582 |     3229    416 |       23 |       46
374.23/374.34	c  374s |      19 |   651527 |   593282 |     3229    417 |       23 |       46
376.24/376.35	c  376s |      19 |   654292 |   595882 |     3229    419 |       23 |       46
378.23/378.38	c  378s |      19 |   657162 |   598482 |     3229    420 |       23 |       46
380.23/380.39	c  380s |      19 |   660188 |   601282 |     3229    422 |       23 |       46
382.33/382.42	c  382s |      19 |   663220 |   603982 |     3229    423 |       23 |       46
384.33/384.44	c  384s |      19 |   666164 |   606682 |     3229    425 |       23 |       46
386.33/386.49	c  386s |      19 |   669145 |   609482 |     3229    426 |       23 |       46
388.44/388.54	c  388s |      19 |   672171 |   612282 |     3229    428 |       23 |       46
390.54/390.62	c  390s |      19 |   675113 |   615082 |     3229    430 |       23 |       46
392.53/392.65	c  392s |      19 |   678280 |   618082 |     3229    431 |       23 |       46
394.63/394.70	c  394s |      19 |   681419 |   621082 |     3229    433 |       23 |       46
396.73/396.80	c  396s |      19 |   684223 |   623782 |     3229    435 |       23 |       46
398.73/398.80	c  398s |      19 |   686936 |   626282 |     3229    436 |       23 |       46
400.73/400.86	c  400s |      19 |   689782 |   628882 |     3229    437 |       23 |       46
402.83/402.96	c  402s |      19 |   692352 |   631082 |     3229    439 |       23 |       46
404.94/405.01	c  404s |      19 |   694704 |   633082 |     3229    440 |       23 |       46
406.92/407.02	c  406s |      19 |   698083 |   635982 |     3229    441 |       24 |       48
408.92/409.06	c  409s |      19 |   701322 |   638882 |     3229    443 |       24 |       48
410.92/411.07	c  411s |      19 |   704454 |   641682 |     3229    445 |       24 |       48
413.02/413.13	c  413s |      19 |   707592 |   644382 |     3229    446 |       24 |       48
415.02/415.15	c  415s |      19 |   710683 |   646882 |     3229    448 |       24 |       48
417.03/417.16	c  417s |      19 |   714062 |   649982 |     3229    449 |       24 |       48
419.13/419.23	c  419s |      19 |   716967 |   652682 |     3229    451 |       24 |       48
421.22/421.31	c  421s |      19 |   719899 |   655482 |     3229    452 |       24 |       48
423.22/423.38	c  423s |      19 |   722912 |   658182 |     3229    454 |       24 |       48
425.32/425.44	c  425s |      19 |   725773 |   660782 |     3229    455 |       24 |       48
427.42/427.52	c  427s |      19 |   728887 |   663482 |     3552    457 |       24 |       48
429.42/429.53	c  429s |      19 |   731769 |   666082 |     3552    458 |       24 |       48
430.02/430.19	c  430s |      20 |   732650 |   666827 |     3552    458 |       24 |       48
432.12/432.23	c  432s |      20 |   736160 |   670027 |     3552    460 |       24 |       48
434.12/434.24	c  434s |      20 |   739505 |   673127 |     3552    462 |       24 |       48
436.12/436.29	c  436s |      20 |   742971 |   676427 |     3552    463 |       24 |       48
438.12/438.30	c  438s |      20 |   746104 |   679427 |     3552    465 |       24 |       48
440.22/440.35	c  440s |      20 |   749189 |   682327 |     3552    467 |       24 |       48
442.34/442.42	c  442s |      20 |   752391 |   685327 |     3552    468 |       24 |       48
444.33/444.43	c  444s |      20 |   755334 |   688127 |     3552    470 |       24 |       48
446.33/446.47	c  446s |      20 |   758186 |   690727 |     3552    471 |       24 |       48
448.32/448.49	c  448s |      20 |   761541 |   693927 |     3552    473 |       24 |       48
450.42/450.55	c  450s |      20 |   764796 |   697027 |     3552    474 |       24 |       48
452.42/452.57	c  452s |      20 |   767672 |   699727 |     3552    476 |       24 |       48
454.52/454.63	c  454s |      20 |   771029 |   702827 |     3552    477 |       24 |       48
456.53/456.64	c  456s |      20 |   773981 |   705627 |     3552    479 |       24 |       48
458.62/458.70	c  458s |      20 |   776934 |   708427 |     3552    480 |       24 |       48
460.62/460.74	c  460s |      20 |   780424 |   711627 |     3552    482 |       24 |       48
462.62/462.74	c  462s |      20 |   783760 |   714727 |     3552    483 |       24 |       48
464.62/464.78	c  464s |      20 |   786927 |   717527 |     3552    485 |       24 |       48
466.72/466.81	c  466s |      20 |   789892 |   720127 |     3552    486 |       24 |       48
468.73/468.89	c  468s |      20 |   792903 |   722927 |     3552    488 |       24 |       48
470.83/470.97	c  470s |      20 |   796018 |   725627 |     3552    489 |       24 |       48
472.92/473.04	c  472s |      20 |   798756 |   728027 |     3552    490 |       24 |       48
474.92/475.04	c  474s |      20 |   801711 |   730727 |     3552    492 |       24 |       48
477.02/477.11	c  477s |      20 |   805062 |   733927 |     3552    493 |       24 |       48
479.02/479.17	c  479s |      20 |   808140 |   736827 |     3552    495 |       24 |       48
481.12/481.22	c  481s |      20 |   811143 |   739527 |     3552    496 |       24 |       48
483.12/483.22	c  483s |      20 |   814126 |   742227 |     3552    498 |       24 |       48
485.13/485.26	c  485s |      20 |   816954 |   744827 |     3552    499 |       24 |       48
487.21/487.31	c  487s |      20 |   819573 |   747227 |     3552    500 |       24 |       48
489.21/489.36	c  489s |      20 |   823004 |   750327 |     3552    502 |       24 |       48
491.21/491.36	c  491s |      20 |   826163 |   753027 |     3552    503 |       24 |       48
493.31/493.41	c  493s |      20 |   829379 |   755927 |     3552    505 |       24 |       48
495.31/495.42	c  495s |      20 |   832516 |   758827 |     3552    506 |       24 |       48
497.32/497.49	c  497s |      20 |   835888 |   761927 |     3552    508 |       24 |       48
499.42/499.56	c  499s |      20 |   839176 |   765027 |     3552    510 |       24 |       48
501.41/501.58	c  501s |      20 |   842342 |   768027 |     3552    511 |       24 |       48
503.51/503.61	c  503s |      20 |   845395 |   770827 |     3552    513 |       24 |       48
505.51/505.62	c  505s |      20 |   848555 |   773727 |     3552    514 |       24 |       48
507.51/507.63	c  507s |      20 |   851435 |   776427 |     3552    515 |       24 |       48
509.51/509.66	c  509s |      20 |   854463 |   779127 |     3552    517 |       24 |       48
511.52/511.67	c  511s |      20 |   857002 |   781527 |     3552    518 |       24 |       48
513.61/513.73	c  513s |      20 |   860040 |   784327 |     3552    520 |       24 |       48
515.61/515.76	c  515s |      20 |   862847 |   786927 |     3552    521 |       24 |       48
517.62/517.76	c  517s |      20 |   865595 |   789527 |     3552    522 |       24 |       48
519.72/519.80	c  519s |      20 |   868840 |   792627 |     3552    524 |       24 |       48
521.71/521.83	c  521s |      20 |   871629 |   795327 |     3552    525 |       24 |       48
523.72/523.86	c  523s |      20 |   874254 |   797827 |     3552    527 |       24 |       48
525.82/525.91	c  525s |      20 |   876748 |   800227 |     3552    528 |       24 |       48
527.81/527.91	c  527s |      20 |   879842 |   803027 |     3552    529 |       24 |       48
529.81/529.92	c  529s |      20 |   882930 |   805827 |     3552    531 |       24 |       48
531.81/531.98	c  531s |      20 |   885932 |   808627 |     3552    532 |       24 |       48
533.91/534.00	c  533s |      20 |   889197 |   811727 |     3552    534 |       24 |       48
535.91/536.04	c  535s |      20 |   892198 |   814527 |     3552    535 |       24 |       48
537.92/538.09	c  538s |      20 |   895017 |   817127 |     3552    537 |       24 |       48
540.01/540.12	c  540s |      20 |   897936 |   819827 |     3552    538 |       24 |       48
542.01/542.19	c  542s |      20 |   900970 |   822527 |     3552    539 |       24 |       48
544.11/544.23	c  544s |      20 |   903793 |   825127 |     3552    541 |       24 |       48
546.11/546.26	c  546s |      20 |   906438 |   827527 |     3552    542 |       24 |       48
548.21/548.36	c  548s |      20 |   909677 |   830327 |     3552    544 |       24 |       48
550.21/550.38	c  550s |      20 |   912208 |   832627 |     3552    545 |       24 |       48
552.22/552.40	c  552s |      20 |   915283 |   835427 |     3552    546 |       24 |       48
554.31/554.44	c  554s |      20 |   918459 |   838227 |     3552    548 |       24 |       48
556.31/556.49	c  556s |      20 |   921698 |   841127 |     3552    549 |       24 |       48
558.41/558.56	c  558s |      20 |   924521 |   843727 |     3552    550 |       24 |       48
560.40/560.58	c  560s |      20 |   927716 |   846627 |     3552    552 |       24 |       48
562.50/562.60	c  562s |      20 |   930880 |   849627 |     3552    554 |       24 |       48
564.50/564.61	c  564s |      20 |   934077 |   852527 |     3552    555 |       24 |       48
566.51/566.68	c  566s |      20 |   937004 |   855327 |     3552    557 |       24 |       48
568.60/568.71	c  568s |      20 |   939884 |   858027 |     3552    558 |       24 |       48
570.60/570.75	c  570s |      20 |   942811 |   860727 |     3552    559 |       24 |       48
572.70/572.80	c  572s |      20 |   945748 |   863427 |     3552    561 |       24 |       48
574.70/574.86	c  574s |      20 |   948739 |   866127 |     3552    562 |       24 |       48
576.80/576.92	c  576s |      20 |   951429 |   868527 |     3552    563 |       24 |       48
578.80/578.95	c  578s |      20 |   954191 |   871027 |     3552    565 |       24 |       48
580.81/580.99	c  580s |      20 |   957200 |   873727 |     3552    566 |       24 |       48
582.90/583.00	c  582s |      20 |   959732 |   876027 |     3552    567 |       24 |       48
584.91/585.07	c  585s |      20 |   962656 |   878527 |     3552    569 |       24 |       48
587.00/587.11	c  587s |      20 |   965878 |   881227 |     3552    570 |       24 |       48
589.00/589.14	c  589s |      20 |   968903 |   884027 |     3552    571 |       24 |       48
591.10/591.21	c  591s |      20 |   972150 |   886927 |     3552    573 |       24 |       48
593.10/593.24	c  593s |      20 |   975239 |   889727 |     3552    574 |       24 |       48
595.11/595.28	c  595s |      20 |   978291 |   892427 |     3552    576 |       24 |       48
597.20/597.30	c  597s |      20 |   981548 |   895127 |     3552    577 |       24 |       48
599.20/599.36	c  599s |      20 |   984656 |   897827 |     3552    579 |       24 |       48
601.30/601.40	c  601s |      20 |   987784 |   900727 |     3552    580 |       24 |       48
603.30/603.48	c  603s |      20 |   990726 |   903427 |     3552    582 |       24 |       48
605.40/605.52	c  605s |      20 |   993654 |   906227 |     3552    583 |       24 |       48
607.50/607.62	c  607s |      20 |   996581 |   909027 |     3552    584 |       24 |       48
609.51/609.63	c  609s |      20 |   999303 |   911627 |     3552    586 |       24 |       48
611.50/611.67	c  611s |      20 |  1001964 |   914127 |     3552    587 |       24 |       48
613.60/613.71	c  613s |      20 |  1004973 |   916727 |     3552    588 |       24 |       48
615.60/615.74	c  615s |      20 |  1007923 |   919327 |     3552    590 |       24 |       48
617.70/617.83	c  617s |      20 |  1011001 |   921927 |     3552    591 |       24 |       48
619.69/619.87	c  619s |      20 |  1014230 |   924827 |     3552    593 |       24 |       48
621.79/621.92	c  621s |      20 |  1017399 |   927627 |     3552    594 |       24 |       48
623.81/623.96	c  623s |      20 |  1020541 |   930227 |     3552    595 |       24 |       48
625.79/625.97	c  625s |      20 |  1023488 |   932727 |     3552    597 |       24 |       48
627.89/628.04	c  627s |      20 |  1026758 |   935727 |     3552    598 |       24 |       48
629.89/630.04	c  629s |      20 |  1029956 |   938527 |     3552    600 |       24 |       48
631.89/632.04	c  631s |      20 |  1033007 |   941127 |     3552    601 |       24 |       48
633.99/634.10	c  634s |      20 |  1036207 |   943927 |     3552    603 |       24 |       48
635.99/636.16	c  636s |      20 |  1039466 |   946927 |     3552    604 |       24 |       48
638.00/638.18	c  638s |      20 |  1042444 |   949627 |     3552    606 |       24 |       48
639.99/640.18	c  640s |      20 |  1045346 |   952327 |     3552    607 |       24 |       48
642.09/642.24	c  642s |      20 |  1048452 |   954927 |     3552    608 |       24 |       48
644.09/644.26	c  644s |      20 |  1051228 |   957327 |     3552    610 |       24 |       48
646.19/646.33	c  646s |      20 |  1054171 |   960027 |     3552    611 |       24 |       48
648.19/648.39	c  648s |      20 |  1057108 |   962827 |     3552    612 |       24 |       48
650.29/650.42	c  650s |      20 |  1059937 |   965527 |     3552    614 |       24 |       48
652.30/652.43	c  652s |      20 |  1062648 |   968127 |     3552    615 |       24 |       48
654.29/654.44	c  654s |      20 |  1065269 |   970627 |     3552    616 |       24 |       48
656.29/656.47	c  656s |      20 |  1067751 |   973027 |     3552    618 |       24 |       48
658.39/658.52	c  658s |      20 |  1070416 |   975527 |     3552    619 |       24 |       48
660.39/660.55	c  660s |      20 |  1073135 |   977827 |     3552    620 |       24 |       48
662.49/662.62	c  662s |      20 |  1076270 |   980627 |     3552    622 |       24 |       48
664.59/664.70	c  664s |      20 |  1078943 |   983027 |     3552    623 |       24 |       48
666.60/666.78	c  666s |      20 |  1081347 |   985127 |     3552    624 |       24 |       48
668.69/668.81	c  668s |      20 |  1083850 |   987327 |     3552    625 |       24 |       48
670.69/670.86	c  670s |      20 |  1086831 |   989827 |     3552    626 |       24 |       48
672.69/672.89	c  672s |      20 |  1089565 |   992327 |     3552    628 |       24 |       48
674.79/674.90	c  674s |      20 |  1092056 |   994627 |     3908    629 |       24 |       48
676.79/676.92	c  676s |      20 |  1095312 |   997227 |     3908    630 |       24 |       48
678.80/678.95	c  678s |      20 |  1098461 |   999727 |     3908    631 |       24 |       48
679.39/679.52	c  679s |      21 |  1099369 |  1000345 |     3908    631 |       24 |       48
681.39/681.54	c  681s |      21 |  1102973 |  1003645 |     3908    633 |       24 |       48
683.39/683.57	c  683s |      21 |  1106120 |  1006545 |     3908    634 |       24 |       48
685.40/685.57	c  685s |      21 |  1109174 |  1009345 |     3908    636 |       24 |       48
687.50/687.63	c  687s |      21 |  1112449 |  1012345 |     3908    637 |       24 |       48
689.49/689.67	c  689s |      21 |  1115476 |  1015145 |     3908    639 |       24 |       48
691.58/691.75	c  691s |      21 |  1118871 |  1018145 |     3908    640 |       24 |       48
693.58/693.77	c  693s |      21 |  1122033 |  1020945 |     3908    641 |       24 |       48
695.68/695.84	c  695s |      21 |  1125248 |  1023745 |     3908    643 |       24 |       48
697.68/697.89	c  697s |      21 |  1128622 |  1026645 |     3908    644 |       24 |       48
699.78/699.93	c  699s |      21 |  1131731 |  1029545 |     3908    645 |       24 |       48
701.79/701.94	c  701s |      21 |  1134577 |  1032145 |     3908    647 |       24 |       48
703.78/703.97	c  703s |      21 |  1138146 |  1035345 |     3908    648 |       24 |       48
705.78/705.99	c  705s |      21 |  1141351 |  1038245 |     3908    649 |       24 |       48
707.88/708.00	c  707s |      21 |  1144395 |  1041045 |     3908    651 |       24 |       48
709.88/710.01	c  709s |      21 |  1147732 |  1044045 |     3908    652 |       24 |       48
711.87/712.05	c  712s |      21 |  1150741 |  1046845 |     3908    654 |       24 |       48
713.88/714.06	c  714s |      21 |  1154117 |  1050045 |     3908    655 |       24 |       48
715.97/716.11	c  716s |      21 |  1157197 |  1052945 |     3908    657 |       24 |       48
717.97/718.15	c  718s |      21 |  1160406 |  1055945 |     3908    658 |       24 |       48
720.07/720.23	c  720s |      21 |  1163483 |  1058945 |     3908    659 |       24 |       48
722.07/722.25	c  722s |      21 |  1166434 |  1061645 |     3908    661 |       24 |       48
724.06/724.29	c  724s |      21 |  1169944 |  1064845 |     3908    662 |       24 |       48
726.17/726.34	c  726s |      21 |  1173158 |  1067745 |     3908    664 |       24 |       48
728.18/728.34	c  728s |      21 |  1176339 |  1070645 |     3908    665 |       24 |       48
730.17/730.36	c  730s |      21 |  1179743 |  1073645 |     3908    666 |       24 |       48
732.26/732.41	c  732s |      21 |  1183381 |  1077045 |     3908    668 |       24 |       48
734.26/734.47	c  734s |      21 |  1186630 |  1080045 |     3908    669 |       24 |       48
736.26/736.48	c  736s |      21 |  1189665 |  1082845 |     3908    671 |       24 |       48
738.36/738.50	c  738s |      21 |  1192826 |  1085745 |     3908    672 |       24 |       48
740.37/740.57	c  740s |      21 |  1195925 |  1088645 |     3908    674 |       24 |       48
742.47/742.63	c  742s |      21 |  1199050 |  1091645 |     3908    675 |       24 |       48
744.46/744.63	c  744s |      21 |  1202210 |  1094645 |     3908    676 |       24 |       48
746.45/746.70	c  746s |      21 |  1205365 |  1097645 |     3908    678 |       24 |       48
748.55/748.73	c  748s |      21 |  1208354 |  1100545 |     3908    679 |       24 |       48
750.65/750.80	c  750s |      21 |  1211386 |  1103445 |     3908    681 |       24 |       48
752.65/752.85	c  752s |      21 |  1214464 |  1106345 |     3908    682 |       24 |       48
754.75/754.90	c  754s |      21 |  1217156 |  1108945 |     3908    683 |       24 |       48
756.75/756.94	c  756s |      21 |  1219967 |  1111645 |     3908    685 |       24 |       48
758.74/758.97	c  758s |      21 |  1222909 |  1114345 |     3908    686 |       24 |       48
760.74/760.97	c  760s |      21 |  1226155 |  1117145 |     3908    687 |       24 |       48
762.74/762.98	c  762s |      21 |  1229102 |  1119745 |     3908    688 |       24 |       48
764.84/765.00	c  764s |      21 |  1232026 |  1122445 |     3908    690 |       24 |       48
766.83/767.06	c  767s |      21 |  1234872 |  1125045 |     3908    691 |       24 |       48
768.85/769.10	c  769s |      21 |  1237590 |  1127545 |     3908    692 |       24 |       48
770.93/771.16	c  771s |      21 |  1240471 |  1130045 |     3908    693 |       24 |       48
772.93/773.16	c  773s |      21 |  1243433 |  1132845 |     3908    695 |       24 |       48
775.03/775.23	c  775s |      21 |  1246293 |  1135545 |     3908    696 |       24 |       48
777.12/777.33	c  777s |      21 |  1249293 |  1138245 |     3908    697 |       24 |       48
779.22/779.41	c  779s |      21 |  1251854 |  1140645 |     3908    698 |       24 |       48
781.22/781.46	c  781s |      21 |  1254755 |  1143245 |     3908    700 |       24 |       48
783.32/783.50	c  783s |      21 |  1257476 |  1145745 |     3908    701 |       24 |       48
785.33/785.57	c  785s |      21 |  1260256 |  1148245 |     3908    702 |       24 |       48
787.31/787.57	c  787s |      21 |  1262916 |  1150645 |     3908    703 |       24 |       48
789.42/789.62	c  789s |      21 |  1265443 |  1152945 |     3908    704 |       24 |       48
791.42/791.65	c  791s |      21 |  1268091 |  1155345 |     3908    705 |       24 |       48
793.52/793.71	c  793s |      21 |  1271376 |  1158345 |     3908    707 |       24 |       48
795.52/795.72	c  795s |      21 |  1274287 |  1160945 |     3908    708 |       24 |       48
797.53/797.75	c  797s |      21 |  1277255 |  1163645 |     3908    709 |       24 |       48
799.63/799.85	c  799s |      21 |  1279997 |  1166145 |     3908    711 |       24 |       48
801.61/801.87	c  801s |      21 |  1283214 |  1169145 |     3908    712 |       24 |       48
803.61/803.88	c  803s |      21 |  1286439 |  1172145 |     3908    713 |       24 |       48
805.71/805.90	c  805s |      21 |  1289581 |  1175145 |     3908    715 |       24 |       48
807.71/807.96	c  807s |      21 |  1292589 |  1178045 |     3908    716 |       24 |       48
809.81/810.00	c  809s |      21 |  1295449 |  1180545 |     3908    717 |       24 |       48
811.82/812.07	c  812s |      21 |  1297820 |  1182745 |     3908    718 |       24 |       48
813.81/814.09	c  814s |      21 |  1300358 |  1185145 |     3908    720 |       24 |       48
815.90/816.12	c  816s |      21 |  1302916 |  1187545 |     3908    721 |       24 |       48
817.90/818.13	c  818s |      21 |  1305354 |  1189845 |     3908    722 |       24 |       48
819.90/820.17	c  820s |      21 |  1308183 |  1192445 |     3908    723 |       24 |       48
821.90/822.18	c  822s |      21 |  1311129 |  1194945 |     3908    724 |       24 |       48
823.99/824.23	c  824s |      21 |  1314246 |  1197845 |     3908    726 |       24 |       48
826.00/826.28	c  826s |      21 |  1317165 |  1200545 |     3908    727 |       24 |       48
828.09/828.32	c  828s |      21 |  1319888 |  1203045 |     3908    728 |       24 |       48
830.09/830.35	c  830s |      21 |  1322896 |  1205645 |     3908    729 |       24 |       48
832.09/832.39	c  832s |      21 |  1326086 |  1208345 |     3908    731 |       24 |       48
834.18/834.44	c  834s |      21 |  1329206 |  1211245 |     3908    732 |       24 |       48
836.28/836.50	c  836s |      21 |  1332226 |  1213945 |     3908    733 |       24 |       48
838.28/838.56	c  838s |      21 |  1335289 |  1216745 |     3908    735 |       24 |       48
840.29/840.59	c  840s |      21 |  1338332 |  1219445 |     3908    736 |       24 |       48
842.37/842.63	c  842s |      21 |  1341403 |  1222345 |     3908    737 |       24 |       48
844.37/844.63	c  844s |      21 |  1344268 |  1224945 |     3908    739 |       24 |       48
846.47/846.72	c  846s |      21 |  1347158 |  1227545 |     3908    740 |       24 |       48
848.47/848.76	c  848s |      21 |  1349851 |  1230045 |     3908    741 |       24 |       48
850.47/850.79	c  850s |      21 |  1352516 |  1232445 |     3908    742 |       24 |       48
852.57/852.84	c  852s |      21 |  1355314 |  1235045 |     3908    743 |       24 |       48
854.58/854.88	c  854s |      21 |  1357895 |  1237445 |     3908    745 |       24 |       48
856.56/856.89	c  856s |      21 |  1360506 |  1239845 |     3908    746 |       24 |       48
858.67/858.92	c  858s |      21 |  1362915 |  1242045 |     3908    747 |       24 |       48
860.67/860.96	c  860s |      21 |  1365849 |  1244645 |     3908    748 |       24 |       48
862.67/862.99	c  862s |      21 |  1368326 |  1246845 |     3908    749 |       24 |       48
864.77/865.00	c  864s |      21 |  1370925 |  1249245 |     3908    750 |       24 |       48
866.77/867.08	c  867s |      21 |  1373292 |  1251445 |     3908    751 |       24 |       48
868.87/869.18	c  869s |      21 |  1376125 |  1254045 |     3908    752 |       24 |       48
870.96/871.21	c  871s |      21 |  1378878 |  1256645 |     3908    754 |       24 |       48
872.96/873.24	c  873s |      21 |  1382033 |  1259545 |     3908    755 |       24 |       48
875.06/875.32	c  875s |      21 |  1385347 |  1262745 |     3908    757 |       24 |       48
877.06/877.33	c  877s |      21 |  1388431 |  1265745 |     3908    758 |       24 |       48
879.06/879.37	c  879s |      21 |  1391421 |  1268545 |     3908    759 |       24 |       48
881.16/881.42	c  881s |      21 |  1394362 |  1271345 |     3908    761 |       24 |       48
883.17/883.46	c  883s |      21 |  1397127 |  1273945 |     3908    762 |       24 |       48
885.16/885.47	c  885s |      21 |  1399880 |  1276245 |     3908    763 |       24 |       48
887.15/887.49	c  887s |      21 |  1402366 |  1278445 |     3908    764 |       24 |       48
889.25/889.52	c  889s |      21 |  1404794 |  1280645 |     3908    765 |       24 |       48
891.25/891.57	c  891s |      21 |  1407441 |  1282845 |     3908    766 |       24 |       48
893.35/893.63	c  893s |      21 |  1410006 |  1285145 |     3908    767 |       24 |       48
895.36/895.68	c  895s |      21 |  1412582 |  1287445 |     3908    768 |       24 |       48
897.34/897.70	c  897s |      21 |  1414888 |  1289645 |     3908    769 |       24 |       48
899.44/899.76	c  899s |      21 |  1417192 |  1291745 |     3908    770 |       24 |       48
901.54/901.84	c  901s |      21 |  1420480 |  1294145 |     3908    772 |       25 |       50
903.54/903.86	c  903s |      21 |  1423336 |  1296745 |     3908    773 |       25 |       50
905.54/905.88	c  905s |      21 |  1425907 |  1298945 |     3908    774 |       25 |       50
907.63/907.92	c  907s |      21 |  1428947 |  1301545 |     3908    775 |       25 |       50
909.64/909.97	c  909s |      21 |  1431747 |  1304045 |     3908    776 |       25 |       50
911.63/911.97	c  911s |      21 |  1434377 |  1306345 |     3908    777 |       25 |       50
913.73/914.00	c  913s |      21 |  1437076 |  1308645 |     3908    778 |       25 |       50
915.73/916.07	c  916s |      21 |  1439715 |  1311145 |     3908    780 |       25 |       50
917.82/918.11	c  918s |      21 |  1442177 |  1313445 |     3908    781 |       25 |       50
919.82/920.15	c  920s |      21 |  1444472 |  1315645 |     3908    782 |       25 |       50
921.82/922.15	c  922s |      21 |  1446890 |  1317845 |     3908    783 |       25 |       50
923.83/924.20	c  924s |      21 |  1449341 |  1320045 |     3908    784 |       25 |       50
925.92/926.29	c  926s |      21 |  1451621 |  1322145 |     3908    785 |       25 |       50
928.01/928.31	c  928s |      21 |  1454107 |  1324345 |     3908    786 |       25 |       50
930.01/930.34	c  930s |      21 |  1456283 |  1326345 |     3908    787 |       25 |       50
932.01/932.36	c  932s |      21 |  1458557 |  1328445 |     3908    788 |       25 |       50
934.11/934.42	c  934s |      21 |  1460898 |  1330645 |     3908    789 |       25 |       50
936.11/936.45	c  936s |      21 |  1463141 |  1332745 |     3908    790 |       25 |       50
938.22/938.51	c  938s |      21 |  1465941 |  1335345 |     3908    791 |       25 |       50
940.21/940.58	c  940s |      21 |  1468416 |  1337645 |     3908    792 |       25 |       50
942.31/942.67	c  942s |      21 |  1470812 |  1339945 |     3908    793 |       25 |       50
944.31/944.67	c  944s |      21 |  1473276 |  1342245 |     3908    794 |       25 |       50
946.40/946.76	c  946s |      21 |  1475682 |  1344545 |     3908    796 |       25 |       50
948.50/948.81	c  948s |      21 |  1478091 |  1346845 |     3908    797 |       25 |       50
950.50/950.87	c  950s |      21 |  1480612 |  1349245 |     3908    798 |       25 |       50
952.60/952.91	c  952s |      21 |  1483241 |  1351745 |     3908    799 |       25 |       50
954.61/954.96	c  954s |      21 |  1485605 |  1354045 |     3908    800 |       25 |       50
956.69/957.04	c  956s |      21 |  1488019 |  1356345 |     3908    801 |       25 |       50
958.69/959.08	c  959s |      21 |  1490443 |  1358645 |     3908    802 |       25 |       50
960.79/961.16	c  961s |      21 |  1492723 |  1360845 |     3908    803 |       25 |       50
962.80/963.19	c  963s |      21 |  1495107 |  1363145 |     3908    804 |       25 |       50
964.90/965.23	c  965s |      21 |  1497293 |  1365245 |     3908    805 |       25 |       50
966.89/967.28	c  967s |      21 |  1499850 |  1367645 |     3908    806 |       25 |       50
968.90/969.30	c  969s |      21 |  1502238 |  1369945 |     3908    808 |       25 |       50
970.99/971.37	c  971s |      21 |  1504785 |  1372345 |     3908    809 |       25 |       50
973.09/973.40	c  973s |      21 |  1507089 |  1374545 |     3908    810 |       25 |       50
975.09/975.42	c  975s |      21 |  1509454 |  1376745 |     3908    811 |       25 |       50
977.08/977.48	c  977s |      21 |  1511921 |  1378945 |     3908    812 |       25 |       50
979.18/979.51	c  979s |      21 |  1514532 |  1381445 |     3908    813 |       25 |       50
981.18/981.53	c  981s |      21 |  1517044 |  1383845 |     3908    814 |       25 |       50
983.19/983.58	c  983s |      21 |  1519537 |  1386245 |     3908    815 |       25 |       50
985.28/985.60	c  985s |      21 |  1521933 |  1388545 |     3908    816 |       25 |       50
987.27/987.62	c  987s |      21 |  1524207 |  1390745 |     3908    817 |       25 |       50
989.37/989.71	c  989s |      21 |  1526517 |  1392945 |     3908    818 |       25 |       50
991.37/991.73	c  991s |      21 |  1528788 |  1395045 |     3908    819 |       25 |       50
993.47/993.81	c  993s |      21 |  1531137 |  1397245 |     3908    820 |       25 |       50
995.57/995.90	c  995s |      21 |  1533422 |  1399345 |     3908    821 |       25 |       50
997.48/997.90	c  997s |      21 |  1535686 |  1401445 |     3908    822 |       25 |       50
999.57/999.95	c  999s |      21 |  1538285 |  1403745 |     3908    824 |       25 |       50
1001.67/1002.01	c 1001s |      21 |  1541106 |  1406245 |     3908    825 |       25 |       50
1003.67/1004.04	c 1003s |      21 |  1544139 |  1408845 |     3908    826 |       25 |       50
1005.67/1006.09	c 1006s |      21 |  1546875 |  1411345 |     3908    827 |       25 |       50
1007.76/1008.14	c 1008s |      21 |  1549390 |  1413745 |     3908    828 |       25 |       50
1009.76/1010.19	c 1010s |      21 |  1551997 |  1416045 |     3908    829 |       25 |       50
1011.87/1012.21	c 1012s |      21 |  1554637 |  1418445 |     3908    831 |       25 |       50
1013.86/1014.22	c 1014s |      21 |  1557442 |  1421045 |     3908    832 |       25 |       50
1015.86/1016.26	c 1016s |      21 |  1560160 |  1423545 |     3908    833 |       25 |       50
1017.95/1018.35	c 1018s |      21 |  1562931 |  1426045 |     3908    834 |       25 |       50
1019.95/1020.37	c 1020s |      21 |  1565581 |  1428445 |     3908    835 |       25 |       50
1022.05/1022.42	c 1022s |      21 |  1568171 |  1430845 |     3908    836 |       25 |       50
1024.05/1024.47	c 1024s |      21 |  1570777 |  1433245 |     3908    838 |       25 |       50
1026.16/1026.53	c 1026s |      21 |  1573225 |  1435545 |     3908    839 |       25 |       50
1028.15/1028.59	c 1028s |      21 |  1575573 |  1437645 |     3908    840 |       25 |       50
1030.25/1030.65	c 1030s |      21 |  1577992 |  1439845 |     3908    841 |       25 |       50
1032.35/1032.73	c 1032s |      21 |  1580249 |  1441945 |     3908    842 |       25 |       50
1034.35/1034.75	c 1034s |      21 |  1583020 |  1444345 |     3908    843 |       25 |       50
1036.44/1036.81	c 1036s |      21 |  1585853 |  1446745 |     3908    844 |       25 |       50
1038.44/1038.81	c 1038s |      21 |  1588456 |  1449045 |     3908    845 |       25 |       50
1040.45/1040.85	c 1040s |      21 |  1591116 |  1451545 |     3908    846 |       25 |       50
1042.44/1042.89	c 1042s |      21 |  1593641 |  1453945 |     3908    847 |       25 |       50
1044.54/1044.95	c 1044s |      21 |  1596027 |  1456245 |     3908    849 |       25 |       50
1046.63/1047.00	c 1046s |      21 |  1598464 |  1458545 |     3908    850 |       25 |       50
1048.63/1049.03	c 1048s |      21 |  1600794 |  1460745 |     3908    851 |       25 |       50
1050.63/1051.09	c 1051s |      21 |  1603466 |  1463245 |     3908    852 |       25 |       50
1052.73/1053.13	c 1053s |      21 |  1605775 |  1465445 |     3908    853 |       25 |       50
1054.74/1055.16	c 1055s |      21 |  1608726 |  1468145 |     3908    854 |       25 |       50
1056.72/1057.19	c 1057s |      21 |  1611285 |  1470545 |     3908    855 |       25 |       50
1058.82/1059.25	c 1059s |      21 |  1613690 |  1472845 |     3908    856 |       25 |       50
1060.82/1061.29	c 1061s |      21 |  1616076 |  1475145 |     3908    858 |       25 |       50
1062.92/1063.31	c 1063s |      21 |  1618564 |  1477545 |     3908    859 |       25 |       50
1064.92/1065.39	c 1065s |      21 |  1620784 |  1479645 |     3908    860 |       25 |       50
1067.01/1067.46	c 1067s |      21 |  1623099 |  1481845 |     3908    861 |       25 |       50
1069.11/1069.51	c 1069s |      21 |  1625392 |  1484045 |     3908    862 |       25 |       50
1071.13/1071.57	c 1071s |      21 |  1627784 |  1486345 |     3908    863 |       25 |       50
1073.21/1073.63	c 1073s |      21 |  1629991 |  1488445 |     3908    864 |       25 |       50
1075.21/1075.69	c 1075s |      21 |  1632138 |  1490445 |     4299    865 |       25 |       50
1077.31/1077.74	c 1077s |      21 |  1634534 |  1492745 |     4299    866 |       25 |       50
1079.31/1079.76	c 1079s |      21 |  1636619 |  1494745 |     4299    867 |       25 |       50
1081.41/1081.85	c 1081s |      21 |  1638929 |  1496945 |     4299    867 |       25 |       50
1083.41/1083.87	c 1083s |      21 |  1640923 |  1498845 |     4299    868 |       25 |       50
1084.91/1085.38	c 1085s |      22 |  1642959 |  1500622 |     4299    869 |       25 |       50
1086.90/1087.38	c 1087s |      22 |  1646350 |  1503722 |     4299    870 |       25 |       50
1089.00/1089.40	c 1089s |      22 |  1649604 |  1506822 |     4299    872 |       25 |       50
1091.02/1091.43	c 1091s |      22 |  1652876 |  1509922 |     4299    873 |       25 |       50
1093.01/1093.45	c 1093s |      22 |  1656032 |  1512922 |     4299    874 |       25 |       50
1095.01/1095.46	c 1095s |      22 |  1659143 |  1515922 |     4299    876 |       25 |       50
1097.10/1097.51	c 1097s |      22 |  1662215 |  1518822 |     4299    877 |       25 |       50
1099.10/1099.57	c 1099s |      22 |  1665473 |  1521922 |     4299    878 |       25 |       50
1101.10/1101.59	c 1101s |      22 |  1668274 |  1524622 |     4299    880 |       25 |       50
1103.20/1103.63	c 1103s |      22 |  1671538 |  1527722 |     4299    881 |       25 |       50
1105.21/1105.66	c 1105s |      22 |  1674500 |  1530522 |     4299    882 |       25 |       50
1107.19/1107.66	c 1107s |      22 |  1677392 |  1533322 |     4299    883 |       25 |       50
1109.19/1109.69	c 1109s |      22 |  1680172 |  1536022 |     4299    885 |       25 |       50
1111.29/1111.72	c 1111s |      22 |  1683114 |  1538822 |     4299    886 |       25 |       50
1113.29/1113.75	c 1113s |      22 |  1685937 |  1541422 |     4299    887 |       25 |       50
1115.29/1115.77	c 1115s |      22 |  1688976 |  1544322 |     4299    888 |       25 |       50
1117.30/1117.78	c 1117s |      22 |  1691850 |  1547022 |     4299    889 |       25 |       50
1119.38/1119.80	c 1119s |      22 |  1694721 |  1549722 |     4299    891 |       25 |       50
1121.38/1121.81	c 1121s |      22 |  1697843 |  1552722 |     4299    892 |       25 |       50
1123.38/1123.85	c 1123s |      22 |  1700693 |  1555422 |     4299    893 |       25 |       50
1125.38/1125.89	c 1125s |      22 |  1703507 |  1558122 |     4299    894 |       25 |       50
1127.47/1127.96	c 1127s |      22 |  1706408 |  1560822 |     4299    895 |       25 |       50
1129.49/1129.97	c 1129s |      22 |  1709146 |  1563422 |     4299    896 |       25 |       50
1131.47/1131.99	c 1131s |      22 |  1711787 |  1565922 |     4299    898 |       25 |       50
1133.47/1133.99	c 1133s |      22 |  1714854 |  1568822 |     4299    899 |       25 |       50
1135.57/1136.01	c 1135s |      22 |  1717677 |  1571422 |     4299    900 |       25 |       50
1137.57/1138.07	c 1138s |      22 |  1720743 |  1574322 |     4299    901 |       25 |       50
1139.66/1140.12	c 1140s |      22 |  1723663 |  1577122 |     4299    902 |       25 |       50
1141.66/1142.13	c 1142s |      22 |  1726279 |  1579622 |     4299    904 |       25 |       50
1143.68/1144.13	c 1144s |      22 |  1729336 |  1582322 |     4299    905 |       25 |       50
1145.66/1146.17	c 1146s |      22 |  1732291 |  1585022 |     4299    906 |       25 |       50
1147.76/1148.20	c 1148s |      22 |  1735163 |  1587722 |     4299    907 |       25 |       50
1149.76/1150.28	c 1150s |      22 |  1738300 |  1590622 |     4299    908 |       25 |       50
1151.86/1152.35	c 1152s |      22 |  1741118 |  1593322 |     4299    910 |       25 |       50
1153.86/1154.39	c 1154s |      22 |  1743877 |  1595922 |     4299    911 |       25 |       50
1155.95/1156.40	c 1156s |      22 |  1746516 |  1598422 |     4299    912 |       25 |       50
1157.85/1158.41	c 1158s |      22 |  1749502 |  1601222 |     4299    913 |       25 |       50
1159.95/1160.45	c 1160s |      22 |  1752096 |  1603722 |     4299    914 |       25 |       50
1161.95/1162.45	c 1162s |      22 |  1755037 |  1606422 |     4299    915 |       25 |       50
1163.96/1164.48	c 1164s |      22 |  1757790 |  1609022 |     4299    916 |       25 |       50
1166.05/1166.53	c 1166s |      22 |  1760303 |  1611422 |     4299    917 |       25 |       50
1168.05/1168.59	c 1168s |      22 |  1762955 |  1613922 |     4299    918 |       25 |       50
1170.16/1170.64	c 1170s |      22 |  1765545 |  1616322 |     4299    920 |       25 |       50
1172.15/1172.67	c 1172s |      22 |  1768082 |  1618722 |     4299    921 |       25 |       50
1174.25/1174.72	c 1174s |      22 |  1771043 |  1621322 |     4299    922 |       25 |       50
1176.24/1176.75	c 1176s |      22 |  1774149 |  1624222 |     4299    923 |       25 |       50
1178.24/1178.76	c 1178s |      22 |  1777036 |  1626922 |     4299    924 |       25 |       50
1180.34/1180.81	c 1180s |      22 |  1779877 |  1629622 |     4299    925 |       25 |       50
1182.34/1182.86	c 1182s |      22 |  1782510 |  1632122 |     4299    926 |       25 |       50
1184.35/1184.90	c 1184s |      22 |  1785284 |  1634722 |     4299    928 |       25 |       50
1186.43/1186.98	c 1186s |      22 |  1788014 |  1637322 |     4299    929 |       25 |       50
1188.43/1188.98	c 1188s |      22 |  1790661 |  1639822 |     4299    930 |       25 |       50
1190.53/1191.02	c 1190s |      22 |  1793079 |  1642122 |     4299    931 |       25 |       50
1192.63/1193.11	c 1193s |      22 |  1795644 |  1644522 |     4299    932 |       25 |       50
1194.63/1195.14	c 1195s |      22 |  1798156 |  1646922 |     4299    933 |       25 |       50
1196.62/1197.17	c 1197s |      22 |  1800976 |  1649422 |     4299    934 |       25 |       50
1198.63/1199.20	c 1199s |      22 |  1803639 |  1651822 |     4299    935 |       25 |       50
1200.72/1201.22	c 1201s |      22 |  1806473 |  1654222 |     4299    936 |       25 |       50
1202.82/1203.30	c 1203s |      22 |  1809647 |  1656822 |     4299    937 |       25 |       50
1204.82/1205.32	c 1205s |      22 |  1812662 |  1659422 |     4299    938 |       25 |       50
1206.81/1207.37	c 1207s |      22 |  1815590 |  1662022 |     4299    939 |       25 |       50
1208.91/1209.46	c 1209s |      22 |  1818390 |  1664522 |     4299    941 |       25 |       50
1211.01/1211.52	c 1211s |      22 |  1821528 |  1667422 |     4299    942 |       25 |       50
1213.02/1213.53	c 1213s |      22 |  1824464 |  1670122 |     4299    943 |       25 |       50
1215.01/1215.55	c 1215s |      22 |  1827456 |  1672922 |     4299    944 |       25 |       50
1217.11/1217.63	c 1217s |      22 |  1830203 |  1675522 |     4299    945 |       25 |       50
1219.11/1219.66	c 1219s |      22 |  1832856 |  1678022 |     4299    946 |       25 |       50
1221.11/1221.67	c 1221s |      22 |  1835514 |  1680422 |     4299    947 |       25 |       50
1223.10/1223.69	c 1223s |      22 |  1838103 |  1682822 |     4299    948 |       25 |       50
1225.20/1225.75	c 1225s |      22 |  1840911 |  1685522 |     4299    950 |       25 |       50
1227.31/1227.81	c 1227s |      22 |  1843474 |  1687922 |     4299    951 |       25 |       50
1229.30/1229.86	c 1229s |      22 |  1845957 |  1690222 |     4299    952 |       25 |       50
1231.40/1231.92	c 1231s |      22 |  1848295 |  1692422 |     4299    953 |       25 |       50
1233.40/1233.94	c 1233s |      22 |  1850602 |  1694522 |     4299    954 |       25 |       50
1235.40/1235.98	c 1235s |      22 |  1853030 |  1696822 |     4299    955 |       25 |       50
1237.49/1238.05	c 1237s |      22 |  1855855 |  1699422 |     4299    956 |       25 |       50
1239.59/1240.13	c 1240s |      22 |  1858427 |  1701822 |     4299    957 |       25 |       50
1241.60/1242.13	c 1242s |      22 |  1861133 |  1704122 |     4299    958 |       25 |       50
1243.59/1244.14	c 1244s |      22 |  1864136 |  1706522 |     4299    959 |       25 |       50
1245.69/1246.20	c 1246s |      22 |  1866921 |  1709222 |     4299    960 |       25 |       50
1247.68/1248.22	c 1248s |      22 |  1869535 |  1711722 |     4299    961 |       25 |       50
1249.68/1250.23	c 1250s |      22 |  1872253 |  1714322 |     4299    962 |       25 |       50
1251.68/1252.27	c 1252s |      22 |  1874878 |  1716822 |     4299    963 |       25 |       50
1253.69/1254.29	c 1254s |      22 |  1877500 |  1719322 |     4299    964 |       25 |       50
1255.68/1256.29	c 1256s |      22 |  1879924 |  1721622 |     4299    965 |       25 |       50
1257.77/1258.36	c 1258s |      22 |  1882439 |  1724022 |     4299    966 |       25 |       50
1259.88/1260.42	c 1260s |      22 |  1884974 |  1726422 |     4299    967 |       25 |       50
1261.88/1262.48	c 1262s |      22 |  1887515 |  1728822 |     4299    968 |       25 |       50
1263.98/1264.50	c 1264s |      22 |  1890253 |  1731422 |     4299    970 |       25 |       50
1265.97/1266.54	c 1266s |      22 |  1893160 |  1734222 |     4299    971 |       25 |       50
1267.98/1268.55	c 1268s |      22 |  1895742 |  1736722 |     4299    972 |       25 |       50
1269.97/1270.56	c 1270s |      22 |  1898303 |  1739022 |     4299    973 |       25 |       50
1272.07/1272.64	c 1272s |      22 |  1901006 |  1741522 |     4299    974 |       25 |       50
1274.17/1274.70	c 1274s |      22 |  1903733 |  1744122 |     4299    975 |       25 |       50
1276.17/1276.72	c 1276s |      22 |  1906188 |  1746322 |     4299    976 |       25 |       50
1278.17/1278.74	c 1278s |      22 |  1908885 |  1748722 |     4299    977 |       25 |       50
1280.17/1280.76	c 1280s |      22 |  1911307 |  1750922 |     4299    978 |       25 |       50
1282.28/1282.84	c 1282s |      22 |  1914156 |  1753422 |     4299    979 |       25 |       50
1284.27/1284.88	c 1284s |      22 |  1916594 |  1755622 |     4299    980 |       25 |       50
1286.36/1286.92	c 1286s |      22 |  1919428 |  1758222 |     4299    981 |       25 |       50
1288.36/1288.98	c 1288s |      22 |  1922115 |  1760722 |     4299    982 |       25 |       50
1290.46/1291.03	c 1290s |      22 |  1924738 |  1763222 |     4299    983 |       25 |       50
1292.46/1293.09	c 1293s |      22 |  1927260 |  1765522 |     4299    984 |       25 |       50
1294.56/1295.15	c 1295s |      22 |  1929852 |  1767922 |     4299    985 |       25 |       50
1296.65/1297.25	c 1297s |      22 |  1932458 |  1770422 |     4299    987 |       25 |       50
1298.66/1299.29	c 1299s |      22 |  1934919 |  1772722 |     4299    988 |       25 |       50
1300.75/1301.35	c 1301s |      22 |  1937425 |  1775022 |     4299    989 |       25 |       50
1302.75/1303.36	c 1303s |      22 |  1939851 |  1777322 |     4299    990 |       25 |       50
1304.75/1305.36	c 1305s |      22 |  1942336 |  1779622 |     4299    991 |       25 |       50
1306.84/1307.41	c 1307s |      22 |  1945053 |  1782122 |     4299    992 |       25 |       50
1308.84/1309.43	c 1309s |      22 |  1947395 |  1784322 |     4299    993 |       25 |       50
1310.85/1311.46	c 1311s |      22 |  1949793 |  1786322 |     4299    993 |       25 |       50
1312.84/1313.47	c 1313s |      22 |  1952611 |  1788722 |     4299    994 |       25 |       50
1314.94/1315.50	c 1315s |      22 |  1955558 |  1791422 |     4299    996 |       25 |       50
1316.93/1317.51	c 1317s |      22 |  1958383 |  1794122 |     4299    997 |       25 |       50
1318.93/1319.51	c 1319s |      22 |  1960894 |  1796522 |     4299    998 |       25 |       50
1320.93/1321.51	c 1321s |      22 |  1963531 |  1799022 |     4299    999 |       25 |       50
1322.94/1323.56	c 1323s |      22 |  1966183 |  1801522 |     4299   1000 |       25 |       50
1324.93/1325.57	c 1325s |      22 |  1968821 |  1804022 |     4299   1001 |       25 |       50
1326.93/1327.59	c 1327s |      22 |  1971138 |  1806222 |     4299   1002 |       25 |       50
1329.03/1329.63	c 1329s |      22 |  1973732 |  1808722 |     4299   1003 |       25 |       50
1331.13/1331.71	c 1331s |      22 |  1976225 |  1811122 |     4299   1004 |       25 |       50
1333.13/1333.72	c 1333s |      22 |  1978650 |  1813422 |     4299   1005 |       25 |       50
1335.23/1335.80	c 1335s |      22 |  1980899 |  1815522 |     4299   1006 |       25 |       50
1337.23/1337.85	c 1337s |      22 |  1983326 |  1817622 |     4299   1007 |       25 |       50
1339.22/1339.90	c 1339s |      22 |  1985789 |  1819822 |     4299   1008 |       25 |       50
1341.32/1341.95	c 1341s |      22 |  1988373 |  1822122 |     4299   1009 |       25 |       50
1343.32/1343.98	c 1343s |      22 |  1990950 |  1824422 |     4299   1010 |       25 |       50
1345.42/1346.00	c 1345s |      22 |  1993414 |  1826722 |     4299   1011 |       25 |       50
1347.51/1348.11	c 1348s |      22 |  1995897 |  1829022 |     4299   1012 |       25 |       50
1349.51/1350.13	c 1350s |      22 |  1998174 |  1831122 |     4299   1013 |       25 |       50
1351.53/1352.19	c 1352s |      22 |  2000633 |  1833322 |     4299   1014 |       25 |       50
1353.63/1354.26	c 1354s |      22 |  2003221 |  1835622 |     4299   1015 |       25 |       50
1355.62/1356.29	c 1356s |      22 |  2005931 |  1838122 |     4299   1016 |       25 |       50
1357.72/1358.32	c 1358s |      22 |  2008742 |  1840722 |     4299   1017 |       25 |       50
1359.72/1360.34	c 1360s |      22 |  2011152 |  1843022 |     4299   1018 |       25 |       50
1361.72/1362.37	c 1362s |      22 |  2013727 |  1845322 |     4299   1019 |       25 |       50
1363.72/1364.40	c 1364s |      22 |  2016324 |  1847622 |     4299   1020 |       25 |       50
1365.83/1366.44	c 1366s |      22 |  2018838 |  1849922 |     4299   1021 |       25 |       50
1367.93/1368.51	c 1368s |      22 |  2021405 |  1852322 |     4299   1022 |       25 |       50
1369.91/1370.59	c 1370s |      22 |  2023930 |  1854622 |     4299   1023 |       25 |       50
1372.01/1372.68	c 1372s |      22 |  2026393 |  1856822 |     4299   1024 |       25 |       50
1374.11/1374.75	c 1374s |      22 |  2028570 |  1858722 |     4299   1025 |       25 |       50
1376.11/1376.78	c 1376s |      22 |  2030769 |  1860722 |     4299   1026 |       25 |       50
1378.21/1378.82	c 1378s |      22 |  2033496 |  1863122 |     4299   1027 |       25 |       50
1380.21/1380.88	c 1380s |      22 |  2035794 |  1865222 |     4299   1028 |       25 |       50
1382.22/1382.90	c 1382s |      22 |  2038158 |  1867322 |     4299   1029 |       25 |       50
1384.31/1384.95	c 1384s |      22 |  2041004 |  1869922 |     4299   1030 |       25 |       50
1386.31/1386.99	c 1386s |      22 |  2043690 |  1872422 |     4299   1031 |       25 |       50
1388.41/1389.05	c 1389s |      22 |  2046312 |  1874822 |     4299   1032 |       25 |       50
1390.41/1391.08	c 1391s |      22 |  2048855 |  1877222 |     4299   1033 |       25 |       50
1392.51/1393.12	c 1393s |      22 |  2051528 |  1879722 |     4299   1034 |       25 |       50
1394.51/1395.19	c 1395s |      22 |  2054030 |  1882122 |     4299   1035 |       25 |       50
1396.62/1397.23	c 1397s |      22 |  2056455 |  1884422 |     4299   1036 |       25 |       50
1398.61/1399.26	c 1399s |      22 |  2058887 |  1886722 |     4299   1037 |       25 |       50
1400.61/1401.29	c 1401s |      22 |  2061338 |  1888922 |     4299   1038 |       25 |       50
1402.71/1403.32	c 1403s |      22 |  2063672 |  1891122 |     4299   1039 |       25 |       50
1404.71/1405.34	c 1405s |      22 |  2065937 |  1893222 |     4299   1040 |       25 |       50
1406.71/1407.38	c 1407s |      22 |  2068143 |  1895322 |     4299   1041 |       25 |       50
1408.81/1409.42	c 1409s |      22 |  2070857 |  1897822 |     4299   1042 |       25 |       50
1410.82/1411.48	c 1411s |      22 |  2073551 |  1900322 |     4299   1043 |       25 |       50
1412.90/1413.56	c 1413s |      22 |  2076148 |  1902722 |     4299   1044 |       25 |       50
1414.90/1415.58	c 1415s |      22 |  2078718 |  1905022 |     4299   1045 |       25 |       50
1416.90/1417.59	c 1417s |      22 |  2081282 |  1907422 |     4299   1046 |       25 |       50
1419.00/1419.67	c 1419s |      22 |  2083595 |  1909622 |     4299   1047 |       25 |       50
1421.10/1421.71	c 1421s |      22 |  2085709 |  1911622 |     4299   1048 |       25 |       50
1423.10/1423.75	c 1423s |      22 |  2087964 |  1913722 |     4299   1049 |       25 |       50
1425.21/1425.82	c 1425s |      22 |  2090016 |  1915622 |     4299   1050 |       25 |       50
1427.20/1427.84	c 1427s |      22 |  2092148 |  1917622 |     4299   1050 |       25 |       50
1429.20/1429.85	c 1429s |      22 |  2094625 |  1919822 |     4299   1051 |       25 |       50
1431.20/1431.89	c 1431s |      22 |  2097167 |  1922222 |     4299   1052 |       25 |       50
1433.30/1433.96	c 1433s |      22 |  2099540 |  1924522 |     4299   1053 |       25 |       50
1435.30/1435.99	c 1435s |      22 |  2101835 |  1926722 |     4299   1054 |       25 |       50
1437.40/1438.01	c 1437s |      22 |  2103931 |  1928722 |     4299   1055 |       25 |       50
1439.41/1440.05	c 1440s |      22 |  2105954 |  1930622 |     4299   1056 |       25 |       50
1441.40/1442.09	c 1442s |      22 |  2108036 |  1932522 |     4299   1057 |       25 |       50
1443.50/1444.13	c 1444s |      22 |  2110651 |  1934922 |     4299   1058 |       25 |       50
1445.50/1446.16	c 1446s |      22 |  2113174 |  1937022 |     4299   1059 |       25 |       50
1447.60/1448.20	c 1448s |      22 |  2115441 |  1939122 |     4299   1060 |       25 |       50
1449.60/1450.26	c 1450s |      22 |  2117768 |  1941322 |     4299   1061 |       25 |       50
1451.70/1452.34	c 1452s |      22 |  2120187 |  1943622 |     4299   1062 |       25 |       50
1453.71/1454.35	c 1454s |      22 |  2122406 |  1945722 |     4299   1063 |       25 |       50
1455.79/1456.47	c 1456s |      22 |  2124528 |  1947722 |     4299   1064 |       25 |       50
1457.89/1458.51	c 1458s |      22 |  2126674 |  1949722 |     4299   1064 |       25 |       50
1459.89/1460.52	c 1460s |      22 |  2128685 |  1951622 |     4299   1065 |       25 |       50
1461.89/1462.54	c 1462s |      22 |  2130828 |  1953622 |     4299   1066 |       25 |       50
1463.99/1464.64	c 1464s |      22 |  2132899 |  1955522 |     4299   1067 |       25 |       50
1466.00/1466.66	c 1466s |      22 |  2134822 |  1957322 |     4299   1068 |       25 |       50
1468.01/1468.70	c 1468s |      22 |  2136779 |  1959022 |     4299   1068 |       25 |       50
1470.10/1470.80	c 1470s |      22 |  2138889 |  1960922 |     4299   1069 |       25 |       50
1472.20/1472.87	c 1472s |      22 |  2141025 |  1962722 |     4299   1070 |       25 |       50
1474.20/1474.87	c 1474s |      22 |  2143298 |  1964822 |     4299   1071 |       25 |       50
1476.30/1476.95	c 1476s |      22 |  2145401 |  1966822 |     4299   1072 |       25 |       50
1478.30/1478.95	c 1478s |      22 |  2147322 |  1968622 |     4299   1073 |       25 |       50
1480.30/1480.97	c 1480s |      22 |  2149382 |  1970422 |     4299   1073 |       25 |       50
1482.31/1482.98	c 1482s |      22 |  2151698 |  1972322 |     4299   1074 |       25 |       50
1484.40/1485.06	c 1485s |      22 |  2154544 |  1974922 |     4299   1075 |       25 |       50
1486.50/1487.10	c 1487s |      22 |  2157166 |  1977322 |     4299   1076 |       25 |       50
1488.49/1489.13	c 1489s |      22 |  2159883 |  1979922 |     4299   1078 |       25 |       50
1490.49/1491.20	c 1491s |      22 |  2162521 |  1982422 |     4299   1079 |       25 |       50
1492.59/1493.20	c 1493s |      22 |  2165129 |  1984822 |     4299   1080 |       25 |       50
1494.59/1495.25	c 1495s |      22 |  2167791 |  1987322 |     4299   1081 |       25 |       50
1496.60/1497.28	c 1497s |      22 |  2170440 |  1989822 |     4299   1082 |       25 |       50
1498.69/1499.34	c 1499s |      22 |  2172892 |  1992122 |     4299   1083 |       25 |       50
1500.69/1501.35	c 1501s |      22 |  2175255 |  1994322 |     4299   1084 |       25 |       50
1502.79/1503.41	c 1503s |      22 |  2177722 |  1996522 |     4299   1085 |       25 |       50
1504.79/1505.41	c 1505s |      22 |  2180134 |  1998722 |     4299   1086 |       25 |       50
1506.79/1507.47	c 1507s |      22 |  2182619 |  2000922 |     4299   1087 |       25 |       50
1508.89/1509.54	c 1509s |      22 |  2184952 |  2003122 |     4299   1088 |       25 |       50
1510.90/1511.57	c 1511s |      22 |  2187410 |  2005422 |     4299   1089 |       25 |       50
1512.99/1513.64	c 1513s |      22 |  2189761 |  2007622 |     4299   1090 |       25 |       50
1514.99/1515.69	c 1515s |      22 |  2192129 |  2009822 |     4299   1090 |       25 |       50
1517.09/1517.79	c 1517s |      22 |  2194395 |  2011822 |     4299   1091 |       25 |       50
1519.19/1519.85	c 1519s |      22 |  2196640 |  2013722 |     4299   1092 |       25 |       50
1521.29/1521.92	c 1521s |      22 |  2199258 |  2015922 |     4299   1093 |       25 |       50
1523.29/1523.98	c 1523s |      22 |  2201723 |  2018222 |     4299   1094 |       25 |       50
1525.39/1526.05	c 1526s |      22 |  2204047 |  2020322 |     4299   1095 |       25 |       50
1527.50/1528.11	c 1528s |      22 |  2206556 |  2022522 |     4299   1096 |       25 |       50
1529.48/1530.15	c 1530s |      22 |  2208917 |  2024722 |     4299   1097 |       25 |       50
1531.58/1532.20	c 1532s |      22 |  2211241 |  2026822 |     4299   1098 |       25 |       50
1533.58/1534.26	c 1534s |      22 |  2213746 |  2029122 |     4299   1099 |       25 |       50
1535.68/1536.30	c 1536s |      22 |  2216002 |  2031122 |     4299   1100 |       25 |       50
1537.68/1538.32	c 1538s |      22 |  2218533 |  2033222 |     4299   1101 |       25 |       50
1539.68/1540.32	c 1540s |      22 |  2220890 |  2035322 |     4299   1102 |       25 |       50
1541.69/1542.32	c 1542s |      22 |  2223745 |  2037622 |     4299   1103 |       25 |       50
1543.68/1544.35	c 1544s |      22 |  2226460 |  2039922 |     4299   1104 |       25 |       50
1545.68/1546.40	c 1546s |      22 |  2229075 |  2042222 |     4299   1105 |       25 |       50
1547.78/1548.43	c 1548s |      22 |  2231758 |  2044722 |     4299   1106 |       25 |       50
1549.78/1550.49	c 1550s |      22 |  2234235 |  2046922 |     4299   1107 |       25 |       50
1551.88/1552.56	c 1552s |      22 |  2236724 |  2049222 |     4299   1108 |       25 |       50
1553.89/1554.57	c 1554s |      22 |  2239392 |  2051722 |     4299   1109 |       25 |       50
1555.99/1556.65	c 1556s |      22 |  2241797 |  2053922 |     4299   1110 |       25 |       50
1558.08/1558.73	c 1558s |      22 |  2244109 |  2056022 |     4299   1111 |       25 |       50
1560.18/1560.82	c 1560s |      22 |  2246553 |  2058322 |     4299   1112 |       25 |       50
1562.18/1562.83	c 1562s |      22 |  2248994 |  2060522 |     4299   1112 |       25 |       50
1564.18/1564.89	c 1564s |      22 |  2251991 |  2063322 |     4299   1114 |       25 |       50
1566.28/1566.94	c 1566s |      22 |  2254702 |  2065922 |     4299   1115 |       25 |       50
1568.28/1568.99	c 1568s |      22 |  2257369 |  2068422 |     4299   1116 |       25 |       50
1570.29/1571.00	c 1570s |      22 |  2259827 |  2070722 |     4299   1117 |       25 |       50
1572.38/1573.07	c 1573s |      22 |  2262310 |  2073022 |     4299   1118 |       25 |       50
1574.48/1575.12	c 1575s |      22 |  2264732 |  2075322 |     4299   1119 |       25 |       50
1576.48/1577.14	c 1577s |      22 |  2266899 |  2077322 |     4299   1120 |       25 |       50
1578.48/1579.18	c 1579s |      22 |  2269544 |  2079722 |     4299   1121 |       25 |       50
1580.58/1581.25	c 1581s |      22 |  2272051 |  2082122 |     4299   1122 |       25 |       50
1582.58/1583.25	c 1583s |      22 |  2274283 |  2084222 |     4299   1123 |       25 |       50
1584.59/1585.27	c 1585s |      22 |  2276757 |  2086522 |     4299   1124 |       25 |       50
1586.67/1587.30	c 1587s |      22 |  2279047 |  2088622 |     4299   1125 |       25 |       50
1588.67/1589.33	c 1589s |      22 |  2281506 |  2090822 |     4299   1126 |       25 |       50
1590.67/1591.37	c 1591s |      22 |  2284159 |  2093322 |     4299   1127 |       25 |       50
1592.67/1593.37	c 1593s |      22 |  2286728 |  2095722 |     4299   1128 |       25 |       50
1594.77/1595.44	c 1595s |      22 |  2289328 |  2098122 |     4299   1129 |       25 |       50
1596.87/1597.53	c 1597s |      22 |  2291906 |  2100522 |     4299   1130 |       25 |       50
1598.88/1599.60	c 1599s |      22 |  2294210 |  2102722 |     4299   1131 |       25 |       50
1600.97/1601.65	c 1601s |      22 |  2296654 |  2105022 |     4299   1132 |       25 |       50
1603.07/1603.73	c 1603s |      22 |  2299117 |  2107322 |     4299   1133 |       25 |       50
1605.08/1605.79	c 1605s |      22 |  2301383 |  2109422 |     4299   1134 |       25 |       50
1607.08/1607.79	c 1607s |      22 |  2303842 |  2111622 |     4299   1135 |       25 |       50
1609.08/1609.79	c 1609s |      22 |  2306291 |  2113922 |     4299   1136 |       25 |       50
1611.18/1611.86	c 1611s |      22 |  2308850 |  2116222 |     4299   1137 |       25 |       50
1613.19/1613.87	c 1613s |      22 |  2311238 |  2118322 |     4299   1138 |       25 |       50
1615.28/1615.93	c 1615s |      22 |  2313588 |  2120422 |     4299   1138 |       25 |       50
1617.28/1617.96	c 1617s |      22 |  2315779 |  2122422 |     4299   1139 |       25 |       50
1619.38/1620.03	c 1619s |      22 |  2318445 |  2124822 |     4299   1140 |       25 |       50
1621.48/1622.12	c 1622s |      22 |  2320697 |  2126822 |     4299   1141 |       25 |       50
1623.58/1624.20	c 1624s |      22 |  2322994 |  2128822 |     4299   1142 |       25 |       50
1625.57/1626.28	c 1626s |      22 |  2325505 |  2131022 |     4299   1143 |       25 |       50
1627.59/1628.30	c 1628s |      22 |  2327811 |  2133122 |     4299   1144 |       25 |       50
1629.69/1630.36	c 1630s |      22 |  2330119 |  2135222 |     4299   1145 |       25 |       50
1631.77/1632.41	c 1632s |      22 |  2332656 |  2137422 |     4299   1146 |       25 |       50
1633.77/1634.44	c 1634s |      22 |  2335436 |  2139922 |     4299   1147 |       25 |       50
1635.77/1636.50	c 1636s |      22 |  2338185 |  2142322 |     4299   1148 |       25 |       50
1637.87/1638.57	c 1638s |      22 |  2341063 |  2144722 |     4299   1149 |       25 |       50
1639.97/1640.65	c 1640s |      22 |  2343616 |  2146922 |     4299   1150 |       25 |       50
1641.97/1642.65	c 1642s |      22 |  2346315 |  2149222 |     4299   1151 |       25 |       50
1644.08/1644.72	c 1644s |      22 |  2349085 |  2151522 |     4299   1152 |       25 |       50
1646.07/1646.80	c 1646s |      22 |  2351798 |  2154022 |     4299   1153 |       25 |       50
1648.17/1648.82	c 1648s |      22 |  2354120 |  2156122 |     4299   1154 |       25 |       50
1650.17/1650.88	c 1650s |      22 |  2356530 |  2158222 |     4299   1155 |       25 |       50
1652.27/1652.94	c 1652s |      22 |  2358841 |  2160322 |     4299   1156 |       25 |       50
1654.37/1655.00	c 1654s |      22 |  2360992 |  2162322 |     4299   1157 |       25 |       50
1656.37/1657.04	c 1656s |      22 |  2363258 |  2164322 |     4299   1158 |       25 |       50
1658.38/1659.04	c 1658s |      22 |  2365595 |  2166322 |     4299   1158 |       25 |       50
1660.37/1661.08	c 1661s |      22 |  2367950 |  2168422 |     4299   1159 |       25 |       50
1662.47/1663.11	c 1663s |      22 |  2370185 |  2170322 |     4299   1160 |       25 |       50
1664.47/1665.11	c 1665s |      22 |  2372949 |  2172922 |     4299   1161 |       25 |       50
1666.46/1667.19	c 1667s |      22 |  2375568 |  2175422 |     4299   1162 |       25 |       50
1668.56/1669.28	c 1669s |      22 |  2377899 |  2177622 |     4299   1163 |       25 |       50
1670.66/1671.33	c 1671s |      22 |  2380339 |  2179922 |     4299   1164 |       25 |       50
1672.67/1673.39	c 1673s |      22 |  2382846 |  2182322 |     4299   1165 |       25 |       50
1674.77/1675.47	c 1675s |      22 |  2385282 |  2184622 |     4299   1166 |       25 |       50
1676.76/1677.48	c 1677s |      22 |  2387687 |  2186722 |     4299   1167 |       25 |       50
1678.86/1679.50	c 1679s |      22 |  2390057 |  2188822 |     4299   1168 |       25 |       50
1680.86/1681.52	c 1681s |      22 |  2392278 |  2190922 |     4299   1169 |       25 |       50
1682.86/1683.59	c 1683s |      22 |  2394673 |  2193222 |     4299   1170 |       25 |       50
1684.96/1685.60	c 1685s |      22 |  2396957 |  2195422 |     4299   1171 |       25 |       50
1686.97/1687.70	c 1687s |      22 |  2399273 |  2197622 |     4299   1172 |       25 |       50
1689.07/1689.76	c 1689s |      22 |  2401796 |  2199922 |     4299   1173 |       25 |       50
1691.16/1691.82	c 1691s |      22 |  2404386 |  2202322 |     4299   1174 |       25 |       50
1693.16/1693.85	c 1693s |      22 |  2406791 |  2204622 |     4299   1175 |       25 |       50
1695.26/1695.92	c 1695s |      22 |  2409050 |  2206722 |     4299   1176 |       25 |       50
1697.26/1697.94	c 1697s |      22 |  2411328 |  2208822 |     4299   1177 |       25 |       50
1699.26/1699.96	c 1699s |      22 |  2413676 |  2211022 |     4299   1178 |       25 |       50
1701.27/1701.96	c 1701s |      22 |  2415868 |  2213022 |     4299   1179 |       25 |       50
1703.26/1704.00	c 1703s |      22 |  2418041 |  2215022 |     4299   1179 |       25 |       50
1705.36/1706.00	c 1705s |      22 |  2420304 |  2216922 |     4299   1180 |       25 |       50
1707.36/1708.07	c 1708s |      22 |  2423085 |  2219522 |     4299   1181 |       25 |       50
1709.46/1710.15	c 1710s |      22 |  2425626 |  2221922 |     4299   1183 |       25 |       50
1711.46/1712.17	c 1712s |      22 |  2427929 |  2224122 |     4299   1183 |       25 |       50
1713.56/1714.21	c 1714s |      22 |  2430229 |  2226322 |     4299   1184 |       25 |       50
1715.57/1716.28	c 1716s |      22 |  2432457 |  2228422 |     4299   1185 |       25 |       50
1717.67/1718.38	c 1718s |      22 |  2434559 |  2230422 |     4299   1186 |       25 |       50
1719.75/1720.42	c 1720s |      22 |  2436621 |  2232222 |     4299   1187 |       25 |       50
1721.75/1722.43	c 1722s |      22 |  2438964 |  2234522 |     4299   1188 |       25 |       50
1723.75/1724.45	c 1724s |      22 |  2441381 |  2236822 |     4729   1189 |       25 |       50
1725.85/1726.51	c 1726s |      22 |  2443719 |  2239022 |     4729   1190 |       25 |       50
1727.96/1728.65	c 1728s |      22 |  2446133 |  2241322 |     4729   1191 |       25 |       50
1730.06/1730.75	c 1730s |      22 |  2448204 |  2243322 |     4729   1191 |       25 |       50
1732.16/1732.85	c 1732s |      22 |  2450640 |  2245622 |     4729   1192 |       25 |       50
1734.17/1734.85	c 1734s |      22 |  2452845 |  2247722 |     4729   1193 |       25 |       50
1736.26/1736.90	c 1736s |      22 |  2455175 |  2249922 |     4729   1194 |       25 |       50
1737.26/1737.98	c 1737s |      23 |  2456370 |  2251038 |     4729   1194 |       25 |       50
1739.36/1740.04	c 1739s |      23 |  2459261 |  2253538 |     4729   1195 |       25 |       50
1741.36/1742.05	c 1742s |      23 |  2462006 |  2255938 |     4729   1196 |       25 |       50
1743.36/1744.06	c 1744s |      23 |  2464629 |  2258338 |     4729   1197 |       25 |       50
1745.46/1746.10	c 1746s |      23 |  2467209 |  2260638 |     4729   1198 |       25 |       50
1747.47/1748.16	c 1748s |      23 |  2469843 |  2263038 |     4729   1199 |       25 |       50
1749.57/1750.22	c 1750s |      23 |  2472540 |  2265438 |     4729   1200 |       25 |       50
1751.56/1752.25	c 1752s |      23 |  2474994 |  2267738 |     4729   1201 |       25 |       50
1753.66/1754.32	c 1754s |      23 |  2477500 |  2269938 |     4729   1202 |       25 |       50
1755.66/1756.32	c 1756s |      23 |  2479813 |  2272038 |     4729   1203 |       25 |       50
1757.75/1758.41	c 1758s |      23 |  2482129 |  2274238 |     4729   1204 |       25 |       50
1759.85/1760.53	c 1760s |      23 |  2484758 |  2276538 |     4729   1205 |       25 |       50
1761.95/1762.61	c 1762s |      23 |  2487285 |  2278738 |     4729   1205 |       25 |       50
1763.96/1764.64	c 1764s |      23 |  2489903 |  2281038 |     4729   1206 |       25 |       50
1766.06/1766.72	c 1766s |      23 |  2492602 |  2283438 |     4729   1207 |       25 |       50
1768.05/1768.74	c 1768s |      23 |  2494979 |  2285738 |     4729   1208 |       25 |       50
1770.15/1770.81	c 1770s |      23 |  2497343 |  2287838 |     4729   1209 |       25 |       50
1772.15/1772.86	c 1772s |      23 |  2500329 |  2290338 |     4729   1210 |       25 |       50
1774.25/1774.90	c 1774s |      23 |  2503013 |  2292738 |     4729   1211 |       25 |       50
1776.25/1776.98	c 1776s |      23 |  2505758 |  2295238 |     4729   1212 |       25 |       50
1778.35/1779.00	c 1778s |      23 |  2508094 |  2297438 |     4729   1213 |       25 |       50
1780.36/1781.09	c 1781s |      23 |  2510502 |  2299738 |     4729   1214 |       25 |       50
1782.45/1783.11	c 1783s |      23 |  2512708 |  2301738 |     4729   1215 |       25 |       50
1784.55/1785.21	c 1785s |      23 |  2515371 |  2304038 |     4729   1215 |       25 |       50
1786.55/1787.24	c 1787s |      23 |  2517914 |  2306338 |     4729   1216 |       25 |       50
1788.55/1789.28	c 1789s |      23 |  2520556 |  2308738 |     4729   1217 |       25 |       50
1790.65/1791.31	c 1791s |      23 |  2523121 |  2310938 |     4729   1218 |       25 |       50
1792.65/1793.38	c 1793s |      23 |  2525514 |  2313038 |     4729   1219 |       25 |       50
1794.76/1795.43	c 1795s |      23 |  2527999 |  2315138 |     4729   1220 |       25 |       50
1796.75/1797.46	c 1797s |      23 |  2530379 |  2317138 |     4729   1221 |       25 |       50
1798.85/1799.55	c 1799s |      23 |  2532654 |  2319138 |     4729   1222 |       25 |       50

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

pid=26101
running on 8 cores: 4-7,12-15

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.21 2.20 2.27 3/261 26104
/proc/meminfo: memFree=31001256/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1217980 CPUtime=0 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 4660 0 0 0 0 0 0 0 20 0 4 0 103588660 1247211520 4510 33554432000 4194304 16246674 140737304403504 140737304402928 14073233 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 304495 4511 441 2943 0 301389 0
[pid=26104/tid=26105] ppid=26101 vsize=1217980 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1247211520 4568 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1217980 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1247211520 4577 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1217980 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103588660 1247211520 4580 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.21 2.20 2.27 3/261 26104
/proc/meminfo: memFree=31001256/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1218116 CPUtime=0.09 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 26710 0 0 0 6 3 0 0 20 0 4 0 103588660 1247350784 26549 33554432000 4194304 16246674 140737304403504 140737304385408 13780501 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 304529 26558 735 2943 0 301423 0
[pid=26104/tid=26105] ppid=26101 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1247350784 26564 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1247350784 26572 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103588660 1247350784 26583 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200529 s]
/proc/loadavg: 2.21 2.20 2.27 3/261 26104
/proc/meminfo: memFree=31001256/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1218116 CPUtime=0.19 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 49111 0 0 0 14 5 0 0 20 0 4 0 103588660 1247350784 48951 33554432000 4194304 16246674 140737304403504 140737304385408 5546181 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 304529 48969 735 2943 0 301423 0
[pid=26104/tid=26105] ppid=26101 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1247350784 48979 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1247350784 48988 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103588660 1247350784 48996 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300503 s]
/proc/loadavg: 2.21 2.20 2.27 3/261 26104
/proc/meminfo: memFree=31001256/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1218116 CPUtime=0.29 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 72765 0 0 0 21 8 0 0 20 0 4 0 103588660 1247350784 72604 33554432000 4194304 16246674 140737304403504 140737304385408 5602147 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 304529 72611 735 2943 0 301423 0
[pid=26104/tid=26105] ppid=26101 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1247350784 72616 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1247350784 72620 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103588660 1247350784 72623 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700414 s]
/proc/loadavg: 2.21 2.20 2.27 3/261 26104
/proc/meminfo: memFree=31001256/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1218116 CPUtime=0.69 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 168500 0 0 0 49 20 0 0 20 0 4 0 103588660 1247350784 168339 33554432000 4194304 16246674 140737304403504 140737304385408 5602895 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 304529 168346 735 2943 0 301423 0
[pid=26104/tid=26105] ppid=26101 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1247350784 168351 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1247350784 168355 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103588660 1247350784 168358 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.20 2.20 2.27 3/265 26108
/proc/meminfo: memFree=30019108/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1220164 CPUtime=1.49 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 246020 0 0 0 119 30 0 0 20 0 4 0 103588660 1249447936 245839 33554432000 4194304 16246674 140737304403504 140737304385408 6013193 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 305041 245839 799 2943 0 301935 0
[pid=26104/tid=26105] ppid=26101 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1249447936 245839 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1249447936 245839 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103588660 1249447936 245839 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.10039 s]
/proc/loadavg: 2.20 2.20 2.27 3/265 26108
/proc/meminfo: memFree=29936028/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1306180 CPUtime=3.09 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 267430 0 0 0 276 33 0 0 20 0 4 0 103588660 1337528320 267249 33554432000 4194304 16246674 140737304403504 140737304385408 13943664 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 326545 267249 800 2943 0 323439 0
[pid=26104/tid=26105] ppid=26101 vsize=1306180 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1337528320 267249 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1306180 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1337528320 267249 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1306180 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103588660 1337528320 267249 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.18 2.19 2.27 3/265 26108
/proc/meminfo: memFree=29932944/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1307204 CPUtime=6.29 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 267616 0 0 0 596 33 0 0 20 0 4 0 103588660 1338576896 267435 33554432000 4194304 16246674 140737304403504 140737304386504 15015658 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 326801 267435 800 2943 0 323695 0
[pid=26104/tid=26105] ppid=26101 vsize=1307204 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1338576896 267435 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1307204 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1338576896 267435 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1307204 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103588660 1338576896 267435 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.16 2.19 2.26 3/265 26108
/proc/meminfo: memFree=29932408/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1307204 CPUtime=12.69 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 267838 0 0 0 1236 33 0 0 20 0 4 0 103588660 1338576896 267657 33554432000 4194304 16246674 140737304403504 140737304385408 5672188 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 326801 267657 800 2943 0 323695 0
[pid=26104/tid=26105] ppid=26101 vsize=1307204 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1338576896 267657 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1307204 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1338576896 267657 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1307204 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103588660 1338576896 267657 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5109 s]
/proc/loadavg: 2.14 2.18 2.26 3/265 26108
/proc/meminfo: memFree=29931436/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1308228 CPUtime=25.49 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 268094 0 0 0 2516 33 0 0 20 0 4 0 103588660 1339625472 267913 33554432000 4194304 16246674 140737304403504 140737304385408 12483362 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 327057 267913 800 2943 0 323951 0
[pid=26104/tid=26105] ppid=26101 vsize=1308228 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1339625472 267913 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1308228 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1339625472 267913 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1308228 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103588660 1339625472 267913 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1004 s]
/proc/loadavg: 2.16 2.18 2.26 3/265 26108
/proc/meminfo: memFree=29931008/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1309252 CPUtime=51.08 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 268354 0 0 0 5074 34 0 0 20 0 4 0 103588660 1340674048 268173 33554432000 4194304 16246674 140737304403504 140737304385408 13192071 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 327313 268173 804 2943 0 324207 0
[pid=26104/tid=26105] ppid=26101 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1340674048 268173 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1340674048 268173 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103588660 1340674048 268173 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.21 2.20 2.26 3/265 26109
/proc/meminfo: memFree=29929256/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1310276 CPUtime=102.28 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 268610 0 0 0 10193 35 0 0 20 0 4 0 103588660 1341722624 268429 33554432000 4194304 16246674 140737304403504 140737304385408 12483230 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 327569 268429 804 2943 0 324463 0
[pid=26104/tid=26105] ppid=26101 vsize=1310276 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1341722624 268429 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1310276 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1341722624 268429 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1310276 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103588660 1341722624 268429 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1310276


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

/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 1316420

[startup+1302.3 s]
/proc/loadavg: 2.07 2.05 2.09 3/265 26162
/proc/meminfo: memFree=29916360/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1316420 CPUtime=1301.75 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 270590 0 0 0 130127 48 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 140737304385408 13927401 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 329105 270222 805 2943 0 325999 0
[pid=26104/tid=26105] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 1316420

[startup+1362.3 s]
/proc/loadavg: 2.26 2.11 2.11 3/265 26163
/proc/meminfo: memFree=29916084/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1316420 CPUtime=1361.72 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 270628 0 0 0 136123 49 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 140737304385408 13809250 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 329105 270222 805 2943 0 325999 0
[pid=26104/tid=26105] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 1316420

[startup+1422.3 s]
/proc/loadavg: 2.18 2.12 2.11 3/265 26165
/proc/meminfo: memFree=29916528/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1316420 CPUtime=1421.7 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 270628 0 0 0 142121 49 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 140737304385408 6022473 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 329105 270222 805 2943 0 325999 0
[pid=26104/tid=26105] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 1316420

[startup+1482.3 s]
/proc/loadavg: 2.15 2.11 2.10 3/266 26167
/proc/meminfo: memFree=29916780/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1316420 CPUtime=1481.7 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 270628 0 0 0 148120 50 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 140737304385408 12874920 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 329105 270222 805 2943 0 325999 0
[pid=26104/tid=26105] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 1316420

[startup+1542.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/265 26266
/proc/meminfo: memFree=30008148/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1316420 CPUtime=1541.69 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 270628 0 0 0 154119 50 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 140737304385408 13950232 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 329105 270222 805 2943 0 325999 0
[pid=26104/tid=26105] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 1316420

[startup+1602.3 s]
/proc/loadavg: 2.04 2.09 2.09 3/265 26903
/proc/meminfo: memFree=30210668/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1316420 CPUtime=1601.67 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 270628 0 0 0 160117 50 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 140737304385408 5827966 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 329105 270222 805 2943 0 325999 0
[pid=26104/tid=26105] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 1316420

[startup+1662.31 s]
/proc/loadavg: 2.08 2.10 2.09 3/265 27687
/proc/meminfo: memFree=29918608/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1316420 CPUtime=1661.68 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 270628 0 0 0 166117 51 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 140737304385408 6021620 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 329105 270222 805 2943 0 325999 0
[pid=26104/tid=26105] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 1316420

[startup+1722.3 s]
/proc/loadavg: 2.03 2.08 2.08 3/265 27737
/proc/meminfo: memFree=29906840/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1316420 CPUtime=1721.65 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 270628 0 0 0 172114 51 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 140737304385408 6022308 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 329105 270222 805 2943 0 325999 0
[pid=26104/tid=26105] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 1316420

[startup+1782.3 s]
/proc/loadavg: 2.09 2.09 2.09 3/266 27936
/proc/meminfo: memFree=29916792/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1316420 CPUtime=1781.65 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 270628 0 0 0 178113 52 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 140737304385408 5827966 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 329105 270222 805 2943 0 325999 0
[pid=26104/tid=26105] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 1316420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.14 2.10 2.09 3/265 28132
/proc/meminfo: memFree=30029012/32872528 swapFree=9196/9196
[pid=26104] ppid=26101 vsize=1316420 CPUtime=1800.05 cores=4-7,12-15
/proc/26104/stat : 26104 (toysat) R 26101 26104 25889 0 -1 4202496 270628 0 0 0 179953 52 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 140737304385408 12478324 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/26104/statm: 329105 270222 805 2943 0 325999 0
[pid=26104/tid=26105] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26105/stat : 26105 (toysat) S 26101 26104 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841428761840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=26104/tid=26106] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26106/stat : 26106 (toysat) S 26101 26104 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841418271984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=26104/tid=26107] ppid=26101 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/26104/task/26107/stat : 26107 (toysat) S 26101 26104 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103588660 1348014080 270222 33554432000 4194304 16246674 140737304403504 139841407798448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1316420

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.71
CPU time (s): 1800.06
CPU user time (s): 1799.54
CPU system time (s): 0.52492
CPU usage (%): 99.964
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.52492
maximum resident set size= 1080888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270628
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= 494
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.98294 second user time and 11.8962 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 14:51:06
IDJOB=4078712
IDBENCH=1160
IDSOLVER=2542
FILE ID=node132/4078712-1465217466
RUNJOBID= node132-1465216787-25906
PBS_JOBID= 19843203
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army13.24bt.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078712-1465217466/watcher-4078712-1465217466 -o /tmp/evaluation-result-4078712-1465217466/solver-4078712-1465217466 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078712-1465217466.opb

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

MD5SUM BENCH= f8964c43535341fcc69e672675167b77
RANDOM SEED=1436753892

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31001668 kB
Buffers:            2496 kB
Cached:            68396 kB
SwapCached:         3104 kB
Active:          1133396 kB
Inactive:          15492 kB
Active(anon):    1077628 kB
Inactive(anon):     2808 kB
Active(file):      55768 kB
Inactive(file):    12684 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094220 kB
Dirty:             16656 kB
Writeback:             0 kB
AnonPages:       1085088 kB
Mapped:            10248 kB
Shmem:                 0 kB
Slab:             572096 kB
SReclaimable:      11844 kB
SUnreclaim:       560252 kB
KernelStack:        2232 kB
PageTables:         6044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1231676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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 node132 at 2016-06-06 15:21:07