Trace number 4116133

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.07 1800.52

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round23-4.opb
MD5SUMd350013189e61594c0f4e016913901e6
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9536
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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-27T00:46:33+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-4116133-1466981192.opb"]
0.00/0.01	c use --random-gen="1475448277 1783359865 238807722 2586718795 3755645660 2240554805 2208238059 1228393974 894342739 3815740295 1510883548 3239638329 2963337671 2355178997 2079483162 2910963074 266154227 982675087 1656238218 1548415270 448152312 1339031231 2809860705 1995990381 688834158 3466548737 248111022 2642909960 3593412421 1786508226 1268662273 1273693136 2697186327 2451808440 779097030 1807972836 1918513558 3555861564 1969434013 1813603401 846188864 24483082 395096193 2874501076 3017869193 2719353471 2598717536 4231197044 137610306 1499937301 1354103140 3568072800 85891440 379300834 1596876163 3696054030 567396901 1757659855 3959551563 51508596 1724356259 3871928554 3086436283 1004010756 226413524 3559316152 133099868 4228757911 2016010387 3163315436 311830145 2372123724 2545532259 2807742998 343094279 432437224 370253220 4166055777 2790331667 2829694525 1814805304 1027553031 1507960746 3915561340 197565430 726331904 2289455220 3812190551 3419433079 2690520798 2262937707 3138139358 3025018423 1371928610 3939581117 316208793 11691808 4172424024 3894331768 1661008624 3304945828 2733550331 1871730600 2953296969 4158699802 1900758587 2015324585 3984900753 1856279785 3106159304 1173187619 1428677802 2260407633 639163163 3029020083 4032153810 3748728200 2708661962 1009443005 3298175916 3355646382 1294245068 1911257954 2201787844 490024967 2558458654 3354791461 815511855 703618667 3576973806 249348561 4247441929 4234441257 1438024367 1061192745 3815013581 1941841377 2855391441 4134304691 3098495564 1530547630 3299173841 2515485563 2609668860 1108334289 1339458796 2995432419 4008025147 3271609114 2248989209 3027085805 3297482012 803688208 2155111005 1981325 1163883290 1480661203 3705458064 949384544 399624473 703254071 533284654 38329126 1507021395 1614632595 1250808927 511102006 3771461512 2516067907 1619665357 2261341756 1148654240 336784659 904842758 2809793682 379312299 1539630296 415371423 1632574293 67480484 532072343 2746737871 77516802 1498281193 1543326820 2513397008 1517261324 697672709 2944696354 2912178040 2745109031 2734481226 3253710635 3041780174 2711225823 4001715316 2238227587 2356161287 2073615776 3033543540 1142233217 2851189130 3532736834 1586750728 2751818292 3711286469 529512354 2900535460 841052704 1892140590 2664837594 2396677927 2444078942 1432786900 3573932372 1009897628 963339911 1357446405 1878764352 3261146249 1703425699 967268123 4079384563 480599899 659651020 569960494 248001277 3739490782 3286041463 3438672996 4216283664 3366898675 1755010003 1919378518 1241906485 4087858061 3726193668 2473320012 1108534557 2153988102 1070267315 537460618 2371377355 593884301 2431371078 549524518 850806344 1800015392 4012317944 2432259832 4100609835 1249486773 607273099 2063913096 573279284 3571472258 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9536
0.18/0.28	c Solving starts ...
0.18/0.28	c ============================[ Search Statistics ]============================
0.18/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.28	c =============================================================================
0.18/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      910 |        0
0.28/0.35	c  0.1s |       1 |      925 |      100 |     4565      0 |      910 |      944
0.39/0.47	c  0.2s |       2 |     3001 |      250 |     5022      0 |      912 |      944
0.59/0.67	c  0.4s |       3 |     5322 |      475 |     5525      0 |      913 |      944
0.89/0.92	c  0.6s |       4 |     8192 |      813 |     6078      0 |      914 |      944
1.28/1.37	c  1.1s |       5 |    10930 |     1320 |     6686      0 |      914 |      944
1.98/2.03	c  1.7s |       6 |    15800 |     2081 |     8091      0 |      914 |      944
2.69/2.73	c  2.5s |       7 |    20830 |     3223 |     8901      0 |      914 |      944
4.79/4.88	c  4.6s |       7 |    24314 |     4723 |     8901      0 |      914 |      944
5.19/5.23	c  5.0s |       8 |    24546 |     4936 |     9792      0 |      914 |      944
7.29/7.34	c  7.1s |       8 |    27483 |     6936 |     9792      0 |      914 |      944
8.09/8.10	c  7.8s |       9 |    28130 |     7506 |    10772      0 |      914 |      944
10.19/10.26	c 10.0s |       9 |    32440 |     9206 |    10772      0 |      914 |      944
12.20/12.29	c 12.0s |       9 |    35104 |    10506 |    10772      0 |      914 |      944
13.29/13.38	c 13.1s |      10 |    36617 |    11361 |    11850      0 |      914 |      944
15.29/15.40	c 15.1s |      10 |    40280 |    13161 |    11850      0 |      914 |      944
17.39/17.42	c 17.1s |      10 |    42121 |    14761 |    11850      0 |      914 |      944
19.49/19.53	c 19.3s |      10 |    43546 |    16061 |    11850      1 |      914 |      944
21.19/21.28	c 21.0s |      11 |    44754 |    17144 |    13036      1 |      914 |      944
23.29/23.33	c 23.1s |      11 |    55309 |    20144 |    13036      1 |      914 |      944
25.39/25.45	c 25.2s |      11 |    57702 |    22144 |    13036      1 |      914 |      944
27.49/27.56	c 27.3s |      11 |    62155 |    24044 |    13036      2 |      914 |      944
28.98/29.04	c 28.8s |      12 |    68269 |    25819 |    14340      2 |      914 |      944
30.98/31.08	c 30.8s |      12 |    72992 |    27919 |    14340      2 |      914 |      944
33.09/33.16	c 32.9s |      12 |    74480 |    29019 |    14340      2 |      914 |      944
35.19/35.26	c 35.0s |      12 |    76488 |    30319 |    14340      2 |      914 |      944
37.28/37.35	c 37.1s |      12 |    79380 |    31919 |    14340      2 |      914 |      944
39.28/39.36	c 39.1s |      12 |    82749 |    33619 |    14340      3 |      914 |      944
41.28/41.39	c 41.1s |      12 |    88157 |    35519 |    14340      3 |      914 |      944
43.48/43.54	c 43.3s |      12 |    90563 |    37119 |    14340      3 |      914 |      944
45.28/45.37	c 45.1s |      13 |    96408 |    38832 |    15775      3 |      914 |      944
47.29/47.39	c 47.1s |      13 |   102704 |    40832 |    15775      3 |      914 |      944
49.38/49.40	c 49.1s |      13 |   107638 |    42432 |    15775      3 |      914 |      944
51.38/51.43	c 51.2s |      13 |   111178 |    43832 |    15775      4 |      914 |      944
53.48/53.51	c 53.2s |      13 |   114666 |    45432 |    15775      4 |      914 |      944
55.48/55.52	c 55.2s |      13 |   116256 |    46532 |    15775      4 |      914 |      944
57.68/57.71	c 57.4s |      13 |   117929 |    47732 |    15775      4 |      914 |      944
59.98/60.00	c 59.7s |      13 |   118872 |    48532 |    15775      4 |      914 |      944
62.08/62.12	c 61.8s |      13 |   119964 |    49432 |    15775      4 |      914 |      944
64.28/64.32	c 64.0s |      13 |   121128 |    50332 |    15775      4 |      914 |      944
66.48/66.55	c 66.3s |      13 |   121775 |    50932 |    15775      4 |      914 |      944
68.58/68.67	c 68.4s |      13 |   122466 |    51532 |    15775      4 |      914 |      944
70.68/70.78	c 70.5s |      13 |   123350 |    52232 |    15775      4 |      914 |      944
72.98/73.01	c 72.7s |      13 |   124395 |    53032 |    15775      5 |      914 |      944
75.18/75.20	c 74.9s |      13 |   125166 |    53732 |    15775      5 |      914 |      944
77.18/77.22	c 76.9s |      13 |   126043 |    54432 |    15775      5 |      914 |      944
79.37/79.45	c 79.2s |      13 |   126814 |    55132 |    15775      5 |      914 |      944
81.48/81.53	c 81.2s |      13 |   127672 |    55832 |    15775      5 |      914 |      944
83.77/83.89	c 83.6s |      13 |   128313 |    56432 |    15775      5 |      914 |      944
85.97/86.01	c 85.7s |      13 |   128859 |    56932 |    15775      5 |      914 |      944
88.17/88.21	c 87.9s |      13 |   129425 |    57432 |    15775      5 |      914 |      944
90.47/90.52	c 90.2s |      13 |   130300 |    58132 |    17353      5 |      914 |      944
91.28/91.36	c 91.1s |      14 |   130568 |    58352 |    17353      5 |      914 |      944
93.27/93.39	c 93.1s |      14 |   137278 |    60652 |    17353      5 |      914 |      944
95.37/95.48	c 95.2s |      14 |   141303 |    62452 |    17353      6 |      914 |      944
97.47/97.56	c 97.3s |      14 |   146938 |    64552 |    17353      6 |      914 |      944
99.57/99.65	c 99.4s |      14 |   150369 |    66652 |    17353      6 |      914 |      944
101.57/101.68	c  101s |      14 |   152953 |    68252 |    17353      6 |      914 |      944
103.77/103.81	c  103s |      14 |   154450 |    69452 |    17353      6 |      914 |      944
105.77/105.85	c  105s |      14 |   155677 |    70452 |    17353      6 |      914 |      944
107.77/107.86	c  107s |      14 |   156919 |    71452 |    17353      6 |      914 |      944
109.97/110.05	c  109s |      14 |   158037 |    72452 |    17353      6 |      914 |      944
111.97/112.06	c  111s |      14 |   159041 |    73352 |    17353      6 |      914 |      944
114.07/114.13	c  113s |      14 |   159981 |    74152 |    17353      7 |      914 |      944
116.07/116.19	c  115s |      14 |   162371 |    75452 |    17353      7 |      914 |      944
118.17/118.26	c  117s |      14 |   165110 |    77152 |    17353      7 |      914 |      944
120.37/120.42	c  120s |      14 |   167341 |    78652 |    17353      7 |      914 |      944
122.47/122.51	c  122s |      14 |   168919 |    79852 |    17353      7 |      914 |      944
124.57/124.64	c  124s |      14 |   170476 |    80952 |    17353      7 |      914 |      944
126.67/126.74	c  126s |      14 |   171870 |    81952 |    17353      7 |      914 |      944
128.68/128.80	c  128s |      14 |   173213 |    82952 |    17353      7 |      914 |      944
131.17/131.29	c  131s |      14 |   174522 |    83952 |    17353      8 |      914 |      944
133.27/133.35	c  133s |      14 |   175636 |    84852 |    17353      8 |      914 |      944
135.38/135.47	c  135s |      14 |   177038 |    85852 |    17353      8 |      914 |      944
137.58/137.61	c  137s |      14 |   178650 |    86952 |    17353      8 |      914 |      944
139.27/139.30	c  139s |      15 |   179484 |    87632 |    19089      8 |      914 |      944
141.27/141.35	c  141s |      15 |   186636 |    89532 |    19089      8 |      914 |      944
143.37/143.45	c  143s |      15 |   189359 |    91332 |    19089      8 |      914 |      944
145.47/145.55	c  145s |      15 |   191197 |    92732 |    19089      8 |      914 |      944
147.57/147.60	c  147s |      15 |   193127 |    94032 |    19089      8 |      914 |      944
149.57/149.63	c  149s |      15 |   194842 |    95332 |    19089      8 |      914 |      944
151.67/151.71	c  151s |      15 |   196599 |    96532 |    19089      9 |      914 |      944
153.77/153.85	c  153s |      15 |   198313 |    97832 |    19089      9 |      914 |      944
155.97/156.01	c  155s |      15 |   199904 |    99032 |    19089      9 |      914 |      944
158.07/158.17	c  157s |      15 |   201423 |   100232 |    19089      9 |      914 |      944
160.16/160.25	c  159s |      15 |   202801 |   101232 |    19089      9 |      914 |      944
162.36/162.40	c  162s |      15 |   204004 |   102232 |    19089      9 |      914 |      944
164.36/164.43	c  164s |      15 |   205083 |   103132 |    19089      9 |      914 |      944
166.36/166.49	c  166s |      15 |   206180 |   104032 |    19089      9 |      914 |      944
168.56/168.63	c  168s |      15 |   207140 |   104832 |    19089      9 |      914 |      944
170.57/170.63	c  170s |      15 |   208104 |   105632 |    19089      9 |      914 |      944
172.67/172.80	c  172s |      15 |   209020 |   106432 |    19089      9 |      914 |      944
174.76/174.80	c  174s |      15 |   209864 |   107132 |    19089      9 |      914 |      944
176.86/176.96	c  176s |      15 |   210650 |   107832 |    19089     10 |      914 |      944
178.96/179.06	c  178s |      15 |   211594 |   108632 |    19089     10 |      914 |      944
181.16/181.25	c  180s |      15 |   212499 |   109432 |    19089     10 |      914 |      944
183.26/183.39	c  183s |      15 |   213609 |   110332 |    19089     10 |      914 |      944
185.46/185.57	c  185s |      15 |   214728 |   111232 |    19089     10 |      914 |      944
187.66/187.70	c  187s |      15 |   215721 |   112032 |    19089     10 |      914 |      944
189.66/189.70	c  189s |      15 |   216688 |   112832 |    19089     10 |      914 |      944
191.86/191.93	c  191s |      15 |   217511 |   113532 |    19089     10 |      914 |      944
193.86/193.99	c  193s |      15 |   218226 |   114132 |    19089     10 |      914 |      944
196.06/196.11	c  195s |      15 |   218911 |   114732 |    19089     10 |      914 |      944
198.26/198.30	c  198s |      15 |   219777 |   115432 |    19089     10 |      914 |      944
200.26/200.34	c  200s |      15 |   220616 |   116132 |    19089     10 |      914 |      944
202.56/202.64	c  202s |      15 |   221470 |   116832 |    19089     10 |      914 |      944
204.75/204.88	c  204s |      15 |   222178 |   117432 |    19089     10 |      914 |      944
207.05/207.19	c  206s |      15 |   222838 |   118032 |    19089     10 |      914 |      944
209.25/209.38	c  209s |      15 |   223406 |   118532 |    19089     10 |      914 |      944
211.35/211.42	c  211s |      15 |   223958 |   119032 |    19089     11 |      914 |      944
213.55/213.67	c  213s |      15 |   224930 |   119832 |    19089     11 |      914 |      944
215.85/215.95	c  215s |      15 |   225710 |   120532 |    19089     11 |      914 |      944
218.15/218.27	c  217s |      15 |   226492 |   121232 |    19089     11 |      914 |      944
220.35/220.48	c  220s |      15 |   227288 |   121932 |    19089     11 |      914 |      944
222.45/222.51	c  222s |      15 |   229124 |   122832 |    19089     11 |      914 |      944
224.46/224.57	c  224s |      15 |   235096 |   124632 |    19089     11 |      914 |      944
226.56/226.64	c  226s |      15 |   236849 |   125932 |    19089     11 |      914 |      944
228.55/228.64	c  228s |      15 |   238077 |   126932 |    19089     11 |      914 |      944
230.55/230.69	c  230s |      15 |   239301 |   127932 |    19089     11 |      914 |      944
232.75/232.85	c  232s |      15 |   240481 |   128932 |    19089     11 |      914 |      944
234.95/235.05	c  234s |      15 |   241484 |   129732 |    19089     12 |      914 |      944
237.05/237.13	c  236s |      15 |   242676 |   130732 |    20998     12 |      914 |      944
238.85/238.94	c  238s |      16 |   243655 |   131552 |    20998     12 |      914 |      944
240.96/241.01	c  240s |      16 |   248287 |   133252 |    20998     12 |      914 |      944
242.96/243.09	c  242s |      16 |   250199 |   134852 |    20998     12 |      914 |      944
244.96/245.09	c  244s |      16 |   252937 |   136852 |    20998     12 |      914 |      944
247.06/247.16	c  246s |      16 |   254740 |   138552 |    20998     12 |      914 |      944
249.06/249.19	c  248s |      16 |   256244 |   139952 |    20998     12 |      914 |      944
251.15/251.28	c  250s |      16 |   257494 |   141152 |    20998     12 |      914 |      944
253.45/253.53	c  253s |      16 |   259545 |   142752 |    20998     13 |      914 |      944
255.45/255.55	c  255s |      16 |   261717 |   144352 |    20998     13 |      914 |      944
257.46/257.58	c  257s |      16 |   263573 |   145852 |    20998     13 |      914 |      944
259.56/259.62	c  259s |      16 |   265048 |   147052 |    20998     13 |      914 |      944
261.65/261.76	c  261s |      16 |   266567 |   148252 |    20998     13 |      914 |      944
263.75/263.89	c  263s |      16 |   268124 |   149452 |    20998     13 |      914 |      944
265.85/265.90	c  265s |      16 |   269545 |   150552 |    20998     13 |      914 |      944
267.95/268.08	c  267s |      16 |   270931 |   151652 |    20998     13 |      914 |      944
270.05/270.12	c  269s |      16 |   272069 |   152652 |    20998     13 |      914 |      944
272.15/272.29	c  272s |      16 |   273272 |   153652 |    20998     13 |      914 |      944
274.25/274.33	c  274s |      16 |   274569 |   154452 |    20998     13 |      914 |      944
276.25/276.38	c  276s |      16 |   275462 |   155252 |    20998     14 |      914 |      944
278.36/278.46	c  278s |      16 |   276533 |   156152 |    20998     14 |      914 |      944
280.35/280.49	c  280s |      16 |   277695 |   157052 |    20998     14 |      914 |      944
282.55/282.67	c  282s |      16 |   279027 |   158052 |    20998     14 |      914 |      944
284.65/284.71	c  284s |      16 |   279674 |   158552 |    20998     14 |      914 |      944
286.65/286.75	c  286s |      16 |   280435 |   159152 |    20998     14 |      914 |      944
288.75/288.82	c  288s |      16 |   281718 |   160152 |    20998     14 |      914 |      944
290.95/291.01	c  290s |      16 |   283084 |   161252 |    20998     14 |      914 |      944
293.15/293.28	c  293s |      16 |   284167 |   162152 |    20998     14 |      914 |      944
295.25/295.34	c  295s |      16 |   285158 |   162952 |    20998     14 |      914 |      944
297.55/297.61	c  297s |      16 |   286373 |   163852 |    20998     14 |      914 |      944
299.75/299.87	c  299s |      16 |   287277 |   164652 |    20998     14 |      914 |      944
302.05/302.18	c  301s |      16 |   288526 |   165552 |    20998     14 |      914 |      944
304.04/304.19	c  303s |      16 |   289432 |   166252 |    20998     14 |      914 |      944
306.14/306.27	c  305s |      16 |   290266 |   166952 |    20998     14 |      914 |      944
308.14/308.29	c  308s |      16 |   291072 |   167652 |    20998     15 |      914 |      944
310.25/310.37	c  310s |      16 |   292326 |   168752 |    20998     15 |      914 |      944
312.24/312.38	c  312s |      16 |   293591 |   169752 |    20998     15 |      914 |      944
314.55/314.64	c  314s |      16 |   294680 |   170652 |    20998     15 |      914 |      944
316.54/316.67	c  316s |      16 |   295680 |   171452 |    20998     15 |      914 |      944
318.64/318.72	c  318s |      16 |   296664 |   172252 |    20998     15 |      914 |      944
320.64/320.76	c  320s |      16 |   297542 |   172952 |    20998     15 |      914 |      944
322.94/323.07	c  322s |      16 |   298586 |   173752 |    20998     15 |      914 |      944
324.94/325.07	c  324s |      16 |   299516 |   174552 |    20998     15 |      914 |      944
327.04/327.19	c  326s |      16 |   300526 |   175352 |    20998     15 |      914 |      944
329.24/329.36	c  329s |      16 |   301613 |   176152 |    20998     15 |      914 |      944
331.44/331.56	c  331s |      16 |   302630 |   176952 |    20998     15 |      914 |      944
333.54/333.63	c  333s |      16 |   303635 |   177752 |    20998     15 |      914 |      944
335.55/335.66	c  335s |      16 |   304456 |   178452 |    20998     15 |      914 |      944
337.65/337.76	c  337s |      16 |   305358 |   179052 |    20998     16 |      914 |      944
339.74/339.81	c  339s |      16 |   306327 |   179752 |    20998     16 |      914 |      944
341.74/341.86	c  341s |      16 |   307468 |   180652 |    20998     16 |      914 |      944
343.84/343.95	c  343s |      16 |   308576 |   181552 |    20998     16 |      914 |      944
345.94/346.01	c  345s |      16 |   309698 |   182352 |    20998     16 |      914 |      944
348.04/348.15	c  347s |      16 |   310627 |   183152 |    20998     16 |      914 |      944
350.04/350.18	c  349s |      16 |   311490 |   183852 |    20998     16 |      914 |      944
352.34/352.44	c  352s |      16 |   312437 |   184652 |    20998     16 |      914 |      944
354.34/354.47	c  354s |      16 |   313273 |   185352 |    20998     16 |      914 |      944
356.44/356.51	c  356s |      16 |   314000 |   185952 |    20998     16 |      914 |      944
358.64/358.79	c  358s |      16 |   314866 |   186652 |    20998     16 |      914 |      944
360.84/360.98	c  360s |      16 |   316159 |   187552 |    20998     16 |      914 |      944
362.94/363.05	c  362s |      16 |   317424 |   188452 |    20998     16 |      914 |      944
365.04/365.10	c  364s |      16 |   318326 |   189152 |    20998     16 |      914 |      944
367.14/367.20	c  366s |      16 |   319496 |   189952 |    20998     16 |      914 |      944
369.23/369.32	c  369s |      16 |   320531 |   190852 |    20998     16 |      914 |      944
371.74/371.86	c  371s |      16 |   321238 |   191552 |    20998     17 |      914 |      944
374.04/374.12	c  373s |      16 |   322159 |   192452 |    20998     17 |      914 |      944
376.14/376.29	c  376s |      16 |   322968 |   193252 |    20998     17 |      914 |      944
378.34/378.48	c  378s |      16 |   323783 |   194052 |    20998     17 |      914 |      944
380.43/380.54	c  380s |      16 |   324486 |   194752 |    20998     17 |      914 |      944
382.43/382.56	c  382s |      16 |   325293 |   195552 |    20998     17 |      914 |      944
384.53/384.67	c  384s |      16 |   326110 |   196352 |    23098     17 |      914 |      944
386.83/386.91	c  386s |      16 |   326945 |   197152 |    23098     17 |      914 |      944
387.53/387.68	c  387s |      17 |   327225 |   197432 |    23098     17 |      914 |      944
389.63/389.74	c  389s |      17 |   337744 |   199932 |    23098     17 |      914 |      944
391.64/391.74	c  391s |      17 |   340057 |   201532 |    23098     17 |      914 |      944
393.84/393.95	c  393s |      17 |   341550 |   202732 |    23098     17 |      914 |      944
396.04/396.10	c  395s |      17 |   343351 |   204032 |    23098     17 |      914 |      944
398.03/398.13	c  397s |      17 |   344289 |   204832 |    23098     17 |      914 |      944
400.13/400.25	c  399s |      17 |   345176 |   205632 |    23098     17 |      914 |      944
402.23/402.31	c  402s |      17 |   346419 |   206532 |    23098     18 |      914 |      944
404.33/404.43	c  404s |      17 |   347474 |   207432 |    23098     18 |      914 |      944
406.33/406.49	c  406s |      17 |   348554 |   208332 |    23098     18 |      914 |      944
408.63/408.73	c  408s |      17 |   349721 |   209332 |    23098     18 |      914 |      944
410.73/410.86	c  410s |      17 |   350784 |   210232 |    23098     18 |      914 |      944
412.93/413.00	c  412s |      17 |   351700 |   211032 |    23098     18 |      914 |      944
414.93/415.05	c  414s |      17 |   352636 |   211832 |    23098     18 |      914 |      944
417.13/417.26	c  416s |      17 |   353528 |   212632 |    23098     18 |      914 |      944
419.43/419.53	c  419s |      17 |   354729 |   213532 |    23098     18 |      914 |      944
421.53/421.63	c  421s |      17 |   355754 |   214332 |    23098     18 |      914 |      944
423.63/423.74	c  423s |      17 |   356812 |   215132 |    23098     18 |      914 |      944
425.93/426.02	c  425s |      17 |   357841 |   215932 |    23098     18 |      914 |      944
428.33/428.41	c  428s |      17 |   358549 |   216532 |    23098     18 |      914 |      944
430.53/430.60	c  430s |      17 |   359388 |   217232 |    23098     18 |      914 |      944
432.63/432.72	c  432s |      17 |   360207 |   217932 |    23098     18 |      914 |      944
434.82/434.91	c  434s |      17 |   361046 |   218632 |    23098     18 |      914 |      944
436.92/437.03	c  436s |      17 |   361740 |   219232 |    23098     19 |      914 |      944
439.12/439.21	c  438s |      17 |   362924 |   220132 |    23098     19 |      914 |      944
441.13/441.22	c  440s |      17 |   363721 |   220832 |    23098     19 |      914 |      944
443.42/443.50	c  443s |      17 |   364486 |   221532 |    23098     19 |      914 |      944
445.43/445.52	c  445s |      17 |   365187 |   222132 |    23098     19 |      914 |      944
447.42/447.52	c  447s |      17 |   366002 |   222832 |    23098     19 |      914 |      944
449.42/449.55	c  449s |      17 |   366697 |   223432 |    23098     19 |      914 |      944
451.62/451.77	c  451s |      17 |   367566 |   224132 |    23098     19 |      914 |      944
453.72/453.82	c  453s |      17 |   368277 |   224732 |    23098     19 |      914 |      944
455.82/455.92	c  455s |      17 |   368958 |   225332 |    23098     19 |      914 |      944
457.82/457.97	c  457s |      17 |   369614 |   225932 |    23098     19 |      914 |      944
460.12/460.25	c  459s |      17 |   370282 |   226532 |    23098     19 |      914 |      944
462.12/462.29	c  462s |      17 |   370844 |   227032 |    23098     19 |      914 |      944
464.52/464.62	c  464s |      17 |   371263 |   227432 |    23098     19 |      914 |      944
466.72/466.87	c  466s |      17 |   371826 |   227932 |    23098     19 |      914 |      944
469.12/469.20	c  468s |      17 |   372503 |   228532 |    23098     19 |      914 |      944
471.22/471.38	c  471s |      17 |   373159 |   229132 |    23098     19 |      914 |      944
473.62/473.74	c  473s |      17 |   373829 |   229732 |    23098     19 |      914 |      944
475.82/475.91	c  475s |      17 |   374394 |   230232 |    23098     19 |      914 |      944
477.82/477.97	c  477s |      17 |   374707 |   230532 |    23098     19 |      914 |      944
480.12/480.28	c  480s |      17 |   375415 |   231132 |    23098     19 |      914 |      944
482.22/482.31	c  482s |      17 |   375964 |   231632 |    23098     19 |      914 |      944
484.52/484.64	c  484s |      17 |   376507 |   232132 |    23098     19 |      914 |      944
487.42/487.55	c  487s |      17 |   376944 |   232532 |    23098     20 |      914 |      944
489.52/489.61	c  489s |      17 |   377632 |   233132 |    23098     20 |      914 |      944
491.52/491.70	c  491s |      17 |   378319 |   233732 |    23098     20 |      914 |      944
493.82/493.94	c  493s |      17 |   379132 |   234432 |    23098     20 |      914 |      944
495.91/496.08	c  495s |      17 |   379801 |   235032 |    23098     20 |      914 |      944
498.11/498.27	c  497s |      17 |   380476 |   235632 |    23098     20 |      914 |      944
500.31/500.49	c  500s |      17 |   381035 |   236132 |    23098     20 |      914 |      944
502.81/502.93	c  502s |      17 |   381579 |   236632 |    23098     20 |      914 |      944
505.01/505.17	c  504s |      17 |   382127 |   237132 |    23098     20 |      914 |      944
507.41/507.59	c  507s |      17 |   382672 |   237632 |    23098     20 |      914 |      944
509.51/509.68	c  509s |      17 |   383227 |   238132 |    23098     20 |      914 |      944
511.81/511.97	c  511s |      17 |   383780 |   238632 |    23098     20 |      914 |      944
514.21/514.32	c  514s |      17 |   384347 |   239132 |    23098     20 |      914 |      944
516.21/516.37	c  516s |      17 |   384904 |   239632 |    23098     20 |      914 |      944
518.51/518.65	c  518s |      17 |   385471 |   240132 |    23098     20 |      914 |      944
520.91/521.06	c  520s |      17 |   386013 |   240632 |    23098     20 |      914 |      944
523.01/523.14	c  522s |      17 |   386468 |   241032 |    23098     20 |      914 |      944
525.21/525.34	c  525s |      17 |   386917 |   241432 |    23098     20 |      914 |      944
527.51/527.66	c  527s |      17 |   387481 |   241932 |    23098     20 |      914 |      944
529.91/530.03	c  529s |      17 |   388020 |   242432 |    23098     20 |      914 |      944
531.91/532.08	c  531s |      17 |   388774 |   243032 |    23098     20 |      914 |      944
534.11/534.24	c  533s |      17 |   389441 |   243632 |    23098     20 |      914 |      944
536.21/536.36	c  536s |      17 |   389852 |   244032 |    23098     20 |      914 |      944
538.41/538.51	c  538s |      17 |   390310 |   244432 |    23098     20 |      914 |      944
540.60/540.70	c  540s |      17 |   390742 |   244832 |    23098     20 |      914 |      944
542.80/542.97	c  542s |      17 |   391184 |   245232 |    23098     20 |      914 |      944
545.00/545.11	c  544s |      17 |   391531 |   245532 |    23098     21 |      914 |      944
547.20/547.35	c  547s |      17 |   392195 |   246132 |    23098     21 |      914 |      944
549.50/549.62	c  549s |      17 |   392845 |   246732 |    23098     21 |      914 |      944
551.60/551.75	c  551s |      17 |   393366 |   247232 |    23098     21 |      914 |      944
553.70/553.87	c  553s |      17 |   393917 |   247732 |    23098     21 |      914 |      944
555.70/555.90	c  555s |      17 |   394449 |   248232 |    23098     21 |      914 |      944
557.80/557.94	c  557s |      17 |   395140 |   248832 |    23098     21 |      914 |      944
559.81/559.98	c  559s |      17 |   395707 |   249332 |    23098     21 |      914 |      944
561.90/562.00	c  561s |      17 |   396263 |   249832 |    23098     21 |      914 |      944
563.90/564.09	c  563s |      17 |   396912 |   250432 |    23098     21 |      914 |      944
566.20/566.30	c  566s |      17 |   397601 |   251032 |    23098     21 |      914 |      944
568.50/568.68	c  568s |      17 |   398253 |   251632 |    23098     21 |      914 |      944
570.60/570.75	c  570s |      17 |   398815 |   252132 |    23098     21 |      914 |      944
572.90/573.00	c  572s |      17 |   399490 |   252732 |    23098     21 |      914 |      944
574.90/575.09	c  574s |      17 |   400022 |   253232 |    23098     21 |      914 |      944
577.20/577.37	c  577s |      17 |   400700 |   253832 |    23098     21 |      914 |      944
579.40/579.57	c  579s |      17 |   401246 |   254332 |    23098     21 |      914 |      944
582.00/582.11	c  581s |      17 |   401810 |   254832 |    23098     21 |      914 |      944
584.30/584.47	c  584s |      17 |   402457 |   255432 |    23098     21 |      914 |      944
586.40/586.56	c  586s |      17 |   403027 |   255932 |    23098     21 |      914 |      944
588.60/588.79	c  588s |      17 |   403593 |   256432 |    23098     21 |      914 |      944
590.70/590.88	c  590s |      17 |   404141 |   256932 |    23098     21 |      914 |      944
592.99/593.10	c  592s |      17 |   404704 |   257432 |    23098     21 |      914 |      944
595.29/595.43	c  595s |      17 |   405282 |   257932 |    23098     21 |      914 |      944
597.79/597.91	c  597s |      17 |   405725 |   258332 |    23098     21 |      914 |      944
600.39/600.59	c  600s |      17 |   406175 |   258732 |    23098     22 |      914 |      944
602.49/602.63	c  602s |      17 |   406708 |   259232 |    23098     22 |      914 |      944
604.59/604.76	c  604s |      17 |   407366 |   259832 |    23098     22 |      914 |      944
606.89/607.06	c  606s |      17 |   408129 |   260532 |    23098     22 |      914 |      944
608.99/609.12	c  608s |      17 |   408680 |   261032 |    23098     22 |      914 |      944
611.19/611.35	c  611s |      17 |   409353 |   261632 |    23098     22 |      914 |      944
613.39/613.51	c  613s |      17 |   409905 |   262132 |    23098     22 |      914 |      944
615.39/615.52	c  615s |      17 |   410580 |   262732 |    23098     22 |      914 |      944
617.39/617.56	c  617s |      17 |   411029 |   263132 |    23098     22 |      914 |      944
619.69/619.86	c  619s |      17 |   411585 |   263632 |    23098     22 |      914 |      944
622.09/622.28	c  621s |      17 |   412117 |   264132 |    23098     22 |      914 |      944
624.39/624.55	c  624s |      17 |   412647 |   264632 |    23098     22 |      914 |      944
626.69/626.88	c  626s |      17 |   413210 |   265132 |    23098     22 |      914 |      944
629.10/629.22	c  628s |      17 |   413758 |   265632 |    23098     22 |      914 |      944
631.09/631.25	c  630s |      17 |   414214 |   266032 |    23098     22 |      914 |      944
633.30/633.43	c  633s |      17 |   414838 |   266532 |    23098     22 |      914 |      944
635.30/635.49	c  635s |      17 |   415678 |   267132 |    23098     22 |      914 |      944
637.60/637.72	c  637s |      17 |   416390 |   267732 |    23098     22 |      914 |      944
639.70/639.80	c  639s |      17 |   417344 |   268432 |    23098     22 |      914 |      944
642.00/642.17	c  641s |      17 |   418204 |   269132 |    23098     22 |      914 |      944
644.00/644.18	c  643s |      17 |   418923 |   269732 |    23098     22 |      914 |      944
646.19/646.30	c  646s |      17 |   419643 |   270332 |    23098     22 |      914 |      944
648.39/648.58	c  648s |      17 |   420405 |   270932 |    23098     22 |      914 |      944
650.79/650.94	c  650s |      17 |   421110 |   271532 |    23098     22 |      914 |      944
653.09/653.23	c  652s |      17 |   421677 |   272032 |    23098     23 |      914 |      944
655.39/655.52	c  655s |      17 |   422494 |   272732 |    23098     23 |      914 |      944
657.49/657.62	c  657s |      17 |   423205 |   273332 |    23098     23 |      914 |      944
659.49/659.69	c  659s |      17 |   423929 |   273932 |    23098     23 |      914 |      944
661.69/661.85	c  661s |      17 |   424825 |   274632 |    23098     23 |      914 |      944
663.99/664.18	c  663s |      17 |   425623 |   275332 |    23098     23 |      914 |      944
666.09/666.23	c  665s |      17 |   426309 |   275932 |    23098     23 |      914 |      944
668.29/668.44	c  668s |      17 |   426975 |   276532 |    23098     23 |      914 |      944
670.39/670.58	c  670s |      17 |   427658 |   277132 |    23098     23 |      914 |      944
672.39/672.58	c  672s |      17 |   428224 |   277632 |    23098     23 |      914 |      944
674.49/674.61	c  674s |      17 |   429017 |   278232 |    23098     23 |      914 |      944
676.79/676.92	c  676s |      17 |   429848 |   278932 |    23098     23 |      914 |      944
678.89/679.06	c  678s |      17 |   430381 |   279432 |    23098     23 |      914 |      944
681.19/681.34	c  681s |      17 |   431072 |   280032 |    23098     23 |      914 |      944
683.29/683.49	c  683s |      17 |   431754 |   280632 |    23098     23 |      914 |      944
685.79/685.97	c  685s |      17 |   432428 |   281232 |    23098     23 |      914 |      944
688.19/688.35	c  688s |      17 |   432959 |   281732 |    23098     23 |      914 |      944
690.39/690.59	c  690s |      17 |   433494 |   282232 |    23098     23 |      914 |      944
692.79/692.92	c  692s |      17 |   434034 |   282732 |    23098     23 |      914 |      944
694.89/695.00	c  694s |      17 |   434583 |   283232 |    23098     23 |      914 |      944
697.19/697.31	c  697s |      17 |   435159 |   283732 |    23098     23 |      914 |      944
699.39/699.59	c  699s |      17 |   435717 |   284232 |    23098     23 |      914 |      944
701.59/701.71	c  701s |      17 |   436286 |   284732 |    23098     23 |      914 |      944
703.59/703.73	c  703s |      17 |   436894 |   285232 |    23098     24 |      914 |      944
705.78/705.90	c  705s |      17 |   437781 |   285932 |    23098     24 |      914 |      944
707.78/707.93	c  707s |      17 |   438688 |   286632 |    23098     24 |      914 |      944
709.98/710.19	c  709s |      17 |   439523 |   287332 |    23098     24 |      914 |      944
712.18/712.38	c  712s |      17 |   440154 |   287932 |    23098     24 |      914 |      944
714.58/714.71	c  714s |      17 |   440824 |   288532 |    23098     24 |      914 |      944
716.58/716.79	c  716s |      17 |   441394 |   289032 |    23098     24 |      914 |      944
718.58/718.79	c  718s |      17 |   441933 |   289532 |    23098     24 |      914 |      944
720.78/720.96	c  720s |      17 |   442476 |   290032 |    23098     24 |      914 |      944
722.88/723.03	c  722s |      17 |   443061 |   290532 |    23098     24 |      914 |      944
724.89/725.05	c  724s |      17 |   443481 |   290932 |    23098     24 |      914 |      944
726.99/727.13	c  726s |      17 |   444183 |   291532 |    23098     24 |      914 |      944
729.08/729.25	c  728s |      17 |   444752 |   292032 |    23098     24 |      914 |      944
731.18/731.40	c  731s |      17 |   445314 |   292532 |    23098     24 |      914 |      944
733.38/733.59	c  733s |      17 |   445899 |   293032 |    23098     24 |      914 |      944
735.79/735.99	c  735s |      17 |   446469 |   293532 |    23098     24 |      914 |      944
737.99/738.17	c  737s |      17 |   447060 |   294032 |    23098     24 |      914 |      944
740.19/740.37	c  740s |      17 |   447608 |   294532 |    25408     24 |      914 |      944
742.68/742.84	c  742s |      17 |   448175 |   295032 |    25408     24 |      914 |      944
744.78/744.97	c  744s |      17 |   448623 |   295432 |    25408     24 |      914 |      944
747.18/747.34	c  747s |      17 |   449190 |   295932 |    25408     24 |      914 |      944
748.99/749.16	c  748s |      18 |   449573 |   296252 |    25408     24 |      914 |      944
750.98/751.18	c  750s |      18 |   456995 |   297952 |    25408     24 |      914 |      944
753.68/753.83	c  753s |      18 |   461782 |   299952 |    25408     25 |      914 |      944
755.68/755.86	c  755s |      18 |   465206 |   301652 |    25408     25 |      914 |      944
757.68/757.87	c  757s |      18 |   467271 |   302852 |    25408     25 |      914 |      944
759.88/760.08	c  759s |      18 |   469360 |   304052 |    25408     25 |      914 |      944
762.08/762.21	c  761s |      18 |   470418 |   304852 |    25408     25 |      914 |      944
764.38/764.58	c  764s |      18 |   471679 |   305752 |    25408     25 |      914 |      944
766.48/766.68	c  766s |      18 |   472744 |   306552 |    25408     25 |      914 |      944
768.68/768.90	c  768s |      18 |   473660 |   307252 |    25408     25 |      914 |      944
770.98/771.18	c  770s |      18 |   474941 |   308152 |    25408     25 |      914 |      944
773.07/773.28	c  773s |      18 |   476030 |   308952 |    25408     25 |      914 |      944
775.17/775.32	c  775s |      18 |   476954 |   309652 |    25408     25 |      914 |      944
777.37/777.56	c  777s |      18 |   478080 |   310552 |    25408     25 |      914 |      944
779.37/779.58	c  779s |      18 |   479071 |   311352 |    25408     25 |      914 |      944
781.57/781.73	c  781s |      18 |   479964 |   312052 |    25408     25 |      914 |      944
783.67/783.80	c  783s |      18 |   480797 |   312752 |    25408     25 |      914 |      944
785.87/786.02	c  785s |      18 |   481662 |   313452 |    25408     25 |      914 |      944
787.97/788.11	c  787s |      18 |   482572 |   314152 |    25408     25 |      914 |      944
790.17/790.31	c  790s |      18 |   483641 |   314852 |    25408     26 |      914 |      944
792.17/792.36	c  792s |      18 |   484560 |   315552 |    25408     26 |      914 |      944
794.17/794.38	c  794s |      18 |   485471 |   316252 |    25408     26 |      914 |      944
796.27/796.46	c  796s |      18 |   486240 |   316852 |    25408     26 |      914 |      944
798.47/798.67	c  798s |      18 |   487140 |   317552 |    25408     26 |      914 |      944
800.46/800.68	c  800s |      18 |   487928 |   318152 |    25408     26 |      914 |      944
802.56/802.71	c  802s |      18 |   488698 |   318752 |    25408     26 |      914 |      944
804.96/805.11	c  804s |      18 |   489551 |   319452 |    25408     26 |      914 |      944
807.16/807.36	c  807s |      18 |   490263 |   320052 |    25408     26 |      914 |      944
809.36/809.56	c  809s |      18 |   491241 |   320752 |    25408     26 |      914 |      944
811.56/811.80	c  811s |      18 |   492165 |   321452 |    25408     26 |      914 |      944
813.76/813.92	c  813s |      18 |   492926 |   322052 |    25408     26 |      914 |      944
815.96/816.20	c  815s |      18 |   493682 |   322652 |    25408     26 |      914 |      944
818.37/818.50	c  818s |      18 |   494427 |   323252 |    25408     26 |      914 |      944
820.66/820.82	c  820s |      18 |   495181 |   323852 |    25408     26 |      914 |      944
822.96/823.11	c  822s |      18 |   495760 |   324352 |    25408     26 |      914 |      944
825.36/825.58	c  825s |      18 |   496343 |   324852 |    25408     26 |      914 |      944
827.66/827.83	c  827s |      18 |   496988 |   325352 |    25408     26 |      914 |      944
829.96/830.17	c  829s |      18 |   497730 |   325952 |    25408     26 |      914 |      944
832.36/832.50	c  832s |      18 |   498324 |   326452 |    25408     26 |      914 |      944
834.87/835.04	c  834s |      18 |   498901 |   326952 |    25408     26 |      914 |      944
837.16/837.35	c  837s |      18 |   499538 |   327452 |    25408     26 |      914 |      944
839.36/839.58	c  839s |      18 |   500029 |   327852 |    25408     26 |      914 |      944
841.46/841.68	c  841s |      18 |   500500 |   328252 |    25408     26 |      914 |      944
843.86/844.07	c  843s |      18 |   501146 |   328752 |    25408     26 |      914 |      944
846.06/846.23	c  845s |      18 |   501626 |   329152 |    25408     27 |      914 |      944
848.16/848.35	c  848s |      18 |   502227 |   329652 |    25408     27 |      914 |      944
850.46/850.63	c  850s |      18 |   502820 |   330152 |    25408     27 |      914 |      944
852.66/852.83	c  852s |      18 |   503560 |   330752 |    25408     27 |      914 |      944
854.75/854.97	c  854s |      18 |   504320 |   331352 |    25408     27 |      914 |      944
857.05/857.20	c  856s |      18 |   504916 |   331852 |    25408     27 |      914 |      944
859.16/859.35	c  859s |      18 |   505518 |   332352 |    25408     27 |      914 |      944
861.46/861.62	c  861s |      18 |   506122 |   332852 |    25408     27 |      914 |      944
863.56/863.76	c  863s |      18 |   506739 |   333352 |    25408     27 |      914 |      944
865.57/865.79	c  865s |      18 |   507363 |   333852 |    25408     27 |      914 |      944
867.66/867.83	c  867s |      18 |   507960 |   334352 |    25408     27 |      914 |      944
869.86/870.00	c  869s |      18 |   508437 |   334752 |    25408     27 |      914 |      944
872.06/872.20	c  871s |      18 |   509052 |   335252 |    25408     27 |      914 |      944
874.47/874.65	c  874s |      18 |   509654 |   335752 |    25408     27 |      914 |      944
876.46/876.70	c  876s |      18 |   510120 |   336152 |    25408     27 |      914 |      944
878.66/878.87	c  878s |      18 |   510612 |   336552 |    25408     27 |      914 |      944
881.16/881.33	c  881s |      18 |   511176 |   337052 |    25408     27 |      914 |      944
883.46/883.68	c  883s |      18 |   511612 |   337452 |    25408     27 |      914 |      944
885.96/886.12	c  885s |      18 |   512231 |   337952 |    25408     27 |      914 |      944
888.55/888.70	c  888s |      18 |   512810 |   338452 |    25408     27 |      914 |      944
890.86/891.08	c  890s |      18 |   513408 |   338952 |    25408     27 |      914 |      944
893.06/893.24	c  892s |      18 |   515335 |   339852 |    25408     27 |      914 |      944
895.26/895.47	c  895s |      18 |   516859 |   340752 |    25408     27 |      914 |      944
897.46/897.64	c  897s |      18 |   517671 |   341352 |    25408     27 |      914 |      944
899.45/899.65	c  899s |      18 |   518324 |   341852 |    25408     27 |      914 |      944
901.65/901.85	c  901s |      18 |   519504 |   342652 |    25408     27 |      914 |      944
903.75/903.94	c  903s |      18 |   520437 |   343252 |    25408     28 |      914 |      944
905.95/906.12	c  905s |      18 |   521927 |   344252 |    25408     28 |      914 |      944
907.95/908.12	c  907s |      18 |   523268 |   345152 |    25408     28 |      914 |      944
910.15/910.37	c  910s |      18 |   524505 |   346052 |    25408     28 |      914 |      944
912.35/912.52	c  912s |      18 |   525437 |   346752 |    25408     28 |      914 |      944
914.75/914.92	c  914s |      18 |   526536 |   347552 |    25408     28 |      914 |      944
916.95/917.17	c  916s |      18 |   528089 |   348452 |    25408     28 |      914 |      944
919.05/919.26	c  918s |      18 |   529348 |   349252 |    25408     28 |      914 |      944
921.15/921.39	c  921s |      18 |   530514 |   350052 |    25408     28 |      914 |      944
923.35/923.51	c  923s |      18 |   531781 |   350852 |    25408     28 |      914 |      944
925.35/925.59	c  925s |      18 |   532755 |   351552 |    25408     28 |      914 |      944
927.55/927.73	c  927s |      18 |   533630 |   352252 |    25408     28 |      914 |      944
929.84/930.01	c  929s |      18 |   534633 |   352952 |    25408     28 |      914 |      944
932.04/932.23	c  931s |      18 |   535349 |   353552 |    25408     28 |      914 |      944
934.44/934.65	c  934s |      18 |   536092 |   354152 |    25408     28 |      914 |      944
936.74/936.95	c  936s |      18 |   536648 |   354652 |    25408     28 |      914 |      944
938.84/939.05	c  938s |      18 |   537276 |   355152 |    25408     28 |      914 |      944
941.24/941.46	c  941s |      18 |   537981 |   355752 |    25408     28 |      914 |      944
943.65/943.83	c  943s |      18 |   538543 |   356252 |    25408     28 |      914 |      944
945.95/946.18	c  945s |      18 |   539391 |   356852 |    25408     28 |      914 |      944
948.84/949.05	c  948s |      18 |   539964 |   357352 |    25408     29 |      914 |      944
950.94/951.17	c  950s |      18 |   541105 |   358152 |    25408     29 |      914 |      944
953.04/953.22	c  952s |      18 |   541859 |   358752 |    25408     29 |      914 |      944
955.24/955.45	c  955s |      18 |   542535 |   359352 |    25408     29 |      914 |      944
957.34/957.58	c  957s |      18 |   543260 |   359952 |    25408     29 |      914 |      944
959.54/959.73	c  959s |      18 |   544011 |   360552 |    25408     29 |      914 |      944
961.74/961.93	c  961s |      18 |   544748 |   361152 |    25408     29 |      914 |      944
963.84/964.02	c  963s |      18 |   545342 |   361652 |    25408     29 |      914 |      944
965.84/966.05	c  965s |      18 |   545981 |   362152 |    25408     29 |      914 |      944
968.04/968.26	c  967s |      18 |   546556 |   362652 |    25408     29 |      914 |      944
970.44/970.66	c  970s |      18 |   547337 |   363252 |    25408     29 |      914 |      944
972.54/972.74	c  972s |      18 |   547941 |   363752 |    25408     29 |      914 |      944
974.84/975.09	c  974s |      18 |   548722 |   364352 |    25408     29 |      914 |      944
977.24/977.42	c  977s |      18 |   549319 |   364852 |    25408     29 |      914 |      944
979.24/979.45	c  979s |      18 |   549893 |   365352 |    25408     29 |      914 |      944
981.43/981.63	c  981s |      18 |   550507 |   365852 |    25408     29 |      914 |      944
983.73/983.99	c  983s |      18 |   551084 |   366352 |    25408     29 |      914 |      944
985.83/986.02	c  985s |      18 |   551531 |   366752 |    25408     29 |      914 |      944
987.83/988.09	c  987s |      18 |   553146 |   367552 |    25408     29 |      914 |      944
990.03/990.23	c  989s |      18 |   554113 |   368252 |    25408     29 |      914 |      944
992.04/992.28	c  992s |      18 |   555102 |   368952 |    25408     29 |      914 |      944
994.34/994.57	c  994s |      18 |   556000 |   369652 |    25408     29 |      914 |      944
996.64/996.88	c  996s |      18 |   557152 |   370452 |    25408     29 |      914 |      944
998.75/998.98	c  998s |      18 |   557951 |   371052 |    25408     29 |      914 |      944
1000.95/1001.14	c 1000s |      18 |   558927 |   371752 |    25408     29 |      914 |      944
1003.24/1003.41	c 1003s |      18 |   559516 |   372252 |    25408     30 |      914 |      944
1005.35/1005.51	c 1005s |      18 |   560454 |   372952 |    25408     30 |      914 |      944
1007.55/1007.71	c 1007s |      18 |   561381 |   373652 |    25408     30 |      914 |      944
1009.64/1009.85	c 1009s |      18 |   562289 |   374352 |    25408     30 |      914 |      944
1011.84/1012.02	c 1011s |      18 |   563169 |   375052 |    25408     30 |      914 |      944
1013.94/1014.14	c 1013s |      18 |   563975 |   375752 |    25408     30 |      914 |      944
1016.14/1016.30	c 1016s |      18 |   564713 |   376352 |    25408     30 |      914 |      944
1018.24/1018.42	c 1018s |      18 |   565864 |   377052 |    25408     30 |      914 |      944
1020.34/1020.56	c 1020s |      18 |   567739 |   378052 |    25408     30 |      914 |      944
1022.53/1022.73	c 1022s |      18 |   569017 |   378852 |    25408     30 |      914 |      944
1024.73/1024.91	c 1024s |      18 |   569969 |   379552 |    25408     30 |      914 |      944
1027.03/1027.21	c 1026s |      18 |   570939 |   380252 |    25408     30 |      914 |      944
1029.13/1029.36	c 1029s |      18 |   571969 |   380952 |    25408     30 |      914 |      944
1031.33/1031.54	c 1031s |      18 |   573032 |   381752 |    25408     30 |      914 |      944
1033.53/1033.73	c 1033s |      18 |   573797 |   382352 |    25408     30 |      914 |      944
1035.83/1036.08	c 1035s |      18 |   574597 |   382952 |    25408     30 |      914 |      944
1038.24/1038.41	c 1038s |      18 |   575449 |   383552 |    25408     30 |      914 |      944
1040.44/1040.61	c 1040s |      18 |   576099 |   384052 |    25408     30 |      914 |      944
1042.63/1042.87	c 1042s |      18 |   576770 |   384552 |    25408     30 |      914 |      944
1044.83/1045.02	c 1044s |      18 |   577445 |   385052 |    25408     30 |      914 |      944
1047.03/1047.24	c 1046s |      18 |   578151 |   385552 |    25408     30 |      914 |      944
1049.53/1049.71	c 1049s |      18 |   578846 |   386052 |    25408     31 |      914 |      944
1051.63/1051.89	c 1051s |      18 |   579621 |   386652 |    25408     31 |      914 |      944
1053.82/1054.00	c 1053s |      18 |   580445 |   387252 |    25408     31 |      914 |      944
1055.93/1056.19	c 1055s |      18 |   581196 |   387852 |    25408     31 |      914 |      944
1058.22/1058.43	c 1058s |      18 |   581806 |   388352 |    25408     31 |      914 |      944
1060.33/1060.54	c 1060s |      18 |   582435 |   388852 |    25408     31 |      914 |      944
1062.53/1062.78	c 1062s |      18 |   583205 |   389452 |    25408     31 |      914 |      944
1064.93/1065.12	c 1064s |      18 |   583961 |   390052 |    25408     31 |      914 |      944
1067.33/1067.54	c 1067s |      18 |   584583 |   390552 |    25408     31 |      914 |      944
1069.63/1069.82	c 1069s |      18 |   585371 |   391152 |    25408     31 |      914 |      944
1071.93/1072.14	c 1071s |      18 |   586125 |   391752 |    25408     31 |      914 |      944
1074.23/1074.45	c 1074s |      18 |   586712 |   392252 |    25408     31 |      914 |      944
1076.63/1076.85	c 1076s |      18 |   587189 |   392652 |    25408     31 |      914 |      944
1079.13/1079.34	c 1079s |      18 |   587789 |   393152 |    25408     31 |      914 |      944
1081.32/1081.52	c 1081s |      18 |   588232 |   393552 |    25408     31 |      914 |      944
1083.72/1083.97	c 1083s |      18 |   588818 |   394052 |    25408     31 |      914 |      944
1085.92/1086.11	c 1085s |      18 |   589486 |   394552 |    25408     31 |      914 |      944
1088.02/1088.27	c 1087s |      18 |   590107 |   395052 |    25408     31 |      914 |      944
1090.22/1090.47	c 1090s |      18 |   590839 |   395652 |    25408     31 |      914 |      944
1092.32/1092.55	c 1092s |      18 |   591474 |   396152 |    25408     31 |      914 |      944
1094.52/1094.78	c 1094s |      18 |   591948 |   396552 |    25408     31 |      914 |      944
1096.63/1096.86	c 1096s |      18 |   592451 |   396952 |    25408     31 |      914 |      944
1098.73/1098.98	c 1098s |      18 |   593092 |   397452 |    25408     31 |      914 |      944
1100.72/1100.99	c 1100s |      18 |   593712 |   397952 |    25408     31 |      914 |      944
1102.82/1103.07	c 1102s |      18 |   594364 |   398452 |    25408     31 |      914 |      944
1105.02/1105.23	c 1104s |      18 |   594983 |   398952 |    25408     31 |      914 |      944
1107.32/1107.58	c 1107s |      18 |   595639 |   399452 |    25408     31 |      914 |      944
1109.42/1109.63	c 1109s |      18 |   596406 |   399952 |    25408     31 |      914 |      944
1111.52/1111.73	c 1111s |      18 |   596930 |   400352 |    25408     32 |      914 |      944
1113.82/1114.02	c 1113s |      18 |   597699 |   400952 |    25408     32 |      914 |      944
1116.22/1116.41	c 1116s |      18 |   598488 |   401552 |    25408     32 |      914 |      944
1118.32/1118.50	c 1118s |      18 |   599172 |   402052 |    25408     32 |      914 |      944
1120.42/1120.67	c 1120s |      18 |   599819 |   402552 |    25408     32 |      914 |      944
1122.52/1122.74	c 1122s |      18 |   600617 |   403152 |    25408     32 |      914 |      944
1124.82/1125.02	c 1124s |      18 |   601208 |   403652 |    25408     32 |      914 |      944
1127.02/1127.29	c 1127s |      18 |   602004 |   404252 |    25408     32 |      914 |      944
1129.42/1129.63	c 1129s |      18 |   602778 |   404852 |    25408     32 |      914 |      944
1131.42/1131.65	c 1131s |      18 |   603273 |   405252 |    25408     32 |      914 |      944
1133.41/1133.67	c 1133s |      18 |   603767 |   405652 |    25408     32 |      914 |      944
1135.61/1135.84	c 1135s |      18 |   604245 |   406052 |    25408     32 |      914 |      944
1138.01/1138.20	c 1137s |      18 |   604705 |   406452 |    25408     32 |      914 |      944
1140.01/1140.28	c 1140s |      18 |   605201 |   406852 |    25408     32 |      914 |      944
1142.51/1142.71	c 1142s |      18 |   605841 |   407352 |    25408     32 |      914 |      944
1144.81/1145.04	c 1144s |      18 |   606656 |   407952 |    25408     32 |      914 |      944
1146.81/1147.08	c 1146s |      18 |   607573 |   408552 |    25408     32 |      914 |      944
1149.11/1149.35	c 1149s |      18 |   608821 |   409452 |    25408     32 |      914 |      944
1151.21/1151.46	c 1151s |      18 |   609719 |   410152 |    25408     32 |      914 |      944
1153.21/1153.49	c 1153s |      18 |   610431 |   410752 |    25408     32 |      914 |      944
1155.31/1155.52	c 1155s |      18 |   611140 |   411352 |    25408     32 |      914 |      944
1157.41/1157.66	c 1157s |      18 |   611898 |   411952 |    25408     32 |      914 |      944
1159.41/1159.67	c 1159s |      18 |   612486 |   412452 |    25408     32 |      914 |      944
1161.81/1162.08	c 1161s |      18 |   613218 |   413052 |    25408     32 |      914 |      944
1164.01/1164.25	c 1163s |      18 |   613762 |   413552 |    25408     32 |      914 |      944
1166.21/1166.46	c 1166s |      18 |   614371 |   414052 |    25408     32 |      914 |      944
1168.71/1168.90	c 1168s |      18 |   615056 |   414652 |    25408     32 |      914 |      944
1171.01/1171.24	c 1170s |      18 |   615503 |   415052 |    25408     33 |      914 |      944
1173.21/1173.41	c 1173s |      18 |   616240 |   415652 |    25408     33 |      914 |      944
1175.51/1175.77	c 1175s |      18 |   617128 |   416352 |    25408     33 |      914 |      944
1178.02/1178.29	c 1178s |      18 |   617802 |   416952 |    25408     33 |      914 |      944
1180.22/1180.44	c 1180s |      18 |   618547 |   417552 |    25408     33 |      914 |      944
1182.51/1182.76	c 1182s |      18 |   619251 |   418152 |    25408     33 |      914 |      944
1184.71/1184.91	c 1184s |      18 |   619810 |   418652 |    25408     33 |      914 |      944
1186.82/1187.04	c 1186s |      18 |   620573 |   419252 |    25408     33 |      914 |      944
1188.81/1189.07	c 1188s |      18 |   621172 |   419752 |    25408     33 |      914 |      944
1191.12/1191.39	c 1191s |      18 |   621854 |   420352 |    25408     33 |      914 |      944
1193.21/1193.49	c 1193s |      18 |   622433 |   420852 |    25408     33 |      914 |      944
1195.62/1195.86	c 1195s |      18 |   623033 |   421352 |    25408     33 |      914 |      944
1197.82/1198.07	c 1197s |      18 |   623773 |   421952 |    25408     33 |      914 |      944
1199.92/1200.13	c 1199s |      18 |   624400 |   422452 |    25408     33 |      914 |      944
1202.22/1202.48	c 1202s |      18 |   625092 |   423052 |    25408     33 |      914 |      944
1204.41/1204.64	c 1204s |      18 |   625726 |   423552 |    25408     33 |      914 |      944
1206.71/1206.99	c 1206s |      18 |   626305 |   424052 |    25408     33 |      914 |      944
1208.91/1209.17	c 1208s |      18 |   626756 |   424452 |    25408     33 |      914 |      944
1211.31/1211.54	c 1211s |      18 |   627375 |   424952 |    25408     33 |      914 |      944
1213.51/1213.72	c 1213s |      18 |   627817 |   425352 |    25408     33 |      914 |      944
1215.90/1216.18	c 1215s |      18 |   628377 |   425852 |    25408     33 |      914 |      944
1218.30/1218.55	c 1218s |      18 |   628948 |   426352 |    25408     33 |      914 |      944
1220.30/1220.58	c 1220s |      18 |   629593 |   426852 |    25408     33 |      914 |      944
1222.60/1222.82	c 1222s |      18 |   630189 |   427352 |    25408     33 |      914 |      944
1224.90/1225.17	c 1224s |      18 |   630887 |   427952 |    25408     33 |      914 |      944
1227.20/1227.40	c 1227s |      18 |   631468 |   428452 |    25408     33 |      914 |      944
1229.20/1229.44	c 1229s |      18 |   632040 |   428952 |    25408     33 |      914 |      944
1231.40/1231.64	c 1231s |      18 |   632592 |   429352 |    25408     34 |      914 |      944
1233.60/1233.84	c 1233s |      18 |   633587 |   430052 |    25408     34 |      914 |      944
1235.70/1235.92	c 1235s |      18 |   634406 |   430652 |    25408     34 |      914 |      944
1237.80/1238.02	c 1237s |      18 |   635394 |   431352 |    25408     34 |      914 |      944
1240.00/1240.21	c 1239s |      18 |   636141 |   431952 |    25408     34 |      914 |      944
1242.20/1242.49	c 1242s |      18 |   637173 |   432652 |    25408     34 |      914 |      944
1244.30/1244.56	c 1244s |      18 |   637955 |   433252 |    25408     34 |      914 |      944
1246.30/1246.58	c 1246s |      18 |   638568 |   433752 |    25408     34 |      914 |      944
1248.70/1248.97	c 1248s |      18 |   639322 |   434352 |    25408     34 |      914 |      944
1250.90/1251.13	c 1250s |      18 |   639925 |   434852 |    25408     34 |      914 |      944
1252.89/1253.16	c 1252s |      18 |   640567 |   435352 |    25408     34 |      914 |      944
1255.09/1255.39	c 1255s |      18 |   641198 |   435852 |    25408     34 |      914 |      944
1257.39/1257.68	c 1257s |      18 |   641846 |   436352 |    25408     34 |      914 |      944
1259.69/1259.94	c 1259s |      18 |   642427 |   436852 |    25408     34 |      914 |      944
1261.69/1261.95	c 1261s |      18 |   642890 |   437252 |    25408     34 |      914 |      944
1263.89/1264.12	c 1263s |      18 |   643516 |   437752 |    25408     34 |      914 |      944
1266.09/1266.35	c 1266s |      18 |   644134 |   438252 |    25408     34 |      914 |      944
1268.50/1268.76	c 1268s |      18 |   644860 |   438852 |    25408     34 |      914 |      944
1270.70/1270.95	c 1270s |      18 |   645460 |   439352 |    25408     34 |      914 |      944
1272.89/1273.11	c 1272s |      18 |   646044 |   439852 |    25408     34 |      914 |      944
1275.19/1275.40	c 1275s |      18 |   646660 |   440352 |    25408     34 |      914 |      944
1277.59/1277.86	c 1277s |      18 |   647271 |   440852 |    25408     34 |      914 |      944
1279.69/1279.99	c 1279s |      18 |   647713 |   441252 |    25408     34 |      914 |      944
1282.19/1282.48	c 1282s |      18 |   648301 |   441752 |    27949     34 |      914 |      944
1284.29/1284.59	c 1284s |      18 |   648958 |   442252 |    27949     34 |      914 |      944
1286.49/1286.74	c 1286s |      18 |   649624 |   442752 |    27949     34 |      914 |      944
1288.69/1288.96	c 1288s |      18 |   650287 |   443252 |    27949     34 |      914 |      944
1290.69/1290.99	c 1290s |      18 |   650802 |   443652 |    27949     34 |      914 |      944
1292.79/1293.09	c 1292s |      18 |   651316 |   444052 |    27949     34 |      914 |      944
1294.88/1295.13	c 1294s |      18 |   651809 |   444452 |    27949     34 |      914 |      944
1295.08/1295.31	c 1295s |      19 |   651852 |   444482 |    27949     34 |      914 |      944
1297.08/1297.31	c 1297s |      19 |   655814 |   445382 |    27949     35 |      914 |      944
1299.08/1299.38	c 1299s |      19 |   657712 |   446882 |    27949     35 |      914 |      944
1301.19/1301.48	c 1301s |      19 |   660538 |   448582 |    27949     35 |      914 |      944
1303.28/1303.53	c 1303s |      19 |   661959 |   449682 |    27949     35 |      914 |      944
1305.28/1305.58	c 1305s |      19 |   663775 |   450882 |    27949     35 |      914 |      944
1307.38/1307.69	c 1307s |      19 |   665579 |   452082 |    27949     35 |      914 |      944
1309.58/1309.83	c 1309s |      19 |   666834 |   453082 |    27949     35 |      914 |      944
1311.57/1311.86	c 1311s |      19 |   668257 |   454182 |    27949     35 |      914 |      944
1313.77/1314.01	c 1313s |      19 |   669434 |   455182 |    27949     35 |      914 |      944
1315.77/1316.08	c 1315s |      19 |   670386 |   455982 |    27949     35 |      914 |      944
1317.97/1318.24	c 1317s |      19 |   671311 |   456782 |    27949     35 |      914 |      944
1320.07/1320.33	c 1320s |      19 |   672099 |   457482 |    27949     35 |      914 |      944
1322.17/1322.43	c 1322s |      19 |   672913 |   458182 |    27949     35 |      914 |      944
1324.46/1324.78	c 1324s |      19 |   673673 |   458882 |    27949     35 |      914 |      944
1326.76/1327.08	c 1326s |      19 |   674352 |   459482 |    27949     35 |      914 |      944
1329.06/1329.38	c 1329s |      19 |   675041 |   460082 |    27949     35 |      914 |      944
1331.16/1331.45	c 1331s |      19 |   675880 |   460782 |    27949     35 |      914 |      944
1333.26/1333.52	c 1333s |      19 |   676435 |   461282 |    27949     36 |      914 |      944
1335.46/1335.73	c 1335s |      19 |   677226 |   461982 |    27949     36 |      914 |      944
1337.56/1337.85	c 1337s |      19 |   678003 |   462682 |    27949     36 |      914 |      944
1339.86/1340.11	c 1339s |      19 |   678810 |   463382 |    27949     36 |      914 |      944
1341.87/1342.11	c 1341s |      19 |   679471 |   463982 |    27949     36 |      914 |      944
1344.07/1344.32	c 1344s |      19 |   680132 |   464582 |    27949     36 |      914 |      944
1346.17/1346.45	c 1346s |      19 |   680795 |   465182 |    27949     36 |      914 |      944
1348.47/1348.76	c 1348s |      19 |   681444 |   465782 |    27949     36 |      914 |      944
1350.57/1350.84	c 1350s |      19 |   681985 |   466282 |    27949     36 |      914 |      944
1352.55/1352.87	c 1352s |      19 |   682529 |   466782 |    27949     36 |      914 |      944
1354.65/1354.91	c 1354s |      19 |   683060 |   467282 |    27949     36 |      914 |      944
1356.95/1357.27	c 1356s |      19 |   683724 |   467882 |    27949     36 |      914 |      944
1359.55/1359.81	c 1359s |      19 |   684358 |   468482 |    27949     36 |      914 |      944
1361.56/1361.86	c 1361s |      19 |   684910 |   468982 |    27949     36 |      914 |      944
1363.95/1364.23	c 1363s |      19 |   685622 |   469582 |    27949     36 |      914 |      944
1366.25/1366.55	c 1366s |      19 |   686311 |   470182 |    27949     36 |      914 |      944
1368.26/1368.56	c 1368s |      19 |   686852 |   470682 |    27949     36 |      914 |      944
1370.65/1370.91	c 1370s |      19 |   687509 |   471282 |    27949     36 |      914 |      944
1372.95/1373.21	c 1372s |      19 |   688159 |   471882 |    27949     36 |      914 |      944
1374.95/1375.29	c 1375s |      19 |   688684 |   472382 |    27949     36 |      914 |      944
1377.25/1377.59	c 1377s |      19 |   689408 |   472982 |    27949     36 |      914 |      944
1379.35/1379.64	c 1379s |      19 |   689949 |   473482 |    27949     36 |      914 |      944
1381.36/1381.68	c 1381s |      19 |   690539 |   473982 |    27949     36 |      914 |      944
1383.45/1383.77	c 1383s |      19 |   691118 |   474482 |    27949     36 |      914 |      944
1385.75/1386.05	c 1385s |      19 |   691679 |   474982 |    27949     36 |      914 |      944
1388.05/1388.32	c 1388s |      19 |   692243 |   475482 |    27949     36 |      914 |      944
1390.25/1390.56	c 1390s |      19 |   692791 |   475982 |    27949     36 |      914 |      944
1392.54/1392.81	c 1392s |      19 |   693351 |   476482 |    27949     36 |      914 |      944
1394.65/1394.98	c 1394s |      19 |   693802 |   476882 |    27949     37 |      914 |      944
1396.94/1397.25	c 1396s |      19 |   694645 |   477582 |    27949     37 |      914 |      944
1399.05/1399.35	c 1399s |      19 |   695299 |   478182 |    27949     37 |      914 |      944
1401.25/1401.53	c 1401s |      19 |   695968 |   478782 |    27949     37 |      914 |      944
1403.35/1403.61	c 1403s |      19 |   696633 |   479382 |    27949     37 |      914 |      944
1405.55/1405.85	c 1405s |      19 |   697291 |   479982 |    27949     37 |      914 |      944
1407.94/1408.23	c 1407s |      19 |   697953 |   480582 |    27949     37 |      914 |      944
1409.95/1410.28	c 1410s |      19 |   698607 |   481182 |    27949     37 |      914 |      944
1412.04/1412.33	c 1412s |      19 |   699284 |   481782 |    27949     37 |      914 |      944
1414.24/1414.56	c 1414s |      19 |   699948 |   482382 |    27949     37 |      914 |      944
1416.24/1416.58	c 1416s |      19 |   700507 |   482882 |    27949     37 |      914 |      944
1418.24/1418.59	c 1418s |      19 |   701056 |   483382 |    27949     37 |      914 |      944
1420.34/1420.66	c 1420s |      19 |   701630 |   483882 |    27949     37 |      914 |      944
1422.53/1422.84	c 1422s |      19 |   702170 |   484382 |    27949     37 |      914 |      944
1424.73/1425.05	c 1424s |      19 |   702710 |   484882 |    27949     37 |      914 |      944
1426.93/1427.23	c 1426s |      19 |   703248 |   485382 |    27949     37 |      914 |      944
1429.13/1429.42	c 1429s |      19 |   703806 |   485882 |    27949     37 |      914 |      944
1431.63/1431.90	c 1431s |      19 |   704321 |   486382 |    27949     37 |      914 |      944
1433.73/1434.01	c 1433s |      19 |   704747 |   486782 |    27949     37 |      914 |      944
1435.93/1436.24	c 1435s |      19 |   705182 |   487182 |    27949     37 |      914 |      944
1438.03/1438.39	c 1438s |      19 |   705601 |   487582 |    27949     37 |      914 |      944
1440.23/1440.55	c 1440s |      19 |   706021 |   487982 |    27949     37 |      914 |      944
1442.63/1442.94	c 1442s |      19 |   706568 |   488482 |    27949     37 |      914 |      944
1444.73/1445.07	c 1444s |      19 |   706988 |   488882 |    27949     37 |      914 |      944
1446.83/1447.12	c 1446s |      19 |   707410 |   489282 |    27949     37 |      914 |      944
1448.93/1449.27	c 1448s |      19 |   707841 |   489682 |    27949     37 |      914 |      944
1451.13/1451.46	c 1451s |      19 |   708256 |   490082 |    27949     37 |      914 |      944
1453.43/1453.74	c 1453s |      19 |   708673 |   490482 |    27949     37 |      914 |      944
1455.73/1456.08	c 1455s |      19 |   709076 |   490882 |    27949     37 |      914 |      944
1457.93/1458.22	c 1457s |      19 |   709620 |   491382 |    27949     37 |      914 |      944
1460.13/1460.47	c 1460s |      19 |   710188 |   491882 |    27949     37 |      914 |      944
1462.32/1462.63	c 1462s |      19 |   710635 |   492282 |    27949     38 |      914 |      944
1464.62/1464.93	c 1464s |      19 |   711292 |   492882 |    27949     38 |      914 |      944
1466.82/1467.15	c 1466s |      19 |   711956 |   493482 |    27949     38 |      914 |      944
1469.02/1469.30	c 1469s |      19 |   712613 |   494082 |    27949     38 |      914 |      944
1471.22/1471.58	c 1471s |      19 |   713269 |   494682 |    27949     38 |      914 |      944
1473.52/1473.84	c 1473s |      19 |   713946 |   495282 |    27949     38 |      914 |      944
1475.52/1475.86	c 1475s |      19 |   714505 |   495782 |    27949     38 |      914 |      944
1477.62/1477.90	c 1477s |      19 |   715069 |   496282 |    27949     38 |      914 |      944
1479.62/1479.99	c 1479s |      19 |   715619 |   496782 |    27949     38 |      914 |      944
1481.71/1482.04	c 1481s |      19 |   716148 |   497282 |    27949     38 |      914 |      944
1483.91/1484.20	c 1483s |      19 |   716683 |   497782 |    27949     38 |      914 |      944
1486.21/1486.57	c 1486s |      19 |   717350 |   498382 |    27949     38 |      914 |      944
1488.31/1488.62	c 1488s |      19 |   717919 |   498882 |    27949     38 |      914 |      944
1490.41/1490.71	c 1490s |      19 |   718447 |   499382 |    27949     38 |      914 |      944
1492.52/1492.83	c 1492s |      19 |   718983 |   499882 |    27949     38 |      914 |      944
1494.72/1495.09	c 1494s |      19 |   719536 |   500382 |    27949     38 |      914 |      944
1496.92/1497.26	c 1496s |      19 |   720102 |   500882 |    27949     38 |      914 |      944
1499.21/1499.55	c 1499s |      19 |   720664 |   501382 |    27949     38 |      914 |      944
1501.41/1501.79	c 1501s |      19 |   721222 |   501882 |    27949     38 |      914 |      944
1503.71/1504.08	c 1503s |      19 |   721782 |   502382 |    27949     38 |      914 |      944
1506.21/1506.53	c 1506s |      19 |   722342 |   502882 |    27949     38 |      914 |      944
1508.41/1508.79	c 1508s |      19 |   722900 |   503382 |    27949     38 |      914 |      944
1510.91/1511.26	c 1510s |      19 |   723458 |   503882 |    27949     38 |      914 |      944
1513.41/1513.77	c 1513s |      19 |   723994 |   504382 |    27949     38 |      914 |      944
1515.61/1515.93	c 1515s |      19 |   724439 |   504782 |    27949     38 |      914 |      944
1517.72/1518.04	c 1517s |      19 |   724871 |   505182 |    27949     38 |      914 |      944
1519.81/1520.16	c 1519s |      19 |   725311 |   505582 |    27949     38 |      914 |      944
1521.91/1522.22	c 1521s |      19 |   725739 |   505982 |    27949     38 |      914 |      944
1524.01/1524.35	c 1524s |      19 |   726163 |   506382 |    27949     38 |      914 |      944
1526.11/1526.49	c 1526s |      19 |   726591 |   506782 |    27949     38 |      914 |      944
1528.51/1528.82	c 1528s |      19 |   727014 |   507182 |    27949     38 |      914 |      944
1531.21/1531.53	c 1531s |      19 |   727452 |   507582 |    27949     39 |      914 |      944
1533.21/1533.55	c 1533s |      19 |   728010 |   508082 |    27949     39 |      914 |      944
1535.61/1535.96	c 1535s |      19 |   728686 |   508682 |    27949     39 |      914 |      944
1537.81/1538.17	c 1537s |      19 |   729235 |   509182 |    27949     39 |      914 |      944
1539.81/1540.19	c 1539s |      19 |   729789 |   509682 |    27949     39 |      914 |      944
1542.20/1542.57	c 1542s |      19 |   730440 |   510282 |    27949     39 |      914 |      944
1544.30/1544.65	c 1544s |      19 |   730989 |   510782 |    27949     39 |      914 |      944
1546.41/1546.72	c 1546s |      19 |   731506 |   511282 |    27949     39 |      914 |      944
1548.40/1548.79	c 1548s |      19 |   732065 |   511782 |    27949     39 |      914 |      944
1550.81/1551.12	c 1550s |      19 |   732727 |   512382 |    27949     39 |      914 |      944
1553.10/1553.41	c 1553s |      19 |   733397 |   512982 |    27949     39 |      914 |      944
1555.10/1555.47	c 1555s |      19 |   733962 |   513482 |    27949     39 |      914 |      944
1557.30/1557.65	c 1557s |      19 |   734520 |   513982 |    27949     39 |      914 |      944
1559.70/1560.04	c 1559s |      19 |   735062 |   514482 |    27949     39 |      914 |      944
1561.80/1562.12	c 1561s |      19 |   735612 |   514982 |    27949     39 |      914 |      944
1564.09/1564.48	c 1564s |      19 |   736161 |   515482 |    27949     39 |      914 |      944
1566.10/1566.49	c 1566s |      19 |   736594 |   515882 |    27949     39 |      914 |      944
1568.19/1568.52	c 1568s |      19 |   737026 |   516282 |    27949     39 |      914 |      944
1570.19/1570.53	c 1570s |      19 |   737459 |   516682 |    27949     39 |      914 |      944
1572.49/1572.89	c 1572s |      19 |   738001 |   517182 |    27949     39 |      914 |      944
1574.79/1575.17	c 1574s |      19 |   738538 |   517682 |    27949     39 |      914 |      944
1576.99/1577.32	c 1577s |      19 |   739077 |   518182 |    27949     39 |      914 |      944
1578.99/1579.32	c 1579s |      19 |   739630 |   518682 |    27949     39 |      914 |      944
1581.29/1581.62	c 1581s |      19 |   740177 |   519182 |    27949     39 |      914 |      944
1583.58/1583.98	c 1583s |      19 |   740745 |   519682 |    27949     39 |      914 |      944
1586.08/1586.43	c 1586s |      19 |   741296 |   520182 |    27949     39 |      914 |      944
1588.09/1588.46	c 1588s |      19 |   741716 |   520582 |    27949     39 |      914 |      944
1590.18/1590.53	c 1590s |      19 |   742134 |   520982 |    27949     39 |      914 |      944
1592.27/1592.64	c 1592s |      19 |   742564 |   521382 |    27949     39 |      914 |      944
1594.27/1594.65	c 1594s |      19 |   742990 |   521782 |    27949     39 |      914 |      944
1596.37/1596.75	c 1596s |      19 |   743416 |   522182 |    27949     39 |      914 |      944
1598.57/1598.92	c 1598s |      19 |   743845 |   522582 |    27949     39 |      914 |      944
1600.77/1601.13	c 1600s |      19 |   744275 |   522982 |    27949     39 |      914 |      944
1603.17/1603.52	c 1603s |      19 |   744703 |   523382 |    27949     40 |      914 |      944
1605.37/1605.78	c 1605s |      19 |   745238 |   523882 |    27949     40 |      914 |      944
1607.57/1607.96	c 1607s |      19 |   745770 |   524382 |    27949     40 |      914 |      944
1609.77/1610.15	c 1609s |      19 |   746309 |   524882 |    27949     40 |      914 |      944
1611.96/1612.34	c 1612s |      19 |   746835 |   525382 |    27949     40 |      914 |      944
1614.26/1614.63	c 1614s |      19 |   747358 |   525882 |    27949     40 |      914 |      944
1616.36/1616.76	c 1616s |      19 |   747901 |   526382 |    27949     40 |      914 |      944
1618.66/1619.03	c 1618s |      19 |   748444 |   526882 |    27949     40 |      914 |      944
1620.66/1621.09	c 1620s |      19 |   748988 |   527382 |    27949     40 |      914 |      944
1622.96/1623.30	c 1623s |      19 |   749524 |   527882 |    27949     40 |      914 |      944
1625.06/1625.43	c 1625s |      19 |   750074 |   528382 |    27949     40 |      914 |      944
1627.46/1627.87	c 1627s |      19 |   750618 |   528882 |    27949     40 |      914 |      944
1629.46/1629.88	c 1629s |      19 |   751044 |   529282 |    27949     40 |      914 |      944
1631.65/1632.04	c 1631s |      19 |   751618 |   529782 |    27949     40 |      914 |      944
1634.15/1634.51	c 1634s |      19 |   752157 |   530282 |    27949     40 |      914 |      944
1636.56/1636.96	c 1636s |      19 |   752697 |   530782 |    27949     40 |      914 |      944
1639.05/1639.43	c 1639s |      19 |   753238 |   531282 |    27949     40 |      914 |      944
1641.25/1641.68	c 1641s |      19 |   753657 |   531682 |    27949     40 |      914 |      944
1643.65/1644.09	c 1643s |      19 |   754189 |   532182 |    27949     40 |      914 |      944
1646.24/1646.60	c 1646s |      19 |   754731 |   532682 |    27949     40 |      914 |      944
1648.24/1648.69	c 1648s |      19 |   755158 |   533082 |    27949     40 |      914 |      944
1650.75/1651.12	c 1650s |      19 |   755691 |   533582 |    27949     40 |      914 |      944
1652.94/1653.37	c 1653s |      19 |   756255 |   534082 |    27949     40 |      914 |      944
1655.04/1655.47	c 1655s |      19 |   756680 |   534482 |    27949     40 |      914 |      944
1657.24/1657.62	c 1657s |      19 |   757113 |   534882 |    27949     40 |      914 |      944
1659.44/1659.88	c 1659s |      19 |   757534 |   535282 |    27949     40 |      914 |      944
1661.74/1662.16	c 1661s |      19 |   757970 |   535682 |    27949     40 |      914 |      944
1663.83/1664.29	c 1664s |      19 |   758409 |   536082 |    27949     40 |      914 |      944
1666.03/1666.47	c 1666s |      19 |   758829 |   536482 |    27949     40 |      914 |      944
1668.53/1668.95	c 1668s |      19 |   759363 |   536982 |    27949     40 |      914 |      944
1670.73/1671.19	c 1670s |      19 |   759793 |   537382 |    27949     40 |      914 |      944
1673.13/1673.56	c 1673s |      19 |   760224 |   537782 |    27949     40 |      914 |      944
1675.53/1675.91	c 1675s |      19 |   760646 |   538182 |    27949     40 |      914 |      944
1677.73/1678.14	c 1677s |      19 |   760961 |   538482 |    27949     41 |      914 |      944
1680.22/1680.64	c 1680s |      19 |   761485 |   538982 |    27949     41 |      914 |      944
1682.22/1682.66	c 1682s |      19 |   761924 |   539382 |    27949     41 |      914 |      944
1684.43/1684.81	c 1684s |      19 |   762475 |   539882 |    27949     41 |      914 |      944
1686.42/1686.83	c 1686s |      19 |   763143 |   540482 |    27949     41 |      914 |      944
1688.72/1689.16	c 1688s |      19 |   763810 |   541082 |    27949     41 |      914 |      944
1690.92/1691.34	c 1691s |      19 |   764462 |   541682 |    27949     41 |      914 |      944
1693.22/1693.62	c 1693s |      19 |   765108 |   542282 |    27949     41 |      914 |      944
1695.52/1695.95	c 1695s |      19 |   765767 |   542882 |    27949     41 |      914 |      944
1697.72/1698.16	c 1697s |      19 |   766426 |   543482 |    27949     41 |      914 |      944
1700.22/1700.65	c 1700s |      19 |   767092 |   544082 |    27949     41 |      914 |      944
1702.31/1702.73	c 1702s |      19 |   767643 |   544582 |    27949     41 |      914 |      944
1704.62/1705.08	c 1704s |      19 |   768176 |   545082 |    27949     41 |      914 |      944
1706.71/1707.16	c 1706s |      19 |   768747 |   545582 |    27949     41 |      914 |      944
1708.81/1709.20	c 1708s |      19 |   769288 |   546082 |    27949     41 |      914 |      944
1711.01/1711.40	c 1711s |      19 |   769834 |   546582 |    27949     41 |      914 |      944
1713.20/1713.66	c 1713s |      19 |   770391 |   547082 |    27949     41 |      914 |      944
1715.40/1715.81	c 1715s |      19 |   770943 |   547582 |    27949     41 |      914 |      944
1717.40/1717.85	c 1717s |      19 |   771367 |   547982 |    27949     41 |      914 |      944
1719.90/1720.31	c 1720s |      19 |   771886 |   548482 |    27949     41 |      914 |      944
1721.90/1722.36	c 1722s |      19 |   772311 |   548882 |    27949     41 |      914 |      944
1724.40/1724.81	c 1724s |      19 |   772870 |   549382 |    27949     41 |      914 |      944
1726.80/1727.27	c 1726s |      19 |   773408 |   549882 |    27949     41 |      914 |      944
1728.90/1729.33	c 1729s |      19 |   773839 |   550282 |    27949     41 |      914 |      944
1731.40/1731.83	c 1731s |      19 |   774371 |   550782 |    27949     41 |      914 |      944
1733.59/1734.07	c 1733s |      19 |   774942 |   551282 |    27949     41 |      914 |      944
1735.99/1736.41	c 1736s |      19 |   775487 |   551782 |    27949     41 |      914 |      944
1738.29/1738.79	c 1738s |      19 |   776043 |   552282 |    27949     41 |      914 |      944
1740.39/1740.82	c 1740s |      19 |   776470 |   552682 |    27949     41 |      914 |      944
1742.69/1743.18	c 1742s |      19 |   777009 |   553182 |    27949     41 |      914 |      944
1744.79/1745.20	c 1744s |      19 |   777435 |   553582 |    27949     41 |      914 |      944
1747.19/1747.64	c 1747s |      19 |   777884 |   553982 |    27949     42 |      914 |      944
1749.28/1749.77	c 1749s |      19 |   778549 |   554582 |    27949     42 |      914 |      944
1751.78/1752.24	c 1751s |      19 |   779197 |   555182 |    27949     42 |      914 |      944
1754.08/1754.56	c 1754s |      19 |   779867 |   555782 |    27949     42 |      914 |      944
1756.48/1756.92	c 1756s |      19 |   780521 |   556382 |    27949     42 |      914 |      944
1758.48/1758.99	c 1758s |      19 |   781069 |   556882 |    27949     42 |      914 |      944
1760.58/1761.09	c 1760s |      19 |   781603 |   557382 |    27949     42 |      914 |      944
1762.77/1763.21	c 1762s |      19 |   782141 |   557882 |    27949     42 |      914 |      944
1764.77/1765.29	c 1765s |      19 |   782694 |   558382 |    27949     42 |      914 |      944
1766.87/1767.39	c 1767s |      19 |   783243 |   558882 |    27949     42 |      914 |      944
1769.17/1769.61	c 1769s |      19 |   783799 |   559382 |    27949     42 |      914 |      944
1771.17/1771.62	c 1771s |      19 |   784220 |   559782 |    27949     42 |      914 |      944
1773.46/1773.93	c 1773s |      19 |   784763 |   560282 |    27949     42 |      914 |      944
1775.46/1775.97	c 1775s |      19 |   785303 |   560782 |    27949     42 |      914 |      944
1777.86/1778.30	c 1778s |      19 |   786008 |   561382 |    27949     42 |      914 |      944
1779.96/1780.44	c 1780s |      19 |   786540 |   561882 |    27949     42 |      914 |      944
1782.26/1782.73	c 1782s |      19 |   787079 |   562382 |    27949     42 |      914 |      944
1784.36/1784.81	c 1784s |      19 |   787624 |   562882 |    27949     42 |      914 |      944
1786.56/1787.01	c 1786s |      19 |   788156 |   563382 |    27949     42 |      914 |      944
1788.86/1789.33	c 1789s |      19 |   788690 |   563882 |    27949     42 |      914 |      944
1791.35/1791.82	c 1791s |      19 |   789230 |   564382 |    27949     42 |      914 |      944
1793.55/1794.09	c 1793s |      19 |   789775 |   564882 |    27949     42 |      914 |      944
1795.85/1796.38	c 1796s |      19 |   790311 |   565382 |    27949     42 |      914 |      944
1798.15/1798.62	c 1798s |      19 |   790892 |   565882 |    27949     42 |      914 |      944

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

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

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


[startup+0 s]
/proc/loadavg: 2.28 2.18 2.18 4/175 26661
/proc/meminfo: memFree=30295780/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=709052 CPUtime=0 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 2642 0 0 0 0 0 0 0 20 0 4 0 31156484 726069248 3513 33554432000 4194304 16246674 140733682416752 140733682416176 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26661/statm: 178031 3522 441 2943 0 174925 0
[pid=26661/tid=26665] ppid=26655 vsize=726460 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 743895040 3580 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 748089344 3596 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=734652 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 752283648 3613 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.28 2.18 2.18 4/175 26661
/proc/meminfo: memFree=30295780/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 28465 0 0 0 5 4 0 0 20 0 4 0 31156484 1249447936 29274 33554432000 4194304 16246674 140733682416752 140733682416064 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26661/statm: 305041 29274 801 2943 0 301935 0
[pid=26661/tid=26665] ppid=26655 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1249447936 29274 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1249447936 29274 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1249447936 29274 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200483 s]
/proc/loadavg: 2.28 2.18 2.18 4/175 26661
/proc/meminfo: memFree=30295780/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1301060 CPUtime=0.18 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 48672 0 0 0 11 7 0 0 20 0 4 0 31156484 1332285440 49481 33554432000 4194304 16246674 140733682416752 140733682416064 6756296 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26661/statm: 325265 49481 842 2943 0 322159 0
[pid=26661/tid=26665] ppid=26655 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 49481 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 49481 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 49481 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1301060

[startup+0.30045 s]
/proc/loadavg: 2.28 2.18 2.18 4/175 26661
/proc/meminfo: memFree=30295780/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1301060 CPUtime=0.28 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 54282 0 0 0 20 8 0 0 20 0 4 0 31156484 1332285440 55091 33554432000 4194304 16246674 140733682416752 140733682416064 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26661/statm: 325265 55094 882 2943 0 322159 0
[pid=26661/tid=26665] ppid=26655 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 55096 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 55099 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 55103 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1301060

[startup+0.700365 s]
/proc/loadavg: 2.28 2.18 2.18 4/175 26661
/proc/meminfo: memFree=30295780/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 103933 0 0 0 53 16 0 0 20 0 4 0 31156484 1332285440 104742 33554432000 4194304 16246674 140733682416752 140733682416064 5532218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26661/statm: 325265 104750 882 2943 0 322159 0
[pid=26661/tid=26665] ppid=26655 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 104756 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 104761 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 104767 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50037 s]
/proc/loadavg: 2.28 2.18 2.18 4/183 26669
/proc/meminfo: memFree=29045792/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 203069 0 0 0 120 29 0 0 20 0 4 0 31156484 1332285440 203878 33554432000 4194304 16246674 140733682416752 140733682398656 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26661/statm: 325265 203884 882 2943 0 322159 0
[pid=26661/tid=26665] ppid=26655 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 203887 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 203890 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 203892 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10037 s]
/proc/loadavg: 2.28 2.18 2.18 4/183 26669
/proc/meminfo: memFree=28141552/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 269280 0 0 0 270 39 0 0 20 0 4 0 31156484 1344868352 270089 33554432000 4194304 16246674 140733682416752 140733682398656 5601651 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26661/statm: 328337 270089 887 2943 0 325231 0
[pid=26661/tid=26665] ppid=26655 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 270089 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 270089 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 270089 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30038 s]
/proc/loadavg: 2.26 2.18 2.18 5/183 26669
/proc/meminfo: memFree=28139100/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 269522 0 0 0 590 39 0 0 20 0 4 0 31156484 1344868352 270331 33554432000 4194304 16246674 140733682416752 140733682398656 5711636 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26661/statm: 328337 270331 890 2943 0 325231 0
[pid=26661/tid=26665] ppid=26655 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 270331 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 270331 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 270331 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7003 s]
/proc/loadavg: 2.24 2.18 2.17 5/183 26669
/proc/meminfo: memFree=28139764/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 269522 0 0 0 1230 39 0 0 20 0 4 0 31156484 1344868352 270331 33554432000 4194304 16246674 140733682416752 140733682398656 5712210 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26661/statm: 328337 270331 890 2943 0 325231 0
[pid=26661/tid=26665] ppid=26655 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 270331 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 270331 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 270331 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5004 s]
/proc/loadavg: 2.25 2.18 2.18 4/183 26669
/proc/meminfo: memFree=28140980/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 269522 0 0 0 2510 39 0 0 20 0 4 0 31156484 1344868352 270331 33554432000 4194304 16246674 140733682416752 140733682398656 5711952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26661/statm: 328337 270331 890 2943 0 325231 0
[pid=26661/tid=26665] ppid=26655 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 270331 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 270331 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 270331 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.17 2.17 2.17 4/183 26669
/proc/meminfo: memFree=28140860/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 269524 0 0 0 5069 39 0 0 20 0 4 0 31156484 1344868352 270333 33554432000 4194304 16246674 140733682416752 140733682398656 5676361 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26661/statm: 328337 270333 892 2943 0 325231 0
[pid=26661/tid=26665] ppid=26655 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 270333 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 270333 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 270333 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.23 2.19 2.18 5/182 26670
/proc/meminfo: memFree=28134788/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1313348 CPUtime=102.28 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 269524 0 0 0 10189 39 0 0 20 0 4 0 31156484 1344868352 270333 33554432000 4194304 16246674 140733682416752 140733682398656 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26661/statm: 328337 270333 892 2943 0 325231 0
[pid=26661/tid=26665] ppid=26655 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 270333 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 270333 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 270333 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1338948

[startup+1362.3 s]
/proc/loadavg: 2.23 2.28 2.21 5/183 26725
/proc/meminfo: memFree=28095336/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1338948 CPUtime=1362.05 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 275985 0 0 0 136156 49 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 140733682398656 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26661/statm: 334737 276737 892 2943 0 331631 0
[pid=26661/tid=26665] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1338948

[startup+1422.3 s]
/proc/loadavg: 2.30 2.29 2.22 4/184 26729
/proc/meminfo: memFree=28092996/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1338948 CPUtime=1422.04 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 275997 0 0 0 142155 49 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 140733682398656 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26661/statm: 334737 276737 892 2943 0 331631 0
[pid=26661/tid=26665] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1338948

[startup+1482.3 s]
/proc/loadavg: 2.20 2.26 2.21 4/183 26730
/proc/meminfo: memFree=28093192/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1338948 CPUtime=1482.01 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 276015 0 0 0 148152 49 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 140733682398656 12483212 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26661/statm: 334737 276737 892 2943 0 331631 0
[pid=26661/tid=26665] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 1338948

[startup+1542.31 s]
/proc/loadavg: 2.21 2.26 2.21 5/183 26731
/proc/meminfo: memFree=28092576/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1338948 CPUtime=1542.01 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 276044 0 0 0 154151 50 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 140733682398656 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26661/statm: 334737 276737 892 2943 0 331631 0
[pid=26661/tid=26665] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1338948

[startup+1602.3 s]
/proc/loadavg: 2.23 2.25 2.21 4/183 26732
/proc/meminfo: memFree=28092384/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1338948 CPUtime=1601.97 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 276087 0 0 0 160147 50 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 140733682398656 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26661/statm: 334737 276737 892 2943 0 331631 0
[pid=26661/tid=26665] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1338948

[startup+1662.3 s]
/proc/loadavg: 2.24 2.25 2.20 4/183 26734
/proc/meminfo: memFree=28090600/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1338948 CPUtime=1661.93 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 276130 0 0 0 166143 50 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 140733682398656 5822492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26661/statm: 334737 276737 892 2943 0 331631 0
[pid=26661/tid=26665] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1338948

[startup+1722.3 s]
/proc/loadavg: 2.38 2.28 2.21 4/183 26735
/proc/meminfo: memFree=28091080/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1338948 CPUtime=1721.9 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 276178 0 0 0 172139 51 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 140733682398656 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26661/statm: 334737 276737 892 2943 0 331631 0
[pid=26661/tid=26665] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1338948

[startup+1782.3 s]
/proc/loadavg: 2.39 2.30 2.22 4/183 26736
/proc/meminfo: memFree=28089600/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1338948 CPUtime=1781.86 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 276225 0 0 0 178135 51 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 140733682398656 5523208 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26661/statm: 334737 276737 892 2943 0 331631 0
[pid=26661/tid=26665] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1338948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.27 2.28 2.22 4/183 26736
/proc/meminfo: memFree=28090332/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1338948 CPUtime=1800.05 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 276233 0 0 0 179954 51 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 140733682398656 5724032 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26661/statm: 334737 276737 892 2943 0 331631 0
[pid=26661/tid=26665] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1338948

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

[startup+1800.5 s]
/proc/loadavg: 2.27 2.28 2.22 4/183 26736
/proc/meminfo: memFree=28090332/32872528 swapFree=1392268/1580316
[pid=26661] ppid=26655 vsize=1338948 CPUtime=1800.05 cores=0,2,4,6
/proc/26661/stat : 26661 (toysat) R 26655 26661 23975 0 -1 4202496 276233 0 0 0 179954 51 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 140733682398656 5724032 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26661/statm: 334737 276737 892 2943 0 331631 0
[pid=26661/tid=26665] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26665/stat : 26665 (toysat) S 26655 26661 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892512238832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26661/tid=26666] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26666/stat : 26666 (toysat) S 26655 26661 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892501748976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26661/tid=26667] ppid=26655 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/26661/task/26667/stat : 26667 (toysat) S 26655 26661 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 1371082752 276737 33554432000 4194304 16246674 140733682416752 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1338948

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.07
CPU user time (s): 1799.55
CPU system time (s): 0.528919
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 1338948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.528919
maximum resident set size= 1106948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276233
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= 324
involuntary context switches= 1845

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02393 second user time and 9.28359 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-27 00:46:32
IDJOB=4116133
IDBENCH=109432
IDSOLVER=2542
FILE ID=node139/4116133-1466981192
RUNJOBID= node139-1466981192-26632
PBS_JOBID= 19976371
Free space on /tmp= 71676 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116133-1466981192/watcher-4116133-1466981192 -o /tmp/evaluation-result-4116133-1466981192/solver-4116133-1466981192 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466981192-26632 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116133-1466981192.opb

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

MD5SUM BENCH= d350013189e61594c0f4e016913901e6
RANDOM SEED=2019788874

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30298356 kB
Buffers:           52316 kB
Cached:           231552 kB
SwapCached:         2156 kB
Active:            92800 kB
Inactive:         194080 kB
Active(anon):       4288 kB
Inactive(anon):     1120 kB
Active(file):      88512 kB
Inactive(file):   192960 kB
Unevictable:     1580316 kB
Mlocked:         1392268 kB
SwapTotal:      67108856 kB
SwapFree:       67098796 kB
Dirty:             33472 kB
Writeback:            52 kB
AnonPages:       1582388 kB
Mapped:             7120 kB
Shmem:                 0 kB
Slab:             570868 kB
SReclaimable:      14428 kB
SUnreclaim:       556440 kB
KernelStack:        1448 kB
PageTables:         6972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1677180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 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= 71644 MiB
End job on node139 at 2016-06-27 01:16:33