Trace number 4116741

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.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round23-2.opb
MD5SUM3c78ac84f21f4de0992f4a091829144b
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 constraints9520
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)432
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:44:52+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-4116741-1466981092.opb"]
0.00/0.01	c use --random-gen="796840049 3564442547 3397205648 3671762182 2061685115 45715777 522876442 2720398203 4093606620 4095981361 1757001470 2363770500 2824627572 2414970672 42389373 1038096811 2158167532 294274399 2919160682 3065638690 2893574788 3481470802 2573280128 1994053376 375080872 1461710137 3345473847 3252901714 314394975 1130136926 603091991 2611540816 4043138312 3502662066 644222463 2032623558 4214388931 3827469710 658413288 2111155074 1345528642 1948904407 3879925197 554794653 4147041226 4145202173 1748997494 2011429787 705684612 3062509030 1801094442 754266139 2751733972 2585891706 2750376182 3979499978 3294889680 3890777874 1369050619 1339989086 2580131370 274403892 1566461730 1091315132 1583680122 1278978756 3462533290 448976605 3947105829 1805311834 647471160 676542507 1468990744 2220921340 3805577384 4068861298 2923658086 3655479610 374313082 1046168142 155660878 1120361420 4055782509 2760097494 2687468940 3572285937 3533778848 1272783889 2181053744 2031693592 1114234710 481081920 3212287377 1248132490 3959654504 3477033866 2853044193 1314754365 272904712 1403754121 71631173 1052399657 3951037863 2904609941 3204512512 1025810477 4092934260 3620087034 1391863409 2099798570 1724625880 136593508 2468878163 1409547149 143449911 1482485735 847618485 3322736803 3422624690 4294458428 4175412180 3478285867 3270133680 1892956025 1933904936 1698662958 3987488681 2409350859 2007020780 1815328518 399448992 1715450546 2944164717 721294572 793592646 229911889 2525143414 3680969193 2714391853 1274847305 3395356648 235527843 2585269939 3590639085 2479881167 4076310794 3948398216 3445834136 696059204 2480562794 190358340 1607584294 2055475327 1614876321 378812083 4116012420 4173567898 2494157819 4060864132 2162946374 2430377211 3009024460 4129749504 860022689 1470126748 2946483261 278466943 1908321569 1182960061 1673952568 1530600976 3384399884 165643238 1155401 455436622 63369012 1564055328 3175763144 1434324121 1291806054 2938259749 679483407 195623959 1545498079 1679024569 2352529384 3873323028 3316939916 1122998666 1388254527 1379885303 2426225088 3590616825 2485968937 2451942336 3038980394 1941191547 445917496 3810048237 3251745058 2140153482 3252461808 2001712708 3912051820 3182211010 999828150 1125589094 3048257953 600049060 3210597798 1323200977 312986401 996629224 1157702594 1340963249 309551655 529839038 850260622 158731027 1777761204 1601819753 1557274186 972497729 1600580601 4181388726 583765599 2520318561 2917655593 1085346193 4130484853 736757047 1249430192 1877994171 3501766693 2797040782 1483050210 630358802 3367949207 995393895 3220844804 1910915021 63321674 3858148301 1892316974 282356962 3419293619 4230069321 2364500503 743525908 2652765176 471880656 2591830322 1010889647 4062276785 2719154015 2754982169 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9520
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      837 |        0
0.29/0.35	c  0.1s |       1 |      404 |      100 |     4565      0 |      837 |      822
0.39/0.46	c  0.2s |       2 |     2195 |      250 |     5022      0 |      837 |      822
0.59/0.62	c  0.3s |       3 |     4456 |      475 |     5525      0 |      838 |      822
0.79/0.81	c  0.5s |       4 |     6181 |      813 |     6078      0 |      838 |      822
1.19/1.25	c  1.0s |       5 |     8156 |     1320 |     6686      0 |      838 |      822
1.79/1.87	c  1.6s |       6 |    12304 |     2081 |     8091      0 |      838 |      822
2.59/2.69	c  2.4s |       7 |    16560 |     3223 |     8901      0 |      838 |      822
4.50/4.54	c  4.3s |       8 |    20338 |     4936 |     9792      0 |      838 |      822
6.60/6.61	c  6.3s |       8 |    27121 |     7136 |     9792      0 |      839 |      822
7.09/7.16	c  6.9s |       9 |    27538 |     7506 |    10772      0 |      839 |      822
9.19/9.26	c  9.0s |       9 |    34199 |     9606 |    10772      0 |      839 |      822
11.29/11.33	c 11.1s |       9 |    35817 |    11106 |    10772      0 |      839 |      822
11.69/11.71	c 11.4s |      10 |    36079 |    11361 |    11850      0 |      839 |      822
13.69/13.77	c 13.5s |      10 |    43109 |    13661 |    11850      0 |      839 |      822
15.79/15.85	c 15.6s |      10 |    44703 |    14961 |    11850      1 |      839 |      822
17.79/17.86	c 17.6s |      10 |    48218 |    16861 |    11850      1 |      839 |      822
18.09/18.18	c 17.9s |      11 |    48710 |    17144 |    13036      1 |      839 |      822
20.19/20.22	c 19.9s |      11 |    54019 |    18944 |    13036      1 |      839 |      822
22.19/22.26	c 22.0s |      11 |    55643 |    20344 |    13036      1 |      839 |      822
24.29/24.33	c 24.1s |      11 |    56848 |    21444 |    13036      1 |      839 |      822
26.39/26.46	c 26.2s |      11 |    58032 |    22544 |    13036      1 |      839 |      822
28.49/28.54	c 28.3s |      11 |    59121 |    23544 |    13036      1 |      839 |      822
30.59/30.64	c 30.4s |      11 |    60089 |    24444 |    13036      2 |      839 |      822
32.79/32.83	c 32.6s |      11 |    61152 |    25444 |    13036      2 |      839 |      822
33.78/33.80	c 33.5s |      12 |    61541 |    25819 |    14340      2 |      839 |      822
35.78/35.89	c 35.6s |      12 |    67403 |    28119 |    14340      2 |      839 |      822
37.98/38.01	c 37.7s |      12 |    70116 |    30019 |    14340      2 |      839 |      822
39.98/40.02	c 39.7s |      12 |    71565 |    31219 |    14340      2 |      839 |      822
42.08/42.15	c 41.9s |      12 |    73091 |    32419 |    14340      2 |      839 |      822
44.28/44.35	c 44.1s |      12 |    74349 |    33419 |    14340      3 |      839 |      822
46.48/46.51	c 46.2s |      12 |    75461 |    34419 |    14340      3 |      839 |      822
48.49/48.51	c 48.2s |      12 |    76815 |    35419 |    14340      3 |      839 |      822
50.59/50.60	c 50.3s |      12 |    78897 |    36719 |    14340      3 |      839 |      822
52.79/52.83	c 52.6s |      12 |    80808 |    38019 |    14340      3 |      839 |      822
54.08/54.17	c 53.9s |      13 |    81896 |    38832 |    15775      3 |      839 |      822
56.19/56.27	c 56.0s |      13 |    93951 |    41432 |    15775      3 |      839 |      822
58.29/58.32	c 58.0s |      13 |    95804 |    42932 |    15775      3 |      839 |      822
60.28/60.34	c 60.1s |      13 |    97617 |    44232 |    15775      4 |      839 |      822
62.38/62.44	c 62.2s |      13 |   103537 |    46332 |    15775      4 |      839 |      822
64.38/64.47	c 64.2s |      13 |   105061 |    47532 |    15775      4 |      839 |      822
66.48/66.54	c 66.3s |      13 |   106350 |    48632 |    15775      4 |      839 |      822
68.48/68.57	c 68.3s |      13 |   108390 |    49932 |    15775      4 |      839 |      822
70.68/70.72	c 70.4s |      13 |   109899 |    51132 |    15775      4 |      839 |      822
72.88/72.91	c 72.6s |      13 |   111451 |    52332 |    15775      4 |      839 |      822
75.08/75.16	c 74.9s |      13 |   113156 |    53532 |    15775      5 |      839 |      822
77.18/77.22	c 76.9s |      13 |   114373 |    54532 |    15775      5 |      839 |      822
79.28/79.36	c 79.1s |      13 |   115463 |    55432 |    15775      5 |      839 |      822
81.38/81.49	c 81.2s |      13 |   116573 |    56332 |    15775      5 |      839 |      822
83.48/83.58	c 83.3s |      13 |   117647 |    57232 |    15775      5 |      839 |      822
85.48/85.58	c 85.3s |      13 |   118907 |    58132 |    17353      5 |      839 |      822
86.07/86.10	c 85.8s |      14 |   119204 |    58352 |    17353      5 |      839 |      822
88.18/88.22	c 87.9s |      14 |   124940 |    60152 |    17353      5 |      839 |      822
90.19/90.22	c 89.9s |      14 |   126384 |    61352 |    17353      5 |      839 |      822
92.28/92.40	c 92.1s |      14 |   127747 |    62452 |    17353      5 |      839 |      822
94.38/94.42	c 94.1s |      14 |   128971 |    63452 |    17353      5 |      839 |      822
96.38/96.43	c 96.2s |      14 |   130246 |    64552 |    17353      5 |      839 |      822
98.48/98.55	c 98.3s |      14 |   131154 |    65352 |    17353      6 |      839 |      822
100.58/100.69	c  100s |      14 |   132284 |    66352 |    17353      6 |      839 |      822
102.68/102.71	c  102s |      14 |   133214 |    67152 |    17353      6 |      839 |      822
104.88/104.94	c  104s |      14 |   134320 |    68052 |    17353      6 |      839 |      822
106.98/107.07	c  106s |      14 |   135252 |    68852 |    17353      6 |      839 |      822
109.28/109.30	c  109s |      14 |   136045 |    69552 |    17353      6 |      839 |      822
111.38/111.41	c  111s |      14 |   136810 |    70252 |    17353      6 |      839 |      822
113.48/113.59	c  113s |      14 |   137732 |    71052 |    17353      6 |      839 |      822
115.58/115.65	c  115s |      14 |   138540 |    71752 |    17353      6 |      839 |      822
117.87/117.91	c  117s |      14 |   139317 |    72452 |    17353      6 |      839 |      822
120.07/120.13	c  119s |      14 |   140129 |    73152 |    17353      6 |      839 |      822
122.08/122.15	c  121s |      14 |   140771 |    73752 |    17353      6 |      839 |      822
124.28/124.33	c  124s |      14 |   141533 |    74452 |    17353      6 |      839 |      822
126.37/126.41	c  126s |      14 |   142199 |    75052 |    17353      6 |      839 |      822
128.57/128.70	c  128s |      14 |   142983 |    75752 |    17353      7 |      839 |      822
130.77/130.89	c  130s |      14 |   143879 |    76552 |    17353      7 |      839 |      822
132.87/132.94	c  132s |      14 |   144678 |    77252 |    17353      7 |      839 |      822
134.87/134.96	c  134s |      14 |   145456 |    77952 |    17353      7 |      839 |      822
136.87/136.99	c  136s |      14 |   146118 |    78552 |    17353      7 |      839 |      822
138.97/139.08	c  138s |      14 |   146780 |    79152 |    17353      7 |      839 |      822
141.07/141.19	c  140s |      14 |   147431 |    79752 |    17353      7 |      839 |      822
143.37/143.40	c  143s |      14 |   148081 |    80352 |    17353      7 |      839 |      822
145.47/145.52	c  145s |      14 |   148746 |    80952 |    17353      7 |      839 |      822
147.67/147.79	c  147s |      14 |   149423 |    81552 |    17353      7 |      839 |      822
149.87/149.93	c  149s |      14 |   149958 |    82052 |    17353      7 |      839 |      822
152.17/152.23	c  151s |      14 |   150618 |    82652 |    17353      7 |      839 |      822
154.47/154.52	c  154s |      14 |   151291 |    83252 |    17353      7 |      839 |      822
156.87/156.91	c  156s |      14 |   151958 |    83852 |    17353      7 |      839 |      822
159.16/159.23	c  158s |      14 |   152496 |    84352 |    17353      7 |      839 |      822
161.36/161.42	c  161s |      14 |   153035 |    84852 |    17353      7 |      839 |      822
163.97/164.02	c  163s |      14 |   153585 |    85352 |    17353      8 |      839 |      822
165.96/166.03	c  165s |      14 |   154122 |    85852 |    17353      8 |      839 |      822
167.96/168.08	c  167s |      14 |   154807 |    86452 |    17353      8 |      839 |      822
170.26/170.36	c  170s |      14 |   155451 |    87052 |    19089      8 |      839 |      822
172.36/172.48	c  172s |      14 |   155986 |    87552 |    19089      8 |      839 |      822
172.67/172.79	c  172s |      15 |   156087 |    87632 |    19089      8 |      839 |      822
174.76/174.84	c  174s |      15 |   163763 |    89732 |    19089      8 |      839 |      822
176.86/176.90	c  176s |      15 |   167269 |    91732 |    19089      8 |      839 |      822
178.86/178.92	c  178s |      15 |   169487 |    93232 |    19089      8 |      839 |      822
180.86/180.94	c  180s |      15 |   171071 |    94432 |    19089      8 |      839 |      822
182.86/182.97	c  182s |      15 |   172505 |    95532 |    19089      8 |      839 |      822
185.06/185.17	c  184s |      15 |   174062 |    96732 |    19089      8 |      839 |      822
187.07/187.17	c  186s |      15 |   175168 |    97532 |    19089      9 |      839 |      822
189.16/189.23	c  188s |      15 |   176273 |    98432 |    19089      9 |      839 |      822
191.26/191.36	c  191s |      15 |   177190 |    99232 |    19089      9 |      839 |      822
193.46/193.51	c  193s |      15 |   178354 |   100132 |    19089      9 |      839 |      822
195.46/195.58	c  195s |      15 |   179368 |   100932 |    19089      9 |      839 |      822
197.66/197.70	c  197s |      15 |   180318 |   101732 |    19089      9 |      839 |      822
199.75/199.85	c  199s |      15 |   181306 |   102532 |    19089      9 |      839 |      822
201.85/201.98	c  201s |      15 |   182131 |   103232 |    19089      9 |      839 |      822
204.05/204.19	c  203s |      15 |   182953 |   103932 |    19089      9 |      839 |      822
206.05/206.19	c  205s |      15 |   183773 |   104632 |    19089      9 |      839 |      822
208.25/208.35	c  208s |      15 |   184565 |   105332 |    19089      9 |      839 |      822
210.65/210.71	c  210s |      15 |   185375 |   106032 |    19089      9 |      839 |      822
212.76/212.80	c  212s |      15 |   186064 |   106632 |    19089      9 |      839 |      822
214.96/215.01	c  214s |      15 |   186745 |   107232 |    19089      9 |      839 |      822
217.16/217.28	c  217s |      15 |   187443 |   107832 |    19089      9 |      839 |      822
219.46/219.53	c  219s |      15 |   188118 |   108432 |    19089      9 |      839 |      822
221.66/221.71	c  221s |      15 |   188809 |   109032 |    19089     10 |      839 |      822
223.76/223.89	c  223s |      15 |   189785 |   109832 |    19089     10 |      839 |      822
226.16/226.26	c  225s |      15 |   190728 |   110632 |    19089     10 |      839 |      822
228.46/228.50	c  228s |      15 |   191664 |   111432 |    19089     10 |      839 |      822
230.56/230.63	c  230s |      15 |   192475 |   112132 |    19089     10 |      839 |      822
232.66/232.78	c  232s |      15 |   193299 |   112832 |    19089     10 |      839 |      822
235.06/235.13	c  234s |      15 |   194099 |   113532 |    19089     10 |      839 |      822
237.16/237.29	c  237s |      15 |   194776 |   114132 |    19089     10 |      839 |      822
239.36/239.48	c  239s |      15 |   195490 |   114732 |    19089     10 |      839 |      822
241.46/241.52	c  241s |      15 |   196548 |   115532 |    19089     10 |      839 |      822
243.46/243.58	c  243s |      15 |   197771 |   116432 |    19089     10 |      839 |      822
245.45/245.59	c  245s |      15 |   198619 |   117132 |    19089     10 |      839 |      822
247.75/247.84	c  247s |      15 |   199454 |   117832 |    19089     10 |      839 |      822
250.05/250.19	c  249s |      15 |   200254 |   118532 |    19089     10 |      839 |      822
252.35/252.48	c  252s |      15 |   200983 |   119132 |    19089     10 |      839 |      822
254.55/254.60	c  254s |      15 |   201684 |   119732 |    19089     10 |      839 |      822
256.55/256.68	c  256s |      15 |   202446 |   120332 |    19089     11 |      839 |      822
258.85/258.93	c  258s |      15 |   203678 |   121232 |    19089     11 |      839 |      822
261.05/261.13	c  260s |      15 |   204833 |   122132 |    19089     11 |      839 |      822
263.35/263.41	c  263s |      15 |   205834 |   122932 |    19089     11 |      839 |      822
265.55/265.64	c  265s |      15 |   206794 |   123732 |    19089     11 |      839 |      822
267.55/267.65	c  267s |      15 |   207510 |   124332 |    19089     11 |      839 |      822
269.85/269.92	c  269s |      15 |   208649 |   125232 |    19089     11 |      839 |      822
271.95/272.03	c  271s |      15 |   209860 |   126132 |    19089     11 |      839 |      822
273.96/274.06	c  273s |      15 |   210853 |   126932 |    19089     11 |      839 |      822
275.95/276.07	c  275s |      15 |   211714 |   127632 |    19089     11 |      839 |      822
278.15/278.29	c  278s |      15 |   212526 |   128332 |    19089     11 |      839 |      822
280.35/280.46	c  280s |      15 |   213523 |   129132 |    19089     11 |      839 |      822
282.45/282.53	c  282s |      15 |   214409 |   129832 |    19089     11 |      839 |      822
284.55/284.66	c  284s |      15 |   215162 |   130432 |    19089     11 |      839 |      822
286.65/286.76	c  286s |      15 |   215865 |   131032 |    20998     11 |      839 |      822
288.45/288.51	c  288s |      16 |   216505 |   131552 |    20998     11 |      839 |      822
290.45/290.56	c  290s |      16 |   219974 |   132752 |    20998     12 |      839 |      822
292.65/292.72	c  292s |      16 |   222379 |   134652 |    20998     12 |      839 |      822
294.65/294.79	c  294s |      16 |   224254 |   136352 |    20998     12 |      839 |      822
296.75/296.82	c  296s |      16 |   226061 |   138052 |    20998     12 |      839 |      822
298.75/298.85	c  298s |      16 |   227624 |   139452 |    20998     12 |      839 |      822
300.75/300.86	c  300s |      16 |   229031 |   140752 |    20998     12 |      839 |      822
302.85/302.97	c  302s |      16 |   230453 |   142052 |    20998     12 |      839 |      822
304.84/304.97	c  304s |      16 |   231643 |   143152 |    20998     12 |      839 |      822
307.24/307.38	c  307s |      16 |   232699 |   144152 |    20998     13 |      839 |      822
309.34/309.44	c  309s |      16 |   233780 |   145152 |    20998     13 |      839 |      822
311.35/311.46	c  311s |      16 |   234977 |   146252 |    20998     13 |      839 |      822
313.55/313.67	c  313s |      16 |   236168 |   147352 |    20998     13 |      839 |      822
315.65/315.76	c  315s |      16 |   237131 |   148252 |    20998     13 |      839 |      822
317.85/317.93	c  317s |      16 |   238195 |   149252 |    20998     13 |      839 |      822
320.05/320.18	c  319s |      16 |   239269 |   150252 |    20998     13 |      839 |      822
322.14/322.24	c  321s |      16 |   240121 |   151052 |    20998     13 |      839 |      822
324.24/324.37	c  324s |      16 |   240865 |   151752 |    20998     13 |      839 |      822
326.44/326.58	c  326s |      16 |   241613 |   152452 |    20998     13 |      839 |      822
328.44/328.59	c  328s |      16 |   242490 |   153252 |    20998     13 |      839 |      822
330.54/330.63	c  330s |      16 |   244479 |   154252 |    20998     13 |      839 |      822
332.54/332.64	c  332s |      16 |   247804 |   155552 |    20998     13 |      839 |      822
334.54/334.67	c  334s |      16 |   248971 |   156352 |    20998     14 |      839 |      822
336.54/336.68	c  336s |      16 |   250602 |   157652 |    20998     14 |      839 |      822
338.64/338.72	c  338s |      16 |   253781 |   158852 |    20998     14 |      839 |      822
340.74/340.82	c  340s |      16 |   256298 |   160352 |    20998     14 |      839 |      822
342.74/342.86	c  342s |      16 |   257496 |   161452 |    20998     14 |      839 |      822
344.84/344.92	c  344s |      16 |   258568 |   162452 |    20998     14 |      839 |      822
346.84/346.96	c  346s |      16 |   259537 |   163352 |    20998     14 |      839 |      822
348.94/349.01	c  348s |      16 |   260377 |   164152 |    20998     14 |      839 |      822
351.03/351.10	c  350s |      16 |   261094 |   164852 |    20998     14 |      839 |      822
353.14/353.21	c  352s |      16 |   262174 |   165852 |    20998     14 |      839 |      822
355.13/355.24	c  354s |      16 |   264008 |   167152 |    20998     14 |      839 |      822
357.33/357.41	c  357s |      16 |   265442 |   168252 |    20998     14 |      839 |      822
359.43/359.53	c  359s |      16 |   266321 |   169052 |    20998     15 |      839 |      822
361.53/361.65	c  361s |      16 |   267435 |   169952 |    20998     15 |      839 |      822
363.63/363.79	c  363s |      16 |   268503 |   170852 |    20998     15 |      839 |      822
365.93/366.03	c  365s |      16 |   269306 |   171552 |    20998     15 |      839 |      822
367.93/368.09	c  367s |      16 |   269968 |   172152 |    20998     15 |      839 |      822
370.03/370.18	c  369s |      16 |   270801 |   172852 |    20998     15 |      839 |      822
372.33/372.40	c  372s |      16 |   271686 |   173652 |    20998     15 |      839 |      822
374.43/374.57	c  374s |      16 |   272327 |   174252 |    20998     15 |      839 |      822
376.53/376.69	c  376s |      16 |   272963 |   174852 |    20998     15 |      839 |      822
378.73/378.81	c  378s |      16 |   273601 |   175452 |    20998     15 |      839 |      822
380.83/380.96	c  380s |      16 |   274141 |   175952 |    20998     15 |      839 |      822
383.13/383.28	c  383s |      16 |   274926 |   176652 |    20998     15 |      839 |      822
385.33/385.41	c  385s |      16 |   275636 |   177252 |    20998     15 |      839 |      822
387.53/387.63	c  387s |      16 |   276526 |   177952 |    20998     15 |      839 |      822
389.63/389.70	c  389s |      16 |   277640 |   178752 |    20998     15 |      839 |      822
391.73/391.82	c  391s |      16 |   278814 |   179652 |    20998     15 |      839 |      822
393.73/393.84	c  393s |      16 |   279718 |   180352 |    20998     15 |      839 |      822
395.93/396.07	c  395s |      16 |   280693 |   181052 |    20998     16 |      839 |      822
398.03/398.20	c  397s |      16 |   281725 |   181852 |    20998     16 |      839 |      822
400.13/400.27	c  399s |      16 |   282544 |   182552 |    20998     16 |      839 |      822
402.12/402.27	c  401s |      16 |   283439 |   183252 |    20998     16 |      839 |      822
404.32/404.42	c  404s |      16 |   284253 |   183952 |    20998     16 |      839 |      822
406.62/406.70	c  406s |      16 |   284977 |   184552 |    20998     16 |      839 |      822
408.72/408.88	c  408s |      16 |   285755 |   185152 |    20998     16 |      839 |      822
411.22/411.30	c  411s |      16 |   286465 |   185752 |    20998     16 |      839 |      822
413.42/413.52	c  413s |      16 |   287288 |   186452 |    20998     16 |      839 |      822
415.62/415.74	c  415s |      16 |   288151 |   187152 |    20998     16 |      839 |      822
417.93/418.03	c  417s |      16 |   289013 |   187852 |    20998     16 |      839 |      822
420.02/420.11	c  419s |      16 |   289992 |   188552 |    20998     16 |      839 |      822
422.12/422.28	c  422s |      16 |   290861 |   189252 |    20998     16 |      839 |      822
424.32/424.47	c  424s |      16 |   291707 |   189952 |    20998     16 |      839 |      822
426.53/426.65	c  426s |      16 |   292400 |   190552 |    20998     16 |      839 |      822
428.73/428.82	c  428s |      16 |   293089 |   191152 |    20998     16 |      839 |      822
430.83/430.95	c  430s |      16 |   293952 |   191852 |    20998     16 |      839 |      822
433.03/433.16	c  432s |      16 |   294848 |   192552 |    20998     16 |      839 |      822
435.23/435.34	c  435s |      16 |   295454 |   193052 |    20998     17 |      839 |      822
437.33/437.45	c  437s |      16 |   296427 |   193852 |    20998     17 |      839 |      822
439.63/439.73	c  439s |      16 |   297250 |   194552 |    20998     17 |      839 |      822
441.83/441.92	c  441s |      16 |   298056 |   195252 |    20998     17 |      839 |      822
443.93/444.09	c  443s |      16 |   298931 |   195952 |    20998     17 |      839 |      822
446.23/446.38	c  446s |      16 |   299623 |   196552 |    23098     17 |      839 |      822
448.42/448.52	c  448s |      16 |   300314 |   197152 |    23098     17 |      839 |      822
449.32/449.49	c  449s |      17 |   300630 |   197432 |    23098     17 |      839 |      822
451.62/451.77	c  451s |      17 |   307543 |   199232 |    23098     17 |      839 |      822
453.82/453.90	c  453s |      17 |   311400 |   200632 |    23098     17 |      839 |      822
455.92/456.01	c  455s |      17 |   312426 |   201532 |    23098     17 |      839 |      822
458.12/458.23	c  457s |      17 |   313516 |   202432 |    23098     17 |      839 |      822
460.12/460.29	c  460s |      17 |   314433 |   203232 |    23098     17 |      839 |      822
462.42/462.53	c  462s |      17 |   315372 |   204032 |    23098     17 |      839 |      822
464.41/464.53	c  464s |      17 |   316039 |   204632 |    23098     17 |      839 |      822
466.51/466.62	c  466s |      17 |   316901 |   205332 |    23098     17 |      839 |      822
468.81/468.92	c  468s |      17 |   317823 |   206132 |    23098     17 |      839 |      822
471.01/471.13	c  470s |      17 |   318623 |   206832 |    23098     17 |      839 |      822
473.11/473.29	c  473s |      17 |   319436 |   207532 |    23098     18 |      839 |      822
475.22/475.38	c  475s |      17 |   320411 |   208332 |    23098     18 |      839 |      822
477.42/477.58	c  477s |      17 |   321241 |   209032 |    23098     18 |      839 |      822
479.62/479.70	c  479s |      17 |   322066 |   209732 |    23098     18 |      839 |      822
481.73/481.88	c  481s |      17 |   322740 |   210332 |    23098     18 |      839 |      822
483.82/484.00	c  483s |      17 |   323277 |   210832 |    23098     18 |      839 |      822
486.32/486.42	c  486s |      17 |   323925 |   211432 |    23098     18 |      839 |      822
488.52/488.63	c  488s |      17 |   324627 |   212032 |    23098     18 |      839 |      822
490.72/490.81	c  490s |      17 |   325281 |   212632 |    23098     18 |      839 |      822
492.72/492.88	c  492s |      17 |   325956 |   213232 |    23098     18 |      839 |      822
494.82/494.98	c  494s |      17 |   326506 |   213732 |    23098     18 |      839 |      822
496.92/497.02	c  496s |      17 |   327061 |   214232 |    23098     18 |      839 |      822
499.22/499.31	c  499s |      17 |   327606 |   214732 |    23098     18 |      839 |      822
501.22/501.31	c  501s |      17 |   328033 |   215132 |    23098     18 |      839 |      822
503.51/503.69	c  503s |      17 |   328724 |   215732 |    23098     18 |      839 |      822
505.92/506.06	c  505s |      17 |   329278 |   216232 |    23098     18 |      839 |      822
508.22/508.37	c  508s |      17 |   329815 |   216732 |    23098     18 |      839 |      822
510.32/510.48	c  510s |      17 |   330380 |   217232 |    23098     18 |      839 |      822
512.52/512.69	c  512s |      17 |   330920 |   217732 |    23098     18 |      839 |      822
514.91/515.03	c  514s |      17 |   331470 |   218232 |    23098     18 |      839 |      822
517.21/517.31	c  517s |      17 |   332015 |   218732 |    23098     18 |      839 |      822
519.61/519.78	c  519s |      17 |   332560 |   219232 |    23098     18 |      839 |      822
522.11/522.20	c  521s |      17 |   333119 |   219732 |    23098     18 |      839 |      822
524.62/524.75	c  524s |      17 |   333664 |   220232 |    23098     19 |      839 |      822
526.92/527.01	c  526s |      17 |   334422 |   220932 |    23098     19 |      839 |      822
528.91/529.06	c  528s |      17 |   334950 |   221432 |    23098     19 |      839 |      822
531.01/531.10	c  530s |      17 |   335641 |   222032 |    23098     19 |      839 |      822
533.31/533.43	c  533s |      17 |   336279 |   222632 |    23098     19 |      839 |      822
535.51/535.63	c  535s |      17 |   336952 |   223232 |    23098     19 |      839 |      822
537.71/537.85	c  537s |      17 |   337586 |   223832 |    23098     19 |      839 |      822
540.01/540.16	c  539s |      17 |   338253 |   224432 |    23098     19 |      839 |      822
542.31/542.44	c  542s |      17 |   338920 |   225032 |    23098     19 |      839 |      822
544.70/544.86	c  544s |      17 |   339576 |   225632 |    23098     19 |      839 |      822
547.10/547.21	c  546s |      17 |   340109 |   226132 |    23098     19 |      839 |      822
549.20/549.34	c  549s |      17 |   340541 |   226532 |    23098     19 |      839 |      822
551.40/551.50	c  551s |      17 |   340968 |   226932 |    23098     19 |      839 |      822
553.40/553.58	c  553s |      17 |   341406 |   227332 |    23098     19 |      839 |      822
555.60/555.72	c  555s |      17 |   341846 |   227732 |    23098     19 |      839 |      822
557.80/557.96	c  557s |      17 |   342277 |   228132 |    23098     19 |      839 |      822
560.00/560.10	c  559s |      17 |   342712 |   228532 |    23098     19 |      839 |      822
562.11/562.24	c  561s |      17 |   343144 |   228932 |    23098     19 |      839 |      822
564.60/564.70	c  564s |      17 |   343697 |   229432 |    23098     19 |      839 |      822
566.90/567.01	c  566s |      17 |   344127 |   229832 |    23098     19 |      839 |      822
568.90/569.04	c  568s |      17 |   344974 |   230432 |    23098     19 |      839 |      822
571.20/571.37	c  571s |      17 |   345941 |   231232 |    23098     19 |      839 |      822
573.50/573.70	c  573s |      17 |   346613 |   231832 |    23098     19 |      839 |      822
575.80/575.95	c  575s |      17 |   347283 |   232432 |    23098     19 |      839 |      822
577.80/577.97	c  577s |      17 |   347827 |   232932 |    23098     19 |      839 |      822
580.50/580.65	c  580s |      17 |   348380 |   233432 |    23098     20 |      839 |      822
582.60/582.72	c  582s |      17 |   349035 |   234032 |    23098     20 |      839 |      822
584.60/584.78	c  584s |      17 |   349854 |   234732 |    23098     20 |      839 |      822
586.90/587.07	c  586s |      17 |   350749 |   235532 |    23098     20 |      839 |      822
589.20/589.39	c  589s |      17 |   351555 |   236232 |    23098     20 |      839 |      822
591.30/591.41	c  591s |      17 |   352266 |   236832 |    23098     20 |      839 |      822
593.29/593.47	c  593s |      17 |   352941 |   237432 |    23098     20 |      839 |      822
595.59/595.79	c  595s |      17 |   353610 |   238032 |    23098     20 |      839 |      822
597.69/597.80	c  597s |      17 |   354144 |   238532 |    23098     20 |      839 |      822
599.79/599.92	c  599s |      17 |   354811 |   239132 |    23098     20 |      839 |      822
601.99/602.19	c  601s |      17 |   355463 |   239732 |    23098     20 |      839 |      822
604.49/604.62	c  604s |      17 |   356143 |   240332 |    23098     20 |      839 |      822
606.70/606.88	c  606s |      17 |   356845 |   240932 |    23098     20 |      839 |      822
609.10/609.29	c  609s |      17 |   357510 |   241532 |    23098     20 |      839 |      822
611.40/611.53	c  611s |      17 |   358198 |   242132 |    23098     20 |      839 |      822
613.40/613.56	c  613s |      17 |   358765 |   242632 |    23098     20 |      839 |      822
615.60/615.75	c  615s |      17 |   359330 |   243132 |    23098     20 |      839 |      822
617.80/617.94	c  617s |      17 |   359899 |   243632 |    23098     20 |      839 |      822
620.10/620.25	c  619s |      17 |   360456 |   244132 |    23098     20 |      839 |      822
622.20/622.30	c  622s |      17 |   360887 |   244532 |    23098     20 |      839 |      822
624.50/624.62	c  624s |      17 |   361453 |   245032 |    23098     20 |      839 |      822
626.60/626.73	c  626s |      17 |   361878 |   245432 |    23098     20 |      839 |      822
629.00/629.14	c  628s |      17 |   362561 |   246032 |    23098     20 |      839 |      822
631.20/631.34	c  631s |      17 |   363094 |   246532 |    23098     20 |      839 |      822
633.50/633.69	c  633s |      17 |   363649 |   247032 |    23098     21 |      839 |      822
635.60/635.72	c  635s |      17 |   364300 |   247632 |    23098     21 |      839 |      822
637.80/637.94	c  637s |      17 |   364956 |   248232 |    23098     21 |      839 |      822
639.79/639.98	c  639s |      17 |   365491 |   248732 |    23098     21 |      839 |      822
641.89/642.02	c  641s |      17 |   366071 |   249232 |    23098     21 |      839 |      822
643.89/644.02	c  643s |      17 |   366617 |   249732 |    23098     21 |      839 |      822
646.19/646.38	c  646s |      17 |   367292 |   250332 |    23098     21 |      839 |      822
648.59/648.71	c  648s |      17 |   367951 |   250932 |    23098     21 |      839 |      822
650.89/651.10	c  650s |      17 |   368591 |   251532 |    23098     21 |      839 |      822
653.19/653.34	c  653s |      17 |   369225 |   252132 |    23098     21 |      839 |      822
655.50/655.61	c  655s |      17 |   369865 |   252732 |    23098     21 |      839 |      822
657.59/657.77	c  657s |      17 |   370432 |   253232 |    23098     21 |      839 |      822
660.00/660.14	c  659s |      17 |   370971 |   253732 |    23098     21 |      839 |      822
662.49/662.61	c  662s |      17 |   371490 |   254232 |    23098     21 |      839 |      822
664.59/664.77	c  664s |      17 |   372039 |   254732 |    23098     21 |      839 |      822
666.99/667.10	c  666s |      17 |   372567 |   255232 |    23098     21 |      839 |      822
669.09/669.28	c  669s |      17 |   373145 |   255732 |    23098     21 |      839 |      822
671.49/671.61	c  671s |      17 |   373677 |   256232 |    23098     21 |      839 |      822
673.68/673.85	c  673s |      17 |   374214 |   256732 |    23098     21 |      839 |      822
675.68/675.86	c  675s |      17 |   374636 |   257132 |    23098     21 |      839 |      822
678.18/678.31	c  678s |      17 |   375160 |   257632 |    23098     21 |      839 |      822
680.48/680.68	c  680s |      17 |   375716 |   258132 |    23098     21 |      839 |      822
682.88/683.00	c  682s |      17 |   376253 |   258632 |    23098     21 |      839 |      822
685.19/685.37	c  685s |      17 |   376797 |   259132 |    23098     21 |      839 |      822
687.39/687.59	c  687s |      17 |   377330 |   259632 |    23098     21 |      839 |      822
689.59/689.77	c  689s |      17 |   377906 |   260132 |    23098     22 |      839 |      822
691.78/691.97	c  691s |      17 |   378717 |   260832 |    23098     22 |      839 |      822
693.88/694.07	c  693s |      17 |   379389 |   261432 |    23098     22 |      839 |      822
695.88/696.08	c  695s |      17 |   380039 |   262032 |    23098     22 |      839 |      822
698.07/698.24	c  697s |      17 |   380865 |   262732 |    23098     22 |      839 |      822
700.37/700.51	c  700s |      17 |   381510 |   263332 |    23098     22 |      839 |      822
702.47/702.64	c  702s |      17 |   382173 |   263932 |    23098     22 |      839 |      822
704.77/704.92	c  704s |      17 |   383032 |   264632 |    23098     22 |      839 |      822
706.87/707.05	c  706s |      17 |   383707 |   265232 |    23098     22 |      839 |      822
708.97/709.18	c  708s |      17 |   384249 |   265732 |    23098     22 |      839 |      822
711.27/711.46	c  711s |      17 |   384917 |   266332 |    23098     22 |      839 |      822
713.77/713.91	c  713s |      17 |   385455 |   266832 |    23098     22 |      839 |      822
715.97/716.12	c  715s |      17 |   386026 |   267332 |    23098     22 |      839 |      822
717.96/718.14	c  717s |      17 |   386574 |   267832 |    23098     22 |      839 |      822
720.16/720.37	c  720s |      17 |   387115 |   268332 |    23098     22 |      839 |      822
722.26/722.45	c  722s |      17 |   387671 |   268832 |    23098     22 |      839 |      822
724.46/724.65	c  724s |      17 |   388209 |   269332 |    23098     22 |      839 |      822
726.86/727.09	c  726s |      17 |   388764 |   269832 |    23098     22 |      839 |      822
729.17/729.35	c  729s |      17 |   389334 |   270332 |    23098     22 |      839 |      822
731.56/731.70	c  731s |      17 |   389873 |   270832 |    23098     22 |      839 |      822
733.86/734.08	c  733s |      17 |   390436 |   271332 |    23098     22 |      839 |      822
736.16/736.32	c  736s |      17 |   391114 |   271932 |    23098     22 |      839 |      822
738.56/738.75	c  738s |      17 |   391682 |   272432 |    23098     22 |      839 |      822
740.56/740.78	c  740s |      17 |   392137 |   272832 |    23098     22 |      839 |      822
742.75/742.99	c  742s |      17 |   392594 |   273232 |    23098     23 |      839 |      822
744.85/745.05	c  744s |      17 |   393265 |   273832 |    23098     23 |      839 |      822
746.86/747.09	c  746s |      17 |   393911 |   274432 |    23098     23 |      839 |      822
749.06/749.23	c  748s |      17 |   394602 |   275032 |    23098     23 |      839 |      822
751.35/751.55	c  751s |      17 |   395406 |   275732 |    23098     23 |      839 |      822
753.54/753.75	c  753s |      17 |   396061 |   276332 |    23098     23 |      839 |      822
755.94/756.14	c  755s |      17 |   396720 |   276932 |    23098     23 |      839 |      822
758.34/758.50	c  758s |      17 |   397370 |   277532 |    23098     23 |      839 |      822
760.74/760.93	c  760s |      17 |   398042 |   278132 |    23098     23 |      839 |      822
762.84/763.08	c  762s |      17 |   398590 |   278632 |    23098     23 |      839 |      822
765.24/765.46	c  765s |      17 |   399250 |   279232 |    23098     23 |      839 |      822
767.44/767.60	c  767s |      17 |   399819 |   279732 |    23098     23 |      839 |      822
769.44/769.63	c  769s |      17 |   400360 |   280232 |    23098     23 |      839 |      822
771.44/771.63	c  771s |      17 |   400796 |   280632 |    23098     23 |      839 |      822
773.64/773.82	c  773s |      17 |   401365 |   281132 |    23098     23 |      839 |      822
775.64/775.87	c  775s |      17 |   401939 |   281632 |    23098     23 |      839 |      822
777.73/777.94	c  777s |      17 |   402382 |   282032 |    23098     23 |      839 |      822
780.13/780.30	c  780s |      17 |   402968 |   282532 |    23098     23 |      839 |      822
782.43/782.68	c  782s |      17 |   403558 |   283032 |    23098     23 |      839 |      822
784.73/784.94	c  784s |      17 |   404116 |   283532 |    23098     23 |      839 |      822
787.03/787.24	c  786s |      17 |   404733 |   284032 |    23098     23 |      839 |      822
789.33/789.54	c  789s |      17 |   405280 |   284532 |    23098     23 |      839 |      822
791.83/792.08	c  791s |      17 |   405810 |   285032 |    23098     23 |      839 |      822
793.92/794.15	c  793s |      17 |   406249 |   285432 |    23098     23 |      839 |      822
795.92/796.17	c  795s |      17 |   406687 |   285832 |    23098     23 |      839 |      822
798.02/798.20	c  797s |      17 |   407148 |   286232 |    23098     23 |      839 |      822
800.22/800.48	c  800s |      17 |   407589 |   286632 |    23098     24 |      839 |      822
802.52/802.74	c  802s |      17 |   408253 |   287232 |    23098     24 |      839 |      822
804.82/805.07	c  804s |      17 |   409053 |   287932 |    23098     24 |      839 |      822
807.12/807.37	c  807s |      17 |   409739 |   288532 |    23098     24 |      839 |      822
809.42/809.63	c  809s |      17 |   410400 |   289132 |    23098     24 |      839 |      822
811.72/811.90	c  811s |      17 |   411056 |   289732 |    23098     24 |      839 |      822
813.92/814.19	c  813s |      17 |   411731 |   290332 |    23098     24 |      839 |      822
816.21/816.43	c  816s |      17 |   412402 |   290932 |    23098     24 |      839 |      822
818.32/818.53	c  818s |      17 |   413098 |   291532 |    23098     24 |      839 |      822
820.42/820.69	c  820s |      17 |   413773 |   292132 |    23098     24 |      839 |      822
822.80/823.00	c  822s |      17 |   414459 |   292732 |    23098     24 |      839 |      822
825.00/825.21	c  824s |      17 |   415136 |   293332 |    23098     24 |      839 |      822
827.40/827.61	c  827s |      17 |   415796 |   293932 |    23098     24 |      839 |      822
829.80/830.05	c  829s |      17 |   416475 |   294532 |    25408     24 |      839 |      822
831.90/832.15	c  831s |      17 |   417029 |   295032 |    25408     24 |      839 |      822
834.00/834.25	c  833s |      17 |   417589 |   295532 |    25408     24 |      839 |      822
836.10/836.35	c  836s |      17 |   418161 |   296032 |    25408     24 |      839 |      822
837.01/837.21	c  836s |      18 |   418412 |   296252 |    25408     24 |      839 |      822
839.01/839.25	c  838s |      18 |   421687 |   297852 |    25408     24 |      839 |      822
841.11/841.38	c  841s |      18 |   426722 |   300152 |    25408     24 |      839 |      822
843.20/843.44	c  843s |      18 |   428661 |   301552 |    25408     24 |      839 |      822
845.20/845.47	c  845s |      18 |   429694 |   302352 |    25408     25 |      839 |      822
847.30/847.58	c  847s |      18 |   430823 |   303352 |    25408     25 |      839 |      822
849.70/849.93	c  849s |      18 |   432211 |   304452 |    25408     25 |      839 |      822
851.90/852.13	c  851s |      18 |   433350 |   305352 |    25408     25 |      839 |      822
854.10/854.33	c  854s |      18 |   434297 |   306152 |    25408     25 |      839 |      822
856.40/856.65	c  856s |      18 |   435193 |   306952 |    25408     25 |      839 |      822
858.50/858.73	c  858s |      18 |   437429 |   307852 |    25408     25 |      839 |      822
860.50/860.78	c  860s |      18 |   445145 |   310352 |    25408     25 |      839 |      822
862.59/862.89	c  862s |      18 |   446945 |   311652 |    25408     25 |      839 |      822
864.69/864.90	c  864s |      18 |   448493 |   312852 |    25408     25 |      839 |      822
866.79/867.04	c  866s |      18 |   450003 |   314052 |    25408     25 |      839 |      822
868.80/869.04	c  868s |      18 |   451245 |   315052 |    25408     25 |      839 |      822
871.00/871.22	c  870s |      18 |   452063 |   315752 |    25408     26 |      839 |      822
873.09/873.35	c  873s |      18 |   453099 |   316652 |    25408     26 |      839 |      822
875.09/875.35	c  875s |      18 |   454178 |   317552 |    25408     26 |      839 |      822
877.19/877.47	c  877s |      18 |   455101 |   318352 |    25408     26 |      839 |      822
879.39/879.62	c  879s |      18 |   456087 |   319152 |    25408     26 |      839 |      822
881.59/881.89	c  881s |      18 |   456998 |   319952 |    25408     26 |      839 |      822
883.69/883.94	c  883s |      18 |   458016 |   320752 |    25408     26 |      839 |      822
885.69/885.95	c  885s |      18 |   459195 |   321652 |    25408     26 |      839 |      822
887.89/888.11	c  887s |      18 |   460307 |   322552 |    25408     26 |      839 |      822
889.99/890.29	c  890s |      18 |   461252 |   323352 |    25408     26 |      839 |      822
892.19/892.45	c  892s |      18 |   462227 |   324152 |    25408     26 |      839 |      822
894.39/894.66	c  894s |      18 |   463025 |   324852 |    25408     26 |      839 |      822
896.59/896.86	c  896s |      18 |   463838 |   325552 |    25408     26 |      839 |      822
898.79/899.06	c  898s |      18 |   464892 |   326352 |    25408     26 |      839 |      822
900.79/901.07	c  900s |      18 |   465708 |   327052 |    25408     26 |      839 |      822
902.99/903.28	c  902s |      18 |   466513 |   327752 |    25408     26 |      839 |      822
905.38/905.66	c  905s |      18 |   467328 |   328452 |    25408     26 |      839 |      822
907.68/907.93	c  907s |      18 |   468118 |   329152 |    25408     26 |      839 |      822
910.18/910.40	c  910s |      18 |   468948 |   329852 |    25408     27 |      839 |      822
912.18/912.40	c  912s |      18 |   469839 |   330652 |    25408     27 |      839 |      822
914.48/914.72	c  914s |      18 |   470764 |   331452 |    25408     27 |      839 |      822
916.68/916.97	c  916s |      18 |   471534 |   332152 |    25408     27 |      839 |      822
918.98/919.21	c  918s |      18 |   472213 |   332752 |    25408     27 |      839 |      822
921.28/921.52	c  921s |      18 |   473005 |   333452 |    25408     27 |      839 |      822
923.48/923.78	c  923s |      18 |   473927 |   334252 |    25408     27 |      839 |      822
925.68/925.93	c  925s |      18 |   474570 |   334852 |    25408     27 |      839 |      822
928.08/928.32	c  928s |      18 |   475382 |   335552 |    25408     27 |      839 |      822
930.18/930.45	c  930s |      18 |   476048 |   336152 |    25408     27 |      839 |      822
932.48/932.72	c  932s |      18 |   476740 |   336752 |    25408     27 |      839 |      822
934.68/934.92	c  934s |      18 |   477448 |   337352 |    25408     27 |      839 |      822
936.88/937.11	c  936s |      18 |   478136 |   337952 |    25408     27 |      839 |      822
939.08/939.30	c  939s |      18 |   478716 |   338452 |    25408     27 |      839 |      822
941.57/941.80	c  941s |      18 |   479403 |   339052 |    25408     27 |      839 |      822
943.77/944.07	c  943s |      18 |   480111 |   339652 |    25408     27 |      839 |      822
946.17/946.43	c  946s |      18 |   480663 |   340152 |    25408     27 |      839 |      822
948.37/948.64	c  948s |      18 |   481216 |   340652 |    25408     27 |      839 |      822
950.57/950.84	c  950s |      18 |   481766 |   341152 |    25408     27 |      839 |      822
952.77/953.07	c  952s |      18 |   482337 |   341652 |    25408     27 |      839 |      822
954.97/955.26	c  954s |      18 |   482891 |   342152 |    25408     27 |      839 |      822
957.07/957.39	c  957s |      18 |   483434 |   342652 |    25408     27 |      839 |      822
959.27/959.55	c  959s |      18 |   483989 |   343152 |    25408     27 |      839 |      822
961.37/961.64	c  961s |      18 |   484563 |   343652 |    25408     27 |      839 |      822
963.37/963.66	c  963s |      18 |   485002 |   344052 |    25408     28 |      839 |      822
965.57/965.82	c  965s |      18 |   485791 |   344752 |    25408     28 |      839 |      822
967.87/968.19	c  967s |      18 |   486603 |   345452 |    25408     28 |      839 |      822
969.97/970.25	c  969s |      18 |   487277 |   346052 |    25408     28 |      839 |      822
972.26/972.58	c  972s |      18 |   488067 |   346752 |    25408     28 |      839 |      822
974.46/974.71	c  974s |      18 |   488749 |   347352 |    25408     28 |      839 |      822
976.66/976.98	c  976s |      18 |   489416 |   347952 |    25408     28 |      839 |      822
979.05/979.37	c  979s |      18 |   490212 |   348652 |    25408     28 |      839 |      822
981.06/981.39	c  981s |      18 |   490891 |   349252 |    25408     28 |      839 |      822
983.55/983.87	c  983s |      18 |   491548 |   349852 |    25408     28 |      839 |      822
985.65/985.90	c  985s |      18 |   492084 |   350352 |    25408     28 |      839 |      822
987.95/988.26	c  987s |      18 |   492735 |   350952 |    25408     28 |      839 |      822
990.25/990.53	c  990s |      18 |   493408 |   351552 |    25408     28 |      839 |      822
992.24/992.58	c  992s |      18 |   493960 |   352052 |    25408     28 |      839 |      822
994.64/994.93	c  994s |      18 |   494616 |   352652 |    25408     28 |      839 |      822
996.94/997.28	c  997s |      18 |   495193 |   353152 |    25408     28 |      839 |      822
999.34/999.63	c  999s |      18 |   495743 |   353652 |    25408     28 |      839 |      822
1001.34/1001.64	c 1001s |      18 |   496298 |   354152 |    25408     28 |      839 |      822
1003.74/1004.01	c 1003s |      18 |   496960 |   354752 |    25408     28 |      839 |      822
1005.84/1006.13	c 1005s |      18 |   497515 |   355252 |    25408     28 |      839 |      822
1007.84/1008.19	c 1007s |      18 |   498066 |   355752 |    25408     28 |      839 |      822
1010.04/1010.35	c 1010s |      18 |   498625 |   356252 |    25408     28 |      839 |      822
1012.33/1012.66	c 1012s |      18 |   499365 |   356852 |    25408     28 |      839 |      822
1014.63/1014.90	c 1014s |      18 |   500039 |   357452 |    25408     28 |      839 |      822
1017.03/1017.36	c 1017s |      18 |   500600 |   357952 |    25408     29 |      839 |      822
1019.13/1019.47	c 1019s |      18 |   501358 |   358652 |    25408     29 |      839 |      822
1021.23/1021.53	c 1021s |      18 |   502142 |   359352 |    25408     29 |      839 |      822
1023.32/1023.68	c 1023s |      18 |   502951 |   360052 |    25408     29 |      839 |      822
1025.52/1025.83	c 1025s |      18 |   503741 |   360752 |    25408     29 |      839 |      822
1027.62/1027.95	c 1027s |      18 |   504414 |   361352 |    25408     29 |      839 |      822
1029.92/1030.28	c 1030s |      18 |   505198 |   362052 |    25408     29 |      839 |      822
1032.22/1032.51	c 1032s |      18 |   505981 |   362752 |    25408     29 |      839 |      822
1034.32/1034.64	c 1034s |      18 |   506643 |   363352 |    25408     29 |      839 |      822
1036.42/1036.75	c 1036s |      18 |   507315 |   363952 |    25408     29 |      839 |      822
1038.62/1038.99	c 1038s |      18 |   507989 |   364552 |    25408     29 |      839 |      822
1040.81/1041.13	c 1040s |      18 |   508523 |   365052 |    25408     29 |      839 |      822
1043.22/1043.54	c 1043s |      18 |   509199 |   365652 |    25408     29 |      839 |      822
1045.22/1045.54	c 1045s |      18 |   509738 |   366152 |    25408     29 |      839 |      822
1047.42/1047.73	c 1047s |      18 |   510427 |   366752 |    25408     29 |      839 |      822
1049.62/1049.92	c 1049s |      18 |   511106 |   367352 |    25408     29 |      839 |      822
1051.82/1052.13	c 1051s |      18 |   511811 |   367952 |    25408     29 |      839 |      822
1053.81/1054.19	c 1053s |      18 |   512506 |   368552 |    25408     29 |      839 |      822
1056.21/1056.53	c 1056s |      18 |   513166 |   369152 |    25408     29 |      839 |      822
1058.31/1058.62	c 1058s |      18 |   513706 |   369652 |    25408     29 |      839 |      822
1060.41/1060.74	c 1060s |      18 |   514251 |   370152 |    25408     29 |      839 |      822
1062.61/1062.93	c 1062s |      18 |   514804 |   370652 |    25408     29 |      839 |      822
1064.61/1064.97	c 1064s |      18 |   515358 |   371152 |    25408     29 |      839 |      822
1067.11/1067.41	c 1067s |      18 |   515884 |   371652 |    25408     29 |      839 |      822
1069.51/1069.86	c 1069s |      18 |   516327 |   372052 |    25408     30 |      839 |      822
1071.71/1072.03	c 1071s |      18 |   516977 |   372652 |    25408     30 |      839 |      822
1074.00/1074.30	c 1074s |      18 |   517643 |   373252 |    25408     30 |      839 |      822
1076.10/1076.42	c 1076s |      18 |   518197 |   373752 |    25408     30 |      839 |      822
1078.40/1078.75	c 1078s |      18 |   518836 |   374352 |    25408     30 |      839 |      822
1080.80/1081.19	c 1080s |      18 |   519477 |   374952 |    25408     30 |      839 |      822
1082.89/1083.23	c 1082s |      18 |   520179 |   375552 |    25408     30 |      839 |      822
1085.09/1085.42	c 1085s |      18 |   520840 |   376152 |    25408     30 |      839 |      822
1087.09/1087.45	c 1087s |      18 |   521381 |   376652 |    25408     30 |      839 |      822
1089.19/1089.59	c 1089s |      18 |   522045 |   377252 |    25408     30 |      839 |      822
1091.59/1091.92	c 1091s |      18 |   522717 |   377852 |    25408     30 |      839 |      822
1093.78/1094.10	c 1093s |      18 |   523368 |   378452 |    25408     30 |      839 |      822
1095.78/1096.15	c 1095s |      18 |   523930 |   378952 |    25408     30 |      839 |      822
1097.98/1098.34	c 1098s |      18 |   524605 |   379552 |    25408     30 |      839 |      822
1099.98/1100.36	c 1100s |      18 |   525171 |   380052 |    25408     30 |      839 |      822
1102.17/1102.55	c 1102s |      18 |   525719 |   380552 |    25408     30 |      839 |      822
1104.47/1104.87	c 1104s |      18 |   526255 |   381052 |    25408     30 |      839 |      822
1106.87/1107.26	c 1106s |      18 |   526802 |   381552 |    25408     30 |      839 |      822
1109.27/1109.61	c 1109s |      18 |   527361 |   382052 |    25408     30 |      839 |      822
1111.57/1111.99	c 1111s |      18 |   527906 |   382552 |    25408     30 |      839 |      822
1113.97/1114.39	c 1114s |      18 |   528446 |   383052 |    25408     30 |      839 |      822
1116.37/1116.74	c 1116s |      18 |   528984 |   383552 |    25408     30 |      839 |      822
1118.86/1119.22	c 1118s |      18 |   529517 |   384052 |    25408     30 |      839 |      822
1121.26/1121.61	c 1121s |      18 |   530088 |   384552 |    25408     30 |      839 |      822
1123.56/1123.91	c 1123s |      18 |   530630 |   385052 |    25408     30 |      839 |      822
1125.56/1125.98	c 1125s |      18 |   531172 |   385552 |    25408     30 |      839 |      822
1127.76/1128.15	c 1127s |      18 |   531616 |   385952 |    25408     30 |      839 |      822
1129.76/1130.19	c 1129s |      18 |   531930 |   386252 |    25408     31 |      839 |      822
1132.05/1132.46	c 1132s |      18 |   532579 |   386852 |    25408     31 |      839 |      822
1134.15/1134.58	c 1134s |      18 |   533224 |   387452 |    25408     31 |      839 |      822
1136.35/1136.78	c 1136s |      18 |   534005 |   388152 |    25408     31 |      839 |      822
1138.55/1138.95	c 1138s |      18 |   534674 |   388752 |    25408     31 |      839 |      822
1140.75/1141.14	c 1140s |      18 |   535339 |   389352 |    25408     31 |      839 |      822
1143.04/1143.43	c 1143s |      18 |   535982 |   389952 |    25408     31 |      839 |      822
1145.24/1145.61	c 1145s |      18 |   536634 |   390552 |    25408     31 |      839 |      822
1147.54/1147.95	c 1147s |      18 |   537290 |   391152 |    25408     31 |      839 |      822
1149.64/1150.03	c 1149s |      18 |   538008 |   391752 |    25408     31 |      839 |      822
1151.74/1152.19	c 1151s |      18 |   538806 |   392452 |    25408     31 |      839 |      822
1154.04/1154.46	c 1154s |      18 |   539607 |   393152 |    25408     31 |      839 |      822
1156.44/1156.81	c 1156s |      18 |   540382 |   393852 |    25408     31 |      839 |      822
1158.43/1158.87	c 1158s |      18 |   541453 |   394552 |    25408     31 |      839 |      822
1160.53/1160.96	c 1160s |      18 |   543659 |   396152 |    25408     31 |      839 |      822
1162.63/1163.04	c 1162s |      18 |   546901 |   397552 |    25408     31 |      839 |      822
1164.73/1165.13	c 1164s |      18 |   548504 |   398852 |    25408     31 |      839 |      822
1166.93/1167.32	c 1167s |      18 |   549555 |   399852 |    25408     31 |      839 |      822
1168.93/1169.34	c 1169s |      18 |   550106 |   400352 |    25408     32 |      839 |      822
1170.92/1171.39	c 1171s |      18 |   552563 |   401452 |    25408     32 |      839 |      822
1172.92/1173.39	c 1173s |      18 |   554580 |   402652 |    25408     32 |      839 |      822
1175.02/1175.42	c 1175s |      18 |   558384 |   404452 |    25408     32 |      839 |      822
1177.12/1177.56	c 1177s |      18 |   560999 |   405852 |    25408     32 |      839 |      822
1179.22/1179.65	c 1179s |      18 |   562750 |   407052 |    25408     32 |      839 |      822
1181.32/1181.77	c 1181s |      18 |   564539 |   408252 |    25408     32 |      839 |      822
1183.41/1183.86	c 1183s |      18 |   566440 |   409452 |    25408     32 |      839 |      822
1185.41/1185.89	c 1185s |      18 |   567976 |   410552 |    25408     32 |      839 |      822
1187.71/1188.13	c 1187s |      18 |   569212 |   411452 |    25408     32 |      839 |      822
1189.71/1190.13	c 1189s |      18 |   570368 |   412252 |    25408     32 |      839 |      822
1191.80/1192.28	c 1192s |      18 |   573561 |   413552 |    25408     32 |      839 |      822
1193.90/1194.33	c 1194s |      18 |   576493 |   414852 |    25408     33 |      839 |      822
1196.00/1196.41	c 1196s |      18 |   579182 |   416352 |    25408     33 |      839 |      822
1198.20/1198.64	c 1198s |      18 |   582919 |   418252 |    25408     33 |      839 |      822
1200.30/1200.72	c 1200s |      18 |   584867 |   419852 |    25408     33 |      839 |      822
1202.40/1202.87	c 1202s |      18 |   586544 |   421352 |    25408     33 |      839 |      822
1204.50/1204.92	c 1204s |      18 |   587849 |   422552 |    25408     33 |      839 |      822
1206.60/1207.06	c 1206s |      18 |   589045 |   423652 |    25408     33 |      839 |      822
1208.80/1209.21	c 1208s |      18 |   590293 |   424752 |    25408     33 |      839 |      822
1210.89/1211.32	c 1211s |      18 |   591245 |   425652 |    25408     33 |      839 |      822
1212.90/1213.39	c 1213s |      18 |   592237 |   426552 |    25408     33 |      839 |      822
1214.99/1215.47	c 1215s |      18 |   593232 |   427452 |    25408     33 |      839 |      822
1217.30/1217.73	c 1217s |      18 |   594068 |   428252 |    25408     33 |      839 |      822
1219.29/1219.77	c 1219s |      18 |   594693 |   428852 |    25408     34 |      839 |      822
1221.29/1221.78	c 1221s |      18 |   595554 |   429652 |    25408     34 |      839 |      822
1223.38/1223.82	c 1223s |      18 |   596291 |   430352 |    25408     34 |      839 |      822
1225.58/1226.03	c 1225s |      18 |   597026 |   431052 |    25408     34 |      839 |      822
1227.78/1228.29	c 1228s |      18 |   597922 |   431852 |    25408     34 |      839 |      822
1230.08/1230.52	c 1230s |      18 |   598805 |   432652 |    25408     34 |      839 |      822
1232.18/1232.66	c 1232s |      18 |   599427 |   433252 |    25408     34 |      839 |      822
1234.28/1234.73	c 1234s |      18 |   600050 |   433852 |    25408     34 |      839 |      822
1236.38/1236.86	c 1236s |      18 |   600675 |   434452 |    25408     34 |      839 |      822
1238.68/1239.17	c 1238s |      18 |   601351 |   435052 |    25408     34 |      839 |      822
1241.08/1241.53	c 1241s |      18 |   602136 |   435752 |    25408     34 |      839 |      822
1243.27/1243.77	c 1243s |      18 |   602762 |   436352 |    25408     34 |      839 |      822
1245.27/1245.78	c 1245s |      18 |   603285 |   436852 |    25408     34 |      839 |      822
1247.57/1248.09	c 1247s |      18 |   603905 |   437452 |    25408     34 |      839 |      822
1249.87/1250.37	c 1250s |      18 |   604539 |   438052 |    25408     34 |      839 |      822
1251.96/1252.40	c 1252s |      18 |   605248 |   438652 |    25408     34 |      839 |      822
1254.06/1254.56	c 1254s |      18 |   606030 |   439352 |    25408     34 |      839 |      822
1256.26/1256.74	c 1256s |      18 |   606691 |   439952 |    25408     34 |      839 |      822
1258.46/1258.96	c 1258s |      18 |   607347 |   440552 |    25408     34 |      839 |      822
1260.56/1261.00	c 1260s |      18 |   608012 |   441152 |    25408     34 |      839 |      822
1262.66/1263.16	c 1262s |      18 |   608679 |   441752 |    27949     34 |      839 |      822
1264.86/1265.38	c 1265s |      18 |   609357 |   442352 |    27949     34 |      839 |      822
1267.16/1267.66	c 1267s |      18 |   610082 |   442952 |    27949     34 |      839 |      822
1269.46/1269.93	c 1269s |      18 |   610724 |   443552 |    27949     34 |      839 |      822
1271.56/1272.02	c 1271s |      18 |   611275 |   444052 |    27949     34 |      839 |      822
1273.36/1273.83	c 1273s |      19 |   611754 |   444482 |    27949     34 |      839 |      822
1275.45/1275.94	c 1275s |      19 |   614258 |   445182 |    27949     35 |      839 |      822
1277.55/1278.03	c 1277s |      19 |   616354 |   446682 |    27949     35 |      839 |      822
1279.55/1280.04	c 1279s |      19 |   619939 |   448282 |    27949     35 |      839 |      822
1281.65/1282.19	c 1281s |      19 |   621648 |   449482 |    27949     35 |      839 |      822
1283.75/1284.27	c 1283s |      19 |   622958 |   450482 |    27949     35 |      839 |      822
1285.75/1286.28	c 1286s |      19 |   624285 |   451482 |    27949     35 |      839 |      822
1288.05/1288.50	c 1288s |      19 |   625143 |   452182 |    27949     35 |      839 |      822
1290.15/1290.67	c 1290s |      19 |   626339 |   453082 |    27949     35 |      839 |      822
1292.24/1292.75	c 1292s |      19 |   627459 |   453982 |    27949     35 |      839 |      822
1294.54/1295.03	c 1294s |      19 |   628437 |   454782 |    27949     35 |      839 |      822
1296.55/1297.05	c 1296s |      19 |   629323 |   455482 |    27949     35 |      839 |      822
1298.84/1299.31	c 1299s |      19 |   630310 |   456282 |    27949     35 |      839 |      822
1301.14/1301.69	c 1301s |      19 |   631088 |   456882 |    27949     35 |      839 |      822
1303.43/1303.93	c 1303s |      19 |   631812 |   457482 |    27949     35 |      839 |      822
1305.73/1306.21	c 1305s |      19 |   632672 |   458182 |    27949     35 |      839 |      822
1308.03/1308.58	c 1308s |      19 |   633396 |   458782 |    27949     35 |      839 |      822
1310.33/1310.81	c 1310s |      19 |   634090 |   459382 |    27949     35 |      839 |      822
1312.63/1313.10	c 1312s |      19 |   634868 |   460082 |    27949     35 |      839 |      822
1314.73/1315.21	c 1314s |      19 |   635513 |   460582 |    27949     36 |      839 |      822
1317.03/1317.54	c 1317s |      19 |   636120 |   461082 |    27949     36 |      839 |      822
1319.13/1319.64	c 1319s |      19 |   637357 |   461882 |    27949     36 |      839 |      822
1321.43/1321.91	c 1321s |      19 |   638276 |   462582 |    27949     36 |      839 |      822
1323.83/1324.30	c 1324s |      19 |   639209 |   463282 |    27949     36 |      839 |      822
1325.92/1326.46	c 1326s |      19 |   639892 |   463882 |    27949     36 |      839 |      822
1328.22/1328.76	c 1328s |      19 |   640583 |   464482 |    27949     36 |      839 |      822
1330.53/1331.02	c 1330s |      19 |   641514 |   465182 |    27949     36 |      839 |      822
1332.62/1333.11	c 1332s |      19 |   642290 |   465782 |    27949     36 |      839 |      822
1334.72/1335.22	c 1334s |      19 |   643027 |   466382 |    27949     36 |      839 |      822
1336.92/1337.45	c 1337s |      19 |   643777 |   466982 |    27949     36 |      839 |      822
1339.22/1339.75	c 1339s |      19 |   644352 |   467482 |    27949     36 |      839 |      822
1341.22/1341.78	c 1341s |      19 |   644970 |   467982 |    27949     36 |      839 |      822
1343.32/1343.83	c 1343s |      19 |   645624 |   468482 |    27949     36 |      839 |      822
1345.42/1345.98	c 1345s |      19 |   646084 |   468882 |    27949     36 |      839 |      822
1347.62/1348.11	c 1347s |      19 |   646519 |   469282 |    27949     36 |      839 |      822
1350.02/1350.53	c 1350s |      19 |   646981 |   469682 |    27949     36 |      839 |      822
1352.22/1352.76	c 1352s |      19 |   647586 |   470182 |    27949     36 |      839 |      822
1354.52/1355.06	c 1354s |      19 |   648182 |   470682 |    27949     36 |      839 |      822
1356.82/1357.32	c 1357s |      19 |   648809 |   471182 |    27949     36 |      839 |      822
1358.82/1359.35	c 1359s |      19 |   649257 |   471582 |    27949     36 |      839 |      822
1361.12/1361.69	c 1361s |      19 |   649834 |   472082 |    27949     36 |      839 |      822
1363.52/1364.06	c 1363s |      19 |   650465 |   472582 |    27949     36 |      839 |      822
1366.02/1366.54	c 1366s |      19 |   651035 |   473082 |    27949     36 |      839 |      822
1368.12/1368.67	c 1368s |      19 |   651498 |   473482 |    27949     36 |      839 |      822
1370.12/1370.67	c 1370s |      19 |   651968 |   473882 |    27949     36 |      839 |      822
1372.32/1372.87	c 1372s |      19 |   652442 |   474282 |    27949     36 |      839 |      822
1374.42/1374.93	c 1374s |      19 |   652884 |   474682 |    27949     36 |      839 |      822
1376.62/1377.16	c 1376s |      19 |   653353 |   475082 |    27949     36 |      839 |      822
1378.82/1379.34	c 1379s |      19 |   653835 |   475482 |    27949     36 |      839 |      822
1381.13/1381.66	c 1381s |      19 |   654292 |   475882 |    27949     36 |      839 |      822
1383.52/1384.09	c 1383s |      19 |   654769 |   476282 |    27949     37 |      839 |      822
1385.72/1386.24	c 1385s |      19 |   655346 |   476782 |    27949     37 |      839 |      822
1387.83/1388.39	c 1388s |      19 |   655956 |   477282 |    27949     37 |      839 |      822
1390.03/1390.56	c 1390s |      19 |   656553 |   477782 |    27949     37 |      839 |      822
1392.13/1392.68	c 1392s |      19 |   657303 |   478382 |    27949     37 |      839 |      822
1394.62/1395.16	c 1394s |      19 |   658006 |   478982 |    27949     37 |      839 |      822
1396.92/1397.43	c 1397s |      19 |   658553 |   479482 |    27949     37 |      839 |      822
1399.12/1399.69	c 1399s |      19 |   659274 |   480082 |    27949     37 |      839 |      822
1401.42/1401.97	c 1401s |      19 |   659967 |   480682 |    27949     37 |      839 |      822
1403.62/1404.16	c 1403s |      19 |   660584 |   481182 |    27949     37 |      839 |      822
1405.82/1406.31	c 1406s |      19 |   661147 |   481682 |    27949     37 |      839 |      822
1407.82/1408.35	c 1408s |      19 |   661470 |   481982 |    27949     37 |      839 |      822
1410.12/1410.69	c 1410s |      19 |   661788 |   482282 |    27949     37 |      839 |      822
1412.32/1412.85	c 1412s |      19 |   662134 |   482582 |    27949     37 |      839 |      822
1414.42/1414.99	c 1414s |      19 |   662453 |   482882 |    27949     37 |      839 |      822
1416.51/1417.05	c 1416s |      19 |   662783 |   483182 |    27949     37 |      839 |      822
1418.62/1419.16	c 1418s |      19 |   663124 |   483482 |    27949     37 |      839 |      822
1420.91/1421.48	c 1421s |      19 |   663455 |   483782 |    27949     37 |      839 |      822
1423.31/1423.84	c 1423s |      19 |   663891 |   484182 |    27949     37 |      839 |      822
1426.01/1426.50	c 1426s |      19 |   664331 |   484582 |    27949     37 |      839 |      822
1428.11/1428.68	c 1428s |      19 |   664664 |   484882 |    27949     37 |      839 |      822
1430.51/1431.04	c 1430s |      19 |   664988 |   485182 |    27949     37 |      839 |      822
1433.01/1433.57	c 1433s |      19 |   665438 |   485582 |    27949     37 |      839 |      822
1435.21/1435.74	c 1435s |      19 |   665773 |   485882 |    27949     37 |      839 |      822
1437.32/1437.88	c 1437s |      19 |   666394 |   486282 |    27949     37 |      839 |      822
1439.52/1440.02	c 1439s |      19 |   667420 |   486982 |    27949     37 |      839 |      822
1441.62/1442.20	c 1441s |      19 |   668472 |   487782 |    27949     37 |      839 |      822
1443.92/1444.45	c 1444s |      19 |   669177 |   488382 |    27949     37 |      839 |      822
1446.12/1446.69	c 1446s |      19 |   670054 |   489082 |    27949     37 |      839 |      822
1448.51/1449.09	c 1448s |      19 |   670786 |   489682 |    27949     37 |      839 |      822
1450.71/1451.21	c 1450s |      19 |   671711 |   490282 |    27949     37 |      839 |      822
1452.81/1453.37	c 1453s |      19 |   672736 |   490982 |    27949     37 |      839 |      822
1455.11/1455.68	c 1455s |      19 |   673360 |   491482 |    27949     37 |      839 |      822
1457.81/1458.39	c 1458s |      19 |   674031 |   491982 |    27949     38 |      839 |      822
1459.91/1460.45	c 1460s |      19 |   674948 |   492682 |    27949     38 |      839 |      822
1462.11/1462.68	c 1462s |      19 |   675660 |   493282 |    27949     38 |      839 |      822
1464.21/1464.78	c 1464s |      19 |   676218 |   493782 |    27949     38 |      839 |      822
1466.41/1466.92	c 1466s |      19 |   676966 |   494382 |    27949     38 |      839 |      822
1468.41/1468.98	c 1468s |      19 |   677679 |   494982 |    27949     38 |      839 |      822
1470.51/1471.08	c 1470s |      19 |   678455 |   495582 |    27949     38 |      839 |      822
1472.61/1473.11	c 1472s |      19 |   679061 |   496082 |    27949     38 |      839 |      822
1474.61/1475.16	c 1474s |      19 |   679657 |   496582 |    27949     38 |      839 |      822
1476.70/1477.30	c 1477s |      19 |   680243 |   497082 |    27949     38 |      839 |      822
1479.01/1479.53	c 1479s |      19 |   680810 |   497582 |    27949     38 |      839 |      822
1481.21/1481.73	c 1481s |      19 |   681375 |   498082 |    27949     38 |      839 |      822
1483.20/1483.76	c 1483s |      19 |   681822 |   498482 |    27949     38 |      839 |      822
1485.30/1485.88	c 1485s |      19 |   682433 |   498982 |    27949     38 |      839 |      822
1487.50/1488.09	c 1487s |      19 |   682899 |   499382 |    27949     38 |      839 |      822
1489.60/1490.13	c 1489s |      19 |   683490 |   499882 |    27949     38 |      839 |      822
1492.00/1492.51	c 1492s |      19 |   684053 |   500382 |    27949     38 |      839 |      822
1494.00/1494.59	c 1494s |      19 |   684670 |   500882 |    27949     38 |      839 |      822
1496.20/1496.72	c 1496s |      19 |   685262 |   501382 |    27949     38 |      839 |      822
1498.30/1498.88	c 1498s |      19 |   685839 |   501882 |    27949     38 |      839 |      822
1500.60/1501.16	c 1500s |      19 |   686502 |   502482 |    27949     38 |      839 |      822
1503.10/1503.60	c 1503s |      19 |   687067 |   502982 |    27949     38 |      839 |      822
1505.20/1505.75	c 1505s |      19 |   687630 |   503482 |    27949     38 |      839 |      822
1507.50/1508.08	c 1507s |      19 |   688339 |   504082 |    27949     38 |      839 |      822
1509.59/1510.14	c 1509s |      19 |   688882 |   504582 |    27949     38 |      839 |      822
1511.79/1512.37	c 1512s |      19 |   689462 |   505082 |    27949     38 |      839 |      822
1513.79/1514.37	c 1514s |      19 |   689913 |   505482 |    27949     38 |      839 |      822
1516.09/1516.67	c 1516s |      19 |   690630 |   506082 |    27949     38 |      839 |      822
1518.29/1518.82	c 1518s |      19 |   691088 |   506482 |    27949     38 |      839 |      822
1520.59/1521.15	c 1520s |      19 |   691550 |   506882 |    27949     38 |      839 |      822
1522.59/1523.17	c 1522s |      19 |   691885 |   507182 |    27949     38 |      839 |      822
1524.89/1525.45	c 1525s |      19 |   692269 |   507482 |    27949     39 |      839 |      822
1527.29/1527.82	c 1527s |      19 |   692960 |   508082 |    27949     39 |      839 |      822
1529.39/1529.98	c 1529s |      19 |   693538 |   508582 |    27949     39 |      839 |      822
1531.49/1532.08	c 1531s |      19 |   694119 |   509082 |    27949     39 |      839 |      822
1533.59/1534.11	c 1533s |      19 |   694581 |   509482 |    27949     39 |      839 |      822
1536.10/1536.60	c 1536s |      19 |   695012 |   509882 |    27949     39 |      839 |      822
1538.40/1538.98	c 1538s |      19 |   695594 |   510382 |    27949     39 |      839 |      822
1540.50/1541.04	c 1540s |      19 |   696173 |   510882 |    27949     39 |      839 |      822
1542.50/1543.08	c 1542s |      19 |   696650 |   511282 |    27949     39 |      839 |      822
1544.90/1545.45	c 1545s |      19 |   697258 |   511782 |    27949     39 |      839 |      822
1547.00/1547.55	c 1547s |      19 |   697700 |   512182 |    27949     39 |      839 |      822
1549.00/1549.56	c 1549s |      19 |   698156 |   512582 |    27949     39 |      839 |      822
1551.70/1552.21	c 1551s |      19 |   698720 |   513082 |    27949     39 |      839 |      822
1553.80/1554.32	c 1554s |      19 |   699289 |   513582 |    27949     39 |      839 |      822
1556.00/1556.55	c 1556s |      19 |   699872 |   514082 |    27949     39 |      839 |      822
1558.30/1558.87	c 1558s |      19 |   700331 |   514482 |    27949     39 |      839 |      822
1560.69/1561.21	c 1560s |      19 |   700799 |   514882 |    27949     39 |      839 |      822
1562.89/1563.41	c 1563s |      19 |   701243 |   515282 |    27949     39 |      839 |      822
1565.19/1565.75	c 1565s |      19 |   701601 |   515582 |    27949     39 |      839 |      822
1567.19/1567.79	c 1567s |      19 |   701946 |   515882 |    27949     39 |      839 |      822
1569.29/1569.83	c 1569s |      19 |   702281 |   516182 |    27949     39 |      839 |      822
1571.69/1572.25	c 1571s |      19 |   702724 |   516582 |    27949     39 |      839 |      822
1573.89/1574.42	c 1574s |      19 |   703198 |   516982 |    27949     39 |      839 |      822
1576.19/1576.77	c 1576s |      19 |   703805 |   517482 |    27949     39 |      839 |      822
1578.49/1579.04	c 1578s |      19 |   704397 |   517982 |    27949     39 |      839 |      822
1580.59/1581.19	c 1580s |      19 |   704858 |   518382 |    27949     39 |      839 |      822
1582.69/1583.23	c 1582s |      19 |   705323 |   518782 |    27949     39 |      839 |      822
1584.69/1585.29	c 1585s |      19 |   705667 |   519082 |    27949     39 |      839 |      822
1586.79/1587.38	c 1587s |      19 |   706130 |   519482 |    27949     39 |      839 |      822
1588.88/1589.48	c 1589s |      19 |   706620 |   519882 |    27949     39 |      839 |      822
1591.08/1591.61	c 1591s |      19 |   707073 |   520282 |    27949     39 |      839 |      822
1593.28/1593.83	c 1593s |      19 |   707553 |   520682 |    27949     39 |      839 |      822
1595.38/1595.98	c 1595s |      19 |   708051 |   521082 |    27949     39 |      839 |      822
1597.48/1598.04	c 1597s |      19 |   708618 |   521582 |    27949     39 |      839 |      822
1599.79/1600.30	c 1600s |      19 |   709242 |   522082 |    27949     39 |      839 |      822
1601.89/1602.45	c 1602s |      19 |   709782 |   522482 |    27949     39 |      839 |      822
1605.19/1605.71	c 1605s |      19 |   710535 |   522982 |    27949     40 |      839 |      822
1607.29/1607.83	c 1607s |      19 |   711315 |   523582 |    27949     40 |      839 |      822
1609.49/1610.08	c 1609s |      19 |   712005 |   524182 |    27949     40 |      839 |      822
1611.89/1612.42	c 1612s |      19 |   712574 |   524682 |    27949     40 |      839 |      822
1614.29/1614.87	c 1614s |      19 |   713182 |   525182 |    27949     40 |      839 |      822
1616.39/1616.91	c 1616s |      19 |   713654 |   525582 |    27949     40 |      839 |      822
1618.59/1619.14	c 1618s |      19 |   714868 |   526282 |    27949     40 |      839 |      822
1620.78/1621.38	c 1621s |      19 |   715821 |   526982 |    27949     40 |      839 |      822
1622.98/1623.59	c 1623s |      19 |   716557 |   527582 |    27949     40 |      839 |      822
1625.08/1625.69	c 1625s |      19 |   717298 |   528182 |    27949     40 |      839 |      822
1627.38/1627.90	c 1627s |      19 |   718336 |   528882 |    27949     40 |      839 |      822
1629.69/1630.24	c 1629s |      19 |   719267 |   529582 |    27949     40 |      839 |      822
1631.89/1632.43	c 1632s |      19 |   720134 |   530182 |    27949     40 |      839 |      822
1633.98/1634.56	c 1634s |      19 |   721282 |   530882 |    27949     40 |      839 |      822
1636.08/1636.67	c 1636s |      19 |   722132 |   531482 |    27949     40 |      839 |      822
1638.08/1638.68	c 1638s |      19 |   722984 |   532182 |    27949     40 |      839 |      822
1640.38/1640.90	c 1640s |      19 |   723699 |   532782 |    27949     40 |      839 |      822
1642.38/1642.92	c 1642s |      19 |   724273 |   533282 |    27949     40 |      839 |      822
1644.48/1645.06	c 1644s |      19 |   725022 |   533882 |    27949     40 |      839 |      822
1646.88/1647.46	c 1647s |      19 |   725812 |   534482 |    27949     40 |      839 |      822
1648.98/1649.51	c 1649s |      19 |   726468 |   534982 |    27949     40 |      839 |      822
1650.98/1651.55	c 1651s |      19 |   727108 |   535482 |    27949     40 |      839 |      822
1653.08/1653.68	c 1653s |      19 |   727713 |   535982 |    27949     40 |      839 |      822
1655.38/1655.92	c 1655s |      19 |   728340 |   536482 |    27949     40 |      839 |      822
1657.58/1658.13	c 1657s |      19 |   729252 |   537082 |    27949     40 |      839 |      822
1659.78/1660.36	c 1660s |      19 |   730092 |   537682 |    27949     40 |      839 |      822
1661.88/1662.40	c 1662s |      19 |   730848 |   538182 |    27949     40 |      839 |      822
1664.28/1664.84	c 1664s |      19 |   731337 |   538582 |    27949     41 |      839 |      822
1666.48/1667.04	c 1666s |      19 |   732144 |   539282 |    27949     41 |      839 |      822
1668.58/1669.19	c 1668s |      19 |   732860 |   539882 |    27949     41 |      839 |      822
1670.68/1671.23	c 1670s |      19 |   733439 |   540382 |    27949     41 |      839 |      822
1672.87/1673.41	c 1673s |      19 |   734008 |   540882 |    27949     41 |      839 |      822
1674.97/1675.55	c 1675s |      19 |   734735 |   541482 |    27949     41 |      839 |      822
1677.17/1677.73	c 1677s |      19 |   735328 |   541982 |    27949     41 |      839 |      822
1679.28/1679.87	c 1679s |      19 |   735916 |   542482 |    27949     41 |      839 |      822
1681.77/1682.34	c 1682s |      19 |   736496 |   542982 |    27949     41 |      839 |      822
1683.97/1684.56	c 1684s |      19 |   737096 |   543482 |    27949     41 |      839 |      822
1686.07/1686.60	c 1686s |      19 |   737717 |   543982 |    27949     41 |      839 |      822
1688.08/1688.65	c 1688s |      19 |   738325 |   544482 |    27949     41 |      839 |      822
1690.28/1690.89	c 1690s |      19 |   738877 |   544982 |    27949     41 |      839 |      822
1692.38/1692.94	c 1692s |      19 |   739332 |   545382 |    27949     41 |      839 |      822
1694.58/1695.11	c 1694s |      19 |   739763 |   545782 |    27949     41 |      839 |      822
1696.78/1697.38	c 1697s |      19 |   740218 |   546182 |    27949     41 |      839 |      822
1698.87/1699.42	c 1699s |      19 |   740669 |   546582 |    27949     41 |      839 |      822
1701.28/1701.86	c 1701s |      19 |   741136 |   546982 |    27949     41 |      839 |      822
1703.87/1704.42	c 1704s |      19 |   741758 |   547482 |    27949     41 |      839 |      822
1706.27/1706.83	c 1706s |      19 |   742222 |   547882 |    27949     41 |      839 |      822
1708.37/1708.90	c 1708s |      19 |   742561 |   548182 |    27949     41 |      839 |      822
1710.87/1711.47	c 1711s |      19 |   743006 |   548582 |    27949     41 |      839 |      822
1713.27/1713.82	c 1713s |      19 |   743515 |   548982 |    27949     41 |      839 |      822
1715.47/1716.01	c 1715s |      19 |   744135 |   549482 |    27949     41 |      839 |      822
1717.57/1718.11	c 1717s |      19 |   744549 |   549882 |    27949     41 |      839 |      822
1720.07/1720.62	c 1720s |      19 |   745167 |   550382 |    27949     41 |      839 |      822
1722.17/1722.73	c 1722s |      19 |   745649 |   550782 |    27949     41 |      839 |      822
1724.47/1725.03	c 1724s |      19 |   746095 |   551182 |    27949     41 |      839 |      822
1726.47/1727.03	c 1726s |      19 |   746558 |   551582 |    27949     41 |      839 |      822
1728.57/1729.19	c 1728s |      19 |   747034 |   551982 |    27949     41 |      839 |      822
1731.26/1731.82	c 1731s |      19 |   747496 |   552382 |    27949     41 |      839 |      822
1733.86/1734.40	c 1734s |      19 |   747953 |   552782 |    27949     41 |      839 |      822
1736.16/1736.72	c 1736s |      19 |   748404 |   553182 |    27949     41 |      839 |      822
1738.26/1738.80	c 1738s |      19 |   748884 |   553582 |    27949     41 |      839 |      822
1740.26/1740.86	c 1740s |      19 |   749543 |   554082 |    27949     41 |      839 |      822
1742.46/1743.06	c 1742s |      19 |   750077 |   554482 |    27949     42 |      839 |      822
1744.86/1745.40	c 1745s |      19 |   750724 |   554982 |    27949     42 |      839 |      822
1746.96/1747.58	c 1747s |      19 |   751451 |   555582 |    27949     42 |      839 |      822
1749.06/1749.62	c 1749s |      19 |   752165 |   556182 |    27949     42 |      839 |      822
1751.26/1751.83	c 1751s |      19 |   752878 |   556782 |    27949     42 |      839 |      822
1753.46/1754.02	c 1753s |      19 |   753482 |   557282 |    27949     42 |      839 |      822
1755.66/1756.20	c 1755s |      19 |   754096 |   557782 |    27949     42 |      839 |      822
1757.76/1758.30	c 1758s |      19 |   754710 |   558282 |    27949     42 |      839 |      822
1759.96/1760.55	c 1760s |      19 |   755312 |   558782 |    27949     42 |      839 |      822
1762.26/1762.84	c 1762s |      19 |   755916 |   559282 |    27949     42 |      839 |      822
1764.36/1764.95	c 1764s |      19 |   756401 |   559682 |    27949     42 |      839 |      822
1766.46/1767.03	c 1766s |      19 |   756858 |   560082 |    27949     42 |      839 |      822
1768.76/1769.33	c 1769s |      19 |   757458 |   560582 |    27949     42 |      839 |      822
1770.76/1771.38	c 1771s |      19 |   757933 |   560982 |    27949     42 |      839 |      822
1772.86/1773.41	c 1773s |      19 |   758425 |   561382 |    27949     42 |      839 |      822
1774.96/1775.57	c 1775s |      19 |   758897 |   561782 |    27949     42 |      839 |      822
1777.46/1778.09	c 1777s |      19 |   759600 |   562382 |    27949     42 |      839 |      822
1779.66/1780.23	c 1779s |      19 |   760089 |   562782 |    27949     42 |      839 |      822
1781.86/1782.44	c 1782s |      19 |   760569 |   563182 |    27949     42 |      839 |      822
1784.36/1784.91	c 1784s |      19 |   761183 |   563682 |    27949     42 |      839 |      822
1786.86/1787.40	c 1787s |      19 |   761633 |   564082 |    27949     42 |      839 |      822
1788.85/1789.40	c 1789s |      19 |   762217 |   564482 |    27949     42 |      839 |      822
1790.95/1791.52	c 1791s |      19 |   762892 |   564982 |    27949     42 |      839 |      822
1793.45/1794.00	c 1793s |      19 |   763515 |   565482 |    27949     42 |      839 |      822
1795.65/1796.25	c 1795s |      19 |   764445 |   566082 |    27949     42 |      839 |      822
1797.65/1798.28	c 1798s |      19 |   765547 |   566782 |    27949     42 |      839 |      822

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

pid=24924
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.27 2.26 2.19 3/170 24927
/proc/meminfo: memFree=29860692/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=704956 CPUtime=0 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 2622 0 0 0 0 0 0 0 20 0 4 0 31148596 721874944 3494 33554432000 4194304 16246674 140737329183920 140737329183344 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 176751 3504 441 2943 0 173645 0
[pid=24927/tid=24928] ppid=24924 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 739700736 3561 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=726460 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 743895040 3577 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31148596 748089344 3593 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100216 s]
/proc/loadavg: 2.27 2.26 2.19 3/170 24927
/proc/meminfo: memFree=29860692/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 28466 0 0 0 4 5 0 0 20 0 4 0 31148596 1249447936 29276 33554432000 4194304 16246674 140737329183920 140737329183232 4220936 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 305041 29276 801 2943 0 301935 0
[pid=24927/tid=24928] ppid=24924 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1249447936 29276 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1249447936 29276 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1249447936 29276 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200523 s]
/proc/loadavg: 2.27 2.26 2.19 3/170 24927
/proc/meminfo: memFree=29860692/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 48673 0 0 0 11 8 0 0 20 0 4 0 31148596 1332285440 49483 33554432000 4194304 16246674 140737329183920 140737329183232 13752941 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 325265 49483 844 2943 0 322159 0
[pid=24927/tid=24928] ppid=24924 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1332285440 49483 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1332285440 49483 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1332285440 49483 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.30047 s]
/proc/loadavg: 2.27 2.26 2.19 3/170 24927
/proc/meminfo: memFree=29860692/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 54586 0 0 0 20 9 0 0 20 0 4 0 31148596 1332285440 55396 33554432000 4194304 16246674 140737329183920 140737329183232 5831697 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 325265 55401 884 2943 0 322159 0
[pid=24927/tid=24928] ppid=24924 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1332285440 55404 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1332285440 55406 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1332285440 55409 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700394 s]
/proc/loadavg: 2.27 2.26 2.19 3/170 24927
/proc/meminfo: memFree=29860692/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 103968 0 0 0 53 16 0 0 20 0 4 0 31148596 1332285440 104778 33554432000 4194304 16246674 140737329183920 140737329183232 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 325265 104785 884 2943 0 322159 0
[pid=24927/tid=24928] ppid=24924 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1332285440 104789 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1332285440 104792 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1332285440 104794 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.5004 s]
/proc/loadavg: 2.27 2.26 2.19 3/183 24951
/proc/meminfo: memFree=28706636/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 209862 0 0 0 118 31 0 0 20 0 4 0 31148596 1332285440 210672 33554432000 4194304 16246674 140737329183920 140737329165824 5675010 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 325265 210677 884 2943 0 322159 0
[pid=24927/tid=24928] ppid=24924 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1332285440 210680 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1332285440 210683 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1332285440 210686 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10039 s]
/proc/loadavg: 2.41 2.29 2.20 3/183 24951
/proc/meminfo: memFree=27909068/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 269331 0 0 0 269 40 0 0 20 0 4 0 31148596 1344868352 270141 33554432000 4194304 16246674 140737329183920 140737329165824 13191694 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 328337 270141 891 2943 0 325231 0
[pid=24927/tid=24928] ppid=24924 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1344868352 270141 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1344868352 270141 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1344868352 270141 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30041 s]
/proc/loadavg: 2.41 2.29 2.20 3/183 24951
/proc/meminfo: memFree=27703388/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 269522 0 0 0 589 40 0 0 20 0 4 0 31148596 1344868352 270332 33554432000 4194304 16246674 140737329183920 140737329165824 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 328337 270332 891 2943 0 325231 0
[pid=24927/tid=24928] ppid=24924 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1344868352 270332 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1344868352 270332 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1344868352 270332 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.57 2.33 2.22 4/182 24951
/proc/meminfo: memFree=27703196/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 269522 0 0 0 1229 40 0 0 20 0 4 0 31148596 1344868352 270332 33554432000 4194304 16246674 140737329183920 140737329165824 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 328337 270332 891 2943 0 325231 0
[pid=24927/tid=24928] ppid=24924 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1344868352 270332 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1344868352 270332 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1344868352 270332 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.48 2.32 2.21 3/183 24952
/proc/meminfo: memFree=27704804/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 269523 0 0 0 2509 40 0 0 20 0 4 0 31148596 1344868352 270333 33554432000 4194304 16246674 140737329183920 140737329165824 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 328337 270333 891 2943 0 325231 0
[pid=24927/tid=24928] ppid=24924 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1344868352 270333 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1344868352 270333 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1344868352 270333 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.52 2.34 2.22 3/183 24952
/proc/meminfo: memFree=27704924/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 269524 0 0 0 5068 40 0 0 20 0 4 0 31148596 1344868352 270334 33554432000 4194304 16246674 140737329183920 140737329165824 13752941 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 328337 270334 892 2943 0 325231 0
[pid=24927/tid=24928] ppid=24924 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1344868352 270334 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1344868352 270334 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1344868352 270334 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.26 2.30 2.21 3/183 24953
/proc/meminfo: memFree=27691584/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1326660 CPUtime=102.29 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 272738 0 0 0 10188 41 0 0 20 0 4 0 31148596 1358499840 273548 33554432000 4194304 16246674 140737329183920 140737329165824 6012041 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 331665 273548 892 2943 0 328559 0
[pid=24927/tid=24928] ppid=24924 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1358499840 273548 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1358499840 273548 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1358499840 273548 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1326660


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

/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280478 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1354308

[startup+1302.3 s]
/proc/loadavg: 2.31 2.26 2.19 3/183 25006
/proc/meminfo: memFree=27643228/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1354308 CPUtime=1301.84 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 280181 0 0 0 130136 48 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140737329165824 12415800 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 338577 280577 892 2943 0 335471 0
[pid=24927/tid=24928] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1354308

[startup+1362.3 s]
/proc/loadavg: 2.25 2.25 2.19 3/183 25007
/proc/meminfo: memFree=27642352/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1354308 CPUtime=1361.82 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 280185 0 0 0 136134 48 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140737329165824 5522977 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 338577 280577 892 2943 0 335471 0
[pid=24927/tid=24928] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1354308

[startup+1422.3 s]
/proc/loadavg: 2.18 2.23 2.18 3/183 25008
/proc/meminfo: memFree=27642520/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1354308 CPUtime=1421.82 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 280185 0 0 0 142133 49 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140737329165824 12483303 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 338577 280577 892 2943 0 335471 0
[pid=24927/tid=24928] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1354308

[startup+1482.3 s]
/proc/loadavg: 2.24 2.24 2.18 3/183 25009
/proc/meminfo: memFree=27642312/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1354308 CPUtime=1481.8 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 280185 0 0 0 148131 49 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140737329165824 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 338577 280577 892 2943 0 335471 0
[pid=24927/tid=24928] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1354308

[startup+1542.31 s]
/proc/loadavg: 2.14 2.21 2.18 3/184 25014
/proc/meminfo: memFree=27642488/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1354308 CPUtime=1541.8 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 280185 0 0 0 154130 50 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140737329165824 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 338577 280577 892 2943 0 335471 0
[pid=24927/tid=24928] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1354308

[startup+1602.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/183 25015
/proc/meminfo: memFree=27641932/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1354308 CPUtime=1601.79 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 280185 0 0 0 160128 51 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140737329165824 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 338577 280577 892 2943 0 335471 0
[pid=24927/tid=24928] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1354308

[startup+1662.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/183 25016
/proc/meminfo: memFree=27641800/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1354308 CPUtime=1661.78 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 280185 0 0 0 166127 51 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140737329165824 5673540 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 338577 280577 892 2943 0 335471 0
[pid=24927/tid=24928] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1354308

[startup+1722.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 25017
/proc/meminfo: memFree=27641952/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1354308 CPUtime=1721.77 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 280185 0 0 0 172126 51 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140737329165824 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 338577 280577 892 2943 0 335471 0
[pid=24927/tid=24928] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1354308

[startup+1782.3 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 25018
/proc/meminfo: memFree=27641484/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1354308 CPUtime=1781.76 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 280185 0 0 0 178125 51 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140737329165824 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 338577 280577 892 2943 0 335471 0
[pid=24927/tid=24928] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1354308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.33 2.25 2.19 3/183 25018
/proc/meminfo: memFree=27641456/32872528 swapFree=1581260/1720252
[pid=24927] ppid=24924 vsize=1354308 CPUtime=1800.05 cores=0,2,4,6
/proc/24927/stat : 24927 (toysat) R 24924 24927 24580 0 -1 4202496 280185 0 0 0 179954 51 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140737329165824 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24927/statm: 338577 280577 892 2943 0 335471 0
[pid=24927/tid=24928] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24928/stat : 24928 (toysat) S 24924 24927 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544495824112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24927/tid=24929] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24929/stat : 24929 (toysat) S 24924 24927 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544416132336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24927/tid=24930] ppid=24924 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/24927/task/24930/stat : 24930 (toysat) S 24924 24927 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148596 1386811392 280577 33554432000 4194304 16246674 140737329183920 140544405658800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1354308

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.55
CPU system time (s): 0.517921
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1354308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.517921
maximum resident set size= 1122308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280185
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= 436
involuntary context switches= 1833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6353 second user time and 6.88495 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-27 00:44:52
IDJOB=4116741
IDBENCH=109508
IDSOLVER=2542
FILE ID=node117/4116741-1466981092
RUNJOBID= node117-1466977489-24596
PBS_JOBID= 19976392
Free space on /tmp= 71608 MiB

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

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

MD5SUM BENCH= 3c78ac84f21f4de0992f4a091829144b
RANDOM SEED=2106369364

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29860988 kB
Buffers:           93312 kB
Cached:           447548 kB
SwapCached:         2208 kB
Active:           125212 kB
Inactive:         420804 kB
Active(anon):       2984 kB
Inactive(anon):     4136 kB
Active(file):     122228 kB
Inactive(file):   416668 kB
Unevictable:     1720252 kB
Mlocked:         1581260 kB
SwapTotal:      67108856 kB
SwapFree:       67099644 kB
Dirty:             16776 kB
Writeback:             0 kB
AnonPages:       1723524 kB
Mapped:             8972 kB
Shmem:                 0 kB
Slab:             612120 kB
SReclaimable:      56016 kB
SUnreclaim:       556104 kB
KernelStack:        1440 kB
PageTables:         7004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1824740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 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= 71592 MiB
End job on node117 at 2016-06-27 01:14:52